[論文レビュー] Some six-dimensional rigid forms

Mathieu Dutour Sikirić, Frank Vallentin|ArXiv.org|Jan 16, 2004

Finite Group Theory Research参考文献 6被引用数 5

ひとこと要約

本稿では、VoronoiのL型領域理論と隣接分解法を用いて、次元6までの剛性のある正定値半定値二次形式を列挙するアルゴリズムを提示する。次元5では既知の7つの剛性形式を確認し、次元6では25,263個の同値でない剛性のある正定値二次形式を発見し、次元5を越えると複雑性が組合せ的爆発を示すことを明らかにした。

ABSTRACT

One can always decompose Dirichlet-Voronoi polytopes of lattices non-trivially into a Minkowski sum of Dirichlet-Voronoi polytopes of rigid lattices. In this report we show how one can enumerate all rigid positive semidefinite quadratic forms (and thereby rigid lattices) of a given dimension d. By this method we found all rigid positive semidefinite quadratic forms for d = 5 confirming the list of 7 rigid lattices by Baranovskii and Grishukhin. Furthermore, we found out that for d <= 5 the adjacency graph of primitive L-type domains is an infinite tree on which GL_d(Z) acts. On the other hand, we demonstrate that in d = 6 we face a combinatorial explosion.

研究の動機と目的

• 与えられた次元におけるすべての剛性のある正定値半定値二次形式を体系的に列挙するための手法を開発すること。
• 次元d ≤ 5における剛性格子の分類を検証・拡張すること。特に、BaranovskiiとGrishukhinが提示した5次元剛性形式7種のリストを確認すること。
• 低次元における原始的L型領域の隣接グラフの構造を調査し、次元6におけるその挙動を検討すること。
• 次元6における剛性形式列挙の計算複雑性を分析すること。ここでは、組合せ的爆発が発生する。
• GL₆(ℤ)作用の下で同値でない剛性のある正定値二次形式を同定・分類すること。

提案手法

• Dirichlet-Voronoi多面体の組合せ的型を、鋭錐として表すためにVoronoiのL型領域理論を適用する。
• 原始的L型領域の面記述を用いて、変換アルゴリズムによりその極端な方向（極端な線）を計算する。
• 錐の対称性群を活用することで計算を高速化するため、隣接分解法を採用する。
• GL₆(ℤ)群作用を適用して、極端な方向同士の同値形式を特定・削除する。
• Dirichlet-Voronoi多面体の強い同型性を用いてL型領域を定義し、計量的・組合せ的構造に基づいて形式を分類する。
• 主要な錐（C₁およびC₂）の自己同型群を計算し、列挙における対称性削減を支援する。

実験結果

リサーチクエスチョン

• RQ1 次元6における同値でない剛性のある正定値二次形式はいくつ存在するか？
• RQ2 次元6において、原始的L型領域の隣接グラフは、d ≤ 5と同様に木構造のまま保たれるか？
• RQ3 6次元正定値半定値二次形式の原始的L型領域における最大の面数はいくつか？
• RQ4 隣接分解法は、高次元L型領域における極端な方向の列挙に計算コストを効果的に削減できるか？
• RQ5 次元6における原始的L型領域のうち、すべての極端な方向が非退化であるものは存在するか？

主な発見

• 本稿では、次元5における同値でない剛性のある正定値二次形式が正確に7つ存在することを確認し、BaranovskiiとGrishukhinの結果と一致した。
• 次元d ≤ 5において、原始的L型領域の隣接グラフは、GL₆(ℤ)が推移的に作用する無限木である。
• 次元6において、錐C₁は130個の面と7,145,429個の極端な方向を持ち、GL₆(ℤ)作用で4,440個の軌道を形成し、そのうち4,438個が同値でない剛性のある正定値形式である。
• 錐C₂は100個の面と2,257,616個の極端な方向を持ち、20,871個の軌道を形成し、20,861個の同値でない剛性のある正定値形式が得られた。
• C₁とC₂は、E₆*格子に関連する共通の剛性形式を共有しており、その交差から2つの極端な方向R₁およびR₂が得られ、これらは両方とも剛性形式である。
• 次元6における同値でない剛性のある正定値二次形式の総数は25,263個であり、そのうちほとんどが正定値でない極端な方向を含まない。