Hausdorff dimension bounds for smoothness of holonomies for codimension 1 hyperbolic dynamics

We prove that the stable holonomies of a proper codimension 1 attractor Λ, for a C^r diffeomorphism f of a surface, are not C^1+θ for θ greater than the Hausdorff dimension of the stable leaves of f intersected with Λ. To prove this result we show that there are no diffeomorphisms of surfaces, with a proper codimension 1 attractor, that are affine on a neighbourhood of the attractor and have affine stable holonomies on the attractor.     

Pointwise bounds on eigenfunctions and wave packets in N-body quantum systems. VI. Asymptotics in the two-cluster region

We study the asymptotic behavior of the ground-state wave function of multiparticle quantum systems without statistics in that region of configuration space where the particles break up into two well-defined clusters very far apart. One example of our results is the following: consider a system of N particles moving in three dimensions with rotationally invariant two-body potentials which are bounded and have compact support. Let D = C₁,C₂ be a partition into two clusters so that H(C₁) and H(C₂) have discrete ground states η₁ and η₂ of energy ε₁ and ε₂. Suppose that Σ = ε₁ + ε₂ = inf σ_ess(H) and that H has a discrete ground state of energy E. Let ζ₁and ζ₂ denote internal coordinates for the clusters C₁ and c₂ and let R be the difference of the centers of mass of the clusters. Let μ = M₁M₂/M₁ + M₂with M_i the mass of clusters C_i and define k by k²/2m = Σ-E. Then as R → a8 with ¦ζ_i¦ bounded, we prove that (ζ₁,ζ₂, R) = cη(ζ₁)η(ζ₂)e^−kRR⁻¹(1+O(e^−γR)) for some γ, c > 0. We prove weaker conclusions under weaker hypotheses, including results in the atomic case.     

Train tracks with C 1+ self-renormalizable structures

We prove a one-to-one correspondence between C ¹⁺  conjugacy classes of diffeomorphisms with hyperbolic sets contained in surfaces and stable and unstable pairs of one-dimensional C ¹⁺  self-renormalizable structures.     

Regular interval Cantor sets of <Emphasis Type="Italic">S</Emphasis><Superscript>1</Superscript> and minimality

It is known that not every Cantor set of S ¹ is C ¹-minimal. In this work we prove that every member of a subfamily of what we here call regular interval Cantor set is not C ¹-minimal. We also prove that no member of a class of Cantor sets that includes this subfamily is C ^1+∈-minimal, for any ∈ > 0. Partially supported by CNPq-Brasil and PEDECIBA-Uruguay.     

Examples of C1-smoothly conjugate diffeomorphisms of the circle with break that are not C1+γ-smoothly conjugate

We prove the existence of two real-analytic diffeomorphisms of the circle with break of the same size and an irrational rotation number of semibounded type that are not C ^1+γ -smoothly conjugate for any γ > 0. In this way, we show that the previous result concerning the C ¹-smoothness of conjugacy for these mappings is the exact estimate of smoothness for this conjugacy.     

The Pointwise Densities of the Cantor Measure

Let be the classical middle-third Cantor set and let μ be the Cantor measure. Set s = log 2/log 3. We will determine by an explicit formula for every point x the upper and lower s-densities Θ*^s(μ , x), Θ*^s(μ , x) of the Cantor measure at the point x, in terms of the 3-adic expansion of x. We show that there exists a countable set F such that 9(Θ*^s(μ , x))^{− 1/s} + (Θ*^s(μ , x))^{− 1/s} = 16 holds for x \F. Furthermore, for μ_C almost all x, Θ*^s(μ , X) − 2 · 4^{− s} and Θ*^s(μ , x) = 4^{− s}. As an application, we will show that the s-dimensional packing measure of the middle-third Cantor set is 4^s.     

Separation conditions for conformal iterated function systems

We extend both the weak separation condition and the finite type condition to include finite iterated function systems (IFSs) of injective C ¹ conformal contractions on compact subsets of \mathbbR^d{{\mathbb{R}}^d} . For conformal IFSs satisfying the bounded distortion property, we prove that the finite type condition implies the weak separation condition. By assuming the weak separation condition, we prove that the Hausdorff and box dimensions of the attractor are equal and, if the dimension of the attractor is α, then its α-dimensional Hausdorff measure is positive and finite. We obtain a necessary and sufficient condition for the associated self-conformal measure μ to be singular. By using these we give a first example of a singular invariant measure μ that is associated with a non-linear IFS with overlaps.     

