Posted by: matheuscmss | November 12, 2009

Teichmüller curves with complementary series

Two weeks ago (October 29), Jean-Christophe Yoccoz, Artur Avila and I talked about the {SL(2,\mathbb{R})} action on the moduli space of Abelian differentials and the spectral gap of the related {SL(2,\mathbb{R})} unitary representations. The outcome of our conversation was the following result:

Theorem 1 There are Teichmüller curves (associated to square-tiled surfaces) with complementary series.

Since the short proof of this simple result depends on some facts from the theory of unitary {SL(2,\mathbb{R})} representations (e.g., Ratner’s results about rates of mixing), we’ll divide this post into 5 sections:

  • the first 4 sections covers some well-known useful facts about unitary {SL(2,\mathbb{R})} representation such as Bargmann’s classification, examples of (regular) unitary {SL(2,\mathbb{R})} representations coming from dynamical systems and Ratner’s estimates of rates of mixing; the basic reference for the facts stated in these sections is Ratner’s paper “The rate of mixing for geodesic and horocyclic flows” (besides the references therein).
  • the last section contains the proof of theorem 1.

For the specialists, we can advance a few keywords of the proof of theorem 1: by a recent theorem of J. Ellenberg and D. McReynolds, given any finite index subgroup {\Gamma} of the congruence subgroup {\Gamma(2)}, we can find a square-tiled surface whose Teichmüller curve is {\Gamma\backslash\mathbb{H}}; in particular, it suffices to find a subgroup {\Gamma} such that the regular representation of {SL(2,\mathbb{R})} on {L^2(\Gamma\backslash\mathbb{H})} has complementary series; however, the existence of such subgroups can be easily derived from certain cyclic covering constructions plus a “reverse Ratner estimate” argument.

Remark 1 After we performed this cyclic covering construction, Pascal Hubert and Nicolas Bergeron informed us that this procedure was already known by A. Selberg. In fact, Selberg’s argument (see the subsection \textrm{“Petites valeurs propres I. Critere geometrique d’existence”} of this book project of N. Bergeron) and our argument are completely equivalent: Selberg uses that sufficiently small eigenvalues ({<1/4}) of the Laplacian on {L^2(\Gamma\backslash\mathbb{H})} lead to complementary series and we use that slow decay of correlations of the geodesic flow of {\Gamma\backslash\mathbb{H}} lead to complementary series, which are two equivalent ways to state the same fact in view of Ratner’s paper.

Read More…

Posted by: yglima | November 1, 2009

ERT3: Other Polynomial Ergodic Averages

Continuing ERT2, we’ll discuss other results related to the convergence of polynomial ergodic averages. Given a probability space {(X,\mathcal B,\mu)}, there are two notions of convergence of functions defined on {(X,\mathcal B,\mu)}. The first one is norm convergence. Given {1\le p\le\infty}, let {L^p} denote the space of functions {f:X\rightarrow\mathbb C} such that

\displaystyle \left\|f\right\|_p\doteq\left(\int_X|f|^p\right)^{1/p}<+\infty\,.

We say that the sequence {(f_n)_{n\in\mathbb N}\subset L^p} converges in the {L^p}-norm if there exists {f\in L^p} such that

\displaystyle \lim_{n\rightarrow+\infty}\left\|f-f_n\right\|_p=0.

The other is pointwise convergence: a sequence {(f_n)_{n\in\mathbb N}\subset L^p} converges pointwise if there are {f\in L^p} and a set {A\in\mathcal B} such that {\mu(A)=1} and

\displaystyle \lim_{n\rightarrow+\infty}f_n(x)=f(x),\ \forall\,x\in A.

These notions relate to each other in the following way.

Theorem 1 If {1\le p\le\infty} and {(f_n)_{n\in\mathbb N}\subset L^p} converges in the {L^p}-norm to {f\in L^p}, then there is a subsequence {(f_{n_k})_{k\in\mathbb N}} which converges pointwise to {f}.

Proof: Look at Rudin’s book Real and Complex Analysis. \Box

Theorem 1 might infer that norm convergence is stronger than pointwise convergence. This is not the case. In fact, we are interested in proving convergence along the whole sequence, so that norm convergence does not guarantee pointwise convergence. These are two distinct notions and neither of them is stronger than the other: they are just different!

Exercise 1 Consider the sequence of functions {f_n:[0,1]\rightarrow[0,1]} , {n\in\mathbb N}, defined in the following way: given {n=2^k+a} , {0\le a<2^k} ,\displaystyle \begin{array}{rclcl} f_n(x)&=&0 &,&x\not\in\left[\dfrac{a}{2^k}\,,\,\dfrac{a+1}{2^k}\right],\\ &&&&\\ &=&2^{k+1}\cdot x-2a&,&x\in\left[\dfrac{a}{2^k}\,,\,\dfrac{a+1/2}{2^k}\right],\\ &&&&\\ &=&-2^{k+1}\cdot x+2a+2&,&x\in\left[\dfrac{a+1/2}{2^k}\,,\,\dfrac{a+1}{2^k}\right]. \end{array}

