We show that if $μ$ is a self-affine measure on the plane defined by an iterated function system of contractions with diagonal linear parts, then under an irrationality assumption on the entries of the linear parts, $$ \dim_{\rm H} μ\circ π^{-1}= \min\lbrace 1,\dim_{\rm H}μ\rbrace $$ for any non-principal orthogonal projection $π$.
Working on strongly irreducible planar self-affine sets satisfying the strong open set condition, we calculate the Birkhoff spectrum of continuous potentials and the Lyapunov spectrum.
We calculate the Assouad dimension of a planar self-affine set $X$ satisfying the strong separation condition and the projection condition and show that $X$ is minimal for the conformal Assouad dimension. Furthermore, we see that such a self-affine set $X$ adheres to very strong tangential regularity by showing that any two points of $X$, which are generic with respect to a self-affine measure having simple Lyapunov spectrum, share the same collection of tangent sets.
We prove that if $μ$ is a self-affine measure in the plane whose defining IFS acts totally irreducibly on $\mathbb{RP}^1$ and satisfies an exponential separation condition, then its dimension is equal to its Lyapunov dimension. We also treat a class of reducible systems. This extends our previous work on the subject with Bárány to the overlapping case.
The sub-additive pressure function $P(s)$ for an affine iterated function system (IFS) and the affinity dimension, defined as the unique solution $s_0$ to $P(s_0)=1$, were introduced by K. Falconer in his seminal 1988 paper on self-affine fractals. The affinity dimension prescribes a value for the Hausdorff dimension of a self-affine set which is known to be correct in generic cases and in an increasing range of explicit cases. It was shown by Feng and Shmerkin in 2014 that the affinity dimension depends continuously on the IFS. In this article we prove that when the linear parts of the affini…
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.
Budapest University of Technology and Economics(布达佩斯技术与经济大学);HUN-REN-BME Stochastics Research Group(匈牙利研究与教育网络-布达佩斯技术与经济大学随机过程研究组);Institute of Mathematics(数学研究所)
We construct a family of planar self-affine carpets with overlaps using lower triangular matrices in a way that generalizes the original Gatzouras--Lalley carpets defined by diagonal matrices. Assuming the rectangular open set condition, Barański proved for this construction that for typical parameters, which can be explicitly checked, the inequalities between the Hausdorff, box and affinity dimension of the attractor are strict. We generalize this result to overlapping constructions, where we allow complete columns to be shifted along the horizontal axis or allow parallelograms to overlap wit…
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…
In 1988 K. Falconer introduced a formula which predicts the value of the Hausdorff dimension of the attractor of an affine iterated function system. The value given by this formula -- sometimes referred to as the affinity dimension -- is known to agree with the Hausdorff dimension both generically and in an increasing range of explicit cases. It is however a nontrivial problem to estimate the numerical value of the affinity dimension for specific iterated function systems. In this article we substantially extend an earlier result of M. Pollicott and P. Vytnova on the computation of the affinit…
We show that for Lebesgue almost all $d$-tuples $(θ_1,\ldots,θ_d)$, with $|θ_j|>1$, any self-affine measure for a homogeneous non-degenerate iterated function system $\{Ax+a_j\}_{j=1}^m$ in ${\mathbb R}^d$, where $A^{-1}$ is a diagonal matrix with the entries $(θ_1,\ldots,θ_d)$, has power Fourier decay at infinity.
Dimensions of infinitely generated self-affine sets and restricted digit sets for signed Lüroth expansions
Institute of Mathematics, Universiteit Leiden(莱顿大学数学研究所);School of Mathematics, University of Birmingham(伯明翰大学数学学院);Department of Mathematics and Statistics, University of Exeter(埃克塞特大学数学与统计系)