Showing 1–50 of 60 results for author: Käenmäki, A

Thermodynamic formalism of countably generated self-affine sets

Authors: Antti Käenmäki, Ian D. Morris

Abstract: In this article, we further develop the thermodynamic formalism of affine iterated function systems with countably many transformations by showing the existence and extending earlier characterisations of the equilibrium states of finite affine iterated function systems to the countably infinite case. As an application, under mild conditions, we prove that the affinity dimension of a countable affi… ▽ More In this article, we further develop the thermodynamic formalism of affine iterated function systems with countably many transformations by showing the existence and extending earlier characterisations of the equilibrium states of finite affine iterated function systems to the countably infinite case. As an application, under mild conditions, we prove that the affinity dimension of a countable affine iterated function system is equal to the supremum of the affinity dimensions of its finite subsystems. We deduce corollaries concerning the Hausdorff dimension of countably generated self-affine sets in dimensions $1$, $2$, and $3$ satisfying mild deterministic assumptions and in arbitrary dimension with generic translations. △ Less

Submitted 1 May, 2024; originally announced May 2024.

Comments: 50 pages

MSC Class: Primary 28A80; 37D35; Secondary 37H15

Level sets of prevalent Hölder functions

Authors: Roope Anttila, Balázs Bárány, Antti Käenmäki

Abstract: We study the level sets of prevalent Hölder functions. For a prevalent $α$-Hölder function on the unit interval, we show that the upper Minkowski dimension of every level set is bounded from above by $1-α$ and Lebesgue positively many level sets have Hausdorff dimension equal to $1-α$. We study the level sets of prevalent Hölder functions. For a prevalent $α$-Hölder function on the unit interval, we show that the upper Minkowski dimension of every level set is bounded from above by $1-α$ and Lebesgue positively many level sets have Hausdorff dimension equal to $1-α$. △ Less

Submitted 13 February, 2024; originally announced February 2024.

Comments: 12 pages

MSC Class: Primary 26A16; 28A78; Secondary 26E15; 28A50

Local dimension spectrum for dominated irreducible planar self-affine sets

Authors: Alex Batsis, Antti Käenmäki, Tom Kempton

Abstract: The local dimension spectrum gives a way to quantify fractal properties of a given measure. It is well understood for self-similar measures without overlaps. In this article we study the local dimension spectrum for dominated self-affine measures. Our main results completely characterize the behavior of the symbolic spectrum, and after detailed analysis on the exact dimensionality of self-affine m… ▽ More The local dimension spectrum gives a way to quantify fractal properties of a given measure. It is well understood for self-similar measures without overlaps. In this article we study the local dimension spectrum for dominated self-affine measures. Our main results completely characterize the behavior of the symbolic spectrum, and after detailed analysis on the exact dimensionality of self-affine measures we exhibit new deterministic results for the local dimension spectrum on a much wider range than was previously understood. △ Less

Submitted 24 January, 2024; originally announced January 2024.

Comments: 34 pages

Tangents and pointwise Assouad dimension of invariant sets

Authors: Antti Käenmäki, Alex Rutar

Abstract: We study the fine scaling properties of sets satisfying various weak forms of invariance. Our focus is on the interrelated concepts of (weak) tangents, Assouad dimension, and a new localized variant which we call the pointwise Assouad dimension. For general attractors of possibly overlapping bi-Lipschitz iterated function systems, we establish that the Assouad dimension is given by the Hausdorff d… ▽ More We study the fine scaling properties of sets satisfying various weak forms of invariance. Our focus is on the interrelated concepts of (weak) tangents, Assouad dimension, and a new localized variant which we call the pointwise Assouad dimension. For general attractors of possibly overlapping bi-Lipschitz iterated function systems, we establish that the Assouad dimension is given by the Hausdorff dimension of a tangent at some point in the attractor. Under the additional assumption of self-conformality, we moreover prove that this property holds for a subset of full Hausdorff dimension. We then turn our attention to an intermediate class of sets: namely planar self-affine carpets. For Gatzouras--Lalley carpets, we obtain precise information about tangents which, in particular, shows that points with large tangents are very abundant. However, already for Barański carpets, we see that more complex behaviour is possible. △ Less

Submitted 21 September, 2023; originally announced September 2023.

Comments: 55 pages, 3 figures

MSC Class: 28A80 (Primary) 37C45; 28A78 (Secondary)

Scaling limits of self-conformal measures

Authors: Balázs Bárány, Antti Käenmäki, Aleksi Pyörälä, Meng Wu

Abstract: We show that any self-conformal measure $μ$ on $\mathbb{R}$ is uniformly scaling and generates an ergodic fractal distribution. This generalizes existing results by removing the need for any separation condition. We also obtain applications to the prevalence of normal numbers in self-conformal sets, the resonance between self-conformal measures on the line, and projections of self-affine measures… ▽ More We show that any self-conformal measure $μ$ on $\mathbb{R}$ is uniformly scaling and generates an ergodic fractal distribution. This generalizes existing results by removing the need for any separation condition. We also obtain applications to the prevalence of normal numbers in self-conformal sets, the resonance between self-conformal measures on the line, and projections of self-affine measures on carpets. △ Less

Submitted 22 August, 2023; originally announced August 2023.

Comments: 25 pages

MSC Class: Primary 28A80; Secondary 28A33; 37A10; 37C45

Dimension of planar non-conformal attractors with triangular derivative matrices

Authors: Balázs Bárány, Antti Käenmäki

Abstract: We study the dimension of the attractor and quasi-Bernoulli measures of parametrized families of iterated function systems of non-conformal and non-affine maps. We introduce a transversality condition under which, relying on a weak Ledrappier-Young formula, we show that the dimensions equal to the root of the subadditive pressure and the Lyapunov dimension, respectively, for almost every choice of… ▽ More We study the dimension of the attractor and quasi-Bernoulli measures of parametrized families of iterated function systems of non-conformal and non-affine maps. We introduce a transversality condition under which, relying on a weak Ledrappier-Young formula, we show that the dimensions equal to the root of the subadditive pressure and the Lyapunov dimension, respectively, for almost every choice of parameters. We also exhibit concrete examples satisfying the transversality condition with respect to the translation parameters. △ Less

Submitted 18 August, 2023; originally announced August 2023.

MSC Class: 28A80; 37C45; 37C05; 37D35

Covering number on inhomogeneous graph-directed self-similar sets

Authors: Balázs Bárány, Antti Käenmäki, Petteri Nissinen

