Fair matching representation via edge partition

Status open low confidence

Conjecture 1.14 from arXiv:1611.03196 asserts a fair-representation guarantee for matchings in edge-partitioned graphs: for any partition E_1,...,E_m of E(H) there exists a matching M with |M cap E_i| >= floor(|E_i|/(Delta(H)+2)) for all i. Proposed as a strengthening of the rainbow matching conjecture (Conjecture 1.12) via the connectivity bound for independence complexes of line graphs, the conjecture targets general graphs with no bipartiteness assumption. Multiple searches found no subsequent paper that resolves, refutes, or substantially advances this specific conjecture; the broader rainbow-matching program remains active, but this edge-partition variant appears unaddressed in the indexed literature. Given that the conjecture is nearly a decade old, the absence of any visible resolution warrants low confidence.

Reviewer notes. No follow-up paper found that directly addresses Conjecture 1.14. The sole internal reference (arXiv:2212.11969) is a false match verified by WebFetch. The conjecture is a strict strengthening of Conjecture 1.12 (rainbow matching conjecture for general graphs), and since 1.12 itself remains open in full generality, 1.14 is almost certainly open. Low confidence reflects the conjecture's age (~9 years) making the absence of a resolution somewhat suspicious, though the niche nature of the exact Delta(H)+2 bound may explain limited follow-up.

Auto-reviewed 2026-05-15 with claude-sonnet-4-6 (web search enabled).