Expressible sets of sequences with Hausdorff dimension zero

We give conditions sufficient for sequences consisting of real numbers to ensure that their expressible sets have Hausdorff dimension zero.     

Hausdorff dimension of self-similar sets with overlaps

We provide a simple formula to compute the Hausdorff dimension of the attractor of an overlapping iterated function system of contractive similarities satisfying a certain collection of assumptions. This formula is obtained by associating a non-overlapping infinite iterated function system to an iterated function system satisfying our assumptions and using the results of Moran to compute the Hausdorff dimension of the attractor of this infinite iterated function system, thus showing that the Hausforff dimension of the attractor of this infinite iterated function system agrees with that of the attractor of the original iterated function system. Our methods are applicable to some iterated function systems that do not satisfy the finite type condition recently introduced by Ngai and Wang.      

Hausdorff dimension and distance sets

According to a result of K. Falconer (1985), the setD(A)={|x−y|;x, y ∈A} of distances for a Souslin setA of ℝ ⁿ has positive 1-dimensional measure provided the Hausdorff dimension ofA is larger than (n+1)/2.* We give an improvement of this statement in dimensionsn=2,n=3. The method is based on the fine theory of Fourier restriction phenomena to spheres. Variants of it permit further improvements which we don’t plan to describe here. This research originated from some discussions with P. Mattila on the subject. dimA >n/2 would be the optimal result forn ≥ 2.     

Hausdorff dimension of Moran sets with increasing spacing

For a family of homogeneous Moran sets, where at each level, subintervals are arranged with in-creasing spaces between neighboring subintervals from left to right, we obtained a formula of the Hausdorff dimensions.     

Hausdorff dimension of homogeneous perfect sets

Summary We introduce the notion of homogeneous perfect sets as a generalization of Cantor type sets and determine their exact dimension based on the length of their fundamental intervals and the gaps between them. Some earlier results regarding the dimension of Cantor type sets are shown to be special cases of our main theorem.     

Hausdorff dimension and dendritic limit sets

Let be a singly degenerate closed surface group acting properly discontinuously on hyperbolic 3-space, H³, such that H³/ has positive injectivity radius. It is known that the limit set is a dendrite of Hausdorff dimension 2. We show that the cut-point set of the limit set has Hausdorff dimension strictly less than 2.     

Hausdorff dimension of quadratic rational Julia sets

Suppose a quadratic rational map has a Siegel disk and a parabolic fixed point. If the rotation number of the Siegel disk is an irrational of bounded type, then the Julia set of the map is shallow. This implies that its Hausdorff dimension is strictly less than two.     

Non-L 1 functions with rotation sets of Hausdorff dimension one

Suppose that f: ? → ? is a given measurable function, periodic by 1. For an α ∈ ? put M _n ^α f(x) = 1/n+1 Σ _k=0 ⁿ f(x + kα). Let Γ _f denote the set of those α’s in (0;1) for which M _n ^α f(x) converges for almost every x ∈ ?. We call Γ _f the rotation set of f. We proved earlier that from |Γ _f | > 0 it follows that f is integrable on [0; 1], and hence, by Birkhoff’s Ergodic Theorem all α ∈ [0; 1] belongs to Γ _f . However, Γ _f \? can be dense (even c-dense) for non-L ¹ functions as well. In this paper we show that there are non-L ¹ functions for which Γ _f is of Hausdorff dimension one.     

Hausdorff dimension of Cantor sets and polynomial hulls

We give examples of Cantor sets in of Hausdorff dimension 1 whose polynomial hulls have non-empty interior.

     

Level sets of the Takagi function: Hausdorff dimension

The Takagi function τ(x) is a continuous non-differentiable function on the unit interval defined by Takagi in 1903. This paper studies level sets L(y) = {x : τ(x) = y} of the Takagi function and bounds their Minkowski dimensions and Hausdorff dimensions above by 0.668. There exist level sets with Minkowski dimension 1/2. The method of proof involves a multiscale analysis that relies upon the self-similarity of τ(x) up to affine shifts.     

The Hausdorff dimension of a class of recurrent sets

In this paper we obtain a lower bound for the Hausdorff dimension of recurrent sets and, in a general setting, we show that a conjecture of Dekking [F.M. Dekking, Recurrent sets: A fractal formalism, Report 82-32, Technische Hogeschool, Delft, 1982] holds.     

The Hausdorff dimension of visible sets of planar continua

For a compact set and a point , we define the visible part of from to be the set

(Here denotes the closed line segment joining to .)

In this paper, we use energies to show that if is a compact connected set of Hausdorff dimension greater than one, then for (Lebesgue) almost every point , the Hausdorff dimension of is strictly less than the Hausdorff dimension of . In fact, for almost every ,

We also give an estimate of the Hausdorff dimension of those points where the visible set has dimension greater than for some .

     

The Hausdorff dimension of chaotic sets for interval self-maps

We obtain two sufficient conditions for an interval self-map to have a chaotic set with positive Hausdorff dimension. Furthermore, we point out that for any interval Lipschitz maps with positive topological entropy there is a chaotic set with positive Hausdorff dimension.     

Hausdorff dimension and conformal measures of Feigenbaum Julia sets

We show that contrary to anticipation suggested by the dictionary between rational maps and Kleinian groups and by the ``hairiness phenomenon', there exist many Feigenbaum Julia sets whose Hausdorff dimension is strictly smaller than two. We also prove that for any Feigenbaum Julia set, the Poincaré critical exponent is equal to the hyperbolic dimension . Moreover, if , then . In the stationary case, the last statement can be reversed: if , then . We also give a new construction of conformal measures on that implies that they exist for any , and analyze their scaling and dissipativity/conservativity properties.