Abstract: We completely characterize the asymptotic behavior of the covering number for strongly connected inhomogeneous graph-directed self-similar sets satisfying the strong open set condition. We completely characterize the asymptotic behavior of the covering number for strongly connected inhomogeneous graph-directed self-similar sets satisfying the strong open set condition. △ Less

Submitted 28 September, 2023; v1 submitted 30 July, 2023; originally announced July 2023.

Comments: 17 pages

MSC Class: Primary 28A80; Secondary 37C45; 37D35

Slices of the Takagi function

Authors: Roope Anttila, Balázs Bárány, Antti Käenmäki

Abstract: We show that the Hausdorff dimension of any slice of the graph of the Takagi function is bounded above by the Assouad dimension of the graph minus one, and that the bound is sharp. The result is deduced from a statement on more general self-affine sets, which is of independent interest. We also prove that the Marstrand's slicing theorem on the graph of the Takagi function extends to all slices if… ▽ More We show that the Hausdorff dimension of any slice of the graph of the Takagi function is bounded above by the Assouad dimension of the graph minus one, and that the bound is sharp. The result is deduced from a statement on more general self-affine sets, which is of independent interest. We also prove that the Marstrand's slicing theorem on the graph of the Takagi function extends to all slices if and only if the upper pointwise dimension of every projection of the length measure on the $x$-axis lifted to the graph is at least one. △ Less

Submitted 15 November, 2023; v1 submitted 14 May, 2023; originally announced May 2023.

Comments: 37 pages, 5 figures

MSC Class: Primary 28A80; Secondary 28A75; 26A27

Non-invertible planar self-affine sets

Authors: Antti Käenmäki, Petteri Nissinen

Abstract: We compare the dimension of a non-invertible self-affine set to the dimension of the respective invertible self-affine set. In particular, for generic planar self-affine sets, we show that the dimensions coincide when they are large and differ when they are small. Our study relies on thermodynamical formalism where, for dominated and irreducible matrices, we completely characterize the behavior of… ▽ More We compare the dimension of a non-invertible self-affine set to the dimension of the respective invertible self-affine set. In particular, for generic planar self-affine sets, we show that the dimensions coincide when they are large and differ when they are small. Our study relies on thermodynamical formalism where, for dominated and irreducible matrices, we completely characterize the behavior of the pressures. △ Less

Submitted 28 March, 2024; v1 submitted 15 May, 2022; originally announced May 2022.

Comments: 17 pages

MSC Class: Primary 28A80; Secondary 37C45; 37D35

Finer geometry of planar self-affine sets

Authors: Balázs Bárány, Antti Käenmäki, Han Yu

Abstract: For a planar self-affine set satisfying the strong separation condition, it has been recently proved that under mild assumptions the Hausdorff dimension equals the affinity dimension. In this article, we continue this line of research and our objective is to acquire more refined geometric information. In a large class of non-carpet planar self-affine sets, we characterize Ahlfors regularity, deter… ▽ More For a planar self-affine set satisfying the strong separation condition, it has been recently proved that under mild assumptions the Hausdorff dimension equals the affinity dimension. In this article, we continue this line of research and our objective is to acquire more refined geometric information. In a large class of non-carpet planar self-affine sets, we characterize Ahlfors regularity, determine the Assouad dimension of the set and its projections, and estimate the Hausdorff dimension of slices. We also demonstrate that the Assouad dimension is not necessarily bounded above by the affinity dimension. △ Less

Submitted 2 July, 2021; originally announced July 2021.

Comments: 48 pages, 2 figures

MSC Class: Primary 28A80; Secondary 37C45; 37L30

Minkowski dimension for measures

Authors: Kenneth J. Falconer, Jonathan M. Fraser, Antti Käenmäki

Abstract: The purpose of this article is to introduce and motivate the notion of Minkowski (or box) dimension for measures. The definition is simple and fills a gap in the existing literature on the dimension theory of measures. As the terminology suggests, we show that it can be used to characterise the Minkowski dimension of a compact metric space. We also study its relationship with other concepts in dim… ▽ More The purpose of this article is to introduce and motivate the notion of Minkowski (or box) dimension for measures. The definition is simple and fills a gap in the existing literature on the dimension theory of measures. As the terminology suggests, we show that it can be used to characterise the Minkowski dimension of a compact metric space. We also study its relationship with other concepts in dimension theory. △ Less

Submitted 8 June, 2022; v1 submitted 20 January, 2020; originally announced January 2020.

Comments: 16 pages, 1 figure

MSC Class: Primary 28A75; 28A80; 54E35; Secondary 28A78; 54F45

Journal ref: Proceedings of the American Mathematical Society, 151, (2023), 779-794

Super-exponential condensation without exact overlaps

Authors: Balázs Bárány, Antti Käenmäki

Abstract: We exhibit self-similar sets on the line which are not exponentially separated and do not generate any exact overlaps. Our result shows that the exponential separation, introduced by Hochman in his groundbreaking theorem on the dimension of self-similar sets, is too weak to describe the full theory. We exhibit self-similar sets on the line which are not exponentially separated and do not generate any exact overlaps. Our result shows that the exponential separation, introduced by Hochman in his groundbreaking theorem on the dimension of self-similar sets, is too weak to describe the full theory. △ Less

Submitted 11 December, 2020; v1 submitted 10 October, 2019; originally announced October 2019.

Comments: 16 pages, 1 figure

MSC Class: 28A80 (Primary); 28A78 (Secondary)

Assouad dimension of planar self-affine sets

Authors: Balázs Bárány, Antti Käenmäki, Eino Rossi

Abstract: 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 hav… ▽ More 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. △ Less

Submitted 22 June, 2020; v1 submitted 26 June, 2019; originally announced June 2019.

Comments: 25 pages, 2 figures; added Example 3.3, improved presentation

MSC Class: Primary 28A80; Secondary 37C45; 37L30

Absolute continuity in families of parametrised non-homogeneous self-similar measures

Authors: Antti Käenmäki, Tuomas Orponen

Abstract: Let $μ$ be a planar self-similar measure with similarity dimension exceeding $1$, satisfying a mild separation condition, and such that the fixed points of the associated similitudes do not share a common line. Then, we prove that the orthogonal projections $π_{e\sharp}(μ)$ are absolutely continuous for all $e \in S^{1} \setminus E$, where the exceptional set $E$ has zero Hausdorff dimension. The… ▽ More Let $μ$ be a planar self-similar measure with similarity dimension exceeding $1$, satisfying a mild separation condition, and such that the fixed points of the associated similitudes do not share a common line. Then, we prove that the orthogonal projections $π_{e\sharp}(μ)$ are absolutely continuous for all $e \in S^{1} \setminus E$, where the exceptional set $E$ has zero Hausdorff dimension. The result is obtained from a more general framework which applies to certain parametrised families of self-similar measures on the real line. Our results extend previous work of Shmerkin and Solomyak from 2016, where it was assumed that the similitudes associated with $μ$ have a common contraction ratio. △ Less