Prove that, for any {p\ge 1}, {(f_n)_{n\in\mathbb N}} converges in the {L^p} norm to the zero function but does not converge pointwise.

Given a mps {(X,\mathcal B,\mu,T)} and {f\in L^p}, {p\ge 1}, consider the sequence of functions

\displaystyle f_N=\dfrac{1}{N}\sum_{n=1}^{N}T^nf,\ \ N\ge 1.

Von Neumann’s Theorem proves {L^2}-norm convergence. A more general and deeper result is Birkhoff’s Ergodic Theorem, which is one of the main pilars in Ergodic Theory.

Theorem 2 (Birkhoff, 1931) Given any {f\in L^1}, the sequence {(f_N)_{N\ge 1}} converges pointwise to a {T}-invariant function {\tilde f\in L^1}.

Furstenberg’s Theorem on {L^2}-norm convergence of polynomial ergodic averages (see ERT2) induces a natural question: does norm/pointwise convergence holds for polynomial ergodic averages of {L^1}-functions? This was solved partially (and in a very satisfactory way) by the Fields medalist Jean Bourgain.

Theorem 3 (Bourgain, 1988) Let {(X,\mathcal B,\mu,T)} be a mps and {p(x)\in\mathbb Z[x]} a polynomial such that {p(n)\ge 0}, for every {n\ge 0}, and {p(0)=0}. Then, for every {f\in L^p}, {p>1}, the limit

\displaystyle \lim_{N\rightarrow+\infty}\dfrac{1}{N}\sum_{n=1}^{N}T^{p(n)}f

converges pointwise to a function {\tilde f\in L^p}.

The case {p=1} remained open until 2005, when Daniel Mauldin and Zoltan Buczolich published the paper Divergent Square Averages in which they construct a mps {(X,\mathcal B,\mu,T)} and a function {f\in L^1} for which the quadratic ergodic averages {N^{-1}\cdot\sum_{n=1}^{N}T^{n^2}f} do not converge pointwise.

After Bourgain’s paper, other beautiful results were published using his sharp estimate methods. One of them proves pointwise convergence along the prime numbers.

Theorem 4 (Wierdl, 1988) Let {(X,\mathcal B,\mu,T)} be a mps and \{p_1<p_2<\cdots\} represent the set of prime numbers. For every f\in L^p, p>1, the limit

\displaystyle \lim_{N\rightarrow+\infty}\dfrac{1}{N}\sum_{n=1}^{N}T^{p_n}f

converges pointwise to a function {\tilde f\in L^p}.

At first sight, this theorem is very restrictive: the prime numbers form a very special sequence. The fact is that, in constrast to polynomials, prime numbers have a randomic distribution, so that methods used to prove prime number’s ergodic theorems may be applied to other non-structured situations. In addition, they help to better understand the dichotomy between structure and ramdomness (see ERT2). The work of Ben Green and Terence Tao about the existence of arbitrarily long arithmetic progressions in the prime numbers is an important example of this situation (Terence Tao received his Fields medal in part because of this result).

We end this note with a recent result of Elon Lindenstrauss about the convergence of ergodic averages on amenable groups, which generalizes Birkhoff’s Ergodic Theorem.

Theorem 5 (Lindenstrauss, 2001) Let {G} be a locally compact amenable group acting on a probability space {(X,\mathcal B,\mu)} and {(F_n)_{n\in\mathbb N}} a tempered F{\phi}lner sequence. For any {f\in L^1}, there is a {G}-invariant {\tilde f\in L^1} such that

\displaystyle \lim_{n\rightarrow+\infty}\dfrac{1}{|F_n|}\int_{F_n}f(gx)dm_L(g)=\tilde f(x)

for {\mu}-almost every {x\in X}, where {m_L} denotes the (unique) left Haar probability on {G}.

Remark 1 The interested reader not used to the above notions is encouraged to see this note of Alexander Gorodnik and Vitaly Bergelson.

Previous posts: ERT0, ERT1, ERT2.

Posted by: yglima | October 24, 2009

ERT2: Polynomial Von Neumann’s Theorem

As proved in ERT1, the existence of ergodic averages {(M-N)^{-1}\cdot\sum_{n=N+1}^{M}T^nf} implies recurrence results for measure-preserving system (from now on, denoted by mps). A natural question is to ask about some kind of generalized ergodic averages and its implications in recurrence. By generalized ergodic averages we mean expressions like

\displaystyle\dfrac{1}{M-N}\sum_{n=N+1}^{M}T^{a_n}f\,,

where {(a_n)_{n\in\mathbb N}} is a sequence of positive integers. Von Neumann’s Theorem shows that convergence holds if {a_n=an+b}, where {a,b} are positive integers: just apply the result to the transformation {T^a} and the function {T^bf}. In this post, we prove that the same result holds if {a_n=p(n)}, where {p(x)\in\mathbb Z[x]} is a polynomial such that {p(n)\ge 0}, for every {n\ge 0}. We can assume, without lost of generality, that {p(0)=0}. In fact, {T^{p(n)}f=T^{p(n)-p(0)}(T^{p(0)}f)} and {\tilde p(x)=p(x)-p(0)} satisfies the required condition.

