Skip to content

Assouad–Nagata Dimension

A metric dimension defined by uniformly bounded, uniformly low-multiplicity covers at every scale, with cover diameter growing at most linearly with scale.

Version
v1 · 2026-09-28 · History
Domain-specific #
8046
Domain group
Formal Sciences
Origin domain
Mathematics
Subdomains
Metric Geometry, Dimension Theory → Mathematics
Aliases
Nagata dimension, Assouad-Nagata dimension, Nagata–Assouad dimension

Core Idea

Assouad–Nagata dimension measures how efficiently a metric space can be covered at all resolutions. At each scale s, cover pieces must have diameter no more than a fixed multiple of s, and no s-small subset may meet too many pieces.

The same constant must work at every scale. This uniformity distinguishes the invariant from dimensions restricted to microscopic or asymptotic behavior and makes it sensitive to quantitative geometry rather than topology alone.

How would you explain it like I'm…

Same Patch Rule Every Size

Imagine covering a shape with patches. You pick a size, and every patch must be about that size, and no tiny spot may touch too many patches at once. Assouad-Nagata dimension is about needing the very same rule to work at every size you pick, whether the patches are huge or tiny.

Same Rule at Every Scale

Mathematicians measure shapes by trying to cover them with patches. For a chosen scale s, the patches are allowed to be no bigger across than some fixed multiple of s, and the rule is that no small piece of the space, small compared with s, may touch too many patches. Assouad-Nagata dimension records how efficiently a space can be covered this way when the same constants have to work at every scale at once. That one demand is what makes it different from measures that only look at very tiny scales or only at very large ones. Because it counts how big and how overlapping the patches can be, it is about measured distances, not just about the shape's overall form.

Scale-Uniform Covering Dimension

Assouad-Nagata dimension measures how efficiently a metric space can be covered at all resolutions. At each scale s you must produce a cover whose pieces have diameter no more than a fixed multiple of s, while no s-small subset of the space meets too many of the pieces. The crucial requirement is uniformity: the same constants, both the diameter multiple and the bound on how many pieces a small set may meet, have to work at every scale, not just for small s or just for large s. That uniformity distinguishes it from invariants restricted to microscopic behavior or to asymptotic behavior, which allow the constants to depend on the scale regime. Because the definition constrains diameters and multiplicities measured with the metric, the invariant is sensitive to quantitative geometry rather than topology alone.

 

Assouad-Nagata dimension is a metric invariant measuring how efficiently a space admits coverings at all resolutions simultaneously. For each scale s one requires a cover whose pieces have diameter at most a fixed constant multiple of s, with the multiplicity controlled in the sense that no s-small subset meets more than a bounded number of pieces; the dimension is the least such multiplicity bound achievable, with a single pair of constants valid for all s. The essential point is this uniformity across scales. Dimensions defined only for arbitrarily small s capture microscopic structure, and dimensions defined only for large s capture asymptotic structure, whereas requiring one constant at every scale couples the two regimes. Consequently the invariant records quantitative geometric information, such as how efficiently the space can be decomposed at comparable scales, rather than being determined by topology alone.

Scope of Application

  • Metric geometry. Compares quantitative dimensional behavior.
  • Geometric group theory. Studies spaces under large-scale and all-scale controls.
  • Analysis on metric spaces. Supports embedding and extension theorems.
  • Fractal geometry. Contrasts covering invariants with growth-based dimensions.

Clarity

Specify the metric, scale convention, diameter bound, exact multiplicity definition, uniform constant, and whether the claim is an upper bound or an exact dimension. Track naming conventions for Nagata dimension. Inclusion test: For one n and one constant c independent of scale, construct at every positive s a cs-bounded cover with s-multiplicity at most n+1, and establish minimality for equality. *Exclusion test:** Exclude covers valid only below a cutoff, only above a cutoff, or with constants that grow with scale, and exclude Assouad dimension's ball-covering growth condition. Nearest boundary: Asymptotic dimension controls sufficiently large scales, whereas Assouad–Nagata dimension requires the same linear diameter control uniformly across all scales. Exit condition: The claimed bound fails if any scale lacks the controlled cover or if overlap exceeds n+1 for some subset of diameter at most s. Common misclassifications: It is not Assouad dimension. It is not merely Lebesgue covering dimension. It is not asymptotic dimension alone. A scale-dependent control constant does not satisfy the definition. Nearest named distinctions: Assouad dimension: Uses quantitative covering-number growth inside balls. Asymptotic dimension: Requires control only at sufficiently large scales. Lebesgue covering dimension: Is primarily topological and local. Hausdorff dimension: Uses measure scaling rather than bounded-multiplicity covers.

Manages Complexity

The invariant condenses infinitely many scale-dependent cover problems into the least overlap order achievable with one uniform linear bound.

Abstract Reasoning

  1. Fix a candidate dimension n and constant c.
  2. For arbitrary scale s construct a cover.
  3. Bound every member's diameter by c*s.
  4. Prove s-multiplicity at most n+1.
  5. Establish minimality or report only the upper bound.

Knowledge Transfer

Cover arguments transfer under metric equivalences only with the quantitative distortion needed to preserve uniform linear bounds.

Relationships to Other Abstractions

Local relationship map for Assouad–Nagata DimensionParents appear above the current abstraction, mutual partners to the right, and children below. Node labels state whether each abstraction is prime or domain-specific; colors identify relation types.Assouad–NagataDimensionDOMAINPrime abstraction: Dimension — is a kind ofDimensionPRIME

Current abstraction Assouad–Nagata Dimension Domain-specific

Parents (1) — more general patterns this builds on

  • Assouad–Nagata Dimension is a kind of Dimension Prime

    Assouad–Nagata Dimension is a Dimension measuring uniformly bounded low-multiplicity covers across all metric scales.

Hierarchy path (1) — routes to 1 parentless root

Neighborhood in Abstraction Space

Assouad–Nagata Dimension sits in a crowded region of the domain-specific corpus (27th percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.

Family — Coordinate Systems & Spatial Measures (29 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08