[论文解读] The Degrees of Freedom of Compute-and-Forward

Urs Niesen, Phil Whiting|arXiv (Cornell University)|Jan 11, 2011

Cooperative Communication and Network Coding参考文献 24被引用 6

一句话总结

本文通过证明：尽管基于格的 Nazer 和 Gastpar 实现方式最多仅能实现 2 个自由度（与网络规模无关），而一种新型基于多项式函数的实现方式可在 K 个发送端、K 个中继的网络中实现最优的 K 个自由度，从而填补了计算转发中继网络中的一个根本性空白。其核心贡献在于证明了计算转发可渐近逼近完全协作 MIMO 系统的容量，克服了以往基于格编码的局限性。

ABSTRACT

We analyze the asymptotic behavior of compute-and-forward relay networks in the regime of high signal-to-noise ratios. We consider a section of such a network consisting of K transmitters and K relays. The aim of the relays is to reliably decode an invertible function of the messages sent by the transmitters. An upper bound on the capacity of this system can be obtained by allowing full cooperation among the transmitters and among the relays, transforming the network into a K times K multiple-input multiple-output (MIMO) channel. The number of degrees of freedom of compute-and-forward is hence at most K. In this paper, we analyze the degrees of freedom achieved by the lattice coding implementation of compute-and-forward proposed recently by Nazer and Gastpar. We show that this lattice implementation achieves at most 2/(1+1/K)\leq 2 degrees of freedom, thus exhibiting a very different asymptotic behavior than the MIMO upper bound. This raises the question if this gap of the lattice implementation to the MIMO upper bound is inherent to compute-and-forward in general. We answer this question in the negative by proposing a novel compute-and-forward implementation achieving K degrees of freedom.

研究动机与目标

• 分析在具有 K 个发送端和 K 个中继的高信噪比中继网络中，计算转发的渐近自由度。
• 确定计算转发实现方式与 MIMO 上限 K 个自由度之间的差距是否源于计算转发概念本身，还是仅由特定实现方式导致。
• 提出并分析一种新型计算转发实现方式，使其可实现最优的 K 个自由度。
• 证明计算转发可渐近达到与发送端和中继之间完全协作相同的性能。

提出的方法

• 提出一种新型计算转发实现方式，使用消息的多项式函数代替格编码。
• 设计中继通过多项式单项式解码消息的整数线性组合，利用信道增益对齐所需组合。
• 采用递归解码策略，逐步降低单项式的次数，从最高阶开始。
• 利用测度变换方法证明，解码成功几乎必然在所有信道实现下成立。
• 应用丢番图逼近原理，处理基于格方案中噪声放大与逼近精度之间的权衡。
• 分析由解码函数构成的方程组的可逆性，以确保原始消息可被恢复。

实验结果

研究问题

• RQ1 在 K 个发送端、K 个中继的网络中，计算转发能否实现全部 K 个自由度，与 MIMO 上限匹配？
• RQ2 基于格的计算转发方案最多仅能实现 2 个自由度的限制是否源于计算转发概念本身，还是仅由特定实现方式导致？
• RQ3 何种替代编码策略可使计算转发在不依赖格编码的前提下实现最优自由度？
• RQ4 如何设计解码过程，以确保由中继输出形成的方程组具有可逆性？
• RQ5 所提出的基于多项式的实现方式在高信噪比场景下是否保持可靠性与可扩展性？

主要发现

• Nazer 和 Gastpar 提出的基于格的计算转发实现方式，无论发送端和中继数量 K 如何，最多仅能实现 2 个自由度。
• 所提出的基于多项式的实现方式可精确实现 K 个自由度，与相同网络配置下的 MIMO 上限完全匹配。
• 基于格的方案与最优 K 个自由度之间的差距并非计算转发概念的根本缺陷，而是源于特定的格编码方法。
• 新实现方式确保了由中继解码函数构成的方程组具有可逆性，从而可完整恢复原始消息。
• 通过可逆性证明中的测度变换方法，表明解码过程在几乎所有信道实现下均能成功，具有几乎必然的鲁棒性。
• 该结果表明，计算转发可渐近实现与完全协作 MIMO 系统相同的自由度，验证了其在高信噪比场景下的最优性。