For the flow itself, the finite horizon condition is crucial since even the CLT is unlikely in the infinite horizon case. Assuming finite horizons, the roof function
$h$
is uniformly bounded and piecewise Hölder. Since
$h$
is not uniformly Hölder, Corollary 3.5 does not apply directly, but the result is easily modified as in Remarks 2.13 and 3.6 to include such roof functions. Hence, we obtain the second statement of Theorem 1.3 .
A ASIP for functions of mixing sequences
Here is a special case of Philipp & Stout [
32,Theorem7.1]
adapted to dynamical systems terminology. The notation is as in Section 2 (c).
Theorem A.1 (Philipp & Stout)Assume that there exists
$\delta \in (0,2]$
,
${\sigma}^{2}>0$
and
$C>0$
such that for all
$k,N\ge 1$
,

(i)
$v\in {L}^{2+\delta}(\Lambda )$
and
${\int}_{\Lambda}vdm=0$
,

(ii)
${\int}_{\Lambda}{v}_{N}^{2}dm={\sigma}^{2}N+O\left({N}^{1\delta /30}\right)$
,

(iii)
${\sum}_{a\in {\alpha}_{0}^{k1}}{\int}_{a}v\frac{1}{m\left(a\right)}{\int}_{a}vdm{}^{2+\delta}dm\le C{k}^{(2+7/\delta )(2+\delta )}$
,

(iv)
$\leftm(a\cap {f}^{(N+k)}(b\left)\right)m\left(a\right)m\left(b\right)\right\le C{N}^{168(1+2/\delta )}$
for all
$a\in {\alpha}_{0}^{k1}$
and all measurable sets
$b$
.
Then
${v}_{N}=W\left(N\right)+O\left({N}^{1/2\delta /600}\right)$
.
B ASIP for suspensions
Suppose that
$(\Lambda ,m)$
is a probability space and that
$f:\Lambda \to \Lambda $
is a measurepreserving transformation. Let
$h:\Lambda \to {\mathbb{R}}^{+}$
be a roof function and suppose that
${f}_{t}:{\Lambda}^{h}\to {\Lambda}^{h}$
is the corresponding suspension (semi)flow as in Section 2 (e). The following result is a special case of [
30,Theorem 4.2]
.
Theorem B.1 (Melbourne & Török)Let
$\delta >0$
. Suppose that
$h\in {L}^{2+\delta}(\Lambda )$
and that
${\sum}_{j=0}^{N1}h\circ {f}^{j}=N\overline{h}+o\left({N}^{1\delta}\right)$
as
$N\to \infty $
almost everywhere.
Suppose that
$\psi :{\Lambda}^{h}\to \mathbb{R}$
lies in
${L}^{\infty}\left({\Lambda}^{h}\right)$
and has mean zero. Define
$\phi :\Lambda \to \mathbb{R}$
by
$\phi \left(x\right)={\int}_{0}^{h\left(x\right)}\psi \left({f}_{t}x\right)$
. If
$\phi $
satisfies the ASIP on
$\Lambda $
with variance
${\sigma}_{1}^{2}$
, then
$\psi $
satisfies the ASIP on
${\Lambda}^{h}$
with variance
${\sigma}^{2}={\sigma}_{1}^{2}/\overline{h}$
.
Theorem B.1 is easily modified for discrete suspensions. Let
$R:\Lambda \to {\mathbb{Z}}^{+}$
be an
${L}^{1}$
return time function and form the discrete suspension map
$F:\Delta \to \Delta $
as in Section 2 (d).
Corollary B.2Let
$\delta >0$
. Suppose that
$R\in {L}^{2+\delta}(\Lambda )$
and that
${\sum}_{j=0}^{N1}R\circ {f}^{j}=N\overline{R}+o\left({N}^{1\delta}\right)$
as
$N\to \infty $
almost everywhere.
Suppose that
$\phi :\Delta \to \mathbb{R}$
lies in
${L}^{\infty}(\Delta )$
and has mean zero. Define
$\Phi :\Lambda \to \mathbb{R}$
by
$\Phi \left(x\right)={\sum}_{j=0}^{R\left(x\right)1}\phi \left({f}^{j}x\right)$
. If
$\Phi $
satisfies the ASIP on
$\Lambda $
with variance
${\sigma}_{1}^{2}$
, then
$\phi $
satisfies the ASIP on
$\Delta $
with variance
${\sigma}^{2}={\sigma}_{1}^{2}/\overline{R}$
.
Acknowledgements
This research was supported in part by EPSRC Grant GR/S11862/01. IM is greatly indebted to UH for the use of email, given that pine is currently not supported on the University of Surrey network.
References

J. Aaronson. An Introduction to Infinite Ergodic Theory. Math. Surveys and Monographs 50, Amer. Math. Soc., 1997.

J. Aaronson and M. Denker. Local limit theorems for partial sums of stationary sequences generated by GibbsMarkov maps. Stoch. Dyn. 1 (2001) 193–237.

J. Alves, S. Luzzatto and V. Pinheiro. Markov structures and decay of correlations for nonuniformly expanding dynamical systems. Ann. Inst. H. Poincaré, Anal. Non Linéaire. To appear.

V. Baladi. Positive Transfer Operators and Decay of Correlations. Advanced Series in Nonlinear Dynamics 16, World Scientific, Singapore, 2000.

V. Baladi. Decay of correlations. Smooth Ergodicity Theory and its Applications (A. Katok et al., ed.), Proc. Symp. Pure Math. 69, Amer. Math. Soc., 2001, pp. 297–325.

M. Benedicks and L.S. Young. Absolutely continuous invariant measures and random perturbations for certain onedimensional maps. Ergod. Th. & Dynam. Sys. 12 (1992) 13–37.

