pith. sign in

arxiv: 2604.24656 · v1 · submitted 2026-04-27 · 💻 cs.IT · math.IT

Densification Converses for Walker Constellations With Explicit Constants and Reuse Scaling Laws

Ali Khalesi , Fran\c{c}ois Baccelli This is my paper

Pith reviewed 2026-05-07 17:57 UTC · model grok-4.3

classification 💻 cs.IT math.IT
keywords constellationsdensificationexplicitreuseunderassociationboundedbounds
0
0 comments X

The pith

In Walker LEO constellations, densification under full frequency reuse makes downlink SINR coverage and ergodic spectral efficiency vanish as O(1/N) because interference grows linearly in N while the signal from the nearest visible satellite remains uniformly bounded.

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

Walker constellations are grids of low-Earth-orbit satellites whose relative positions stay fixed as they orbit. The paper models a typical ground user whose connection is always to the nearest satellite visible above the horizon. Earth curvature fixes the size of this visible cap, so only a bounded number of satellites can ever be seen no matter how many are added overall. Under power-law path loss, a simple two-level antenna model, random fading, and noise, the authors show that the total interference collected from all other visible satellites must increase at least linearly with the total satellite count N. The desired signal strength, however, cannot grow because the visible region is geometrically fixed. Consequently the signal-to-interference ratio falls, and both the probability that this ratio exceeds any fixed threshold and the average data rate per Hertz go to zero. Explicit finite-N upper bounds of order 1/N are derived. When satellites transmit only with probability q (frequency reuse by thinning), collapse is avoided only if qN remains bounded, i.e., the reuse factor must grow linearly with N.

Core claim

we prove that increasing the total satellite count N=N_oN_s forces the aggregate interference to grow at least linearly in N, while the useful signal remains uniformly bounded above. Consequently, the downlink SINR coverage probability at any fixed threshold and the ergodic spectral efficiency both vanish as N→∞.

Load-bearing premise

The performance is evaluated under the invariant (stationary) measure induced by the constellation/Earth dynamics, combined with the restriction of association to the bounded visible cap determined by Earth geometry and the specific two-level antenna-gain and power-law path-loss model.

Figures

Figures reproduced from arXiv: 2604.24656 by Ali Khalesi, Fran\c{c}ois Baccelli.

