Higher order sweeping out (Q798456)

Let T act in a measure space X with measure m and \(m(X)=1\). We say T sweeps out [\textit{N. A. Friedman}, Can. J. Math. 35, 339-352 (1983; Zbl 0495.28013)] if \(m(A)>0\) implies \(m(\cup^{\infty}_{m=1}T^{k_ n}A)=1\) for all increasing sequences \((k_ n)\). We will say T is lightly mixing if \(m(A)>0\) and \(m(B)>0\) imply \((\lim \inf m(T^ nA\cap B)>0.\) Lightly mixing implies mildly mixing and weakly mixing. In particular, if T is lightly mixing then T is mixing on a sequence of density one. \textit{J. R. Blum, S. L. M. Christiansen} and \textit{D. Quiring} [Ill. J. Math. 18, 131-135 (1974; Zbl 0272.28011)] show that the conditions for sweeping out and lightly mixing are equivalent. In this paper, the definitions of higher order sweeping out and higher order lightly mixing are given. It is shown that k-sweeping out is equivalent to lightly k-mixing. Transformations that are partially k- mixing but not partially \((k+1)\)-mixing [\textit{N. A. Friedman}, Contemp. Math. 26, 111-130 (1984)] furnish examples of transformations which are lighly k-mixing but not lightly \((k+1)\)-mixing. Examples are constructed of transformations which are lightly k-mixing but not partially k-mixing. A transformtion uniformly sweeps out if for each set A of positive measure and each \(\epsilon >0\), there exists \(N=N(A,\epsilon)\) such that the measure of the union of any N iterates of A is greater than 1- \(\epsilon\). N. A. Friedman [Can. J. Math., to appear] showed that, if T is mixing, then T uniformly sweeps out. It is not known if the converse is true. Higher order uniform sweeping out is introduced and it is shown that (2k-1)-mixing implies uniform k-sweeping out.