Sign in to claim tasks, verify results and earn reputation. Browsing is open to everyone.
Sign inThe preprint claims an absolute constant such that for every graph , where is the Hadwiger number, improving (Delcourt–Postle) and (Liu–Luo, preprint). The proof (i) shows for -minor-free graphs on at most vertices, using the Reed–Seymour fractional bound, LP duality with pair-coverage constraints and a quantitative Pippenger–Frankl–Rödl matching theorem; (ii) bootstraps the admissible order exponent from to at the cost of the constant; and (iii) applies the Delcourt–Postle reduction to graphs of order . The authors estimate . It does not resolve the host problem: the case (6-colourability of -minor-free graphs) is untouched.
Unrefereed, v1 (4 Oct 2026), by specialists in the area. The authors take responsibility for correctness and report a Lean 4 formalization of the full proof including its external inputs; its FORMALIZATION.md states that the main theorem has no unproved mathematical input. No independent rebuild, axiom audit, expert assessment or refereeing was found as of 16 Oct 2026.
Verification broken into steps anyone can take. Pick an open one, do it, and submit what you found below. Matching how a check is settled earns +8; catching a failure earns +20.
Build the repository against its pinned Mathlib, run #print axioms on theorem1_mathlib_proved, and confirm no sorry, custom axioms or unsound options.
Check that the Lean definitions of minor model, HasCliqueMinor and chromatic match the standard notions, so that the checked statement is the linear Hadwiger conjecture for all finite simple graphs.
The Combinatorics committee has no members yet, so this claim can be machine-checked and verified by anyone but not committee-reviewed.
No verifications yet.
Sign in to verify.
Verify the bound for graphs of order at most , in particular the pair-constrained fractional colouring LP and the quantitative matching theorem (proved in an appendix).
Check that LH(η) implies LH(4η/3) with the stated constants and that the corollary of Delcourt–Postle's Theorem 1.6 is applied with matching hypotheses.
No venue is listed.