Grinblat's rainbow matching conjecture

About 4 years old · traced to

A rainbow matching is a matching whose edges have pairwise distinct colors. Grinblat's conjecture. If GG is a multigraph that is not necessarily properly edge colored with nn colors, each color class being the disjoint union of non-trivial cliques and spanning at least 3n−23n-2 vertices, then GG has a rainbow matching of size nn. 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

Refreshed
Claimed solved

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 nn colors and each color spanning at least 3n−23n-2 vertices has a rainbow matching of size nn. The conjecture is attributed to Grinblat and was posed roughly two decades ago.

Known results

  • A construction using disjoint unions of n−1n-1 triangles gives the lower threshold 3n−23n-2.
  • A greedy argument gives the upper threshold 4n−34n-3.
  • Grinblat, Nivasch and Omri, followed by Clemens, Ehrenmüller and Pokrovskiy, obtained asymptotic improvements, including 3n+O(n3/4)3n+O(n^{3/4}).
  • Munhá Correia and Sudakov proved the exact threshold 3n−23n-2 for all sufficiently large nn.

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 n≥4n\geq4 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 n≥4n\geq4 remained open.

Sources

Solutions 0

No solutions have been posted yet.