1: \begin{abstract}

2:   For $0<\alpha\le 1$, we say that a sequence $(X_k)_{k>0}$ of $d$-regular graphs has property $D_\alpha$ if

3:   there exists a constant $C>0$ such that $\diam(X_k)\ge C\cdot|X_k|^\alpha$. We investigate property

4:   $D_\alpha$ for arithmetic box spaces of the solvable Baumslag-Solitar groups $BS(1,m)$ (with $m\geq 2$):

5:   those are box spaces obtained by embedding $BS(1,m)$ into the upper triangular matrices in $GL_2(\Z[1/m])$

6:   and intersecting with a family $M_{N_k}$ of congruence subgroups of $GL_2(\Z[1/m])$, where the levels $N_k$

7:   are coprime with $m$ and $N_k|N_{k+1}$. We prove:

8:   \begin{itemize}

9:   \item if an arithmetic box space has $D_\alpha$, then $\alpha\le\frac{1}{2}$~;

10:   \item if the family $(N_k)_k$ of levels is supported on finitely many primes, the corresponding arithmetic

11:     box space has $D_{1/2}$~;

12:   \item if the family $(N_k)_k$ of levels is supported on a family of primes with positive analytic primitive

13:     density, then the corresponding arithmetic box space does not have $D_\alpha$, for every $\alpha>0$.

14: \end{itemize}

15: Moreover, we prove that if we embed $BS(1,m)$ in the group of invertible upper-triangular matrices

16: $T_n(\Z[1/m])$, then every finite index subgroup of the embedding contains a congruence subgroup. This is a

17: version of the \textit{congruence subgroup property} (CSP).

18: \end{abstract}

19: