Diversity vs Degrees of Freedom in Gaussian Fading Channels

技术摘要：高斯衰落信道中多样性与自由度的关系

问题陈述
本文探讨了经典高斯衰落信道中自由度（DOF）与多样性（DIV）定义的一个基本局限性。传统上，这些指标是通过固定的 $\log \rho$ 标尺（其中 $\rho$ 为信噪比）来提取的：DOF 定义为 $\lim_{\rho \to \infty} C(\rho)/\log \rho$，而 DIV 定义为 $\lim_{\rho \to \infty} -\log P_e(\rho)/\log \rho$。

作者认为，这种方法混淆了两个截然不同的操作：标尺选择（识别容量或可靠性增长的正确渐近尺度）与原子归一化（将原始增长系数除以单个“原子”信息或可靠性的单位系数）。在经典的相干复 MIMO 情况中，标尺恰好是 $\log \rho$，且相关的原子系数均为 1，这使得这两个步骤在数值上是不可见的。然而，对于增长尺度不同于 $\log \rho$ 的信道（例如非相干快速衰落，其容量按 $\log \log \rho$ 增长），或者当原始系数包含非单位常数时（例如实数 AWGN 或固定 $H$ 信道），经典的定义会产生无意义或错误的结果（例如零预对数或无限多样性斜率）。

方法论
本文提出了一个两步框架，利用**巴塔查里亚前沿（Bhattacharyya frontier）**作为统一的几何工具，将标尺选择与原子归一化解耦。

1. 构建巴塔查里亚前沿： 核心工具是巴塔查里亚前沿 $\Delta^*_B(K; \rho)$，它定义为在所有可容纳的 $K$ 点码本下，诱导输出分布之间的最小成对巴塔查里亚距离的最大值。

   • 容量侧（速率）： 固定间隔的码字填充（fixed-separation packing）用于识别容量标尺。定理 1（容量-填充夹逼定理）证明，如果固定分辨率的输出分布填充与覆盖具有匹配的熵系数，则可以恢复容量标尺和原始容量系数。
   • 多样性侧（可靠性）： 前沿的二元端点（$K=2$）用于识别零速率多样性标尺。定理 2 确立了该二元端点与最优双消息测试误差指数是标尺等价的。

2. 原子归一化： 一旦确定了正确的标尺和原始系数，本文定义了“原子”来归一化这些值：

   • 通信原子： 一个独立可控的输入自由度（例如一个 SISO 输入方向或一个 Grassmann 流形子空间）。
   • 可靠性原子： 一个独立的单位归一化输出可靠性观测（例如一个单位增益的有噪观测）。
   • 端点 DOF/DIV： 最终指标通过将原始系数除以相应的原子系数（$\alpha_{comm}$ 或 $\alpha_{rel}$）获得。

主要贡献与结果
本文将该框架应用于七类信道族，区分了“同标尺”情况（经典定义成立）和“跨标尺”情况（经典定义失效）。

• 固定确定性 $H$（跨标尺）：

  • 容量： 在 $\log \rho$ 标尺上增长。块端点 DOF 为 $T \cdot \text{rank}(H)$。
  • 多样性： 在线性 $\rho$ 标尺上增长（而非 $\log \rho$）。二元端点产生一个原始系数 $T\sigma_1^2(H)/\ln 2$。经由固定 AWGN 可靠性原子（$1/\ln 2$）归一化后，端点 DIV 为 $T\sigma_1^2(H)$。
  • 见解： 该信道是“跨标尺”的。其容量由覆盖输入图像（输入维度）决定，而多样性由扩展成对输出间隔（输出观测）决定。对于未归一化的 $H$，端点 DIV 是增益相关的。

• 非相干快速衰落（跨标尺）：

  • 容量： 在 $\log \log \rho$ 标尺上增长（恢复了 Lapidoth–Moser 的结果）。端点 DOF 为 1。
  • 多样性： 在 $\log \rho$ 标尺上增长。二元端点具有原始系数 $N/2$。经由快速衰落可靠性原子（$1/2$）归一化后，端点 DIV 为 $N$。
  • 负载-$r$ 前沿： 本文推导出了一个精确的负载-$r$ 前沿标尺 $(\log \rho)^{1-r}$，其系数为 $N/2$。

• 同标尺校准情况：

  • 相干瑞利 MIMO 和 非相干块衰落 被证明是同标尺情况，即容量和多样性均在 $\log \rho$ 尺度上增长。其原始系数与经典的 DOF 和 DIV 计数相匹配（例如零速率 DIV 为 $MN$），因为相关的原子系数均为 1。

• 开放与条件情况：

  • 多径衰落： 通过一种受保护的构造提供了一个多样性标尺（$\log \rho$）的下界，以及一个端点 DIV 的下界，但精确的非受保护前沿仍是一个开放问题。
  • 平行分数对数衰落： 基于假设使用乘积输入系综的 Gallager $E_0$ 函数，提供了一个条件下界基准。
  • 平稳 Toeplitz 衰落： 容量标尺为 $(\log \rho)^\beta$（分数对数），但由于码字间协方差矩阵的非交换性导致无法进行坐标化分解，其零速率多样性标尺和负载-$r$ 前沿仍处于开放状态。

意义与主张
本文声称通过明确区分识别渐近增长尺度（标尺）与归一化增长系数（原子计数）的过程，澄清了 DOF 和 DIV 的定义。

• 纠正误解： 本文证明了某些信道中的“零预对数”或“无限多样性斜率”并非由于缺乏信号结构，而是由于标尺不匹配（使用了 $\log \rho$ 而实际增长为 $\log \log \rho$ 或 $\rho$）。
• 统一框架： 引入了巴塔查里亚前沿作为一个无标尺的几何对象，能够一致地提取各种信道模型中的容量和多样性指标。
• 精确性： 为跨标尺信道（固定 $H$ 和非相干快速衰落）提供了精确的端点 DOF 和 DIV 值，并为快速衰落情况建立了精确的负载-$r$ 前沿。
• 谦逊性： 本文明确承认，对于多种模型（多径、平稳 Toeplitz），精确的多样性标尺和负载-$r$ 前沿尚未确定。它将这些情况下的结果界定为下界、条件基准或开放问题，避免了在未证明精确操作可靠性函数的情况下做出过度声明。

总而言之，本文认为经典的相干 MIMO 惯例掩盖了标尺选择和原子归一化的必要性。通过使这些步骤显式化，该框架在适当的情况下恢复了经典结果，并在经典 $\log \rho$ 标尺不足以描述的信道中提供了经过修正的精确度量。