[論文レビュー] Decoding q-ary lattices in the Lee metric

Antonio Campello, Grasiele C. Jorge+1 more|arXiv (Cornell University)|May 27, 2011

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

ひとこと要約

本稿は、構成Aを用いて構築されたq進ラティスのためのリー距離球符号化アルゴリズムを提案し、ラティス符号化と関連するq進符号符号化を結びつける。素数qに対しては、球符号化をリー距離に適応させ、幾何的およびシミュレーションベースの解析を通じて、高次元においてリー球の平均体積がユークリッド球よりも小さいことを示し、古典的球符号化よりも効率的な可能性を示唆する。

ABSTRACT

q-ary lattices can be obtained from q-ary codes using the so-called Construction A. We investigate these lattices in the Lee metric and show how their decoding process can be related to the associated codes. For prime q we derive a Lee sphere decoding algorithm for q-ary lattices, present a brief discussion on its complexity and some comparisons with the classic sphere decoding.

研究の動機と目的

• q進符号とその関連するq進ラティスのリー距離における符号化の関係を確立すること。
• 特に素数qに対して、リー距離におけるq進ラティスに特化した球符号化アルゴリズムを開発すること。
• 提案されたリー球符号化アルゴリズムの期待計算量を分析すること。
• 高次元空間におけるリー球符号化とユークリッド球符号化の性能および球体積特性を比較すること。
• ラプラスノイズを用いた低次元シミュレーションを通じて、アルゴリズムの挙動を評価すること。

提案手法

• リー距離に適応した球符号化の原則を適用するため、リーマン距離を誘導するl1ノルムに基づく符号化球を定義し、商空間R^n / qZ^nにおけるリー距離を導出する。
• q進ラティスΛ_q(C)の生成行列Mを、q進符号Cの生成行列が[I_k | B^t]^t形式にあると仮定し、標準形で表現する。
• ハイパースフィア座標と単位球面積分を用いて、ババイ推定値を中心とするリー球の平均体積と、同じ半径のユークリッド球の体積を幾何的議論により比較する。
• リー球の平均体積を計算するために積分I(n,j)を用い、ガンマ関数およびガンマ関数の比を用いて漸近的挙動を導出する。
• 受信ベクトルr = Mx + e（eはi.i.d.にラプラス分布に従う）を用いたシミュレーションを実施し、リー球的ノイズをモデル化し、符号化性能を検証する。
• l1ノルムとリー距離の等価性を用いて、Z_q^nにおける符号レベルの符号化とR^nにおけるラティスレベルの符号化を結びつける。

実験結果

リサーチクエスチョン

• RQ1 q進ラティスのリー距離における符号化プロセスは、その関連するq進符号の符号化とどのように関係するか？
• RQ2 q進ラティスに対して、特にqが素数である場合、球符号化をリー距離に効果的に適応できるか？
• RQ3 高次元において、同じ半径のリー球の平均体積は、ユークリッド球の平均体積と比べてどうなるか？
• RQ4 リー距離球符号化は、球体積と探索空間の観点から、古典的球符号化よりも計算量の面で優位性を示すか？
• RQ5 l1ノルムと自然に整合するラプラスノイズ下での、提案アルゴリズムの性能はいかがなものか？

主な発見

• 構成Aを用いたq進ラティスに対するリー球符号化アルゴリズムは、リー距離における符号とラティス符号化の間の明確な関係を確立し、成功裏に適応された。
• 高次元において、ババイ推定値を中心とするリー球の平均体積は、同じ半径のユークリッド球の平均体積よりも漸近的に小さくなることが示された。lim_{n→∞} [I(n,n)2^n / (n!(π/2)^{n-1})] / [π^{n/2}/Γ(n/2+1)] = 0。
• この体積の削減は、リー球符号化が古典的球符号化よりも小さい探索空間を探索する可能性を示唆し、期待計算量の改善が得られる可能性がある。
• q=5、次元17までのシミュレーションにより、ラプラスノイズ下でのアルゴリズムの実用的条件下での実現可能性と挙動が確認された。
• ラティスに適用されたNearest Plane Algorithmは、リー距離においてO(2^n / √n)の近似因子を達成し、2/√3の比を含む境界が得られた。
• 解析により、q > 3の場合、リー距離がq進符号とラティスの幾何的フレームワークとしてより自然であることが確認された。これはl1ノルムとの整合性に起因する。