Z-Opt: A Near-Optimal Reduced-Complexity Two-Dimensional Grassmannian Constellation

技术摘要：Z-Opt：一种近最优的低复杂度二维格拉斯曼星座

问题陈述
高移动性无线通信给传统的相干多输入多输出（MIMO）系统带来了显著挑战，因为快速的信道变化需要高比例的导频符号进行信道估计，从而降低了频谱效率。无需信道估计的非相干通信提供了一种有前景的替代方案。在此体制下，格拉斯曼信号尤为有效，其码字跨越在信道乘法下保持不变的 distinct 子空间。然而，高效构建格拉斯曼星座仍然困难。虽然数值优化方法（Man-Opt）可以实现最优的最小弦距离，但它们缺乏结构规律性，需要计算复杂度极高的穷举搜索检测。相反，结构化构建方法（例如 Exp-Map、Cube-Split、Grass-Lattice）提供了较低的复杂度，但往往无法匹配优化星座的性能。此外，现有的格拉斯曼星座检测器通常随星座大小 $C$ 线性扩展，为大星座带来了瓶颈。

方法论
本文聚焦于发射天线数 $M=1$ 且正交时频资源数 $T=2$ 的情况，对应于二维空间中的一维子空间，记为格拉斯曼流形 $G(2, 1)$。作者利用了 $G(2, 1)$ 与单位球面（在量子计算中称为布洛赫球）之间的几何同构性。

1. 几何洞察：作者确立了格拉斯曼流形上的弦距离 $d_c$ 与布洛赫球上的欧几里得距离 $d_E$ 成正比，具体为 $d_E = 2d_c$。这一关系使得最大化最小弦距离的问题可以映射为布洛赫球上的经典塔姆斯问题（球体堆积）。
2. 理论界限：通过利用球体堆积最小欧几里得距离的 Fejes–Tóth 界限，作者推导出了 $G(2, 1)$ 上最小弦距离的相应理论上限。
3. S-Opt 星座与检测器：
   • 构建：S-Opt 是通过将布洛赫球上最优或近优排列的点（塔姆斯问题的解）直接映射为格拉斯曼码字而构建的。该方法在最优配置下达到了推导出的理论上限。
   • 检测：提出了一种低复杂度检测器，将接收信号映射到布洛赫球，并使用 KD 树算法执行最近邻检测。该方法适用于 $G(2, 1)$ 上的任何格拉斯曼星座。
4. Z-Opt 星座与检测器：
   • 构建：受 S-Opt 结构的启发，Z-Opt 是通过在布洛赫球的不同高度（纬度）堆叠规则多边形而构建的。优化变量被简化为这些层的垂直位置（$\theta$），仅需 $O(\sqrt{C})$ 个变量。该结构利用对称性，以最小化优化过程中的距离度量评估次数。
   • 检测：一种专用的低复杂度检测器利用了星座的结构化“结构图”。通过确定接收信号在布洛赫球上的网格区域，检测器将候选码字缩小至最多四个，从而消除了存储整个星座的需要。

主要贡献

1. S-Opt 构建与通用检测器：本文提出了 S-Opt，当使用最优球体堆积时，它实现了最小弦距离的理论上限。它引入了一种适用于 $G(2, 1)$ 的通用低复杂度检测器，其时间复杂度为 $O(N + \log_2 C)$（其中 $N$ 为接收天线数），其性能与广义似然比检验（GLRT）检测器相同。
2. Z-Opt 构建与专用检测器：作者提出了 Z-Opt，这是一种结构化星座，仅使用 $O(\sqrt{C})$ 个优化变量即可逼近理论上限。相应的检测器被开发出来，其时间复杂度为 $O(N)$，空间复杂度为 $O(\sqrt{C})$，独立于星座大小 $C$。
3. 理论推导：本文基于布洛赫球上弦距离与欧几里得距离之间的比例关系，利用 Fejes–Tóth 界限推导出了 $G(2, 1)$ 上最小弦距离的紧理论上限。

结果

• 性能：仿真结果表明，S-Opt 与评估的星座大小下的推导出的 Fejes–Tóth 上限相匹配。Z-Opt 紧密逼近该上限。在符号错误率（SER）方面，S-Opt 和传统 Man-Opt 方法（具有最大最小弦距离）表现出最低的 SER，其次是 Z-Opt。
• 复杂度：
  • GLRT：时间复杂度 $O(NC)$，空间复杂度$O(C)$。
  • S-Opt 检测器：时间复杂度 $O(N + \log_2 C)$，空间复杂度 $O(C)$。
  • Z-Opt 检测器：时间复杂度 $O(N)$，空间复杂度 $O(\sqrt{C})$。
• 构建成本：Z-Opt 的距离度量评估次数为 $O(\sqrt{C})$，显著低于 Man-Opt 和 Exp-Map 所需的 $O(C^2)$。同样，Z-Opt 的优化变量数量为 $O(\sqrt{C})$，而其他方法为 $O(C)$。
• 检测精度：所提出的低复杂度检测器（S-Opt 和 Z-Opt）对其各自的星座实现了与穷举 GLRT 检测器相同的检测精度。

意义
本文声称，通过利用布洛赫球表示，有可能弥合数值优化星座的性能与结构化星座的复杂度之间的差距。S-Opt 方法为 $G(2, 1)$ 上的最优性能提供了基准，而 Z-Opt 方法则提供了一种实用的、近最优的解决方案，大幅降低了构建和检测复杂度。所提出的检测器使得高移动性场景下的高效非相干通信成为可能，既避免了导频符号带来的频谱效率损失，也消除了穷举搜索的计算负担，特别是对于大星座大小而言。作者指出，未来的工作将侧重于将这些构建方法和检测器扩展到一般的 $M$ 和 $T$ 值。