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

Basic Information

• Paper ID: 2510.11582
• Title: Beyond the Use-and-then-Forget (UatF) Bound: Fixed Point Algorithms for Statistical Max-Min Power Control
• Authors: Renato L. G. Cavalcante, Noor Ul Ain, Lorenzo Miretti, Slawomir Stańczak
• Classification: eess.SP (Signal Processing), cs.IT (Computer Information Theory), math.IT (Mathematical Information Theory)
• Publication Date: October 13, 2025
• Paper Link: https://arxiv.org/abs/2510.11582

Abstract

This paper proposes mathematical tools and fixed point algorithms for optimal statistical max-min power control in cellular and cell-free massive MIMO systems. Unlike previous research relying on use-and-then-forget (UatF) lower bounds based on Shannon achievable (ergodic) rates, the proposed framework handles alternative bounds that explicitly account for perfect or imperfect channel state information (CSI) at the decoder. This approach addresses limitations inherent in UatF-based algorithms that inherit the defects of the UatF bound. For instance, the UatF bound can be overly conservative: in extreme cases, under complete statistical (non-adaptive) beamforming with zero-mean channels, the UatF bound yields trivial (zero) rate bounds. It also lacks scale invariance: simply scaling the beamformer can significantly alter the bound, particularly when employing simple beamforming strategies.

Research Background and Motivation

Problem Definition

The development of power control and beamforming algorithms in massive MIMO and cell-free networks has relied on use-and-then-forget (UatF) bounds because they typically yield tractable and scalable optimization problems. However, the UatF bound has important limitations:

1. Excessive Conservatism: In certain practically relevant scenarios, particularly under complete statistical beamforming with zero-mean channels, the UatF bound may yield trivial zero rate bounds
2. Lack of Scale Invariance: Simply scaling the beamformer may significantly alter the bound, especially when employing simple beamforming strategies
3. Theoretical Limitations: The UatF bound replaces the instantaneous effective channel with its mean and treats deviations as uncorrelated noise

Research Motivation

Existing power control algorithms fall into two categories:

• Sample-by-sample schemes: Solve optimization problems for each channel sample, but suffer from poor scalability in distributed MIMO systems
• Statistical-level schemes: Solve a single optimization problem for each channel distribution, but rely on UatF bounds and inherit their limitations

This work aims to develop techniques that can employ alternative bounds, particularly information-theoretic bounds not subject to UatF bound defects.

Core Contributions

1. Proposes MSP Function Framework: Introduces the concept of Monotonic, Scalable, and Positive (MSP) functions as a variant of standard interference functions
2. Establishes Theoretical Foundation: Proves convergence of fixed point algorithms for MSP mappings, extending existing standard interference function theory
3. Develops General Optimization Framework: Proposes a power control framework capable of handling multiple information-theoretic bounds, not limited to UatF bounds
4. Provides Convergence Guarantees: Offers provably convergent algorithms for global optimal solutions to max-min power control problems
5. Experimental Validation: Verifies through simulations the performance improvements of the proposed method compared to UatF-based schemes

Methodology Details

Problem Formulation

Consider an uplink multi-user MIMO network with L access points, each equipped with M antennas, and N single-antenna users. The objective is to solve the weighted max-min optimization problem:

$\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}$

where $r_u(p)$ is the achievable rate for user $u$, and $p$ is the power allocation vector.

MSP Function Framework

Definition

An MSP function $f: \mathbb{R}^N_{++} \to \mathbb{R}_{++}$ satisfies three properties:

1. Monotonicity: $x \leq y \Rightarrow f(x) \leq f(y)$
2. Scalability: $\forall \alpha > 1, f(\alpha x) < \alpha f(x)$
3. Positivity: $\inf_{x \in \mathbb{R}^N_{++}} f(x) > 0$

Theoretical Foundation

Proposition 1: For an MSP mapping $T: \mathbb{R}^N_{++} \to \mathbb{R}^N_{++}$, there exists a unique conditional eigenvalue pair $(γ^*, x^*)$ satisfying: $T(x) = γx, \quad \|x\| = 1$

Proposition 2: Under appropriate conditions, the function $f(x) = \frac{h(x)}{\mathbb{E}[g(x,ω)]}$ is an MSP function, where $g$ and $h$ satisfy specific stochasticity and monotonicity conditions.

Power Control Algorithm

Rate Function

The achievable rate for user $u$ is defined as: $r_u(p) = \mathbb{E}[\log(1 + s_u(p,ω))]$

where the instantaneous SINR is: $s_u(p,ω) = \frac{p_u |h_u(ω)^H v_u(ω)|^2}{\sum_{k \neq u} p_k |h_k(ω)^H v_u(ω)|^2 + σ^2}$

Fixed Point Iteration

Corollary 1: Given initial power $p_1 \in \mathbb{R}^N_{++}$, the sequence $(p_n)_{n \in \mathbb{N}}$ is generated through iteration: $p_{n+1} = \frac{p_{\max}}{\|T(p_n)\|} T(p_n)$ and converges to the optimal power allocation $p^*$, where $T(p) = [α_1 f_1(p), ..., α_N f_N(p)]^t$.

