arXiv subjects

Tomas Persson

Publications and source records attributed to Tomas Persson.

At least 19 recordsLinked to original sources

arXiv2026

Visiting time statistics

Many mixing dynamical systems $(X,T,\mu)$ are known to satisfy the hitting time statistics result \[ \lim_{r \to 0} \mu \{\, x : \tau_{B(y,r)} (x) > t/\mu(B(y,r))\,\} = e^{-t}, \] for $\mu$-almost every $y$, where $\tau_{B(y,r)} (x)$ is the first hitting time of $x$ to the ball $B(y,r)$. Taking a different point of view, we fix $x$ and consider $\tau_{B(y,r)} (x)$ as a function of $y$. We call this the visiting time of $y$ from $x$, i.e. the time it takes for $y$ to get a visit from $x$ within a neighbourhood of radius $r$. We prove that \[ \lim_{r \to 0} \mu \{\, y : \tau_{B(y,r)} (x) > t/\mu(B(y,r)) \,\} = e^{-t}, \] for $\mu$-almost every $x$. As a byproduct we obtain a new method of proof for hitting time statistics.

math.DS↗

arXiv2026

Asymmetric uniqueness sets in $\ell^q$

We exhibit an asymmetry phenomenon for uniqueness sets in $\ell^q$. Specifically, we construct sets that do not support measures with $\ell^q$-summable Fourier coefficients, yet simultaneously support measures whose positive frequencies decay faster than polynomials. In the language of Fourier uniqueness, this highlights a striking divergence between the unilateral and bilateral $\ell^q$ uniqueness problems.

math.CA↗

arXiv2025

Almost sure orbits closeness

We consider the minimal distance between orbits of measure preserving dynamical systems. In the spirit of dynamical shrinking target problems we identify distance rates for which almost sure asymptotic closeness properties can be ensured. More precisely, we consider the set $E_n$ of pairs of points whose orbits up to time $n$ have minimal distance to each other less than the threshold $r_n$. We obtain bounds on the sequence $(r_n)_n$ to guarantee that $\limsup_{n}E_n$ and $\liminf_{n} E_n$ are sets of measure 0 or 1. Results for the measure 0 case are obtained in broad generality while the measure one case requires assumptions of exponential mixing for at least one of the systems. We also consider the analogous question of the minimal distance of points within a single orbit of one dimensional exponentially mixing dynamical systems.

math.DS↗

arXiv2025

Strong Borel--Cantelli Lemmas for Recurrence

Let $(X,T,\mu,d)$ be a metric measure-preserving system for which $3$-fold correlations decay exponentially for Lipschitz continuous observables. Suppose that $(M_k)$ is a sequence satisfying some weak decay conditions and suppose there exist open balls $B_k(x)$ around $x$ such that $\mu(B_k(x)) = M_k$. Under a short return time assumption, we prove a strong Borel--Cantelli lemma, including an error term, for recurrence, i.e., for $\mu$-a.e. $x \in X$, \[ \sum_{k=1}^{n} \mathbf{1}_{B_k(x)} (T^k x) = \Phi(n) + O \bigl( \Phi(n)^{1/2} (\log \Phi(n))^{3/2 + \varepsilon} \bigr), \] where $\Phi(n) = \sum_{k=1}^{n} \mu(B_k(x))$. Applications to systems include some non-linear piecewise expanding interval maps and hyperbolic automorphisms of $\mathbf{T}^2$.

math.DS↗

arXiv2025

On recurrence sets for toral endomorphisms

Let $A$ be a $2\times 2$ integral matrix with an eigenvalue of modulus strictly less than 1. Let $T$ be the natural endomorphism on the torus $\mathbb{T}^2=\mathbb{R}^2/\mathbb{Z}^2$, induced by $A$. Given $\tau>0$, let \[ R_\tau =\{\, x\in \mathbb{T}^2 : T^nx\in B(x,e^{-n\tau})~\mathrm{infinitely ~many}~n\in\mathbb{N} \,\}. \] We calculated the Hausdorff dimension of $R_\tau$, and also prove that $R_\tau$ has a large intersection property.

