Dimensionless Compactness Invariants

• Dimensionless compactness measures are scale-invariant quantities that quantify the compactness of metric or functional spaces and gravitational systems using unitless ratios and entropies.
• They rely on constructs like Kolmogorov ε-entropy and ball-measure of non-compactness to yield explicit asymptotic bounds and sharp criteria in analysis and operator theory.
• In astrophysics, measures such as the M/R ratio assess gravitational binding with bounds like Buchdahl's, ensuring a universal, scale-free evaluation of compact objects.

A dimensionless compactness measure is a scale-invariant invariant that quantifies, through purely unitless ratios or entropies, either: (1) the degree to which a subset of a metric or functional space is compact (or fails to be), or (2) the gravitational self-binding of an astrophysical or geometric object. Such measures play central roles in analysis, geometric measure theory, general relativity, and PDE theory, providing a rigorous, quantitative framework for distinguishing "compact" from "merely bounded" behavior. Their dimensionless nature ensures invariance under rescaling of the relevant geometric, analytic, or physical parameters and allows comparison across disparate contexts.

1. Metric Entropy and Kolmogorov ε-Entropy

The foundational concept of a dimensionless compactness measure in functional and metric-analytic settings is the metric entropy—specifically, the Kolmogorov ε-entropy. For a totally bounded subset $A$ of a metric space $(X,d)$, the ε-covering number $N(A,\varepsilon)$ and ε-packing number $M(A,\varepsilon)$ are defined by

$$N(A,\varepsilon) = \min\Big\{N: \exists x_1,\dots,x_N\in X \;\text{such that}\; A\subset\bigcup_{i=1}^N B(x_i,\varepsilon)\Big\}$$