Submitted 13 March, 2020; v1 submitted 12 December, 2018; originally announced December 2018.

Comments: 31 pages; downgraded Theorem 1.5 a bit in v2; the main application to projections remains unchanged

MSC Class: Primary 28A80; Secondary 28A78; 42A38

Attainable values for the Assouad dimension of projections

Authors: Jonathan M. Fraser, Antti Käenmäki

Abstract: We prove that for an arbitrary upper semi-continuous function $φ\colon G(1,2) \to [0,1]$ there exists a compact set $F$ in the plane such that $\dim_{\textrm{A}} πF = φ(π)$ for all $π\in G(1,2)$, where $πF$ is the orthogonal projection of $F$ onto the line $π$. In particular, this shows that the Assouad dimension of orthogonal projections can take on any finite or countable number of distinct valu… ▽ More We prove that for an arbitrary upper semi-continuous function $φ\colon G(1,2) \to [0,1]$ there exists a compact set $F$ in the plane such that $\dim_{\textrm{A}} πF = φ(π)$ for all $π\in G(1,2)$, where $πF$ is the orthogonal projection of $F$ onto the line $��$. In particular, this shows that the Assouad dimension of orthogonal projections can take on any finite or countable number of distinct values on a set of projections with positive measure. It was previously known that two distinct values could be achieved with positive measure. Recall that for other standard notions of dimension, such as the Hausdorff, packing, upper or lower box dimension, a single value occurs almost surely. △ Less

Submitted 6 January, 2020; v1 submitted 2 November, 2018; originally announced November 2018.

Comments: 14 pages, to appear in Proc. AMS

MSC Class: 28A80

Journal ref: Proc. Amer. Math. Soc., 148, (2020), 3393-3405

On the Hausdorff dimension of microsets

Authors: Jonathan M. Fraser, Douglas C. Howroyd, Antti Käenmäki, Han Yu

Abstract: We investigate how the Hausdorff dimensions of microsets are related to the dimensions of the original set. It is known that the maximal dimension of a microset is the Assouad dimension of the set. We prove that the lower dimension can analogously be obtained as the minimal dimension of a microset. In particular, the maximum and minimum exist. We also show that for an arbitrary $\mathcal{F}_σ$ set… ▽ More We investigate how the Hausdorff dimensions of microsets are related to the dimensions of the original set. It is known that the maximal dimension of a microset is the Assouad dimension of the set. We prove that the lower dimension can analogously be obtained as the minimal dimension of a microset. In particular, the maximum and minimum exist. We also show that for an arbitrary $\mathcal{F}_σ$ set $Δ\subseteq [0,d]$ containing its infimum and supremum there is a compact set in $[0,1]^d$ for which the set of Hausdorff dimensions attained by its microsets is exactly equal to the set $Δ$. Our work is motivated by the general programme of determining what geometric information about a set can be determined at the level of tangents. △ Less

Submitted 7 January, 2021; v1 submitted 2 August, 2018; originally announced August 2018.

Comments: 15 pages, 1 figure. small fixes

MSC Class: 28A80 (Primary); 28A78 (Secondary)

Journal ref: Proc. Amer. Math. Soc., 147 (2019), no. 11, 4921-4936

Birkhoff and Lyapunov spectra on planar self-affine sets

Authors: Balázs Bárány, Thomas Jordan, Antti Käenmäki, Michał Rams

Abstract: 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. 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. △ Less

Submitted 6 December, 2019; v1 submitted 21 May, 2018; originally announced May 2018.

Comments: 32 pages, 1 figure

MSC Class: Primary 28A80; Secondary 37L30; 37D35; 28D20

Self-conformal sets with positive Hausdorff measure

Authors: Jasmina Angelevska, Antti Käenmäki, Sascha Troscheit

Abstract: We investigate the Hausdorff measure and content on a class of quasi self-similar sets that include, for example, graph-directed and sub self-similar and self-conformal sets. We show that any Hausdorff measurable subset of such a set has comparable Hausdorff measure and Hausdorff content. In particular, this proves that graph-directed and sub self-conformal sets with positive Hausdorff measure are… ▽ More We investigate the Hausdorff measure and content on a class of quasi self-similar sets that include, for example, graph-directed and sub self-similar and self-conformal sets. We show that any Hausdorff measurable subset of such a set has comparable Hausdorff measure and Hausdorff content. In particular, this proves that graph-directed and sub self-conformal sets with positive Hausdorff measure are Ahlfors regular, irrespective of separation conditions. When restricting to self-conformal subsets of the real line with Hausdorff dimension strictly less than one, we additionally show that the weak separation condition is equivalent to Ahlfors regularity and its failure implies full Assouad dimension. In fact, we resolve a self-conformal extension of the dimension drop conjecture for self-conformal sets with positive Hausdorff measure by showing that its Hausdorff dimension falls below the expected value if and only if there are exact overlaps. △ Less

Submitted 11 December, 2019; v1 submitted 24 March, 2018; originally announced March 2018.

Comments: 21 pages

Domination, almost additivity, and thermodynamic formalism for planar matrix cocycles

Authors: Balázs Bárány, Antti Käenmäki, Ian D. Morris

Abstract: In topics such as the thermodynamic formalism of linear cocycles, the dimension theory of self-affine sets, and the theory of random matrix products, it has often been found useful to assume positivity of the matrix entries in order to simplify or make feasible certain types of calculation. It is natural to ask how positivity may be relaxed or generalised in a way which enables similar calculation… ▽ More In topics such as the thermodynamic formalism of linear cocycles, the dimension theory of self-affine sets, and the theory of random matrix products, it has often been found useful to assume positivity of the matrix entries in order to simplify or make feasible certain types of calculation. It is natural to ask how positivity may be relaxed or generalised in a way which enables similar calculations to be made in more general contexts. On the one hand one may generalise by considering almost additive or asymptotically additive potentials which mimic the properties enjoyed by the logarithm of the norm of a positive matrix cocycle; on the other hand one may consider matrix cocycles which are dominated, a condition which includes positive matrix cocycles but is more general. In this article we explore the relationship between almost additivity and domination for planar cocycles. We show in particular that a locally constant linear cocycle in the plane is almost additive if and only if it is either conjugate to a cocycle of isometries, or satisfies a property slightly weaker than domination which is introduced in this paper. Applications to matrix thermodynamic formalism are presented. △ Less

