---
title: 'Local Dimension: Invariants & Applications'
url: https://www.emergentmind.com/topics/local-dimension
type: topic
---

# Local Dimension: Invariants & Applications

Searching arXiv for recent and foundational papers on “local dimension” across the main usages represented in the provided material.
Local dimension denotes a family of invariants that quantify complexity at a point, element, state, or scale rather than only globally. In the literature represented here, the term is used for a frequency parameter attached to local realizers of posets, for the pointwise scaling exponent of measures, for an attractor-dimension inferred from recurrence statistics, for node- and scale-dependent descriptors of networks, for local intrinsic or tangent-space dimension in data analysis and deep representations, and for the minimal number of parameters needed to realize local Galois extensions over number fields [1803.08641] [1811.05075] [1803.11255] [2106.05368] [1711.01573] [2007.05383].

## 1. Posets and order-theoretic local dimension

For a finite poset \(P=(P,\le)\), a partial linear extension is a linear extension of some induced subposet. A local realizer is a nonempty family \(\mathcal L\) of partial linear extensions such that every comparable pair \(x<y\) appears in the correct order in some \(L\in\mathcal L\), while every incomparable pair \(x\parallel y\) is witnessed in both directions across the family. If
\[
p(x,\mathcal L)=|\{L\in\mathcal L:x\text{ appears in }L\}|
\quad\text{and}\quad
\mu(\mathcal L)=\max_{x\in P} p(x,\mathcal L),
\]
then
\[
\operatorname{ldim}(P)=\min\{\mu(\mathcal L):\mathcal L\text{ is a local realizer}\},
\]
and one immediately has \(\operatorname{ldim}(P)\le \dim(P)\) [1803.08641].

This invariant separates sharply from classical Dushnik–Miller dimension. The standard example has dimension \(n\) but local dimension \(3\), so the two parameters can be arbitrarily far apart [1803.08641]. More generally, the maximum local dimension of an \(n\)-element poset is \(\Theta(n/\log n)\), rather than Hiraguchi’s \(n/2\) bound for ordinary dimension. The upper bound is obtained by passing to a height-two split poset and covering the incomparability graph by complete bipartite subgraphs via the Erdős–Pyber theorem; difference graphs, whose vertices in one bipartition class have nested neighborhoods, provide the combinatorial bridge between such graph covers and families of partial linear extensions [1803.08641].

Boolean lattices supplied one of the central test cases. For the \(n\)-dimensional Boolean lattice \(2^n\), the 2018 bounds were
\[
\frac{n}{2e\ln n}\le \operatorname{ldim}(2^n)\le n,
\]
hence \(\operatorname{ldim}(2^n)=\Theta(n/\log n)\) [1803.08641]. A later result showed that for every \(n\ge 4\), the local dimension of the Boolean lattice \(B_n\) is strictly less than \(n\), with explicit upper bounds
\[
\operatorname{ldim}(B_n)\le \left\lceil \tfrac34 n\right\rceil
\quad\text{and}\quad
\operatorname{ldim}(B_n)\le \left\lceil \tfrac57 n\right\rceil
\]
from two different constructions [2512.10413].

Structural graph-theoretic behavior is markedly different from that of Boolean dimension. Local dimension is unbounded for planar posets, is not bounded by the maximum local dimension of the blocks, and is not bounded in terms of the tree-width of the cover graph alone, even when tree-width is at most \(3\) [1712.06099]. By contrast, it is bounded in terms of the path-width of the cover graph [1710.09467]. The removable-pair program gives a different line of structure theory: the removable-pair conjecture asks whether every poset \(P\) with \(|P|\ge 3\) has \(x,y\) satisfying \(\operatorname{ldim}(P)\le \operatorname{ldim}(P-\{x,y\})+1\); this was proved for height-two posets, and a removable-quadruple theorem shows that every \(|P|\ge 5\) poset has four elements whose deletion increases local dimension by at most \(2\) [1803.08641].

## 2. Pointwise local dimension of measures and multifractal theory

