[論文レビュー] On Ehrhart positivity of Tesler polytopes and their deformations

Yonggyu Lee, Fu Liu|arXiv (Cornell University)|Nov 14, 2019

Advanced Combinatorial Mathematics参考文献 16被引用数 1

ひとこと要約

この論文は、ユニモジュラー写像を分析し、その面にBerline-Vergne関数を適用することで、Tesler多面体 $ es_n(1,\dots,1) $ のEhrhart多項式の第3および第4係数のEhrhart正性を確立する。還元定理を用いることで、結果は $ es_n(1,\dots,1) $ のすべての変形、特に任意の $ \mathbf{a} \in \mathbb{R}_{\geq 0}^n $ に対する $ es_n(\mathbf{a}) $ に拡張され、どのフロー多面体がこのような変形であるかを特定する。

ABSTRACT

For $\ba \in \R_{\geq 0}^{n}$, the Tesler polytope $ es_{n}(\ba)$ is the set of upper triangular matrices with non-negative entries whose hook sum vector is $\ba$. Recently, Morales conjectured that $ es_{n}(1,\dots,1)$ and $ es_{n}(1,0,\dots,0)$ are Ehrhart positive for any positive integer $n$. In this paper, we consider a certain unimodular copy of $ es_{n}(\ba)$ and show that the majority of the faces of this unimodular copy have positive values under a function constructed by Berline-Vergne. As a consequence, we prove that the 3rd and 4th coefficients of the Ehrhart polynomial of $ es_{n}(1,\dots,1)$ are positive for any $n$. Using the Reduction Theorem by Castillo and the second author, this result generalizes to any deformations of $ es_{n}(1,\dots,1)$ which includes $ es_{n}(\ba)$ for all $\ba \in \R_{\geq0}^{n}$. Furthermore, we give a characterization of which flow polytopes are deformations of $ es_{n}(1,\dots,1)$.

研究の動機と目的

• Morales が予想したように、Tesler多面体 $ es_n(\mathbf{a}) $ のEhrhart正性を、特に $ \mathbf{a} = (1,\dots,1) $ および $ \mathbf{a} = (1,0,\dots,0) $ の場合に調査すること。
• ユニモジュラー写像の面構造をBerline-Vergne関数を用いて分析し、Ehrhart係数の正性を評価すること。
• 3番目および4番目のEhrhart係数の正性を、還元定理を用いて $ es_n(1,\dots,1) $ からそのすべての変形へと拡張すること。
• どのフローポリトープが $ es_n(1,\dots,1) $ の変形として現れるかを特定し、完全な構造的分類を提供すること。

提案手法

• Ehrhart理論の不変量を保ちつつ、面の解析を簡素化するため、Tesler多面体 $ es_n(\mathbf{a}) $ のユニモジュラー写像を構築する。
• このユニモジュラー写像の面にBerline-Vergne関数を適用し、大部分の面がこの関数で正の値をとることを示す。
• 大部分の面でBerline-Vergne関数が正であることを利用して、$ es_n(1,\dots,1) $ のEhrhart多項式の第3および第4係数の正性を導出する。
• キャスティージョと第二著者の還元定理を活用し、$ es_n(1,\dots,1) $ からそのすべての変形への正性結果を拡張する。
• 組合せ的および幾何的構造を分析することで、$ es_n(1,\dots,1) $ の変形として現れるフローポリトープのクラスを同定する。
• Tesler多面体を定義するフック和ベクトルの条件を用い、変形が元の $ es_n(1,\dots,1) $ 構造とどのように関連するかを明らかにする。

実験結果

リサーチクエスチョン

• RQ1 すべての $ n \geq 1 $ に対して、$ es_n(1,\dots,1) $ のEhrhart多項式の第3および第4係数は正か？
• RQ2 $ es_n(1,\dots,1) $ のEhrhart正性は、そのすべての変形へと拡張可能か？
• RQ3 どのフローポリトープが $ es_n(1,\dots,1) $ の変形として現れるか？ そして、それらを特徴づける要因は何か？
• RQ4 ユニモジュラー写像の $ es_n(\mathbf{a}) $ の面におけるBerline-Vergne関数の振る舞いはいかなるものか？ そして、Ehrhart係数にどのような含意を持つのか？
• RQ5 還元定理は、$ es_n(1,\dots,1) $ からより広いTesler多面体族への正性結果の一般化において、どのような役割を果たすか？

主な発見

• $ es_n(1,\dots,1) $ のEhrhart多項式の第3および第4係数は、すべての正の整数 $ n $ に対して正であることが、ユニモジュラー写像の面構造の解析によって確立された。
• 還元定理のおかげで、これらの係数の正性は $ es_n(1,\dots,1) $ のすべての変形、特に任意の $ \mathbf{a} \in \mathbb{R}_{\geq 0}^n $ に対する $ es_n(\mathbf{a}) $ へと拡張された。
• $ es_n(\mathbf{a}) $ のユニモジュラー写像の大部分の面は、Berline-Vergne関数によって正の値をとる。これはEhrhart係数の正性を支持する。
• 組合せ的および幾何的性質に基づいて、$ es_n(1,\dots,1) $ の変形として現れるフローポリトープのクラスについて完全な特徴づけが与えられた。
• 本研究は、$ es_n(1,\dots,1) $ 及びその変形のEhrhart正性が、元の予想をはるかに超えて確認されたことを示した。特に第3および第4係数に関して顕著である。
• 結果は、Tesler多面体およびその変形の構造が、ユニモジュラー変換のもとでも、Ehrhart理論的性質を十分に保つほどに剛性を持っていることを示している。