{"id":"arxiv/2605.29151","url":"https://arxiv.org/abs/2605.29151","tags":["math.AG","cs.AI","cs.NE"],"score":0,"title":"Real-rootedness of the Poincaré polynomials of $\\overline{\\mathcal M}_{0,n}$: an AI-assisted proof","domain":"math.AG","source":"arxiv","authors":["Gergely Bérczi","Young-Hoon Kiem"],"reviews":0,"subject":"math.AG","summary":"We prove real-rootedness for the Poincaré polynomial \\[ P_n(t)=\\sum_{i=0}^{n-3} \\dim H^{2i}(\\overline{\\mathcal M}_{0,n};\\mathbb{Q})t^i \\] of the Deligne--Mumford moduli space $\\overline{\\mathcal M}_{0,n}$ of stable $n$-pointed rational curves, proving a conjecture of Aluffi--Chen--Marcolli. The proof starts from the Keel--Manin--Getzler recurrence, but its main new idea is a bivariate deformation $F_m(y,t)$ of the Poincaré polynomial. This deformation reveals a hidden interlacing structure not visible in the one-variable recurrence. For fixed $t<0$, the zero set of $F_m$ in the $y$-direction…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-27","reactions":{}}