[论文解读] On Ehrhart positivity of Tesler polytopes and their deformations

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

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

一句话总结

该论文通过分析一个单峰复制体并应用伯林-伯格内函数于其面，确立了 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)$.

研究动机与目标

• 研究 Tesler 多面体 $ es_n(\mathbf{a}) $ 的 Ehrhart 正性，特别是针对 $ \mathbf{a} = (1,\dots,1) $ 和 $ \mathbf{a} = (1,0,\dots,0) $ 的情形，如莫拉莱斯所猜想。
• 利用伯林-伯格内函数分析单峰复制体 $ es_n(\mathbf{a}) $ 的面结构，以评估 Ehrhart 系数的正性。
• 通过约化定理，将 $ es_n(1,\dots,1) $ 的第 3 个和第 4 个 Ehrhart 系数的正性结果推广至该多面体的所有形变。
• 刻画哪些流多面体是 $ es_n(1,\dots,1) $ 的形变，提供完整的结构分类。

提出的方法

• 构建 Tesler 多面体 $ es_n(\mathbf{a}) $ 的单峰复制体，以在简化面分析的同时保持 Ehrhart 理论不变量。
• 将伯林-伯格内函数应用于该单峰复制体的面，表明大多数面在该函数下产生正值。
• 利用伯林-伯格内函数在大多数面上的正性，推导出 $ 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}) $ 的单峰复制体的面上如何表现，这对 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}) $ 的单峰复制体的大多数面在伯林-伯格内函数下产生正值，这支持了 Ehrhart 系数的正性。
• 基于其组合与几何性质，提供了对哪些流多面体是 $ es_n(1,\dots,1) $ 的形变的完整刻画。
• 研究结果证实了 $ es_n(1,\dots,1) $ 及其形变的 Ehrhart 正性，超出了原始猜想，特别是对第 3 个和第 4 个系数。
• 结果表明，Tesler 多面体及其形变的结构足够刚性，可在单峰变换下保持关键的 Ehrhart 理论性质。