Intermediate dimensions of Bedford-McMullen carpets with applications to Lipschitz equivalence

Abstract

Intermediate dimensions were recently introduced to provide a spectrum of dimensions interpolating between Hausdorff and box-counting dimensions for fractals where these differ. In particular, the self-affine Bedford-McMullen carpets are a natural case for investigation, but until now only very rough bounds for their intermediate dimensions have been found. In this paper, we determine a precise formula for the intermediate dimensions ${\dim }_{\theta }\Lambda$ of any Bedford-McMullen carpet $\Lambda$ for the whole spectrum of $\theta \in [0,1]$, in terms of a certain large deviations rate function. The intermediate dimensions exist and are strictly increasing in $\theta$, and the function $\theta \mapsto {\dim }_{\theta }\Lambda$ exhibits interesting features not witnessed on any previous example, such as having countably many phase transitions, between which it is analytic and strictly concave. We make an unexpected connection to multifractal analysis by showing that two carpets with non-uniform vertical fibres have equal intermediate dimensions if and only if the Hausdorff multifractal spectra of the uniform Bernoulli measures on the two carpets are equal. Since intermediate dimensions are bi-Lipschitz invariant, this shows that the equality of these multifractal spectra is a necessary condition for two such carpets to be Lipschitz equivalent.

v2: 50 pages, 5 figures. Added Theorem 2.4 and part (4) of Theorem 2.5. To appear in Advances in Mathematics

References in corpus (8)

• Attainable forms of intermediate dimensions
• Generalised intermediate dimensions
• Intermediate dimensions of infinitely generated attractors
• Intermediate dimension of images of sequences under fractional Brownian motion
• The $L^q$ spectrum of self-affine measures on sponges
• On the intermediate dimensions of concentric spheres and related sets
• Calculating box dimension with the method of types
• Interpolating between Hausdorff and box dimension

Cited by in corpus (4)

• Attainable forms of intermediate dimensions
• Intermediate dimensions of infinitely generated attractors
• Dimensions of popcorn-like pyramid sets
• Assouad spectrum of Gatzouras-Lalley carpets