In geometric measure theory, local dimension is the pointwise scaling exponent of a measure. For a Borel measure \(\mu\) on a metric space and \(x\in \operatorname{supp}\mu\),
\[
\dim_{\loc}(\mu,x)=\lim_{r\to 0}\frac{\log \mu(B(x,r))}{\log r},
\]
when the limit exists, with lower and upper local dimensions defined by \(\liminf\) and \(\limsup\) respectively [1811.05075]. This quantity records the local power-law behavior of \(\mu(B(x,r))\) as \(r\to 0\), and exact dimensionality means that the lower and upper local dimensions coincide \(\mu\)-almost everywhere [1504.05354].

For Moran constructions in complete doubling metric spaces, local dimensions admit cylinder-based descriptions. If \(\{E_i:i\in\Sigma\}\) is a Moran construction and \(x_i\) is coded by \(i\in\Sigma_\infty\), then
\[
\underline{\dim}_{\rm loc}(\mu,x_i)
=\liminf_{n\to\infty}\frac{\log\mu(E_{i|n})}{\log\diam(E_{i|n})},
\qquad
\overline{\dim}_{\rm loc}(\mu,x_i)
=\limsup_{n\to\infty}\frac{\log\mu(E_{i|n})}{\log\diam(E_{i|n})}.
\]
Under additional nondegeneracy and \(L^2\)-summability assumptions, the local dimension exists for \(\mu\)-almost every point and is given by the ratio of average entropy to average log-contraction [1504.05354].

Existence is not automatic. A class of Moran measures was constructed for which the local dimension fails to exist at every point of the support: lower and upper local dimensions are distinct everywhere, and the classical \(L^q\)-spectrum \(\tau_\mu(q)\) does not exist. Nevertheless, full Hausdorff and packing spectra can still be obtained for the level sets defined by lower and upper local dimensions, yielding a generalized multifractal formalism [1811.05075]. This is one of the clearest demonstrations that pointwise local dimension and global free-energy functions can decouple.

For self-affine measures, several exact-dimensionality results were established. In a generic setting of self-affine and almost self-affine constructions, projected Bernoulli or Gibbs-type measures are exact dimensional, with local dimension equal almost everywhere to the information dimension and characterized by the zero of a superadditive pressure functional [1105.2411]. For invariant measures on infinitely generated self-affine sets, the local dimension exists for almost all translations, equals the minimum of the local Lyapunov dimension and the ambient dimension, and implies exact dimensionality for ergodic measures [1302.1435]. In one-dimensional self-similar settings satisfying the finite neighbour condition, the set of attainable local dimensions is a finite union of compact intervals, with the number of intervals bounded above by the number of non-trivial maximal strongly connected components in a finite directed graph construction [2101.07400]. For dominated irreducible planar self-affine measures, the local dimension spectrum can be analyzed by a symbolic Legendre-transform formalism, and deterministic multifractal results were obtained in both the \((0,1)\) and \((1,2)\) dimension ranges under separation and projection hypotheses [2401.13626].

The random \(\beta\)-transformation provides a further explicit model. For generalised multinacci \(\beta\), the local dimensions of the natural invariant measure \(\nu_\beta\) are bounded in terms of the frequency \(M_k(\omega,x)\) with which the orbit visits switch intervals, and when \(\lim_{k\to\infty}M_k/k\) exists the exact local dimension is
\[
d(\nu_\beta,(\omega,x))
=\frac{\log|A|}{\log\beta}
+\frac{\log 2}{\log\beta}\Bigl(1-\lim_{k\to\infty}\frac{M_k(\omega,x)}{k}\Bigr).
\]
Points of unique \(\beta\)-expansion satisfy \(M_k\equiv 0\) and therefore realize a distinct local-dimension value [1211.0454].

A recent extension concerns convolution. For regular measures \(\mu,\nu\) on a metric group with translation-invariant metric, upper and lower local-dimension bounds for \(\mu\) can be transferred to \(\mu*\nu\) on interior points of \(\operatorname{supp}\mu\cdot\operatorname{supp}\nu\). On the real line, under a “no big gaps” assumption on \(\operatorname{supp}\nu\), one obtains corresponding interior-point bounds for \(\mu*\nu\); at special boundary or gap-endpoint configurations, exact formulas reduce the local dimension of the convolution to that of an associated product measure [2502.18337].

## 3. Local attractor dimension in dynamical systems and climate simulations