M. Benedicks and L.S. Young. SinaiBowenRuelle measures for certain Hénon maps. Invent. Math. 112 (1993) 541–576.

R. Bowen. Equilibrium States and the Ergodic Theory of Anosov Diffeomorphisms. Lecture Notes in Math. 470, Springer, Berlin, 1975.

H. Bruin, M. Holland and M. Nicol. Livsic regularity for Markov systems. Preprint.

H. Bruin, S. Luzzatto and S. van Strien. Decay of correlations in onedimensional dynamics. Ann. Sci. École Norm. Sup. 36 (2003) 621–646.

L. A. Bunimovich, Y. G. Sinaĭ and N. I. Chernov. Statistical properties of twodimensional hyperbolic billiards. Uspekhi Mat. Nauk 46 (1991) 43–92.

A. Castro. Backward inducing and exponential decay of correlations for partially hyperbolic attractors with mostly contracting direction. Ph. D. Thesis, IMPA (1998).

N. Chernov. Statistical properties of piecewise smooth hyperbolic systems in high dimensions. Discrete Contin. Dynam. Systems 5 (1999) 425–448.

N. Chernov. Decay of correlations and dispersing billiards. J. Statist. Phys. 94 (1999) 513–556.

N. Chernov and L. S. Young. Decay of correlations for Lorentz gases and hard balls. Hard ball systems and the Lorentz gas. Encyclopaedia Math. Sci. 101, Springer, Berlin, 2000, pp. 89–120.

J.P. Conze and S. Le Borgne. Méthode de martingales et flow géodésique sur une surface de courbure constante négative. Ergod. Th. & Dynam. Sys. 21 (2001) 421–441.

M. Denker and W. Philipp. Approximation by Brownian motion for Gibbs measures and flows under a function. Ergod. Th. & Dynam. Sys. 4 (1984) 541–552.

D. Dolgopyat. On dynamics of mostly contracting diffeomorphisms. Commun. Math. Phys. 213 (2000) 181–201.

M. J. Field, I. Melbourne and A. Török. Decay of correlations, central limit theorems and approximation by Brownian motion for compact Lie group extensions. Ergod. Th. & Dynam. Sys. 23 (2003) 87–110.

M. I. Gordin. The central limit theorem for stationary processes. Soviet Math. Dokl. 10 (1969) 1174–1176.

S. Gouëzel. Statistical properties of a skew product with a curve of neutral points. Preprint, 2004.

S. Gouëzel. Vitesse de décorrélation et théorèmes limites pour les applications non uniformément dilatantes. Ph. D. Thesis, Ecole Normale Supérieure, 2004.

H. Hennion. Sur un théorème spectral et son application aux noyaux lipchitziens. Proc. Amer. Math. Soc. 118 (1993) 627–634.

F. Hofbauer and G. Keller. Ergodic properties of invariant measures for piecewise monotonic transformations. Math. Z. 180 (1982) 119–140.

G. Keller. Un théorème de la limite centrale pour une classe de transformations monotones per morceaux. C. R. Acad. Sci. Paris 291 (1980) 155–158.

C. Liverani. Central limit theorem for deterministic systems. International Conference on Dynamical Systems (F. Ledrappier, J. Lewowicz and S. Newhouse, eds.), Pitman Research Notes in Math. 362, Longman Group Ltd, Harlow, 1996, pp. 56–75.

C. Liverani, B. Saussol and S. Vaienti. A probabilistic approach to intermittency. Ergodic Theory and Dynamical Systems 19 (1999) 671–685.

I. Melbourne and M. Nicol. Statistical properties of endomorphisms and compact group extensions. J. London Math. Soc. 70 (2004) 427–446.

I. Melbourne and A. Török. Statistical limit theorems for suspension flows. Israel J. Math. 194 (2004) 191–210.

I. Melbourne and A. Török. Central limit theorems and invariance principles for timeone maps of hyperbolic flows. Commun. Math. Phys. 229 (2002) 57–71.

W. Parry and M. Pollicott. Zeta Functions and the Periodic Orbit Structure of Hyperbolic Dynamics. Astérique 187188, Société Mathématique de France, Montrouge, 1990.

W. Philipp and W. F. Stout. Almost Sure Invariance Principles for Partial Sums of Weakly Dependent Random Variables. Memoirs of the Amer. Math. Soc. 161, Amer. Math. Soc., Providence, RI, 1975.

M. Pollicott and R. Sharp. Invariance principles for interval maps with an indifferent fixed point. Commun. Math. Phys. 229 (2002) 337–346.

M. Ratner. The central limit theorem for geodesic flows on
$n$
dimensional manifolds of negative curvature. Israel J. Math. 16 (1973) 181–197.

D. Ruelle. Thermodynamic Formalism. Encyclopedia of Math. and its Applications 5, Addison Wesley, Massachusetts, 1978.

Y. G. Sinaĭ. Dynamical systems with elastic reflections. Ergodic properties of dispersing billiards. Uspehi Mat. Nauk 25 (1970) 141–192.

Y. G. Sinaĭ. Gibbs measures in ergodic theory. Russ. Math. Surv. 27 (1972) 21–70.

M. Viana. Stochastic dynamics of deterministic systems. Col. Bras. de Matemática, 1997.

C. P. Walkden. Invariance principles for iterated maps that contract on average. Preprint, 2003.

L.S. Young. Statistical properties of dynamical systems with some hyperbolicity. Ann. of Math. 147 (1998) 585–650.

L.S. Young. Recurrence times and rates of mixing. Israel J. Math. 110 (1999) 153–188.