## Abstract

Let \(X={\bigcup }{\varphi }_{i}X\) be a strongly separated self-affine set in \({\mathbb {R}}^2\) (or one satisfying the strong open set condition). Under mild non-conformality and irreducibility assumptions on the matrix parts of the \(\varphi _{i}\), we prove that \(\dim X\) is equal to the affinity dimension, and similarly for self-affine measures and the Lyapunov dimension. The proof is via analysis of the dimension of the orthogonal projections of the measures, and relies on additive combinatorics methods.

This is a preview of subscription content, access via your institution.

## Notes

- 1.
The non-compactness assumption just means that not all of the maps \(\varphi _i\) are similarities. Under this assumption, total irreducibility is equivalent to the property that no line, or union of two lines, is invariant under all of the \(A_i\). We can relax the latter slightly, see 6.3.

- 2.
Our methods actually apply to the images under the standard symbolic coding map of quasi-product measures, i.e. those which are equivalent, up to a shift, on every cylinder set, and with Radon–Nykodim derivative bounded away from 0 and infinity. This is because in all entropy computations in the proofs, measures which are equivalent in this sense differ in entropy (w.r.t.

*any*partition) by an addivie constant depending only on the bounds on the RN-derivatives; so one can just fix a representative and work with it. When the matrix parts of the IFS preserve a (multi) cone, the Kaenmaki measure is known to be quasi-Bernoulli. Thus, in this case, our methods give an invariant measure of maximal dimension. We thank Pablo Shmerkin for this remark. - 3.
This assumption just means that the attractor is not a single point, and also implies that \(\mu \) has positive dimension and has no atoms. Note that although SOSC rules out a common fixed point for \(\Phi \), exponential separation by itself does not: It might be that all the maps are linear, with common fixed point 0, but that exponential separation holds in the linear group for products of the matrices and, therefore, also for the associated affine maps. This assumption will only be used in Sect. 3.2, where it is needed to ensure continuity of 1-dimensional linear images of \(\mu \).

- 4.
In the triangular case of Proposition 6.6, the statement below holds for every \(\psi \in {\mathbb {A}}_{2,1}\) whose kernel is bounded away (in \({\mathbb {RP}^1}\)) from the vertical direction. In particular, it holds \(\eta ^*\)-a.e., because, under the assumptions of the proposition, \(\eta ^*\) is supported on a compact set in the complement of the vertical direction. The results throughout the present section hold in the triangular case, under similar adjustment of the assumptions.

- 5.
Theorem 2.8 of [17] contains a slight error. The condition \(\frac{1}{m}H(\nu ,{\mathcal {D}}_n)>\varepsilon \) there should be replaced by \(>2\varepsilon \), or by \(>c\varepsilon \)., where

*c*is any constant larger than one, but then the dependence of \(\delta \) and the other parameters on \(\varepsilon \) depend on*c*. Also, the theorem is stated for dyadic partitions rather than*q*-adic, but this modification is harmless. - 6.
If \(\mu \) is generated by a system of triangular matrices as in Proposition 6.6, we must assume that \(\theta \) is supported on maps whose kernel is \(\epsilon \)-far (in \({\mathbb {RP}^1}\)) from the vertical direction.

- 7.
These assumptions are used only to ensure that \(\eta ^*\) is well defined and has positive dimension, so the same proof works when the defining affine maps are triangular and satisfy the assumptions in Proposition 6.6.

- 8.
In the triangular case of Proposition 6.6, the kernels of compositions of the maps in \(\Phi \) are bounded away from the vertical direction, so \(\theta _n^V\) satisfies the hypothesis for the corresponding entropy growth theorem.

## References

- 1.
Arnold, L.: Random Dynamical Systems. Springer Monographs in Mathematics. Springer, Berlin (1998)

- 2.
Barański, K.: Hausdorff dimension of the limit sets of some planar geometric constructions. Adv. Math.

**210**(1), 215–245 (2007) - 3.
Bárány, B.: On the Ledrappier–Young formula for self-affine measures. Math. Proc. Camb. Philos. Soc.

