[論文レビュー] Edge Transitive Ramanujan Graphs and Highly Symmetric LDPC Good Codes

Tali Kaufman, Alexander Lubotzky|arXiv (Cornell University)|Aug 15, 2011

Error Correcting Code Techniques参考文献 11被引用数 3

ひとこと要約

本稿は、PSL₂(q^α)およびPGL₂(q^α)群からの辺推移的ラマヌジャングラフを用いて、定数レートおよび定数相対距離を有する最初の明示的で高対称性を持つLDPC符号の族を構築した。単一の低重み制約の軌道が双対符号を生成するカーレイ符号構成を用いることで、符号理論における完全な「ゴールドスタンダード」性能を達成し、カフマンとウィグダーソンが提起した未解決問題を解決した。

ABSTRACT

We present a symmetric LDPC code with constant rate and constant distance (i.e. good LDPC code) that its constraint space is generated by the orbit of one constant weight constraint under a group action. Our construction provides the first symmetric LDPC good codes. This solves the main open problem raised by Kaufman and Wigderson in [4].

研究の動機と目的

• 定数レートおよび定数距離を有する高対称性LDPC良い符号を構築するという未解決問題を解決すること。
• 従来のアーベル群や可解群に制限された対称LDPC符号の枠組みを、それらを越えて拡張すること。
• 辺推移的ラマヌジャングラフが、このような符号の構築の基盤として有効であることを示すこと。
• 群作用に関して閉じており、重みが有界な生成制約を有する符号族の明示的構成を提供すること。
• 特定の固有値性質を有する非アーベル群上のカーレイ符号が、完全な対称性および低密度制約を有する良い符号をもたらすことを証明すること。

提案手法

• G = PSL₂(q^α) または PGL₂(q^α) であり、T が G に自己同型として作用する半直積群 H = G ⋊ T 上でのカーレイ符号 C(G, S, B) を構築する。
• T ≅ 𝔽*_{q²}/𝔽*_{q} の作用による固定元 γ ∈ G の軌道として生成集合 S を定義し、Cay(G, S) のグラフが辺推移的であることを保証する。
• 第二固有値 λ = 2√q/(q+1) を有するラマヌジャングラフを用い、強力な拡張性および小さなスペクトルギャップを確保する。
• 長さ q+1 の符号 B ⊆ 𝔽₂^S を選択し、r(B) > 1/2 かつ δ(B) > λ を満たすことで、符号 C(G, S, B) が良い符号であることを保証する。
• 長さ 2^m - 1 の奇数長の巡回符号 C を、長さ 2(2^m - 1) の偶数長の巡回符号 B に変換する補題を適用し、レートおよび距離を保存する。
• 双対符号 C⊥ が、重みが高々 q+1 = 4094 の有界重みベクトル v ∈ 𝔽₂^E のみの軌道 H·v によって生成されることを証明し、符号が高対称的かつLDPC構造を有することを保証する。

実験結果

リサーチクエスチョン

• RQ1 定数レートおよび定数相対距離を有する高対称性LDPC符号を明示的に構築することは可能か？
• RQ2 辺推移的ラマヌジャングラフは、このような符号の構築のための実用的枠組みを提供するか？
• RQ3 対称LDPC符号の双対符号は、群作用下での有界重み制約の単一軌道によって生成可能か？
• RQ4 アーベル群や可解群の対称性の制限を、対称LDPC符号設計において克服することは可能か？
• RQ5 カーレイグラフのスペクトル特性を活用することで、対称性および低密度を保ちながら良い距離を保証することは可能か？

主な発見

• 構築された符号族のレートは 2/a 以上であり、a ≥ 8 であるため、ゼロから離れたレートを有する。
• 正規化距離は [( (a−2)/(2a log q) − 2√q/(q+1) ) / (1 − 2√q/(q+1)) ]² 以上であり、q = 4093 および a ≥ 8 のとき正の値をとる。
• 半直積群 H = G ⋊ T による作用に関して、符号は対称的であり、G = PSL₂(q^α) または PGL₂(q^α) であり、T ≅ 𝔽*_{q²}/𝔽*_{q} である。
• 双対符号 C⊥ は、重みが高々 q+1 = 4094 の制約ベクトル v の軌道によって生成され、LDPC構造が保証される。
• 構成は符号理論のすべての「ゴールドスタンダード」を満たす：定数レート、定数距離、対称性、単一軌道生成、有界重み制約。
• α → ∞ のとき、この族は明示的かつ高対称性を持つLDPC良い符号を形成し、カフマンとウィグダーソン（2007年）が提起した主な未解決問題を解決する。