Definition
Weak mixing
Ergodicity of the Cartesian square of a probability-preserving system.
A probability-preserving transformation is weakly mixing if its Cartesian square is ergodic on . A probability-preserving group action is weakly mixing if its diagonal action on the square is ergodic.
Correlation criterion for a transformation
Equivalently, for every ,
Persistent oscillation cannot disappear merely by cancellation in this average. The spectral characterization identifies the obstruction as nonconstant eigenfunctions in the invertible case.
Comparison
Strong mixing implies weak mixing, which implies ergodicity. An irrational circle rotation is ergodic but not weakly mixing.
References
- Jesse Peterson, Lecture notes on ergodic theory, 2011. §2.2.2.