In dynamical systems, local dimension is attached to an invariant attractor. For a measure-preserving system \((\Omega,T,\mu)\) and a point \(x_\ell\) on the attractor, one assumes
\[
\mu(B_r(x_\ell))\sim C\,r^{d_\ell}\qquad (r\to 0),
\]
and defines
\[
d_\ell
=
\lim_{r\to 0}\frac{\log \mu(B_r(x_\ell))}{\log r}.
\]
This local attractor dimension is linked to recurrence statistics, predictability of individual configurations, and the information gained from observing them [1803.11255].

Extreme-value theory yields a practical estimator. For the distance observable \(g(R)=-\log R\), the conditional exceedance distribution is a Generalized Pareto law with shape \(\xi=0\) and scale \(\sigma=1/d_\ell\). If \(R_j\) are distances to a reference state \(x_\ell\), \(u_R=e^{-u}\) is the distance threshold corresponding to a high quantile \(u\), and \(n\) exceedances satisfy \(R_j<u_R\), then the maximum-likelihood estimator is
\[
\hat d_\ell
=
\frac{1}{\frac1n\sum_{j=1}^n \log(u_R/R_j)},
\]
with asymptotic standard error
\[
sd(\hat d_\ell)\approx \frac{\hat d_\ell}{\sqrt{m(1-\tau)}}=\frac{\hat d_\ell}{\sqrt n},
\]
where \(\tau\) is the threshold quantile [1803.11255].

The implementation is recurrence-based. One fixes a reference time, computes distances from the reference state to the rest of the orbit, optionally excludes immediate temporal neighbors to avoid short-record bias, applies the observable \(g(R)=-\log R\), and estimates \(\hat d_i\) from the exceedances above a high threshold. The paper recommends high thresholds \(\tau\ge 99\%\), enough exceedances \(n\approx 300\)–\(500\), and an explicit likelihood-ratio test comparing the theoretically required \(\xi=0\) model with a free-\(\xi\) alternative [1803.11255].

In the PUMA climate-model experiments, using 1000 years of daily sea-level-pressure data over the North Atlantic, the mean estimated local dimension rose from approximately \(18\) to approximately \(25\) as the threshold increased from \(99\%\) to \(99.9\%\), while remaining far below the ambient dimension \(782\). Likelihood-ratio rejections of \(\xi=0\) dropped from about \(25\%\) at \(\tau=99\%\) to about \(10\%\) at \(\tau=99.9\%\), and the estimated shape parameter moved toward \(0\) from about \(-0.08\) to about \(-0.06\). Even with a 1000-year record there was no convergence to the reported global information-dimension proxy \(D_1\approx 100\), indicating slow convergence; in 5-year segments, retaining direct temporal neighbors biased \(\hat d\) downward by up to \(20\%\) at high thresholds [1803.11255].

The same study used local dimension to complement principal component analysis. Days below the \(2\%\) local-dimension quantile exhibited a pronounced Atlantic dipole, described as NAO\(^+\)-like, and showed enhanced zonal wavenumber \(1\) and \(2\) power; days above the \(98\%\) quantile were nearly climatological. The paper interprets high \(d_\ell\) as many degrees of freedom being active locally and therefore lower instantaneous predictability, while low \(d_\ell\) indicates a more effective low-dimensional regime [1803.11255].

## 4. Local dimension on networks

One network-theoretic definition is based on metric balls in graph distance. For a connected unweighted network, let \(n_i(r)\) be the number of nodes at exactly distance \(r\) from node \(i\), and
\[
B_i(r)=\sum_{s=1}^r n_i(s)
\]
the number of nodes within distance at most \(r\). If \(B_i(r)\simeq \alpha r^{D_i(r)}\), then the scale-dependent local dimension is defined by
\[
D_i(r)=\frac{d\log B_i(r)}{d\log r},
\]
and in discrete form
\[
D_i(r)\approx \frac{r\,n_i(r)}{B_i(r)}.
\]
This construction is intended to detect regions with distinct dimensional structure and to identify borders [1209.2476].

Applied to power-grid networks, the resulting dimension profiles separated two geographically embedded systems. For the continental European power grid \((N=2783,\langle k\rangle\approx 2.8)\), the maximum average local dimension was reported as \(D_{\max}\approx 2.14\); for the western-US grid \((N=4941,\langle k\rangle\approx 5.3)\), it was \(D_{\max}\approx 2.70\). The European grid was therefore described as substantially more planar, whereas the western-US system had topological dimension higher than its intrinsic embedding-space dimension \(2\) [1209.2476].

