Searcharxiv⌕ Search

arXiv subjects

Tomas Persson

Publications and source records attributed to Tomas Persson.

At least 37 records · Page 2Linked to original sources

Inhomogeneous potentials, Hausdorff dimension and shrinking targets

Generalising a construction of Falconer, we consider classes of $G_δ$-subsets of $\mathbb{R}^d$ with the property that sets belonging to the class have large Hausdorff dimension and the class is closed under countable intersections. We relate these classes to some inhomogeneous potentials and energies, thereby providing some useful tools to determine if a set belongs to one of the classes. As applications of this theory, we calculate, or at least estimate, the Hausdorff dimension of randomly generated limsup-sets, and sets that appear in the setting of shrinking targets in dynamical systems. For instance, we prove that for $α\geq 1$, \[ \mathrm{dim}_\mathrm{H}\, \{ \, y : | T_a^n (x) - y| < n^{-α} \text{ infinitely often} \, \} = \frac{1}α, \] for almost every $x \in [1-a,1]$, where $T_a$ is a quadratic map with $a$ in a set of parameters described by Benedicks and Carleson.

math.DS↗

On the Hausdorff Dimension of Bernoulli Convolutions

We give an expression for the Garsia entropy of Bernoulli convolutions in terms of products of matrices. This gives an explicit rate of convergence of the Garsia entropy and shows that one can calculate the Hausdorff dimension of the Bernoulli convolution $ν_β$ to arbitrary given accuracy whenever $β$ is algebraic. In particular, if the Garsia entropy $H(β)$ is not equal to $\log(β)$ then we have a finite time algorithm to determine whether or not $\mathrm{dim}_\mathrm{H} (ν_β)=1$.

math.CA↗

A Frostman type lemma for sets with large intersections, and an application to Diophantine approximation

