Quantitative recurrence results (Q1319238)

Let \((X, d)\) be a metric space. A point \(x\in X\) is said to be a recurrent point for a given transformation \(T: X\to X\) if \(\liminf_n d(x, T^n x)= 0\). Assume that \(X\) has a countable base and let \((T, X, \phi, \mu)\) be a measure preserving system (\(\phi\) denotes a \(\sigma\)-algebra containing the open subsets of \(X\) and \(\mu\) denotes an invariant probability measure). It is a well-known result of Poincaré that \(\mu\)-almost all points in \(X\) are recurrent. This paper studies a much stronger recurrence property. A typical result of the author (Theorem 1.2) says that if for some \(\alpha> 0\) the Hausdorff \(\alpha\)-measure \(h_\alpha(\cdot)\) is \(\sigma\)-finite on \(X\), then the inequality \(\liminf_n n^{1/\alpha} d(x, T^n x)< \infty\) holds for \(\mu\)-almost all \(x\) in \(X\). Moreover, \(\liminf_n n^{1/\alpha} d(x, T^n x)\leq 1\) if \(h_\alpha (X)= 0\). Strengthenings of this theorem are given, including cases where \(a= 1\). Various applications and interesting examples are given.