Submitted 1 September, 2019; v1 submitted 6 February, 2018; originally announced February 2018.

Comments: 24 pages, 1 figure

MSC Class: 37D30; 37D35

Dynamics of the scenery flow and conical density theorems

Authors: Antti Käenmäki

Abstract: Conical density theorems are used in the geometric measure theory to derive geometric information from given metric information. The idea is to examine how a measure is distributed in small balls. Finding conditions that guarantee the measure to be effectively spread out in different directions is a classical question going back to Besicovitch (1938) and Marstrand (1954). Classically, conical dens… ▽ More Conical density theorems are used in the geometric measure theory to derive geometric information from given metric information. The idea is to examine how a measure is distributed in small balls. Finding conditions that guarantee the measure to be effectively spread out in different directions is a classical question going back to Besicovitch (1938) and Marstrand (1954). Classically, conical density theorems deal with the distribution of the Hausdorff measure. The process of taking blow-ups of a measure around a point induces a natural dynamical system called the scenery flow. Relying on this dynamics makes it possible to apply ergodic-theoretical methods to understand the statistical behavior of tangent measures. This approach was initiated by Furstenberg (1970, 2008) and greatly developed by Hochman (2010). The scenery flow is a well-suited tool to address problems concerning conical densities. In this survey, we demonstrate how to develop the ergodic-theoretical machinery around the scenery flow and use it to study conical density theorems. △ Less

Submitted 6 October, 2017; originally announced October 2017.

MSC Class: 28A80; 37A10; 28A75; 28A33

Journal ref: Banach Center Publ., 115 (2018), 99-143

A Marstrand-type restricted projection theorem in $\mathbb{R}^{3}$

Authors: Antti Käenmäki, Tuomas Orponen, Laura Venieri

Abstract: Marstrand's projection theorem from $1954$ states that if $K \subset \mathbb{R}^{3}$ is an analytic set, then, for $\mathcal{H}^{2}$ almost every $e \in S^{2}$, the orthogonal projection $π_{e}(K)$ of $K$ to the line spanned by $e$ has Hausdorff dimension $\min\{\dim_{\mathrm{H}} K,1\}$. This paper contains the following sharper version of Marstrand's theorem. Let $V \subset \mathbb{R}^{3}$ be any… ▽ More Marstrand's projection theorem from $1954$ states that if $K \subset \mathbb{R}^{3}$ is an analytic set, then, for $\mathcal{H}^{2}$ almost every $e \in S^{2}$, the orthogonal projection $π_{e}(K)$ of $K$ to the line spanned by $e$ has Hausdorff dimension $\min\{\dim_{\mathrm{H}} K,1\}$. This paper contains the following sharper version of Marstrand's theorem. Let $V \subset \mathbb{R}^{3}$ be any $2$-plane, which is not a subspace. Then, for $\mathcal{H}^{1}$ almost every $e \in S^{2} \cap V$, the projection $π_{e}(K)$ has Hausdorff dimension $\min\{\dim_{\mathrm{H}} K,1\}$. For $0 \leq t < \dim_{\mathrm{H}} K$, we also prove an upper bound for the Hausdorff dimension of those vectors $e \in S^{2} \cap V$ with $\dim_{\mathrm{H}} ρ_{e}(K) \leq t < \dim_{\mathrm{H}} K$. △ Less

Submitted 2 July, 2021; v1 submitted 16 August, 2017; originally announced August 2017.

Comments: 35 pages, 3 figures. v2: incorporated reviewer comments

MSC Class: 28A80; 28A78

On self-affine sets

Authors: Antti Käenmäki

Abstract: We survey the dimension theory of self-affine sets for general mathematical audience. The article is in Finnish. We survey the dimension theory of self-affine sets for general mathematical audience. The article is in Finnish. △ Less

Submitted 30 January, 2017; originally announced February 2017.

Comments: in Finnish

Journal ref: Arkhimedes, (2008), no. 2, 17-20

Scenery flow, conical densities, and rectifiability

Authors: Antti Käenmäki

Abstract: We present an application of the recently developed ergodic theoretic machinery on scenery flows to a classical geometric measure theoretic problem in Euclidean spaces. We also review the enhancements to the theory required in our work. Our main result is a sharp version of the conical density theorem, which we reduce to a question on rectifiability. We present an application of the recently developed ergodic theoretic machinery on scenery flows to a classical geometric measure theoretic problem in Euclidean spaces. We also review the enhancements to the theory required in our work. Our main result is a sharp version of the conical density theorem, which we reduce to a question on rectifiability. △ Less

Submitted 30 January, 2017; originally announced January 2017.

Comments: arXiv admin note: text overlap with arXiv:1401.0231

Journal ref: Fractal Geometry and Stochastics V, Springer International Publishing, 2015, 27-38

Dimension and measures on sub-self-affine sets

Authors: Antti Käenmäki, Markku Vilppolainen

Abstract: We show that in a typical sub-self-affine set, the Hausdorff and the Minkowski dimensions coincide and equal the zero of an appropriate topological pressure. This gives a partial positive answer to the question of Falconer. We also study the properties of the topological pressure and the existence and the uniqueness of natural measures supported on a sub-self-affine set. We show that in a typical sub-self-affine set, the Hausdorff and the Minkowski dimensions coincide and equal the zero of an appropriate topological pressure. This gives a partial positive answer to the question of Falconer. We also study the properties of the topological pressure and the existence and the uniqueness of natural measures supported on a sub-self-affine set. △ Less

Submitted 30 January, 2017; originally announced January 2017.

Journal ref: Monatsh. Math., 161 (2010), no. 3, 271-293

On upper conical density results

Authors: Antti Käenmäki

Abstract: We report a recent developement on the theory of upper conical densities. More precicely, we look at what can be said in this respect for other measures than just the Hausdorff measure. We illustrate the methods involved by proving a result for the packing measure and for a purely unrectifiable doubling measure. We report a recent developement on the theory of upper conical densities. More precicely, we look at what can be said in this respect for other measures than just the Hausdorff measure. We illustrate the methods involved by proving a result for the packing measure and for a purely unrectifiable doubling measure. △ Less

