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.
The Hausdorff dimension of general Sierpinski carpets, [4] and [20], and the generalization on Lalley-Gatzouras carpets, [10], are today well known results, the formulas being obtain via the variational principle for the dimension. We call the multidimensional versions of these carpets Sierpinski sponges and self-affine sponges, respectively,. In this paper we show that the Hausdorff dimension of self-affine sponges, defined in R3, is a Lipschitz continuous function at Sierpinski sponges.
We construct a self-affine sponge in $\mathbb R^3$ whose dynamical dimension, i.e. the supremum of the Hausdorff dimensions of its invariant measures, is strictly less than its Hausdorff dimension. This resolves a long-standing open problem in the dimension theory of dynamical systems, namely whether every expanding repeller has an ergodic invariant measure of full Hausdorff dimension. More generally we compute the Hausdorff and dynamical dimensions of a large class of self-affine sponges, a problem that previous techniques could only solve in two dimensions. The Hausdorff and dynamical dimens…
We highlight a connection between Diophantine approximation and the lower Assouad dimension by using information about the latter to show that the Hausdorff dimension of the set of badly approximable points that lie in certain non-conformal fractals, known as self-affine sponges, is bounded below by the dynamical dimension of these fractals. In particular, for self-affine sponges with equal Hausdorff and dynamical dimensions, the set of badly approximable points has full Hausdorff dimension in the sponge. Our results, which are the first to advance beyond the conformal setting, encompass both …
We compute the Hausdorff dimension of limit sets generated by 3-dimensional self-affine mappings with diagonal matrices of the form A_{ijk}=Diag(a_{ijk}, b_{ij}, c_{i}), where 0<a_{ijk}\le b_{ij}\le c_i<1. By doing so we show that the variational principle for the dimension holds for this class.
We study the Assouad and lower dimensions of self-affine sponges; the higher dimensional analogue of the planar self-affine carpets of Bedford and McMullen. Our techniques involve the weak tangents of Mackay and Tyson as well as regularity properties of doubling measures in the context studied by Bylund and Gudayol.
Let $(E, ρ)$ be a metric space and let $h_E\left( δ\right)$ be the cardinality of the set of $δ$-connected components of $E$. In literature, in case of that $E$ is a self-conformal set satisfying the open set condition or $E$ is a self-affine Sierpiński sponge, necessary and sufficient condition is given for the validity of the relation $ h_E(δ)\asymp δ^{-\dim_B E}, \text{ when }δ\to 0. $ In this paper, we generalize the above result to self-affine sponges of Lalley-Gatzouras type; actually in this case, we show that there exists a Bernoulli measure $μ$ such that for any cylinder $R$, it holds…
The connected part of a metric space $E$ is defined to be the union of non-trivial connected components of $E$. We proved that for a class of self-affine sets called slicing self-affine sponges, the connected part of $E$ either coincides with $E$, or is essentially contained in the attractor of a proper sub-IFS of an iteration of the original IFS.This generalize an early result of Huang and Rao [L. Y. Huang, H. Rao. \emph{A dimension drop phenomenon of fractal cubes}, J. Math. Anal. Appl. \textbf{497} (2021), no. 2] on a class of self-similar sets called fractal cubes. Moreover, we show that t…
We compute the Hausdorff dimension of any random statistically self-affine Sierpinski sponge $K\subset \mathbb{R}^k$ ($k\ge 2$) obtained by using some percolation process in $[0,1]^k$. To do so, we first exhibit a Ledrappier-Young type formula for the Hausdorff dimensions of statistically self-affine measures supported on $K$. This formula presents a new feature compared to its deterministic or random dynamical version. Then, we establish a variational principle expressing $\dim_H K$ as the supremum of the Hausdorff dimensions of statistically self-affine measures supported on $K$, and show th…
We consider the multifractal analysis for Birkhoff averages of continuous potentials on a self-affine Sierpiński sponge. In particular, we give a variational principal for the packing dimension of the level sets. Furthermore, we prove that the packing spectrum is concave and continuous. We give a sufficient condition for the packing spectrum to be real analytic, but show that for general Hölder continuous potentials, this need not be the case. We also give a precise criterion for when the packing spectrum attains the full packing dimension of the repeller. Again, we present an example showing …
In this paper we study $p$-adic Diophantine approximation on manifolds, specifically multiplicative Diophantine approximation on affine subspaces and a Diophantine dichotomy for analytic $p$-adic manifolds.
We achieve on self-affine Sierpinski carpets the multifractal analysis of the Birkhoff averages of potentials satisfying a Dini condition. Given such a potential, the corresponding Hausdorff spectrum cannot be deduced from that of the associated Gibbs measure by a simple transformation. Indeed, these spectra are respectively obtained as the Legendre transform of two distinct concave differentiable functions that cannot be deduced from one another by a dilation and a translation. This situation is in contrast with what is observed in the familiar self-similar case. Our results are presented in …
On the intersections of homogeneous self-similar sets with their translates in $\mathbb{R}^{n}$ and a formulation of multiplicative invariance in $\mathbb{Z}^{n}$
This paper presents a general procedure based on using the method of types to calculate the box dimension of sets. The approach unifies and simplifies multiple box counting arguments. In particular, we use it to generalize the formula for the box dimension of self-affine carpets of Gatzouras-Lalley and of Barański type to their higher dimensional sponge analogues. In addition to a closed form, we also obtain a variational formula which resembles the Ledrappier-Young formula for Hausdorff dimension.
We investigate the Hölder geometry of curves generated by iterated function systems (IFS) in a complete metric space. A theorem of Hata from 1985 asserts that every connected attractor of an IFS is locally connected and path-connected. We give a quantitative strengthening of Hata's theorem. First we prove that every connected attractor of an IFS is $(1/s)$-Hölder path-connected, where $s$ is the similarity dimension of the IFS. Then we show that every connected attractor of an IFS is parameterized by a $(1/α)$-Hölder curve for all $α>s$. At the endpoint, $α=s$, a theorem of Remes from 1998 alr…
We develop a thermodynamic formalism for quasi-multiplicative potentials on a countable symbolic space and apply these results to the dimension theory of infinitely generated self-affine sets. The first application is a generalisation of Falconer's dimension formula to include typical infinitely generated self-affine sets and show the existence of an ergodic invariant measure of full dimension whenever the pressure function has a root. Considering the multifractal analysis of Birkhoff averages of general potentials $Φ$ taking values in $\R^{\N}$, we give a formula for the Hausdorff dimension o…
We study the dimension theory of a class of planar self-affine multifractal measures. These measures are the Bernoulli measures supported on box-like self-affine sets, introduced by the author, which are the attractors of iterated function systems consisting of contracting affine maps which take the unit square to rectangles with sides parallel to the axes. This class contains the self-affine measures recently considered by Feng and Wang as well as many other measures. In particular, we allow the defining maps to have non-trivial rotational and reflectional components. Assuming the rectangular…
We study the box dimensions of self-affine sets in $\mathbb{R}^3$ which are generated by a finite collection of generalised permutation matrices. We obtain bounds for the dimensions which hold with very minimal assumptions and give rise to sharp results in many cases. There are many issues in extending the well-established planar theory to $\mathbb{R}^3$ including that the principal planar projections are (affine distortions of) self-affine sets with overlaps (rather than self-similar sets) and that the natural modified singular value function fails to be sub-multiplicative in general. We intr…
