Tangent measure distributions of hyperbolic Cantor sets

Tangent measure distributions were introduced byBandt [2] andGraf [8] as a means to describe the local geometry of self-similar sets generated by iteration of contractive similitudes. In this paper we study the tangent measure distributions of hyperbolic Cantor sets generated by certain contractive mappings, which are not necessarily similitudes. We show that the tangent measure distributions of these sets equipped with either Hausdorff- or Gibbs measure are unique almost everywhere and give an explicit formula describing them as probability distributions on the set of limit models ofBedford andFisher [5].     

Divergence points of self-similar measures and packing dimension

Let μ be a self-similar measure in Rd. A point x∈Rd for which the limit does not exist is called a divergence point. Very recently there has been an enormous interest in investigating the fractal structure of various sets of divergence points. However, all previous work has focused exclusively on the study of the Hausdorff dimension of sets of divergence points and nothing is known about the packing dimension of sets of divergence points. In this paper we will give a systematic and detailed account of the problem of determining the packing dimensions of sets of divergence points of self-similar measures. An interesting and surprising consequence of our results is that, except for certain trivial cases, many natural sets of divergence points have distinct Hausdorff and packing dimensions.     

Lattice measures and associated outer measures

In this paper, we consider lattice measures and introduce certain associated outer measures (not the usual induced outer measures), study their properties, and investigate the associated classes of measureable sets. We utilize some of these outer measures to characterize normality and investigate lattice separation properties; also, to extend the notion of regularity of measures to weak regularity of measures. We give applications of our results to specific topological lattices.     

Improving dimension estimates for Furstenberg-type sets

In this paper we study the problem of estimating the generalized Hausdorff dimension of Furstenberg sets in the plane. For α∈(0,1], a set F in the plane is said to be an α-Furstenberg set if for each direction e there is a line segment ?e in the direction of e for which dimH(?e∩F)?α. It is well known that , and it is also known that these sets can have zero measure at their critical dimension. By looking at general Hausdorff measures Hh defined for doubling functions, that need not be power laws, we obtain finer estimates for the size of the more general h-Furstenberg sets. Further, this approach allow us to sharpen the known bounds on the dimension of classical Furstenberg sets.The main difficulty we had to overcome, was that if Hh(F)=0, there always exists g?h such that Hg(F)=0 (here ? refers to the natural ordering on general Hausdorff dimension functions). Hence, in order to estimate the measure of general Furstenberg sets, we have to consider dimension functions that are a true step down from the critical one. We provide rather precise estimates on the size of this step and by doing so, we can include a family of zero dimensional Furstenberg sets associated to dimension functions that grow faster than any power function at zero. With some additional growth conditions on these zero dimensional functions, we extend the known inequalities to include the endpoint α=0.     

Hausdorff measures for a class of homogeneous Moran sets

This paper provides an explicit formula for the Hausdorff measures of a class of regular homogeneous Moran sets. In particular, this provides, for the first time, an example of an explicit formula for the Hausdorff measure of a fractal set whose Hausdorff dimension is greater than 1.     

An optimal extension of Marstrand’s plane-packing theorem

We prove that if F is a subset of the 2-dimensional unit sphere in $\mathbb{R}^3$, with Hausdorff dimension strictly greater than 1, and E is a subset of $\mathbb{R}^3$ such that for each $e \in F$, E contains a plane perpendicular to the vector e, then E must have positive 3-dimensional Lebesgue measure.Received: 16 April 2002     

Doubling measures,monotonicity, and quasiconformality

We construct quasiconformal mappings in Euclidean spaces by integration of a discontinuous kernel against doubling measures with suitable decay. The differentials of mappings that arise in this way satisfy an isotropic form of the doubling condition. We prove that this isotropic doubling condition is satisfied by the distance functions of certain fractal sets. Finally, we construct an isotropic doubling measure that is not absolutely continuous with respect to the Lebesgue measure. L.V.K. was supported by an NSF Young Investigator award under grant DMS 0601926. J.-M.W. was supported by the NSF grant DMS 0400810.     

