BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Tuomas Sahlsten appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
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.
Published work
We study the Fourier transforms $\widehatμ(ξ)$ 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 $\widehatμ(ξ) \to 0$ at a polynomial rate as $|ξ| \to \infty$.
Let $F$ be a self-similar set on $\mathbb{R}$ associated to contractions $f_j(x) = r_j x + b_j$, $j \in \mathcal{A}$, for some finite $\mathcal{A}$, such that $F$ is not a singleton. We prove that if $\log r_i / \log r_j$ is irrational for some $i \neq 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 $\widehatμ(ξ) \to 0$ as $|ξ| \to \infty$. The rate of $\widehatμ(ξ) \to 0$ is also shown to be logarithmic if $\log r_i / \log r_j$ is diophantine for some $i \neq j$. The proof is based on quantitative renewal theorems for stopping times of random walks on $\mathbb{R}$.
Let $M$ be a closed, oriented, and connected Riemannian $n$-manifold, for $n\ge 2$, which is not a rational homology sphere. We show that, for a non-constant and non-injective uniformly quasiregular self-map $f\colon M\to M$, the topological entropy $h(f)$ is $\log \mathrm{deg}( f )$. This proves Shub's entropy conjecture in this case.
Suppose $F$ is a self-affine set on $\mathbb{R}^d$, $d\geq 2$, which is not a singleton, associated to affine contractions $f_j = A_j + b_j$, $A_j \in \mathrm{GL}(d,\mathbb{R})$, $b_j \in \mathbb{R}^d$, $j \in \mathcal{A}$, for some finite $\mathcal{A}$. We prove that if the group $Γ$ generated by the matrices $A_j$, $j \in \mathcal{A}$, forms a proximal and totally irreducible subgroup of $\mathrm{GL}(d,\mathbb{R})$, then any self-affine measure $μ= \sum p_j f_j μ$, $\sum p_j = 1$, $0 < p_j < 1$, $j \in \mathcal{A}$, on $F$ is a Rajchman measure: the Fourier transform $\widehatμ(ξ) \to 0$ as $|ξ| \to \infty$. 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 $\widehatμ(ξ)$ has a power decay at infinity. Hence $μ$ is $L^p$ improving for all $1 < p < \infty$ and $F$ has positive Fourier dimension. In dimension $d = 2,3$ the irreducibility of $Γ$ and non-compactness of the image of $Γ$ in $\mathrm{PGL}(d,\mathbb{R})$ is enough for power decay of $\widehatμ$. The proof is based on quantitative renewal theorems for random walks on the sphere $\mathbb{S}^{d-1}$.
We study the scaling scenery and limit geometry of invariant measures for the non-conformal toral endomorphism $(x,y) \mapsto (mx \mod 1,ny \mod 1)$ 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 \subset \R^{n}$, 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.