Nonconventional limit theorems

The polynomial ergodic theorem (PET) which appeared in Bergelson (Ergod. Th. Dynam. Sys. 7, 337–349, 1987) and attracted substantial attention in ergodic theory studies the limits of expressions having the form ${1/Nsum_{n=1}^NT^{q_1(n)}f_1 cdots T^{q_ell (n)} f_ell}$ where T is a weakly mixing measure preserving transformation, f _i ’s are bounded measurable functions and q _i ’s are polynomials taking on integer values on the integers. Motivated partially by this result we obtain a central limit theorem for even more general expressions of the form ${1/sqrt{N}sum_{n=1}^N (F(X_0(n),X_1(q_1(n)),X_2(q_2(n)), ldots, X_ell(q_ell(n)))-overline F)}$ where X _i ’s are exponentially fast ψ-mixing bounded processes with some stationarity properties, F is a Lipschitz continuous function, ${overline F=int Fd(mu_0timesmu_1times cdotstimesmu_ell)}$ , μ _j is the distribution of X _j (0), and q _i ’s are positive functions taking on integer values on integers with some growth conditions which are satisfied, for instance, when q _i ’s are polynomials of growing degrees. When F(x ₀, x ₁, . . . , x _? ) = x ₀ x ₁ x ₂ . . . x _? exponentially fast α-mixing already suffices. This result can be applied in the case when X _i (n) = T ⁿ f _i where T is a mixing subshift of finite type, a hyperbolic diffeomorphism or an expanding transformation taken with a Gibbs invariant measure, as well, as in the case when X _i (n) = f _i (ξ _n ) where ξ _n is a Markov chain satisfying the Doeblin condition considered as a stationary process with respect to its invariant measure.