Access Selection for Finite-SNR Modal Recoverability in Sampled-Wave Receivers

技术摘要：有限信噪比（Finite-SNR）下采样波接收机模态可恢复性的接入选择

问题定义
本文探讨了大孔径波系统（如全息 MIMO (HMIMO) 和极大规模 MIMO (XL-MIMO)）中接收机选择的挑战。这些系统拥有大量的候选传感器位置或天线端口，但受限于硬件和处理约束，仅能同时激活其中的一个子集。该问题的核心被定义为有限信噪比下的模态可恢复性任务。不同于优化聚合信息指标（如迹、对数行列式或码本距离）的传统方法，这项工作侧重于确保在特定信噪比（SNR）下，目标模态子空间内的每一个预设方向都能被可靠地恢复。作者认为，高聚合得分并不保证能够解决“观测最弱”的模态方向，这可能导致关键模态无法恢复。

方法论
作者开发了一个基于采样标量波模型的通用框架，适用于任何具有选择性激活测量功能的波接收机。该方法通过三个主要阶段进行：

1. 可恢复性格拉姆矩阵（Gram matrices）与准则：
   论文定义了三个基于特定格拉姆矩阵最小特征值（信息底限）的嵌套可恢复性准则：

   • 按度数准入（Degree-wise Admission）： 确保每个单独的目标模态度数 $\ell$ 满足可靠性阈值 $\tau$。
   • 目标子空间准入（Target-Subspace Admission）： 确保整个预设目标子空间的联合激活满足该阈值。
   • 抗干扰鲁棒（舒尔补）准入（Nuisance-Robust (Schur-Complement) Admission）： 最严格的准则，它考虑了被建模为高斯干扰变量的活跃非目标模态。该准则使用舒尔补来推导精确的最差方向后验误差解释。

2. 理论保证与极限：
   作者证明了这三个准则是嵌套的，这意味着更严格的准则至少需要与较宽松准则相同数量的活跃接收器接入数（即 $K_{deg} \leq K_T \leq K_{T|c}$）。他们建立了一个**全库不可行性（full-library infeasibility）**结果：如果整个候选集在特定可恢复性测试下失败（在单调信息增长条件下），则没有任何子集能够满足该测试。此外，他们证明了聚合目标（如 log-det）与准入证书之间存在结构性分离，表明一个子集可以获得更高的聚合得分，却无法通过最差方向模态恢复的认证。

3. 选择协议与布局定律：
   该框架针对有限球面波采样进行了专门化处理。作者推导了用于有限布局的精确加权证书和残差区间界限。他们提出了一种贪婪选择协议，该协议优先考虑主要的可恢复性证书（例如，舒尔补底限），并使用全局 log-det 作为平局判定或剩余预算分配的次要指标。

核心贡献

• 问题重构： 将接收机选择重新定义为有限信噪比下的模态可恢复性问题，将重点从最大化聚合信息转向对最差方向的认证。
• 嵌套证书： 引入了三个日益严格的嵌套测试（按度数、目标子空间和抗干扰鲁棒），提供了精确的操作保证。
• 舒尔补解释： 推导了舒尔补信息底限，将其作为最差方向后验误差的精确解释，量化了由于目标与非目标耦合导致的信息损失。
• 可行性极限： 区分了选择器失效（算法层面）与全集不可行性（系统层面限制），并证明如果全集失败，则任何子集都无法成功。
• 目标分离： 通过理论证明，优化聚合目标（迹、log-det、码本距离）并不能本质上确保恢复每一个目标模态方向。

数值结果
通过受控的球面波实验，本文将基于所提证书的贪婪选择规则与全局 log-det 基准进行了对比：

• 中等可靠性： 全局 log-det 选择通常在达到中等可靠性底限（例如 $\tau = 0.5, 1$）时更具接入效率（需要更少的激活测量次数）。
• 严苛可靠性： 在严苛要求下（例如 $\tau = 2$），当最小化最差方向误差变得至关重要时，基于舒尔补的选择变得更加有效。
• 聚合 vs. 证书： 数值诊断证实，一个子集可以在聚合指标（迹、log-det）上显著优于其他子集，同时其模态最小特征值底限却为零，验证了理论上的分离性。

意义与主张
本文声称，虽然聚合目标对于对候选子集进行排序或进行准入后的优化很有用，但它们不足以认证操作的充分性。所提出的框架提供了必要的“准入证书”，用以确定所选子集是否能在有限信噪比下支持在预设模态子空间的每个方向内进行可靠恢复。

作者强调，尽管这项工作由 HMIMO 和 XL-MIMO 驱动，但适用于通用的采样波系统。他们明确指出，本研究使用归一化的球面波实验来阐明设计原则，而非提供针对特定硬件平台的校准性能。其主要贡献在于建立了一个严谨的有限信噪比可行性门槛，区分了激活的顺序（选择）与恢复的保证（准入）。