[論文レビュー] h-Polynomials via Reduced Forms

Karola Mészáros|arXiv (Cornell University)|Jul 10, 2014

Advanced Combinatorial Mathematics参考文献 8被引用数 4

ひとこと要約

本稿は、流れ多面体の分割代数における簡約形が正則フラッグ三角形分割を符号化することを確立し、これらの三角形分割のh多項式を一般化する。また、特殊化された簡約形が非負多項式を生じることを証明し、幾何学的およびEhrhart理論的手法を用いて、キリロフの予想における非負性の特殊ケースを確認する。

ABSTRACT

The flow polytope $\mathcal{F}_{\widetilde{G}}$ is the set of nonnegative unit flows on the graph $\widetilde{G}$. The subdivision algebra of flow polytopes prescribes a way to dissect a flow polytope $\mathcal{F}_{\widetilde{G}}$ into simplices. Such a dissection is encoded by the terms of the so called reduced form of the monomial $\prod_{(i,j)\in E(G)}x_{ij}$. We prove that we can use the subdivision algebra of flow polytopes to construct not only dissections, but also regular flag triangulations of flow polytopes. We prove that reduced forms in the subdivision algebra are generalizations of $h$-polynomials of the triangulations of flow polytopes. We deduce several corollaries of the above results, most notably proving certain cases of a conjecture of Kirillov about the nonnegativity of reduced forms in the noncommutative quasi-classical Yang-Baxter algebra.

研究の動機と目的

• 分割代数における簡約形の幾何的解釈を、流れ多面体の正則フラッグ三角形分割のh多項式として確立すること。
• 簡約形の係数が三角形分割およびEhrhart理論に結びつくことにより、それらの非負性を証明すること。
• 準古典的Yang-Baxter代数における簡約形の非負性に関するキリロフの予想の特殊ケースを検証すること。
• 簡約形を用いて、既知のEhrhart級数およびコスタント分割関数の結果を一般化すること。

提案手法

• 分割代数を用いて、還元木を介して流れ多面体の単体への分割を符号化する。
• 特定の還元順序σを定義し、整合的な経路とクリークを構成することで、正則フラッグ三角形分割を得る。
• ある変数を1に特殊化したとき、単項式の簡約形が対応する流れ多面体の正則フラッグ三角形分割のh多項式に一致することを示す。
• 三角形分割の正則性を応用して、簡約形の係数の非負性を証明する。
• h多項式の恒等式を用いて、流れ多面体のEhrhart級数を簡約形に関連付ける。
• 恒等式 i(F_G, m) = K_{G}(m, 0, ..., 0, -m) を用いて、Ehrhart級数をコスタント分割関数の形に表現する。

実験結果

リサーチクエスチョン

• RQ1 分割代数における簡約形は、流れ多面体の三角形分割のh多項式として解釈可能か？
• RQ2 分割代数を用いて構成された流れ多面体の正則フラッグ三角形分割は、簡約形の係数が非負となるか？
• RQ3 準古典的Yang-Baxter代数における単項式 x_{12}x_{23}...x_{n-1,n} の簡約形は、x=(1,...,1) および β−1 で評価した際に非負係数の多項式か？
• RQ4 流れ多面体のEhrhart級数は、分割代数における簡約形とどのように関係するか？
• RQ5 コスタント分割関数を用いて、簡約形を介して流れ多面体のEhrhart級数を表現できるか？

主な発見

• 特定の変数を1に特殊化した分割代数における単項式の簡約形は、対応する流れ多面体の正則フラッグ三角形分割のシフトされたh多項式に一致する。
• 簡約形の係数は、正則フラッグ三角形分割における面の数を数えるため、非負である。
• 準古典的Yang-Baxter代数における単項式 x_{12}x_{23}...x_{n-1,n} の簡約形を x=(1,...,1) および β−1 で評価した結果は、βに関する非負係数の多項式であり、キリロフの予想の特殊ケースを確認する。
• 流れ多面体 F_{G̃} のEhrhart級数は、Q_G^{S(β)}(β−1) = ∑_{m≥0} i(F_{G̃}, m) β^m (1−β)^{dim(F_{G̃})+1} として表現され、簡約形とEhrhart理論を結びつける。
• F_{G̃} のm倍希釈における格子点の数は、コスタント分割関数 K_{G̃}(m, 0, ..., 0, -m) に等しく、Ehrhart級数をコスタント分割関数の形に新たな表現が可能になる。
• 恒等式 Q_G^{S(β)}(β−1) = ∑_{m≥0} K_{G̃}(m, 0, ..., 0, -m) β^m (1−β)^{#E(G)+#V(G)} は、[6, Theorem 3.10] を任意のグラフGに一般化する。