pith. sign in

arxiv: 2512.18890 · v2 · submitted 2025-12-21 · 📡 eess.SP

Decentralized Cooperative Beamforming for Networked LEO Satellites with Statistical CSI

Yuchen Zhang , Eva Lagunas , Xue Xian Zheng , Symeon Chatzinotas , Tareq Y. Al-Naffouri This is my paper

Pith reviewed 2026-05-16 20:47 UTC · model grok-4.3

classification 📡 eess.SP
keywords LEO satellitescooperative beamformingdecentralized optimizationstatistical CSIWMMSEconsensus algorithmsinter-satellite links
0
0 comments X

The pith

A decentralized algorithm lets networked LEO satellites approach centralized cooperative beamforming rates by exchanging only a few consensus variables over any connected topology.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows how to localize a centralized WMMSE beamforming solution so that each satellite computes its own precoder after a short consensus step on shared variables whose size stays fixed regardless of antenna count. This produces a fully parallel, topology-agnostic method that runs with far lower signaling and computation than a central controller would require. A further closed-form removal of the auxiliary consensus variables yields an even simpler per-satellite update that remains optimal within each local iteration. Simulations confirm that the resulting rates stay close to the centralized benchmark on realistic inter-satellite graphs while scaling to large constellations.

Core claim

Starting from an ergodic-rate WMMSE formulation, the centralized benchmark is localized by distributing the objective and constraints across satellites; consensus is then enforced only on a low-dimensional set of globally coupled variables whose size is independent of the number of antennas. Eliminating the auxiliary consensus variables in closed form produces a low-complexity per-satellite update rule that admits a quasi-closed-form solution via scalar line search and admits fully parallel execution over arbitrary connected inter-satellite networks.

What carries the argument

Localized WMMSE formulation with consensus on low-dimensional globally coupled variables, followed by closed-form elimination of auxiliary variables to obtain simple per-satellite updates.

If this is right

  • Cooperative beamforming becomes feasible for constellations of hundreds of satellites without a central processing node.
  • Signaling overhead stays constant with antenna count because only the low-dimensional consensus variables are exchanged.
  • Each satellite can run its update in parallel, cutting total computation time linearly with the number of satellites.
  • The quasi-closed-form local rule supports real-time execution on board satellites with limited onboard processing.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same localization-plus-closed-form-elimination pattern could be applied to distributed beamforming in UAV or terrestrial massive-MIMO networks.
  • Dynamic link changes in LEO constellations would require only periodic re-initialization of the consensus variables rather than full re-optimization.
  • Because the method depends only on statistical CSI, it may remain robust when instantaneous channel estimates are unavailable due to long propagation delays.

Load-bearing premise

The inter-satellite network remains connected long enough for consensus on the shared variables to be reached and statistical CSI remains accurate enough for the ergodic-rate objective.

What would settle it

Run the algorithm on a constellation graph that becomes temporarily disconnected during the consensus phase and measure whether the achieved ergodic rates drop substantially below the centralized WMMSE benchmark.

Figures

Figures reproduced from arXiv: 2512.18890 by Eva Lagunas, Symeon Chatzinotas, Tareq Y. Al-Naffouri, Xue Xian Zheng, Yuchen Zhang.

