[论文解读] Capacity Analysis of Linear Operator Channels over Finite Fields

Shenghao Yang, Siu‐Wai Ho+2 more|arXiv (Cornell University)|Aug 22, 2011

Cooperative Communication and Network Coding参考文献 35被引用 3

一句话总结

本文分析了有限域上线性算子通道（LOCs）的容量，确定了香农容量 $C$ 等于子空间编码容量 $C_{\text{SS}}$ 的条件。本文引入了一类新的 LOCs，其中 $C = C_{\text{SS}}$，证明了在一大类通道中 $C_{\text{SS}} < C$，并表明对于具有唯一子空间退化特性的通道，可通过凸优化计算子空间容量。

ABSTRACT

Motivated by communication through a network employing linear network coding, capacities of linear operator channels (LOCs) with arbitrarily distributed transfer matrices over finite fields are studied. Both the Shannon capacity $C$ and the subspace coding capacity $C_{ ext{SS}}$ are analyzed. By establishing and comparing lower bounds on $C$ and upper bounds on $C_{ ext{SS}}$, various necessary conditions and sufficient conditions such that $C=C_{ ext{SS}}$ are obtained. A new class of LOCs such that $C=C_{ ext{SS}}$ is identified, which includes LOCs with uniform-given-rank transfer matrices as special cases. It is also demonstrated that $C_{ ext{SS}}$ is strictly less than $C$ for a broad class of LOCs. In general, an optimal subspace coding scheme is difficult to find because it requires to solve the maximization of a non-concave function. However, for a LOC with a unique subspace degradation, $C_{ ext{SS}}$ can be obtained by solving a convex optimization problem over rank distribution. Classes of LOCs with a unique subspace degradation are characterized. Since LOCs with uniform-given-rank transfer matrices have unique subspace degradations, some existing results on LOCs with uniform-given-rank transfer matrices are explained from a more general way.

研究动机与目标

• 理解在网络中使用线性网络编码时，线性算子通道（LOCs）通信的根本极限。
• 解决长期存在的问题：在 LOCs 中，子空间编码何时能实现香农容量 $C$。
• 表征一大类满足 $C = C_{\text{SS}}$ 的 LOCs，扩展了对均匀给定秩和满秩转移矩阵的先前结果。
• 为具有唯一子空间退化特性的通道，提供一个通过凸优化计算子空间编码容量 $C_{\text{SS}}$ 的通用框架。
• 阐明基于最小距离的子空间码在多用途 LOCs 中可能表现不佳的原因，从而推动采用信息论方法。

提出的方法

• 推导香农容量 $C$ 的下界和子空间编码容量 $C_{\text{SS}}$ 的上界，以进行比较。
• 引入‘子空间退化’的概念，并将具有‘唯一子空间退化’的通道定义为输出子空间分布仅依赖于输入子空间和秩的通道。
• 使用条件熵分解：$\mathcal{H}(\langle Y\rangle|\langle X\rangle) = \sum_{r,s} p_{\text{rk}(X)\text{rk}(Y)}(r,s) \log \begin{bmatrix}r\\s\end{bmatrix} + \mathcal{H}(\text{rk}(Y)|\langle X\rangle)$，使 $C_{\text{SS}}$ 的凸优化成为可能。
• 证明对于行空间对称的 LOCs，输出子空间分布在其输入列空间内相同维数的子空间上是均匀的。
• 应用信息论工具，包括互信息 $I(\langle X\rangle; \langle Y\rangle)$ 和 $I(\text{rk}(X); \text{rk}(Y))$，以关联输入秩和子空间分布。
• 表明在一大类 LOCs 中 $C_{\text{SS}}$ 严格小于 $C$，证明子空间编码并非总是最优的。

实验结果

研究问题

• RQ1 在线性算子通道中，子空间编码容量 $C_{\text{SS}}$ 在何种条件下等于香农容量 $C$？
• RQ2 能否识别出一类更广泛的 LOCs，使得 $C = C_{\text{SS}}$，而不仅限于先前研究的均匀给定秩矩阵等情形？
• RQ3 转移矩阵分布的何种结构特性会导致 $C_{\text{SS}} < C$？
• RQ4 对于哪些 LOCs，子空间容量 $C_{\text{SS}}$ 可通过在秩分布上进行凸优化来计算？
• RQ5 为何基于最小距离的子空间码在多用途 LOCs 中无法实现最优速率？

主要发现

• 识别出一类新的 LOCs，其中 $C = C_{\text{SS}}$，且该类包括均匀给定秩转移矩阵作为特例。
• 对于具有唯一子空间退化的 LOCs，可通过在输入秩分布上求解凸优化问题来计算子空间容量 $C_{\text{SS}}$。
• 证明了在一大类 LOCs 中 $C_{\text{SS}} < C$，表明子空间编码并非总是达到容量的。
• 本文证明，对于行空间对称的 LOCs，输出子空间分布在其输入列空间内相同维数的子空间上是均匀的。
• 在 $C = C_{\text{SS}}$ 的新类 LOCs 中，等式 $I(X;Y) = I(\langle X\rangle; \langle Y\rangle)$ 成立，从而证明子空间编码是最优的。
• 通过唯一子空间退化和行空间对称性的框架，对均匀给定秩 LOCs 的现有结果进行了推广和解释。