On the homogeneous ergodic bilinear averages with Möbius and Liouville weights (Q2305596)

The goal of this paper is to prove that homogeneous ergodic bilinear averages with Möbius or Liouville weight converge almost surely to zero. More precisely, if \(T\) is a map acting on a probability space \((X,\mathcal A,\nu)\) and \(a,b \in \mathbb Z\), then for any \(f,g \in L^2(X)\), for almost all \(x \in X\), \[ \frac1{N}\sum_{n=1}^{N}\nu(n) f(T^{an}x)g(T^{bn}x) \rightarrow 0. \] Here \(\nu\) is the Liouville function or the Möbius function. This result, in some sense, extends Sarnak's result which asserts that the ergodic averages with Möbius or Liouville weight converge almost surely to zero. The author proves that the convergence holds almost everywhere for the short interval with the help of \textit{T. Zhan}'s estimation [Chin. Ann. Math., Ser. B 12, No. 4, 421--431 (1991; Zbl 0749.11038)]. His proof yields also a simple proof of Bourgain's double recurrence theorem. Moreover, he proves that if \(T\) is weakly mixing and its restriction to its Pinsker algebra has a singular spectrum, then for any integer \(k \geq 1\), for any \(f_j \in L^{\infty}(X),\) \(j=1,\dots,k\), for almost all \(x \in X\), one has \[ \frac1{N}\sum_{n=1}^{N}\nu(n) \prod_{j=1}^{k}f_j(T^{nj}x) \rightarrow 0. \]