---
title: Bounded Assouad Characteristic Overview
url: https://www.emergentmind.com/topics/bounded-assouad-characteristic
type: topic
---

# Bounded Assouad Characteristic Overview

Searching arXiv for the exact phrase and closely related Assouad-type notions to ground the article in current literature.
“Bounded Assouad characteristic” is not a standard named invariant in the cited Assouad-dimension literature. In several relevant arXiv treatments, the phrase is explicitly absent, and the formal content is carried instead by a family of Assouad-type quantities and witnesses: the Assouad dimension \(\dim_A\), lower dimension \(\dim_L\), Assouad spectrum, Assouad–Nagata dimension \(\ANdim\) via dilation control functions, and upper Assouad codimension via Aikawa-type integral conditions [2308.10377] [2203.04943] [2309.07362]. In that sense, the phrase is best interpreted as a collective label for bounded or controlled worst-case scaling behavior rather than as a single universally fixed definition.

## 1. Terminological status and nearest formal notions

A potential source of confusion is the expectation that “bounded Assouad characteristic” denotes one canonical scalar invariant. The cited papers do not support that usage. The graph-theoretic paper on Assouad–Nagata dimension states that it “does **not** introduce a separate named invariant called a ‘bounded Assouad characteristic’,” and identifies the closest formal objects as dilation control functions, \(\ell\)-almost control functions, \((k,\ell)\)-centred sets, \((k,\ell)\)-partitions, and \((k,\ell,\mathcal H)\)-strong-constructions [2308.10377]. The paper on parabolic Julia sets likewise states that it does **not** define or use a notion called “bounded Assouad characteristic,” and instead develops the Assouad dimension, lower dimension, Assouad spectrum, lower spectrum, and the corresponding notions for the \(h\)-conformal measure [2203.04943]. The planar quasiregular-distortion paper makes the same point, and treats “bounded/controlled Assouad-type behavior” through the Assouad dimension, the regularized Assouad spectrum, and porosity [2309.07362].

The nearest formal notions therefore split into several regimes. At small scales, \(\dim_A\), \(\dim_L\), and their spectra quantify uniform upper and lower covering growth. In large-scale graph geometry, \(\ANdim\) expresses boundedness through the existence of a dilation control function. In codimension theory, upper Assouad codimension measures neighborhood thickness from below and is characterized by an upper Aikawa condition. This suggests that “bounded Assouad characteristic” is most accurately treated as an umbrella expression for several inequivalent but tightly related witnesses of controlled scaling.

## 2. Core Assouad-type dimensions and spectra

For a subset \(E\) of a metric space \(X\), the Assouad dimension is defined by
\[
\dim_A E=\inf\left\{s\ge 0:\exists C,\rho>0\text{ such that }\forall\,0<r<R<\rho,\ 
\sup_{x\in E}N_r(E\cap B(x,R))\le C\left(\frac{R}{r}\right)^s\right\}.
\]
A global version is also available:
\[
\dim_A E=\inf\left\{s\ge 0:\exists C>0\text{ such that }\forall\,0<r<R,\ 
\sup_{x\in E}N_r(E\cap B(x,R))\le C\left(\frac{R}{r}\right)^s\right\}.
\]
If \(E\) is bounded, the local and global definitions coincide, and a metric space \(X\) is doubling iff \(\dim_A X<\infty\) [1602.02180].

The lower dimension is the dual quantity
\[
\dim_L E=\sup\left\{s\ge 0:\exists C,\rho>0\text{ such that }\forall\,0<r<R<\rho,\ 
\inf_{x\in E}N_r(E\cap B(x,R))\ge C\left(\frac{R}{r}\right)^s\right\}.
\]
Thus \(\dim_A\) records a uniform upper scaling rate, whereas \(\dim_L\) records a uniform lower scaling rate [1602.02180]. For compact sets, the standard chain
\[
\dim_L F \le \dim_H F \le \dim_B F \le \dim_A F
\]
is emphasized in the Julia-set setting [2203.04943].

A spectral refinement imposes a scale relation between \(r\) and \(R\). For \(\theta\in(0,1)\), one formulation is
\[
\dim_A^\theta F := \inf\left\{s \ge 0 : \exists C>0\ \forall\,0<r=R^{1/\theta}<R<1,\ x\in F,\ 
N_r(B(x,R)\cap F)\le C\left(\frac{R}{r}\right)^s\right\},
\]
while the upper spectrum allows \(r\le R^{1/\theta}\):
\[
\overline{\dim}_A^\theta F := \inf\left\{s\ge 0:\exists C>0\ \text{such that for all } 0<r\le R^{1/\theta}<R<1,\ x\in F,\ 
N_r(B(x,R)\cap F)\le C\left(\frac{R}{r}\right)^s\right\}.
\]
The generalized upper box dimension is then defined by
\[
\overline{\dim}_{GB} F := \limsup_{\theta\rightarrow 0}\dim_{A}^\theta F = \lim_{\theta\rightarrow 0}\overline{\dim}_{A}^\theta F,
\]
and for bounded \(F\subset\mathbb R^d\) one has \(\overline{\dim}_{GB}F=\overline{\dim}_B F\) [2510.00521].

