[論文レビュー] Number field lattices achieve Gaussian and Rayleigh channel capacity within a constant gap

Roope Vehkalahti, Laura Luzzi|arXiv (Cornell University)|Nov 17, 2014

Coding theory and cryptography参考文献 17被引用数 13

ひとこと要約

本稿では、有界な根判別式を持つ無限ヒルベルト類体塔に基づく数体格子符号が、ガウス型およびレイリー衰えの速いフェージング回線の両方において、容量への定数ギャップを達成することを示している。主なメカニズムは、正規化された最小積距離の漸近的挙動であり、これはガウス回線におけるハーミート不変量と類似しており、単純な格子推定によってほぼ容量性能を達成可能である。

ABSTRACT

This paper proves that a family of number field lattice codes simultaneously achieves a constant gap to capacity in Rayleigh fast fading and Gaussian channels. The key property in the proof is the existence of infinite towers of Hilbert class fields with bounded root discriminant. The gap to capacity of the proposed families is determined by the root discriminant. The comparison between the Gaussian and fading case reveals that in Rayleigh fading channels the normalized minimum product distance plays an analogous role to the Hermite invariant in Gaussian channels.

研究の動機と目的

• 構造的格子符号が数体から得られることで、以前未解決であったレイリーフェージング回線におけるエルゴディック容量への定数ギャップを達成できることを確立すること。
• フェージング回線における正規化された最小積距離が、ガウス回線におけるハーミート不変量と類似した役割を果たすことを示すこと。
• 有界な根判別式を持つヒルベルト類体の無限塔を活用して、漸近的に良い積距離と定数容量ギャップを保証すること。
• この容量近接性能が、最尤推定だけでなく、単純なナーブな格子推定でも達成可能であることを実証すること。
• 数体の幾何学的性質を通じて、フェージング回線とガウス回線の分析を統一し、各回線モデルを格子最小値の自然な問題に結びつけること。

提案手法

• 整数環の標準埋め込みを複素数空間または実数空間に用いて、代数的数体から格子符号を構築する。
• 数体におけるイデアルを用いて格子コンステレーションを定義し、埋め込み下でのイデアルのノルムが積距離に対応することを示す。
• ヒルベルト類体塔の理論を適用して、有界な根判別式を持つ無限個の数体の存在を保証する。
• Zimmertの定理から導かれる $ N_{ ext{min}}(K) $ の境界を用いて、正規化された最小積距離と根判別式との関係を確立する。
• 算術幾何平均不等式を用いて、積距離と最小ベクトル長を関連付け、フェージング回線とガウス回線の性能を比較可能にする。
• 格子を単位体積にスケーリングし、正規化された不変量（例：$ ext{Nd}_{ ext{p,min}} $）を定義することで、次元や数体に跨る性能比較を可能にする。

実験結果

リサーチクエスチョン

• RQ1 構造的格子符号が数体から得られることで、レイリーフェージング回線における容量への定数ギャップを達成できるか？
• RQ2 フェージング回線における正規化された最小積距離の役割は何か？また、ガウス回線におけるハーミート不変量とどのように比較できるか？
• RQ3 有界な根判別式を持つ数体の無限族を用いて、ガウス回線およびフェージング回線の両方で定数ギャップを同時に達成する格子符号を構築できるか？
• RQ4 イデアル類の選択（例：主イデアル対非主イデアル）が、正規化された積距離およびそれによる達成可能レートに与える影響は何か？
• RQ5 数体格子を用いた場合、ナーブな格子推定がフェージング回線でどの程度近似容量性能を達成できるか？

主な発見

• ヒルベルト類体塔と有界な根判別式を用いた数体格子符号は、ガウス回線およびレイリーフェージング回線の両方で、容量への定数ギャップを達成する。
• 容量へのギャップは、数体の根判別式に依存し、より小さい根判別式はより小さいギャップをもたらす。
• レイリーフェージング回線では、正規化された最小積距離がガウス回線におけるハーミート不変量と類似した役割を果たす。
• 十分に大きな $ n $ に対して、完全複素数体からの格子の正規化積距離は $ (3.1)^{-n} $ 以下に、完全実数体からの格子は $ (7.12)^{-n} $ 以下に有界であり、次元の増加に伴い性能が指数関数的に低下することを示唆している。
• 提案された符号は、最尤推定だけでなく、単純なナーブな格子推定でもこの性能を達成でき、実用的実装可能性が向上する。
• 特に類数が1より大きい数体では、非主イデアルを用いることで積距離が向上し、構成が有効であることが判明している。