Koopman eigenfunction obstruction to weak mixing (source code)

= Koopman eigenfunction obstruction to weak mixing
{c}

A weakly mixing system has no nonconstant <Koopman operator> eigenfunction. If $U_Tf=\lambda f$, then $f(x)\overline{f(y)}$ is invariant under $T\times T$, contradicting the <product characterization of weak mixing> unless $f$ is constant.