Theorem 1 (H. Furstenberg) If {(X,\mathcal B,\mu,T)} is a mps and {p(x)\in\mathbb Z[x]} is a polynomial such that {p(n)\ge 0}, for every {n\ge 0}, and {p(0)=0}, then the limit

\displaystyle \lim_{N\rightarrow+\infty}\dfrac{1}{N}\sum_{n=1}^{N}T^{p(n)}f

converges in {L^2} for every {f\in L^2}.

Again, this theorem is Hilbertian in nature and follows from a more general version for unitary operators.

Theorem 2 If {T:\mathcal H\rightarrow\mathcal H} is a unitary operator on a Hilbert space {\mathcal H} and {p(x)\in\mathbb Z[x]} is a polynomial such that {p(n)\ge 0}, for every {n\ge 0}, and {p(0)=0}, then the sequence of operators

\displaystyle T_N=\dfrac{1}{N}\sum_{n=1}^NT^{p(n)},\ N\ge 1,

converges pointwise in norm.

Proof: The idea is the same as in Von Neumann’s Theorem: we look for an orthogonal decomposition {\mathcal H=\mathcal M\oplus\mathcal M^{\perp}} such that the behaviour of {T_N} is understood in each component. {\mathcal M} will represent the structured component of {T} and {\mathcal M^{\perp}} the randomic one in the following sense:

  • the long-time behaviour of elements {x\in\mathcal M} is (almost-)periodic.
  • the long-time behaviour of elements of {\mathcal M^{\perp}} self-amortizes and converges to zero.

Unfortunately, the decomposition of Von Neumann’s Theorem does not work here. In fact, let {x\in\mathcal H} be periodic with respect to {T}, say {T^ax=x}, {a\in\mathbb N}. If we write {N=aq+r}, 0\le r<a,

\displaystyle \begin{array}{rcl} T_Nx&=&\dfrac{1}{N}\displaystyle\sum_{n=1}^{N}T^nx\\ &=&\dfrac{1}{aq+r}\displaystyle\sum_{n=1}^{aq+r}T^{n\,({\rm mod}\,a)}x\\ &=&\dfrac{1}{aq+r}\left(q\cdot\displaystyle\sum_{n=0}^{a-1}T^nx+\displaystyle\sum_{n=1}^{r}T^nx\right)\\  &=&\dfrac{1}{a+rq^{-1}}\displaystyle\sum_{n=0}^{a-1}T^nx+\dfrac{1}{N}\displaystyle\sum_{n=1}^{r}T^nx  \end{array}

converges to {(x+Tx+\cdots+T^{a-1}x)/a}, because

\displaystyle \lim_{N\rightarrow+\infty}rq^{-1}=\lim_{N\rightarrow+\infty}\dfrac{1}{N}\sum_{n=1}^{r}T^nx=0.

This means that every periodic point of {T} has a structured behaviour with respect to {T_N}. For this reason, let

\displaystyle \mathcal M=\overline{\{x\in\mathcal H\,;\,\exists\,a\in\mathbb N\text{ such that }T^ax=x\}}.

Exercise 1 Prove that the set of {x\in \mathcal H} for which the sequence {(T_Nx)_{N\ge 1}} converges is a closed subspace of {\mathcal H}.

By Exercise 1, the sequence {(T_Nx)_{N\ge 1}} converges whenever {x\in\mathcal M}. By linearity, it remains to prove convergence for {x\in\mathcal M^{\perp}}. Such subspace is characterized by

\mathcal M^{\perp}=\left\{x\in\mathcal H\,;\,\displaystyle\dfrac{1}{N}\sum_{n=1}^{N}T^{an}x\rightarrow 0\,,\ \forall\,a\in\mathbb N\right\}.\ \ \ \ \ \ \ (1)

This follows from Von Neumann’s Theorem: if {\mathcal H=\mathcal M_a\oplus{\mathcal M_a}^{\perp}} is the decomposition with respect to {T^a}, {a\in\mathbb N}, then {\mathcal M} is equal to \overline{\oplus_{a\in\mathbb N}\mathcal M_a} and its orthogonal complement is given by

\displaystyle \mathcal M^{\perp}=\bigcap_{a\in\mathbb N}{\mathcal M_a}^{\perp}\,,

which proves (1). This means that {N^{-1}\cdot\sum_{n=1}^{N}T^{p(n)}x\ \rightarrow\ 0} for every {x\in\mathcal M^{\perp}} and for every degree-one polynomial {p(x)=ax}, {a\in\mathbb N}. The proof will be complete if we show that the same happens for larger-degree polynomials. By induction, suppose that

\displaystyle \dfrac{1}{N}\sum_{n=1}^{N}T^{p(n)}x\ \rightarrow\ 0\,,\ \forall\,x\in\mathcal M^{\perp},\ \ \ \ \ \ (2)

