[论文解读] Polar-like Codes and Asymptotic Tradeoff among Block Length, Code Rate, and Error Probability

Hsin-Po Wang, Iwan Duursma|arXiv (Cornell University)|Dec 19, 2018

Error Correcting Code Techniques参考文献 61被引用 5

一句话总结

该论文提出了一种适用于任意信道和任意核的广义极化码框架，建立了码长 $N$、码率 $R$ 和误码概率 $P$ 之间的渐近权衡关系。证明了将误码指数区（$P = \exp(-N^{\beta^*})$）与扩展指数区（$R = \text{Capacity} - N^{-1/\mu^*}$）结合，可导出中等偏离区的权衡关系（$P = \exp(-N^{\beta'})$，$R = \text{Capacity} - N^{-1/\mu'}$），其中嫁接极化码在二元擦除信道（BEC）上的性能接近随机码，复杂度仅略高于 $N\log N$。核心成果是统一刻画了不同码构造与信道之间的权衡关系。

ABSTRACT

A general framework is proposed that includes polar codes over arbitrary channels with arbitrary kernels. The asymptotic tradeoff among block length $N$, code rate $R$, and error probability $P$ is analyzed. Given a tradeoff between $N,P$ and a tradeoff between $N,R$, we return an interpolating tradeoff among $N,R,P$ (Theorem 5). $\def\Capacity{ ext{Capacity}}$Quantitatively, if $P=\exp(-N^{β^*})$ is possible for some $β^*$ and if $R=\Capacity-N^{1/μ^*}$ is possible for some $1/μ^*$, then $(P,R)=(\exp(-N^{β'}),\Capacity-N^{-1/μ'})$ is possible for some pair $(β',1/μ')$ determined by $β^*$, $1/μ^*$, and auxiliary information. In fancy words, an error exponent regime tradeoff plus a scaling exponent regime tradeoff implies a moderate deviations regime tradeoff. The current world records are: [arXiv:1304.4321][arXiv:1501.02444][arXiv:1806.02405] analyzing Arıkan's codes over BEC; [arXiv:1706.02458] analyzing Arıkan's codes over AWGN; and [arXiv:1802.02718][arXiv:1810.04298] analyzing general codes over general channels. An attempt is made to generalize all at once (Section IX). As a corollary, a grafted variant of polar coding almost catches up the code rate and error probability of random codes with complexity slightly larger than $N\log N$ over BEC. In particular, $(P,R)=(\exp(-N^{.33}),\Capacity-N^{-.33})$ is possible (Corollary 10). In fact, all points in this triangle are possible $(β',1/μ')$-pairs. $$ equire{enclose} \def {\phantom{\Rule{4em}{1em}{1em}}} \enclose{} ^\llap{(0,1/2)}_\llap{(0,0)} \enclose{left,bottom,downdiagonalstrike} _ lap{(1,0)} \enclose{} $$

研究动机与目标

• 开发一种统一的极化码框架，将 Arïkan 的原始极化码推广至任意信道和任意核。
• 以统一方式分析码长 $N$、码率 $R$ 和误码概率 $P$ 之间的渐近权衡关系。
• 刻画误码指数区与扩展指数区如何结合形成中等偏离区的权衡关系。
• 证明嫁接极化码可在二元擦除信道（BEC）上近乎匹配随机码性能，且复杂度仅略有增加。
• 探索不同码构造（包括基于 Reed-Solomon 和级联码）的性能极限，并识别最优核选择。

提出的方法

• 该框架通过任意核推广信道极化，利用树结构表示递归合成信道变换。
• 论文引入树记号 $T_{\text{perfect}}(W, T_K, m)$，系统描述通过递归应用核生成的合成信道。
• 定义两个关键指数：$\beta^*$ 表示误码指数区（$P = \exp(-N^{\beta^*})$），$1/\mu^*$ 表示扩展指数区（$R = \text{Capacity} - N^{-1/\mu^*}$）。
• 定理 5 通过结合 $\beta^*$ 与 $1/\mu^*$，建立 $N$、$R$ 与 $P$ 之间的插值权衡关系，导出表征中等偏离性能的新指数对 $(\beta', 1/\mu')$。
• 理论分析运用大偏差理论与 Cramér 定理，特别是 Hoeffding 不等式，控制随机核下经验 Cramér 函数的行为。
• 该方法在多种信道（BEC、BDMC、AWGN）和码型（Arïkan、Reed-Solomon、BCH、级联码）上得到验证，展现出一致的权衡曲线。

实验结果

研究问题

• RQ1 能否在不同极化码变体与信道上统一刻画码长、码率与误码概率之间的权衡关系？
• RQ2 在极化码中，将误码指数区与扩展指数区结合时，其渐近性能权衡关系如何？
• RQ3 嫁接极化码是否可在复杂度仅略有增加的情况下，实现接近随机码在 BEC 上的性能？
• RQ4 是否存在同时具备良好误码指数（$\beta^*$）与良好扩展指数（$1/\mu^*$）性能的核？
• RQ5 该框架能否推广至二元输入离散无记忆信道之外的一般信道？

主要发现

• 嫁接极化码在 BEC 上实现 $P = \exp(-N^{0.33})$ 与 $R = \text{Capacity} - N^{-0.33}$，性能近乎匹配随机码，复杂度仅略高于 $N\log N$。
• 定理 5 证明：任意来自误码指数区与扩展指数区的指数对 $(\beta^*, 1/\mu^*)$ 均可导出中等偏离区的新权衡对 $(\beta', 1/\mu')$，实现性能区间的插值。
• 对于二元擦除信道（BEC），该框架表明级联极化码可填满 $(\beta', 1/\mu')$ 平面中的整个右上三角区域，实现最优权衡。
• 基于 Reed-Solomon 的核在 $k$ 增大时（如 $k=4$）趋近于一条连接 $(0, 1/3.627)$ 与 $(1, 0)$ 的极限性能曲线，暗示收敛至根本极限。
• 对于一般信道，该框架表明 BCH 码与随机核可使 $\beta^*$ 无限接近 1，实现近乎最优的误码指数性能。
• 理论结果表明，若使用随机核，可能存在同时具备高 $\beta^*$ 与高 $1/\mu^*$ 的核，尽管 $\mu^*$ 的极限存在性仍是开放问题。