Box dimensions of (×m,×n)-invariant sets
Abstract
We study the box dimensions of sets invariant under the toral endomorphism (x, y) 7→ (mx mod 1, ny mod 1) for integers n > m ≥ 2. The basic examples of such sets are Bedford-McMullen carpets and, more generally, invariant sets are modelled by subshifts on the associated symbolic space. When this subshift is topologically mixing and sofic the situation is well-understood by results of Kenyon and Peres. Moreover, other work of Kenyona nd Peres shows that the Hausdorff dimension is generally given by a variational principle. Therefore, our work is focused on the box dimensions in the case where the underlying shift is not topologically mixing and sofic. We establish straightforward upper and lower bounds for the box dimensions in terms of entropy which hold for all subshifts and show that the upper bound is the correct value for coded subshifts whose entropy can be realised by words which can be freely concatenated, which includes many well-known families such as β-shifts,(generalised) S-gap shifts, and topologically transitive sofic shifts. We also provide examples of topologically mixing coded subshifts where the general upper bound fails and the box dimension is actually given by the general lower bound. In the non-transitive sofic setting, we provide a formula for the box dimensions which is often intermediate between the general lower and upper bounds.
Citation
Fraser , J & Jurga , N A 2023 , ' Box dimensions of (×m,×n)-invariant sets ' , Indiana University Mathematics Journal , vol. 72 , no. 6 , pp. 2341-2367 . https://doi.org/10.1512/iumj.2023.72.9519
Publication
Indiana University Mathematics Journal
Status
Peer reviewed
ISSN
0022-2518Type
Journal article
Description
Funding: The authors were both supported by an EPSRC Standard Grant (EP/R015104/1). J. M. Fraser was also supported by a Leverhulme Trust Research Project Grant (RPG-2019-034).Collections
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.