{"id":"arxiv/2605.24507","url":"https://arxiv.org/abs/2605.24507","tags":["math.CO"],"score":0,"title":"On Mubayi's Polynomial-Ideal Conjecture and a Hypergraph Turán Theorem","domain":"math.CO","source":"arxiv","authors":["Heng Li","Xizhi Liu"],"reviews":0,"subject":"math.CO","summary":"Among the many proofs of Turán's classical theorem, one particularly surprising proof due to Li and Li uses ideals in polynomial rings to record missing edges. Motivated by their proof, Mubayi proposed a hypergraph analogue, conjecturing that an ideal generated by multipartite $3$-graphs coincides with a differentiated diagonal-vanishing ideal. If true, this conjecture would imply the extremal-number part of Mubayi's classical hypergraph extension of Turán's theorem. We disprove this conjecture throughout the nontrivial parameter range. We then give an alternative algebraic proof of Mubayi's…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-23","reactions":{}}