[论文解读] Explicit Polar Codes with Small Scaling Exponent

Hanwen Yao, Arman Fazeli+1 more|arXiv (Cornell University)|Jan 24, 2019

Error Correcting Code Techniques参考文献 14被引用 4

一句话总结

本论文通过自偶和嵌套循环码显式构造了二元极化核，在二元擦除信道（BEC）上实现了极化码的缩放指数低于3。利用网格图表示和蒙特卡洛插值方法，作者推导出 $\mu(K_{32}) = 3.122$，并估计 $\mu(K_{64}) \simeq 2.87$，同时给出了严格的上界 $\mu(K_{64}) < 2.97$，这是首个具有准线性复杂度且缩放指数严格小于3的显式极化码序列。

ABSTRACT

Herein, we focus on explicit constructions of $\ell imes\ell$ binary kernels with small scaling exponent for $\ell \le 64$. In particular, we exhibit a sequence of binary linear codes that approaches capacity on the BEC with quasi-linear complexity and scaling exponent $μ&lt; 3$. To the best of our knowledge, such a sequence of codes was not previously known to exist. The principal challenges in establishing our results are twofold: how to construct such kernels and how to evaluate their scaling exponent. In a single polarization step, an $\ell imes\ell$ kernel $K_\ell$ transforms an underlying BEC into $\ell$ bit-channels $W_1,W_2,\ldots,W_\ell$. The erasure probabilities of $W_1,W_2,\ldots,W_\ell$, known as the polarization behavior of $K_\ell$, determine the resulting scaling exponent $μ(K_\ell)$. We first introduce a class of self-dual binary kernels and prove that their polarization behavior satisfies a strong symmetry property. This reduces the problem of constructing $K_\ell$ to that of producing a certain nested chain of only $\ell/2$ self-orthogonal codes. We use nested cyclic codes, whose distance is as high as possible subject to the orthogonality constraint, to construct the kernels $K_{32}$ and $K_{64}$. In order to evaluate the polarization behavior of $K_{32}$ and $K_{64}$, two alternative trellis representations (which may be of independent interest) are proposed. Using the resulting trellises, we show that $μ(K_{32})=3.122$ and explicitly compute over half of the polarization behavior coefficients for $K_{64}$, at which point the complexity becomes prohibitive. To complete the computation, we introduce a Monte-Carlo interpolation method, which produces the estimate $μ(K_{64})\simeq 2.87$. We augment this estimate with a rigorous proof that $μ(K_{64})&lt;2.97$.

研究动机与目标

• 为有限核尺寸 $\ell \leq 64$ 构造具有小缩放指数的显式二元极化核。
• 在二元擦除信道上实现极化码的缩放指数严格低于3，优于传统极化码的 $\mu = 3.627$。
• 开发计算上可行的方法，以评估大尺寸核的极化行为与缩放指数。
• 建立 $K_{64}$ 缩放指数的严格上界，确认 $\mu(K_{64}) < 2.97$。
• 证明显式极化码可实现准线性复杂度与亚3缩放指数，逼近容量，此前该结果尚不为人所知。

提出的方法

• 引入一类满足强对称性质的自偶二元核，将核构造问题简化为设计长度为 $\ell/2$ 的嵌套自正交码链。
• 利用在正交性约束下优化高最小距离的嵌套循环码，构造 $K_{32}$ 和 $K_{64}$。
• 提出两种替代的网格图表示方法，以高效计算 $K_{32}$ 和 $K_{64}$ 的极化行为，其本身可能具有独立研究价值。
• 采用蒙特卡洛插值方法估算 $K_{64}$ 的未知极化行为系数，从而实现 $\mu(K_{64}) \simeq 2.87$ 的估计。
• 基于擦除概率乘积的平方根定义测试函数 $g(z)$，并推导关键量 $b_0(z)$ 的上界 $\overline{b}_0(z)$，以限制缩放指数。
• 应用不等式 $\mu \leq -1 / \log_\ell b_0$，推导出严格上界 $\mu(K_{64}) < 2.9603$。

实验结果

研究问题

• RQ1 能否为 $\ell \leq 64$ 构造出缩放指数低于3的显式二元极化核？
• RQ2 $K_{64}$ 的可实现缩放指数是多少？能否实现严格上界？
• RQ3 当完整计算不可行时，如何计算或估计大尺寸核（如 $K_{64}$）的极化行为？
• RQ4 具有强对称性质的自偶核能否简化极化行为与缩放指数的分析？
• RQ5 是否存在具有准线性复杂度且缩放指数严格小于3的显式极化码序列？

主要发现

• 所构造的 $K_{32}$ 核的缩放指数精确为 $\mu(K_{32}) = 3.122$，通过基于网格图的极化行为评估计算得出。
• 对于 $K_{64}$，作者采用蒙特卡洛插值方法填补缺失的极化行为系数，估计 $\mu(K_{64}) \simeq 2.87$。
• 通过测试函数与关键量 $b_0(z)$ 的边界分析，证明了严格的上界 $\mu(K_{64}) < 2.97$，其中 $b_0 \leq 0.2454$。
• 对 $K_{64}$ 的极化行为进行了部分显式计算，超过一半的 $f_i(z)$ 多项式已知，其余部分通过陪集的重量枚举函数进行界定。
• 自偶核与嵌套循环码的使用实现了系统化的构造方法，降低了核设计的复杂度，并支持可扩展的分析。
• 本工作首次提出已知的显式二元线性码序列，在 BEC 上实现缩放指数严格小于3，且具有准线性复杂度。