[論文レビュー] Dense Error-Correcting Codes in the Lee Metric

Tuvi Etzion, Alexander Vardy+1 more|arXiv (Cornell University)|Apr 2, 2010

graph theory and CDMA systems参考文献 17被引用数 9

ひとこと要約

本稿では、ハダマード行列を用いたリー距離における高密度誤り訂正符号の構成を提示し、近似的に最適なパッキング密度を達成し、球体パッキング境界に近づける。リー球体を離散的および連続的なハダマードに基づく写像によって compact なボックスに変換する手法を導入し、制限付きの多次元空間における効率的な符号化を可能にし、フラッシュメモリや制限付きチャネルへの応用を想定する。

ABSTRACT

Several new applications and a number of new mathematical techniques have increased the research on error-correcting codes in the Lee metric in the last decade. In this work we consider several coding problems and constructions of error-correcting codes in the Lee metric. First, we consider constructions of dense error-correcting codes in relatively small dimensions over small alphabets. The second problem we solve is construction of diametric perfect codes with minimum distance four. We will construct such codes over various lengths and alphabet sizes. The third problem is to transfer an n-dimensional Lee sphere with large radius into a shape, with the same volume, located in a relatively small box. Hadamard matrices play an essential role in the solutions for all three problems. A construction of codes based on Hadamard matrices will start our discussion. These codes approach the sphere packing bound for very high rate range and appear to be the best known codes over some sets of parameters.

研究の動機と目的

• 小さなアルファベットと中程度の次元に対して、リー距離における高レートで大きな最小距離を有する高密度誤り訂正符号を構築すること。
• ハダマード行列を用いて最小距離4の直径完全符号を設計し、既知の完全符号を一般化すること。
• n次元リー球体を、同等の体積を持つ形状に変換し、小さな整数ボックスに収める。これによりパッキング効率を向上させること。
• 格子構造とハダマード行列を活用することで、理論的符号境界と実用的構成を橋渡しすること。
• 多次元信号空間におけるボックス形状でない領域への符号化技術の適用という課題に取り組むこと。

提案手法

• n が 4 の倍数である場合に限り、再帰的構成 G(n) = [G(n/2) G(n/2); G(n/2) -G(n/2)] を用いて、Zn 上の線形符号を生成行列から構築する。
• 写像 T(x) = H·x/√n を用い、H を n 階のハダマード行列とする。これにより、Rn 内のリー球体がサイズ (2R/√n)^n のn次元ボックスに写像される。
• 各ベクトルを符号語とコセット代表元に分解し、符号語部分に連続的写像を適用する。この離散的写像 Td²: Zd² → Zd² を定義する。
• ハダマール写像の等長性および体積保存性を活用し、変換中にリー距離と球体体積を維持する。
• 倍化構成を用いて、奇数 n における直径完全符号を 2^i·n に拡張し、パラメータ (2^i·n, 4, 2^{i+2}·n, 4n) の符号を生成する。
• 符号語・反符号語境界を用いて、最小距離4の最適符号を構築し、距離3を超える完全符号の概念を一般化する。

実験結果

リサーチクエスチョン

• RQ1 小さなアルファベットと中程度の次元に対して、リー距離における高密度誤り訂正符号を構築可能か。また、球体パッキング境界に近づけるか。
• RQ2 任意の長さおよびアルファベットサイズに対して、最小距離4の直径完全符号は存在するか。また、どのように体系的に構築できるか。
• RQ3 半径 R のn次元リー球体を、同等の体積を持つ形状に変換し、Zn 内のはるかに小さなボックスに収めることは可能か。
• RQ4 マンハッタン距離における反符号語の最大サイズは何か。また、最適符号設計とどのように関係するか。
• RQ5 ハダマール行列を用いて、高密度かつ制限付き信号空間における効率的な符号化・復号化が可能な符号をどのように構築できるか。

主な発見

• ハダマール行列に基づく符号はパラメータ (n, 4, 4n, 4n) を達成し、高レート領域において球体パッキング境界に近づく。これにより、無限に多くのパrameter 組み合わせにおいて、既存の構成を上回る性能を示す。
• 最小距離4の直径完全符号は、すべての奇数 n に対して存在し、倍化構成により (2^i·n, 4, 2^{i+2}·n, 4n) に拡張される。これは、既知の完全符号を一般化する。
• 連続的写像 T(x) = H·x/√n により、半径 R のn次元リー球体がサイズ (2R/√n)^n のボックスに写像され、ボックスサイズが (2R+1)^n から √n 倍小さくなる。
• 離散的写像 Td² は Zd² から自身へ写像され、半径 R のリー球体がサイズ (2⌈(R+ρ)/d⌉ + 2ρ + 1)^{d²} のボックスに収まる。ここで ρ は基本符号の被覆半径である。これは、単純な埋め込みと比較してボックスサイズを顕著に小さくする。
• 変換により体積とリー距離が保存されるため、ボックスに基づく符号化技術をボックス形状でない信号領域に適用可能となる。
• 構築された符号は符号語・反符号語境界に到達し、直径が与えられた場合の最大符号サイズの最適性を示す。これにより、完全符号の概念が最小距離4に拡張される。