Year: 2026
Type: preprint
Abstract: Let $Λ=\operatorname{diag}(m_1,\ldots,m_d)$ be a diagonal expanding integer matrix with $m_1\ge\cdots\ge m_d\ge2$ and at least two distinct diagonal entries, and let $X\subset\mathcal A^{\mathbb N}$ be a subshift with weak specification over $\mathcal A=\prod_{r=1}^d\{0,1,\ldots,m_r-1\}$. Let $K=R(X)$ be the corresponding self-affine set. Writing $γ=\dim_{\mathrm H} K$, we prove a sharp critical-measure dichotomy: \begin{align*} \dim_{\mathrm H} K=\dim_{\mathrm B} K \Longleftrightarrow 0<\mathcal H^γ(K)<\infty,\quad \dim_{\mathrm H} K<\dim_{\mathrm B} K \Longleftrightarrow \mathcal H^γ(K)=\infty. \end{align*} In the second case, $\mathcal H^γ$ is not $σ$-finite on $K$. This resolves Peres' 1994 conjecture for planar systems and extends to higher dimensions. For sofic subshifts, we prove the existence of the box dimension and show that dimension equality implies that the critical Hausdorff measure is positive and $σ$-finite, although it may be infinite. We also construct two examples with $\dim_{\mathrm H} K<\dim_{\mathrm B} K$: in one example the critical Hausdorff measure is positive and finite, whereas in the other it is infinite but $σ$-finite.
Source: arXiv (Cornell University)
Language: English
Subfield: Mathematical Physics
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
Award: G5755477424
OpenAlex ID: W7214322845