A second network definition is diffusion-based and intrinsic. In Euclidean space, diffusion from a point source has a Green’s function whose peak time and amplitude determine the dimension; on graphs, one replaces the Laplacian by the normalized graph Laplacian \(L=K^{-1}(K-A)\), runs consensus dynamics
\[
\partial_t p(t)=-L\,p(t),\qquad p(0)=m_i e_i,
\]
and for each ordered pair \((i,j)\) extracts the peak \((\hat t_{ij},\hat p_{ij})\) of \(p_j(t\mid i)\). The pairwise relative dimension is then
\[
d_{ij}
=
-2\,\frac{\ln \hat p_{ij}}{\ln[4e\pi\sigma \hat t_{ij}]},
\]
and the local dimension at scale \(\tau\) is the average
\[
\mathcal D_i(\tau)
=
\frac{\sum_{j\ne i} d_{ij}\,\mathbf 1_{\hat t_{ij}<\tau}}
{\sum_{j\ne i}\mathbf 1_{\hat t_{ij}<\tau}}.
\]
As \(\tau\to\infty\), this approaches the stationary local dimension [2106.05368].

This diffusion-based formalism was validated on one-dimensional lines and two-dimensional grids, where the peak of the global dimension \(\mathcal D(\tau)\) converged to the Euclidean dimension as \(N\to\infty\), and on Delaunay triangulations with inhomogeneous “added mass,” where local dimension reflected boundary effects and diffusion-lens behavior [2106.05368]. In applications, local dimension correlated with residue flexibility in structural protein graphs, with Pearson \(\rho\approx 0.55\) across 12 proteins at mid-to-long timescales, while the global dimension correlated with average protein rigidity at \(\rho\approx 0.73\). In epidemic simulations, the optimal predicting scale \(\tau^*\) for infectivity grew roughly linearly with transmission probability \(\beta\) below the threshold and diverged near \(\beta_c\), where the correlation between \(\mathcal D_i(\tau^*)\) and infectivity approached unity. For graph classification, a Random Forest using the mean, standard deviation, and skewness of stationary \(\mathcal D_i\) distributions achieved \(95\%\) accuracy on Erdős–Rényi, Watts–Strogatz, and Barabási–Albert ensembles [2106.05368].

## 5. Local intrinsic dimension in data analysis and deep representations

In one machine-learning usage, local dimension is the tangent-space dimension of a representation manifold. If \(M\subset \mathbb R^D\) is the set of activations produced by a deep network at a given layer and \(p\in M\), then the local dimension at \(p\) is
\[
d=\dim T_p M.
\]
A practical estimator constructs a cloud of nearby activations around an anchor image, forms the activation matrix \(A\), computes its singular values, and identifies a dramatic drop. The paper uses the rule
\[
\frac{\sigma_j}{\sigma_{j+1}}>\theta
\]
with a very large threshold, such as \(10^5\), and sets the estimated local dimension to \(j\). Three perturbation schemes were examined—random cropping, small rotations, and additive Gaussian noise—and Gaussian noise was reported as the closest approximation to an arbitrary infinitesimal perturbation in image space [1711.01573].

For VGG-19, the reported local dimensions declined rapidly with depth and were similar across the ImageNet classes Persian Cat, Container Ship, and Volcano. In the Conv5 block, the estimates were approximately \(6.0\times 10^4\), \(5.1\times 10^4\), \(4.8\times 10^4\), and \(3.0\times 10^4\) for Conv5\_1 through Conv5\_4; at pool5, fc6, fc7, and fc8 they were approximately \(8000\), \(1580\), \(1500\), and \(1000\), respectively [1711.01573]. The paper interprets these measurements as evidence that deeper layers compress nuisance directions and increasingly constrain the representation to lower-dimensional tangent spaces.

