Matching number drop by k(r−1) deletions

Status open high confidence

Conjecture 4.3 from arXiv:2505.05339, proposed as a weakening of Lovász's (now disproved) conjecture that still implies Ryser's conjecture, remains open as of 2026. The subsequent paper arXiv:2506.21286 (Abiad, Garbe, Povill, Spiegel, 2025) explicitly discusses it in its concluding remarks, reporting computational verification for some smaller r=3 counterexamples to Lovász's conjecture, but acknowledging that larger cases are computationally infeasible and that the conjecture cannot be resolved by their theoretical methods.

Cited literature (1)

• partial Infinitely many counterexamples to a conjecture of Lovász (2025)
  Aida Abiad, Frederik Garbe, Xavier Povill, Christoph Spiegel · arXiv preprint · arXiv:2506.21286

  In the concluding remarks (Section 5), the authors mention the conjecture explicitly, report computational verification that it holds for smaller r=3 counterexamples to Lovász's conjecture, but conclude that checking larger graphs or r=4 counterexamples is computationally infeasible and that their theoretical tools are insufficient to settle the question.

Reviewer notes. Conjecture 4.3 is a weakening of Lovász's original conjecture (now disproved by the source paper for r=3) designed to still imply Ryser's conjecture. The follow-up paper arXiv:2506.21286 constructs infinitely many counterexamples to Lovász's original conjecture (using generalized Petersen graphs for r=3 and specific constructions for r=4) but leaves Conjecture 4.3 open, having only verified it computationally for small cases.

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