Grinblat's rainbow matching conjecture
A rainbow matching is a matching whose edges have pairwise distinct colors. Grinblat's conjecture. If is a multigraph that is not necessarily properly edge colored with colors, each color class being the disjoint union of non-trivial cliques and spanning at least vertices, then has a rainbow matching of size . The conjecture was fully proved by Munhá Correia and Sudakov.
References
Primary source
Michelle Delcourt and Luke Postle, “Finding an almost perfect matching in a hypergraph avoiding forbidden submatchings”, arXiv:2204.08981 (2024).
Progress summary
A later source says the conjecture was fully proved, but the available record conflicts with an earlier paper that left finitely many cases open.
Grinblat’s conjecture asserts that every admissibly colored multigraph with colors and each color spanning at least vertices has a rainbow matching of size . The conjecture is attributed to Grinblat and was posed roughly two decades ago.
Known results
- A construction using disjoint unions of triangles gives the lower threshold .
- A greedy argument gives the upper threshold .
- Grinblat, Nivasch and Omri, followed by Clemens, Ehrenmüller and Pokrovskiy, obtained asymptotic improvements, including .
- Munhá Correia and Sudakov proved the exact threshold for all sufficiently large .
April 2022 full-proof claim
An April 2022 arXiv entry states that Munhá Correia and Sudakov subsequently fully proved Grinblat’s conjecture. This conflicts with their earlier paper, which explicitly left small values open; the retrieved sources provide no independent verification resolving that discrepancy.
Current status (as of September 2026): A later source claims the conjecture is fully proved by Munhá Correia and Sudakov, but the available record contains an unresolved conflict with their earlier statement that small values remained open.
Sources
- ar5iv.labs.arxiv.org
- arxiv.org
- people.math.ethz.ch
- arxiv.org
- quantamagazine.org
- emis.de
- quantamagazine.org
- quantamagazine.org
- cdn.openai.com
- quantamagazine.org
- ar5iv.labs.arxiv.org
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- cdn.openai.com
- quantamagazine.org
- cdn.openai.com
- quantamagazine.org
- quantamagazine.org
- ar5iv.labs.arxiv.org
- export.arxiv.org
Solutions 0
No solutions have been posted yet.