Conical upper density theorems and porosity of measures

Abstract We study how measures with finite lower density are distributed around ( n − m ) -planes in small balls in 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.

Existence of doubling measures via generalised nested cubes

Working on doubling metric spaces, we construct generalised dyadic cubes adapting ultrametric structure. If the space is complete, then the existence of such cubes and the mass distribution principle lead into a simple proof for the existence of doubling measures. As an application, we show that for each $\epsilon>0$ there is a doubling measure having full measure on a set of packing dimension at most $\epsilon$.

Nonsymmetric conical upper density and $k$-porosity

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

A note on correlation and local dimensions

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.

Dynamics of the scenery flow and geometry of measures

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 n…

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

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 …

Dimensions of random affine code tree fractals

We calculate the almost sure Hausdorff dimension for a general class of random affine planar code tree fractals. The set of probability measures describing the randomness includes natural measures in random $V$-variable and homogeneous Markov constructions.

Self-affine sets with fibered tangents

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.

Genericity of dimension drop on self-affine sets

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.

Iterated function systems: natural measure and local structure

Overlapping self-affine sets of Kakeya type

We compute the Minkowski dimension for a family of self-affine sets on the plane. Our result holds for every (rather than generic) set in the class. Moreover, we exhibit explicit open subsets of this class where we allow overlapping, and do not impose any conditions on the norms of the linear maps. The family under consideration was inspired by the theory of Kakeya sets.

Local multifractal analysis in metric spaces

We study the local dimensions and local multifractal properties of measures on doubling metric spaces. Our aim is twofold. On one hand, we show that there are plenty of multifractal type measures in all metric spaces which satisfy only mild regularity conditions. On the other hand, we consider a local spectrum that can be used to gain finer information on the local behaviour of measures than its global counterpart.

Local conical dimensions for measures

AbstractWe study the decay of μ(B(x,r)∩C)/μ(B(x,r)) asr↓ 0 for different kinds of measures μ on ℝnand various conesCaroundx. As an application, we provide sufficient conditions that imply that the local dimensions can be calculated via cones almost everywhere.

Dimension of self-affine sets for fixed translation vectors

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 ver…

On Upper Conical Density Results

We report a recent development on the theory of upper conical densities. More precisely, 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.

Rigidity of quasisymmetric mappings on self-affine carpets

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.

Geometric rigidity of a class of fractal sets

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. (© 2006 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)

Scenery Flow, Conical Densities, and 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.

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

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. peerReviewed

Weak separation condition, Assouad dimension, and Furstenberg homogeneity

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.

Local structure of self-affine sets

The structure of a self-similar set with open set condition does not change under magnification. For self-affine sets the situation is completely different. We consider planar self-affine Cantor sets E of the type studied by Bedford, McMullen, Gatzouras and Lalley, for which the projection onto the horizontal axis is an interval. We show that within small square neighborhoods of almost each point x in E, with respect to many product measures on address space, E is well approximated by product sets of an interval and a Cantor set. Even though E is totally disconnected, the limit sets have the product structure with interval fibres, reminiscent to the view of attractors of chaotic differentia…

Separation conditions on controlled Moran constructions

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.

Measures with predetermined regularity and inhomogeneous self-similar sets

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 dimens…

Self-affine sets in analytic curves and algebraic surfaces

We characterize analytic curves that contain non-trivial self-affine sets. We also prove that compact algebraic surfaces do not contain non-trivial self-affine sets. peerReviewed

Structure of distributions generated by the scenery flow

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 …

Local dimensions in Moran constructions

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.