[論文レビュー] h-Polynomials of Reduction Trees

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

Commutative Algebra and Its Applications被引用数 3

ひとこと要約

本稿では、分割代数および関連する代数における還元木のh多項式を導入し、簡約化形式の非負性を示す組合せ的枠組みを確立する。シェーリング可能な還元木を定義し、それらのh多項式をフローポリトープの三角形分割と結びつけることで、著者らは簡約化形式がシフトされたh多項式に特殊化されることを証明し、A.N. キリロフによるこれらの多項式における係数の非負性に関する予想を解決する。

ABSTRACT

Reduction trees are a way of encoding a substitution procedure dictated by the relations of an algebra. We use reduction trees in the subdivision algebra to construct canonical triangulations of flow polytopes which are shellable. We explain how a shelling of the canonical triangulation can be read off from the corresponding reduction tree in the subdivision algebra. We then introduce the notion of shellable reduction trees in the subdivision and related algebras and define h-polynomials of reduction trees. In the case of the subdivision algebra, the h-polynomials of the canonical triangulations of flow polytopes equal the h-polynomials of the corresponding reduction trees, which motivated our definition. We show that the reduced forms in various algebras, which can be read off from the leaves of the reduction trees, specialize to the shifted h-polynomials of the corresponding reduction trees. This yields a technique for proving nonnegativity properties of reduced forms. As a corollary we settle a conjecture of A.N. Kirillov.

研究の動機と目的

• キリロフの擬古典的ヤン・バクスター代数およびそのアーベル化からの簡約化形式における係数の非負性を示す組合せ的手法の開発。
• フローポリトープの標準的三角形分割と分割代数における還元木との間の関係の確立。
• 還元木のh多項式を定義し、それらが標準的三角形分割のh多項式と一致することを示すこと。
• さまざまな代数における簡約化形式が、それらに対応する還元木のシフトされたh多項式に特殊化されることを証明すること。
• A.N. キリロフによる、特定の簡約化形式における係数の非負性に関する予想の解決。

提案手法

• 分割代数の関係から導かれる還元木を用いて、フローポリトープの標準的三角形分割を構成する。
• シェーリング順序をモデル化するための部分還元木の弱埋め込みおよび強埋め込みの概念を導入する。
• フローポリトープの標準的三角形分割のh多項式に基づいて、還元木のh多項式を定義する。
• 強埋め込みを用いて、特定の還元順序における還元木のすべてのリーフの集合を記述する。
• フレームワークを適用して、さまざまな代数における簡約化形式が、それに対応する還元木のシフトされたh多項式に特殊化されることを示す。
• 帰納的議論および座標ベクトル制約（cG1,G）を用いて、三角形分割における単体の交差が面であることを証明し、三角形分割が有効であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 キリロフの代数からの簡約化形式における係数の非負性は、組合せ論的に説明可能か？
• RQ2 フローポリトープの標準的三角形分割の幾何的構造を、還元木の代数的性質へと抽象化できるか？
• RQ3 還元木のh多項式と標準的三角形分割のh多項式との正確な関係は何か？
• RQ4 さまざまな代数における簡約化形式は、それに対応する還元木のシフトされたh多項式に特殊化されるか？
• RQ5 A.N. キリロフによる、特定の簡約化形式における係数の非負性に関する予想は真か？

主な発見

• 分割代数における還元木のh多項式は、対応するフローポリトープの標準的三角形分割のh多項式と正確に一致する。
• 分割代数を含むさまざまな代数における簡約化形式は、それに対応する還元木のシフトされたh多項式に特殊化される。
• 還元木を用いて構成されたフローポリトープの標準的三角形分割は、強埋め込みから導かれるシェーリング順序によってシェーリング可能であることが示された。
• 標準的三角形分割における任意の2つの単体の交差は、両方の単体の面であるため、構成が有効な三角形分割をもたらすことが確認された。
• リーフG1およびG2に対応する2つの単体の交差の次元は、|E(G1 ∩ G2)| + |V(G1 ∩ G2)| − 1である。
• 本稿では、h多項式フレームワークを用いて、A.N. キリロフの予想7（簡約化形式における係数の非負性）を解決した。