{"id":"arxiv/2609.28507","url":"https://arxiv.org/abs/2609.28507","tags":["math.CO"],"score":0,"title":"A proof of the Athanasiadis-Chapoton ordinal-sum conjecture","domain":"math.CO","source":"arxiv","authors":["Congyi Luo"],"reviews":0,"subject":"math.CO","summary":"Given a finite preorder $τ$, we study how its order relation determines the $h^*$-polynomial of the associated polar preorder polytope. Let $\\mathcal R_τ^{\\vee}$ be the convex hull of the negative standard basis vectors and the indicator vectors of nonempty order ideals, and write $h_τ^*(t)=h^*(\\mathcal R_τ^{\\vee},t)$. Athanasiadis and Chapoton conjectured that this enumerative invariant takes ordinal sums to products: $$h_{τ_1\\oplusτ_2}^*(t)=h_{τ_1}^*(t)\\,h_{τ_2}^*(t).$$ We prove the conjecture for arbitrary finite preorders, including those with nontrivial equivalence classes. More…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-19","reactions":{}}