The Assouad Dimension of Graphs: An Affirmative Answer to Fraser's Question
Abstract
This article primarily investigates the Assouad dimension of graphs of continuous functions. Initially, the Assouad spectrum of the graph of a Hölder and count-Hölder continuous function has been derived. It has been shown that the Assouad dimension of the graph of a continuous function f:[a,b]→ ℝ with the count-Hölder condition is at least 1 + sup { dim̅BLf(y) : y ∈ ℛf[a,b]} where dim̅B denotes the upper box dimension, Lf(y) is the level set of f at level y, and ℛf[a,b] is the range of f on [a,b]. As a consequence, non-trivial lower bounds are obtained for the Assouad dimension of the graphs of classical functions such as the Weierstrass and Takagi functions. We have also employed a unified projection solely in the direction of the y-axis to establish lower and upper bounds for the Assouad dimension. On this basis, we have shown that the lower bound is sharp in terms of level sets, namely the upper box dimension cannot be replaced by the Assouad dimension. This provides a partial positive answer to Question 17.11.1 posed by Fraser in~\cite{Fraser2021}, and to Question 2.2 posed by Yu in~\cite{Yu2020}. Building on this result, the analysis has been further extended to a broader class of Weierstrass-type functions and some self-affine functions like fractal interpolation functions. Moreover, we have discussed certain circumstances under which the Assouad dimension can reach 2 with several examples constructed. A supplementary explanation of why Brownian motion has the full Assouad dimension has also been provided based on the preceding work of Howroyd and Yu \cite{Howroyd2019}.
Related
- Quadratic bounds for intersecting hypergraphs: An affirmative answer to a question of Duke and Erdős
- On the Assouad dimension of Weierstrass function graphs
- Holomorphic motions, Assouad dimension and quasiconformal mappings
- Assouad--Nagata dimension of systolic complexes with almost flat intervals
- Orthogonal Projections and Assouad Dimension: Resolving Fraser's Questions
BibTeX
@misc{yu2026assouad,
title = {{The Assouad Dimension of Graphs: An Affirmative Answer to Fraser's Question}},
author = {Binyan Yu and Bilel Selmi and Jia Liu and Yongshun Liang},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.37477},
eprint = {2610.37477},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.37477},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - The Assouad Dimension of Graphs: An Affirmative Answer to Fraser's Question
AU - Binyan Yu
AU - Bilel Selmi
AU - Jia Liu
AU - Yongshun Liang
PY - 2026
DA - 2026/10/27
PB - arXiv
DO - 10.48550/arxiv.2610.37477
UR - https://arxiv.org/abs/2610.37477
AB - This article primarily investigates the Assouad dimension of graphs of continuous functions. Initially, the Assouad spectrum of the graph of a Hölder and count-Hölder continuous function has been derived. It has been shown that the Assouad dimension of the graph of a continuous function f:[a,b]→ ℝ with the count-Hölder condition is at least 1 + sup { dim̅_BL_f(y) : y ∈ ℛ_f[a,b]} where dim̅_B denotes the upper box dimension, L_f(y) is the level set of f at level y, and ℛ_f[a,b] is the range of f on [a,b]. As a consequence, non-trivial lower bounds are obtained for the Assouad dimension of the graphs of classical functions such as the Weierstrass and Takagi functions. We have also employed a unified projection solely in the direction of the y-axis to establish lower and upper bounds for the Assouad dimension. On this basis, we have shown that the lower bound is sharp in terms of level sets, namely the upper box dimension cannot be replaced by the Assouad dimension. This provides a partial positive answer to Question 17.11.1 posed by Fraser in~\cite{Fraser2021}, and to Question 2.2 posed by Yu in~\cite{Yu2020}. Building on this result, the analysis has been further extended to a broader class of Weierstrass-type functions and some self-affine functions like fractal interpolation functions. Moreover, we have discussed certain circumstances under which the Assouad dimension can reach 2 with several examples constructed. A supplementary explanation of why Brownian motion has the full Assouad dimension has also been provided based on the preceding work of Howroyd and Yu \cite{Howroyd2019}.
ER -