On equality of Hausdorff and affinity dimensions, via self-affine measures on positive subsystems
HTML articles powered by AMS MathViewer
- by Ian D. Morris and Pablo Shmerkin PDF
- Trans. Amer. Math. Soc. 371 (2019), 1547-1582 Request permission
Abstract:
Under mild conditions we show that the affinity dimension of a planar self-affine set is equal to the supremum of the Lyapunov dimensions of self-affine measures supported on self-affine proper subsets of the original set. These self-affine subsets may be chosen so as to have stronger separation properties and in such a way that the linear parts of their affinities are positive matrices. Combining this result with some recent breakthroughs in the study of self-affine measures and their associated Furstenberg measures, we obtain new criteria under which the Hausdorff dimension of a self-affine set equals its affinity dimension. For example, applying recent results of Bárány, Hochman–Solomyak, and Rapaport, we provide many new explicit examples of self-affine sets whose Hausdorff dimension equals its affinity dimension, and for which the linear parts do not satisfy any positivity or domination assumptions.References
- Krzysztof Barański, Hausdorff dimension of self-affine limit sets with an invariant direction, Discrete Contin. Dyn. Syst. 21 (2008), no. 4, 1015–1023. MR 2399447, DOI 10.3934/dcds.2008.21.1015
- Balázs Bárány, On the Ledrappier-Young formula for self-affine measures, Math. Proc. Cambridge Philos. Soc. 159 (2015), no. 3, 405–432. MR 3413884, DOI 10.1017/S0305004115000419
- Balázs Bárány and Antti Käenmäki, Ledrappier-Young formula and exact dimensionality of self-affine measures, Adv. Math. 318 (2017), 88–129. MR 3689737, DOI 10.1016/j.aim.2017.07.015
- Balázs Bárány, Michałrams, and Károly Simon, On the dimension of self-affine sets and measures with overlaps, Proc. Amer. Math. Soc. 144 (2016), no. 10, 4427–4440. MR 3531192, DOI 10.1090/proc/13121
- Balázs Bárány, Michał Rams, and Károly Simon, On the dimension of triangular self-affine sets. Ergodic Theory Dynam. Systems (2017). To appear.
- Jairo Bochi and Nicolas Gourmelon, Some characterizations of domination, Math. Z. 263 (2009), no. 1, 221–231. MR 2529495, DOI 10.1007/s00209-009-0494-y
- Philippe Bougerol and Jean Lacroix, Products of random matrices with applications to Schrödinger operators, Progress in Probability and Statistics, vol. 8, Birkhäuser Boston, Inc., Boston, MA, 1985. MR 886674, DOI 10.1007/978-1-4684-9172-2
- Julien Cassaigne, Tero Harju, and Juhani Karhumäki, On the undecidability of freeness of matrix semigroups, Internat. J. Algebra Comput. 9 (1999), no. 3-4, 295–305. Dedicated to the memory of Marcel-Paul Schützenberger. MR 1723469, DOI 10.1142/S0218196799000199
- G. A. Edgar, Fractal dimension of self-affine sets: some examples, Rend. Circ. Mat. Palermo (2) Suppl. 28 (1992), 341–358. Measure theory (Oberwolfach, 1990). MR 1183060
- Kenneth Falconer and Tom Kempton, The dimension of projections of self-affine sets and measures, Ann. Acad. Sci. Fenn. Math. 42 (2017), no. 1, 473–486. MR 3558544, DOI 10.5186/aasfm.2017.4232
- Kenneth Falconer and Tom Kempton, Planar self-affine sets with equal Hausdorff, box and affinity dimensions, Ergodic Theory Dynam. Systems 38 (2018), no. 4, 1369–1388. MR 3789169, DOI 10.1017/etds.2016.74
- K. J. Falconer, The Hausdorff dimension of self-affine fractals, Math. Proc. Cambridge Philos. Soc. 103 (1988), no. 2, 339–350. MR 923687, DOI 10.1017/S0305004100064926
- K. J. Falconer, The dimension of self-affine fractals. II, Math. Proc. Cambridge Philos. Soc. 111 (1992), no. 1, 169–179. MR 1131488, DOI 10.1017/S0305004100075253
- De-Jun Feng and Pablo Shmerkin, Non-conformal repellers and the continuity of pressure for matrix cocycles, Geom. Funct. Anal. 24 (2014), no. 4, 1101–1128. MR 3248481, DOI 10.1007/s00039-014-0274-7
- Andrew Ferguson, Jonathan M. Fraser, and Tuomas Sahlsten, Scaling scenery of $(\times m,\times n)$ invariant measures, Adv. Math. 268 (2015), 564–602. MR 3276605, DOI 10.1016/j.aim.2014.09.019
- Andrew Ferguson, Thomas Jordan, and Pablo Shmerkin, The Hausdorff dimension of the projections of self-affine carpets, Fund. Math. 209 (2010), no. 3, 193–213. MR 2720210, DOI 10.4064/fm209-3-1
- Jonathan M. Fraser, On the packing dimension of box-like self-affine sets in the plane, Nonlinearity 25 (2012), no. 7, 2075–2092. MR 2947936, DOI 10.1088/0951-7715/25/7/2075
- Jonathan M. Fraser and Pablo Shmerkin, On the dimensions of a family of overlapping self-affine carpets, Ergodic Theory Dynam. Systems 36 (2016), no. 8, 2463–2481. MR 3570020, DOI 10.1017/etds.2015.21
- Harry Furstenberg, Noncommuting random products, Trans. Amer. Math. Soc. 108 (1963), 377–428. MR 163345, DOI 10.1090/S0002-9947-1963-0163345-0
- PawełGawrychowski, Marin Gutan, and Andrzej Kisielewicz, On the problem of freeness of multiplicative matrix semigroups, Theoret. Comput. Sci. 411 (2010), no. 7-9, 1115–1120. MR 2606048, DOI 10.1016/j.tcs.2009.12.005
- Michael Hochman, On self-similar sets with overlaps and inverse theorems for entropy, Ann. of Math. (2) 180 (2014), no. 2, 773–822. MR 3224722, DOI 10.4007/annals.2014.180.2.7
- Michael Hochman, On self-similar sets with overlaps and inverse theorems for entropy in $\mathbb {R}^d$, Mem. Amer. Math. Soc. (2017). To appear.
- Michael Hochman and Boris Solomyak, On the dimension of Furstenberg measure for $SL_2(\Bbb R)$ random matrix products, Invent. Math. 210 (2017), no. 3, 815–875. MR 3735630, DOI 10.1007/s00222-017-0740-6
- Irene Hueter and Steven P. Lalley, Falconer’s formula for the Hausdorff dimension of a self-affine set in $\textbf {R}^2$, Ergodic Theory Dynam. Systems 15 (1995), no. 1, 77–97. MR 1314970, DOI 10.1017/S0143385700008257
- Thomas Jordan, Mark Pollicott, and Károly Simon, Hausdorff dimension for randomly perturbed self affine attractors, Comm. Math. Phys. 270 (2007), no. 2, 519–544. MR 2276454, DOI 10.1007/s00220-006-0161-7
- Raphaël Jungers, The joint spectral radius, Lecture Notes in Control and Information Sciences, vol. 385, Springer-Verlag, Berlin, 2009. Theory and applications. MR 2507938, DOI 10.1007/978-3-540-95980-9
- Antti Käenmäki, On natural invariant measures on generalised iterated function systems, Ann. Acad. Sci. Fenn. Math. 29 (2004), no. 2, 419–458. MR 2097242
- Antti Käenmäki and Ian D. Morris, Structure of equilibrium states on self-affine sets and strict monotonicity of affinity dimension, Proc. Lond. Math. Soc. (3) 116 (2018), no. 4, 929–956. MR 3789836, DOI 10.1112/plms.12089
- Antti Käenmäki and Henry W. J. Reeve, Multifractal analysis of Birkhoff averages for typical infinitely generated self-affine sets, J. Fractal Geom. 1 (2014), no. 1, 83–152. MR 3166207, DOI 10.4171/JFG/3
- Antti Käenmäki and Pablo Shmerkin, Overlapping self-affine sets of Kakeya type, Ergodic Theory Dynam. Systems 29 (2009), no. 3, 941–965. MR 2505323, DOI 10.1017/S0143385708080474
- David A. Klarner, Jean-Camille Birget, and Wade Satterfield, On the undecidability of the freeness of integer matrix semigroups, Internat. J. Algebra Comput. 1 (1991), no. 2, 223–226. MR 1128014, DOI 10.1142/S0218196791000146
- I. D. Morris, An explicit formula for the pressure of box-like affine iterated function systems, arXiv:1703.09097, 2017. J. Fractal Geom., to appear.
- Ariel Rapaport, On self-affine measures with equal Hausdorff and Lyapunov dimensions, Trans. Amer. Math. Soc. 370 (2018), no. 7, 4759–4783. MR 3812095, DOI 10.1090/tran/7099
- Andreas Schief, Separation properties for self-similar sets, Proc. Amer. Math. Soc. 122 (1994), no. 1, 111–115. MR 1191872, DOI 10.1090/S0002-9939-1994-1191872-1
- Pablo Shmerkin, Projections of self-similar and related fractals: a survey of recent developments, Fractal geometry and stochastics V, Progr. Probab., vol. 70, Birkhäuser/Springer, Cham, 2015, pp. 53–74. MR 3558150, DOI 10.1007/978-3-319-18660-3_{4}
- Pablo Shmerkin and Boris Solomyak, Absolute continuity of self-similar measures, their projections and convolutions, Trans. Amer. Math. Soc. 368 (2016), no. 7, 5125–5151. MR 3456174, DOI 10.1090/tran6696
- Boris Solomyak, Measure and dimension for some fractal families, Math. Proc. Cambridge Philos. Soc. 124 (1998), no. 3, 531–546. MR 1636589, DOI 10.1017/S0305004198002680
Additional Information
- Ian D. Morris
- Affiliation: Department of Mathematics, University of Surrey, Guildford GU2 7XH, United Kingdom
- Email: i.morris@surrey.ac.uk
- Pablo Shmerkin
- Affiliation: Departamento de Matemáticas y Estadísticas and CONICET, Universidad Torcuato Di Tella, Av. Figueroa Alcorta 7350 (C1428BCW), Buenos Aires, Argentina
- MR Author ID: 781925
- Email: pshmerkin@utdt.edu
- Received by editor(s): December 29, 2016
- Received by editor(s) in revised form: June 16, 2017
- Published electronically: October 17, 2018
- Additional Notes: The first author was supported by the Engineering and Physical Sciences Research Council (grant number EP/L026953/1).
The second author was partially supported by project PICT 2013-1393 (ANPCyT) - © Copyright 2018 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 371 (2019), 1547-1582
- MSC (2010): Primary 28A80, 37C45; Secondary 37D35
- DOI: https://doi.org/10.1090/tran/7334
- MathSciNet review: 3894027