Intermediate dimensions of infinitely generated attractors. (English) Zbl 07662347

Summary: We study the dimension theory of limit sets of iterated function systems consisting of a countably infinite number of contractions. Our primary focus is on the intermediate dimensions: a family of dimensions depending on a parameter \(\theta \in [0,1]\) which interpolate between the Hausdorff and box dimensions. Our main results are in the case when all the contractions are conformal. Under a natural separation condition we prove that the intermediate dimensions of the limit set are the maximum of the Hausdorff dimension of the limit set and the intermediate dimensions of the set of fixed points of the contractions. This builds on work of Mauldin and Urbański concerning the Hausdorff and upper box dimension. We give several (often counter-intuitive) applications of our work to dimensions of projections, fractional Brownian images, and general Hölder images. These applications apply to well-studied examples such as sets of numbers which have real or complex continued fraction expansions with restricted entries. We also obtain several results without assuming conformality or any separation conditions. We prove general upper bounds for the Hausdorff, box and intermediate dimensions of infinitely generated attractors in terms of a topological pressure function. We also show that the limit set of a ‘generic’ infinite iterated function system has box and intermediate dimensions equal to the ambient spatial dimension, where ‘generic’ can refer to any one of (i) full measure; (ii) prevalent; or (iii) comeagre.


28A80 Fractals
37B10 Symbolic dynamics
11K50 Metric theory of continued fractions
Full Text: DOI arXiv


