[论文解读] New examples of period collapse

Dan Cristofaro‐Gardiner, Teresa Xueshan Li+1 more|arXiv (Cornell University)|Sep 7, 2015

Advanced Combinatorial Mathematics参考文献 6被引用 8

一句话总结

本文提出了Ehrhart理论中周期坍塌的新例子，即多面体的Ehrhart函数周期小于其分母。研究建立了当顶点位于(0,0)、(1/u,0)和(0,1/v)的无理三角形具有拟多项式或多项式Ehrhart函数时的条件，并构造了高维例子，包括一个具有无理顶点的3D单形，其Ehrhart函数为固定三次多项式，尽管顶点非有理数。

ABSTRACT

"Period collapse" refers to any situation where the period of the Ehrhart function of a polytope is less than the denominator of that polytope. We study several interesting situations where this occurs, primarily involving triangles. For example: 1) we determine exactly when the Ehrhart function of a right triangle with legs on the axes and slant edge with irrational slope is a polynomial; 2) we find triangles with periods given by any even-index k-Fibonacci number, and larger denominators; 3) we construct several higher dimensional examples. Several related issues are also discussed, including connections with symplectic geometry.

研究动机与目标

• 研究无理多面体（特别是顶点坐标为无理数的三角形）在Ehrhart函数为拟多项式或多项式时发生周期坍塌的条件，尽管其分母为无穷大。
• 刻画此类三角形为伪有理或伪整数的精确条件，扩展已知的有理多面体结果。
• 构造高维周期坍塌的例子，包括一个具有无理顶点的3D单形，其Ehrhart函数为多项式。
• 探讨周期坍塌与辛几何之间的联系，并研究经典Ehrhart性质（如互惠性与非负性）在无理情形下的保持性。

提出的方法

• 使用代数数论分析共轭二次无理数u和v及其倒数之和为有理数时的条件，从而导出拟多项式Ehrhart函数。
• 应用P-递推序列理论，证明某些无理三角形的Ehrhart函数非P-递推，从而表明其不能为有理Ehrhart函数。
• 通过在无理多面体上迭代积分构造高维例子，利用已知的二维三角形的Ehrhart函数。
• 对有理多面体序列（如涉及Fibonacci型数列）使用极限论证，推导出极限无理多面体的Ehrhart多项式。
• 通过直接计算特定无理单形的Ehrhart函数，对缩放多面体中的格点求和，利用取整函数恒等式与有理逼近。
• 通过按t的奇偶性分情况讨论，利用涉及无理常数（如2+√2和2−√2）的恒等式，将求和简化为多项式表达式。

实验结果

研究问题

• RQ1 当顶点位于(0,0)、(1/u,0)和(0,1/v)的无理三角形的Ehrhart函数为拟多项式或多项式时，其条件是什么？
• RQ2 周期坍塌是否可能发生在具有非有理顶点的高维多面体中？若可能，其条件是什么？
• RQ3 顶点参数的代数性质（如共轭二次无理数）与Ehrhart函数周期性之间有何关系？
• RQ4 经典Ehrhart性质（如互惠性与非负性）是否可推广至具有拟多项式Ehrhart函数的无理多面体？
• RQ5 能否从具有相同Ehrhart多项式的有理多面体序列中推导出极限无理多面体的Ehrhart函数？

主要发现

• 顶点为(0,0)、(1/u,0)、(0,1/v)的无理三角形为伪有理三角形，当且仅当u+v和1/u+1/v均为有理正整数α和β，且其Ehrhart函数周期整除α。
• 该三角形为伪整数三角形，当且仅当上述条件成立且(α,β)为(1,1)、(3,3)或(2,4)，最小面积出现在(u,v) = (τ², 1/τ²)，其中τ为黄金比例。
• 对任意偶数索引的k-Fibonacci数，存在一个三角形，其Ehrhart函数周期等于该数，表明周期坍塌家族远超有理多面体。
• 顶点为(0,0,0)、(1/2,0,0)、(0,2+√2,0)和(0,0,2−√2)的3D单形，其Ehrhart函数等于多项式f(t) = (1/6)t³ + t² + (11/6)t + 1，尽管顶点坐标为无理数。
• 通过有理单形序列的极限论证，推导出极限单形的Ehrhart函数，独立于极限过程确认了结果。
• 通过直接求和与利用涉及无理常数的取整函数恒等式，简化表达式，证明了无理单形的Ehrhart函数为多项式，结果为有理系数多项式。