Sampling theory for functions with fractal spectrum.
In the class of self-affine sets on ℝⁿ we study a subclass for which the geometry is rather tractable. A type is a standardized position of two intersecting pieces. For a self-affine tiling, this can be identified with an edge or vertex type. We assume that the number of types is finite. We study the topology of such fractals and their boundary sets, and we show how new finite type fractals can be constructed. For finite type self-affine tiles in the plane we give an algorithm which decides whether...
A measure is called -improving if it acts by convolution as a bounded operator from to L² for some q < 2. Interesting examples include Riesz product measures, Cantor measures and certain measures on curves. We show that equicontractive, self-similar measures are -improving if and only if they satisfy a suitable linear independence property. Certain self-affine measures are also seen to be -improving.
The basic question of this paper is: If you consider two iterated function systems close to each other in an appropriate topology, are the dimensions of their respective invariant sets close to each other? It is well known that the Hausdorff dimension (and Lebesgue measure) of the invariant set does not depend continuously on the iterated function system. Our main result is that (with a restriction on the "non-conformality" of the transformations) the Hausdorff dimension is a lower semicontinuous...
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 in this respect.
For a one-to-one self-conformal contractive system on with attractor K and conformality dimension α, Peres et al. showed that the open set condition and strong open set condition are both equivalent to . We give a simple proof of this result as well as discuss some further properties related to the separation condition.
We study differentiability of topological conjugacies between expanding piecewise interval maps. If these conjugacies are not C¹, then their derivative vanishes Lebesgue almost everywhere. We show that in this case the Hausdorff dimension of the set of points for which the derivative of the conjugacy does not exist lies strictly between zero and one. Moreover, by employing the thermodynamic formalism, we show that this Hausdorff dimension can be determined explicitly in terms of the Lyapunov spectrum....
We study natural measures on sets of -expansions and on slices through self similar sets. In the setting of -expansions, these allow us to better understand the measure of maximal entropy for the random -transformation and to reinterpret a result of Lindenstrauss, Peres and Schlag in terms of equidistribution. Each of these applications is relevant to the study of Bernoulli convolutions. In the fractal setting this allows us to understand how to disintegrate Hausdorff measure by slicing, leading...
We study the “Fourier symmetry” of measures and distributions on the circle, in relation with the size of their supports. The main results of this paper are:(i) A one-side extension of Frostman’s theorem, which connects the rate of decay of Fourier transform of a distribution with the Hausdorff dimension of its support;(ii) A construction of compacts of “critical” size, which support distributions (even pseudo-functions) with anti-analytic part belonging to .We also give examples of non-symmetry...