combinatorics / Graph coloring and graph minors

Hadwiger's Conjecture

Theorem 1.1: there are arbitrarily large mm and mm-vertex graphs with α(G)≤2\alpha(G)\le2 and connected-matching number below m/100m/100. With the counting bound h(G)≤(∣V(G)∣+4 cm(G)+2)/3h(G)\le(|V(G)|+4\,\mathrm{cm}(G)+2)/3, Corollary 1.2 gives h(G)<26m/75+2/3<m/2≤χf(G)≤χ(G)h(G)<26m/75+2/3<m/2\le\chi_f(G)\le\chi(G). So Hadwiger's conjecture fails, already in the case α≤2\alpha\le2 and even for fractional colouring, with χ/h\chi/h above about 1.441.44 in the limit. The graphs are complements of a triangle-free hole relation built from tensor frames over F2\mathbb F_2, so α≤2\alpha\le2; the four-hole conflicts that kill large connected matchings are forced by a distribution theorem and a container argument. It does not say anything about small tt, and it does not refute linear bounds χ≤C h\chi\le C\,h, which the companion list-colouring paper proves.

70Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

combinatoricsSep 23, 2026Significance 70/100Registry: lean checked

Hadwiger's Conjecture

Prior state unknown→disproved

Theorem 1.1: there are arbitrarily large mm and mm-vertex graphs with α(G)≤2\alpha(G)\le2 and connected-matching number below m/100m/100. With the counting bound h(G)≤(∣V(G)∣+4 cm(G)+2)/3h(G)\le(|V(G)|+4\,\mathrm{cm}(G)+2)/3, Corollary 1.2 gives h(G)<26m/75+2/3<m/2≤χf(G)≤χ(G)h(G)<26m/75+2/3<m/2\le\chi_f(G)\le\chi(G). So Hadwiger's conjecture fails, already in the case α≤2\alpha\le2 and even for fractional colouring, with χ/h\chi/h above about 1.441.44 in the limit. The graph…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Theorem 1.1: there are arbitrarily large mm and mm-vertex graphs with α(G)≤2\alpha(G)\le2 and connected-matching number below m/100m/100. With the counting bound h(G)≤(∣V(G)∣+4 cm(G)+2)/3h(G)\le(|V(G)|+4\,\mathrm{cm}(G)+2)/3, Corollary 1.2 gives h(G)<26m/75+2/3<m/2≤χf(G)≤χ(G)h(G)<26m/75+2/3<m/2\le\chi_f(G)\le\chi(G). So Hadwiger's conjecture fails, already in the case α≤2\alpha\le2 and even for fractional colouring, with χ/h\chi/h above about 1.441.44 in the limit. The graphs are complements of a triangle-free hole relation built from tensor frames over F2\mathbb F_2, so α≤2\alpha\le2; the four-hole conflicts that kill large connected matchings are forced by a distribution theorem and a container argument. It does not say anything about small tt, and it does not refute linear bounds χ≤C h\chi\le C\,h, which the companion list-colouring paper proves.

Theorem 1.1: there are arbitrarily large mm and mm-vertex graphs with α(G)≤2\alpha(G)\le2 and connected-matching number below m/100m/100. With the counting bound h(G)≤(∣V(G)∣+4 cm(G)+2)/3h(G)\le(|V(G)|+4\,\mathrm{cm}(G)+2)/3, Corollary 1.2 gives h(G)<26m/75+2/3<m/2≤χf(G)≤χ(G)h(G)<26m/75+2/3<m/2\le\chi_f(G)\le\chi(G). So Hadwiger's conjecture fails, already in the case α≤2\alpha\le2 and even for fractional colouring, with χ/h\chi/h above about 1.441.44 in the limit. The graphs are complements of a triangle-free hole relation built from tensor frames over F2\mathbb F_2, so α≤2\alpha\le2; the four-hole conflicts that kill large connected matchings are forced by a distribution theorem and a container argument. It does not say anything about small tt, and it does not refute linear bounds χ≤C h\chi\le C\,h, which the companion list-colouring paper proves.

Recorded attempts

Evidence graph

Connected research record