We consider classes $\mathscr{G}^s ([0,1])$ of subsets of $[0,1]$, originally introduced by Falconer, that are closed under countable intersections, and such that every set in the class has Hausdorff dimension at least $s$. We provide a Frostman type lemma to determine if a limsup-set is in such a class. Suppose $E = \limsup E_n \subset [0,1]$, and that $μ_n$ are probability measures with support in $E_n$. If there is a constant $C$ such that \[\iint|x-y|^{-s}\, \mathrm{d}μ_n(x)\mathrm{d}μ_n(y) 1$ and almost all $λ\in (\frac{1}{2},1)$ the set \[ E_λ(α) = \{\,x\in[0,1] : |x - s_n| < 2^{-αn} \text{infinitely often}\ \}\] where $s_n \in \{\,(1-λ)\sum_{k=0}^na_kλ^k$ and $a_k\in\{0,1\}\,\}$, belongs to the class $\mathscr{G}^s$ for $s \leq \frac{1}α$. This improves one of our previous results.

math.NT↗

Hausdorff dimension of random limsup sets

We prove bounds for the almost sure value of the Hausdorff dimension of the limsup set of a sequence of balls in $\mathbf{R}^d$ whose centres are independent, identically distributed random variables. The formulas obtained involve the rate of decrease of the radii of the balls and multifractal properties of the measure according to which the balls are distributed, and generalise formulas that are known to hold for particular classes of measures.

math.CA↗

Shrinking targets in parametrised families

We consider certain parametrised families of piecewise expanding maps on the interval, and estimate and sometimes calculate the Hausdorff dimension of the set of parameters for which the orbit of a fixed point has a certain shrinking target property. This generalises several similar results for $β$-transformations to more general non-linear families. The proofs are based on a result by Schnellmann on typicality in parametrised families.

math.DS↗

Typical points and families of expanding interval mappings

We study parametrised families of piecewise expanding interval mappings $T_a \colon [0,1] \to [0,1]$ with absolutely continuous invariant measures $μ_a$ and give sufficient conditions for a point $X(a)$ to be typical with respect to $(T_a, μ_a)$ for almost all parameters $a$. This is similar to a result by D. Schnellmann, but with different assumptions.

math.DS↗

On Shrinking Targets for Piecewise Expanding Interval Maps

For a map $T \colon [0,1] \to [0,1]$ with an invariant measure $μ$, we study, for a $μ$-typical $x$, the set of points $y$ such that the inequality $|T^n x - y| < r_n$ is satisfied for infinitely many $n$. We give a formula for the Hausdorff dimension of this set, under the assumption that $T$ is piecewise expanding and $μ_ϕ$ is a Gibbs measure. In some cases we also show that the set has a large intersection property.

math.DS↗

Bernoulli Convolutions and 1D Dynamics

We describe a family $ϕ_λ$ of dynamical systems on the unit interval which preserve Bernoulli convolutions. We show that if there are parameter ranges for which these systems are piecewise convex, then the corresponding Bernoulli convolution will be absolutely continuous with bounded density. We study the systems $ϕ_λ$ and give some numerical evidence to suggest values of $λ$ for which $ϕ_λ$ may be piecewise convex.

math.DS↗

On a problem by R. Salem concerning Minkowski's question mark function

Minkowski's question mark function is strictly increasing on $[0, 1]$ and hence defines a Stieltjes measure on $[0, 1]$. A problem originating from Salem in 1943, is to determine whether the Fourier series of this measure decay to zero or not. The purpose of this note is to mention that a recent result by Jordan and Sahlsten implies that the Fourier transform decays to zero with a polynomial speed.

math.CA↗

On the Fourier dimension and a modification

We give a sufficient condition for the Fourier dimension of a countable union of sets to equal the supremum of the Fourier dimensions of the sets in the union, and show by example that the Fourier dimension is not countably stable in general. A natural approach to finite stability of the Fourier dimension for sets would be to try to prove that the Fourier dimension for measures is finitely stable, but we give an example showing that it is not in general. We also describe some situations where the Fourier dimension for measures is stable or is stable for all but one value of some parameter. Finally we propose a way of modifying the definition of the Fourier dimension so that it becomes countably stable, and show that a measure has modified Fourier dimension greater than or equal to $s$ if and only if it annihilates all sets with modified Fourier dimension less than $s$.

math.FA↗

A Note on Random Coverings of Tori

This note provides a generalisation of a recent result by Järvenpää, Järvenpää, Koivusalo, Li, and Suomala, (to appear), on the dimension of limsup-sets of random coverings of tori. The result in this note is stronger in the sense that it provides also a large intersection property of the limsup-sets, the assumptions are weaker, and it implies the result of Järvenpää, Järvenpää, Koivusalo, Li, and Suomala as a special case. The proof is based on a recent result by Persson and Reeve from 2013.

math.PR↗

On the asymptotics of the scenery flow

Various notions of "zooming in" on measures exist in the literature and the scenery flow is one of them. It is of interest to describe the joint asymptotics of the scenery flows generated by a measure and the measure transported by a local diffeomorphism. We give both sufficient and necessary conditions for the scenery distributions to be asymptotic and provide some examples.

math.DS↗

Diophantine approximation of the orbit of 1 in the dynamical system of bete expansions

We consider the distribution of the orbits of the number 1 under the $β$-transformations $T_β$ as $β$ varies. Mainly, the size of the set of $β>1$ for which a given point can be well approximated by the orbit of 1 is measured by its Hausdorff dimension. That is, the dimension of the following set $$ E\big({\ell_n}_{n\ge 1}, x_0\big)=\Big{β>1: |T^n_β1-x_0|<β^{-\ell_n}, {for infinitely many} n\in \N\Big} $$ is determined, where $x_0$ is a given point in $[0,1]$ and ${\ell_n}_{n\ge 1}$ is a sequence of integers tending to infinity as $n\to \infty$. For the proof of this result, the notion of the recurrence time of a word in symbolic space is introduced to characterize the lengths and the distribution of cylinders (the set of $β$ with a common prefix in the expansion of 1) in the parameter space ${β\in \R: β>1}$.

math.DS↗

Non-typical points for $β$-shifts

We study sets of nontypical points under the map $f_β\mapsto βx $ mod 1, for non-integer $β$ and extend our results from [Färm, Persson, Schmeling, 2010] in several directions. In particular we prove that sets of points whose forward orbit avoid certain Cantor sets, and set of points for which ergodic averages diverge, have large intersection properties. We observe that the technical condition $β>1.541$ found in [Färm, Persson, Schmeling, 2010] can be removed.

math.DS↗

On the Diophantine properties of lambda-expansions

For $λ\in (1/2, 1)$ and $α$, we consider sets of numbers $x$ such that for infinitely many $n$, $x$ is $2^{-αn}$-close to some $\sum_{i=1}^n ω_i λ^i$, where $ω_i \in \{0,1\}$. These sets are in Falconer's intersection classes for Hausdorff dimension $s$ for some $s$ such that $- \frac{1}α \frac{\log λ}{\log 2} \leq s \leq \frac{1}α$. We show that for almost all $λ\in (1/2, 2/3)$, the upper bound of $s$ is optimal, but for a countable infinity of values of $λ$ the lower bound is the best possible result.

math.NT↗

Dimension and measure of baker-like skew-products of $β$-transformations

We consider a generalisation of the baker's transformation, consisting of a skew-product of contractions and a $β$-transformation. The Hausdorff dimension and Lebesgue measure of the attractor is calculated for a set of parameters with positive measure. The proofs use a new transverality lemma similar to Solomyak's [Solomyak, 1995]. This transversality, which is applicable to the considered class of maps holds for a larger set of parameters than Solomyak's transversality.

math.DS↗

Smooth Livsic regularity for piecewise expanding maps

We consider the regularity of measurable solutions $χ$ to the cohomological equation \[ ϕ= χ\circ T -χ, \] where $(T,X,μ)$ is a dynamical system and $ϕ\colon X\rightarrow \R$ is a $C^k$ valued cocycle in the setting in which $T \colon X\rightarrow X$ is a piecewise $C^k$ Gibbs--Markov map, an affine $β$-transformation of the unit interval or more generally a piecewise $C^{k}$ uniformly expanding map of an interval. We show that under mild assumptions, bounded solutions $χ$ possess $C^k$ versions. In particular we show that if $(T,X,μ)$ is a $β$-transformation then $χ$ has a $C^k$ version, thus improving a result of Pollicott et al.~\cite{Pollicott-Yuri}.

math.DS↗