A Counterexample to a Conjecture of Lovász
arXiv:2505.05339
Abstract
In 1975 Lovász conjectured that every -partite, -uniform hypergraph contains 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 -partite, -uniform hypergraph has a vertex cover of size at most times its matching number. When , Ryser's conjecture is simply Kőnig's theorem, and the conjecture of Lovász is an immediate corollary. Ryser's conjecture for was proven by Aharoni in 2001, and remains open for all . Here we show that the conjecture of Lovász is false in the case . Our counterexample is the line hypergraph of the Biggs-Smith graph, a highly symmetric cubic graph on 102 vertices.
23 pages, 4 figures, 2 tables