[論文レビュー] On the Statistics of Lattice Polytopes

Maximilian Kreuzer|ArXiv.org|Sep 6, 2008

Advanced Combinatorial Mathematics参考文献 16被引用数 4

ひとこと要約

本稿では、反射性および反射的次元を用いて格子多面体の確率測度を導入し、その性質の統計的分析を可能にする。極性双対性をIP制限付き多面体へ拡張し、非IP制限付き3次元IP単体を分類し、9×10^9個の多面体のデータサンプルを用いて5次元反射的多面体の数を推定する統計的フレームワークを提案する。その結果、約10^18個の予測値が得られた。

ABSTRACT

We use the notions of reflexivity and of reflexive dimensions in order to introduce probability measures for lattice polytopes and initiate the investigation of their statistical properties. Examples of applications to discrete geometry include a study of randomness of self-duality of reflexive polytopes and implications for expectation values of the numbers of such polytopes in higher dimensions. We also discuss enumeration problems and related algorithms and point out interesting open problems. In this context we define the notion of IP-confined polytopes. Our new results include the list of IP-simplices in 3 dimensions that are not IP-confined. The main motivation for the study of these issues comes from applications in algebraic geometry and string theory.

研究の動機と目的

• 極性双対性に関して不変となる格子多面体のための確率測度を、反射性および反射的次元を用いて開発すること。
• IP制限を受けていない3次元IP単体を分類し、そのすべてのケースを体系的に特定すること。
• 極性双対性を反射的多面体に限らず、より広いクラスのIP制限付き多面体へ高次元にまで拡張すること。
• データサンプルと相関分析を用いて、5次元反射的多面体の数を推定する統計的手法を提案すること。
• 固定次元ではなく、有界な格子点数に注目することで、反射的多面体のより効率的な列挙を可能にすること。

提案手法

• 固定次元および固定反射的次元における反射的多面体の有限個数に基づく確率測度の定義。
• すべての部分多面体が反射的であるようなIP多面体のクラスとしてIP制限付き多面体を導入し、反射的多面体を超えた極性双対性の拡張を実現する。
• 最小および最大の反射的多面体を記述するための重みベクトルおよび重み行列を用いる。特に単体的および非単体的ケースに注目する。
• PALPソフトウェアパッケージを用いて、横断的重みベクトルで定義されたニュートン多面体の部分多面体を計算する。
• データサンプルからの比 p²/(2m) および p²/s² を用いて、5次元反射的多面体の総数を統計的外挿によって推定する。
• 格子点数が増加する順に反射的部分多面体のデータサンプルを構築し、統計的傾向および相関関係を調査する。

実験結果

リサーチクエスチョン

• RQ1 高次元における自己双対な反射的多面体の分布はどのように変化するのか。また、その期待される個数は何か。
• RQ2 3次元におけるどのIP単体がIP制限を満たさないのか。そして、それらはどのように体系的に分類できるか。
• RQ3 反射的多面体の極性双対性は、IP制限付き多面体のようなより広いクラスの格子多面体へ拡張可能か。
• RQ4 p²/(2m) および p²/s² のような統計的推定器は、5次元反射的多面体の総数を予測するのにどれほど信頼できるか。
• RQ5 特に高次元多面体列挙において、データサンプルのバイアスが統計的予測に与える影響は何か。

主な発見

• 本稿では、IP制限を満たさない3次元IP単体をすべて特定し、その完全な分類を提供している。
• 9.025×10^9個の反射的5次元多面体を含む最大のデータサンプルにおいて、統計的推定器は p²/(2m) ≈ 4.7×10^14 および p²/s² ≈ 6.5×10^14 を得ており、両測定値間に強い相関があることが示された。
• p²/(2m) および p²/s² を用いた統計的手法は、真の反射的多面体の数の信頼できる近似値を提供しており、4次元では1秒あたり約7000個の生成レートを達成している。
• 9×10^9個の多面体からなるデータサンプルは、5次元反射的多面体の総数が約10^18個であるというスカルケの予想と整合的である。
• 本手法により、利用可能なディスクストレージに応じた反射的多面体の確率的下界が得られ、大規模な列挙の実現可能性を裏付ける。