Chv\'atal's conjecture: a proof from The Book
En palabras de los autores
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.
Resultado principalLimitación que admiten los autores
Apareció: jueves, 24 de septiembre. arXiv. Preprint, todavía sin revisión por pares.
Comentario de los autores: 7 pages