On a Class of Models of Stochastic Geometry Constructed by Random Measures

This article presents a class of models in stochastic geometry that are constructed by random measures. This class includes well‐known point processes such as Matérn's hard‐core processes, the tangent point process of the Boolean model, and the point process of vertices of the Poisson Voronoi tessellation. Sufficient conditions for measurability, stationarity and isotropy of the processes of this class are given, as well as formulae for the intensity measure. Furthermore, a property of the Palm distributions can be interpreted as a generalization of Slivnyak's theorem.     

Local dimensions of sliced measures and stability of packing dimensions of sections of sets

Let m and n be integers with 0<m<n. We relate the absolutely continuous and singular parts of a measure μ on to certain properties of plane sections of μ. This leads us to prove, among other things, that the lower local dimension of (n−m)-plane sections of μ is typically constant provided that the Hausdorff dimension of μ is greater than m. The analogous result holds for the upper local dimension if μ has finite t-energy for some t>m. We also give a sufficient condition for stability of packing dimensions of section of sets.     

Applications of multifractal divergence points to some sets of d-tuples of numbers defined by their N-adic expansion

In this paper we apply the techniques and results from the theory of multifractal divergence points developed in [L. Olsen, Multifractal analysis of divergence points of deformed measure theoretical Birkhoff averages, Journal de Mathématiques Pures et Appliquées 82 (2003) 1591-1649; L. Olsen, Multifractal analysis of divergence points of deformed measure theoretical Birkhoff averages III, Preprint (2002); L. Olsen, S. Winter, J. London Math. Soc. 67 (2003) 103-122; L. Olsen, S. Winter, Multifractal analysis of divergence points of deformed measure theoretical Birkhoff averages II, Preprint (2001)] to give a systematic and detailed account of the Hausdorff dimensions of sets of d-tuples numbers defined in terms of the asymptotic behaviour of the frequencies of the digits in their N-adic expansion. Using the method and results from [L. Olsen, Multifractal analysis of divergence points of deformed measure theoretical Birkhoff averages, Journal de Mathématiques Pures et Appliquées 82 (2003) 1591-1649; L. Olsen, Multifractal analysis of divergence points of deformed measure theoretical Birkhoff averages III, Preprint (2002); L. Olsen, S. Winter, J. London Math. Soc. 67 (2003) 103-122; L. Olsen, S. Winter, Multifractal analysis of divergence points of deformed measure theoretical Birkhoff averages II, Preprint (2001)] we investigate and compute the Hausdorff dimension of several new sets of d-tuples of numbers. In particular, we compute the Hausdorff dimension of a large class of sets of d-tuples numbers for which the limiting frequencies of the digits in their N-adic expansion do not exist. Such sets have only very rarely been studied. In addition, our techniques provide simple proofs of higher-dimensional and non-linear generalizations of known results, by Cajar and Volkmann and others, on the Hausdorff dimension of sets of normal and non-normal numbers.     

Cyclically stationary Brownian local time processes

Summary. Local time processes parameterized by a circle, defined by the occupation density up to time T of Brownian motion with constant drift on the circle, are studied for various random times T. While such processes are typically non-Markovian, their Laplace functionals are expressed by series formulae related to similar formulae for the Markovian local time processes subject to the Ray–Knight theorems for BM on the line, and for squares of Bessel processes and their bridges. For T the time that BM on the circle first returns to its starting point after a complete loop around the circle, the local time process is cyclically stationary, with same two-dimensional distributions, but not the same three-dimensional distributions, as the sum of squares of two i.i.d. cyclically stationary Gaussian processes. This local time process is the infinitely divisible sum of a Poisson point process of local time processes derived from Brownian excursions. The corresponding intensity measure on path space, and similar Lévy measures derived from squares of Bessel processes, are described in terms of a 4-dimensional Bessel bridge by Williams’ decomposition of It?’s law of Brownian excursions. Received: 28 June 1995     

A partial regularity result for harmonic maps into a Finsler manifold

