Chv\'atal's conjecture: a proof from The Book
In the authors' words
Chv\'atal conjectured that every downset has a maximum-size intersecting family which is a star, that is, consists of all members of the family containing a fixed element. Recently, Chang, Liu and Liu gave a proof of this conjecture, which follows as a corollary of more general results such as Kleitman's conjecture and a version of Kahn's conjecture (which they also prove). We give a short, direct (spectral) proof of Chv\'atal's conjecture, and also prove a strengthening concerning the projection packing number. We also propose two spectral Chv\'atal conjectures which are motivated by extensive numerical experiments.
Main resultLimitation the authors admit
Appeared: Thursday, September 24. arXiv. Preprint, not yet peer-reviewed.
Authors' comment: 7 pages