A different data-analytic notion is local intrinsic dimension, defined through nearest-neighbor statistics. If \(r_{i1}<r_{i2}\) are the first and second nearest-neighbor distances from \(x_i\), then
\[
\mu_i=\frac{r_{i2}}{r_{i1}}
\]
follows the Pareto density
\[
f(\mu_i\mid d)=d\,\mu_i^{-(d+1)},\qquad \mu_i\ge 1,
\]
under the local-uniformity assumptions used in the TWO-NN framework. The local intrinsic dimension of \(x_i\) is then the intrinsic dimension \(d_{z_i}\) of the manifold to which the point is assigned [1902.10459].

The Hidalgo algorithm casts this as a Bayesian mixture-of-Pareto problem with neighborhood homogeneity. It infers latent labels \(z_i\in\{1,\dots,K\}\), manifold-specific dimensions \(d_k\), and mixing weights \(p_k\), using the likelihood
\[
P(\mu_i\mid z_i=k,d_k)=d_k\,\mu_i^{-(d_k+1)}
\]
together with a soft constraint that \(q\)-nearest neighbors tend to share the same label. The defaults reported were \(q=3\) and \(\xi=0.8\), and the practical complexity summary was \(O(N^2)\) for moderate \(N\) [1902.10459]. In the reported applications, Hidalgo found \(K=4\) manifolds with dimensions approximately \((11.8,12.9,13.2,22.7)\) in a protein-folding trajectory, \(K=2\) manifolds with dimensions approximately \((16.2,31.9)\) in fMRI voxel time series, and \(K=4\) manifolds with dimensions approximately \((5.4,6.3,7.0,9.1)\) in financial firm data [1902.10459].

## 6. Arithmetic local dimension and terminological relationships

In arithmetic geometry, local dimension has a different meaning. Let \(G\) be a finite group and \(K\) a number field. The local dimension \(\operatorname{ld}_K(G)\) is the smallest integer \(d\ge 0\) for which there exists a finite family of \(G\)-extensions
\[
E_i/F_i,\qquad \operatorname{trdeg}_K(F_i)=d,
\]
such that for all but finitely many finite places \(\mathfrak p\) of \(K\), every \(G\)-extension of \(K_{\mathfrak p}\) is a specialization of some \(E_i/F_i\) at a \(K_{\mathfrak p}\)-rational place of \(F_i\) [2007.05383]. The Hilbert–Grunwald dimension \(\operatorname{hgpd}_K(G)\) is defined similarly using simultaneous local conditions, and the inequalities
\[
\operatorname{ld}_K(G)\le \operatorname{hgpd}_K(G)\le \operatorname{pd}_K(G)\le \operatorname{ed}_K(G)
\]
hold by definition [2007.05383].

The main theorem gives a uniform upper bound:
\[
\operatorname{ld}_K(G)\le 2.
\]
More precisely, for every finite group \(G\) and number field \(K\), there exists a single \(G\)-extension \(E/F\) with \(\operatorname{trdeg}_K(F)=2\) such that, away from finitely many primes, every local \(G\)-extension of \(K_{\mathfrak p}\) is realized by specialization. If \(G\) admits a generic extension over \(K\), then one may take \(F\simeq K(u,v)\) and obtain \(\operatorname{hgpd}_K(G)\le 2\) as well [2007.05383]. The same paper records a lower bound: if \(G\) contains any non-cyclic abelian subgroup, then \(\operatorname{ld}_K(G)\ge 2\); for cyclic groups or certain semidirect products of cyclic groups of coprime prime-power orders, \(\operatorname{ld}_K(G)=1\) is described as achievable in some cases [2007.05383].

Taken together, these usages suggest that “local dimension” is a shared label for several distinct localization procedures rather than a single formal invariant. In posets it counts the maximum per-element frequency in a local realizer; in measure theory it is a pointwise scaling exponent of \(\mu(B(x,r))\); in dynamical systems it is recovered from recurrence extremes; in networks it is extracted from ball growth or diffusion transients; in machine learning it is a tangent-space or manifold-membership quantity; and in arithmetic geometry it is the minimal transcendence degree required to parametrize almost all local realizations [1803.08641] [1811.05075] [1803.11255] [2106.05368] [1711.01573] [2007.05383]. A plausible implication is that the enduring value of the term lies in replacing a global notion of dimension by one conditioned on a local neighborhood, local witness system, or local field.

Source: https://www.emergentmind.com/topics/local-dimension