[论文解读] A New Upper Bound on the Average Error Exponent for Multiple-Access Channels

Ali Nazari, S. Sandeep Pradhan+1 more|arXiv (Cornell University)|Oct 7, 2010

Wireless Communication Security Techniques参考文献 7被引用 4

一句话总结

本文通过引入一个时分割辅助变量，强制使用户输入分布之间统计独立，推导出两用户离散无记忆多址信道（MACs）平均误差指数的新上界。所提出的上界在低速率区域比Haroutunian的球形打包上界更紧，并显式考虑了编码器分离，从而提供了比以往方法更精确的可靠性极限。

ABSTRACT

A new lower bound for the average probability or error for a two-user discrete memoryless (DM) multiple-access channel (MAC) is derived. This bound has a structure very similar to the well-known sphere packing packing bound derived by Haroutunian. However, since explicitly imposes independence of the users' input distributions (conditioned on the time-sharing auxiliary variable) results in a tighter sphere-packing exponent in comparison to Haroutunian's. Also, the relationship between average and maximal error probabilities is studied. Finally, by using a known sphere packing bound on the maximal probability of error, a lower bound on the average error probability is derived.

研究动机与目标

• 推导两用户离散无记忆多址信道（MACs）平均误差指数的更紧上界。
• 通过引入编码器独立性，解决Haroutunian球形打包上界在低速率区域的松散性问题。
• 建立MACs中平均误差概率与最大误差概率之间的关系。
• 通过利用时分割和输入分布独立性，在球形打包框架中改进可靠性上界。

提出的方法

• 通过在时分割辅助变量上进行条件化，强制使用户输入分布之间统计独立，推导出一种新型球形打包型平均误差指数上界。
• 利用典型随机编码上界结构和部分剔除法，对误差指数分析进行精细化处理。
• 应用已知的最大误差指数上界，推导出平均误差概率的下界，从而建立最大误差与平均误差区域之间的联系。
• 采用大偏差技术与典型集论证，特别是使用集合 $ T_{V_0}( extbf{x}) $，分析信道转移概率。
• 通过用重复码字替换的方式构造修改后的码本 $ ilde{\mathcal{C}}_X $，分析误差概率的变化，证明其单调改善。
• 利用散度 $ D(V||W|P_X) $ 和条件熵 $ H(V|P_X) $ 表征最小信道转移概率，构成误差指数的核心。

实验结果

研究问题

• RQ1 如何比现有球形打包上界更紧地对两用户MAC的平均误差指数进行上界估计？
• RQ2 强制使用户输入分布之间统计独立对可靠性函数有何影响？
• RQ3 MAC中平均误差指数与最大误差指数之间有何关系？
• RQ4 能否通过显式建模编码器分离，在低速率区域改进球形打包上界？
• RQ5 时分割辅助变量在收紧平均误差指数上界中起什么作用？

主要发现

• 所提出的平均误差指数上界比Haroutunian的上界更紧，尤其在低速率区域，这是由于显式强制了输入分布之间的独立性。
• 该上界通过在时分割变量 $ U $ 上进行条件化推导得出，确保了用户输入分布的条件独立性，从而提高了指数的紧致性。
• 该上界被证明适用于平均误差指数，而以往的球形打包上界仅适用于最大误差指数。
• 通过假设该上界不成立，推导出矛盾，证明平均误差指数不可能小于所推导的上界，从而验证了其紧致性。
• 分析结果表明，典型随机编码上界与部分剔除法在低速率下能提升性能，且新上界在可靠性估计方面优于两者。
• 所推导的上界表达为 $ e(\tilde{\mathcal{C}}, W) \leq e(\mathcal{C}, W) $，表明修改后的码本不会增加误差概率，支持了该上界的有效性。