順序和に対するh*多項式の積公式を証明
A proof of the Athanasiadis-Chapoton ordinal-sum conjecture
この論文をやさしく読む
ひとことで言うと
有限の前順序から作る多面体について、順序をつなぎ合わせるとh*多項式が掛け算になるという予想を証明する研究。
何に役立つ？
順序構造と格子多面体の列挙不変量の関係を計算・理解するための理論的な積公式となる。
この研究の面白いところ
多面体の間に区分的なせん断変換を実際に構成し、格子点の対応から多項式の積公式へつなげている。非自明な同値類を含む前順序にも適用される。
どこまで分かった？
対象は要旨で定義された極前順序多面体と有限前順序である。物理的な実験や数値評価を報告したものではない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
有限の前順序τについて、順序関係が対応する極前順序多面体のh*多項式をどう決めるかを調べる。空でない順序イデアルの指示ベクトルと、標準基底ベクトルの負のものから作る凸包をR_τ^∨とし、そのh*多項式をh*_τ(t)と書く。AthanasiadisとChapotonは、この列挙的不変量が順序和を積に移す、すなわちh*_{τ₁⊕τ₂}(t)＝h*_{τ₁}(t)h*_{τ₂}(t)と予想した。本研究では、非自明な同値類を持つものも含め、任意の有限前順序についてこの予想を証明する。 より具体的には、二つの多面体の自由和R_{τ₁}^∨⊕R_{τ₂}^∨から、順序和の多面体R_{τ₁⊕τ₂}^∨へ写す、正の斉次性を持つ区分的なユニモジュラーせん断変換を構成する。これにより、非負の実数によるあらゆる拡大尺度で格子点の間に一対一の対応が得られる。鍵となるのは、最小の非負な反順序の優関数を使ってミンコフスキー汎関数を表す式であり、せん断後にはこの汎関数が二つの因子の汎関数の和となる。自由和に関するエーアハルト多項式の積公式と合わせて、予想と正規化体積についての対応する積公式が証明される。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-19（UTC）
- 最新改訂
- 2026-09-19 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-19 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Given a finite preorder $\tau$, we study how its order relation determines the $h^*$-polynomial of the associated polar preorder polytope. Let $\mathcal R_{\tau}^{\vee}$ be the convex hull of the negative standard basis vectors and the indicator vectors of nonempty order ideals, and write $h_\tau^*(t)=h^*(\mathcal R_{\tau}^{\vee},t)$. Athanasiadis and Chapoton conjectured that this enumerative invariant takes ordinal sums to products: $$h_{\tau_1\oplus\tau_2}^*(t)=h_{\tau_1}^*(t)\,h_{\tau_2}^*(t).$$ We prove the conjecture for arbitrary finite preorders, including those with nontrivial equivalence classes. More precisely, we construct a positively homogeneous piecewise unimodular shear from the free sum $\mathcal R_{\tau_1}^{\vee}\oplus\mathcal R_{\tau_2}^{\vee}$ onto $\mathcal R_{\tau_1\oplus\tau_2}^{\vee}$, giving lattice-point bijections at every nonnegative real dilation scale. The key is a formula for the Minkowski functional in terms of the least nonnegative order-reversing majorant: after the shear, the functional becomes the sum of the two factor functionals. Together with the Ehrhart product formula for free sums, this proves the conjecture and the corresponding product formula for normalized volume.
著者のコメント
14 pages
arXiv ID: 2609.28507 ／ 要約の誤りについて