---
title: Assouad Spectrum in Fractal Geometry
url: https://www.emergentmind.com/topics/assouad-spectrum
type: topic
---

# Assouad Spectrum in Fractal Geometry

Searching arXiv for recent and foundational papers on the Assouad spectrum.
The **Assouad spectrum** is a one-parameter family of dimensions that constrains the relation between the large and small scales in local covering problems, thereby interpolating between upper box-counting dimension and quasi-Assouad dimension, and in many important settings reflecting how extremal local geometry emerges across relative scale separation. Introduced by Fraser and Yu and further developed in later work, it is defined for bounded sets \(F\subset \mathbb{R}^d\) by fixing a parameter \(\theta\in(0,1)\) and requiring the outer scale to be \(R=r^\theta\), so that the spectrum records the covering complexity of \(B(x,r^\theta)\cap F\) at scale \(r\) uniformly over \(x\in F\) [1804.09607]. Recent work has shown that the Assouad spectrum is not merely an interpolation device: it can distinguish typical graphs in Banach spaces [2601.05439], exhibit strictly concave and non-piecewise differentiable behaviour [1804.09607], encode fine self-affine structure in Gatzouras–Lalley carpets [2401.07168], and fail to satisfy Marstrand-type projection theorems in the same way as the quasi-Assouad dimension [2606.28830].

## 1. Definition and dimensional position

For a bounded non-empty set \(F\subset \mathbb{R}^d\), let \(N_r(E)\) denote the least number of radius-\(r\) balls needed to cover a bounded set \(E\). The Assouad dimension is
\[
\dim_A F = \inf\Bigl\{ s : (\exists C>0)\,(\forall 0<r<R<1)\,(\forall x\in F)\; N(B(x,R)\cap F, r) \le C\Bigl(\frac{R}{r}\Bigr)^s \Bigr\},
\]
so it probes worst-case local scaling over all locations and all pairs of scales [1804.09607].

