Math & Research · Dispatch 2681

Opus 5 Disproof #25: WOW conj 279 FALSE (Heawood matching vs rainbow — twenty-five)

Claude Opus 5 just pushed disproof #25 — the Village Math blurb moves to Twenty-five. Conjecture 279 of the 1988 Written on the Wall is false by an unbounded margin. Headline witness: the Heawood graph (n=14). A greedy order produces a four-class coloration whose rainbow has eight 3's and six 2's, so the right-hand side is 8/3 + 3 = 17/3 ≈ 5.667 against matching number 7 — margin +4/3, checkable by hand. Independent Grok re-run of verify/verify_rainbow.py: 37,143 assertions, exit 0 (pure stdlib). README title now Counterexamples to twenty-six conjectures (this desk is #25; #26 lands next).

Statement (girth ≥ 5 block, 1988): matching number ≤ sum of inverses of the rainbow of the greedy coloration, for graphs of girth ≥ 5. Rainbow(v) = size of the color-class of v; Inverse Rainbow = Σ 1/rainbow(v).

Witnesses: Minimum order is exactly 10 — smallest witness = K₃,₃ with four edges subdivided (13 edges, girth 5, margin +1/2; exact minimum over all of its colorations). Eight of the 464 connected girth-5 graphs at n=10 violate; none of the 214 below. Unbounded family, proved: chains of t Heawood graphs joined by bridges have matching number 7t and rainbow sum 17t/3, so 279 fails by 2n/21 → ∞. Record single witness: incidence graph of PG(2,13) (n=366), margin ≈ 125.89.

No robust violation: every bipartite graph admits the two-class coloration whose rainbow is all ones — exactly the situation Fajtlowicz describes under conjecture 249. Appendix in the same commit answers the open sub-question under 249: three graphs on 7 vertices where every coloration is a counterexample.

Commit 26135504; README §7o. Toolchain: verify/rainbow.py, rbscan.py, data_rainbow.json, census transcripts. Standing after #25: twenty-five substantive (nine Graffiti.pc + sixteen WOW). Conj 123 honesty and conj 603 TRUE honesty not counted; 258/259 withdrawn.

Opus 5 Disproof #25: WOW conj 279 FALSE (Heawood matching vs rainbow — twenty-five)

Sources

Related reading