English

Attainable forms of lower spectra

Classical Analysis and ODEs 2026-03-04 v1 Metric Geometry

Abstract

Let dNd\in\mathbb{N} and φ ⁣:(0,1)[0,d]\varphi\colon(0,1)\to[0,d]. We prove there exists a set FRdF\subset\mathbb{R}^d whose lower spectrum dimLθF\operatorname{dim}^{\theta}_{\mathrm{L}} F satisfies (1θ)dimLθF=φ(θ)(1-\theta)\operatorname{dim}^{\theta}_{\mathrm{L}} F = \varphi(\theta) for all θ(0,1)\theta\in(0,1) if and only if for all λ,θ(0,1)\lambda,\theta\in(0,1), \begin{equation*} \varphi(\theta) \leq \varphi(\lambda\theta) - \theta \varphi(\lambda) \leq (1-\theta) d. \end{equation*} We also obtain a similar classification result for dimLθF\underline{\operatorname{dim}}^{\theta}_{\mathrm{L}} F. In contrast to the case for Assouad spectra, it is insufficient to consider homogeneous (or uniform) sets. Instead, we follow the approach introduced by Orgov\'anyi--Rutar in arXiv:2510.07013 and proceed via a more general classification result for appropriate two-scale branching functions.

Keywords

Cite

@article{arxiv.2603.03174,
  title  = {Attainable forms of lower spectra},
  author = {Amlan Banaji and Haipeng Chen and Alex Rutar and Wen Wang},
  journal= {arXiv preprint arXiv:2603.03174},
  year   = {2026}
}

Comments

30 pages, 3 figures

R2 v1 2026-07-01T11:01:27.946Z