За пределами границы Use-and-then-Forget (UatF): Алгоритмы неподвижной точки для статистического управления мощностью Max-Min

Основная информация

• 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 (математическая теория информации)
• Дата публикации: 13 октября 2025 г.
• Ссылка на статью: https://arxiv.org/abs/2510.11582

Аннотация

В данной работе предлагаются математические инструменты и алгоритмы неподвижной точки для оптимального статистического управления мощностью max-min в сотовых и бесячеечных системах массивной MIMO. В отличие от предыдущих исследований, опирающихся на нижние границы 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. Предоставлены гарантии сходимости: Даны доказуемо сходящиеся алгоритмы для глобально оптимального решения задачи управления мощностью max-min
5. Экспериментальная верификация: Моделирование подтверждает улучшение производительности предложенного метода по сравнению со схемами на основе UatF

Подробное описание методов

Определение задачи

Рассмотрим восходящий канал многопользовательской сети MIMO с L точками доступа, каждая оборудована M антеннами, и N однопользовательских пользователей. Цель состоит в решении взвешенной задачи оптимизации max-min:

$\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}_{++}$ удовлетворяет трем свойствам:

1. Монотонность: $x \leq y \Rightarrow f(x) \leq f(y)$
2. Масштабируемость: $\forall \alpha > 1, f(\alpha x) < \alpha f(x)$
3. Положительность: $\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)$ сходится к оптимальному распределению мощности $p^*$, где $T(p) = [α_1 f_1(p), ..., α_N f_N(p)]^t$.

Технические инновации

1. Преодоление ограничений UatF: Прямое использование информационно-теоретических границ вместо приближений UatF
2. Сохранение вычислительной осуществимости: Использование аппроксимации Монте-Карло для ожиданий, избегая дополнительных приближений
3. Гарантии глобальной сходимости: Доказательства сходимости на основе теории неподвижной точки
4. Универсальность: Структура применима к различным стратегиям формирования луча и моделям каналов

Экспериментальная установка

Конфигурация сети

• Область покрытия: 1000×1000 м²
• Количество точек доступа: L = 16, каждая оборудована линейной решеткой из 4 элементов
• Количество пользователей: N = 25 однопользовательских пользователей
• Несущая частота: fc = 3,7 ГГц
• Полоса пропускания: B = 20 МГц
• Максимальная передаваемая мощность: pmax = 200 мВт

Модель канала

• Крупномасштабное затухание: Модель COST-231 Walfish-Ikegami UMi
• Мелкомасштабное затухание: Модель пространственно коррелированного канала Рэлея
• Затухание в тени: σsf = 8 дБ

Показатели оценки

• Минимальная скорость пользователя: Использование границы оптимизированной эргодической скорости (OER)
• Производительность сходимости: Связь между количеством итераций и значением целевой функции

Методы сравнения

• Схема max-min на основе UatF: Традиционное управление мощностью на основе границы UatF
• Предложенный алгоритм неподвижной точки: Новый алгоритм на основе границы OER

Результаты экспериментов

Основные результаты

Результаты моделирования показывают:

1. Верификация сходимости: Предложенный алгоритм неподвижной точки сходится к стабильному решению примерно за 30 итераций
2. Улучшение производительности: По сравнению со схемой UatF минимальная скорость пользователя увеличивается примерно с 3,2 бит/с/Гц до 4,2 бит/с/Гц, что составляет улучшение на 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 и бесячеечным сетям
• Теоретические основы управления мощностью и функций помех
• Связанные работы по разработке формирования луча
• Результаты исследований информационно-теоретических границ

Общая оценка: Это высокачественная работа, сочетающая теорию и приложения, которая обеспечивает важный теоретический вклад и практический алгоритм в области управления мощностью. Несмотря на некоторые ограничения, ее инновационность и практическая ценность делают ее важным прогрессом в данной области.