for every polynomial {p(x)\in\mathbb Z[x]} such that {p(0)=0}, {p(\mathbb N)\subset\mathbb N} and {{\rm deg}(p)\le n_0}. Consider {q(x)\in\mathbb Z[x]} such that {q(0)=0}, {q(\mathbb N)\subset\mathbb N} and {{\rm deg}(q)=n_0+1}. We wish to reduce the convergence {N^{-1}\cdot\sum_{n=1}^{N}T^{q(n)}x\rightarrow 0} to one of the form {N^{-1}\cdot\sum_{n=1}^{N}T^{p(n)}x\rightarrow 0}, with {{\rm deg}(p)\le n_0} (which we know to be true, by the induction hypothesis). This is done with the use of Van der Corput’s Trick (see this lecture of Terry Tao for a broader discussion on this trick).

Theorem 3 (Van der Corput Trick) If {(x_n)_{n\in\mathbb N}\subset\mathcal H} is a bounded sequence such that

for every {h\in\mathbb N}, then {\left\|\dfrac{1}{N}\sum_{n=1}^{N}x_n\right\|\rightarrow 0.}

Exercise 2 Prove the above theorem. (Hint: this is Theorem 2.2 of this survey of Vitaly Bergelson.)

We’re done if the sequence {x_n=T^{q(n)}x}, {n\in\mathbb N}, satisfies the conditions of Theorem 3. In fact, as {T} is unitary,

\displaystyle \left\langle x_{n+h},x_n \right\rangle=\left\langle T^{q(n+h)}x,T^{q(n)}x\right\rangle=  \left\langle T^{q(n+h)-q(n)}x,x\right\rangle=\left\langle T^{p_h(n)}x,x\right\rangle,

where {p_h(x)=q(x+h)-q(x)} is a polynomial of smaller degree, and so (2) is satisfied. This concludes the proof of Theorem 2. \Box

The method used above is one of the main principles Ergodic Ramsey Theory: the dichotomy between structure and randomness, decomposing the object of study into these two components. Usually, we first define the structured one, in terms of the desired ergodic averages, so that convergence follows almost directly from the definition. Its orthogonal complement is the randomic component and convergence along it is proved using Van der Corput like theorems. For a further discussion on this dichotomy, the reader is referred to this paper of Terence Tao. Observe that the same method applies to prove the following

Theorem 4 If {T:\mathcal H\rightarrow\mathcal H} is a unitary operator on a Hilbert space {\mathcal H} and {p(x)\in\mathbb Z[x]} is a polynomial such that {p(n)\ge 0}, for every {n\ge 0}, and {p(0)=0}, then the sequence of operators

\displaystyle \dfrac{1}{M-N}\cdot\sum_{n=1}^NT^{p(n)},\ M-N\rightarrow+\infty,

converges pointwise in norm.

Now it’s time to obtain the recurrence consequences (which, as expected, will be stronger than those in ERT1). Let {P:\mathcal H\rightarrow\mathcal M} be the orthogonal projection. We’ll proceed exactly as in Proposition 6 of ERT1, except that the notation will be heavier.

Proposition 5 Let {f\in L^2\backslash\{0\}} be such that {{f\ge 0}}. Then {Pf\ge 0} and {\left\|Pf\right\|>0}.

Proof: Consider the subspaces {\mathcal M^{(n)}=\cap_{a=1}^{n}\mathcal M_a} , {n\in\mathbb N}. By approximation, if each projection {f_n} of {f} into {\mathcal M^{(n)}} satisfies {f_n\ge 0} and {\left\|f_n\right\|>0}, the same happens to {Pf}. Fix {n} and consider the function {g_n=\max\{f_n,0\}}. Then {g_n\in\mathcal M^{(n)}} (Exercise 3) and {{\left\|f-g_n\right\|\le\left\|f-f_n\right\|}}. Because {f_n} minimizes the distance of {f} to {\mathcal M^{(n)}}, we have {f_n=g_n\ge0}. In addition, if we had {\left\|f_n\right\|=0}, then

\displaystyle f\in{\mathcal M^{(n)}}^\perp=\bigcup_{a=1}^{n}{\mathcal M_a}^{\perp}\,,

implying that {N^{-1}\cdot\sum_{n=1}^{N}T^{an}f\rightarrow0} for some {a\in\{1,2,\ldots,n\}}. Integrating, we conclude

\displaystyle \int_X fd\mu=\int_X\left(\dfrac{1}{N}\sum_{n=1}^{N}T^{an}f\right)\rightarrow0\ \Longrightarrow\ \int_X fd\mu=0\ \Longrightarrow\ f=0,

a contradiction. \Box

Theorem 6 If {(X,\mathcal B,\mu,T)} is a mps, {p(x)\in\mathbb Z[x]} is a polynomial such that {p(n)\ge 0}, for every {n\ge 0}, {p(0)=0}, and {A\in\mathcal B} such that {\mu(A)>0}, then the set

\displaystyle \left\{n\in\mathbb N\,;\,\mu\left(A\cap T^{-p(n)}A\right)>0\right\}

is syndetic.

Proof: If {f=\chi_A}, then from (2) the expression {\left\langle f,(M-N)^{-1}\cdot\sum_{n=N+1}^{M}T^{p(n)}f\right\rangle} converges to {\left\langle f,Pf\right\rangle=\left\|Pf\right\|^2>0} as {M-N\rightarrow+\infty}. Since

