Pith. sign in

REVIEW 1 cited by

A Counterexample to a Conjecture of Lov\'asz

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2505.05339 v2 pith:O2FZKPLU submitted 2025-05-08 math.CO

classification math.CO
keywords conjecturehypergraphrysercounterexampleeverygraphmatchingnumber
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

In 1975 Lov\'{a}sz conjectured that every $r$-partite, $r$-uniform hypergraph contains $r-1$ vertices whose deletion reduces the matching number. If true, this statement would imply a well-known conjecture of Ryser from 1971, which states that every $r$-partite, $r$-uniform hypergraph has a vertex cover of size at most $r-1$ times its matching number. When $r=2$, Ryser's conjecture is simply K\H{o}nig's theorem, and the conjecture of Lov\'asz is an immediate corollary. Ryser's conjecture for $r=3$ was proven by Aharoni in 2001, and remains open for all $r\geq 4$. Here we show that the conjecture of Lov\'asz is false in the case $r=3$. Our counterexample is the line hypergraph of the Biggs-Smith graph, a highly symmetric cubic graph on 102 vertices.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Infinitely many counterexamples to a conjecture of Lov\'asz

    math.CO 2025-06 conditional novelty 7.0 of 10

    The line hypergraphs of generalized Petersen graphs GP(5k+11,2) form infinitely many counterexamples to Lovász's conjecture for r=3, and several quartic graphs give counterexamples for r=4.

Pith tools