BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
We study the Fourier transforms μ(ξ) of non-atomic Gibbs measures μ for uniformly expanding maps T of bounded distortions on [0,1] or Cantor sets with strong separation. When T is totally non-linear, then μ(ξ)→0 at a polynomial rate as ∣ξ∣→∞.
Let F be a self-similar set on R associated to contractions fj(x)=rjx+bj, j∈A, for some finite A, such that F is not a singleton. We prove that if logri/logrj is irrational for some i=j, then F is a set of multiplicity, that is, trigonometric series are not in general unique in the complement of F. No separation conditions are assumed on F. We establish our result by showing that every self-similar measure μ on F is a Rajchman measure: the Fourier transform μ(ξ)→0 as ∣ξ∣→∞. The rate of μ(ξ)→0 is also shown to be logarithmic if logri/logrj is diophantine for some i=j. The proof is based on quantitative renewal theorems for stopping times of random walks on R.
Let M be a closed, oriented, and connected Riemannian n-manifold, for n≥2, which is not a rational homology sphere. We show that, for a non-constant and non-injective uniformly quasiregular self-map f:M→M, the topological entropy h(f) is logdeg(f). This proves Shub's entropy conjecture in this case.
Suppose F is a self-affine set on Rd, d≥2, which is not a singleton, associated to affine contractions fj=Aj+bj, Aj∈GL(d,R), bj∈Rd, j∈A, for some finite A. We prove that if the group Γ generated by the matrices Aj, j∈A, forms a proximal and totally irreducible subgroup of GL(d,R), then any self-affine measure μ=∑pjfjμ, ∑pj=1, 0<pj<1, j∈A, on F is a Rajchman measure: the Fourier transform μ(ξ)→0 as ∣ξ∣→∞. As an application this shows that self-affine sets with proximal and totally irreducible linear parts are sets of rectangular multiplicity for multiple trigonometric series. Moreover, if the Zariski closure of Γ is connected real split Lie group in the Zariski topology, then μ(ξ) has a power decay at infinity. Hence μ is Lp improving for all 1<p<∞ and F has positive Fourier dimension. In dimension d=2,3 the irreducibility of Γ and non-compactness of the image of Γ in PGL(d,R) is enough for power decay of μ. The proof is based on quantitative renewal theorems for random walks on the sphere Sd−1.
We study the scaling scenery and limit geometry of invariant measures for the non-conformal toral endomorphism (x,y)↦(mxmod1,nymod1) that are Bernoulli measures for the natural Markov partition. We show that the statistics of the scaling can be described by an ergodic CP-chain in the sense of Furstenberg. Invoking the machinery of CP-chains yields a projection theorem for Bernoulli measures, which generalises in part earlier results by Hochman-Shmerkin and Ferguson-Jordan-Shmerkin. We also give an ergodic theoretic criterion for the dimension part of Falconer's distance set conjecture for general sets with positive length using CP-chains and hence verify it for various classes of fractals such as self-affine carpets of Bedford-McMullen, Lalley-Gatzouras and Barański class and all planar self-similar sets.
We prove that for a typical Radon measure mu in R^d, every non-zero Radon measure is a tangent measure of mu at mu almost every point. This was already shown by T. O'Neil in his PhD thesis from 1994, but we provide a different self-contained proof for this fact. Moreover, we show that this result is sharp: for any non-zero measure we construct a point in its support where the set of tangent measures does not contain all non-zero measures. We also study a concept similar to tangent measures on trees, micromeasures, and show an analogous typical property for them.
We study the Fourier dimensions of graphs of real-valued functions defined on the unit interval [0,1]. Our results imply that the graph of the fractional Brownian motion is almost surely not a Salem set, answering in part a question of Kahane from 1993, and that the graph of a Baire typical function in C[0,1] has Fourier dimension zero.
We present a general approach to the study of the local distribution of measures on Euclidean spaces, based on local entropy averages. As concrete applications, we unify, generalize, and simplify a number of recent results on local homogeneity, porosity and conical densities of measures.
We show that if no m-plane contains almost all of an m-rectifiable set E⊂Rn, then there exists a single (m−1)-plane V such that the radial projection of E has positive m-dimensional measure from every point outside V.
We construct a non-doubling measure on the real line, all tangent measures of which are equivalent to Lebesgue measure.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.