Submitted 21 March, 2017; v1 submitted 30 January, 2017; originally announced January 2017.

Comments: Fixed broken citation

Journal ref: Recent Developments in Fractals and Related Fields, Applied and Numerical Harmonic Analysis, 2010, 45-54

Upper Conical density results for general measures on $\mathbb{R}^n$

Authors: Marianna Csörnyei, Antti Käenmäki, Tapio Rajala, Ville Suomala

Abstract: We study conical density properties of general Borel measures on Euclidean spaces. Our results are analogous to the previously known result on the upper density properties of Hausdorff and packing type measures. We study conical density properties of general Borel measures on Euclidean spaces. Our results are analogous to the previously known result on the upper density properties of Hausdorff and packing type measures. △ Less

Submitted 30 January, 2017; originally announced January 2017.

Journal ref: Proc. Edinburgh Math. Soc. 53 (2010), no. 2, 311-331

Porosity and regularity in metric measure spaces

Authors: Antti Käenmäki

Abstract: This is a report of a joint work with E. Järvenpää, M. Järvenpää, T. Rajala, S. Rogovin, and V. Suomala. In [3], we characterized uniformly porous sets in $s$-regular metric spaces in terms of regular sets by verifying that a set $A$ is uniformly porous if and only if there is $t < s$ and a $t$-regular set $F \supset A$. Here we outline the main idea of the proof and also present an alternative pr… ▽ More This is a report of a joint work with E. Järvenpää, M. Järvenpää, T. Rajala, S. Rogovin, and V. Suomala. In [3], we characterized uniformly porous sets in $s$-regular metric spaces in terms of regular sets by verifying that a set $A$ is uniformly porous if and only if there is $t < s$ and a $t$-regular set $F \supset A$. Here we outline the main idea of the proof and also present an alternative proof for the crucial lemma needed in the proof of the result. △ Less

Submitted 30 January, 2017; originally announced January 2017.

Journal ref: Real Anal. Exchange 2007, 31st Summer Symposium Conference, 245-250

Packing dimension and Ahlfors regularity of porous sets in metric spaces

Authors: Esa Järvenpää, Maarit Järvenpää, Antti Käenmäki, Tapio Rajala, Sari Rogovin, Ville Suomala

Abstract: Let $X$ be a metric measure space with an $s$-regular measure $μ$. We prove that if $A\subset X$ is $\varrho$-porous, then $\dim_{\mathrm{p}}(A)\le s-c\varrho^s$ where $\dim_{\mathrm{p}}$ is the packing dimension and $c$ is a positive constant which depends on $s$ and the structure constants of $μ$. This is an analogue of a well known asymptotically sharp result in Euclidean spaces. We illustrate… ▽ More Let $X$ be a metric measure space with an $s$-regular measure $μ$. We prove that if $A\subset X$ is $\varrho$-porous, then $\dim_{\mathrm{p}}(A)\le s-c\varrho^s$ where $\dim_{\mathrm{p}}$ is the packing dimension and $c$ is a positive constant which depends on $s$ and the structure constants of $μ$. This is an analogue of a well known asymptotically sharp result in Euclidean spaces. We illustrate by an example that the corresponding result is not valid if $μ$ is a doubling measure. However, in the doubling case we find a fixed $N\subset X$ with $μ(N)=0$ such that $\dim_{\mathrm{p}}(A)\le\dim_{\mathrm{p}}(X)-c(\log\tfrac 1\varrho)^{-1}\varrho^t$ for all $\varrho$-porous sets $A\subset X\setminus N$. Here $c$ and $t$ are constants which depend on the structure constant of $μ$. Finally, we characterize uniformly porous sets in complete $s$-regular metric spaces in terms of regular sets by verifying that $A$ is uniformly porous if and only if there is $t<s$ and a $t$-regular set $F$ such that $A\subset F$. △ Less

Submitted 30 January, 2017; originally announced January 2017.

Journal ref: Math. Z. 266 (2010), no. 1, 83-105

Separation conditions on controlled Moran constructions

Authors: Antti Käenmäki, Markku Vilppolainen

Abstract: It is well known that the open set condition and the positivity of the $t$-dimensional Hausdorff measure are equivalent on self-similar sets, where $t$ is the zero of the topological pressure. We prove an analogous result for a class of Moran constructions and we study different kinds of Moran constructions with this respect. It is well known that the open set condition and the positivity of the $t$-dimensional Hausdorff measure are equivalent on self-similar sets, where $t$ is the zero of the topological pressure. We prove an analogous result for a class of Moran constructions and we study different kinds of Moran constructions with this respect. △ Less

Submitted 30 January, 2017; originally announced January 2017.

Journal ref: Fund. Math. 200 (2008), no. 1, 69-100

Conical upper density theorems and porosity of measures

Authors: Antti Käenmäki, Ville Suomala

Abstract: We study how measures with finite lower density are distributed around $(n-m)$-planes in small balls in $\mathbb{R}^n$. We also discuss relations between conical upper density theorems and porosity. Our results may be applied to a large collection of Hausdorff and packing type measures. We study how measures with finite lower density are distributed around $(n-m)$-planes in small balls in $\mathbb{R}^n$. We also discuss relations between conical upper density theorems and porosity. Our results may be applied to a large collection of Hausdorff and packing type measures. △ Less

Submitted 30 January, 2017; originally announced January 2017.

Journal ref: Adv. Math. 217 (2008), no. 3, 952-966

Geometric rigidity of a class of fractal sets

Authors: Antti Käenmäki

Abstract: We study geometric rigidity of a class of fractals, which is slightly larger than the collection of self-conformal sets. Namely, using a new method, we shall prove that a set of this class is contained in a smooth submanifold or is totally spread out. We study geometric rigidity of a class of fractals, which is slightly larger than the collection of self-conformal sets. Namely, using a new method, we shall prove that a set of this class is contained in a smooth submanifold or is totally spread out. △ Less

Submitted 30 January, 2017; originally announced January 2017.

Journal ref: Math. Nachr. 279 (2006), no. 1-2, 179-187

Asymptotically sharp dimension estimates for $k$-porous sets

Authors: Esa Järvenpää, Maarit Järvenpää, Antti Käenmäki, Ville Suomala

Abstract: In $\mathbb{R}^n$, we establish an asymptotically sharp upper bound for the upper Minkowski dimension of $k$-porous sets having holes of certain size near every point in $k$ orthogonal directions at all small scales. This bound tends to $n-k$ as $k$-porosity tends to its maximum value. In $\mathbb{R}^n$, we establish an asymptotically sharp upper bound for the upper Minkowski dimension of $k$-porous sets having holes of certain size near every point in $k$ orthogonal directions at all small scales. This bound tends to $n-k$ as $k$-porosity tends to its maximum value. △ Less