## 3. Boundedness via control functions and codimension

In graph classes, bounded Assouad-type behavior is formalized by Assouad–Nagata dimension. For a weighted graph \(G\), an \(n\)-dimensional control function \(f:\mathbb R^+\to\mathbb R^+\) requires that for every \(r>0\) there exist \(n+1\) collections \(\mathcal C_1,\dots,\mathcal C_{n+1}\) covering \(V(G)\), each \(\mathcal C_i\) being \(r\)-disjoint, and every \(S\in\mathcal C_i\) satisfying
\[
\wdiam_G(S)\le f(r).
\]
A function \(f\) is a dilation if \(f(r)\le cr\) for all \(r>0\), and \(\ANdim(G)\) is the least \(n\) for which \(G\) admits an \(n\)-dimensional control function that is also a dilation [2308.10377]. The paper proves that for every proper minor-closed class \(\mathcal G\),
\[
\ANdim(\mathcal G)=2,
\]
and that \(\ANdim(\mathcal G)=1\) iff \(\mathcal G\) has bounded treewidth. For subdivision-closed classes, bounded Assouad–Nagata dimension is equivalent to excluding some fixed minor [2308.10377]. In this setting, a “bounded Assouad characteristic” is naturally represented by the existence of a dilation control function.

A different boundedness formalism appears in upper Assouad codimension. In a doubling metric measure space \((X,d,\mu)\), for a nonempty set \(E\subset X\), the upper Assouad codimension is the infimum of all \(Q\ge 0\) such that there exists \(c>0\) with
\[
\frac{\mu(E_r\cap \mathrm{B}(z,R))}{\mu(\mathrm{B}(z,R))}\ge c\Bigl(\frac rR\Bigr)^Q
\]
for every \(z\in E\) and all \(0<r<R<\operatorname{diam}(E)\) [2311.12748]. The same paper introduces the upper Aikawa condition: for \(a>0\), \(E\) satisfies it if for every \(\varepsilon>0\) there exists \(\delta>0\) such that
\[
\frac{\int_{\mathrm{B}(z,R)}\mathbf 1_K(y)\operatorname{dist}(y,E)^a\,d\mu(y)}
{\mu(\mathrm{B}(z,R))}
\le \varepsilon R^a
\]
whenever \(z\in E\), \(0<R<\operatorname{diam}(E)\), and \(K\subset X\) is Borel with \(\mu(\mathrm{B}(z,R)\setminus K)\le \delta \mu(\mathrm{B}(z,R))\). The main equivalence is that the upper Assouad codimension is the infimum of all \(a>0\) for which the upper Aikawa condition holds [2311.12748]. This converts a neighborhood-thickness bound into an integral criterion and connects the codimension to a local fractional Hardy inequality.

## 4. Accessibility under subsets and monotonicity under limits

One of the strongest subset-stability results is the accessibility theorem for \(\dim_A\) and \(\dim_L\). If \(E\) is a subset of a doubling metric space, then for every
\[
\alpha\in[0,\dim_A E]
\]
there exists \(F\subseteq E\) such that
\[
\dim_A F=\alpha,
\]
and similarly, for every
\[
\alpha\in[0,\dim_L E]
\]
there exists \(F\subseteq E\) such that
\[
\dim_L F=\alpha.
\]
This is Theorem 1 of [1602.02180]. The proof reduces to Euclidean space by snowflaking \((X,\rho^\varepsilon)\), applying the Assouad embedding theorem, and using the scaling identities
\[
\dim_A f(K)=\frac{\dim_A K}{\varepsilon}, \qquad \dim_L f(K)=\frac{\dim_L K}{\varepsilon}.
\]
In Euclidean space the argument passes through the star dimension \(\dim^*E\), defined from \(p\)-adic cube counts by
\[
\dim^* E = \lim_{p\to\infty}\frac{\log H_p(E,Q)}{\log p} = \inf_{p>1}\frac{\log H_p(E,Q)}{\log p},
\]
with \(\dim^*E=\dim_A E\) for \(E\subseteq\mathbb R^d\) [1602.02180].

Complementing accessibility under subsets is monotonicity under Gromov–Hausdorff limit constructions. The pseudo-cone framework generalizes both tangent cones and asymptotic cones, and if \(P\) is a pseudo-cone of a metric space \(X\), then
\[
\dim_A P \le \dim_A X.
\]
The same paper gives lower- and conformal-Assouad analogues:
\[
\dim_{LA}X\le \dim_{LA}P, \qquad \mathrm{Cdim}_A P \le \mathrm{Cdim}_A X
\]
for the relevant hypotheses [1911.07455]. This suggests that bounded Assouad-type data are simultaneously flexible under taking subsets and monotone under pseudo-cone limit formation.