**159**(3), 405–432 (2015) - 4.
Bárány, B., Käenmäki, A.: Ledrappier–Young formula and exact dimensionality of self-affine measures. Adv. Math.

**318**, 88–129 (2017) - 5.
Bárány, B., Rams, M., Simon, K.: On the dimension of triangular self-affine sets (2016). arXiv preprint arXiv:1609.03914

- 6.
Bedford, T.: The box dimension of self-affine graphs and repellers. Nonlinearity

**2**(1), 53 (1989) - 7.
Bougerol, P., Lacroix, J.: Products of random matrices with applications to Schrödinger operators. Progress in Probability and Statistics, vol. 8. Birkhäuser Boston Inc, Boston (1985)

- 8.
Dysman, M.: Fractal dimensions for repellers of maps with holes. J. Stat. Phys.

**120**(3–4), 479–509 (2005) - 9.
Falconer, K., Kempton, T.: Planar self-affine sets with equal Hausdorff, box and affinity dimensions. Ergod. Theory Dyn. Syst.

**7**(2016) - 10.
Falconer, K., Kempton, T.: The dimension of projections of self-affine sets and measures. Ann. Acad. Sci. Fenn. Math.

**42**(1), 473–486 (2017) - 11.
Falconer, K., Miao, J.: Dimensions of self-affine fractals and multifractals generated by upper-triangular matrices. Fractals

**15**(3), 289–299 (2007) - 12.
Falconer, K.J.: The Hausdorff dimension of some fractals and attractors of overlapping construction. J. Stat. Phys.

**47**(1–2), 123–132 (1987) - 13.
Falconer, K.J.: The Hausdorff dimension of self-affine fractals. Math. Proc. Camb. Philos. Soc.

**103**(2), 339–350 (1988) - 14.
Falconer, K.J.: The dimension of self-affine fractals II. Math. Proc. Camb. Philos. Soc.

**111**(1), 169–179 (1992) - 15.
Fan, A.-H., Lau, K.-S., Rao, H.: Relationships between different dimensions of a measure. Monatsh. Math.

**135**(3), 191–201 (2002) - 16.
Fraser, J.M.: On the packing dimension of box-like self-affine sets in the plane. Nonlinearity

**25**(7), 2075 (2012) - 17.
Hochman, M.: On self-similar sets with overlaps and inverse theorems for entropy. Ann. Math. (2)

**180**(2), 773–822 (2014) - 18.
Hochman, M.: On self-similar sets with overlaps and inverse theorems for entropy in \({\mathbb{R}}^d\). Memoires of the AMS. (2015). To appear, available at arxiv:1503.09043

- 19.
Hochman, M.: Some problems on the boundary of fractal geometry and additive combinatorics. In: Proceedings of FARF 3 (2017). To appear, available at arXiv:1608.02711

- 20.
Hochman, M., Shmerkin, P.: Local entropy averages and projections of fractal measures. Ann. Math. (2)

**175**(3), 1001–1059 (2012) - 21.
Hueter, I., Lalley, S.P.: Falconer’s formula for the Hausdorff dimension of a self-affine set in \({ R}^2\). Ergod. Theory Dyn. Syst.

**15**(1), 77–97 (1995) - 22.
Hutchinson, J.E.: Fractals and self-similarity. Indiana Univ. Math. J.

**30**(5), 713–747 (1981) - 23.
Jordan, T., Pollicott, M., Simon, K.: Hausdorff dimension for randomly perturbed self affine attractors. Commun. Math. Phys.

**270**(2), 519–544 (2007) - 24.
Käenmäki, A.: Measures of full dimension on self-affine sets. Acta Univ. Carolin. Math. Phys.

**45**(2), 45–53 (2004). 32nd Winter School on Abstract Analysis - 25.
Käenmäki, A.: On natural invariant measures on generalised iterated function systems. Ann. Acad. Sci. Fenn. Math.

**29**(2), 419–458 (2004) - 26.
Käenmäki, A., Rajala, T., Suomala, V.: Existence of doubling measures via generalised nested cubes. Proc. Am. Math. Soc

