Strong Borel--Cantelli Lemmas for Recurrence

TL;DR

This paper establishes a strong Borel--Cantelli lemma with error terms for recurrence in certain metric measure-preserving systems, including applications to non-linear interval maps and hyperbolic automorphisms.

Contribution

It proves a strong recurrence result with explicit error bounds under decay of correlations and short return time assumptions, extending classical Borel--Cantelli lemmas.

Findings

Proves a strong Borel--Cantelli lemma with error term for recurrence.

Applies results to non-linear piecewise expanding maps.

Extends recurrence results to hyperbolic automorphisms of the torus.

Abstract

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$.