2025-11-12T09:16:09.818442

Beyond the Use-and-then-Forget (UatF) Bound: Fixed Point Algorithms for Statistical Max-Min Power Control

Cavalcante, Ain, Miretti et al.
We introduce mathematical tools and fixed point algorithms for optimal statistical max-min power control in cellular and cell-less massive MIMO systems. Unlike previous studies that rely on the use-and-then-forget (UatF) lower bound on Shannon achievable (ergodic) rates, our proposed framework can deal with alternative bounds that explicitly consider perfect or imperfect channel state information (CSI) at the decoder. In doing so, we address limitations of UatF-based algorithms, which inherit the shortcomings of the UatF bound. For example, the UatF bound can be overly conservative: in extreme cases, under fully statistical (nonadaptive) beamforming in zero-mean channels, the UatF bound produces trivial (zero) rate bounds. It also lacks scale invariance: merely scaling the beamformers can change the bound drastically, especially when simple beamforming strategies are employed. In contrast, our framework is compatible with information-theoretic bounds that do not suffer from the above drawbacks. We illustrate the framework by solving a max-min power control problem considering a standard bound that exploits instantaneous CSI at the decoder.
academic

Beyond the Use-and-then-Forget (UatF) Bound: Fixed Point Algorithms for Statistical Max-Min Power Control

基本信息

  • 论文ID: 2510.11582
  • 标题: Beyond the Use-and-then-Forget (UatF) Bound: Fixed Point Algorithms for Statistical Max-Min Power Control
  • 作者: Renato L. G. Cavalcante, Noor Ul Ain, Lorenzo Miretti, Slawomir Stańczak
  • 分类: eess.SP (信号处理), cs.IT (计算机信息论), math.IT (数学信息论)
  • 发表时间: 2025年10月13日
  • 论文链接: https://arxiv.org/abs/2510.11582

摘要

本文针对蜂窝和无小区大规模MIMO系统，提出了用于最优统计最大最小功率控制的数学工具和不动点算法。与以往依赖于Shannon可达（遍历）速率的use-and-then-forget (UatF)下界的研究不同，本文提出的框架能够处理明确考虑解码器处完美或不完美信道状态信息(CSI)的替代界限。通过这种方法，解决了基于UatF算法继承UatF界限缺陷的局限性。例如，UatF界限可能过于保守：在极端情况下，在零均值信道的完全统计（非自适应）波束成形下，UatF界限产生平凡的（零）速率界限。它还缺乏尺度不变性：仅仅缩放波束形成器就能显著改变界限，特别是在采用简单波束成形策略时。

研究背景与动机

问题定义

在大规模MIMO和无小区网络中，功率控制和波束成形算法的开发一直依赖于use-and-then-forget (UatF)界限，因为它通常能够产生可处理和可扩展的优化问题。然而，UatF界限存在重要的局限性：

  1. 过度保守性：在某些实际相关场景下，特别是在零均值信道的完全统计波束成形下，UatF界限可能产生平凡的零速率界限
  2. 缺乏尺度不变性：简单地缩放波束成形器可能会显著改变界限，尤其是在使用简单波束成形策略时
  3. 理论局限：UatF界限将瞬时有效信道替换为其均值，并将偏差视为不相关噪声

研究动机

现有的功率控制算法主要分为两类：

  • 逐样本方案：为每个信道样本求解优化问题，但在分布式MIMO系统中可扩展性差
  • 统计级方案：为每个信道分布求解单个优化问题，但依赖UatF界限并继承其局限性

本文旨在开发能够使用替代界限的技术，特别是那些不受UatF界限缺陷影响的信息论界限。

核心贡献

  1. 提出了MSP函数框架：引入了单调、可扩展和正(Monotonic, Scalable, and Positive, MSP)函数的概念，作为标准干扰函数的变体
  2. 建立了理论基础：证明了MSP映射的不动点算法收敛性，扩展了现有的标准干扰函数理论
  3. 开发了通用优化框架：提出了能够处理多种信息论界限的功率控制框架，不局限于UatF界限
  4. 提供了收敛保证：给出了最大最小功率控制问题的全局最优解的可证明收敛算法
  5. 实验验证：通过仿真验证了所提方法相比基于UatF的方案的性能提升

方法详解

任务定义

考虑具有L个接入点的多用户MIMO网络上行链路，每个接入点配备M根天线，系统包含N个单天线用户。目标是求解加权最大最小优化问题：

max⁡p∈R++Nmin⁡u∈Uαu−1ru(p)s.t.∥p∥≤pmax⁡\max_{p \in \mathbb{R}^N_{++}} \min_{u \in U} \alpha_u^{-1} r_u(p) \quad \text{s.t.} \quad \|p\| \leq p_{\max}

其中ru(p)r_u(p)是用户u的可达速率，pp是功率分配向量。

MSP函数框架

定义

MSP函数f:R++N→R++f: \mathbb{R}^N_{++} \to \mathbb{R}_{++}满足三个性质：

  1. 单调性：x≤y⇒f(x)≤f(y)x \leq y \Rightarrow f(x) \leq f(y)
  2. 可扩展性：∀α>1,f(αx)<αf(x)\forall \alpha > 1, f(\alpha x) < \alpha f(x)
  3. 正性：inf⁡x∈R++Nf(x)>0\inf_{x \in \mathbb{R}^N_{++}} f(x) > 0

理论基础

命题1：对于MSP映射T:R++N→R++NT: \mathbb{R}^N_{++} \to \mathbb{R}^N_{++}，存在唯一的条件特征值对(γ∗,x∗)(γ^*, x^*)求解： T(x)=γx,∥x∥=1T(x) = γx, \quad \|x\| = 1

