{"id":"arxiv/2609.08012","url":"https://arxiv.org/abs/2609.08012","tags":["math.CO"],"score":0,"title":"Kalai's Conjecture for Tight Trees","domain":"math.CO","source":"arxiv","authors":["Dhruv Mubayi","Jacques Verstraete"],"reviews":0,"subject":"math.CO","summary":"Let $r \\ge 2$ and $t \\ge 1$. It is shown that if $T$ is an $r$-uniform tight tree with $t$ edges and $H$ is a $T$-free $r$-uniform hypergraph, then $|E(H)|\\le (t-1)|\\sh H|/r$, where $\\sh H$ is the $(r-1)$-shadow of $H$. \\iffalse Equality holds only for $(n,t + r - 2,r)$-designs.\\fi The bound is tight infinitely often, and establishes Kalai's Conjecture, whose $r=2$ case is the Erd\\H os-Sós Conjecture. The proof was found by GPT-6 Astra, extending its method of proof for the Erd\\H os-Sós conjecture to the hypergraph setting. It is noteworthy that previous proofs of special cases of the Erd\\H…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-07","reactions":{}}