In this paper, we consider the energy of maps from an Euclidean space into a Finsler space and study the partial regularity of energy minimizing maps. We show that the -dimensional Hausdorff measure of the singular set of every energy minimizing map is 0 for some , when m=3,4. Received: 6 June 2001 / Accepted: 10 July 2001 / Published online: 12 October 2001     

Hausdorff Dimension and Non-degenerate Families of Projections

We study parameterized families of orthogonal projections for which the dimension of the parameter space is strictly less than that of the Grassmann manifold. We answer the natural question of how much the Hausdorff dimension may decrease by verifying the best possible lower bound for the dimension of almost all projections of a finite measure. We also show that a similar result is valid for smooth families of maps from the n-dimensional Euclidean space to the m-dimensional one.     

A variational principle for fractal dimensions

A new definition of the dimension of probability measures is introduced. It is related with the fractal dimension of sets by a variational principle. This principle is applied in the theory of iterated function systems.     

Hausdorff measure of infinitely generated self-similar sets

We analyze self-similarity with respect to infinite sets of similitudes from a measure-theoretic point of view. We extend classic results for finite systems of similitudes satisfying the open set condition to the infinite case. We adopt Vitali-type techniques to approximate overlapping self-similar sets by non-overlapping self-similar sets. As an application we show that any open and bounded set with a boundary of null Lebesgue measure always contains a self-similar set generated by a countable system of similitudes and with Lebesgue measure equal to that ofA.     

On rigidity of generalized conformal structures

The classical Liouville Theorem on conformal transformations determines local conformal transformations on the Euclidean space of dimension \({\ge }3\) . Its natural adaptation to the general framework of Riemannian structures is the 2-rigidity of conformal transformations, that is such a transformation is fully determined by its 2-jet at any point. We prove here a similar rigidity for generalized conformal structures defined by giving a one parameter family of metrics (instead of scalar multiples of a given one) on each tangent space.     

Higher order estimation at Lebesgue points

The symmetric derivative of a probability measure at a Lebesgue point can often be specified by an exact relation involving a regularity index. Knowledge of this index is of practical interest, for example to specify the local behavior of the measure under study and to evaluate bandwidths or number of neighbors to take into account in smoothing techniques. This index also determines local rates of convergence of estimators of particular points of curves and surfaces, like minima and maxima. In this paper, we consider the estimation of the d-dimensional regularity index. We introduce an estimator and derive the basic asymptotic results. Our estimator is inspired by an estimator proposed in Drees and Kaufmann (1998, Stochastic Processes and their Applications, 75, 149–172) in the context of extreme value statistics. Then, we show how (estimates of) the regularity index can be used to solve practical problems in nearest neighbor density estimation, such as removing bias or selecting the number of neighbors. Results of simulations are presented.     

Relationships between Different Dimensions of a Measure

 We establish various relationships of the Hausdorff dimension, entropy dimension and -dimension of a measure without assuming that the local dimension of μ exists μ-a.e. These extend a well known result of Young. Received 2 October 2000; in revised form 20 September 2001     

First and second moments for self‐similar couplings and Wasserstein distances

We study aspects of the Wasserstein distance in the context of self‐similar measures. Computing this distance between two measures involves minimising certain moment integrals over the space of couplings, which are measures on the product space with the original measures as prescribed marginals. We focus our attention on self‐similar measures associated to equicontractive iterated function systems consisting of two maps on the unit interval and satisfying the open set condition. We are particularly interested in understanding the restricted family of self‐similar couplings and our main achievement is the explicit computation of the 1st and 2nd moment integrals for such couplings. We show that this family is enough to yield an explicit formula for the 1st Wasserstein distance and provide non‐trivial upper and lower bounds for the 2nd Wasserstein distance for these self‐similar measures.     

On Bandt's tangential distribution for self-similar measures

It is shown that the local geometry of a self-similar measure as captured by Bandt's average tangential distribution is the same at -almost all points of the underlying space. Moreover, for a self-similar measure explicit formulas for Bandt's tangential distribution as well as for the average density of Bedford and Fisher are derived.