**140**, 3275–3281 (2012) - 27.
Käenmäki, A., Shmerkin, P.: Overlapping self-affine sets of Kakeya type. Ergod. Theory Dyn. Syst.

**29**(3), 941–965 (2009) - 28.
Kirat, I., Kocyigit, I.: A new class of exceptional self-affine fractals. J. Math. Anal. Appl.

**401**(1), 55–65 (2013) - 29.
Lalley, S.P., Gatzouras, D.: Hausdorff and box dimensions of certain self-affine fractals. Indiana Univ. Math. J.

**41**(2), 533–568 (1992) - 30.
Ledrappier, F.: On the dimension of some graphs. In: Symbolic dynamics and its applications (New Haven, CT, 1991), volume 135 of Contemporary Mathematics, pp. 285–293. American Mathematical Society, Providence (1992)

- 31.
Mattila, P.: Geometry of Sets and Measures in Euclidean Spaces: Fractals and Rectifiability, vol. 44 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge (1995)

- 32.
McMullen, C.: The Hausdorff dimension of general Sierpiński carpets. Nagoya Math. J.

**96**, 1–9 (1984) - 33.
Morris, I.D., Shmerkin, P.: On equality of Hausdorff and affinity dimensions, via self-affine measures on positive subsystems. Trans. Amer. Math. Soc.

**371**, 1547–1582 (2019) - 34.
Persson, T.: On the Hausdorff dimension of piecewise hyperbolic attractors. Fund. Math.

**207**(3), 255–272 (2010) - 35.
Rams, M.: Absolute continuity of the SBR measure for non-linear fat baker maps. Nonlinearity

**16**(5), 1649–1655 (2003) - 36.
Rams, M., Simon, K.: Hausdorff and packing measure for solenoids. Ergod. Theory Dyn. Syst.

**23**(1), 273–291 (2003) - 37.
Rapaport, A.: On self-affine measures with equal Hausdorff and Lyapunov dimensions. Trans. Amer. Math. Soc.

**370**, 4759–4783 (2018) - 38.
Schmeling, J., Troubetzkoy, S.: Dimension and invertibility of hyperbolic endomorphisms with singularities. Ergod. Theory Dyn. Syst.

**18**(5), 1257–1282 (1998) - 39.
Simon, K.: Hausdorff dimension for non-invertible maps. Ergod. Theory Dyn. Syst.

**13**(1), 199–212 (1993) - 40.
Solomyak, B.: Measure and dimension for some fractal families. Math. Proc. Camb. Philos. Soc.

**124**(3), 531–546 (1998) - 41.
Takagi, T.: A simple example of a continuous function without derivative. Proc. Phys. Math. Soc. Jpn.

**1**, 176–177 (1903) - 42.
Tsujii, M.: Fat solenoidal attractors. Nonlinearity

**14**(5), 1011–1027 (2001) - 43.
Varjú, P.: Absolute continuity of Bernoulli convolutions for algebraic parameters. Preprint (2016). http://arxiv.org/abs/1602.00261

- 44.
Young, L.S.: Dimension, entropy and Lyapunov exponents. Ergod. Theory Dyn. Syst.

**2**(1), 109–124 (1982)

## Acknowledgements

This work was supported by ERC Grant 306494. B.B. acknowledges support from the Grants NKFI PD123970, OTKA K123782, and the János Bolyai Research Scholarship of the Hungarian Academy of Sciences. M.H. supported by ISF Grant 1704 and NSF Grant DMS-1638352. A.R. acknowledges support from the Herchel Smith Fund at the University of Cambridge.

## Author information

### Affiliations

### Corresponding author

## Additional information

### Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

## Rights and permissions

## About this article

### Cite this article

Bárány, B., Hochman, M. & Rapaport, A. Hausdorff dimension of planar self-affine sets and measures.
*Invent. math.* **216, **601–659 (2019). https://doi.org/10.1007/s00222-018-00849-y

Received:

Accepted:

Published:

Issue Date:

### Mathematics Subject Classification

- Primary 28A80
- Secondary 37C45
- 37F35