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

Use-and-then-Forget (UatF)境界を超えて：統計的最大最小電力制御のための固定点アルゴリズム

基本情報

論文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境界には重要な制限がある：

過度な保守性：特定の実用的に関連するシナリオ、特にゼロ平均チャネルの完全統計的ビームフォーミングの下では、UatF境界は自明なゼロレート境界を生成する可能性がある
スケール不変性の欠如：単にビームフォーマーをスケーリングするだけで、特に単純なビームフォーミング戦略を使用する場合、境界が大幅に変わる可能性がある
理論的制限：UatF境界は瞬時有効チャネルをその平均値に置き換え、偏差を無関係なノイズとして扱う

研究動機

既存の電力制御アルゴリズムは主に2つのカテゴリに分類される：

サンプルごとのスキーム：各チャネルサンプルに対して最適化問題を解くが、分散MIMO システムではスケーラビリティが低い
統計レベルのスキーム：各チャネル分布に対して単一の最適化問題を解くが、UatF境界に依存し、その制限を継承する

本論文は、代替境界、特にUatF境界の欠陥の影響を受けない情報論的境界を使用できる技術を開発することを目指している。

主要な貢献

MSP関数枠組みの提案：単調性、スケーラビリティ、正性(Monotonic, Scalable, and Positive, MSP)関数の概念を導入し、標準干渉関数の変種として機能する
理論的基礎の確立：MSPマッピングの固定点アルゴリズムの収束性を証明し、既存の標準干渉関数理論を拡張する
汎用最適化枠組みの開発：複数の情報論的境界を扱うことができ、UatF境界に限定されない電力制御枠組みを提案する
収束保証の提供：最大最小電力制御問題の全体最適解に対する証明可能な収束アルゴリズムを提供する
実験的検証：シミュレーションを通じて、提案手法がUatFベースのスキームと比較して性能が向上することを検証する

方法の詳細

タスク定義

L個のアクセスポイントを持つマルチユーザーMIMO ネットワークアップリンクを考える。各アクセスポイントはM本のアンテナを備え、システムはN個の単一アンテナユーザーを含む。目標は、加重最大最小最適化問題を解くことである：

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

ここで、 $r_u(p)$ はユーザーuの到達可能レート、 $p$ は電力配分ベクトルである。

MSP関数枠組み

定義

MSP関数 $f: \mathbb{R}^N_{++} \to \mathbb{R}_{++}$ は3つの性質を満たす：

単調性： $x \leq y \Rightarrow f(x) \leq f(y)$
スケーラビリティ： $\forall \alpha > 1, f(\alpha x) < \alpha f(x)$
正性： $\inf_{x \in \mathbb{R}^N_{++}} f(x) > 0$

理論的基礎

命題1：MSPマッピング $T: \mathbb{R}^N_{++} \to \mathbb{R}^N_{++}$ に対して、以下を満たす一意の条件固有値対 $(γ^*, x^*)$ が存在する： $T(x) = γx, \quad \|x\| = 1$

命題2：適切な条件下で、関数 $f(x) = \frac{h(x)}{\mathbb{E}[g(x,ω)]}$ はMSP関数であり、ここで $g$ と $h$ は特定のランダム性と単調性条件を満たす。

電力制御アルゴリズム

レート関数

ユーザーuの到達可能レートは以下のように定義される： $r_u(p) = \mathbb{E}[\log(1 + s_u(p,ω))]$

ここで瞬時SINRは： $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}$

固定点反復

系1：初期電力 $p_1 \in \mathbb{R}^N_{++}$ が与えられたとき、数列 $(p_n)_{n \in \mathbb{N}}$ は以下の反復により生成される： $p_{n+1} = \frac{p_{\max}}{\|T(p_n)\|} T(p_n)$ ここで $T(p) = [α_1 f_1(p), ..., α_N f_N(p)]^t$ であり、最適電力配分 $p^*$ に収束する。