Limit theorems for von Mises statistics of a measure preserving transformation
For a measure preserving transformation T of a probability space (X,F,μ) we investigate almost sure and distributional convergence of random variables of the form x→Cn1∑i1<n,...,id<nf(Ti1x,...,Tidx),n=1,2,..., where f (called the \emph{kernel}) is a function from Xd to R and C1,C2,... are appropriate normalizing constants. We observe that the above random variables are well defined and belong to Lr(μ) provided that the kernel is chosen from the projective tensor product Lp(X1,F1,μ1)⊗π...⊗πLp(Xd,Fd,μd)⊂Lp(μd) with p=dr,r ∈[1,∞). We establish a form of the individual ergodic theorem for such sequences. Next, we give a martingale approximation argument to derive a central limit theorem in the non-degenerate case (in the sense of the classical Hoeffding's decomposition). Furthermore, for d=2 and a wide class of canonical kernels f we also show that the convergence holds in distribution towards a quadratic form ∑m=1∞λmηm2 in independent standard Gaussian variables η1,η2,.... Our results on the distributional convergence use a T--\,invariant filtration as a prerequisite and are derived from uni- and multivariate martingale approximations.