The **Assouad spectrum** fixes the scale relation \(r=R^{1/\theta}\), equivalently \(R=r^\theta\). In one standard formulation,
\[
\dim_A^{\theta} F = \inf\Bigl\{ s : (\exists C>0)\,(\forall 0<R<1)\,(\forall x\in F)\; N\bigl(B(x,R)\cap F, R^{1/\theta}\bigr) \le C\, R^{(1-1/\theta)s} \Bigr\},
\]
for \(\theta\in(0,1)\) [1804.09607]. An equivalent formulation used in other works is
\[
\dim_{\textup{A}^{\theta} F = \inf \Biggl\{ \beta : \exists\, C>0\ \text{such that for all}\ 0<r<1,\ x\in F, \quad N_r\bigl(B^o(x,r^\theta)\cap F\bigr) \le C\Bigl(\frac{r^\theta}{r}\Bigr)^\beta \Biggr\},
\]
which makes the outer scale \(R=r^\theta\) explicit [2601.05439].

This family sits between box and Assouad-type quantities. For bounded \(F\),
\[
\overline{\dim}_B F \le \dim_A^\theta F \le \dim_{qA}F \le \dim_A F,
\]
and in fact
\[
\dim_A^\theta F \le \min\left\{ \frac{\overline{\dim}_B F}{1-\theta},\ \dim_{qA} F \right\}
\]
with \(\theta\mapsto \dim_A^\theta F\) continuous on \((0,1)\) [2601.05439]. As \(\theta\to 0\), the spectrum tends to upper box-counting dimension, while as \(\theta\to 1\) it tends to quasi-Assouad dimension [1804.09607]. This identifies the Assouad spectrum as a scale-resolved invariant positioned strictly between global one-scale quantities and fully extremal two-scale quantities.

A related notion is the **upper Assouad spectrum**
\[
\overline{\dim}_A^\theta F = \inf\Bigl\{ s : (\exists C>0)\,(\forall 0<r<R^{1/\theta}<R<1)\,(\forall x\in F)\; N(B(x,R)\cap F, r) \le C\Bigl(\frac{R}{r}\Bigr)^s \Bigr\},
\]
which a priori allows all \(r<R^{1/\theta}\) rather than the single relation \(r=R^{1/\theta}\) [1804.09607]. A fundamental theorem shows that it carries no additional information:
\[
\overline{\dim}_A^{\theta} F = \sup_{0<\theta' < \theta} \dim_A^{\theta'} F.
\]
This result explains why the Fraser–Yu definition is sufficient for recovering the corresponding “upper” data [1804.09607].

## 2. Endpoint behaviour and quasi-Assouad dimension

A central structural fact is that the Assouad spectrum always converges to the quasi-Assouad dimension at the right endpoint. Fraser, Hare, Hare, Troscheit and Yu proved that
\[
\dim_A^{\theta} F \to \dim_{qA} F \quad \text{as } \theta\to 1
\]
for all \(F\subset \mathbb{R}^d\) [1804.09607]. This shows that the natural endpoint of the spectrum is not the full Assouad dimension in general, but the quasi-Assouad dimension.

The distinction is substantive. The full Assouad dimension allows arbitrary pairs of scales \(0<r<R\), whereas the spectrum samples only power-law related pairs. This means that scale configurations responsible for \(\dim_A F\) may be too sparse or too anisotropic to be seen along the constrained relation \(r=R^{1/\theta}\). The paper “The Assouad spectrum and the quasi-Assouad dimension: a tale of two spectra” explicitly states that the full Assouad dimension can fail to appear as the right-hand limit, while quasi-Assouad always does [1804.09607].

This phenomenon is especially transparent in recent work on typical graphs. For the modulus \(\omega(t)=t(1+|\log t|)\), one has
\[
\lim_{t\to0}\frac{\log\omega(t)}{\log t}=1,\qquad \lim_{t\to0}\frac{\omega(t)}{t}= \infty.
\]
In the associated little \(\omega\)-space, a typical graph satisfies
\[
\dim_A G_f = 2,\qquad \dim_{qA} G_f = 1,
\]
while for every \(f\in C^\omega\) and every \(\theta\in(0,1)\),
\[
\dim_A^\theta G_f = 1
\]
[2601.05439]. Thus the spectrum and quasi-Assouad dimension remain at the minimal graph value \(1\), whereas the full Assouad dimension of a typical graph is maximal. The paper interprets this by observing that the “worst scale separation” appears only when \(R\) and \(r\) are allowed to vary independently; tying them by \(R=r^\theta\) suppresses that extreme behaviour [2601.05439].

This suggests that the spectrum is often more robust than \(\dim_A\) with respect to rare local irregularities. A plausible implication is that, in applications where geometric information should ignore exceptional sub-exponential scale interactions, the quasi-Assouad endpoint may be more stable than the full Assouad dimension.

## 3. Functional and structural properties

The shape of the Assouad spectrum can be much richer than early examples suggested. The 2018 paper [1804.09607] established a realisation theorem: if \(f:[0,1]\to[0,1]\) is continuous, concave, non-decreasing, satisfies \(f(0)>0\), and obeys
\[
f(\theta) \le \frac{f(0)}{1-\theta}\quad \text{for all }\theta\in[0,1],
\]
then there exists a compact set \(F\subset[0,1]\) such that
\[
\dim_A^\theta F = f(\theta)\quad\text{for all }\theta\in(0,1).
\]
Consequently, the spectrum can be strictly concave, can exhibit phase transitions of any order, need not be piecewise differentiable, and need not be constant in any neighbourhood of \(1\) [1804.09607].

This broad realisability contrasts with the behaviour of many classical examples, where the spectrum is piecewise linear or reaches a plateau near \(\theta=1\). The same paper records a conjecture that for every set \(F\subset\mathbb{R}^d\) there exists \(\theta_0\in(0,1)\) such that
\[
\overline{\dim}_A^\theta F = \dim_A^\theta F \quad \text{for all }\theta\in[\theta_0,1),
\]
but this remains a conjectural regularity statement [1804.09607].

A broader functional framework is provided by **intermediate Assouad-like dimensions**, indexed by a dimension function \(\Phi\). For a dimension function \(\Phi\), the upper \(\Phi\)-dimension is defined by constraining \(r<R^{1+\Phi(R)}\) rather than fixing a single power-law relation. This recovers the Assouad dimension when \(\Phi\equiv 0\), and the \(0\)-Assouad spectrum when \(\Phi_\theta(x)=1/\theta-1\) is constant [1903.07155]. The same paper shows that \(\Phi\)-dimensions interpolate between box, quasi-Assouad, and Assouad dimensions, and that there are central Cantor sets for which the family \(\{\dim_\Phi^+E:\Phi(x)\to 0\}\) fills the full interval \([\dim_{qA}E,\dim_AE]\) [1903.07155].

This larger viewpoint makes clear that the classical Assouad spectrum is a distinguished one-parameter slice through a more flexible family of local dimensions. A plausible implication is that some phenomena first observed for \(\theta\)-spectra may be better understood in the \(\Phi\)-framework, particularly when critical scale transitions occur at non-power-law rates.

## 4. Explicit formulas in self-affine and random settings

For self-affine sets, the Assouad spectrum frequently admits explicit formulas that reflect anisotropy and inhomogeneity. In deterministic Bedford–McMullen carpets, Fraser’s book records that for \(0<\theta\le \frac{\log m}{\log n}\),
\[
\dim_A^\theta F = \dim_B F + \theta\big(\dim_A F - \dim_B F\big),
\]
and for \(\theta\ge \frac{\log m}{\log n}\),
\[
\dim_A^\theta F = \dim_A F
\]
[2005.03763]. Thus the spectrum is piecewise affine with a single phase transition.

For **Gatzouras–Lalley carpets**, the structure is substantially richer. Banaji, Fraser, Kolossváry and Rutar proved that if \(K\) is such a carpet, then
\[
\dim_A^\theta K = \dim_B\eta(K)+\frac{\tau^*(\phi(\theta))}{\phi(\theta)},
\]
where \(\tau\) is a concave column pressure function obtained as a minimum of finitely many analytic functions and \(\tau^*\) is its concave conjugate [2401.07168]. Their corollary gives a piecewise description with four regimes: a small-\(\theta\) box-type region, interior curved regions associated to inhomogeneous columns, linear bridge intervals, and an Assouad plateau for large \(\theta\) [2401.07168]. This formula yields several phenomena “not previously observed for dynamically invariant sets”, including differentiable nontrivial spectra on the whole interval \((0,1)\), strict concavity on open intervals, and phase transitions of arbitrary odd order [2401.07168].

Random non-conformal models produce another distinctive profile. For random self-affine Bedford–McMullen carpets, Fraser and Troscheit obtained almost sure formulas for \(\dim_A^\theta F_\omega\) that are piecewise explicit, with a phase transition at
\[
\theta_c = \frac{\sum_i p_i\log m_i}{\sum_i p_i\log n_i},
\]
and a constant branch equal to the quasi-Assouad dimension for \(\theta>\theta_c\) [1805.04643]. In this model, the almost sure Assouad dimension is typically larger and more rigid than the quasi-Assouad dimension, while the spectrum sits strictly between box and quasi-Assouad dimensions on \((0,\theta_c)\) [1805.04643]. This contrasts with the deterministic Bedford–McMullen case, where \(\dim_{qA}=\dim_A\), and with some random conformal settings, where quasi-Assouad collapses to box dimension [1805.04643].

The same interpolation philosophy has recently been exported to dynamics. The paper “Mean Assouad dimension and spectrum, with applications to infinite dimensional fractals” defines the mean Assouad spectrum for a topological dynamical system \((X,T,d)\) by replacing local covering numbers with exponential-in-time growth rates over Bowen balls, and proves
\[
\mdim(X,T,d)\le \mdim_A^\theta(X,T,d)\le \min\left\{\frac{\mdim(X,T,d)}{1-\theta},\ \mdim_A(X,T,d)\right\}
\]
[2601.00233]. In infinite-dimensional Bedford–McMullen carpet systems, the mean Assouad spectrum is piecewise linear with a single phase transition at \(\theta=\log b/\log a\) [2601.00233]. This indicates that the scale-interpolation paradigm underlying the Assouad spectrum extends naturally beyond static fractal sets.

## 5. Graphs of functions and typical behaviour

Graphs of functions provide one of the most active current arenas for the Assouad spectrum. The general problem is to understand how analytic regularity constraints interact with local covering growth on \(\mathbb{R}^2\).

For \(\alpha\)-Hölder functions \(f\), Chrontsios-Garitsis and Tyson proved the upper bound
\[
\dim_{A,\mathrm{reg}}^\theta \Graph(f) \le \frac{2-\alpha-\theta}{1-\theta}
\qquad (0<\theta<\alpha),
\]
and showed it is sharp by constructing \(\alpha\)-Hölder graphs attaining equality for all \(\theta\in(0,\alpha)\) [2309.07783]. Their geometric algorithm starts from a graph satisfying both upper and lower Hölder oscillation bounds and modifies it by reflections inside shrinking squares to force large local covering numbers without violating Hölder regularity [2309.07783]. They also proved a Sobolev counterpart: if \(f\in W^{1,p}(I)\) is continuous, then
\[
\dim_{A,\mathrm{reg}}^\theta \Graph(f) \le 1 + \frac{\theta}{(1-\theta)p}
\qquad \left(0<\theta<\frac{p}{p+1}\right),
\]
and this too is sharp [2309.07783].

The 2026 paper on typical graphs takes this further by moving from individual constructions to **Baire-typical** behaviour in Banach spaces. Let \(\omega\) be a concave modulus of continuity and
\[
\eta = \lim_{t\to 0} \frac{\log\omega(t)}{\log t}.
\]
Then for a typical \(f\in c^\omega\), if \(\eta<1\),
\[
\dim_A^\theta G_f =
\begin{cases}
2-\dfrac{\eta-\theta}{1-\theta}, & 0<\theta<\eta,\\[1ex]
2, & \eta\le \theta<1.
\end{cases}
\]
In particular, in the little \(\alpha\)-Hölder space with \(\omega(t)=t^\alpha\),
\[
\dim_A^\theta G_f =
\begin{cases}
2-\dfrac{\alpha-\theta}{1-\theta}, & 0<\theta<\alpha,\\[1ex]
2, & \alpha\le \theta<1,
\end{cases}
\]
while \(\dim_A G_f=2\) and \(\dim_{qA}G_f=2\) for a typical graph [2601.05439].

These results show that the spectrum can capture a gradual transition from box-type restrictions to full local extremality. In little Hölder spaces, the regularity constraint forces
\[
\overline{\dim}_B G_f \le 2-\alpha,
\]
yet a typical graph still has full Assouad dimension \(2\) [2601.05439]. The spectrum records the exact scale at which the Hölder constraint ceases to limit local complexity. By contrast, in the log-modified modulus space \(\omega(t)=t(1+|\log t|)\), every graph has \(\dim_A^\theta G_f=1\) for all \(\theta\in(0,1)\), while a typical graph has \(\dim_A G_f=2\) [2601.05439]. This makes the spectrum an especially sharp diagnostic for distinguishing function spaces whose graphs share the same Assouad dimension.

## 6. Distortion, projections, and current frontiers

The Assouad spectrum is stable under bi-Lipschitz changes of metric, but its behaviour under weaker or geometric transformations is subtler. For Euclidean quasiconformal maps, the regularized Assouad spectrum satisfies explicit distortion inequalities. If \(f:\Omega\to\Omega'\) is \(K\)-quasiconformal and \(E\subset\Omega\) is compact, then for every \(t>0\),
\[
\left( 1 - \frac{n}{p_O(n,K)} \right)
\left( \frac1{\dim_{A,\mathrm{reg}}^{\theta(t/K)}(E)} - \frac1n \right)
\le
\frac1{\dim_{A,\mathrm{reg}}^{\theta(t)}(f(E))} - \frac1n
\]
\[
\le
\left( 1 - \frac{n}{p_O(n,K^{n-1})} \right)^{-1}
\left( \frac1{\dim_{A,\mathrm{reg}}^{\theta(Kt)}(E)} - \frac1n \right),
\]
where \(\theta(t)=1/(1+t)\) [2112.02620]. In the plane, these estimates simplify using Astala’s sharp higher-integrability exponent and can be used to classify polynomial spirals \(S_a=\{x^{-a}e^{\mathbf i x}:x>0\}\): for \(a>b>0\), there exists a quasiconformal map \(f\) with \(f(S_a)=S_b\) if and only if \(K_f\ge a/b\) [2112.02620]. The classification depends not on Hausdorff or Assouad dimension alone—both are uninformative here—but on the precise location where the spectrum reaches \(2\).

Projection theory reveals both the power and the limits of the spectrum. A 2026 paper shows that Marstrand’s projection theorem fails for the quasi-Assouad dimension and for the Assouad spectrum: there exist uniformly discrete unbounded planar sets whose projected spectra take different prescribed values on disjoint open sets of directions [2606.28830]. At the same time, the paper proves almost sure lower bounds using capacity-theoretic dimension profiles and almost sure upper bounds for bounded planar sets via a tube-counting argument [2606.28830]. Thus the projection theory of the Assouad spectrum resembles that of Assouad dimension in that classical almost sure constancy fails, but it also admits refined profile-based lower bounds analogous to box-dimension projection theory.

There are also measure-theoretic and lower-spectrum analogues. For measures, upper and lower Assouad spectra converge to the corresponding quasi-Assouad dimensions under finite quasi-upper Assouad dimension, and continuity in \(\theta\) holds under the same hypothesis [1812.05573]. On the lower side, the lower Assouad spectrum converges to the quasi-lower Assouad dimension for uniformly perfect sets in doubling metric spaces, providing an equivalent definition of the latter [1807.11629]. These developments suggest that the spectrum framework is part of a broader family of scale-interpolating dimensions rather than a stand-alone invariant.

Taken together, the literature indicates that the Assouad spectrum is most informative precisely when classical dimensions disagree or when one wants to separate “typical” from “extremal” local geometry. It can be strictly concave [1804.09607], piecewise linear [2005.03763], constant while \(\dim_A\) is maximal [2601.05439], or shaped by explicit dual variational principles in self-affine settings [2401.07168]. This suggests that the Assouad spectrum should be viewed not as a minor variant of \(\dim_A\), but as a central multiscale invariant in contemporary fractal geometry.

Source: https://www.emergentmind.com/topics/assouad-spectrum