Shrinking Targets versus Recurrence: a brief survey

TL;DR

This survey analyzes shrinking target and recurrence problems in measure-preserving dynamical systems, focusing on when the associated limsup sets have full $\mu$-measure. It situates these questions in a probabilistic framework via Borel–Cantelli-type criteria, showing that zero-one laws and quantitative counting arise under mixing and quasi-independence conditions. Shrinking targets enjoy a clean asymptotic with explicit error terms under exponential mixing, yielding a definitive zero-one criterion, while recurrence requires stronger structural assumptions and can fail under non-uniform measures, motivating a corrected framework with radii chosen to equalize local measures. The results clarify when full measure and robust asymptotics hold, highlight fundamental differences between the two problems, and point to open directions, including extensions beyond Ahlfors regular or Gibbs settings and further quantitative refinements.

Abstract

Let $(X,d)$ be a compact metric space and $(X,\mathcal{A},μ,T)$ a measure preserving dynamical system. Furthermore, given a real, positive function $ψ$, let $W(T, ψ)$ and $ R(T,ψ) $ respectively denote the shrinking target set and the recurrent set associated with the dynamical system. Under certain mixing properties it is known that if the natural measure sum diverges then the recurrent and shrinking target sets are of full $μ$-measure. The purpose of this survey is to provide a brief overview of such results, to discuss the potential quantitative strengthening of the full measure statements and to bring to the forefront key differences in the theory.

Theorems & Definitions (22)

• Lemma 2.1
• Remark 3.1
• Remark 3.2
• Theorem 3.1
• Remark 3.3
• Theorem 3.2
• Example 3.1
• Remark 3.4
• Lemma 4.1
• Example 4.1