A good universal weight for nonconventional ergodic averages in norm
We will show that the sequence appearing in the double recurrence theorem is a good universal weight for the Furstenberg averages. That is, given a system (X,F,μ,T) and bounded functions f1,f2∈L∞(μ), there exists a set of full-measure Xf1,f2 in X that is independent of integers a and b and a positive integer k such that for all x∈Xf1,f2 and for every other measure-preserving system (Y,G,ν,S), and each bounded and measurable function g1,…,gk∈L∞(ν), the averages N1∑n=1Nf1(Tanx)f2(Tbnx)g1∘Sng2∘S2n⋯gk∘Skn converge in L2(ν).