Dimensions of "self-affine sponges" invariant under the action of multiplicative integers

TL;DR

This paper computes the Hausdorff and Minkowski dimensions of certain self-affine sets invariant under multiplicative semigroup actions, extending known results on self-affine carpets to higher dimensions with complex combinatorial methods.

Contribution

It introduces a new dimension formula for self-affine sets invariant under multiplicative integers, generalizing previous results to higher dimensions with a detailed variational approach.

Findings

Derived explicit formulas for Hausdorff and Minkowski dimensions.

Extended dimension results from 2D to higher dimensions (d ≥ 2).

Introduced a new combinatorial parameter j in the analysis.

Abstract

Let $m_1 \geq m_2 \geq 2$ be integers. We consider subsets of the product symbolic sequence space $(\{0,\cdots,m_1-1\} \times \{0,\cdots,m_2-1\})^{\mathbb{N}^*}$ that are invariant under the action of the semigroup of multiplicative integers. These sets are defined following Kenyon, Peres and Solomyak and using a fixed integer $q \geq 2$. We compute the Hausdorff and Minkowski dimensions of the projection of these sets onto an affine grid of the unit square. The proof of our Hausdorff dimension formula proceeds via a variational principle over some class of Borel probability measures on the studied sets. This extends well-known results on self-affine Sierpinski carpets. However, the combinatoric arguments we use in our proofs are more elaborate than in the self-similar case and involve a new parameter, namely $j = \left\lfloor \log_q \left( \frac{\log(m_1)}{\log(m_2)} \right) \right\rfloor$. We then generalize our results to the same subsets defined in dimension $d \geq 2$. There, the situation is even more delicate and our formulas involve a collection of $2d-3$ parameters.