## 5. Explicit evaluations in fractal and dynamical models

Concrete calculations show what these boundedness notions detect. For Bedford–McMullen carpets with \(n>m\), if \(s\) is the number of occupied rows and \(t\) is the maximal number of rectangles in a row, then
\[
\dim_A(S)=\log_m(s)+\log_n(t).
\]
For Lalley–Gatzouras carpets, with \(\beta_y\) the dimension of the vertical Cantor projection and \(\beta_x\) the maximal Hausdorff dimension of the horizontal fibers,
\[
\dim_A(S)=\beta_x+\beta_y.
\]
In both families the proofs rely on approximate squares for the upper bound and weak tangents containing product sets \(C_x\times C_y\) for the lower bound [1003.0930]. The same paper gives a sharp dichotomy for conformal Assouad dimension: it is either \(0\) or \(\dim_A(S)\), depending on whether a tangent contains an interval factor or the carpet is uniformly disconnected [1003.0930].

In holomorphic dynamics, for a parabolic Julia set \(J(T)\) with Hausdorff dimension \(h\),
\[
\dim_A J(T)=\max\{1,h\}, \qquad \dim_L J(T)=\min\{1,h\}.
\]
The full Assouad spectrum is computed:
\[
\dim_A^\theta J(T) =
\begin{cases}
h+\min\left\{1,\frac{\theta}{1-\theta}\right\}(1-h), & h<1,\\[6pt]
h, & h\ge 1,
\end{cases}
\]
and the lower spectrum has the dual form
\[
\dim_L^\theta J(T) =
\begin{cases}
h, & h<1,\\[6pt]
h+\min\left\{1,\frac{\theta}{1-\theta}\right\}(1-h), & h>1.
\end{cases}
\]
For the associated \(h\)-conformal measure \(m\),
\[
\dim_A m=\max\{1,2h-1\}, \qquad \dim_L m=\min\{1,2h-1\}.
\]
If the Julia set has a Cremer point, then \(\dim_A J(T)=2\) [2203.04943]. These formulas show that bounded Assouad-type behavior can differ sharply from Hausdorff, box, and packing dimensions even in classical dynamical systems.

## 6. Distortion, porosity, and extremal spectrum behavior

Assouad-type boundedness is also meaningful under mappings. If \(f:\Omega\to\mathbb C\) is a non-constant \(K\)-quasiregular map and \(E\subset\Omega\) is compact with \(\dim_A E=a\in(0,2)\), then
\[
\dim_A f(E)\le \frac{2Ka}{2+(K-1)a}<2.
\]
For every \(0<\theta<1\), the paper also proves a spectrum distortion bound of the same Astala-type form, with \(a\) replaced by the spectrum value \(a_\theta\) and the corresponding \(\theta\)-normalization [2309.07362]. A key ingredient is the holomorphic monotonicity theorem: if \(h:\Omega\to\mathbb C\) is non-constant and holomorphic and \(E\subset\Omega\) is compact, then
\[
\dim_A^\theta h(E)\le \dim_A^\theta E, \qquad \dim_A h(E)\le \dim_A E.
\]
Since porosity of compact subsets of \(\mathbb C\) is characterized by \(\dim_A E<2\), the distortion theorem yields invariance of porosity under planar quasiregular maps [2309.07362].

At the spectral endpoints, the generalized upper box framework gives further rigidity. For arbitrary \(F\subset\mathbb R^d\),
\[
\overline{\dim}_{GB}F=\lim_{\theta\to 0}\dim_A^\theta F,
\]
and the paper proves
\[
\overline{\dim}_{GB} F=0 \quad\Longleftrightarrow\quad \dim_{qA} F=0.
\]
It also shows that for every \(\theta\in(0,1)\),
\[
\overline{\dim}_{A}^\theta F=d \iff \dim_{A}^\theta F=d,
\qquad
\overline{\dim}_{A}^\theta F=0 \iff \dim_{A}^\theta F=0
\]
[2510.00521]. This isolates the zero and full-dimension regimes as rigid extremal manifestations of bounded Assouad-type behavior.

Taken together, these results indicate that “bounded Assouad characteristic” is most usefully understood as a family of quantitative witnesses for controlled covering growth, neighborhood thickness, or large-scale decomposition. The formal representatives of that family are not interchangeable: \(\dim_A\), \(\dim_L\), spectra, \(\ANdim\), and upper Assouad codimension measure different aspects of uniform scaling. What unifies them is that each expresses boundedness through scale-invariant inequalities, and each supports precise structural theorems, exact computations, or sharp transformation laws in its natural setting.

Source: https://www.emergentmind.com/topics/bounded-assouad-characteristic