---
title: 'Outer Box Dimension: Theory & Applications'
url: https://www.emergentmind.com/topics/outer-box-dimension
type: topic
---

# Outer Box Dimension: Theory & Applications

Outer box dimension usually refers to the **upper box dimension**, or **upper Minkowski dimension**, of a set, defined from the asymptotic behavior of covering numbers at small scales. In the cited literature this notion is used for bounded subsets of Euclidean space and for sets viewed through explicitly chosen metrics, including the Euclidean metric on \(\mathbb R^n\) and the spherical metric on \(\partial \mathbb H^n\). It appears in projection theory, hyperbolic-group orbital sets, inhomogeneous attractors, invariant graphs, and level sets of generic Hölder functions. A later extension, the **generalized upper box dimension**, is defined for arbitrary sets and coincides with the classical upper box dimension on bounded sets [1808.00933] [2407.08404] [2510.00521].

## 1. Terminology and basic definition

For a bounded set \(E\subseteq \mathbb R^n\), the upper box dimension is defined from covering numbers. Writing \(N_r(E)\) or \(N_\delta(E)\) for the least number of sets of diameter \(r\) or \(\delta\) needed to cover \(E\), one has
\[
\overline{\dim}_B E=\limsup_{r\to0}\frac{\log N_r(E)}{-\log r}.
\]
The lower box dimension is obtained by replacing \(\limsup\) with \(\liminf\). When the two agree, their common value is the box dimension [1901.11014] [2102.05979] [2407.08404].

Several papers identify this upper box dimension with the notion often called **outer box dimension**. One paper states that in its setting upper box dimension is exactly the usual upper Minkowski dimension and is “the same notion often called outer box dimension in some contexts,” while another explicitly says that “outer box dimension” means the upper box dimension of an inhomogeneous attractor [1808.00933] [2407.08404].

The covering-number definition has equivalent formulations. One paper notes that one may equivalently use the maximal number of disjoint balls of radius \(\delta\) with centers in the set, and another defines the upper box dimension by the maximal number of pairwise disjoint closed \(\delta\)-balls with centers in a bounded metric space [1808.00933] [1802.00533]. These equivalent formulations make the invariant adaptable to Euclidean, spherical, and more general metric settings, provided the metric is fixed in advance.

A basic qualification is that the classical definition is naturally tied to bounded sets. The generalized upper box dimension was introduced precisely to remove this restriction: for bounded sets it agrees with the classical upper box dimension, but it is defined for arbitrary sets by means of the Assouad spectrum and upper spectrum [2510.00521].

## 2. Capacity profiles and projection theory

In projection theory, the ordinary upper box dimension is often not the correct quantity controlling the typical dimension of orthogonal projections. A capacity-based reformulation introduces, for \(s>0\) and \(r>0\),
\[
\phi_r^s(x)=\min\left\{1,\frac{r^s}{|x|^s}\right\},
\]
together with the associated energy and capacity
\[
\mathcal E_r^s(\mu)=\iint \phi_r^s(x-y)\,d\mu(x)\,d\mu(y), \qquad
C_r^s(E)=\left(\inf_{\mu\in\mathcal M(E)}\mathcal E_r^s(\mu)\right)^{-1}.
\]
The lower and upper \(s\)-box dimension profiles are then defined by
\[
\underline{\dim}_B^{\,s}E=\liminf_{r\to0}\frac{\log C_r^s(E)}{-\log r}, \qquad
\overline{\dim}_B^{\,s}E=\limsup_{r\to0}\frac{\log C_r^s(E)}{-\log r}.
\]
For \(s\ge n\), these profiles coincide with the ordinary box dimensions, but for \(s<m\) they capture the correct almost-sure dimension of projections onto \(m\)-planes [1901.11014].

The projection theorem in this framework states that for every non-empty Borel set \(E\subset\mathbb R^n\),
\[
\underline{\dim}_B T_V(E)\le \underline{\dim}_B^{\,m}E,\qquad
\overline{\dim}_B T_V(E)\le \overline{\dim}_B^{\,m}E
\]
for all \(V\in G(n,m)\), with equality for \(\gamma_{n,m}\)-almost all \(V\). Thus the “typical” projected upper box dimension is governed by the \(m\)-profile rather than by \(\overline{\dim}_B E\) itself [1901.11014].

