[論文レビュー] 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に対して、幅が任意のα < 1/eに対してαdを超えることを示す。
• 頂点以外に内部または境界上に格子点を含まない場合、単体はラティス自由であるという事実に依拠する。

実験結果

リサーチクエスチョン

• RQ1 高次元におけるラティス自由単体は、2よりも著しく大きな幅をとることができるか？
• RQ2 次元dが増加する際、ラティス自由単体の幅の漸近的上限は何か？
• RQ3 次元に比例して増加する幅をとるラティス自由単体を構成することは可能か？
• RQ4 実数のディオファントス近似の性質が、ラティス自由多面体の幾何学にどのように影響するか？
• RQ5 頂点の整数性とラティス自由性が、単体の幅にどのような制約を課えるか？

主な発見

• 任意のα < 1/eおよび十分に大きな次元dに対して、幅がαdを超えるd次元のラティス自由単体が存在する。
• 本論文は、幅が次元に線形に増加するラティス自由単体の明示的族を構成した。
• この結果により、ラティス自由多面体の幅が2を超えることはないという従来の信念が覆された。
• この構成は、特定の実数に対する良好な有理近似の存在に依拠しており、ラティス自由性を保証する。
• 幅が、dのより大きな定数倍を超えることは不可能であるという意味で、漸近的に最適であることが示された。
• この結果により、高次元におけるラティス自由単体の最大幅の鋭い閾値が確立された。