math.DS↗

arXiv2024

On shrinking targets for linear expanding and hyperbolic toral endomorphisms

Let $A$ be an invertible $d\times d$ matrix with integer elements. Then $A$ determines a self-map $T$ of the $d$-dimensional torus $\mathbb{T}^d=\mathbb{R}^d/\mathbb{Z}^d$. Given a real number $\tau>0$, and a sequence $\{z_n\}$ of points in $\mathbb{T}^d$, let $W_\tau$ be the set of points $x\in\mathbb{T}^d$ such that $T^n(x)\in B(z_n,e^{-n\tau})$ for infinitely many $n\in\mathbb{N}$. The Hausdorff dimension of $W_\tau$ has previously been studied by Hill--Velani and Li--Liao--Velani--Zorin. We provide complete results on the Hausdorff dimension of $W_\tau$ for any expanding matrix. For hyperbolic matrices, we compute the dimension of $W_\tau$ only when $A$ is a $2 \times 2$ matrix. We give counterexamples to a natural candidate for a dimension formula for general dimension $d$.

math.DS↗

arXiv2024

On uniform recurrence for hyperbolic automorphisms of the $2$-dimensional torus

We are interested in studying sets of the form \[ \mathcal{U}(\alpha) := \left\{ x\in X: \ \exists M=M(x) \geq 1 \text{ such that } \forall N\geq M, \ \exists n\leq N \text{ such that } d(T^nx, x) \leq |\lambda|^{-\alpha N} \right\} \] where $(X,T,d)$ is our metric dynamical system and $|\lambda|>1$. Although a lot of results exist for the one dimensional case, not as many are known for systems in higher dimensions and especially in the hyperbolic case. We consider $X=\mathbb{T}^2$, $T(x) = Ax \pmod{1}$, where $A$ is a hyperbolic, area preserving, $2\times 2$ matrix with integer entries and $\lambda$ is the eigenvalue of $A$ of modulus larger than $1$ and we explicitly calculate the Hausdorff dimension of this set.

math.DS↗

arXiv2023

Hausdorff dimension of recurrence sets

We consider linear mappings on the $d$-dimensional torus, defined by $T(x) = Ax \pmod 1$, where $A$ is an invertible $d \times d$ integer matrix, with no eigenvalues on the unit circle. In the case $d = 2$ and $\det A = \pm 1$, we give a formula for the Hausdorff dimension of the set \[ \{ \, x \in \mathbb{T}^d : d (T^n (x), x) < e^{- \alpha n} \text{ for infinitely many } n \, \}. \]

math.DS↗

arXiv2022

A parameter ASIP for the quadratic family

Consider the quadratic family $T_a(x) = a x (1 - x)$, for $x \in [0, 1]$ and mixing Collet--Eckmann (CE) parameters $a \in (2,4)$. For bounded $\varphi$, set $\tilde \varphi_{a} := \varphi - \int \varphi \, d\mu_a$, with $\mu_a$ the unique acim of $T_a$, and put $(\sigma_a (\varphi))^2 := \int \tilde \varphi_{a}^2 \, d\mu_a + 2 \sum_{i>0} \int \tilde \varphi_{a} (\tilde \varphi_{a} \circ T^i_{a}) \, d\mu_a$. For any transversal mixing Misiurewicz parameter $a_*$, we find a positive measure set $\Omega_*$ of mixing CE parameters, containing $a_*$ as a Lebesgue density point, such that for any H\"older $\varphi$ with $\sigma_{a_*}(\varphi)\ne 0$, there exists $\epsilon_\varphi >0$ such that, for normalised Lebesgue measure on $\Omega_*\cap [a_*-\epsilon_\varphi, a_*+\epsilon_\varphi]$, the functions $\xi_i(a)=\tilde \varphi_a(T_a^{i+1}(1/2))/\sigma_a (\varphi)$ satisfy an almost sure invariance principle (ASIP) for any error exponent $\gamma >2/5$. (In particular, the Birkhoff sums satisfy this ASIP.) Our argument goes along the lines of Schnellmann's proof for piecewise expanding maps. We need to introduce a variant of Benedicks-Carleson parameter exclusion and to exploit fractional response and uniform exponential decay of correlations from a previous work of Baladi, Benedicks, and Schnellmann.