命题2：在适当条件下，函数 f(x)=h(x)E[g(x,ω)]f(x) = \frac{h(x)}{\mathbb{E}[g(x,ω)]} 是MSP函数，其中gg和hh满足特定的随机性和单调性条件。

功率控制算法

速率函数

用户u的可达速率定义为： ru(p)=E[log⁡(1+su(p,ω))]r_u(p) = \mathbb{E}[\log(1 + s_u(p,ω))]

其中瞬时SINR为： su(p,ω)=pu∣hu(ω)Hvu(ω)∣2∑k≠upk∣hk(ω)Hvu(ω)∣2+σ2s_u(p,ω) = \frac{p_u |h_u(ω)^H v_u(ω)|^2}{\sum_{k \neq u} p_k |h_k(ω)^H v_u(ω)|^2 + σ^2}

不动点迭代

推论1：给定初始功率p1∈R++Np_1 \in \mathbb{R}^N_{++}，序列(pn)n∈N(p_n)_{n \in \mathbb{N}}通过迭代生成： pn+1=pmax⁡∥T(pn)∥T(pn)p_{n+1} = \frac{p_{\max}}{\|T(p_n)\|} T(p_n) 收敛到最优功率分配p∗p^*，其中T(p)=[α1f1(p),...,αNfN(p)]tT(p) = [α_1 f_1(p), ..., α_N f_N(p)]^t。

技术创新点

  1. 突破UatF局限：直接使用信息论界限而不是UatF近似
  2. 保持计算可行性：通过蒙特卡罗采样近似期望，避免额外近似
  3. 全局收敛保证：基于不动点理论提供收敛性证明
  4. 通用性：框架适用于多种波束成形策略和信道模型

实验设置

网络配置

  • 覆盖区域：1000×1000 m²
  • 接入点数量：L = 16，每个配备4元均匀线阵
  • 用户数量：N = 25个单天线用户
  • 载波频率：fc = 3.7 GHz
  • 带宽：B = 20 MHz
  • 最大发射功率：pmax = 200 mW

信道模型

  • 大尺度衰落：COST-231 Walfish-Ikegami UMi模型
  • 小尺度衰落：空间相关瑞利信道模型
  • 阴影衰落：σsf = 8 dB

评价指标

  • 最小用户速率：使用优化遍历速率(OER)界限
  • 收敛性能：迭代次数与目标函数值的关系

对比方法

  • UatF最大最小方案：基于UatF界限的传统功率控制
  • 所提不动点算法：基于OER界限的新算法

实验结果

主要结果

仿真结果显示：

  1. 收敛性验证：所提不动点算法在约30次迭代内收敛到稳定解
  2. 性能提升：相比UatF方案，最小用户速率从约3.2 b/s/Hz提升到约4.2 b/s/Hz，提升约31%
  3. 鲁棒性：算法对蒙特卡罗采样噪声表现出良好的鲁棒性，收敛过程中几乎无漂移

关键发现

  • 在MMSE波束成形下，直接优化OER界限比使用UatF代理问题能获得显著的性能增益
  • 算法收敛速度快，实际应用中具有良好的可行性
  • 有限样本蒙特卡罗估计对算法收敛的影响有限

相关工作

主要研究方向

  1. 大规模MIMO功率控制：基于UatF界限的算法设计
  2. 无小区网络优化：分布式波束成形和功率分配
  3. 干扰函数理论：标准干扰函数及其在无线网络中的应用

本文贡献对比

  • 相比传统UatF方法：能够处理更紧的信息论界限，避免过度保守估计
  • 相比逐样本方案：保持统计级优化的可扩展性
  • 相比现有理论：扩展了标准干扰函数框架到更一般的MSP函数类

结论与讨论

主要结论

  1. 成功开发了超越UatF界限的功率控制框架
  2. 提供了具有全局收敛保证的不动点算法
  3. 实验验证了方法的有效性和实用性

局限性

  1. 波束成形独立性假设：当前框架要求波束成形策略独立于发射功率向量
  2. 统计信息需求：需要系统的统计知识进行蒙特卡罗采样
  3. 有限样本影响：虽然经验表明影响有限，但缺乏严格的有限样本收敛分析

未来方向

  1. 扩展到波束成形依赖于功率的一般情况
  2. 研究有限样本噪声对收敛性的严格影响分析
  3. 应用到其他信息论界限，如相干解码界限
  4. 开发分布式实现算法

深度评价

优点

  1. 理论贡献显著：MSP函数框架为功率控制提供了新的理论基础
  2. 实用价值高：算法简单且具有收敛保证，适合实际部署
  3. 性能提升明显：相比传统UatF方法有显著改进
  4. 写作清晰：数学推导严谨，表述清楚

不足

  1. 应用范围限制：波束成形独立性假设限制了方法的一般性
  2. 实验规模有限：仅在特定网络配置下进行了验证
  3. 复杂度分析缺失：未提供详细的计算复杂度分析

影响力

  1. 学术价值：为大规模MIMO功率控制提供了新的理论工具
  2. 实用意义：有望应用于6G等下一代无线通信系统
  3. 可复现性：算法描述清晰，便于复现和扩展

适用场景

  • 大规模MIMO系统的功率优化
  • 无小区网络的资源分配
  • 需要严格收敛保证的无线网络优化问题
  • 统计信道信息可获得的场景

参考文献

论文引用了23篇相关文献，主要包括：

  • 大规模MIMO和无小区网络的经典教材和综述
  • 功率控制和干扰函数的理论基础
  • 波束成形设计的相关工作
  • 信息论界限的研究成果

总体评价：这是一篇高质量的理论与应用相结合的论文，在功率控制领域提供了重要的理论贡献和实用算法。虽然存在一些局限性，但其创新性和实用价值使其成为该领域的重要进展。