[论文解读] Ehrhart series and lattice triangulations

Sam Payne|ArXiv.org|Feb 2, 2007

Advanced Combinatorial Mathematics参考文献 15被引用 5

一句话总结

本文通过多变量 h-多项式及单形剖分中非单模面的局部贡献，推导出有理多面锥 Ehrhart 系数生成函数的公式。提出了两个定理，将格点生成函数表示为这些分量的组合，应用于计算反射多面体的非单峰 h*-向量，包括 6、7、8、10 和 11 维的新例子。

ABSTRACT

We express the generating function for lattice points in a rational polyhedral cone with a simplicial subdivision in terms of multivariate analogues of the h-polynomials of the subdivision and "local contributions" of the links of its nonunimodular faces. We also compute new examples of nonunimodal h^*-vectors of reflexive polytopes.

研究动机与目标

• 推导有理多面锥在单形剖分下格点生成函数的一般公式。
• 通过框多项式与链 h-多项式，将局部非单模面的贡献引入 Ehrhart 理论，拓展现有理论。
• 构造具有非单峰 h*-向量的反射多面体显式例子，挑战单峰性猜想。
• 通过引入更广泛的特殊锥类，推广以往关于三角剖分中特殊单形的结果。
• 展示新公式的实用性，用于计算反射多面体族的 Ehrhart 系数与 h*-多项式。

提出的方法

• 为单形剖分 $ \triangle $ 的锥 $ \tau $ 定义多变量 h-多项式 $ H_{\triangle} $ 的类比，利用每个面内与外的射线上的 $ x^{v_i} $ 与 $ (1 - x^{v_j}) $ 的乘积。
• 将框多项式 $ B_{\tau} $ 定义为开平行多面体 $ \mathrm{Box}(\tau) = \{ \sum a_i v_i \mid 0 < a_i < 1 \} $ 中格点的生成函数，捕捉非单模锥中的分数部分。
• 定义 $ \triangle $ 中面 $ \tau $ 的链 $ \mathrm{lk} \tau $，并构造相应的多变量 h-多项式 $ H_{\mathrm{lk} \tau} $。
• 建立定理 1.1：格点生成函数 $ G_{\sigma} $ 满足 $$ (1 - x^{v_1}) \cdots (1 - x^{v_s}) \cdot G_{\sigma} = H_{\triangle} + \sum_{\tau \in \triangle^{\mathrm{sing}}} \left( B_{\tau} \cdot H_{\mathrm{lk} \tau} \cdot \prod_{v_i \not\in \mathrm{Star} \tau} (1 - x^{v_i}) \right) $$
• 通过引入包含于所有极大锥中的特殊锥 $ \lambda $，推广至定理 1.2，定义相对框多项式 $ B_{\tau, \lambda} $，并导出包含 $ H_{\mathrm{lk} \lambda} $ 及 $ \tau \succeq \lambda $ 的锥的贡献的公式。
• 通过特化至 Ehrhart 系数，将公式应用于格点多面体，利用 Braun 的自由和公式构造出具有大且非单峰 h*-向量的显式例子。

实验结果

研究问题

• RQ1 有理锥在单形剖分下，其 Ehrhart 系数能否用多变量 h-多项式与非单模面的局部贡献表示？
• RQ2 一个包含于所有极大锥中的特殊锥 $ \lambda $ 在细化格点生成函数公式中起什么作用？
• RQ3 是否存在所有维度 $ d \geq 6 $（可能除外 $ d = 7, 8, 11 $）的反射多面体，其 h*-向量非单峰？
• RQ4 反射多面体的 h*-向量是否可能不是 Macaulay 向量？若可能，其条件为何？
• RQ5 如何利用反射多面体的自由和构造出连续 h*-向量分量间差值任意大的例子？

主要发现

• 定理 1.1 完整分解了有理锥 $ \sigma $ 中格点生成函数 $ G_{\sigma} $，使用多变量 h-多项式 $ H_{\triangle} $ 及通过 $ B_{\tau} $ 与 $ H_{\mathrm{lk} \tau} $ 表示的非单模面贡献。
• 定理 1.2 通过引入特殊锥 $ \lambda $，推广了定理 1.1，其公式包含 $ H_{\mathrm{lk} \lambda} $ 与相对框多项式 $ B_{\tau, \lambda} $，当 $ \lambda = 0 $ 时可恢复定理 1.1。
• 例 4.3 构造了 6 维反射单纯形，其 $ h^*(P) = (1,2,6,5,5,6,2,1) $，为非单峰，确认了 6 维中非单峰性的存在。
• 例 4.4 给出 11 维反射单纯形，其 $ h^*(P) = (1,1,4,6,4,6,6,4,6,4,1,1) $，亦为非单峰，解决了 $ d = 11 $ 的情形。
• 在例 4.2 中，当 $ b \geq 3 $ 且 $ k > r+1 $ 时，h*-向量为非单峰，因此在所有维度 $ d \geq 6 $（除 $ d = 7,8,11 $ 外）均存在此类例子，而 $ d = 7,8,11 $ 由显式构造覆盖。
• 定理 1.6 构造出任意大连续 h*-向量分量差值的反射多面体：对任意 $ n $，存在反射多面体 $ P $，使得 $ h^*_{i_\ell} - h^*_{j_\ell} \geq n $ 对多个 $ \ell $ 成立，且 $ \dim P = O(m \log \log n) $。