$$M(A,\varepsilon) = \max\Big\{\#Q: Q\subset A, \; d(x,y)\ge\varepsilon \; \forall x\ne y\in Q\Big\}$$

The ε-entropy is then $H(A,\varepsilon) = \ln N(A,\varepsilon)$ or, equivalently, $\ln M(A,\varepsilon)$. This entropy is invariant under simultaneous scaling of the metric and, for function spaces or spaces of currents, becomes a sharp, dimensionless quantifier of compactness. For example, in Lipschitz-free spaces over $[-1,1]^n$, explicit exponential bounds (and their asymptotics) for $H(\varepsilon)$ in terms of the packing numbers yield rates of compactness directly analogous to Ascoli–Arzelà or Riesz–Kolmogorov criteria but sharpened into quantitative invariants (Pauw, 27 Apr 2025). Specifically, the entropy scales like $\varepsilon^{-n}\ln(1/\varepsilon)$ for $n$-dimensional cases.

2. Ball-Measure of Non-Compactness for Operators

In Banach or quasi-Banach spaces, the ball-measure of non-compactness of a bounded linear operator $T:X\to Y$ is defined by

$$\beta(T) = \inf\Big\{r>0 : \exists y_1,\dots,y_m\in Y, \; T(B_X)\subset\bigcup_{k=1}^m (y_k + rB_Y)\Big\}$$

where $B_X$ is the unit ball. For Sobolev embeddings into weak-$L^q$ spaces (where compactness fails), $\beta(T)$ coincides exactly with the operator norm $\|T\|$ when $p<\infty$, resulting in a dimensionless, domain- and scale-invariant sharp defect (Lang et al., 2020). At the $L^{\infty}$ endpoint, $\beta(T) = 2^{-k/n}\|T\|$ gives a universal, again dimensionless, strict defect compared to the norm.

3. Dimensionless Compactness in General Relativity and Astrophysics

In gravitational physics, the compactness $\mathcal{C} = M/R$ (using geometric units $G = c = 1$) is the paradigmatic dimensionless measure. For gravitationally bound objects, $\mathcal{C}$ quantifies the gravitational potential depth, light deflection, and horizon proximity. Notable universal dimensionless bounds arise:

• Buchdahl's bound: $\mathcal{C} \leq 4/9$ for any static, isotropic fluid sphere.
• For neutron stars constrained by nuclear theory, QCD, and observation, $\mathcal{C} \leq 1/3$ is enforced, mass-independently, by high-density QCD limitations (Rezzolla et al., 14 Oct 2025).
• For spherically symmetric horizonless ultra-compact configurations possessing light rings, rigorous lower bounds are established:
  • In anisotropic matter (with monotonic density/pressure): $\max_r \{2m(r)/r\} \geq 1/3$ (Hod, 4 Feb 2025).
  • In isotropic matter (with negative trace): $\max_r \{2m(r)/r\} > 7/12$ (Hod, 2018).
  • This compactness is dimensionless: under rescaling of mass and radius, $\mathcal{C}$ remains invariant.

4. Microlocal and Directional Dimensionless Measures

Microlocal compactness forms (MCFs) are advanced tools in $L^p$ analysis for capturing oscillation and concentration phenomena that distinguish strong from weak compactness. For $L^p$-bounded sequences, the MCF $\omega$ is characterized via a Fourier-based, bilinear duality bracket

$\langle f \otimes \overline{\Psi} , \omega \rangle$

where both test functions $f$ and multipliers $\Psi$ are scale- and unitless, with all structure living on unit spheres in phase space or value space. The resulting measure is strictly dimensionless: MCFs vanish if and only if the sequence is strongly compact, and their nontriviality quantifies the unitless defects of compactness that persist under rescaling, reparametrization, or domain dilation (Rindler, 2012).

5. Quantitative Compactness in Lipschitz-Free and Geometric Measure Spaces

In geometric measure spaces, particularly the Lipschitz-free space over $[-1,1]^n$, elements correspond exactly to 0-dimensional flat cycles $T$ with vanishing "boundary" (i.e., $\chi(T)=0$). The $G$-norm, defined as the infimum mass of a 1-current filling $T$, supports a metric structure where covering and packing numbers can be quantitatively computed. Sets with uniform $G$-bound and vanishing defect-of-finite-mass modulus are precisely the relatively $G$-compact ones. Entropy bounds for ε-nets (packing/separated) yield explicit, double-exponential estimates in the dimension, thus providing a dimensionless invariant $H(\varepsilon)$ as the measure of compactness (Pauw, 27 Apr 2025).

Setting	Compactness Measure	Notable Values/Bounds
Metric/Functional spaces	$H(A,\varepsilon), \beta(T)$	Invariant under rescaling; explicit asymptotics
Sobolev embedding $L^{p,\infty}$	$\beta(T)=\|T\|$	Coincides with norm for $p<\infty$
Neutron star (astrophysics)	$\mathcal{C}=M/R$	$0.1$–$0.2$ typical; $\leq 1/3$ universal bound
Ultra-compact object (horizonless)	$C=\max_r(2m(r)/r)$	$\geq 1/3$ (generic); $>7/12$ (isotropic, $T<0$)
Microlocal compactness form (MCF)	Vanishing $\omega$	Dimensionless, scale-free criterion

6. Scaling Laws, Invariance, and Physical Implications

A common structural feature of all dimensionless compactness measures is their invariance under the natural scaling group of their problem class—whether metric, analytic, or geometric. In Kolmogorov entropy settings, covering/packing numbers and their logarithms are invariant under simultaneous scaling of metrics or norms. In operator theory, the ball-measure of non-compactness and associated constants are independent of dimensionful quantities. In general relativity, replacing mass and radius with $M\mapsto \lambda M, R\mapsto \lambda R$ leaves $\mathcal{C}=M/R$ unchanged. These properties render dimensionless compactness invariants central to comparison across scales and domains and underpin their foundational role in both mathematical theory and physical modeling.

7. Limitations, Extensions, and Theoretical Boundaries

Dimensionless compactness measures generally rely on regularity and absence of singularities. For horizonless ultra-compact objects, the lower bounds require monotonicity of density or pressure and the dominant energy condition; their violation obviates universal scale-invariant bounds (Hod, 4 Feb 2025). In operator theory, the coincidence of non-compactness measure and norm depends on properties such as the shrinking property and fails at certain critical endpoints (Lang et al., 2020). In geometric settings, entropy calculations may shift in the presence of singular chains or non-flat boundaries. Extensions to non-Riemannian or higher-curvature gravity would require adaptation of the invariant but do not compromise its dimensionless character.

---

Dimensionless compactness measures are universal, structurally robust quantities encoding the essence of compactness phenomena in diverse analytic, geometric, and physical frameworks. Their invariance under scaling and direct physical or analytic interpretability underscore their centrality in modern mathematical and physical analysis.