Technical Innovations

1. Transcending UatF Limitations: Directly employs information-theoretic bounds rather than UatF approximations
2. Maintaining Computational Feasibility: Approximates expectations through Monte Carlo sampling, avoiding additional approximations
3. Global Convergence Guarantees: Provides convergence proofs based on fixed point theory
4. Generality: Framework applies to multiple beamforming strategies and channel models

Experimental Setup

Network Configuration

• Coverage Area: 1000×1000 m²
• Number of Access Points: L = 16, each equipped with 4-element uniform linear arrays
• Number of Users: N = 25 single-antenna users
• Carrier Frequency: fc = 3.7 GHz
• Bandwidth: B = 20 MHz
• Maximum Transmit Power: pmax = 200 mW

Channel Model

• Large-Scale Fading: COST-231 Walfish-Ikegami UMi model
• Small-Scale Fading: Spatially correlated Rayleigh channel model
• Shadow Fading: σsf = 8 dB

Performance Metrics

• Minimum User Rate: Evaluated using Optimized Ergodic Rate (OER) bound
• Convergence Performance: Relationship between iteration count and objective function value

Comparison Methods

• UatF Max-Min Scheme: Traditional power control based on UatF bound
• Proposed Fixed Point Algorithm: Novel algorithm based on OER bound

Experimental Results

Main Results

Simulation results demonstrate:

1. Convergence Verification: The proposed fixed point algorithm converges to a stable solution within approximately 30 iterations
2. Performance Improvement: Compared to the UatF scheme, the minimum user rate improves from approximately 3.2 b/s/Hz to approximately 4.2 b/s/Hz, representing approximately 31% improvement
3. Robustness: The algorithm exhibits good robustness to Monte Carlo sampling noise, with negligible drift during convergence

Key Findings

• Under MMSE beamforming, directly optimizing the OER bound achieves significant performance gains compared to using the UatF surrogate problem
• The algorithm converges rapidly, demonstrating good feasibility for practical applications
• The impact of finite-sample Monte Carlo estimation on algorithm convergence is limited

Related Work

Main Research Directions

1. Massive MIMO Power Control: Algorithm design based on UatF bounds
2. Cell-Free Network Optimization: Distributed beamforming and power allocation
3. Interference Function Theory: Standard interference functions and their applications in wireless networks

Comparison with This Work

• Compared to Traditional UatF Methods: Capable of handling tighter information-theoretic bounds, avoiding overly conservative estimates
• Compared to Sample-by-Sample Schemes: Maintains scalability of statistical-level optimization
• Compared to Existing Theory: Extends the standard interference function framework to the more general MSP function class

Conclusions and Discussion

Main Conclusions

1. Successfully develops a power control framework transcending UatF bounds
2. Provides fixed point algorithms with global convergence guarantees
3. Experimental validation confirms the effectiveness and practicality of the method

Limitations

1. Beamforming Independence Assumption: Current framework requires beamforming strategies to be independent of the transmit power vector
2. Statistical Information Requirements: Requires system statistical knowledge for Monte Carlo sampling
3. Finite-Sample Effects: While empirical evidence suggests limited impact, rigorous finite-sample convergence analysis is lacking

Future Directions

1. Extension to general cases where beamforming depends on power
2. Investigation of rigorous finite-sample noise impact on convergence
3. Application to other information-theoretic bounds, such as coherent decoding bounds
4. Development of distributed implementation algorithms

In-Depth Evaluation

Strengths

1. Significant Theoretical Contribution: MSP function framework provides new theoretical foundation for power control
2. High Practical Value: Algorithm is simple with convergence guarantees, suitable for practical deployment
3. Evident Performance Improvement: Significant improvements compared to traditional UatF methods
4. Clear Presentation: Rigorous mathematical derivations and clear exposition

Weaknesses

1. Limited Application Scope: Beamforming independence assumption restricts method generality
2. Limited Experimental Scale: Validation conducted only under specific network configurations
3. Missing Complexity Analysis: Lacks detailed computational complexity analysis

Impact

1. Academic Value: Provides new theoretical tools for massive MIMO power control
2. Practical Significance: Promising for application in next-generation wireless systems such as 6G
3. Reproducibility: Clear algorithm description facilitates reproduction and extension

Applicable Scenarios

• Power optimization in massive MIMO systems
• Resource allocation in cell-free networks
• Wireless network optimization problems requiring strict convergence guarantees
• Scenarios where statistical channel information is available

References

The paper cites 23 relevant references, primarily including:

• Classical textbooks and surveys on massive MIMO and cell-free networks
• Theoretical foundations of power control and interference functions
• Related work on beamforming design
• Research on information-theoretic bounds

Overall Assessment: This is a high-quality paper combining theory and applications, providing important theoretical contributions and practical algorithms in the power control domain. Despite certain limitations, its innovation and practical value make it an important advance in the field.