Submitted 30 January, 2017; originally announced January 2017.

Journal ref: Math. Scand. 97 (2005), no. 2, 309-318

Measures of full dimension on self-affine sets

Authors: Antti Käenmäki

Abstract: Under the assumption of a natural subadditive potential, the so called cylinder function, working on the symbol space we prove the existence of the ergodic invariant probability measure satisfying the equilibrium state. As an application we show that for typical self-affine sets there exists an ergodic invariant measure having the same Hausdorff dimension as the set itself. Under the assumption of a natural subadditive potential, the so called cylinder function, working on the symbol space we prove the existence of the ergodic invariant probability measure satisfying the equilibrium state. As an application we show that for typical self-affine sets there exists an ergodic invariant measure having the same Hausdorff dimension as the set itself. △ Less

Submitted 30 January, 2017; originally announced January 2017.

Comments: arXiv admin note: substantial text overlap with arXiv:1701.08575

Journal ref: Acta Univ. Carolin. Math. Phys. 45 (2004), no. 2, 45-53

Nonsymmetric conical upper density and $k$-porosity

Authors: Antti Käenmäki, Ville Suomala

Abstract: We study how the Hausdorff measure is distributed in nonsymmetric narrow cones in $\mathbb{R}^n$. As an application, we find an upper bound close to $n-k$ for the Hausdorff dimension of sets with large $k$-porosity. With $k$-porous sets we mean sets which have holes in $k$ different directions on every small scale. We study how the Hausdorff measure is distributed in nonsymmetric narrow cones in $\mathbb{R}^n$. As an application, we find an upper bound close to $n-k$ for the Hausdorff dimension of sets with large $k$-porosity. With $k$-porous sets we mean sets which have holes in $k$ different directions on every small scale. △ Less

Submitted 30 January, 2017; originally announced January 2017.

Journal ref: Trans. Amer. Math. Soc., 363 (2011), no. 3, 1183-1195

On natural invariant measures on generalised iterated function systems

Authors: Antti Käenmäki

Abstract: We consider the limit set of generalised iterated function systems. Under the assumption of a natural potential, the so called cylinder function, we prove the existence of the invariant probability measure satisfying the equilibrium state. We motivate this approach by showing that for typical self-affine sets there exists an ergodic invariant measure having the same Hausdorff dimension as the set… ▽ More We consider the limit set of generalised iterated function systems. Under the assumption of a natural potential, the so called cylinder function, we prove the existence of the invariant probability measure satisfying the equilibrium state. We motivate this approach by showing that for typical self-affine sets there exists an ergodic invariant measure having the same Hausdorff dimension as the set itself. △ Less

Submitted 30 January, 2017; originally announced January 2017.

Journal ref: Ann. Acad. Sci. Fenn. Math. 29 (2004), no. 2, 419-458

On the geometric structure of the limit set of conformal iterated function systems

Authors: Antti Käenmäki

Abstract: We consider infinite conformal iterated function systems on $\mathbb{R}^d$. We study the geometric structure of the limit set of such systems. Suppose this limit set intersects some $l$-dimensional $C^1$-submanifold with positive Hausdorff $t$-dimensional measure, where $0<l<d$ and $t$ is the Hausdorff dimension of the limit set. We then show that the closure of the limit set belongs to some $l$-d… ▽ More We consider infinite conformal iterated function systems on $\mathbb{R}^d$. We study the geometric structure of the limit set of such systems. Suppose this limit set intersects some $l$-dimensional $C^1$-submanifold with positive Hausdorff $t$-dimensional measure, where $0<l<d$ and $t$ is the Hausdorff dimension of the limit set. We then show that the closure of the limit set belongs to some $l$-dimensional affine subspace or geometric sphere whenever $d$ exceeds $2$ and analytic curve if $d$ equals $2$. △ Less

Submitted 30 January, 2017; originally announced January 2017.

Journal ref: Publ. Mat. 47 (2003), no. 1, 133-141

Self-affine sets in analytic curves and algebraic surfaces

Authors: De-Jun Feng, Antti Käenmäki

Abstract: We characterize analytic curves that contain non-trivial self-affine sets. We also prove that compact algebraic surfaces cannot contain non-trivial self-affine sets. We characterize analytic curves that contain non-trivial self-affine sets. We also prove that compact algebraic surfaces cannot contain non-trivial self-affine sets. △ Less

Submitted 31 May, 2017; v1 submitted 21 December, 2016; originally announced December 2016.

Journal ref: Ann. Acad. Sci. Fenn. Math., 43 (2018), no. 1, 109-119

Dimension of self-affine sets for fixed translation vectors

Authors: Balazs Barany, Antti Kaenmaki, Henna Koivusalo

Abstract: An affine iterated function system is a finite collection of affine invertible contractions and the invariant set associated to the mappings is called self-affine. In 1988, Falconer proved that, for given matrices, the Hausdorff dimension of the self-affine set is the affinity dimension for Lebesgue almost every translation vectors. Similar statement was proven by Jordan, Pollicott, and Simon in 2… ▽ More An affine iterated function system is a finite collection of affine invertible contractions and the invariant set associated to the mappings is called self-affine. In 1988, Falconer proved that, for given matrices, the Hausdorff dimension of the self-affine set is the affinity dimension for Lebesgue almost every translation vectors. Similar statement was proven by Jordan, Pollicott, and Simon in 2007 for the dimension of self-affine measures. In this article, we have an orthogonal approach. We introduce a class of self-affine systems in which, given translation vectors, we get the same results for Lebesgue almost all matrices. The proofs rely on Ledrappier-Young theory that was recently verified for affine iterated function systems by Bárány and Käenmäki, and a new transversality condition, and in particular they do not depend on properties of the Furstenberg measure. This allows our results to hold for self-affine sets and measures in any Euclidean space. △ Less

Submitted 28 March, 2018; v1 submitted 28 November, 2016; originally announced November 2016.

Comments: 28 pages, 3 figures

MSC Class: 37C45; 28A80

Genericity of dimension drop on self-affine sets

Authors: Antti Käenmäki, Bing Li

