Discrete intermediate dimensions: endpoints, spectra and quasi-isometric invariance
Abstract
We introduce upper and lower discrete intermediate dimensions for unbounded subsets of Euclidean space and extend them to metric spaces. The definitions restrict the covering radii within a scale-dependent range of dyadic shells and take a supremum over an auxiliary parameter. The resulting dimensions are monotone in the parameter and recover the Barlow--Taylor discrete Hausdorff dimension at zero. We prove continuity at every positive parameter, with a sharp quantitative bound, and give an example with a jump at zero. At the upper endpoint, the upper dimension equals upper mass dimension for uniformly discrete Euclidean sets; the analogous lower mass identity fails. We establish a mass distribution principle and prove quasi-isometric invariance under a uniform coarse packing condition. For spaces with uniform polynomial volume growth, we construct clustered subsets attaining the continuity bound. Independent thinning truncates these spectra at the resulting mass dimension, almost surely for all parameters simultaneously. Applications include the discrete Heisenberg group with its word metric and the ranges of simple symmetric random walks.
Related
- Nonarchimedean discrete groups and quasi-isometric doubles of free groups
- Sharp Projection Bounds for Intermediate Dimensions of Measures
- Box dimension profiles and intermediate dimensions
- Sharp Noether-type inequalities for $3$-folds of intermediate Kodaira dimensions
- Attainable forms of intermediate dimensions of complementary sets
BibTeX
@misc{li2026discrete,
title = {{Discrete intermediate dimensions: endpoints, spectra and quasi-isometric invariance}},
author = {Jinjun Li and Lifeng Xi and Shuqin Zhang},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.15410},
eprint = {2610.15410},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.15410},
}
RIS
TY - UNPB
TI - Discrete intermediate dimensions: endpoints, spectra and quasi-isometric invariance
AU - Jinjun Li
AU - Lifeng Xi
AU - Shuqin Zhang
PY - 2026
DA - 2026/10/11
PB - arXiv
DO - 10.48550/arxiv.2610.15410
UR - https://arxiv.org/abs/2610.15410
AB - We introduce upper and lower discrete intermediate dimensions for unbounded subsets of Euclidean space and extend them to metric spaces. The definitions restrict the covering radii within a scale-dependent range of dyadic shells and take a supremum over an auxiliary parameter. The resulting dimensions are monotone in the parameter and recover the Barlow--Taylor discrete Hausdorff dimension at zero. We prove continuity at every positive parameter, with a sharp quantitative bound, and give an example with a jump at zero. At the upper endpoint, the upper dimension equals upper mass dimension for uniformly discrete Euclidean sets; the analogous lower mass identity fails. We establish a mass distribution principle and prove quasi-isometric invariance under a uniform coarse packing condition. For spaces with uniform polynomial volume growth, we construct clustered subsets attaining the continuity bound. Independent thinning truncates these spectra at the resulting mass dimension, almost surely for all parameters simultaneously. Applications include the discrete Heisenberg group with its word metric and the ranges of simple symmetric random walks.
ER -