combinatorics / Ramsey-type covering problems; monochromatic trees

Gyarfas's conjecture on covering edge-colored complete graphs by r-1 monochromatic trees

For every sufficiently large prime qq (September 27 paper), and for r=sn+1r=s^n+1 with s≡2(mod3)s\equiv2\pmod3 a large prime and nn large odd (September 23 paper), there is a finite complete graph with an rr-edge-coloring whose vertices need exactly rr monochromatic trees to cover them; the same holds for connected monochromatic subgraphs. Built from the Ryser counterexamples by coloring each pair of hyperedges by a part where they meet. Not addressed: small rr, or the distinct vertex-disjoint tree-partition conjecture of Erdos-Gyarfas-Pyber.

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

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

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

Gyarfas's conjecture on covering edge-colored complete graphs by r-1 monochromatic trees

Prior state unknown→disproved

For every sufficiently large prime qq (September 27 paper), and for r=sn+1r=s^n+1 with s≡2(mod3)s\equiv2\pmod3 a large prime and nn large odd (September 23 paper), there is a finite complete graph with an rr-edge-coloring whose vertices need exactly rr monochromatic trees to cover them; the same holds for connected monochromatic subgraphs. Built from the Ryser counterexamples by coloring each pair of hyperedges by a part w…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

For every sufficiently large prime qq (September 27 paper), and for r=sn+1r=s^n+1 with s≡2(mod3)s\equiv2\pmod3 a large prime and nn large odd (September 23 paper), there is a finite complete graph with an rr-edge-coloring whose vertices need exactly rr monochromatic trees to cover them; the same holds for connected monochromatic subgraphs. Built from the Ryser counterexamples by coloring each pair of hyperedges by a part where they meet. Not addressed: small rr, or the distinct vertex-disjoint tree-partition conjecture of Erdos-Gyarfas-Pyber.

For every sufficiently large prime qq (September 27 paper), and for r=sn+1r=s^n+1 with s≡2(mod3)s\equiv2\pmod3 a large prime and nn large odd (September 23 paper), there is a finite complete graph with an rr-edge-coloring whose vertices need exactly rr monochromatic trees to cover them; the same holds for connected monochromatic subgraphs. Built from the Ryser counterexamples by coloring each pair of hyperedges by a part where they meet. Not addressed: small rr, or the distinct vertex-disjoint tree-partition conjecture of Erdos-Gyarfas-Pyber.

Recorded attempts

Evidence graph

Connected research record

Gyarfas's conjecture on covering edge-colored complete graphs by r-1 monochromatic trees — Mathematical Frontier Network