[論文レビュー] Gitter und Modulformen

Gabriele Nebe|ArXiv.org|Nov 15, 2002

Coding theory and cryptography参考文献 27被引用数 5

ひとこと要約

この論文は、モジュラー形式と極値格子の理論の間に深い接点を確立し、調和係数をもつtheta級数が、極値格子の分類・構成・局所的最大密度性の証明にどのように寄与するかを示している。これは、モジュラー形式理論が許す最も密度の高いモジュラー格子、すなわち極値格子を扱う。非存在性の証明やその構成のための枠組みを提供しており、特定の極値格子が強く完備であること、したがって局所的密度最大値であることを示している。

ABSTRACT

A main goal in lattice theory is the construction of dense lattices. Most of the remarkable dense lattices in small dimensions have an additional symmetry, they are modular, i.e. similar to their dual lattice. Extremal lattices are densest modular lattices, whoses density is as high as the theory of modular forms allows it to be. The theory of theta series with harmonic coefficients allows to classify and to construct extremal lattices as well as to prove that some of them are strongly perfect and hence local maxima of the density function.

研究の動機と目的

• モジュラー形式と格子論、特に極値格子に焦点を当てた理論の構築。
• 調和係数をもつtheta級数を用いた極値格子の構成および分類のための手法の提供。
• 特定の極値格子が強く完備であること、したがって密度関数の局所的最大値であることを証明すること。
• モジュラー形式理論を用いて、特定の類において極値格子が存在しないことを示す基準の確立。
• 極値格子と球面デザインの関係を接続し、局所的に最も密度の高い格子を同定すること。

提案手法

• 上半平面における格子のtheta級数をモジュラー形式として用い、大きなモジュラー群による不変性を活用する。
• 調和係数をもつモジュラー形式の理論を応用し、無限遠点における定数項の重複度を分析する。
• 極値格子を、無限遠点における零点の高さを最大にするモジュラー形式であるtheta級数をもつモジュラー格子として定義する。
• 球面デザインの概念を用いて、密度関数の局所的最大値をとる格子を同定する。
• 格子とモジュラー形式のシャドウ理論を用いて、極値格子の存在に対する制約を導出する。
• 代数的数論、群作用、調和解析を統合して、モジュラー格子の構造を研究する。

実験結果

リサーチクエスチョン

• RQ1 どのようにしてモジュラー形式を用いて、ユークリッド空間における極値格子を定義・分類できるか？
• RQ2 極値格子が強く完備であり、したがって密度関数の局所的最大値であることを保証する条件は何か？
• RQ3 どの次元および類において極値モジュラー格子が存在せず、その非存在性をモジュラー形式を用いてどのように証明できるか？
• RQ4 球面デザインは、極値格子の密度および対称性とどのように関係しているか？
• RQ5 調和係数をもつtheta級数は、極値格子の構成または除外にどのように寄与するか？

主な発見

• 極値格子は、無限遠点における零点の高さを最大にするtheta級数をもつモジュラー格子として定義される。
• 調和係数をもつtheta級数の理論により、特定の極値格子が強く完備であることが証明され、したがって密度関数の局所的最大値であることが示された。
• この手法により、ネーベとヴェンコフが研究したような特定の類において極値格子が存在しないことが成功裏に証明された。
• 次元24におけるリーク格子および次元16におけるバーンズ＝ウォール格子は極値であることが示され、モジュラー制約下での最大密度を達成している。
• 球面デザインを用いて局所的に最も密度の高い格子を同定し、極値格子がしばしば良好な球面デザインを生成することが示された。
• この枠組みにより、グローバルな密度最大値が未知の次元において、新たな極値格子の分類および構成が可能になった。