\displaystyle \left\langle f,T^{p(n)}f \right\rangle=\left\langle \chi_A,\chi_{T^{-p(n)}A} \right\rangle=\mu(A\cap T^{-p(n)}A)\,,

Theorem {4} guarantees the conclusion. \Box

Previous posts: ERT0, ERT1.


Posted by: matheuscmss | October 24, 2009

Le prix Fermat 2009

By taking a look at the French blog Images des mathématiques, I learned that Elon Lindenstrauss and Cédric Villani were awarded the 2009 edition of the Fermat prize. Below you can see a description of the prize (taken from Fermat prize page):

[Update (Oct. 28): Brief descriptions (in French) of the works of E. Lindenstrauss and C. Villani (also taken from Fermat prize page) were included]

The FERMAT PRIZE rewards research works in fields where the contributions of
Pierre de FERMAT have been decisive :

* Statements of Variational Principles
* Foundations of Probability and Analytical Geometry
* Number theory.

The spirit of the prize is focused on rewarding the results of researches accessible to the greatest number of professional mathematicians within these fields.

The amount of the Fermat prize has been fixed at 20 000 Euros. The FERMAT prize is
awarded once every two years in Toulouse ; the eleventh award will be announced in
October 2009.

Winners of the preceding editions: A. Bahri, K.A. Ribet (1989) – J.-L. Colliot-Thélène
(1991) – J.-M. Coron (1993) – A.J. Wiles (1995) – M. Talagrand (1997) – F. Bethuel,
F. Hélein (1999) – R. L. Taylor, W. Werner (2001) – L. Ambrosio (2003) – P. Colmez,
J.F. Le Gall (2005) – C. Khare (2007).

————————————————————————————————————-

Le prix Fermat 2009 de Recherche en Mathématiques a

été attribué à :

Elon LINDENSTRAUSS (Princeton University)

pour ses travaux en théorie ergodique et leurs applications en théorie des nombres,

et à

Cédric VILLANI (ENS de Lyon)

pour ses contributions à la théorie du transport optimal et à l’étude des équations d’évolution non linéaires.

Posted by: matheuscmss | October 22, 2009

Enrique Pujals wins TWAS 2009 prize

Hello! Yesterday I visited IMPA’s webpage and I discovered that my friend Enrique Pujals won the TWAS 2009 prize in Mathematics. Congratulations to him!

Below you find brief descriptions of TWAS objectives and Enrique’s works (both taken from TWAS webpage):

TWAS is an autonomous international organization, based in Trieste, Italy, that promotes scientific excellence for sustainable development in the South.

Enrique Pujals, a native Argentinean who serves as professor at the Institute of Pure and Applied Mathematics (IMPA) in Rio de Janeiro, Brazil, has been named the winner of the 2009 TWAS Prize in mathematics for his contribution to develop a theory about robust dynamics and about the role of homoclinic bifurcation as a universal mechanism to describe the way to produce very rich and complex dynamics.

Let’s define the settings: we will always consider a measure-preserving system {(X,\mathcal B,\mu,T)}, meaning that {(X,\mathcal B,\mu)} is a probability space and {T} is a measurable transformation that preserves {\mu}:

\displaystyle T_*\mu=\mu\ \iff\ \mu(T^{-1}A)=\mu(A)\,,\ \forall\,A\in\mathcal B.

If {\mu(A)>0}, then there exists {n>0} such that {\mu(A\cap T^{-n}A)>0}. This is easy to see because the family {A_n=T^{-n}A}, {n\ge 0}, satisfies a stationary condition

\displaystyle\mu(T^{-n}A\cap T^{-m}A)=\mu\left(A\cap T^{-(m-n)}A\right),\ \forall\,m\geq n\ge 0.

So, if {m=\lfloor 1/\mu(A)\rfloor+1}, two of the sets {A_0,\ldots,A_m} have positive-measure intersection. In fact, if this is not the case, then

\displaystyle  \begin{array}{rcl}   1&\ge& \mu\left(\bigcup_{n=0}^{m}A_n\right)\\  &=&\sum_{n=0}^{m}\mu(A_n)\\  &=&(m+1)\cdot\mu(A)\\  &>&1,  \end{array}

a contradiction. We then get the original Poincaré’s Recurrence Theorem:

Theorem 1 (PRT) If {\mu(A)>0}, then there exists {n\in\mathbb N} such that {\mu(A\cap T^{-n}A)>0}.

Remark 1 The modern statements of PRT are: if {\mu(A)>0}, then a.e. point {x\in A} returns to {A}. This means that {\mu(A\cap(\cup_{n\ge 1}T^{-n}A))=0}, which obviously implies the above theorem.

This proves more: call a set {S\subseteq\mathbb N} syndetic if it has bounded gaps, i.e., if there exists {n_0>0} such that {S\cap\{n,n+1,\ldots,n+n_0\}\not=\emptyset,\ \forall\,n\in\mathbb N}.

Exercise 1 Prove that if {\mu(A)>0}, then the set {\{n\in\mathbb N\,;\,\mu(A\cap T^{-n}A)>0\}} is syndetic.

