[论文解读] Sub-optimality of the Han--Kobayashi Achievable Region for Interference Channels

Chandra Nair, Lingxiao Xia+1 more|arXiv (Cornell University)|Feb 9, 2015

Wireless Communication Security Techniques参考文献 2被引用 5

一句话总结

本文展示了对于一类具有干净Z干扰（CZI）的离散无记忆干扰信道，Han-Kobayashi（HK）可实现区域存在严格次优性。通过构造一个两字母乘积信道并计算归一化的两字母可实现区域，作者证明加权和速率 $2R_1 + R_2$ 可超过HK区域的最大值，从而证明在某些信道实现下 $Σ_{hk} \subsetneq Σ$。

ABSTRACT

Han-Kobayashi achievable region is the best known inner bound for a general discrete memoryless interference channel. We show that the capacity region can be strictly larger than the Han-Kobayashi region for some channel realizations, and hence the strict sub-optimality of Han-Kobayashi achievable region.

研究动机与目标

• 解决关于Han-Kobayashi（HK）区域是否对一般干扰信道最优的长期悬而未决问题。
• 识别出容量区域严格超过HK区域的具体信道实例。
• 证明在某些干扰信道模型中，两字母编码策略可优于单字母HK策略。
• 建立在 $\lambda \leq 1$ 时将干扰视为噪声是最优的，但对于更高权重如 $2R_1 + R_2$ 则并非如此。

提出的方法

• 聚焦于一类称为干净Z干扰（CZI）信道的子类，其中一接收端看到的是无噪声（干净）信道。
• 通过设定 $U_1 = \phi$，对CZI信道的HK区域进行简化表征，将其简化为涉及 $U_2$、$Q$ 和 $X_1$ 的三个约束条件。
• 利用双变量函数 $f(p,q)$ 的凹包络，计算HK区域上加权和速率 $2R_1 + R_2$ 的最大值，该函数捕捉了互信息和熵项。
• 显式表征了当 $p \leq 1/2$ 时 $f(p,q)$ 的凹包络，表明其在定义域的某部分为凸时，关于 $q$ 是分段线性的。
• 通过在 $X_{11}, X_{12}$ 上使用重复编码，并在 $X_{21}, X_{22}$ 上使用非乘积分布，构造一个两字母可实现区域，其 $2R_1 + R_2$ 值高于HK区域。
• 使用数值优化和支撑超平面法对HK区域的最大 $2R_1 + R_2$ 进行上界估计，并与两字母区域的值进行比较。

实验结果

研究问题

• RQ1 对于任何离散无记忆干扰信道，Han-Kobayashi区域是否严格次优？
• RQ2 在干扰信道中，两字母编码策略能否实现高于单字母HK区域的加权和速率？
• RQ3 将干扰视为噪声的最优性是否可推广至 $\lambda > 1$ 的加权和速率？
• RQ4 显式计算凹包络是否能为HK区域的最大加权和速率提供更紧的上界？
• RQ5 在特定信道模型中，重复编码在超越标准HK策略方面起到何种作用？

主要发现

• 通过构造一个信道实例，证明Han-Kobayashi区域在某些干扰信道中严格次优，即 $\mathcal{R}_{hk} \subsetneq \mathcal{C}$。
• 对于特定CZI信道，两字母可实现区域实现 $2R_1 + R_2 = 1.1080356$，超过HK区域最大值的上界 $1.107577$。
• HK区域的最大 $2R_1 + R_2$ 上界为 $1.107577$，该值通过在点 $(p_0, q_0) = (0.507829413, 0.436538150)$ 处的支撑超平面推导得出。
• 函数 $f(p,q)$ 的凹包络被显式表征：当 $p > 1/2$ 时，其等于 $f(p,q)$；当 $p \leq 1/2$ 时，其为分段线性函数。
• 最优两字母分布对 $X_{11}, X_{12}$ 使用重复编码，其中 $P((X_{11},X_{12}) = (0,0)) = p_0$，并在 $X_{21}, X_{22}$ 上使用非乘积分布。
• 尽管两字母区域并非单字母分布的乘积，该结果仍成立，凸显了单字母HK区域在捕捉容量方面的局限性。