Abstract: We prove that generically, for a self-affine set in $\mathbb{R}^d$, removing one of the affine maps which defines the set results in a strict reduction of the Hausdorff dimension. This gives a partial positive answer to a folklore open question. We prove that generically, for a self-affine set in $\mathbb{R}^d$, removing one of the affine maps which defines the set results in a strict reduction of the Hausdorff dimension. This gives a partial positive answer to a folklore open question. △ Less

Submitted 3 March, 2017; v1 submitted 2 November, 2016; originally announced November 2016.

Comments: arXiv admin note: text overlap with arXiv:1609.07360

Journal ref: Statist. Probab. Lett., 126 (2017), 18-25

Structure of equilibrium states on self-affine sets and strict monotonicity of affinity dimension

Authors: Antti Käenmäki, Ian D. Morris

Abstract: A fundamental problem in the dimension theory of self-affine sets is the construction of high-dimensional measures which yield sharp lower bounds for the Hausdorff dimension of the set. A natural strategy for the construction of such high-dimensional measures is to investigate measures of maximal Lyapunov dimension; these measures can be alternatively interpreted as equilibrium states of the singu… ▽ More A fundamental problem in the dimension theory of self-affine sets is the construction of high-dimensional measures which yield sharp lower bounds for the Hausdorff dimension of the set. A natural strategy for the construction of such high-dimensional measures is to investigate measures of maximal Lyapunov dimension; these measures can be alternatively interpreted as equilibrium states of the singular value function introduced by Falconer. Whilst the existence of these equilibrium states has been well-known for some years their structure has remained elusive, particularly in dimensions higher than two. In this article we give a complete description of the equilibrium states of the singular value function in the three-dimensional case, showing in particular that all such equilibrium states must be fully supported. In higher dimensions we also give a new sufficient condition for the uniqueness of these equilibrium states. As a corollary, giving a solution to a folklore open question in dimension three, we prove that for a typical self-affine set in $\mathbb{R}^3$, removing one of the affine maps which defines the set results in a strict reduction of the Hausdorff dimension. △ Less

Submitted 30 September, 2017; v1 submitted 23 September, 2016; originally announced September 2016.

Journal ref: Proc. Lond. Math. Soc., 116 (2018), no. 4, 929-956

Measures with predetermined regularity and inhomogeneous self-similar sets

Authors: Antti Käenmäki, Juha Lehrbäck

Abstract: We show that if $X$ is a uniformly perfect complete metric space satisfying the finite doubling property, then there exists a fully supported measure with lower regularity dimension as close to the lower dimension of $X$ as we wish. Furthermore, we show that, under the condensation open set condition, the lower dimension of an inhomogeneous self-similar set $E_C$ coincides with the lower dimension… ▽ More We show that if $X$ is a uniformly perfect complete metric space satisfying the finite doubling property, then there exists a fully supported measure with lower regularity dimension as close to the lower dimension of $X$ as we wish. Furthermore, we show that, under the condensation open set condition, the lower dimension of an inhomogeneous self-similar set $E_C$ coincides with the lower dimension of the condensation set $C$, while the Assouad dimension of $E_C$ is the maximum of the Assouad dimensions of the corresponding self-similar set $E$ and the condensation set $C$. If the Assouad dimension of $C$ is strictly smaller than the Assouad dimension of $E$, then the upper regularity dimension of any measure supported on $E_C$ is strictly larger than the Assouad dimension of $E_C$. Surprisingly, the corresponding statement for the lower regularity dimension fails. △ Less

Submitted 20 April, 2017; v1 submitted 12 September, 2016; originally announced September 2016.

Journal ref: Ark. Mat., 55 (2017), no. 1, 165-184

Rigidity of quasisymmetric mappings on self-affine carpets

Authors: Antti Käenmäki, Tuomo Ojala, Eino Rossi

Abstract: We show that the class of quasisymmetric maps between horizontal self-affine carpets is rigid. Such maps can only exist when the dimensions of the carpets coincide, and in this case, the quasisymmetric maps are quasi-Lipschitz. We also show that horizontal self-affine carpets are minimal for the conformal Assouad dimension. We show that the class of quasisymmetric maps between horizontal self-affine carpets is rigid. Such maps can only exist when the dimensions of the carpets coincide, and in this case, the quasisymmetric maps are quasi-Lipschitz. We also show that horizontal self-affine carpets are minimal for the conformal Assouad dimension. △ Less

Submitted 23 December, 2016; v1 submitted 8 July, 2016; originally announced July 2016.

Comments: 20 pages, 4 figures

MSC Class: 28A80; 37F35; 30C62; 30L10

Journal ref: Int. Math. Res. Not. IMRN, 12 (2018), 3769-3799

A note on correlation and local dimensions

Authors: Jiaojiao Yang, Antti Käenmäki, Min Wu

Abstract: Under very mild assumptions, we give formulas for the correlation and local dimensions of measures on the limit set of a Moran construction by means of the data used to construct the set. Under very mild assumptions, we give formulas for the correlation and local dimensions of measures on the limit set of a Moran construction by means of the data used to construct the set. △ Less

Submitted 3 March, 2017; v1 submitted 25 November, 2015; originally announced November 2015.

Journal ref: Chaos Solitons Fractals, 97 (2017), 39-43

Ledrappier-Young formula and exact dimensionality of self-affine measures

Authors: Balázs Bárány, Antti Käenmäki

Abstract: In this paper, we solve the long standing open problem on exact dimensionality of self-affine measures on the plane. We show that every self-affine measure on the plane is exact dimensional regardless of the choice of the defining iterated function system. In higher dimensions, under certain assumptions, we prove that self-affine and quasi self-affine measures are exact dimensional. In both cases,… ▽ More In this paper, we solve the long standing open problem on exact dimensionality of self-affine measures on the plane. We show that every self-affine measure on the plane is exact dimensional regardless of the choice of the defining iterated function system. In higher dimensions, under certain assumptions, we prove that self-affine and quasi self-affine measures are exact dimensional. In both cases, the measures satisfy the Ledrappier-Young formula. △ Less

Submitted 18 July, 2017; v1 submitted 18 November, 2015; originally announced November 2015.

MSC Class: 37C45; 28A80

Journal ref: Adv. Math., 318 (2017), 88-129

Weak separation condition, Assouad dimension, and Furstenberg homogeneity

Authors: Antti Käenmäki, Eino Rossi