For further discussions about PRT, the reader may consult this paper of Vitaly Bergelson. Altought its simplicity, this is a remarkable result. It implies, for example, that almost every {\alpha\in{\mathbb R}} has infinitely many {7}’s in its decimal representation, and the same happens for any finite sequence of digits.

As {T} preserves {\mu}, it defines a unitary operator {U_T} on the Hilbert space {L^2(X,\mathcal B,\mu)} by {U_Tf=f\circ T}, for simplicity denoted from now on as {T:L^2\rightarrow L^2}. With this notation, if {f=\chi_A}, then

\displaystyle \mu\left(A\cap T^{-n}A\right)=\int_X \chi_A\cdot\chi_{T^{-n}A}d\mu=\int_X f\cdot T^nfd\mu=\left\langle f,T^nf\right\rangle,

where {\left\langle f,g\right\rangle=\int_X fgd\mu} is the inner product in {L^2}, so

\displaystyle  \begin{array}{rcl}   \displaystyle\sum_{n=1}^N\mu\left(A\cap T^{-n}A\right)&=&\displaystyle\sum_{n=1}^N\left\langle f,T^nf\right\rangle\\  																					 &=&\left\langle f,\displaystyle\sum_{n=1}^NT^nf\right\rangle,\\  \end{array}

such that the sequence {f_N=N^{-1}\cdot\sum_{n=1}^NT^nf}, {N\ge 1}, may give more general results than PRT. This is what happens.

Theorem 2 (Von Neumann) If {f\in L^2}, then the sequence {f_N=N^{-1}\cdot\sum_{n=1}^NT^nf}, {N\ge 1}, converges in {L^2}.

This theorem, also known as Mean Ergodic Theorem, is in fact a spectral theoretical result and a more general version holds, given by

Theorem 3 If {T:\mathcal H\rightarrow\mathcal H} is a unitary operator on a Hilbert space {\mathcal H}, then the sequence of operators {T_N=N^{-1}\cdot\sum_{n=1}^NT^n}, {N\ge 1}, converges pointwise in norm to the orthogonal projection {P:\mathcal H\rightarrow\mathcal M} onto the subspace of {T}-fixed elements {\mathcal M=\{x\in\mathcal H\,;\,Tx=x\}}.

Proof: When T is unitary, {{\rm Ker}(T-I)={\rm Ker}(T^*-I)}. From the general orthogonal decomposition

\displaystyle \mathcal H={\rm Ker}(T^*-I)\oplus \overline{{\rm Im}(T-I)},

we obtain

\displaystyle \mathcal H={\rm Ker}(T-I)\oplus \overline{{\rm Im}(T-I)}.

For {x\in{\rm Ker}(T-I)}, the convergence is obvious. If {x=Ty-y}, then

\displaystyle \left\|\dfrac{1}{N}\sum_{n=1}^NT^nx\right\|=\left\|\dfrac{T^{N+1}y-y}{N}\right\|\le\dfrac{2\left\|y\right\|}{N}\longrightarrow 0\ \text{ as }N\rightarrow+\infty.

By approximation and applying the triangle inequality, the same happens in {\overline{{\rm Im}(T-I)}}, which concludes the proof.\Box

Remark 2 Being, as we said, Hilbertian in nature, Theorem 2 also holds when {\mu(X)=+\infty}.

Exercise 2 Under the same conditions of Theorem 3, prove that the same conclusion happens for a sequence {(M-N)^{-1}\cdot\sum_{n=N+1}^{M}T^n} such that M-N\rightarrow+\infty.

Let’s show how to use these convergences to obtain recurrence results.

Proposition 4 Let {f\in L^2\backslash\{0\}} be such that {{f\ge 0}}. Then {Pf\ge 0} and {\left\|Pf\right\|>0}.

Note that {f=\chi_A} satisfies the above conditions.

Proof: Consider the function {g=\max\{Pf,0\}}. Then {g\in\mathcal M} and {{\left\|f-g\right\|\le\left\|f-Pf\right\|}}. Because {Pf} minimizes the distance of {f} to {\mathcal M}, we have {Pf=g\ge0}. In addition, if we had {\left\|Pf\right\|=0}, then {f\in\mathcal M^\perp}, such that {N^{-1}\sum_{n=1}^{N}T^nf\rightarrow0}. Integrating, we conclude

\displaystyle \int_X fd\mu=\int_X\left(\dfrac{1}{N}\sum_{n=1}^{N}T^nf\right)\rightarrow0\ \Longrightarrow\ \int_X fd\mu=0\ \Longrightarrow\ f=0,

a contradiction. \Box

Exercise 3 Using the above proposition, prove that if {\mu(A)>0}, then the set {\{n\in\mathbb N\,;\,\mu(A\cap T^{-n}A)>0\}} is syndetic. (Hint: if {f=\chi_A}, then {\left\langle f,(M-N)^{-1}\cdot\sum_{n=N+1}^{M}T^{n}\right\rangle} converges to {\left\langle f,Pf\right\rangle=\left\|Pf\right\|^2} as {M-N\rightarrow+\infty}.)

