MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I was reminded of this topic by some of the answers to this question, where it was noted that "typical" measure-preserving transformations are weak-mixing but not strong-mixing for several senses of "typical". As a result, it occurred to me that I do not know of any very natural, explicit examples of transformations which are weakly but not strongly mixing. So,

What are some good examples of measure-preserving transformations which are weak-mixing but not strong-mixing?

To clarify "good": I'm particularly interested in examples where it can be proved in a concise and self-contained manner that weak mixing occurs and strong mixing does not, in examples which arise constructively, and in examples which arise directly from a continuous transformation of a compact metric space (as opposed to abstract measure-theoretic constructions).

Thanks in advance!

share|cite|improve this question
up vote 6 down vote accepted

The Chacon transformation has a nice and fairly explicit description as a uniquely ergodic subshift: set $B_0=0$ and set $B_{k+1}=B_kB_k1B_k$.

The subshift is the set of all infinite words, all of whose finite subwords occur as a someword of some $B_k$.

From this it is easy to see why the lengths $n=|B_k|$ fail to be good times for strong mixing. As mentioned previously Parry shows the weak mixingness.

share|cite|improve this answer

I think a good example (which may not qualify as consise, but does as self contained) is given in the famous paper of Anosov and Katok. There they construct smooth diffeomorphisms of the disc being weak mixing (and many other ergodic properties) as limits of diffeomorphisms conjugated to rational rotations (which in the limit have "Liouville" rotation number in the anulus). Since they are limit of conjugations to rotations, one can prove that there is a sequence $f^{q_n} \to Id$ and thus it cannot be strongly mixing (a more modern aproach can be found in this paper and this one).

Fayad has also studied this problem for reparametrizations of linear flows of tori.

Other example, quite more involved (not at all consise nor self contained) is Interval Exchange transformations, it is proved by Katok that they are not Strongly Mixing, and recently, Avila and Forni have proved that they are weak mixing.

share|cite|improve this answer

Oddly, I was just looking for such a transformation last week, and ran across various "cutting-and-stacking" constructions, of which this paper by Chacon is a short, self-contained example. (This probably meets your first two conditions, but isn't a continuous transformation.)

share|cite|improve this answer

I think that the examples in "K. Frączek, M. Lemańczyk, On mild mixing of special flows over irrational rotations under piecewise smooth functions" satisfy your requirements although they are flows and not transformations.

The book of Steve Alpern and Raj Prasad has a proof that whatever is typical in the space of measure preserving transformations (of a compact metric space) is also typical in the space of homeomorphisms of that space.

Kelly Yancey's has several papers about constructions of rigid (hence not mixing) and weakly mixing transformations on the two torus and the Klein bottle.

share|cite|improve this answer

This kind of transformations occur in (papers on) Statistical Mechanics (general Ising models).

share|cite|improve this answer

Just consider a special flow above a circle rotation of irrational angle and under a ceiling function {x}+1

share|cite|improve this answer
Can you please add some details to your answer? I find it hard to understand what you mean. Thank you. – Ricardo Andrade Sep 23 '14 at 13:47

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.