During my conversations with my friend Artur Avila around the 2x, 3x mod 1 problem and its applications, Artur explained me a cute argument (using the Fourier transform of measures) to show a weak version of Rudolph’s theorem (which is a partial answer to this problem). Of course, I believe it is a good idea to share it here, but, in order to keep this post more self-contained, I’ll not proceed directly to the argument. In fact, I’ll divide the exposition into 3 sections: the first one is a general introduction to Furstenberg problem, Rudolph’s theorem and the weak version of Rudolph’s theorem, the second section contains the proof of this weak version of Rudolph result and the third section briefly discusses Einsiedler, Katok and Lindenstrauss’ application of a (highly non-trivial) analog of Rudolph’s theorem to the so-called Littlewood conjecture (about *simultaneous Diophantine approximations*).

**Disclaimer. **While Artur’s explanation was clear and correct, any possible mistakes and errors appearing below are my responsability (of course).

-**Furstenberg’s problem: measure rigidity of expanding rank-two semi-group actions**-

Consider the following (uniformly expanding) dynamical system on the circle :

,

where is an integer. Despite its simple definition, is rich from the dynamical point of view: possesses plenty of ergodic invariant measures, e.g., the Lebesgue measure and the Dirac measures supported on its periodic points (in fact, due to the expanding features of , one can use the so-called *thermodynamical formalism* [explained in Bowen's book] to construct a whole family of ergodic invariant measure “interpolating” the Lebesgue measure and the Dirac measures); since, by Birkhoff’s theorem, the ergodic invariant measures captures the statistical features of most orbits in its support, we see that the existence of several distinct ergodic measures for indicates the presence of several distinct statistical behaviours of the orbits of (which justifies the adjective “rich”). Of course, the dynamics of an *individual* uniformly expanding (and, more generally, hyperbolic) dynamical systems is well-understood nowadays (after the works of Anosov, Smale, Sinai, Ruelle and Bowen among *several* other authors) and we do not plan to discuss further this issue today. Instead, let us investigate the dynamics of the *joint* action of two expanding maps, say and . In other words, denoting by and , we are replacing the action

of the *rank-one* semi-group (i.e., the individual action of ) by the action

of the *rank-two* semi-group (i.e., the joint action of and ).

**Remark. **In general, a similar action by a rank-two semi-group can be obtained replacing by any pair of multiplicatively independent non-negative integers.

The basic *topological* result about the dynamics of is:

**Theorem **(H. Furstenberg)**. **The sole *infinite* closed -invariant subset of the circle is the circle itself.

This theorem should be constrasted with the rank-one situation: while has only one closed invariant set, it is not hard to see that has a lot of invariant Cantor sets. In fact, since is semi-conjugated to a full Bernoulli shift with symbols (via a codification of the orbits using the Markov partition ), any subshift gives you an invariant Cantor set. More concretely, you can take a finite collection of disjoint closed intervals whose union doesn’t coincide with the whole circle and define the set of points of the circle whose -orbit never enters . Of course, is -invariant and, from the expanding features of , it follows that is a Cantor set (*exercise*).

In resume, Furstenberg’s result says that is more *rigid* than (dynamically speaking), which is quite unexpected because is the combination of the dynamics of two *strongly chaotic endomorphisms*, namely, and . Taking this theorem as a motivation, Furstenberg posed the following problem of the *measure* (i.e., ergodic-theoretical) *rigidity* of :

**Furstenberg’s 2x,3x (mod 1) problem.** Is it true that the Lebesgue measure is the *sole* non-atomic ergodic -invariant measure? Equivalently, is it true that the Lebesgue measure is the unique non-atomic ergodic measure which is both and -invariant?

In other words, this problem asks whether the intersection of two *enormous* sets of measures (the set -invariant probabilities and the set of -invariant probabilities) is relatively *small* (namely, the Lebesgue measure and the Dirac measures supported on periodic orbits).

While Furstenberg’s problem is still open (to the best of my knowledge), some important partial results are available nowadays. In particular, let me quote the following theorem of D. Rudolph:

**Theorem **(D. Rudolph)**. **Let be a and invariant ergodic measure such that

.

Then, is the Lebesgue measure. Equivalently, if a invariant measure is not the Lebesgue measure, then the *semigroup*

is a *group* for almost every .

In this statement, denotes the metric (Kolmogorov-Sinai) entropy of the -invariant measure .

**Remark. **The motivation of the metric entropy condition in Rudolph’s theorem comes from the fact that the metric entropy of Dirac measures supported on periodic orbits is zero. Of course, Rudolph theorem is just a partial answer to Furstenberg question because non-atomic invariant measures *can* have zero entropy.

While we do not pretend to give a complete proof of Rudolph’s theorem (which is not very hard but involves some amount of abstract ergodic theory), we do plan to show in the next section the following fact:

**Theorem 1 **(weak version of Rudolph’s theorem)**. **Let be a and invariant measure. Assume that and is ergodic. Then, is the Lebesgue measure.

-**Weak Rudolph theorem: proof of theorem 1**-

Take a probability measure verifying the assumptions of theorem 1 and let be the translation of on the circle .

Note that and are *commuting* maps. In particular, since is invariant, it follows that is invariant. Moreover, the assumption of ergodicity of with respect to implies that and are -ergodic.

On the other hand, the positive entropy assumption implies that the restriction of to the support of is *not* invertible. Equivalently, we can always find some pairs of generic points with the same image under . However, such a pair of points is always permuted by the translation . In particular, we have that the probability measures and *aren’t* mutually singular.

Putting all these facts together, we have two invariant *ergodic* measures ( and ) such that and *aren’t* mutually singular. It follows that , i.e., is -invariant.

At this stage, one has enough information to conclude that is the Lebesgue measure. Indeed, we claim that all of the non-zero Fourier modes of vanish, that is,

(1) for any .

In fact, let us start with the odd Fourier modes (i.e., where ). Using the -invariance of , we obtain

.

Since , we get

.

In particular, it follows that whenever is *odd*. Finally, we can use the -invariance of (with a similar argument) to obtain

for every ,

that is, the even Fourier modes can be deduced from the odd ones (more precisely, writing a non-zero even number as where is odd, we have ). Consequently, our claim (1) about the vanishing of the Fourier modes of is proved. As we know (1) forces to be the Lebesgue measure, so that the proof of theorem 1 is complete.

-**Measure rigidity of higher-rank hyperbolic actions: Einsiedler-Katok-Lindenstrauss theorem**-

In this final section, we briefly outline a recent application of the measure rigidity of higher-rank hyperbolic actions to a partial solution of a number-theoretical problem.

A well-known fruitful interaction in Mathematics occurs between Dynamical Systems and Number Theory. Among the several applications of dynamical ideas to number-theoretical problems, one finds Margulis’ solution to Oppenheim conjecture (see e.g. this blog post of Terence Tao). Here, the basic idea is to convert the study of the values of indefinite quadratic forms in variables () into the study of the dynamics of an action of a higher-rank group in the space of unimodular lattices in . Another (more recent) application of these ideas was performed by M. Einsiedler, A. Katok and E. Lindenstrauss in the study of the so-called Littlewood conjecture:

**Littlewood conjecture. **For every , it holds

.

Here denotes the fractional part of .

Again, the basic idea is to convert this problem into the study of the dynamics of the action of the group of positive diagonal matrices in .

However, although the basic strategy of Margulis and Einsiedler-Katok-Lindenstrauss is the same, there is a subtle and important difference: while in Margulis’ context the acting group contains only unipotent (*parabolic*) elements, in Einsiedler-Katok-Lindenstrauss’s setting the acting group contains only *hyperbolic* elements.

In particular, at the present moment, we have the following picture: one can *completely* classify the invariant measures of the -action (by Ratner’s theorems), but one can say something interesting about the invariant measures of the -action only when they have* positive entropy*. In other terms, it is “morally” more easy to show *measure rigidity statements* (in the spirit of Furstenberg’s problem) for the -action than -action because the *individual* elements of the group are already *parabolic*, i.e., rigid. Here, the positive entropy condition for the measure rigidity statement (for the action) is certainly motivated by Rudolph’s result.

In any case, the moral philosophy here is the following: the number-theoretical problems quoted above (Oppenheim and Littlewood conjectures) can be reduced to the complete classification of the invariant measures of adequate higher-rank group actions. Since such a complete classification is possible for the -action, Margulis *completely* solved Oppenheim conjecture; but because our current technology only allows us to classify invariant measures of positive entropy, Einsiedler-Katok-Lindenstrauss *partially* (almost) solved Littlewood conjecture. More precisely, they proved the following result:

**Theorem **(Einsiedler, A. Katok and E. Lindenstrauss)**. **The set of (possible) exceptions to Littlewood conjecture has Hausdorff dimension 0. ** **

Closing this post, let me say that this last result deserves further explanation and I plan to discuss it a little bit more in a future post (probably after the series of posts around Trieste’s conference). By the way, the curious reader may consult (besides the original article) these expository notes of Akshay Venkatesh for a nice introduction. Ciao!

This is a very nice summary of the `easy case’ of

Rudolph’s argument. I think that this argument is probably close to that of Russel Lyons. Dan Rudolph based his argument upon the Fourier analytic argument of Russ.

By:

Michael Laceyon August 11, 2009at 2:02 am

Dear Michael Lacey,

you’re completely right: indeed the argument is very close to Lyons’ one! Thanks for the reference!

By the way, let me say that I like this argument of Lyons because it makes clear the utilization of two “hyperbolic” dynamics and a third “central” element , which is the starting point of Katok-Spatizer and Eisiendler-Katok-Lindenstrauss’ results (namely, the utilization of “hyperbolic” dynamics and “central” [unipotent] dynamics).

By:

matheuscmsson August 11, 2009at 12:53 pm

Find this this post when googling ‘Furstenberg conjecture’. A very short argument! Just the definition of ‘generic point’ is a little bit vague. Also could you explain a few more words how to derive and are not mutually singular?

By:

Pengfeion December 12, 2012at 8:04 pm

Hi Pengfei,

In fact, I was using the term ‘generic point’ in a vague way to mean ‘a point in some “adequate” set of full measure’. Of course, the precise meaning of ‘generic point’ depends on the context: if you are interested in topological properties, you can consider the points in the support of the measure as ‘generic points’, while if you are interested in ergodic averages of an ergodic measure, you can say that the points satisfying the conclusion of Birkhoff’s theorem are ‘generic points’.

In the context of this post, we mentioned ‘generic point’ in a vague manner as a way to keep an informal discussion. However, it is not difficult to convert what was said into a formal argument as follows.

As it was mentioned in the post, the assumption means that there exists a subset of positive -measure of the support of (our set of ‘generic points’) such that is not invertible at points in , or, equivalently, also has positive -measure. Since the support of (‘generic points’) has full -measure, we can (and do) also assume that is contained in the support of . It follows that is a set of positive and measures contained in the intersection of the supports of and .

In other words, the support of (a set of full -measure) intersects the support of (a set of full -measure) in a set whose both -measure and -measure are positive. Therefore, and can’t be mutually singular.

Best,

Matheus

By:

matheuscmsson December 13, 2012at 3:11 pm