Ultrametric Cantor sets and growth of measure

A class of ultrametric Cantor sets (C, d _u ) introduced recently (S. Raut and D. P. Datta, Fractals 17, 45–52 (2009)) is shown to enjoy some novel properties. The ultrametric d _u is defined using the concept of relative infinitesimals and an inversion rule. The associated (infinitesimal) valuation which turns out to be both scale and reparametrization invariant, is identified with the Cantor function associated with a Cantor set $ \tilde C $ \tilde C , where the relative infinitesimals are supposed to live in. These ultrametrics are both metrically as well as topologically inequivalent compared to the topology induced by the usual metric. Every point of the original Cantor set C is identified with the closure of the set of gaps of $ \tilde C $ \tilde C . The increments on such an ultrametric space is accomplished by following the inversion rule. As a consequence, Cantor functions are reinterpreted as locally constant functions on these extended ultrametric spaces. An interesting phenomenon, called growth of measure, is studied on such an ultrametric space. Using the reparametrization invariance of the valuation it is shown how the scale factors of a Lebesgue measure zero Cantor set might get deformed leading to a deformed Cantor set with a positive measure. The definition of a new valuated exponent is introduced which is shown to yield the fatness exponent in the case of a positive measure (fat) Cantor set. However, the valuated exponent can also be used to distinguish Cantor sets with identical Hausdorff dimension and thickness. A class of Cantor sets with Hausdorff dimension log₃ 2 and thickness 1 are constructed explicitly.     

Hausdorff measures of different dimensions are not Borel isomorphic

We show that Hausdorff measures of different dimensions are not Borel isomorphic; that is, the measure spaces (ℝ, B, H ^s ) and (ℝ, B, H ^t ) are not isomorphic if s ≠ t, s, t ∈ [0, 1], where B is the σ-algebra of Borel subsets of ℝ and H ^d is the d-dimensional Hausdorff measure. This answers a question of B. Weiss and D. Preiss. To prove our result, we apply a random construction and show that for every Borel function ƒ: ℝ → ℝ and for every d ∈ [0, 1] there exists a compact set C of Hausdorff dimension d such that ƒ(C) has Hausdorff dimension ≤ d. We also prove this statement in a more general form: If A ⊂ ℝⁿ is Borel and ƒ: A → ℝ^m is Borel measurable, then for every d ∈ [0, 1] there exists a Borel set B ⊂ A such that dim B = d·dim A and dim ƒ(B) ≤ d·dim ƒ (A). Partially supported by the Hungarian Scientific Research Fund grant no. T 49786.     

On intersections of conjugacy classes and bruhat cells

For a connected semisimple algebraic group G over an algebraically closed field k and a fixed pair (B, B ^– ) of opposite Borel subgroups of G, we determine when the intersection of a conjugacy class C in G and a double coset BwB ^– is nonempty, where w is in the Weyl group W of G. The question comes from Poisson geometry, and our answer is in terms of the Bruhat order on W and an involution m _C ∈ 2 W associated to C. We prove that the element m _C is the unique maximal length element in its conjugacy class in W, and we classify all such elements in W. For G = SL(n + 1; k), we describe m _C explicitly for every conjugacy class C, and when w ∈ W ≌ S_n+1 is an involution, we give an explicit answer to when C ∩ (BwB) is nonempty.     

Étale slices for representation varieties in characteristic p

Let R(F, G) be the variety of representations of a finitely generated group F into a connected reductive algebraic group G, and let C(F, G) be the variety of closed conjugacy classes of representations. We examine the question of whether an étale slice for the conjugation action of G exists through a representation ρR(F, G) when the ground field k has characteristic p > 0. We show that an étale slice through ρ may exist for the action of an enlarged group Ĝ, even when there is no étale slice for the G-action. As an application, we generalise a result known to hold in characteristic zero, which expresses the tangent space to C(F, G) at the conjugacy class of a suitable representation ρ as a subspace of the 1-cohomology H¹ (F, %plane1D;524;(ρ)) of an F-module %plane1D;524;(ρ). A similar result holds in characteristic p, but with H¹ (F%plane1D;524;(ρ)) replaced by a quotient of H¹ (F%plane1D;524;(ρ)).     