Figure 1
Figure 1. Figure 1: Mean serving distance E[D0] vs. densification. Distance shrinkage explains the initial gains at moderate N before interference dominates. 10 3 10 4 Total satellites N = NoNs 10 15 10 14 10 13 10 12 M e a n interfere nce [I] (n orm alize d) Interference growth vs densification (collapse mechanism) MC: q=1 (full reuse) MC: q=0.1 (reuse 10) MC: q=0.03 (reuse 33) MC: q=min(1,600/N) Linear guide (tail-fit): E[I… view at source ↗
Figure 2
Figure 2. Figure 2: Mean interference growth vs. N (collapse mechanism). Full reuse exhibits near-linear growth; fixed thinning reduces the slope; the scaling q(N) = min(1, c/N) flattens E[I] for large N. Reproducibility. All figures are generated by the accompany￾ing Python script (Monte Carlo over phase shifts, fading, and PRB activity) with the parameters in Table I. VIII. CONCLUSION This paper provided a set of densificat… view at source ↗
Figure 5
Figure 5. Figure 5: Scaling validation against conservative theorem constants (order-correct, loose): normalized ratios view at source ↗
read the original abstract

We establish densification converses for Walker LEO constellations under nearest-visible association in the full-frequency-reuse setting. Performance is evaluated under the invariant (stationary) measure induced by the constellation/Earth dynamics on the user--constellation ``phase state.'' A key Walker-specific feature, absent from unbounded planar models, is that association is restricted to a bounded visible cap determined by Earth geometry. Under power-law path-loss, a two-level antenna-gain model, i.i.d.\ nonnegative fading with unit mean and finite second moment, and nonzero noise, we prove that increasing the total satellite count $N=N_oN_s$ forces the aggregate interference to grow at least linearly in $N$, while the useful signal remains uniformly bounded above. Consequently, the downlink SINR coverage probability at any fixed threshold and the ergodic spectral efficiency both vanish as $N\to\infty$. The key technical ingredient is a deterministic visibility-annulus block lemma, uniform over all sufficiently large constellations and all "phase states", showing that a fixed fraction of visible satellites lies in a distance annulus strictly inside the horizon; this yields explicit finite-$N$ collapse bounds. In particular, we derive nonasymptotic $O(1/N)$ upper bounds on both coverage and ergodic spectral efficiency. Finally, in the case of frequency reuse through independent thinning, with activity probability $q$, we show that avoiding densification collapse necessarily requires $qN=O(1)$, equivalently a reuse factor $\Omega(N)$, and we obtain a corresponding explicit $O(1/(qN))$ upper bound.

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.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on geometric visibility constraints and stationarity of the user-constellation phase process; no free parameters are fitted to data and no new entities are postulated.

axioms (2)
  • domain assumption Existence of an invariant (stationary) measure induced by the constellation/Earth dynamics on the user-constellation phase state.
    Invoked to evaluate performance under stationary conditions for all large constellations.
  • domain assumption Power-law path-loss, two-level antenna-gain model, i.i.d. nonnegative fading with unit mean and finite second moment, nonzero noise, and nearest-visible association within the Earth-geometry visible cap.
    Standard wireless channel and association assumptions used throughout the proof.

pith-pipeline@v0.9.0 · 5587 in / 1585 out tokens · 145071 ms · 2026-05-07T17:57:23.265263+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

6 extracted references · 6 canonical work pages

  1. [1]

    Stochastic geometry and dynamical system analysis of Walker satellite constellations,

    C.-S. Choi and F. Baccelli, “Stochastic geometry and dynamical system analysis of Walker satellite constellations,” IEEE Trans. V eh. Technol. , vol. 75, no. 3, pp. 5127–5132, 2026

    work page 2026

  2. [2]

    Downlink coverage and rate analysis of low Earth orbit satellite con- stellations using stochastic geometry,

    N. Okati, T. Riihonen, D. Korpi, I. Angervuori, and R. Wichman, “Downlink coverage and rate analysis of low Earth orbit satellite con- stellations using stochastic geometry,” IEEE Trans. Commun. , vol. 68, no. 8, pp. 5120–5134, 2020

    work page 2020

  3. [3]

    Nearest neighbor and contact distance distribution for binomial point process on spherical surfaces,

    A. Talgat, M. A. Kishk, and M.-S. Alouini, “Nearest neighbor and contact distance distribution for binomial point process on spherical surfaces,” IEEE Commun. Lett. , vol. 24, no. 12, pp. 2659–2663, 2020

    work page 2020

  4. [4]

    Cox point processes for multi altitude LEO satellite networks,

    C.-S. Choi and F. Baccelli, “Cox point processes for multi altitude LEO satellite networks,” IEEE Trans. V eh. Technol. , vol. 73, no. 10, pp. 15916–15921, 2024

    work page 2024

  5. [5]

    A unified asymptotic analysis of area spectral efficiency in ultradense cellular networks,

    A. AlAmmouri, J. G. Andrews, and F. Baccelli, “A unified asymptotic analysis of area spectral efficiency in ultradense cellular networks,” IEEE Trans. Inf. Theory , vol. 65, no. 2, pp. 1236–1248, 2019

    work page 2019

  6. [6]

    Escaping the densification plateau in cellular networks through mmWave beam- forming,

    A. AlAmmouri, M. Gupta, F. Baccelli, and J. G. Andrews, “Escaping the densification plateau in cellular networks through mmWave beam- forming,” IEEE Wireless Commun. Lett. , vol. 9, no. 11, pp. 1874–1878, 2020

    work page 2020