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

사용-후-망각(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 달성 가능(에르고딕) 속도에 의존하는 사용-후-망각(UatF) 하한을 활용하는 기존 연구와 달리, 본 논문의 프레임워크는 디코더에서의 완벽하거나 불완벽한 채널 상태 정보(CSI)를 명시적으로 고려하는 대체 한계를 처리할 수 있습니다. 이러한 접근 방식을 통해 UatF 알고리즘이 UatF 한계의 결함을 상속하는 한계를 해결합니다. 예를 들어, UatF 한계는 과도하게 보수적일 수 있습니다: 극단적인 경우, 영평균 채널의 완전 통계(비적응형) 빔포밍에서 UatF 한계는 자명한(영) 속도 한계를 생성합니다. 또한 스케일 불변성이 부족합니다: 단순히 빔포머를 스케일링하면 특히 단순한 빔포밍 전략을 채택할 때 한계가 크게 변할 수 있습니다.

연구 배경 및 동기

문제 정의

대규모 MIMO 및 셀-프리 네트워크에서 전력 제어 및 빔포밍 알고리즘의 개발은 전통적으로 사용-후-망각(UatF) 한계에 의존해 왔습니다. 이는 일반적으로 다루기 쉽고 확장 가능한 최적화 문제를 생성하기 때문입니다. 그러나 UatF 한계에는 중요한 한계가 있습니다:

과도한 보수성: 특정 실제 관련 시나리오에서, 특히 영평균 채널의 완전 통계 빔포밍에서 UatF 한계는 자명한 영 속도 한계를 생성할 수 있습니다
스케일 불변성 부족: 단순히 빔포머를 스케일링하면 특히 단순한 빔포밍 전략 사용 시 한계가 크게 변할 수 있습니다
이론적 한계: UatF 한계는 순간 유효 채널을 그 평균으로 대체하고 편차를 무관 잡음으로 취급합니다

연구 동기

기존 전력 제어 알고리즘은 주로 두 가지 범주로 나뉩니다:

샘플별 방식: 각 채널 샘플에 대해 최적화 문제를 해결하지만, 분산 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}_{++}$ 는 세 가지 성질을 만족합니다:

단조성: $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^*$ 로 수렴합니다.