{"id":"arxiv/2609.28404","url":"https://arxiv.org/abs/2609.28404","tags":["math.CO"],"score":0,"title":"Chvátal's conjecture: a proof from The Book","domain":"math.CO","source":"arxiv","authors":["David Ellis","Yuval Filmus","Ehud Friedgut"],"reviews":0,"subject":"math.CO","summary":"Chvátal conjectured that every downset has a maximum-size intersecting family which is a star, that is, consists of all members of the downset 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átal's conjecture, and a proof of Kleitman's conjecture along the same lines. We also prove a strengthening of Chvátal's conjecture concerning the projection packing number.…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-23","reactions":{}}