 Rudolph measure rigidity theorem

A probability measure on the circle invariant under $T_2$ and $T_3$ and ergodic for their jointly generated semigroup is Lebesgue measure if either transformation has positive Kolmogorov-Sinai entropy. Without joint ergodicity, a mixture of Lebesgue measure and an atomic invariant measure shows why positive entropy alone is insufficient.