So, expressions of the type {(M-N)^{-1}\cdot\sum_{n=N+1}^{M}T^nf}, from now on called ergodic averages, are important when dealing with recurrence. This will be our main interest in the next posts. For another perspective on Von Neumann’s Theorem and related results, the reader is referred to this Terence Tao’s lecture.

Previous posts: ERT0.

Posted by: matheuscmss | October 7, 2009

The concept of mass in General Relativity and its applications

Hi! Today I’m posting an expanded version of an informal talk (directed to PhD students at IMPA) I gave in January 21, 2005 about the so-called ADM mass in General Relativity and its applications. The spirit of the talk was strongly inspired by the famous article “The unreasonable effectiveness of Mathematics in the Natural Sciences” of the Nobel laureate Eugene Wigner. In fact, my goal was to present a beautiful chapter of the interaction between Differential Geometry (Mathematics) and General Relativity (Physics).

-Introduction-

The “unreasonably effective” relationship between Mathematics and Physics is widely known: for instance, it was the lack of an adequate language to understand the so-called Classical Mechanics (Physics) lead Isaac Newton and Gottfried Leibniz (independently) to the foundations of Differential and Integral Calculus.

The bulk of the current discussion is the non-technical presentation of the beautiful interaction between Mathematics and Physics appearing in the definition of the ADM mass in General Relativity and its application (by Richard Schoen) to the solution of the Yamabe problem in Differential Geometry. More precisely, our general plan is the following:

  • in the next section, we’ll see how Mathematics helped Physics with the rigorous description of a global definition of mass in General Relativity; in order to do so, we’ll briefly review some of the history of Newtonian Mechanics, Maxwell’s theory of Electromagnetism and Einstein’s (Special and General) theory of Relativity; after that, we’ll introduce Schwarzschild solution to Einstein’s equation (modelling a black hole) and the concept of ADM mass (named after the three physicists Arnowitt, Deser and Misner); finally, we’ll illustrate the effectiveness of Mathematical tools in Physics with some comments about R. Schoen and S.T. Yau proof of the positivity of the ADM mass (via some arguments from the geometry of minimal surfaces);
  • in the last section, we’ll illustrate the effectiveness of Physical tools in Mathematics with a rough sketch of R. Schoen solution to the Yamabe problem (via the positivity of the ADM mass).

Before closing the introduction, let me say that this particularly beautiful interaction between Differential Geometry and General Relativity certainly motivates the following extension of the title of Wigner’s article:

“The unreasonable effectiveness of Mathematics in the Natural Sciences and vice-versa

Also I would like to acknowledge my friend Fernando Coda Marques who patiently explained me the ideas and technical details appearing in R. Schoen’s solution to Yamabe problem and its relationship with the ADM mass in General Relativity. Of course, this talk is an outcome of our discussions (although the mistakes and errors below are my sole responsibility, of course).

Read More…

Posted by: yglima | October 3, 2009

Ergodic Ramsey Theory (by Yuri Lima)

Note by C.M.: After talking with my friend Yuri Lima (a 3rd year PhD student at IMPA, currently at Columbus, Ohio, working with Vitaly Bergelson), I proposed to him to write some posts for this blog about the topics of his interest. He accepted my invitation and started a post (see below) containing an overview of his plans. Enjoy it!

We begin with a question: what conditions a set A\subset\mathbb Z must have to possess arbitrarily long arithmetic progressions? Well, if this set is very sparse (such as the powers of 2), there is no chance for such thing. On the other hand, a set with arbitrarily large intervals trivially satisfies it. Althought the precise condition is not known, there is one of great interest which is sufficient. Define the density of A as

\rm{d}(A)=\lim_{n\rightarrow+\infty}\dfrac{|A\cap\{1,2,\ldots,n\}|}{n}\cdot

(Here, |X| stands for the cardinality of the set X). Such limit not always exists, so that it is more convenient to consider the upper density of A:

\rm{d}^*(A)=\limsup_{n\rightarrow+\infty}\dfrac{|A\cap\{1,2,\ldots,n\}|}{n}\cdot

This is a well-defined number between 0 and 1. In 1939, Erdös and Turán conjectured that if \rm{d}^*(A)>0, then A has arbitrarily long arithmetic progressions. It remained wide open until 1953, when Roth proved that such sets contain progression of lenght three. Later, Szemerédi, in 1969, proved that they also have progressions of lenght four and, finally, in 1975 he solved the conjecture.

Theorem (Szemerédi, 1975). If A\subset\mathbb Z has positive upper density, then it contains arbitrarily long arithmetic progressions.

His proof is a very hard combinatorial argument and relies in the Szemerédi’s Regularity Lemma (which we intend to talk in the future).

Breakthrough and the birth of a new area.

Two years later, Hillel Furstenberg gave another proof of Szemerédi’s Theorem, based on an deep analysis of the structure of general measure-preserving systems, known as Furstenberg’s Structural Theorem (see this lecture of Terence Tao for a discussion of this result in the case of distal systems). This gave birth to a new area, called Ergodic Ramsey Theory. As the name suggests, Ergodic Ramsey Theory deals with the use of Ergodic Theory (and related areas, such as topological dynamics) machinery to prove Ramsey Theory (and related combinatorial) problems.

