arXiv Science⌕ Search

arXiv · 2610.08387

Multi-Agent Reinforcement Learning for Movable Antenna-aided Cell-Free Massive MIMO Systems

Abstract

The inherent non-convex minimum-separation constraints introduced by movable antennas present a formidable challenge to the joint optimization of antenna positions and transmission strategies, rendering conventional methods computationally infeasible, particularly in large-scale cell-free massive multiple-input multiple-output (MIMO). In this work, we propose the graph-based learning individual intrinsic reward heterogeneous-agent proximal policy optimization (GLIIR-HAPPO) algorithm, a novel heterogeneous multi-agent reinforcement learning (MARL) framework that fundamentally overcomes this impasse by systematically decomposing the original coupled optimization into coordinated subproblems. To ensure tractability, we embed the non-convex geometric constraints into a penalty-augmented reward structure and develop a specialized geometric solver that enables the positioning agents to efficiently navigate the high-dimensional action space. Specifically, we propose an architecture featuring a dynamic-interaction graph critic for adaptive cross-role coordination, together with role-conditioned federated distillation that synchronizes same-role policies through compact actor-output statistics. Beyond architectural design, we establish a rigorous theoretical analysis that derives monotonic performance improvement bounds and establishes convergence guarantees for the proposed bi-level optimization. Numerical simulations demonstrate that our framework yields significant sum-rate improvements over state-of-the-art MARL schemes. Moreover, the performance of our advanced architecture closely approaches its fully centralized counterpart, while drastically reducing communication overhead.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Bokai Xu, Jiayi Zhang, Shuaifei Chen, Ziheng Liu, Huahua Xiao, Derrick Wing Kwan Ng, Bo Ai. 2026-10-06. Multi-Agent Reinforcement Learning for Movable Antenna-aided Cell-Free Massive MIMO Systems. https://arxiv.org/abs/2610.08387

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Symmetry-Enforced Quadratic Approximate-Degradability Bounds for Noisy Landau-Streater Channels

Understanding the limits of quantum communication is a central problem in quantum information theory. Structural properties of quantum channels provide tools for analyzing these limits. In particular, approximate degradability links quantum-capacity bounds to the accuracy with which a channel's environment can be reconstructed from its output. We study this reconstruction problem for noisy Landau-Streater channels across finite-spin representations. For spin $j$ and noise probability $p$, we construct an explicit degrading map with diamond-norm error at most $[2+8/(j(j+1))]p^2\le(38/3)p^2$ on the common interval $0\le p\le1/8$. A lower bound establishes quadratic order for this construction at each fixed spin. Floating-point semidefinite optimization places its error within $2.48\%$ of the numerical optimum on the sampled grid for four spins. Covariance and conditional-entropy concavity yield explicit two-sided quantum-capacity bounds for this family with a spin-uniform remainder. Building on the low-noise Pauli cancellation strategy, we formulate a sufficient condition based on a common scalar adjoint action on fixed, possibly nonunitary noise Kraus operators. The resulting reconstruction-error bound is uniform in system dimension and Kraus count. The criterion applies to irreducible $SU(N)$ generator channels and noisy Werner-Holevo channels, with the $SU(3)$ adjoint representation providing an example outside the mixed-unitary class.

cs.IT↗

Out-of-Air Computation: Enabling Structured Function Extraction from Wireless Superposition

Over-the-air computation (AirComp) broadly exploits the superposition property of wireless multiple-access channels (MACs) to compute functions of distributed data. Within this broad class, dominant conventional designs are embedding-oriented: they pre-shape transmitted signals or mitigate channel effects so that the received superposition directly realizes the prescribed computation, often requiring the MAC to approximate an ideal computational medium. This paper introduces out-of-air computation (AirCPU) and establishes an extraction-oriented paradigm for AirComp. Built on joint source-channel coding, AirCPU creates a structured wireless superposition from which the receiver extracts the target function. AirCPU operates directly on continuous-valued device data, avoiding the need for a separate source quantization stage, and employs a multi-layer nested lattice architecture that enables progressive resolution by decomposing each input into hierarchically scaled components, all transmitted over a common bounded digital constellation under a fixed power constraint. We formalize the notion of decoupled resolution, showing that in operating regimes where the decoding error probability is sufficiently small, the impact of channel noise and finite constellation constraints on distortion becomes negligible, and the resulting computation error is primarily determined by the target resolution set by the finest lattice. For fading MACs, we further introduce collective and successive computation mechanisms, in addition to the proposed direct computation, which exploit multiple decoded integer-coefficient functions and side-information functions as structural representations of the wireless superposition to significantly expand the reliable operating regime.

cs.IT↗

Exact Second-Order Asymptotics for the Wyner--Ahlswede--Körner Problem

We determine the exact local second-order rate region of the finite-alphabet Wyner--Ahlswede--Körner problem under full support, at informative boundary points exposed by a finite supporting slope. The characterization permits nonunique optimizing test channels with unequal information variances and requires no neighborhood smoothness of the optimized first-order value. The optimal success function is a conditional Gaussian envelope averaged over the fluctuation of the helper's observed source type. For each type, the helper selects the minimum or maximum conditional variance according to the remaining description budget, while preserving both first-order rates. The converse follows from a uniform Gaussian bound for ordinary channel images. An exact posterior score decomposition separates a common source score, a nonnegative optimality gap, a negligible source residual on low-cost histories, and a conditionally independent channel fluctuation. Conditional-type covering with two endpoint optimizers and one common binning map attains the bound. Under a strict first-order benefit from the helper, a separate limiting-rate argument also gives the unrestricted weighted second-order optimum. A strictly positive finite source exhibits a strict gain over every fixed-optimizer Gaussian expression, and an exact binary image calculation illustrates the limiting coefficient.

cs.IT↗