A Blow-up Theorem for regular hypersurfaces on nilpotent groups

 We obtain an intrinsic Blow-up Theorem for regular hypersurfaces on graded nilpotent groups. This procedure allows us to represent explicitly the Riemannian surface measure in terms of the spherical Hausdorff measure with respect to an intrinsic distance of the group, namely homogeneous distance. We apply this result to get a version of the Riemannian coarea forumula on sub-Riemannian groups, that can be expressed in terms of arbitrary homogeneous distances. We introduce the natural class of horizontal isometries in sub-Riemannian groups, giving examples of rotational invariant homogeneous distances and rotational groups, where the coarea formula takes a simpler form. By means of the same Blow-up Theorem we obtain an optimal estimate for the Hausdorff dimension of the characteristic set relative to C ^1,1 hypersurfaces in 2-step groups and we prove that it has finite Q–2 Hausdorff measure, where Q is the homogeneous dimension of the group. Received: 6 February 2002 Mathematics Subject Classification (2000): 28A75 (22E25)     

Bounding the Compression Loss of the FGK Algorithm

An important issue related to coding schemes is their compression loss. A simple measure ε of the compression loss due to a coding scheme different than Huffman coding is defined by ε = A_C − A_H where A_H is the average code length of a static Huffman encoding and A_C is the average code length of an encoding based on the compression scheme C. When the scheme C is the FGK algorithm, Vitter conjectured that ε ≤ K for some real constant K. Here, we use an amortized analysis to prove this conjecture. We show that ε < 2. Furthermore, we show through an example that our bound is asymptotically tight. This result explains the good performance of FGK that many authors have observed through practical experiments.     

A combinatorial proof of Marstrand’s theorem for products of regular Cantor sets

In a paper from 1954 Marstrand proved that if K⊂R² has a Hausdorff dimension greater than 1, then its one-dimensional projection has a positive Lebesgue measure for almost all directions. In this article, we give a combinatorial proof of this theorem when K is the product of regular Cantor sets of class C^1+α, α>0, for which the sum of their Hausdorff dimension is greater than 1.     

Intersecting self-similar Cantor sets

We define a self-similar set as the (unique) invariant set of an iterated function system of certain contracting affine functions. A topology on them is obtained (essentially) by inducing theC ¹-topology of the function space. We prove that the measure function is upper semi-continuous and give examples of discontinuities. We also show that the dimension is not upper semicontinuous. We exhibit a class of examples of self-similar sets of positive measure containing an open set. IfC ₁ andC ₂ are two self-similar setsC ₁ andC ₂ such that the sum of their dimensionsd(C ₁)+d(C ₂) is greater than one, it is known that the measure of the intersection setC ₂–C ₁ has positive measure for almost all self-similar sets. We prove that there are open sets of self-similar sets such thatC ₂–C ₁ has arbitrarily small measure.     

Embeddings of self-similar ultrametric Cantor sets

We study self-similar ultrametric Cantor sets arising from stationary Bratteli diagrams. We prove that such a Cantor set C is bi-Lipschitz embeddable in R[Hdim(C)]+1, where [Hdim(C)] denotes the integer part of its Hausdorff dimension. We compute this Hausdorff dimension explicitly and show that it is the abscissa of convergence of a zeta-function associated with a natural sequence of refining coverings of C (given by the Bratteli diagram). As a corollary we prove that the transversal of a (primitive) substitution tiling of Rd is bi-Lipschitz embeddable in Rd+1.We also show that C is bi-Hölder embeddable in the real line. The image of C in R turns out to be the ω-spectrum (the limit points of the set of eigenvalues) of a Laplacian on C introduced by Pearson-Bellissard via noncommutative geometry.     

Hadamard well-posedness in discontinuous non-cooperative games

We consider some recent classes of discontinuous games with Nash equilibria and we prove that such classes have the Hadamard well-posedness property. This means that given a game y, a net (y^α)_α of games converging to y and a net (x^α)_α such that x^α is a Nash equilibrium of any y^α, then at least a cluster point of (x^α)_α is a Nash equilibrium of y. In order to obtain this property, we prove that the map of Nash equilibria is upper semicontinuous. Using the pseudocontinuity, a generalization of the continuity, we improve previous results obtained with continuous functions.     

Approximation orders of formal Laurent series by β-expansions

We prove that almost all (with respect to Haar measure) formal Laurent series are approximated with the linear order −(degβ)n by their β-expansions convergents. Hausdorff dimensions of sets of Laurent series which are approximated by all other orders, are determined. In contrast, the corresponding theory of real case has not been established.