The shrinking target and recurrence problem for non-autonomous systems
Ayesha Bennett
TL;DR
The paper develops a unified framework for shrinking target and recurrence problems in non-autonomous measure-preserving systems on compact spaces. It proves a quantitative shrinking target theorem under a uniform mixing condition, yielding optimal error terms and a clear zero-one criterion based on the convergence/divergence of the sum of target measures. It then extends these ideas to non-autonomous recurrence, establishing zero-measure laws, and provides autonomous zero-one criteria for recurrence in the special class of centred, one-component inner functions, using Markov partitions and distortion control. Applications include zero-one laws for patterns in Cantor-series (multibase) expansions and a cohesive treatment that bridges non-autonomous dynamics with inner-function dynamics. The results unify shrinking-target and recurrence phenomena across autonomous and non-autonomous dynamics, highlighting the roles of uniform mixing, Ahlfors regularity, and partition regularity in determining measure-theoretic outcomes.
Abstract
We investigate the shrinking target and recurrence set associated to non-autonomous measure-preserving systems on compact metric spaces, establishing zero-one criteria in the spirit of classical Borel-Cantelli results. Our first main theorem gives a quantitative shrinking target result for non-autonomous systems under a uniform mixing condition, providing asymptotics with an optimal error term. This general result is applicable to certain families of inner functions, yielding concrete applications such as patterns of zeros in the multibase expansion. Turning to recurrence, we establish new zero-measure laws for non-autonomous systems. In the autonomous case, we prove a zero-one criterion for recurrence sets of centred, one-component inner functions via Markov partitions and distortion estimates. Together, these results provide a unified framework for shrinking target and recurrence problems in both autonomous and non-autonomous dynamics.
