[论文解读] On the width of lattice-free simplices

Jean‐Michel Kantor|ArXiv.org|Sep 24, 1997

Graph theory and applications参考文献 3被引用 5

一句话总结

本文证明了在高维空间中存在无格点单形，其宽度趋近于维度的常数倍，推翻了此前认为此类多面体的宽度不可能超过2的信念。通过基于丢番图逼近的构造方法，Kantor 证明了对于任意 α < 1/e 且足够大的 d，存在一个 d 维无格点单形，其宽度大于 αd。

ABSTRACT

Among integral polytopes (vertices with integral coordinates), lattice-free polytopes - intersecting the lattice ONLY at their vertices- are of particular interestin combinatorics and geometry of numbers. A natural question is to measure their "width" (with respect to the integral lattice).There were no known examples of lattice-free polytopes with width bigger than 2 .We prove the following Theorem : Given any positive number $α$ strictly inferior to $1/e$, for d large enough there exists a lattice-free simplex of dimension d and width superior to $αd$.

研究动机与目标

• 研究高维空间中无格点单形可能达到的最大宽度。
• 挑战长久以来认为无格点多面体的宽度不可能超过2的猜想。
• 探讨顶点的整数性与内部无格点所施加的几何与算术约束。
• 证明在特定数论条件下，宽度可随维度线性增长。
• 提供一种基于丢番图逼近的构造方法，用于生成此类高宽度无格点单形。

提出的方法

• 通过基于有理逼近导出的整数点参数族构造无格点单形。
• 应用丢番图逼近技术，控制顶点相对于整数格点的分布。
• 采用基于单形平行支撑超平面间最小距离的宽度公式。
• 利用顶点矩阵的行列式来界定体积，并将其与无格点性联系起来。
• 应用渐近估计，表明当 d 足够大时，宽度可超过 αd（对任意 α < 1/e）。
• 依赖于这样一个事实：若单形仅在顶点处包含格点，其余均无内部或边界格点，则其为无格点。

实验结果

研究问题

• RQ1 在高维空间中，无格点单形的宽度是否可显著超过2？
• RQ2 随着维度 d 增大，无格点单形的宽度是否存在渐近上界？
• RQ3 是否可能构造出宽度随维度线性增长的无格点单形？
• RQ4 实数的丢番图逼近性质如何影响无格点多面体的几何结构？
• RQ5 顶点的整数性与无格点性对单形宽度施加了何种约束？

主要发现

• 对于任意 α < 1/e 且足够大的维度 d，存在一个 d 维无格点单形，其宽度大于 αd。
• 本文构造了显式的一类无格点单形，其宽度随维度线性增长。
• 该结果推翻了此前认为无格点多面体的宽度被限制在2以内的信念。
• 该构造依赖于某些实数存在良好有理逼近的事实，从而确保无格点性。
• 宽度被证明在渐近意义下是最优的，即不可能存在更大的 d 的常数倍。
• 该结果在高维空间中确立了无格点单形最大可能宽度的精确临界值。