[论文解读] Reconstruction of rational polytopes from the real-parameter Ehrhart function of its translates

Tiago Royer|arXiv (Cornell University)|Dec 5, 2017

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

一句话总结

本文证明，一个有理多面体可由其所有整数平移的实参数Ehrhart函数唯一确定。通过分析这些函数的增长与不连续性行为，作者证明：若两个有理多面体在所有整数平移下具有完全相同的Ehrhart函数，则它们必须完全相同，而不仅仅是单峰等价。这为从其扩展的Ehrhart函数中完整重构有理多面体提供了方法。

ABSTRACT

When extending the Ehrhart lattice point enumerator $L_P(t)$ to allow real dilation parameters $t$, we lose the invariance under integer translations that exists when $t$ is restricted to be an integer. This paper studies this phenomenon; in particular, it is shown that, for full-dimensional $P$, not only there are infinitely many different functions $L_{P + w}(t)$ (for integer $w$), but that for rational $P$ the collection of these functions identifies $P$ uniquely.

研究动机与目标

• 研究有理多面体的整数平移的实参数Ehrhart函数是否唯一确定该多面体。
• 将经典Ehrhart理论从整数伸缩参数下的平移不变性推广至实数伸缩参数，此时该不变性不再成立。
• 确定所有整数向量 $ w $ 的Ehrhart函数集合 $ L_{P+w}(s) $ 是否唯一识别有理多面体 $ P $。
• 探索有限见证集用于重构的可能性，并将结果推广至半有理多面体与一般实多面体。

提出的方法

• 分析 $ L_{P+w}(s) $ 作为实数 $ s > 0 $ 的函数的行为，特别是其不连续点与增长速率。
• 利用 $ L_{P}(s) $ 非减小当且仅当 $ 0 \in P $ 的事实，通过平移效应区分多面体。
• 应用伪锥体 $ \operatorname{ppyr}(P+kw) $ 的体积增长分析，检测平移下多面体结构的差异。
• 通过单峰变换将多面体投影到低维子空间，以降低维度并应用归纳法。
• 使用稠密的有理 $ s $-值集合（例如 $ s = m/(b + w_d) $）以在投影中保持函数相等性。
• 通过反证法证明唯一性：假设 $ P \neq Q $，证明其Ehrhart函数必在某个 $ w $ 处不同。

实验结果

研究问题

• RQ1 能否从一个有理多面体的所有整数平移的实参数Ehrhart函数中唯一重构该多面体？
• RQ2 实参数Ehrhart函数在整数平移下失去不变性，是否允许区分不同的多面体？
• RQ3 是否存在一个有限的整数平移向量集合 $ w $，使得Ehrhart函数 $ L_{P+w}(s) $ 唯一确定 $ P $？
• RQ4 该重构结果能否推广至半有理或多面体或一般实多面体？

主要发现

• 对任意有理多面体 $ P $，存在一个整数向量 $ w $，使得对所有 $ k \geq 0 $，函数 $ L_{P+kw}(s) $ 互不相同，表明平移破坏了实参数Ehrhart函数的不变性。
• 若两个有理多面体 $ P $ 与 $ Q $ 满足对所有整数向量 $ w $ 和所有实数 $ s > 0 $，有 $ L_{P+w}(s) = L_{Q+w}(s) $，则必有 $ P = Q $，从而证明了唯一重构。
• 该结果可推广至满维或余维一的半有理多面体（由整数法向量与实偏移定义），在相同的函数相等条件下成立。
• 对满维实多面体，若满足相同的函数相等条件，结论同样成立，但证明需依赖余维数假设。
• 证明依赖于通过不连续点位置与平移下伪锥体的相对体积增长来检测结构差异。
• 作者猜想，对有理多面体，全整数格 $ \mathbb{Z}^d $ 可被有限见证集替代，尽管该猜想仍待证明。