Agentic Verifier-in-the-Loop Solver Orchestration for Cell-Free Massive MIMO Downlink Power Control

TL;DR

This paper introduces VISO-PC, a verifier-in-the-loop framework that dynamically orchestrates multiple solvers for cell-free massive MIMO downlink power control, improving fairness and efficiency over fixed solver approaches.

Contribution

Proposes a novel agentic solver orchestration framework with verification for improved power control in cell-free massive MIMO systems.

Findings

Verification-aware orchestration outperforms fixed solvers in accepted rate.

Memory-based router matches rule-based router's accepted rate.

Framework reduces runtime and fallback rate.

Abstract

Cell-free massive multiple-input multiple-output (MIMO) systems can provide uniformly strong service through distributed access points, but performance still depends critically on downlink power control. Existing methods are typically selected offline and then applied uniformly across channel and load regimes, even though no single solver is uniformly best. We therefore propose VISO-PC, a verifier-in-the-loop solver-orchestration framework in which an agent routes among trusted solvers rather than generating power coefficients directly. Given a structured instance descriptor, the router selects an initial solver and fallback order, and an independent verifier accepts only candidates that satisfy the constraints and produce a valid verified common rate. For fairness-oriented downlink cell-free power control under per-AP constraints, verification-aware orchestration improves accepted rate over all fixed single-solver baselines on a reproducible prototype benchmark. Moreover, a lightweight memory-based router matches the accepted rate of a strong rule-based router while reducing average runtime and fallback rate. These results show that solver orchestration is a practical agentic layer for cell-free massive MIMO downlink power control.