[1] Banaji, Amlan, Generalised intermediate dimensions · Zbl 1509.28005
[2] Amlan Banaji and Jonathan M. Fraser, Assouad type dimensions of infinitely generated self-conformal sets. Preprint, 2207.11611, 2022.
[3] Banaji, Amlan, Intermediate dimensions of Bedford-Mcmullen carpets with applications to Lipschitz equivalence · Zbl 1509.28005
[4] Banaji, Amlan, Attainable forms of intermediate dimensions, Ann. Fenn. Math., 939-960 (2022) · Zbl 1509.28005
[5] Burrell, Stuart A., Dimensions of fractional Brownian images, J. Theoret. Probab. (to appear)
[6] Burrell, Stuart A., Projection theorems for intermediate dimensions, J. Fractal Geom., 95-116 (2021) · Zbl 1470.28007
[7] Burrell, Stuart A., The fractal structure of elliptical polynomial spirals, Monatsh. Math. (to appear)
[8] Chousionis, Vasileios, On the dimension spectrum of infinite subsystems of continued fractions, Trans. Amer. Math. Soc., 1009-1042 (2020) · Zbl 1437.37032
[9] Christensen, Jens Peter Reus, On sets of Haar measure zero in abelian Polish groups, Israel J. Math., 255-260 (1973) · Zbl 0249.43002
[10] Chu, Chih-Yung, Dimensions in infinite iterated function systems consisting of bi-Lipschitz mappings, Dyn. Syst., 549-583 (2020) · Zbl 1469.28004
[11] Daw, Lara, Fractal dimensions of the Rosenblatt process · Zbl 1455.60061
[12] Elekes, M\'{a}rton, Haar null and Haar meager sets: a survey and new results, Bull. Lond. Math. Soc., 561-619 (2020)
[13] Falconer, Kenneth J., The Hausdorff dimension of self-affine fractals, Math. Proc. Cambridge Philos. Soc., 339-350 (1988) · Zbl 0642.28005
[14] Falconer, Kenneth J., Fractal geometry, xxx+368 pp. (2014), John Wiley & Sons, Ltd., Chichester · Zbl 1285.28011
[15] Falconer, Kenneth J., Intermediate {D}imensions: {A} {S}urvey, Springer Lecture Notes in Mathematics, 469\ndash 494 pp. (2021) · Zbl 1484.28007
[16] Falconer, Kenneth J., Intermediate dimension of images of sequences under fractional Brownian motion, Statist. Probab. Lett., Paper No. 109300, 6 pp. (2022) · Zbl 1478.60124
[17] Falconer, Kenneth J., Sixty years of fractal projections, Fractal geometry and stochastics {V} (eds. C. Bandt, K. J. Falconer and M. Z\"ahle), 3\ndash 25 pp. (2015), Birkh\"{a}user, Progr. Probab. · Zbl 1338.28007
[18] Falconer, Kenneth J., Intermediate dimensions, Math. Z., 813-830 (2020) · Zbl 1448.28009
[19] Falconer, Kenneth J., A Capacity Approach to Box and Packing Dimensions of Projections and Other Images, 1\ndash 19 pp. (2020)
[20] Falk, Richard S., A New Approach to Numerical Computation of Hausdorff Dimension of Iterated Function Systems: Applications to Complex Continued Fractions, Integral Equations Operator Theory, Paper No. 61, 46 pp. (2018) · Zbl 1441.11187
[21] Fraser, Jonathan M., Assouad Dimension and Fractal Geometry, Cambridge Tracts in Mathematics, xvi+269 pp. (2021), Cambridge University Press, Cambridge · Zbl 1467.28001
[22] Fraser, Jonathan M., Fractal geometry and stochastics VI. Interpolating Between Dimensions, Progr. Probab., 3-24 (2021), Birkh\"{a}user/Springer, Cham · Zbl 1462.28007
[23] Fraser, Jonathan M., On H\"{o}lder solutions to the spiral winding problem, Nonlinearity, 3251-3270 (2021)
[24] Fraser, Jonathan M., New dimension spectra: Finer information on scaling and homogeneity, Adv. Math., 273-328 (2018) · Zbl 1390.28019
[25] Gardner, R. J., On the Hausdorff dimension of a set of complex continued fractions, Illinois J. Math., 334-345 (1983) · Zbl 0492.10042
[26] Graf, Siegfried, The exact Hausdorff dimension in random recursive constructions, Mem. Amer. Math. Soc., x+121 pp. (1988) · Zbl 0641.60003
[27] Hanus, Pawe\l, Complex continued fractions with restricted entries, Electron. J. Differential Equations, No. 27, 9 pp. (1998) · Zbl 0930.37001
[28] Heinemann, Stefan-M., Hausdorff dimension estimates for infinite conformal IFSs, Nonlinearity, 727-734 (2002) · Zbl 1015.37019
[29] Hochman, Michael, Local entropy averages and projections of fractal measures, Ann. of Math. (2), 1001-1059 (2012) · Zbl 1251.28008
[30] Hutchinson, John E., Fractals and self-similarity, Indiana Univ. Math. J., 713-747 (1981) · Zbl 0598.28011
[31] Ingebretson, Daniel, Quantitative distortion and the Hausdorff dimension of continued fractions · Zbl 1514.11012
[32] K\"{a}enm\"{a}ki, Antti, Multifractal analysis of Birkhoff averages for typical infinitely generated self-affine sets, J. Fractal Geom., 83-152 (2014) · Zbl 1292.28016
[33] Kahane, Jean-Pierre, Some Random Series of Functions, Cambridge Studies in Advanced Mathematics, xiv+305 pp. (1985), Cambridge University Press, Cambridge · Zbl 0805.60007
[34] Kesseb\"{o}hmer, Marc, Dimension sets for infinite IFSs: the Texan conjecture, J. Number Theory, 230-246 (2006) · Zbl 1085.37018
[35] Mauldin, R. Daniel, Fractal geometry and stochastics. Infinite Iterated Function Systems: Theory and Applications, Progr. Probab., 91-110 (1994), Birkh\"{a}user, Basel · Zbl 0841.28009
[36] Mauldin, R. Daniel, Conformal iterated function systems with applications to the geometry of continued fractions, Trans. Amer. Math. Soc., 4995-5025 (1999) · Zbl 0940.28009
[37] Mauldin, R. Daniel, Dimensions and Measures in Infinite Iterated Function Systems, Proc. London Math. Soc. (3), 105-154 (1996) · Zbl 0852.28005
[38] Ngai, Sze-Man, Infinite iterated function systems with overlaps, Ergodic Theory Dynam. Systems, 890-907 (2016) · Zbl 1355.37027
[39] Ott, William, Prevalence, Bull. Amer. Math. Soc. (N.S.), 263-290 (2005) · Zbl 1111.28014
[40] Priyadarshi, Amit, Lower bound on the Hausdorff dimension of a set of Complex Continued Fractions, J. Math. Anal. Appl., 91-95 (2017) · Zbl 1362.30003
[41] Shmerkin, Pablo, Fractal Geometry and Stochastics V. Projections of self-similar and related fractals: a survey of recent developments, Progr. Probab., 53-74 (2015), Birkh\"{a}user/Springer, Cham · Zbl 1338.28004
[42] Tan, Justin T., On the intermediate dimensions of concentric spheres and related sets
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.