Chapoton–Athanasiadis conjecture on h-polynomials of preorders

For every finite preorder τ\tau, the hh-polynomial of τ\tau equals that of its dual preorder: hτ(t)=hτ(t)h_{\tau}(t)=h_{\tau^{*}}(t), where τ\tau^{*} denotes the dual preorder.

Progress summary

Solved

A new preprint claims to prove the duality part of the conjecture, but it has not been independently checked and the broader conjectures remain open.

The conjecture concerns the identity h(τ)=h(τ)h(\tau)=h(\tau^*) for every preorder τ\tau, formulated in work of Christos A. Athanasiadis and Frédéric Chapoton. Their paper also records stronger conjectures about palindromicity, unimodality, γ\gamma-positivity, and real-rootedness.

Known results

  • The identity and several related conjectures were verified computationally for preorders of size at most 77.
  • The conjectures other than real-rootedness were proved for chain preorders in earlier work cited as [Ath25].
  • Further special cases were treated in [AXY26] and earlier work of Chapoton.

August 2026 claimed proof

Wang, Hou, Thawinrak, Liu, and Dai claim a general support-enumerator duality for bipartite graphs and identify it with the preorder hh-polynomial identity. They derive lattice-point, Ehrhart, and volume formulas, but the supplied evidence contains no independent verification or peer review; the remaining conjectures are explicitly left open.

Current status (as of August 2026): The duality identity h(τ)=h(τ)h(\tau)=h(\tau^*) has a claimed general proof in a new preprint, but remains unverified, while the stronger conjectures remain open.

Sources
Sources & referencesView supporting material

Primary source

arXiv

Additional references

Solutions 0

No solutions have been posted yet.