A complementary line of work shows that Assouad-type regularity can force the ordinary upper box dimension to be preserved under almost all projections. If \(F\subseteq\mathbb R^n\) is bounded and \(\overline{\dim}_A F\le m\), then for almost all \(V\in G(n,m)\),
\[
\overline{\dim}_B(\pi_V F)=\min\{m,\overline{\dim}_B F\}.
\]
The same conclusion holds under the weaker threshold \(\dim_{qA}F\le m\), and the threshold \(m\) is sharp: if the Assouad dimension exceeds \(m\), preservation can fail dramatically [1911.04857].

Both approaches also quantify exceptional directions. Capacity methods yield Hausdorff-dimension bounds on the set of subspaces where the projected upper box dimension falls below the profile value, while the Assouad-spectrum approach gives exceptional-set bounds strictly below the dimension \(m(n-m)\) of the Grassmannian [1901.11014] [1911.04857].

## 3. Orbital sets, Poincaré exponents, and hyperbolic geometry

A major dynamical appearance of outer box dimension occurs for **Kleinian orbital sets**. If \(\Gamma\) is a Kleinian group acting on \(\mathbb D\) and \(C\) is a non-empty bounded subset of \(\mathbb D\), the orbital set is
\[
\Gamma(C)=\bigcup_{g\in\Gamma} g(C).
\]
The principal result is
\[
\dim_{B} \Gamma(C) = \max\left\{\dim_{B} C,\ \delta(\Gamma),\ \dim_{B} L(\Gamma)\right\},
\]
where \(L(\Gamma)\) is the limit set, \(\delta(\Gamma)\) is the Poincaré exponent, and the dimension is taken with respect to the **Euclidean metric on \(\mathbb R^n\)**, not the hyperbolic metric [2105.11298].

The formula isolates three distinct sources of complexity: the intrinsic complexity of the seed \(C\), orbit-growth complexity through \(\delta(\Gamma)\), and boundary accumulation through \(\dim_B L(\Gamma)\). The same paper gives examples showing that none of the three terms can be removed in general. For instance, if \(\Gamma\) is generated by a single hyperbolic element and \(C\) is a line segment, then
\[
\dim_B \Gamma(C)=1>0=\delta(\Gamma)=\dim_B L(\Gamma),
\]
whereas a single parabolic generator with \(C\) a point yields
\[
\delta(\Gamma)=\frac12>0=\dim_B L(\Gamma)=\dim_B C.
\]
These examples show that the maximum really has three independent entries [2105.11298].