In the next posts, we plan to discuss this interaction. Here is a sketch:

1. Poincaré’s Recurrence Theorem.

2. Classical Von Neumann’s Theorem.

3. Polynomial Von Neumann’s Theorem.

4. Multiple Poincaré’s Recurrence Theorem.

5. Furstenberg’s Correspondence Principle.

6. Szemerédi’s Theorem.

7. Topological Dynamics and Van der Waerden’s Theorem.

8. Two simple models of measure-preserving systems: compact and weak mixing systems.

9. Compact and weak-mixing extensions.

10. A glance at Furstenberg’s Structural Theorem and the proof of Multiple Poincaré’s Recurrence Theorem.

11. Generalized ergodic avergares: L^2 and a.e. convergence.

12. Green-Tao’s Theorem on the existence of arbitrarily long arithmetic progressions of primes.

The posts will be tagged by ERT+(number of the lecture).

Posted by: matheuscmss | July 30, 2009

Gugu’s theorem on the Markov and Lagrange spectrum

Hi! A few months ago, my friend Carlos Gustavo (Gugu) Moreira posted at the IMPA’s preprint server an article entitled “Geometric properties of the Markov and Lagrange spectra” explaining the proofs of his results on the Markov and Lagrange spectrum (see this previous post for an introduction of these spectra and the statements of Gugu’s results). Today, we’ll discuss the dynamical aspects of Gugu’s results. However, before starting the discussion of this preprint, let me take the opportunity to congratulate Gugu: he managed to post the first version of his interesting article at the same time of his first son’s birth! Moreover, let me thank my wife Aline Gomes Cerqueira whose nice comments helped me to clarify my thoughts about Gugu’s argument (and also helped the improvement of this work by her PhD advisor) .

[Update: Ops, I forgot to congratulate Gugu also for his recent UMALCA Prize 2009!]

[Update (August 11, 2009): The mistakes pointed out by Yuri are now fixed.]

Read More…

Posted by: matheuscmss | July 26, 2009

Dynamische Systeme (Oberwolfach 2009)

A few weeks ago (from July 5 to July 11) I attented the interesting conference Dynamische Systeme held at the MFO (Oberwolfach). The talks concerned several topics in Dynamical Systems and Symplectic Geometry, so that it was a nice opportunity to learn some useful techniques and theorems from (directly or indirectly related) diverse subareas.

Also, the organizers (Jean-Christophe Yoccoz, Hakan Eliasson and Eduard Zehnder) gave an opportunity to speak about a work in progress (joint with C. Gugu Moreira and E. Pujals) towards the so-called Smale conjecture. The title of the talk was “C^1 density of hyperbolicity for Benedicks-Carleson toy models” and the goal of the talk was the proof of Smale’s conjecture in a “toy” version of the Henon dynamics introduced by M. Benedicks and L. Carleson in their seminal paper “The dynamics of Henon map“.

More precisely, Smale’s conjecture claims that hyperbolic (Axiom A) diffeomorphisms of compact surfaces are C^1 dense. Firstly, let me make some comments about this conjecture: from the works of M. Shub and R. Mane we know that Smale’s conjecture is false in higher dimensions (i.e., among diffeomorphisms of compact manifolds with dimension n\geq 3). Also, S. Newhouse showed that Smale’s conjecture is also false when we replace C^1 by C^r, r\geq 2: in fact, he used clever arguments involving dynamically defined Cantor sets in order to prevent hyperbolicity in a robust way via the so-called homoclinic tangencies (this is the known as Newhouse phenomena). However, after a recent work of Gugu (Moreira), we know that Newhouse’s argument (using the existence of stable intersections of Cantor sets) doesn’t work in the C^1 topology. In particular, this gives some hope towards the validity of Smale’s conjecture. For a more detailed exposition of these topics, one can see my previous posts (part I and part II) on Gugu’s theorem.

In this direction, Gugu (Moreira), Enrique (Pujals) and I decided to test some ideas around Smale’s conjecture in some toy models. Of course, we wanted some nice class of examples such that: the class is rich enough so that the Newhouse phenomena occurs in the C^2 world, but the class is simple enough so that one can apply Gugu’s results (and some geometrical arguments) to prove Smale’s conjecture in the C^1 world. Inspired by the Benedicks-Carleson work, we consider their toy models for the Henon dynamics. This class is quite promising because the geometry is simple (it is a skew-product of the quadratic family and some contracting maps on a fan of lines), although it is rich enough to exhibit the Newhouse phenomena (by the works of R. Ures).

During the talk, I discussed our ideas (related to the notion of dynamical critical points of F. Rodriguez-Hertz and E. Pujals) and how they eventually lead to a proof of Smale conjecture in this particular class.

For more details and references, please see the report of my talk appearing in this preliminary version of the Oberwolfach Report N. 32 containing the reports of all lectures of the conference (these reports are going to appear in the Oberwolfach Reports in a near future).

Finally, you can see some photos of this workshop here.

Older Posts »

Categories