math.DS↗

arXiv2022

A strong Borel--Cantelli lemma for recurrence

Consider a mixing dynamical systems $([0,1], T, \mu)$, for instance a piecewise expanding interval map with a Gibbs measure $\mu$. Given a non-summable sequence $(m_k)$ of non-negative numbers, one may define $r_k (x)$ such that $\mu (B(x, r_k(x)) = m_k$. It is proved that for almost all $x$, the number of $k \leq n$ such that $T^k (x) \in B_k (x)$ is approximately equal to $m_1 + \ldots + m_n$. This is a sort of strong Borel--Cantelli lemma for recurrence. A consequence is that \[ \lim_{r \to 0} \frac{\log \tau_{B(x,r)} (x)}{- \log \mu (B (x,r))} = 1 \] for almost every $x$, where $\tau$ is the return time.

math.DS↗

arXiv2021

Dichotomy results for eventually always hitting time statistics and almost sure growth of extremes

Suppose $(f,\mathcal{X},\mu)$ is a measure preserving dynamical system and $\phi \colon \mathcal{X} \to \mathbb{R}$ a measurable function. Consider the maximum process $M_n:=\max\{X_1 \ldots,X_n\}$, where $X_i=\phi\circ f^{i-1}$ is a time series of observations on the system. Suppose that $(u_n)$ is a non-decreasing sequence of real numbers, such that $\mu(X_1>u_n)\to 0$. For certain dynamical systems, we obtain a zero--one measure dichotomy for $\mu(M_n\leq u_n\,\textrm{i.o.})$ depending on the sequence $u_n$. Specific examples are piecewise expanding interval maps including the Gauss map. For the broader class of non-uniformly hyperbolic dynamical systems, we make significant improvements on existing literature for characterising the sequences $u_n$. Our results on the permitted sequences $u_n$ are commensurate with the optimal sequences (and series criteria) obtained by Klass (1985) for i.i.d. processes. Moreover, we also develop new series criteria on the permitted sequences in the case where the i.i.d. theory breaks down. Our analysis has strong connections to specific problems in eventual always hitting time statistics and extreme value theory.

math.DS↗

arXiv2021

Uniform random covering problems

Motivated by the random covering problem and the study of Dirichlet uniform approximable numbers, we investigate the uniform random covering problem. Precisely, consider an i.i.d. sequence $\omega=(\omega_n)_{n\geq 1}$ uniformly distributed on the unit circle $\mathbb{T}$ and a sequence $(r_n)_{n\geq 1}$ of positive real numbers with limit $0$. We investigate the size of the random set \[ \mathcal U (\omega):=\{y\in \mathbb{T}: \ \forall N\gg 1, \ \exists n \leq N, \ \text{s.t.} \ \| \omega_n -y \| < r_N \}. \] Some sufficient conditions for $\mathcal U(\omega)$ to be almost surely the whole space, of full Lebesgue measure, or countable, are given. In the case that $\mathcal U(\omega)$ is a Lebesgue null measure set, we provide some estimations for the upper and lower bounds of Hausdorff dimension.

math.PR↗

arXiv2020

On eventually always hitting points

We consider dynamical systems $(X,T,\mu)$ which have exponential decay of correlations for either H\"older continuous functions or functions of bounded variation. Given a sequence of balls $(B_n)_{n=1}^\infty$, we give sufficient conditions for the set of eventually always hitting points to be of full measure. This is the set of points $x$ such that for all large enough $m$, there is a $k < m$ with $T^k (x) \in B_m$. We also give an asymptotic estimate as $m \to \infty$ on the number of $k < m$ with $T^k (x) \in B_m$. As an application, we prove for almost every point $x$ an asymptotic estimate on the number of $k \leq m$ such that $a_k \geq m^t$, where $t \in (0,1)$ and $a_k$ are the continued fraction coefficients of $x$.

math.DS↗

arXiv2020

On shrinking targets and self-returning points

We consider the set $\mathcal{R}_\mathrm{io}$ of points returning infinitely many times to a sequence of shrinking targets around themselves. Under additional assumptions we improve Boshernitzan's pioneering result on the speed of recurrence. In the case of the doubling map as well as some linear maps on the $d$ dimensional torus, we even obtain a dichotomy condition for $\mathcal{R}_\mathrm{io}$ to have measure zero or one. Moreover, we study the set of points eventually always returning and prove an analogue of Boshernitzan's result in similar generality.

math.DS↗

arXiv2019

Computing Garsia Entropy for Bernoulli Convolutions with Algebraic Parameters

We introduce a parameter space containing all algebraic integers $\beta\in(1,2]$ that are not Pisot or Salem numbers, and a sequence of increasing piecewise continuous function on this parameter space which gives a lower bound for the Garsia entropy of the Bernoulli convolution $\nu_{\beta}$. This allows us to show that $\mathrm{dim}_\mathrm{H} (\nu_{\beta})=1$ for all $\beta$ with representations in certain open regions of the parameter space.

math.CA↗

arXiv2019

A mass transference principle and sets with large intersections

I prove a mass transference principle for general shapes, similar to a recent result by H. Koivusalo and M. Rams. The proof relies on Vitali's covering lemma and manipulations with Riesz energies. The main novelty is that it is proved that the obtained limsup-set belongs to the classes of sets with large intersections, as defined by K. Falconer. This has previously not been proved for as general shapes as in this paper.

math.CA↗

arXiv2019

Shrinking targets and eventually always hitting points for interval maps

We study shrinking target problems and the set $\mathcal{E}_{\text{ah}}$ of eventually always hitting points. These are the points whose first $n$ iterates will never have empty intersection with the $n$-th target for sufficiently large $n$. We derive necessary and sufficient conditions on the shrinking rate of the targets for $\mathcal{E}_{\text{ah}}$ to be of full or zero measure especially for some interval maps including the doubling map, some quadratic maps and the Manneville-Pomeau map. We also obtain results for the Gauss map and correspondingly for the maximal digits in continued fractions expansions. In the case of the doubling map we also compute the packing dimension of $\mathcal{E}_{\text{ah}}$ complementing already known results on the Hausdorff dimension of $\mathcal{E}_{\text{ah}}$.

math.DS↗

arXiv2018

Anomalous time-scaling of extreme events in infinite systems and Birkhoff sums of infinite observables

We establish quantitative results for the statistical be\-ha\-vi\-our of \emph{infinite systems}. We consider two kinds of infinite system: i) a conservative dynamical system $(f,X,\mu)$ preserving a $\sigma$-finite measure $\mu$ such that $\mu(X)=\infty$; ii) the case where $\mu$ is a probability measure but we consider the statistical behaviour of an observable $\phi\colon X\to[0,\infty)$ which is non-integrable: $\int \phi \, d\mu=\infty$. In the first part of this work we study the behaviour of Birkhoff sums of systems of the kind ii). For certain weakly chaotic systems, we show that these sums can be strongly oscillating. However, if the system has superpolynomial decay of correlations or has a Markov structure, then we show this oscillation cannot happen. In this case we prove asymptotic relations between the behaviour of $\phi $, the local dimension of $\mu$, and on the growth of Birkhoff sums (as time tends to infinity). We then establish several important consequences which apply to infinite systems of the kind i). This includes showing anomalous scalings in extreme event limit laws, or entrance time statistics. We apply our findings to non-uniformly hyperbolic systems preserving an infinite measure, establishing anomalous scalings in the case of logarithm laws of entrance times, dynamical Borel--Cantelli lemmas, almost sure growth rates of extremes, and dynamical run length functions.

math.DS↗