Mobility Information Capacity in the Sky: A Gaussian Channel Perspective

Weijie Yuan, Fan Liu, Shuangyang Li, Lin Zhou and Pingzhi Fan

arXiv: 2609.10436v1 · PDF · 9 September 2026
Categories: cs.IT, cs.SY, eess.SY, math.IT
Licence: CC BY 4.0 The site shows the text.

Abstract

Existing airspace capacity metrics mainly quantify occupancy or flow, although the same number of aerial vehicles may result in different motion alternatives. This letter establishes mobility information capacity as an information-theoretic measure for low-altitude wireless networks. It quantifies the maximum information that trajectory observations reveal about intentional maneuver inputs under a given maneuver-resource budget and environmental uncertainty. For a common fixed feedback architecture, we formulate a lifted linear-Gaussian mobility channel and derive its finite-horizon log-determinant capacity. Cost and uncertainty whitening gives the spatiotemporal mobility eigenmodes, whose optimal maneuver-resource allocation follows water-filling. When the number of nondegenerate modes grows linearly with time and their efficiencies become asymptotically symmetric, we arrive at the Shannon-like law R_M^{\rm G}=\frac{B_M}{2}\log_2(1+\mathrm{MNR}), where MNR is the mobility-to-noise ratio. The proposed measure opens a motion-centric capacity perspective for the sky, while remaining a distinguishability baseline rather than a collision- or geometry-constrained airspace capacity.

Items 8

Notations

V0BF

(\cdot)^{\mathsf T} denotes transpose; \mathbf I denotes an identity matrix of appropriate dimension; \operatorname{tr}(\cdot), \det(\cdot), and \operatorname{rank}(\cdot) denote the trace, determinant, and rank, respectively. For symmetric matrices, \mathbf A\succeq\mathbf 0 (\mathbf A\succ\mathbf 0) denotes positive semidefiniteness (positive definiteness). \mathbb E[\cdot] denotes expectation, \operatorname{supp}(\cdot) denotes the support of a distribution, and [x]^+\triangleq\max\{x,0\}. The notation \mathbf x\perp\mathbf y denotes statistical independence, \mathcal N(\mathbf m,\mathbf R) denotes a Gaussian distribution with mean \mathbf m and covariance \mathbf R. All logarithms are to base two unless otherwise stated.

Proposition

Proposition 1 (Gaussian mobility information capacity)

519X

For (?)–(?),

\begin{aligned} C_M^{\rm G}(T)=\max_{\substack{\mathbf{K}_U\succeq\mathbf{0}\\ \operatorname{tr}(\mathbf{Q}_K\mathbf{K}_U)\leq P_MT}}\;&\frac{1}{2}\log_2\det\!\bigl(\mathbf{I}+\\[-1mm] &\mathbf{R}_{Z,K}^{-1/2}\mathbf{G}_K\mathbf{K}_U\mathbf{G}_K^{\mathsf T} \mathbf{R}_{Z,K}^{-1/2}\bigr), \end{aligned}

where \mathbf{K}_U denotes the covariance matrix of \mathbf{U}.

Used by Proof

Proof of Proposition 1

Let \mathbf{U} have mean \mathbf{m}_U and covariance \mathbf{K}_U. Its average cost is \operatorname{tr}(\mathbf{Q}_K\mathbf{K}_U) +\mathbf{m}_U^{\mathsf T}\mathbf{Q}_K\mathbf{m}_U. Centering \mathbf{U} preserves mutual information while eliminating the second cost term, so an optimal input may be taken to be zero mean. For fixed \mathbf{K}_U, Gaussian extremality maximizes h(\mathbf{Y}) for a Gaussian output with covariance \mathbf{G}_K\mathbf{K}_U\mathbf{G}_K^{\mathsf T} +\mathbf{R}_{Z,K} and the bound is attained by a zero-mean Gaussian input. Thus, it remains to optimize the covariance \mathbf{K}_U under maneuver-resource constraint, which yields (1). The factor 1/2 follows from the real-valued Gaussian model.

