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

Abstract

Suppose (f, X , µ) is a measure preserving dynamical system and ϕ: X → R a measurable function. Consider the maximum process Mn := max{X1, . . . , Xn}, where Xi = ϕ ◦ f i−1 is a time series of obser vations on the system. Suppose that (un) is a non-decreasing sequence of real numbers, such that µ(X1 > un) → 0. For certain dynamical systems, we obtain a zero–one measure dichotomy for µ(Mn ≤ un i.o.) depending on the sequence un. Specific examples are piecewise expanding interval maps including the Gauß map. For the broader class of non-uniformly hyperbolic dynamical systems, we make significant improvements on existing literature for characterising the sequences un. Our results on the permitted sequences un 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.