[論文レビュー] Methods in the Local Theory of Packing and Covering Lattices

Achill Schuermann, Frank Vallentin|ArXiv.org|Dec 16, 2004

graph theory and CDMA systems参考文献 25被引用数 3

ひとこと要約

本稿は、ユークリッド空間における球体パッキング、被覆、パッキング-被覆問題において、局所最適な格子を同定するための新しいアルゴリズムと理論的枠組みを提示する。正定値二次形式とヴォロノイ理論に基づく手法を用い、局所最適性を検証し、被覆格子およびパッキング-被覆格子の記録更新を達成した。特に、次元6における被覆密度2.4648の局所最適被覆格子を同定し、パッキング-被覆問題におけるリーク・ラティスの局所最適性を、パッキング-被覆定数の新たな下界を用いて証明した。

ABSTRACT

In this paper we are concerned with three lattice problems: the lattice packing problem, the lattice covering problem and the lattice packing-covering problem. One way to find optimal lattices for these problems is to enumerate all finitely many, locally optimal lattices. For the lattice packing problem there are two classical algorithms going back to Minkowski and Voronoi. For the covering and for the packing-covering problem we propose new algorithms. Here we give a brief survey about these approaches. We report on some recent computer based computations where we were able to reproduce and partially extend the known classification of locally optimal lattices. Furthermore we found new record breaking covering and packing-covering lattices. We describe several methods with examples to show that a lattice is a locally optimal solution to one of the three problems.

研究の動機と目的

• 格子被覆およびパッキング-被覆問題における局所最適格子を同定するための、パッキング問題と同様の古典的手法に類似した新しい計算的・理論的手法の開発と応用。
• デローヌ単体と正定値二次形式（PQF）に基づく幾何的・代数的基準を用いて、候補格子の局所最適性を検証する。
• 特に次元5および6において、以前に未知または未検証の格子が被覆およびパッキング-被覆定数の改善をもたらす可能性があるため、高次元における局所極値の計算と分類を実施する。
• パッキング-被覆定数γ(Q)の新たな局所下界を確立し、特にリーク・ラティスのような高対称性を持つ格子の局所最適性を直接検証可能にする。

提案手法

• 本稿では、格子およびその幾何的性質（パッキング半径や被覆半径など）を表すために正定値二次形式（PQF）の理論を用いる。
• 局所最適性を特徴付けるために、ヴォロノイの完全形式およびユータキの理論を適用し、特にPQFの逆行列が最小ベクトルの外積によって生成される錐に属するという条件を用いる。
• 被覆問題における新たな局所最適性基準を導入：PQFにおけるヴォロノイ領域の分離可能性および被覆半径勾配に関する錐条件。
• パッキング-被覆問題においては、デローヌ単体とその辺ベクトルから構成される行列Fのトレースを用いて、パッキング-被覆定数γ(Q)の新たな局所下界を導出する。
• 対称性と球面2デザインの利用を活用し、リーク・ラティスの例では、最小ベクトルが球面2デザインを形成することにより、境界の正確な計算が可能になる。
• 計算的検証として、候補格子の自己同型群（例：リーク・ラティスの場合はCo₀）を用い、軌道平均を計算し、理論的境界の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 パッキング問題におけるミンコフスキーおよびヴォロノイの手法に類似した、格子被覆およびパッキング-被覆問題における局所最適格子を系統的かつ体系的に同定するアルゴリズムを開発可能か？
• RQ2 双対根格子A*dが最も薄い格子被覆をもたらさない最小の次元は何か？そのような格子は計算可能か？
• RQ3 リーク・ラティスは格子パッキング-被覆問題において局所最適解であるか？もしそうならば、γ(Q)の新たな理論的下界を用いて証明可能か？
• RQ4 パッキング-被覆定数γ(Q)の新たな局所下界を構築可能か？その下界により、グローバルな列挙なしに局所最適性を直接検証可能か？
• RQ5 デローヌ単体および群の軌道に基づく計算手法により、被覆およびパッキング-被覆問題において新たな記録更新格子が得られるか？

主な発見

• 著者らは次元5における222個の局所被覆最適解を計算・検証し、既知の結果を確認するとともに、局所最適格子の分類を拡張した。
• 次元6における新しい格子L⁰₆が発見され、被覆密度Θ(L⁰₆) ≈ 2.4648が得られた。これはΘ(A*₆) ≈ 2.5511より厳密に小さいことから、A*dが最適でない最初の次元であるというリシュコフの問いに答えている。
• 次元24におけるリーク・ラティスΛが、γ(Q)の新たな下界を用いて、パッキング-被覆問題における局所最適解であることが証明された。等号が成立し、γ(Λ) = √2が確認された。
• 本手法により、リーク・ラティスの局所最適性が、導出された下界が実際のγ(Q)の値と一致することを示すことによって、成功裏に検証された。これは、その球面2デザイン性を活用した結果である。
• 本稿は、PQF理論と錐条件を用いることで、すべての3つの格子問題における局所最適性の統一的取り扱いを可能にする理論的枠組みを提供した。
• 計算実験の結果、E₈根格子がパッキング-被覆問題において局所最適であるという予想が支持され、次元8においてはグローバル最適である可能性も示唆された。