Abstract: We consider dimensional properties of limit sets of Moran constructions satisfying the finite clustering property. Just to name a few, such limit sets include self-conformal sets satisfying the weak separation condition and certain sub-self-affine sets. In addition to dimension results for the limit set, we manage to express the Assouad dimension of any closed subset of a self-conformal set by mea… ▽ More We consider dimensional properties of limit sets of Moran constructions satisfying the finite clustering property. Just to name a few, such limit sets include self-conformal sets satisfying the weak separation condition and certain sub-self-affine sets. In addition to dimension results for the limit set, we manage to express the Assouad dimension of any closed subset of a self-conformal set by means of the Hausdorff dimension. As an interesting consequence of this, we show that a Furstenberg homogeneous self-similar set in the real line satisfies the weak separation condition. We also exhibit a self-similar set which satisfies the open set condition but fails to be Furstenberg homogeneous. △ Less

Submitted 18 October, 2015; v1 submitted 25 June, 2015; originally announced June 2015.

Comments: 22 pages, 2 figures

MSC Class: Primary 28A80; Secondary 37C45; 28D05; 28A50

Journal ref: Ann. Acad. Sci. Fenn. Math., 41 (2016), no. 1, 465-490

Self-affine sets with fibered tangents

Authors: Antti Kaenmaki, Henna Koivusalo, Eino Rossi

Abstract: We study tangent sets of strictly self-affine sets in the plane. If a set in this class satisfies the strong separation condition and projects to a line segment for sufficiently many directions, then for each generic point there exists a rotation $\mathcal O$ such that all tangent sets at that point are either of the form $\mathcal O((\mathbb R \times C) \cap B(0,1))$, where $C$ is a closed porous… ▽ More We study tangent sets of strictly self-affine sets in the plane. If a set in this class satisfies the strong separation condition and projects to a line segment for sufficiently many directions, then for each generic point there exists a rotation $\mathcal O$ such that all tangent sets at that point are either of the form $\mathcal O((\mathbb R \times C) \cap B(0,1))$, where $C$ is a closed porous set, or of the form $\mathcal O((\ell \times \{ 0 \}) \cap B(0,1))$, where $\ell$ is an interval. △ Less

Submitted 21 October, 2015; v1 submitted 5 May, 2015; originally announced May 2015.

Comments: 17 pages, 5 figures

Journal ref: Ergodic Theory Dynam. Systems, 37 (2017), no. 6, 1915-1934

Local dimensions in Moran constructions

Authors: Antti Käenmäki, Bing Li, Ville Suomala

Abstract: We study the dimensional properties of Moran sets and Moran measures in doubling metric spaces. In particular, we consider local dimensions and $L^q$-dimensions. We generalize and extend several existing results in this area. We study the dimensional properties of Moran sets and Moran measures in doubling metric spaces. In particular, we consider local dimensions and $L^q$-dimensions. We generalize and extend several existing results in this area. △ Less

Submitted 15 December, 2015; v1 submitted 21 April, 2015; originally announced April 2015.

Comments: 13 pages

MSC Class: 28A12; 28A80

Journal ref: Nonlinearity, 29 (2016), no. 3, 807-822

Dynamics of the scenery flow and geometry of measures

Authors: Antti Käenmäki, Tuomas Sahlsten, Pablo Shmerkin

Abstract: We employ the ergodic theoretic machinery of scenery flows to address classical geometric measure theoretic problems on Euclidean spaces. Our main results include a sharp version of the conical density theorem, which we show to be closely linked to rectifiability. Moreover, we show that the dimension theory of measure-theoretical porosity can be reduced back to its set-theoretic version, that Haus… ▽ More We employ the ergodic theoretic machinery of scenery flows to address classical geometric measure theoretic problems on Euclidean spaces. Our main results include a sharp version of the conical density theorem, which we show to be closely linked to rectifiability. Moreover, we show that the dimension theory of measure-theoretical porosity can be reduced back to its set-theoretic version, that Hausdorff and packing dimensions yield the same maximal dimension for porous and even mean porous measures, and that extremal measures exist and can be chosen to satisfy a generalized notion of self-similarity. These are sharp general formulations of phenomena that had been earlier found to hold in a number of special cases. △ Less

Submitted 5 March, 2015; v1 submitted 31 December, 2013; originally announced January 2014.

Comments: v3: 30 pages, 2 figures, fixed typos and minor errors, to appear in Proc. London Math. Soc

MSC Class: Primary 28A80; Secondary 37A10; 28A75; 28A33

Journal ref: Proc. Lond. Math. Soc., 110 (2015), no. 5, 1248-1280

Structure of distributions generated by the scenery flow

Authors: Antti Käenmäki, Tuomas Sahlsten, Pablo Shmerkin

Abstract: We expand the ergodic theory developed by Furstenberg and Hochman on dynamical systems that are obtained from magnifications of measures. We prove that any fractal distribution in the sense of Hochman is generated by a uniformly scaling measure, which provides a converse to a regularity theorem on the structure of distributions generated by the scenery flow. We further show that the collection of… ▽ More We expand the ergodic theory developed by Furstenberg and Hochman on dynamical systems that are obtained from magnifications of measures. We prove that any fractal distribution in the sense of Hochman is generated by a uniformly scaling measure, which provides a converse to a regularity theorem on the structure of distributions generated by the scenery flow. We further show that the collection of fractal distributions is closed under the weak topology and, moreover, is a Poulsen simplex, that is, extremal points are dense. We apply these to show that a Baire generic measure is as far as possible from being uniformly scaling: at almost all points, it has all fractal distributions as tangent distributions. △ Less

Submitted 5 March, 2015; v1 submitted 9 December, 2013; originally announced December 2013.

Comments: v2: 28 pages, 2 figures, fixed typos and minor errors, to appear in J. London Math. Soc

MSC Class: Primary 37A10; 28A80; Secondary 28A33; 28A75

Journal ref: J. Lond. Math. Soc., 91 (2015), no. 2, 464-494

Multifractal analysis of Birkhoff averages for typical infinitely generated self-affine sets

Authors: Antti Käenmäki, Henry WJ Reeve

Abstract: 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 whe… ▽ More 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 of $J_Φ(α)$, the $α$-level set of the Birkhoff average, on a typical infinitely generated self-affine set. We also show that for bounded potentials $Φ$, the Hausdorff dimension of $J_Φ(α)$ is given by the maximum of the critical value for the pressure and the supremum of Lyapunov dimensions of invariant measures $μ$ for which $\intΦ\,dμ=α$. Our multifractal results are new in both the finitely generated and the infinitely generated setting. △ Less

Submitted 23 December, 2012; originally announced December 2012.

MSC Class: Primary 28A80; Secondary 37D35

Journal ref: J. Fractal Geom., 1 (2014), no. 1, 83-152