Figure 1
Figure 1. Figure 1: An illustration of networked-LEO satellite system, where multiple [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Representative ISL topologies: (a) Ring; (b) Star; and (c) Mesh. [PITH_FULL_IMAGE:figures/full_fig_p005_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: An illustration of the system geometry. D. Complexity The overall procedure for solving (19) using the proposed low-complexity solution is summarized in Algorithm 3. The computational complexity is dominated by two main steps: (i) the pre-computation of (Q (s) u ) −1 , ∀u, for constructing Θs and ξs, which incurs a complexity of O(U(S − 1)3 ); and (ii) the eigenvalue decomposition of Θs,u, ∀u ∈ Us, which i… view at source ↗
Figure 4
Figure 4. Figure 4: Convergent behavior of the proposed networked LEO satellite [PITH_FULL_IMAGE:figures/full_fig_p011_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: Sum rate comparison under various schemes. [PITH_FULL_IMAGE:figures/full_fig_p011_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: Per-satellite signaling overhead versus ISL topologies. [PITH_FULL_IMAGE:figures/full_fig_p012_6.png] view at source ↗
Figure 8
Figure 8. Figure 8: Running time comparison under various schemes. [PITH_FULL_IMAGE:figures/full_fig_p012_8.png] view at source ↗
Figure 7
Figure 7. Figure 7: Signaling overhead comparison under various schemes. [PITH_FULL_IMAGE:figures/full_fig_p012_7.png] view at source ↗
read the original abstract

Inter-satellite-link-enabled low-Earth-orbit (LEO) satellite constellations are evolving toward networked architectures that support constellation-level cooperation, enabling multiple satellites to jointly serve user terminals through cooperative beamforming. While such cooperation can substantially enhance link budgets and achievable rates, its practical realization is challenged by the scalability limitations of centralized beamforming designs and the stringent computational and signaling constraints of large LEO constellations. This paper develops a fully decentralized cooperative beamforming framework for networked LEO satellite downlinks. Using an ergodic-rate-based formulation, we first derive a centralized weighted minimum mean squared error (WMMSE) solution as a performance benchmark. Building on this formulation, we propose a topology-agnostic decentralized beamforming algorithm by localizing the benchmark and exchanging a set of globally coupled variables whose dimensions are independent of the antenna number and enforcing consensus over arbitrary connected inter-satellite networks. The resulting algorithm admits fully parallel execution across satellites. To further enhance scalability, we eliminate the consensus-related auxiliary variables in closed form and derive a low-complexity per-satellite update rule that is optimal to local iteration and admits a quasi-closed-form solution via scalar line search. Simulation results show that the proposed decentralized schemes closely approach centralized performance under practical inter-satellite topologies, while significantly reducing computational complexity and signaling overhead, enabling scalable cooperative beamforming for large LEO constellations.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The paper develops a fully decentralized cooperative beamforming framework for LEO satellite downlinks with statistical CSI. It derives a centralized WMMSE benchmark, localizes the formulation by introducing auxiliary variables for globally coupled terms, enforces consensus over arbitrary connected inter-satellite networks, eliminates the auxiliaries in closed form to obtain a low-complexity per-satellite update rule claimed to be optimal to local iteration, and demonstrates via simulations that the decentralized schemes approach centralized performance while reducing complexity and signaling overhead.

Significance. If the decentralized algorithm's performance claims hold under rigorous verification, the work would enable scalable cooperative beamforming for large LEO constellations by addressing centralized design limitations. The topology-agnostic consensus approach and closed-form elimination for parallel execution represent a practical advance, particularly given the use of statistical CSI, which aligns with LEO channel dynamics. The reported reductions in computational complexity and signaling overhead could support constellation-level cooperation under realistic constraints.

major comments (1)
  1. [Derivation of decentralized update (closed-form elimination step)] The section deriving the per-satellite update via closed-form elimination of auxiliary variables: the claim that this yields an update 'optimal to local iteration' is load-bearing for the central performance claim. Because the underlying WMMSE benchmark relies on alternating optimization, the elimination (substituting the consensus condition) holds exactly only when other satellites' variables are held fixed. In fully parallel decentralized execution, simultaneous updates can shift the fixed point away from the localized problem, so the simulated gap to centralized performance may depend on initialization or parameters rather than the claimed property. A convergence analysis or fixed-point characterization is needed to substantiate the result.
minor comments (2)
  1. [Simulation results] Simulation results (as referenced in the abstract) provide no error bars, exact parameter settings, initialization details, or step-size choices, limiting independent verification of the stated gains and reproducibility.
  2. [Abstract and results] The abstract and results section do not specify the inter-satellite topologies, number of satellites, or exact constellation parameters used to demonstrate the approach to centralized performance.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the detailed and constructive review. We address the single major comment below, providing clarification on the decentralized update derivation while acknowledging the value of additional discussion on fixed-point properties.

read point-by-point responses

  1. Referee: [Derivation of decentralized update (closed-form elimination step)] The section deriving the per-satellite update via closed-form elimination of auxiliary variables: the claim that this yields an update 'optimal to local iteration' is load-bearing for the central performance claim. Because the underlying WMMSE benchmark relies on alternating optimization, the elimination (substituting the consensus condition) holds exactly only when other satellites' variables are held fixed. In fully parallel decentralized execution, simultaneous updates can shift the fixed point away from the localized problem, so the simulated gap to centralized performance may depend on initialization or parameters rather than the claimed property. A convergence analysis or fixed-point characterization is needed to substantiate the result.

    Authors: We appreciate the referee's observation on the distinction between alternating and parallel updates. The closed-form elimination is derived by substituting the consensus constraint directly into each satellite's local objective, treating the auxiliary variables received from neighbors as fixed at their values from the preceding iteration. This produces a local optimization problem whose solution (via scalar line search) is optimal for the localized subproblem given the current consensus estimates. The overall procedure is a parallel (Jacobi-style) iteration: each satellite updates using the latest exchanged auxiliaries, then broadcasts the new values. At convergence, the consensus condition holds exactly and each local update satisfies the stationarity condition of its subproblem. While the manuscript does not contain a formal convergence proof to the centralized fixed point, the design ensures consistency with the localized WMMSE formulation under the enforced consensus, and extensive simulations across random initializations and topologies show the performance gap remains small and stable. We will add a short remark clarifying this fixed-point characterization and the parallel-update interpretation in the revised manuscript. revision: partial

Circularity Check

0 steps flagged

Derivation from external centralized WMMSE benchmark via localization, consensus, and closed-form elimination is self-contained

full rationale

The paper first derives a centralized WMMSE solution as an external performance benchmark using the ergodic-rate objective and statistical CSI. It then localizes this benchmark by introducing auxiliary variables for globally coupled terms, enforces consensus over the inter-satellite network, and eliminates the auxiliaries in closed form to obtain a per-satellite update rule. This chain relies on standard alternating optimization and consensus steps without reducing any final performance metric or optimality claim to a fitted parameter inside the paper's own equations or to a self-citation chain. Simulations compare the decentralized result against the independent centralized benchmark under practical topologies, providing external validation rather than self-referential equivalence. No self-definitional, fitted-input, or load-bearing self-citation patterns are present.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the ergodic-rate formulation being a faithful proxy for practical performance and on the assumption that consensus can be enforced over arbitrary connected topologies without additional overhead that would negate the complexity savings.

axioms (2)
  • domain assumption Inter-satellite network is connected and supports exchange of globally coupled variables
    Invoked to guarantee consensus convergence in the decentralized algorithm
  • domain assumption Statistical CSI suffices for ergodic-rate optimization
    Used to formulate the objective without instantaneous channel knowledge

pith-pipeline@v0.9.0 · 5556 in / 1307 out tokens · 23539 ms · 2026-05-16T20:47:32.937024+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Semantic Communication for Multi-Satellite Massive MIMO Transmission: A Mixture of Cooperative Modes Framework

    eess.SP 2026-05 unverdicted novelty 6.0

    Proposes MSCT and MSNCT semantic communication frameworks for multi-satellite massive MIMO image transmission, plus a MoCM mixture framework that dynamically switches modes using statistical CSI and shows simulation gains.

Reference graph

Works this paper leans on

37 extracted references · 37 canonical work pages · cited by 1 Pith paper

  1. [1]

    Laser intersatellite links in a Starlink con- stellation: A classification and analysis,

    A. U. Chaudhryet al., “Laser intersatellite links in a Starlink con- stellation: A classification and analysis,”IEEE Vehicular Technology Magazine, vol. 16, no. 2, pp. 48–56, 2021

    work page 2021

  2. [2]

    I.-R. WP5D. (2022) Future technology trends of terrestrial International Mobile Telecommunications systems towards 2030 and beyond. [Online]. Available: https://www.itu.int/pub/R-REP-M.2516

    work page 2022

  3. [3]

    (2023) Population of global offline contin- ues steady decline to 2.6 billion people in

    ITU. (2023) Population of global offline contin- ues steady decline to 2.6 billion people in

    work page 2023

  4. [4]

    Available: https://www.itu.int/en/mediacentre/Pages/ PR-2023-09-12-universal-and-meaningful-connectivity-by-2030.aspx

    [Online]. Available: https://www.itu.int/en/mediacentre/Pages/ PR-2023-09-12-universal-and-meaningful-connectivity-by-2030.aspx

    work page 2023

  5. [5]

    6G takes shape,

    J. G. Andrewset al., “6G takes shape,”IEEE BITS the Information Theory Magazine, vol. 4, no. 1, pp. 2–24, 2024

    work page 2024

  6. [6]

    Toward multi-connectivity in beyond 5G non-terrestrial networks: Challenges and possible solutions,

    M. Majamaa, “Toward multi-connectivity in beyond 5G non-terrestrial networks: Challenges and possible solutions,”IEEE Communications Magazine, vol. 62, no. 11, pp. 144–150, 2024

    work page 2024

  7. [7]

    Non-terrestrial networks for 6G: Integrated, in- telligent, and ubiquitous connectivity,

    M. A. Jamshedet al., “Non-terrestrial networks for 6G: Integrated, in- telligent, and ubiquitous connectivity,”IEEE Communications Standards Magazine, vol. 9, no. 3, pp. 86–93, 2025

    work page 2025

  8. [8]

    A vision, survey, and roadmap toward space com- munications in the 6G and beyond era,

    K. Ntontinet al., “A vision, survey, and roadmap toward space com- munications in the 6G and beyond era,”Proceedings of the IEEE, pp. 1–37, 2025

    work page 2025

  9. [9]

    and shankar, m

    “Zhang, yuchen and soualle, francis and furkan keskin, musa and liu, yuan and wu, linlong and del peral-rosado, jos ´e a. and shankar, m. r. bhavani and seco-granados, gonzalo and wymeersch, henk and al- naffouri, tareq y.”arXiv preprint arXiv: 2508.11029, 2025

    work page arXiv 2025

  10. [10]

    Distributed massive MIMO for LEO satellite networks,

    M. Y . Abdelsadeket al., “Distributed massive MIMO for LEO satellite networks,”IEEE Open Journal of the Communications Society, vol. 3, pp. 2162–2177, 2022

    work page 2022

  11. [11]

    Broadband connectivity for handheld devices via leo satellites: Is distributed massive MIMO the answer?

    ——, “Broadband connectivity for handheld devices via leo satellites: Is distributed massive MIMO the answer?”IEEE Open Journal of the Communications Society, vol. 4, pp. 713–726, 2023

    work page 2023

  12. [12]

    Formation-of-arrays antenna technology for high- throughput mobile nonterrestrial networks,

    G. Bacciet al., “Formation-of-arrays antenna technology for high- throughput mobile nonterrestrial networks,”IEEE Transactions on Aerospace and Electronic Systems, vol. 59, no. 5, pp. 4919–4935, 2023

    work page 2023

  13. [13]

    Applicability of CF-MIMO precoding to a formation of arrays (FoA) for mobile satellite communications,

    R. De Gaudenziet al., “Applicability of CF-MIMO precoding to a formation of arrays (FoA) for mobile satellite communications,”IEEE Transactions on Aerospace and Electronic Systems, vol. 61, no. 5, pp. 11 069–11 087, 2025

    work page 2025

  14. [14]

    Massive MIMO downlink transmission for multiple LEO satellite communication,

    Z. Xianget al., “Massive MIMO downlink transmission for multiple LEO satellite communication,”IEEE Transactions on Communications, vol. 72, no. 6, pp. 3352–3364, 2024

    work page 2024

  15. [15]

    Positioning-aided channel estimation for multi- LEO satellite cooperative communications,

    Y . Zhanget al., “Positioning-aided channel estimation for multi- LEO satellite cooperative communications,”arXiv preprint arXiv: 2502.05808, 2025

    work page arXiv 2025

  16. [16]

    Multi-satellite cooperative networks: Joint hybrid beamforming and user scheduling design,

    X. Zhanget al., “Multi-satellite cooperative networks: Joint hybrid beamforming and user scheduling design,”IEEE Transactions on Wire- less Communications, vol. 23, no. 7, pp. 7938–7952, 2024

    work page 2024

  17. [17]

    Semi-blind channel estimation for massive mimo LEO satellite communications,

    A. M. Daryaet al., “Semi-blind channel estimation for massive mimo LEO satellite communications,”IEEE Communications Letters, vol. 29, no. 1, pp. 75–79, 2025

    work page 2025

  18. [18]

    Block-based Kalman channel tracking for LEO satellite communication with massive MIMO,

    T. Yueet al., “Block-based Kalman channel tracking for LEO satellite communication with massive MIMO,”IEEE Communications Letters, vol. 27, no. 2, pp. 645–649, 2023

    work page 2023

  19. [19]

    Deep learning-based joint channel prediction and multibeam precoding for LEOse satellite internet of things,

    M. Yinget al., “Deep learning-based joint channel prediction and multibeam precoding for LEOse satellite internet of things,”IEEE Transactions on Wireless Communications, vol. 23, no. 10, pp. 13 946– 13 960, 2024

    work page 2024

  20. [20]

    Cell-free massive non-terrestrial networks,

    S. Kimet al., “Cell-free massive non-terrestrial networks,”IEEE Journal on Selected Areas in Communications, vol. 43, no. 1, pp. 201–217, 2025

    work page 2025

  21. [21]

    Asynchronous interference mitigation for LEO multi- satellite cooperative systems,

    X. Chenet al., “Asynchronous interference mitigation for LEO multi- satellite cooperative systems,”IEEE Transactions on Wireless Commu- nications, vol. 23, no. 10, pp. 14 956–14 971, 2024

    work page 2024

  22. [22]

    Statistical CSI-based distributed precoding design for OFDM-cooperative multi-satellite systems,

    Y . Wanget al., “Statistical CSI-based distributed precoding design for OFDM-cooperative multi-satellite systems,”arXiv preprint arXiv: 2505.08038, 2025

    work page arXiv 2025

  23. [23]

    Integrated localization and communication for effi- cient millimeter wave networks,

    G. Kwonet al., “Integrated localization and communication for effi- cient millimeter wave networks,”IEEE Journal on Selected Areas in Communications, vol. 41, no. 12, pp. 3925–3941, 2023

    work page 2023

  24. [24]

    Enabling scalable distributed beamforming via net- worked LEO satellites towards 6G,

    Y . Zhanget al., “Enabling scalable distributed beamforming via net- worked LEO satellites towards 6G,”IEEE Transactions on Wireless Communications, pp. 1–1, 2025

    work page 2025

  25. [25]

    C. A. Balanis,Antenna Theory: Analysis and Design. Wiley- Interscience, 2005

    work page 2005

  26. [26]

    Physical beam sharing for communications with multi- ple low Earth orbit satellites,

    Y .-Y . Heet al., “Physical beam sharing for communications with multi- ple low Earth orbit satellites,”IEEE Transactions on Signal Processing, vol. 72, pp. 2783–2798, 2024

    work page 2024

  27. [27]

    Massive MIMO transmission for LEO satellite commu- nications,

    L. Youet al., “Massive MIMO transmission for LEO satellite commu- nications,”IEEE Journal on Selected Areas in Communications, vol. 38, no. 8, pp. 1851–1865, 2020

    work page 2020

  28. [28]

    Channel estimation for LEO satellite massive MIMO OFDM communications,

    K.-X. Liet al., “Channel estimation for LEO satellite massive MIMO OFDM communications,”IEEE Transactions on Wireless Communica- tions, vol. 22, no. 11, pp. 7537–7550, 2023

    work page 2023

  29. [29]

    A CSI prediction scheme for satellite-terrestrial networks,

    G.-Y . Changet al., “A CSI prediction scheme for satellite-terrestrial networks,”IEEE Internet of Things Journal, vol. 10, no. 9, pp. 7774– 7785, 2023

    work page 2023

  30. [30]

    T. L. Marzettaet al.,Fundamentals of Massive MIMO. Cambridge, U.K.: Cambridge University Press, 2016

    work page 2016

  31. [31]

    On the ergodic rate lower bounds with applications to massive MIMO,

    G. Caire, “On the ergodic rate lower bounds with applications to massive MIMO,”IEEE Transactions on Wireless Communications, vol. 17, no. 5, pp. 3258–3268, 2018

    work page 2018

  32. [32]

    An iteratively weighted MMSE approach to distributed sum-utility maximization for a MIMO interfering broadcast channel,

    Q. Shiet al., “An iteratively weighted MMSE approach to distributed sum-utility maximization for a MIMO interfering broadcast channel,” IEEE Transactions on Signal Processing, vol. 59, no. 9, pp. 4331–4340, 2011

    work page 2011

  33. [33]

    Integrated communications and localization for massive MIMO LEO satellite systems,

    L. Youet al., “Integrated communications and localization for massive MIMO LEO satellite systems,”IEEE Transactions on Wireless Commu- nications, vol. 23, no. 9, pp. 11 061–11 075, 2024

    work page 2024

  34. [34]

    Distributed sparse linear regression,

    G. Mateoset al., “Distributed sparse linear regression,”IEEE Transac- tions on Signal Processing, vol. 58, no. 10, pp. 5262–5276, 2010

    work page 2010

  35. [35]

    Multi-agent distributed optimization via inexact consensus ADMM,

    T.-H. Changet al., “Multi-agent distributed optimization via inexact consensus ADMM,”IEEE Transactions on Signal Processing, vol. 63, no. 2, pp. 482–497, 2015

    work page 2015

  36. [36]

    Study on New Radio (NR) to support non-terrestrial networks,

    3GPP, “Study on New Radio (NR) to support non-terrestrial networks,” 3rd Generation Partnership Project, Technical Report TR 38.811, 2020, release 15

    work page 2020

  37. [37]

    Architectures and synchronization techniques for distributed satellite systems: A survey,

    L. M. Marreroet al., “Architectures and synchronization techniques for distributed satellite systems: A survey,”IEEE Access, vol. 10, pp. 45 375–45 409, 2022

    work page 2022