The boundedness hypothesis on \(C\) in the hyperbolic metric is essential. The proof uses the estimate
\[
N_\delta(g(C)) \,\lesssim\, N_{\delta/|g'(0)|}(C),
\]
which depends on uniform conformal distortion control for bounded sets. The same paper constructs an explicit counterexample with
\[
C=\{1-\beta^n : n\in\mathbb{N}\}\subseteq \mathbb D,
\qquad
\Gamma=\langle h\rangle,
\]
for which
\[
\dim_B(\Gamma)=\dim_B(C)=\delta(\Gamma)=0,
\qquad
\dim_B \Gamma(C)=1.
\]
The failure occurs because \(\Gamma(C)\) is dense in \((-1,1)\), so its closure contains an interval [2105.11298].

A related result concerns parabolic subgroup orbits on the boundary of hyperbolic space. If \(P\le \operatorname{Isom}(\mathbb H^n)\) is parabolic and \(\xi\in\partial \mathbb H^n\) is not fixed by \(P\), then
\[
\delta_P=\dim_B(P\xi),
\]
where the box dimension is computed in the spherical metric on \(\partial\mathbb H^n\). This ties upper box dimension directly to the critical exponent of the Poincaré series
\[
\mathcal P_G(s)=\sum_{g\in G} e^{-s\, d(o,go)}
\]
through \(\delta_G=\inf\{s\in\mathbb R:\mathcal P_G(s)<\infty\}\) [1808.00933].

## 4. Pressure, self-similarity, and inhomogeneous attractors

For certain countable-state dynamical systems, outer box dimension can be read from thermodynamic data. If \(T\) is an Expanding-Markov-Rényi interval map with branches \(I_n=[a_n,b_n]\), the pressure of the geometric potential is
\[
P(t)=\lim_{n\to\infty}\frac1n \log\sum_{T^n x=x}\prod_{i=0}^{n-1}\bigl|T'(T^i x)\bigr|^{-t},
\]
and there is a critical threshold \(s_\infty\) such that \(P(t)=+\infty\) for \(t<s_\infty\) and \(P(t)\) is finite for \(t>s_\infty\). The boundary of the Markov partition satisfies
\[
s_\infty \le \dim_B\Big(\bigcup_{n=1}^\infty [a_n,b_n]\Big),
\]
with equality whenever the box dimension exists [1808.00933].

Inhomogeneous iterated function systems supply another central setting. If \(\mathbb I=\{S_i\}_{i=1}^N\) is an IFS of similarities with homogeneous attractor \(F\), condensation set \(C\), and inhomogeneous attractor
\[
F_C=\bigcup_{i=1}^N S_i(F_C)\cup C,
\]
then the associated orbital set satisfies \(F_C=F\cup\mathcal O=\overline{\mathcal O}\). With \(s\) denoting the similarity dimension determined by
\[
\sum_{i=1}^N \operatorname{Lip}(S_i)^s=1,
\]
the general upper-box estimate is
\[
\max\{\overline{\dim}_{\mathrm B}F,\ \overline{\dim}_{\mathrm B}C\}
\le
\overline{\dim}_{\mathrm B}F_C
\le
\max\{s,\ \overline{\dim}_{\mathrm B}C\}.
\]
Under SOSC, or under the open set condition in Euclidean space, this becomes the exact formula
\[
\overline{\dim}_{\mathrm B}F_C
=
\max\{\overline{\dim}_{\mathrm B}F,\ \overline{\dim}_{\mathrm B}C\}
\]
[1301.1881] [2407.08404].

The expected max-formula can fail when overlaps are present. For the planar self-similar system
\[
S_1(x)=\lambda x,\qquad S_2(x)=\lambda x+(1-\lambda,0),
\qquad
C=\{0\}\times[0,1],
\]
one has
\[
F=[0,1]\times\{0\}, \qquad \overline{\dim}_{\mathrm B}F=\overline{\dim}_{\mathrm B}C=1,
\]
but if \(\lambda\in(1/2,1)\) is the reciprocal of a Garsia number, then
\[
\dim_{\mathrm B}F_C^\lambda = \frac{\log(4\lambda)}{\log 2}>1.
\]
For the inhomogeneous Bedford–McMullen-type fractal comb with \(n\ge3\),
\[
\overline{\dim}_{\mathrm B}F_C^n = 2-\frac{\log 2}{\log n}>1.
\]
These counterexamples show that upper box dimension may depend on the specific IFS and can exceed both \(\overline{\dim}_{\mathrm B}F\) and \(\overline{\dim}_{\mathrm B}C\) [2407.08404].

An open problem remains in dimension one: for an inhomogeneous self-similar set \(F_C\subseteq\mathbb R\), it is asked whether
\[
\overline{\dim}_{\mathrm B}F_C=\max\{\overline{\dim}_{\mathrm B}F,\ \overline{\dim}_{\mathrm B}C\}
\]
always holds [2407.08404].

## 5. Graphs, level sets, and oscillatory geometry

For invariant graphs of hyperbolic skew products, box dimension is frequently given by pressure equations. If
\[
\Phi:\Xi\to \mathbb R
\]
is the unique invariant graph of a three-dimensional skew product and \(d\) is the unique solution of
\[
P_{\tau|\Xi}\big(\varphi^{cu}+(d-1)\varphi^u\big)=0,
\]
with stable-slice dimension \(d^s\) determined by
\[
P_{\tau|\Xi}(d^s\varphi^s)=0,
\]
then in the non-Lipschitz regime the graph satisfies
\[
\dim_{\mathrm B}(\Phi)=d^s+d.
\]
In the Lipschitz regime the dimension is smaller: for an Anosov base \(\dim_{\mathrm B}(\Phi)=2\), and for a one-dimensional hyperbolic attractor \(\dim_{\mathrm B}(\Phi)=d^s+1\) [1702.06416].

For generalized affine recurrent fractal interpolation functions, the controlling quantities are the spectral radii of **restricted vertical scaling matrices**. If \(f\) satisfies the standing assumptions (A1)–(A4), then the main upper bound is
\[
\Gamma f \leq 1+\max\Big\{ \frac{\log \rho_1}{\log T_1},\frac{\log \rho_2}{\log T_2},\ldots,\frac{\log \rho_m}{\log T_m},0 \Big\},
\]
where \(\rho_r\) is the limit of the spectral radii of the restricted matrices in the \(r\)-th strongly connected component. Under positivity of the scaling functions on the relevant invariant sets, irreducibility and Perron–Frobenius theory yield the exact formula
\[
\dim_B \Gamma f = \max\{d_1^*, d_2^*,\ldots, d_m^*,1\},
\]
with
\[
d_r^*=1+\frac{\log\rho_r}{\log T_r}
\]
whenever infinite variation occurs on an appropriate basic interval [2510.02754].

Upper box dimension of level sets behaves differently from Hausdorff dimension and lower box dimension. For generic \(1\)-Hölder-\(\alpha\) functions on a compact fractal \(F\), the upper-box theory is described as measuring how much level sets can **spread across the fractal**, or how widely the generic function can **oscillate** on it. If \(F\) has nice connection type, then there is a dense \(G_\delta\subset C_1^\alpha(F)\) such that every \(f\in G_\delta\) has the same typical upper-box dimension of level sets,
\[
D_{\overline{B}*}^f(F)=D_{\overline{B}*}(\alpha,F).
\]
For the cube \([0,1]^p\),
\[
D_{\overline{B}*}(\alpha,[0,1]^p)\le p-\alpha,
\]
and for the Sierpiński triangle \(\Delta\),
\[
D_{\overline{B}*}(\alpha,\Delta)\le \frac{\log 3}{\log 2}-\alpha
\]
[2306.04790].

Arithmetic orbit problems furnish another oscillatory setting. For \(\alpha\beta\) orbits on the circle, if \(\alpha\in E(\tau)\), \(\beta\in W(\tau_1)\), and \(2\tau<\tau_1+2\), then
\[
\dim_B(\{x_n\})\ge 1-\frac{2(\tau_1-1)}{\tau_2}.
\]
A highlighted corollary states that if \(\alpha\) is not a Liouville number and \(\beta\) is a Liouville number, then any \(\alpha\beta\) orbit, and hence any \(\alpha\beta\) set, has
\[
\dim_B(\{x_n\})=1
\]
[2102.05979].

## 6. Generalizations, related invariants, and distinctions

The most explicit extension of outer box dimension beyond bounded sets is the **generalized upper box dimension**
\[
\overline{\dim}_{GB} F := \limsup_{\theta\rightarrow 0}\dim_{A}^\theta F
= \lim_{\theta\rightarrow 0}\overline{\dim}_{A}^\theta F.
\]
For bounded \(F\subset\mathbb R^d\), one has
\[
\overline{\dim}_{GB} F=\overline{\dim}_B F.
\]
This generalized dimension retains standard properties such as monotonicity, finite-union stability, bi-Lipschitz invariance, closure invariance, and product subadditivity, and it satisfies
\[
\dim_P F\le \overline{\dim}_{GB} F\le \dim_A F.
\]
Its modified version recovers packing dimension:
\[
\dim_P F=\overline{\dim}_{MGB} F.
\]
Moreover,
\[
\overline{\dim}_{GB} F=0 \iff \dim_{qA} F=0
\]
[2510.00521].

A topological analogue arises from persistent homology. For a bounded subset \(X\) of a metric space, the \(PH_i\)-dimension is defined by the threshold exponent controlling
\[
E_\alpha^i(x) = \sum_{(b,d)\in PH_i(x)} (d-b)^\alpha
\]
uniformly over all finite \(x\subset X\). In degree \(0\), this recovers the MST dimension and equals the upper box dimension. In the plane, if \(X\subset\mathbb R^2\) and
\[
\dim_{\mathrm{box}}(X)>1.5,
\]
then
\[
\dim_{PH}^1(X)=\dim_{\mathrm{box}}(X).
\]
This gives a nontrivial comparison between upper box dimension and a persistent-homological fractal invariant [1802.00533].

A frequent source of confusion is the phrase **box space** in coarse geometry. The asymptotic dimension of a box space
\[
\square_\sigma G=\bigsqcup_{G_\alpha\in \sigma} G/G_\alpha
\]
is a different invariant: it concerns the coarse disjoint union of finite quotients of a group and is measured by large-scale coverings rather than small-scale covering growth. The relevant standard term there is the **asymptotic dimension of the box space** or **box family**, not outer box dimension in the upper-Minkowski sense [1508.05018].

Taken together, these developments show that outer box dimension is both a classical covering invariant and a nodal point connecting thermodynamic formalism, hyperbolic orbit growth, projection theory, self-similar and inhomogeneous constructions, arithmetic dynamics, generic oscillation phenomena, and more recent spectrum-based generalizations. The recurring pattern is that the invariant is simple at the definitional level, but its exact value is often governed by additional structures: pressure thresholds, Poincaré exponents, capacity profiles, Assouad-type regularity, or spectral radii of transfer-like matrices.

Source: https://www.emergentmind.com/topics/outer-box-dimension