[论文解读] 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^α) 群的边传递 Ramanujan 图，首次显式构造出具有恒定速率和恒定相对距离的高对称性 LDPC 码族。通过使用单个低权重约束的 Cayley 码构造，其轨道生成对偶码，作者实现了编码理论中的‘黄金标准’性能，解决了 Kaufman 和 Wigderson 提出的一个开放问题。

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 码的框架扩展至阿贝尔群或可解群之外，因为先前的构造在此类群上失败。
• 证明边传递 Ramanujan 图可作为构造此类码的基础。
• 提供一个在群作用下封闭、具有有界权重生成约束的码族的显式构造。
• 证明在具有特定特征值性质的非阿贝尔群上构造的 Cayley 码可产生具有完全对称性与低密度约束的好码。

提出的方法

• 在半直积群 H = G ⋊ T 上构造 Cayley 码 C(G, S, B)，其中 G = PSL₂(q^α) 或 PGL₂(q^α)，T 通过自同构作用于 G。
• 将生成集 S 定义为固定元素 γ ∈ G 在 T ≅ 𝔽*_{q²}/𝔽*_{q} 作用下的轨道，以确保 Cayley 图 Cay(G, S) 的边传递性。
• 使用第二特征值 λ = 2√q/(q+1) 的 Ramanujan 图，以保证强膨胀特性和小谱间隙。
• 选择长度为 q+1 的循环码 B ⊆ 𝔽₂^S，其速率 r(B) > 1/2 且归一化距离 δ(B) > λ，以确保所得码 C(G, S, B) 为好码。
• 应用一个变换引理，将长度为 2^m - 1 的奇长循环码 C 提升为长度为 2(2^m - 1) 的偶长循环码 B，同时保持速率与距离。
• 证明对偶码 C⊥ 由单个有界权重向量 v ∈ 𝔽₂^E 的轨道 H·v 生成，从而确保码既具有高度对称性又为 LDPC。

实验结果

研究问题

• RQ1 能否显式构造出具有恒定速率和恒定相对距离的高对称性 LDPC 码？
• RQ2 边传递 Ramanujan 图是否可作为构造此类码的可行框架？
• RQ3 对称 LDPC 码的对偶码能否由群作用下单个有界权重约束的轨道生成？
• RQ4 能否克服在阿贝尔群或可解群对称性下对称 LDPC 码设计的局限性？
• RQ5 能否利用 Cayley 图的谱性质，在保持对称性与低密度的同时确保良好的距离？

主要发现

• 所构造的码族速率至少为 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 好码，解决了 Kaufman 和 Wigderson（2007）提出的主要开放问题。