Strong mixing

A probability measure-preserving transformation is strongly mixing when $\mu (T^{-n}A\cap B)\to \mu (A)\mu (B)$ for every pair of measurable sets $A,B$. Unlike weak mixing, this is an ordinary limit along all sufficiently large times.

A probability measure-preserving transformation is strong mixing exactly when $\mu (T^{-n}A\cap A)\to \mu (A{)}^2$ for every measurable $A$. The converse follows by applying decay of autocorrelation implies weak convergence of an observable to $f=1_A$ and then testing against $1_B$. Diagonal polarization alone controls a sum of the two directed cross-correlations and does not suffice as a proof.