Proposition

Proposition 2 (Mobility mode decomposition)

3F3F

C_M^{\rm G}(T)=\max_{\substack{p_\ell\geq0\\\sum_{\ell=1}^{L(T)}p_\ell\leq P_MT}} \frac{1}{2}\sum_{\ell=1}^{L(T)}\log_2(1+\lambda_\ell p_\ell),

The optimal resource allocation is

p_\ell^\star = \left(\nu-\frac{1}{\lambda_\ell}\right)^+, \qquad \sum_{\ell=1}^{L(T)}p_\ell^\star=P_MT,

where \nu is the water level.

Used by Proof

Proof of Proposition 2

Define \widetilde{\mathbf K}_U =\mathbf Q_K^{1/2}\mathbf K_U\mathbf Q_K^{1/2}, so that \operatorname{tr}(\widetilde{\mathbf K}_U)\leq P_MT. Using the singular-value decomposition \widetilde{\mathbf G}_K =\mathbf H\mathbf\Sigma\mathbf V^{\mathsf T} and Sylvester’s determinant identity, (1) can be expressed in the eigenmode coordinates of \widetilde{\mathbf G}_K. Hadamard’s inequality shows that the optimum is attained when \mathbf V^{\mathsf T}\widetilde{\mathbf K}_U\mathbf V is diagonal. Denoting its diagonal entries by p_\ell yields (2), whose KKT conditions give the water-filling solution (2). Importantly, the eigenmode decomposition depends on the known finite-horizon model and uncertainty statistics. Hence, the water-filling solution is an offline design before the mission.

Uses Proposition 1

Corollary

Corollary 1 (Shannon-like long-horizon mobility information rate)

WIB4

R_M^{\rm G} \triangleq \lim_{T\to\infty}\frac{C_M^{\rm G}(T)}{T} = \frac{B_M}{2}\log_2(1+\mathrm{MNR}),

where \mathrm{MNR} \triangleq \frac{\lambda P_M}{B_M}, \frac{C_M^{\rm G}(T)}{T} denotes the finite-horizon mobility information rate.

Proof of Corollary 1

Equal allocation p_\ell=P_MT/L(T) is feasible in (2). Since \lambda_\ell(T)\geq\lambda_{\min}(T), it gives

\frac{C_M^{\rm G}(T)}{T} \geq \frac{L(T)}{2T} \log_2\!\left( 1+\lambda_{\min}(T)\frac{P_MT}{L(T)} \right).

Conversely, since \lambda_\ell(T)\leq\lambda_{\max}(T), replacing all mobility gains by \lambda_{\max}(T) can only increase the capacity. Jensen’s inequality together with \sum_\ell p_\ell\leq P_MT then gives

\frac{C_M^{\rm G}(T)}{T} \leq \frac{L(T)}{2T} \log_2\!\left( 1+\lambda_{\max}(T)\frac{P_MT}{L(T)} \right).

Under \lambda_{\min}(T)\to\lambda and \lambda_{\max}(T)\to\lambda, both bounds converge to ({B_M}/{2})\log_2(1+\lambda P_M/B_M), proving (1).

Uses Proposition 2

Remark

Remark 1 (Intermediate observation architectures)

V7G3

Full-trajectory recording is not necessary for a positive long-horizon information rate. Periodic sampling can also support a positive rate if it retains a number of modes proportional to the horizon whose gains remain uniformly bounded away from zero. For sliding-window processing, the long-horizon rate also depends on whether information extracted from earlier windows is preserved.

Source and licence

The text on this page is from arXiv:2609.10436v1 by Weijie Yuan, Fan Liu, Shuangyang Li, Lin Zhou and Pingzhi Fan, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.

The record of each item is in analysis/objects/2609/2609.10436.jsonl.