[论文解读] Polar codes for the m-user multiple access channels

Rajai Nasser|arXiv (Cornell University)|Dec 8, 2011

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

一句话总结

该论文将极化编码扩展至输入字母表为素数幂的 m 用户多址接入信道（MAC），在逐次取消译码下实现了和容量，错误概率为 o(2^{-N^{1/2-\epsilon}})。论文识别了在极化过程中对称容量区域部分丢失的条件，特别是推导出当信道为线性信道组合时，主导面完全丢失的充分条件。

ABSTRACT

Polar codes are constructed for m-user multiple access channels (MAC) whose input alphabet size is a prime number. The block error probability under successive cancelation decoding decays exponentially with the square root of the block length. Although the sum capacity is achieved by this coding scheme, some points in the symmetric capacity region may not be achieved. In the case where the channel is a combination of linear channels, we provide a necessary and sufficient condition characterizing the channels whose symmetric capacity region is preserved upon the polarization process. We also provide a sufficient condition for having a total loss in the dominant face.

研究动机与目标

• 将 Arïkan 的极化编码框架扩展至输入字母表为素数的 m 用户多址接入信道。
• 分析在逐次取消译码下极化码的性能，包括误块概率和极化速率。
• 研究在极化过程中对称容量区域中可实现速率点的损失。
• 表征在极化过程中对称容量区域被保留或部分丢失的条件，特别是在线性信道组合情况下的情形。
• 推导出在二元输入两用户 MAC 情况下，容量区域主导面完全丢失的充分条件。

提出的方法

• 使用有限域 F_q 上的广义核变换构造 m 用户 MAC 的极化码，其中 q 为素数或素数幂。
• 应用逐次取消译码规则，从 m 个用户解码信息，利用信道质量索引的极化特性。
• 使用递归信道变换过程：对每个信道，基于核矩阵通过输入拆分和合并定义两个新信道 P^- 和 P^+。
• 通过递归更新方程分析极化步骤中信道参数（如 p_k，即输入符号 k 的概率）的演化。
• 利用收敛到确定性线性信道的性质，表征当极化阶段数 l 趋近于无穷时信道参数的极限行为。
• 通过分析在极化下输入分布分量的渐近行为，推导出保留对称容量区域的必要和充分条件。

实验结果

研究问题

• RQ1 极化码能否成功扩展至输入字母表为素数的 m 用户多址接入信道？
• RQ2 在 m 用户 MAC 的极化过程中，对称容量区域在多大程度上被保留？
• RQ3 在何种条件下，极化过程会导致对称容量区域中点的丢失？
• RQ4 在二元输入两用户 MAC 中，容量区域主导面完全丢失的充分条件是什么？
• RQ5 是否存在对称容量区域在极化下保持不变的信道的表征，当信道为线性信道组合时？

主要发现

• 对于输入字母表大小为 q（素数或素数幂）的 m 用户 MAC，极化码在逐次取消译码下实现和容量，且误块概率为 o(2^{-N^{1/2-\epsilon}})。
• 尽管实现了和容量，但在极化过程中对称容量区域中的某些点可能丢失，表明该区域内的所有速率元组并非都可实现。
• 对于线性信道的组合，推导出对称容量区域在极化下被保留的必要和充分条件。
• 建立了主导面完全丢失的充分条件：在二元输入两用户 MAC 中，若 p_3 ≤ max{p_1, p_2}，则主导面坍缩为单一点。
• 当 p_3 > max{p_1, p_2} 时，分量 p_1^{(∞)} 和 p_2^{(∞)} 渐近消失，导致最终对称容量区域包含等速率点。
• 提出一个猜想：p_3 > max{p_1, p_2} 也是避免主导面完全丢失的必要条件，表明区域保留存在一个清晰的阈值。