As is now widely reported, the Fields medals for 2010 have been awarded to Elon Lindenstrauss, Ngo Bao Chau, Stas Smirnov, and Cedric Villani. Concurrently, the Nevanlinna prize (for outstanding contributions to mathematical aspects of information science) was awarded to Dan Spielman, the Gauss prize (for outstanding mathematical contributions that have found significant applications outside of mathematics) to Yves Meyer, and the Chern medal (for lifelong achievement in mathematics) to Louis Nirenberg. All of the recipients are of course exceptionally qualified and deserving for these awards; congratulations to all of them. (I should mention that I myself was only very tangentially involved in the awards selection process, and like everyone else, had to wait until the ceremony to find out the winners. I imagine that the work of the prize committees must have been extremely difficult.)

Today, I thought I would mention one result of each of the Fields medalists; by chance, three of the four medalists work in areas reasonably close to my own. (Ngo is rather more distant from my areas of expertise, but I will give it a shot anyway.) This will of course only be a tiny sample of each of their work, and I do not claim to be necessarily describing their “best” achievement, as I only know a portion of the research of each of them, and my selection choice may be somewhat idiosyncratic. (I may discuss the work of Spielman, Meyer, and Nirenberg in a later post.)

** — 1. Elon Lindenstrauss — **

Elon Lindenstrauss works primarily in ergodic theory and dynamical systems, particularly with regard to the *homogeneous dynamics* of the action of some subgroup of a Lie group on a quotient , and on the applications of this theory to questions in analytic number theory.

One of the themes of modern mathematics is that within any field of mathematics, there is some sort of underlying action by a group (or group-like object) which endows certain key objects of study in that field with a rich, symmetric structure (both algebraic and geometric). Analytic number theory is no exception to this; many classical questions, for instance, about Minkowski’s geometry of numbers, Diophantine approximation, or quadratic forms can be interpreted through this modern perspective as questions about the actions of groups such as on spaces such as the homogeneous space . In particular, the *dynamical* properties of such actions (e.g. the behaviour of orbits, the classification of invariant measures, the mixing properties of the action, or averages of the action) often have direct bearing on the number-theoretic properties of these objects. A typical example of this is the resolution of the Oppenheim conjecture on quadratic forms by Margulis, using a classification of orbit closures in the homogeneous space of a certain subgroup of , which is also a special case of Ratner’s theorems; this was discussed earlier on this blog at this writeup of a lecture of Margulis, or at this discussion of Ratner’s theorems. Indeed, even though the Oppenheim conjecture is a purely number-theoretic statement, the only known proofs of this conjecture in full generality proceed via homogeneous dynamics. (There are however more number-theoretic proofs of partial cases of this conjecture.)

Another demonstration of this principle is the remarkable 2006 paper of Einsiedler, Katok, and Lindenstrauss that gives the best partial result known to date on the notorious Littlewood conjecture, which asserts that for any real numbers , and any , one can find a positive integer such that , where is the distance from to the nearest integer. Note that the Dirichlet approximation theorem already gives for infinitely many , and is clearly bounded, so the conjecture is tantalisingly close to being “easy”; nevertheless, it has defied proof for about eight decades now.

Einsiedler, Katok, and Lindenstrauss establish the partial result that the Littlewood conjecture is true for “most” , in the sense that the set of pairs for which the conjecture fails is a subset of of Hausdorff dimension zero. This is a much stronger statement than the fact that the Littlewood conjecture holds for *almost every* , which is fairly easy to prove; being dimension zero is much stronger than having measure zero.

How is this connected with homogeneous dynamics? Fix , and let us consider the orbit of a point in the homogeneous space

where is given as

and is the semigroup

The space has finite volume, but is non-compact, having a “cusp” at infinity. Thus, the orbit need not be bounded, but could wander arbitrarily close to the cusp. The connection with the Littlewood conjecture (first observed, I believe, by Margulis) is then

Lemma 1The Littlewood conjecture is true for if and only if is unbounded.

*Proof:* We’ll just prove the “if” part; the “only if” part is proven by a slightly more sophisticated version of the arguments below. One can identify with the space of all unimodular lattices in , by identifying each point of with the lattice . The non-compactness of this space arises from the fact that the shortest non-zero vector in such lattices can become arbitrarily small (or to put it contrapositively, as long as one keeps the non-zero vectors of a unimodular lattice away from zero, the space of such lattices becomes (pre)compact). In particular, is unbounded if and only if the vector

where and are integers not all zero, can become arbitrarily small. We can multiply out this vector as

We conclude that if is unbounded, then for any , we can find and (not all zero) such that

Since and are not all zero, we easily verify that this forces to be non-zero if is small enough. Multiplying all three terms together, we obtain

which simplifies to

But the left-hand side is at least , we conclude that Littlewood’s conjecture is true for as required.

The orbits of semigroups such as are still not well understood, in contrast to the orbits of unipotently generated groups for which we have the powerful theorems of Ratner. Nevertheless, by a remarkable analysis of the effects of hyperbolicity on the entropy of an invariant measure, Einsiedler, Katok, and Lindenstrauss are able to obtain some general theorems concerning invariant measures of such semigroups which gives the above consequence to Littlewood’s conjecture, as well as many other applications.

** — 2. Ngo Bao Chau — **

(Caveat: my understanding of the subject matter here is rather superficial, and so what I write below may be somewhat inaccurate in places. Corrections and clarifications would, of course, be greatly appreciated!)

Ngo Bao Chau has made major contributions to the Langlands programme, which among other things seeks to control the automorphic representations of a (connected, reductive) algebraic group by the Langlands dual group , in a way which is analogous to how the representation theory of a (locally compact) *abelian* group is controlled by the Pontryagin dual group . Thus, the Langlands programme can be viewed in some sense as a generalisation of Fourier analysis to non-abelian groups . For instance, the classical Poisson summation formula, that relates summations in an abelian group to summations in its Pontryagin dual , has a vast generalisation in the Selberg trace formula and its generalisations (in particular, the Arthur-Selberg trace formula), which very roughly speaking relates summations (of orbital integrals) over conjugacy classes in with sums over the automorphic representations of (which, by Langlands duality, should be in turn controlled somehow by ).

The Poisson summation formula is closely related to the “functorial” properties of the Fourier transform : every homomorphism of locally compact abelian groups induces a corresponding adjoint homomorphism on the Pontryagin dual groups, and one can interpret Poisson summation as being a consequence of the claim that pullback by the homomorphism becomes pushforward by the adjoint homomorphism after taking Fourier transforms. As I understand it (which is, admittedly, not very well), *Langlands functoriality* is a nonabelian generalisation of this Fourier functoriality. However, the notions of pushforward and pullback become much more complicated in the nonabelian world, as one is working on things such as conjugacy classes and representations, rather than individual elements of the groups involved. One can define these notions relatively easily in a “local” fashion, working one place at a time, but to glue everything together properly into a “global” setting (in which one is working over an adele ring) in such a way that the relevant trace formulae remain compatible requires the fundamental lemma, the establishment of which was then a major goal of the Langlands programme (as it makes the trace formula significantly more useful, particularly for applications to number theory). In 2008, Ngo established this lemma in full generality, building upon several special cases and previous reductions by other mathematicians (including an earlier breakthrough paper of Laumon and Ngo), and also importing a major new tool from geometry and mathematical physics, namely that of a *Hitchin fibration*. Apparently, a key observation of Ngo is that the sums over conjugacy classes that appear in the trace formula can be naturally interpreted in terms of some geometric data associated to such fibrations. This is a deep connection which not only gives the fundamental lemma (after a lot of difficult work), but gives a better understanding as to the Langlands programme as a whole.

** — 3. Stas Smirnov — **

Stas Smirnov works in a number of related fields, and in particular in complex dynamics and in statistical physics. One of his celebrated results in the latter area is the first rigorous demonstration of *conformal invariance* for a scaling limit percolation model, namely that of percolation on the triangular lattice; this invariance was conjectured for physicists for some time (being part of a larger philosophy of universality, that asserts that the large-scale behaviour of a statistical system should be largely insensitive to the precise small-scale geometry of that system, after normalising some key parameters). Smirnov’s result, especially when combined with the theory of the Schramm-Loewner equation (SLE) developed by Lawler, Schramm, and Werner which classifies conformally invariant processes, allows for a rigorous analysis of many random processes in statistical physics, confirming the general intuition of universality, although the underlying explanation for the universality phenomenon is still lacking. (For instance, we still do not have an analogue of Stas’s result for any lattice other than the triangular one.) Note that this universality phenomenon is not directly related to the universality phenomenon observed in random matrix theory (which has guided much of my own recent research with Van Vu), though there are certainly some superficial similarities between the two.

Smirnov’s full result of conformal invariance for the triangular lattice is a bit tricky to state, but it is a bit easier to state a simpler but still highly non-trivial consequence of that result, namely *Cardy’s formula* for crossing probabilities in the scaling limit. As observed by Carleson, this formula is easiest to state when the domain is a unit equilateral triangle , though it is an important consequence of Stas’s conformal invariance result (first conjectured by Aizenman) that it can in fact be phrased for any simply connected domain in the plane.

Pick a large natural number , and subdivide the original unit equilateral triangle into subtriangles of sidelength . This creates a triangular lattice on (the triangular number, naturally) vertices or *sites*. Now randomly colour each site blue and yellow (say), with an independent probability of each; this is the *critical* probability for this lattice, in which neither colour dominates, and thus gives the most interesting behaviour. The site colouring then separates the vertices into blue and yellow *clusters*, with two vertices of the same colour belonging to the same cluster if they are connected by a path in the lattice that only goes through vertices of that colour.

The size, shape, and other geometrical properties of clusters in such lattice models, especially in the scaling limit , is the main subject of study of percolation theory. There are many such aspects to this theory, but let us focus on a relatively simple aspect, namely the *crossing probability* between two line segments on the boundary of the triangle , say and , where is a site on the line segment . This crossing probability is defined to be the probability that there is a blue (say) cluster connecting with , or equivalently that there is a blue path that starts at and ends at . Clearly, for fixed , this probability is an increasing function of the length of the line segment , which equals when is equal to , and which we expect to be close to zero at the other extreme when is equal to . Cardy’s formula is the assertion that in the limit , the crossing probability is asymptotically equal to the length of the interval. (There is a similar formula when one replaces the triangle by a more general simply connected domain (while still keeping the small-scale triangular lattice structure), and replaces and by two arcs on the boundary of that domain, but then one has to apply the Riemann mapping theorem to convert that domain back into the equilateral triangle.)

The first step in Smirnov’s proof of Cardy’s formula is to consider a two-dimensional extension of the crossing probability, namely the function defined for in the *solid* triangle , defined as the probability that there is a blue path from to that separates from . Note that when is a boundary point on the edge , then is basically the crossing probability from to (ignoring some boundary effects which are negligible in the asymptotic limit ); thus the crossing probability arises as the boundary values of . Smirnov was able to show that the function is asymptotically harmonic and obeys some natural Dirichlet-Neumann boundary conditions, which ultimately gives Cardy’s formula. By pushing this analysis much further, these methods also eventually give the conformal invariance of the entire triangular lattice percolation process.

** — 4. Cedric Villani — **

Cedric Villani works in several areas of mathematical physics, and particularly in the rigorous theory of continuum mechanics equations such as the Boltzmann equation.

Imagine a gas consisting of a large number of particles traveling at various velocities. To begin with, let us take a ridiculously oversimplified discrete model and suppose that there are only four distinct velocities that the particles can be in, namely , and . Let us also make the homogeneity assumption that the distribution of velocities of the gas is independent of the position; then the distribution of the gas at any given time can then be described by four densities adding up to , which describe the proportion of the gas that is currently traveling at velocities , etc..

If there were no collisions between the particles that could transfer velocity from one particle to another, then all the quantities would be constant in time: . But suppose that there is a collision reaction that can take two particles traveling at velocities and change their velocities to , or vice versa, and that no other collision reactions are possible. Making the key heuristic assumption that different particles are distributed more or less independently in space for the purposes of computing the rate of collision (this hypothesis is also known as the molecular chaos or *Stosszahlansatz* hypothesis), the rate at which the former type of collision occurs will be proportional to , while the rate at which the latter type of collision occurs is proportional to . This leads to equations of motion such as

for some rate constant , and similarly for , , and . It is interesting to note that even in this simplified model, we see the emergence of an “arrow of time”: the rate of a collision is determined by the density of the *initial* velocities rather than the *final* ones, and so the system is not time reversible, despite being a statistical limit of a time-reversible collision from the velocities to and vice versa.

To take a less ridiculously oversimplified model, now suppose that particles can take a continuum of velocities, but we still make the homogeneity assumption the velocity distribution is still independent of position, so that the state is now described by a density function , with now ranging continuously over . There are now a continuum of possible collisions, in which two particles of initial velocity (say) collide and emerge with velocities . If we assume purely elastic collisions between particles of identical mass , then we have the law of conservation of momentum

and conservation of energy

some simple Euclidean geometry shows that the pre-collision velocities must be related to the post-collision velocities by the formulae

for some unit vector . Thus a collision can be completely described by the post-collision velocities and the pre-collision direction vector ; assuming Galilean invariance, the physical features of this collision can in fact be described just using the relative post-collision velocity and the pre-collision direction vector . Using the same independence heuristics used in the four velocities model, we are then led to the equation of motion

where is the quadratic expression

for some *Boltzmann collision kernel* , which depends on the physical nature of the hard spheres, and needs to be specified as part of the dynamics. Here of course are given by (1).

If one now allows the velocity distribution to depend on position in a domain , so that the density function is now , then one has to combine the above equation with a transport equation, leading to the Boltzmann equation

together with some boundary conditions on the spatial boundary that will not be discussed here.

One of the most fundamental facts about this equation is the Boltzmann H theorem, which asserts that (given sufficient regularity and integrability hypotheses on , and reasonable boundary conditions), the -functional

is non-increasing in time, with equality if and only if the density function is Gaussian in at each position (but where the mass, mean and variance of the Gaussian distribution being allowed to vary in ). Such distributions are known as *Maxwellian distributions*.

From a physical perspective, is the negative of the entropy of the system, so the H theorem is a manifestation of the second law of thermodynamics, which asserts that the entropy of a system is non-decreasing in time, thus clearly demonstrating the “arrow of time” mentioned earlier.

There are considerable technical issues in ensuring that the derivation of the H theorem is actually rigorous for reasonable regularity hypotheses on (and on ), in large part due to the delicate and somewhat singular nature of “grazing collisions” when the pre-collision and post-collision velocities are very close to each other. Important work was done by Villani and his co-authors on resolving this issue, but this is not the result I want to focus on here. Instead, I want to discuss the long-time behaviour of the Boltzmann equation.

As the functional always decreases until a Maxwellian distribution is attained, it is then reasonable to conjecture that the density function must converge (in some suitable topology) to a Maxwellian distribution. Furthermore, even though the theorem allows the Maxwellian distribution to be non-homogeneous in space, the transportation aspects of the Boltzmann equation should serve to homogenise the spatial behaviour, so that the limiting distribution should in fact be a homogeneous Maxwellian. In a remarkable 72-page *tour de force*, Desvilletes and Villani showed that (under some strong regularity assumptions), this was indeed the case, and furthermore the convergence to the Maxwellian distribution was quite fast, faster than any polynomial rate of decay in fact. Remarkably, this was a *large data* result, requiring no perturbative hypotheses on the initial distribution (although a fair amount of regularity was needed). As is usual in PDE, large data results are considerably more difficult due to the lack of perturbative techniques that are initially available; instead, one has to primarily rely on such tools as conservation laws and monotonicity formulae. One of the main tools used here is a quantitative version of the H theorem (also obtained by Villani), but this is not enough; the quantitative bounds on entropy production given by the H theorem involve quantities other than the entropy, for which further equations of motion (or more precisely, differential inequalities on their rate of change) must be found, by means of various inequalities from harmonic analysis and information theory. This ultimately leads to a finite-dimensional system of ordinary differential inequalities that control all the key quantities of interest, which must then be solved to obtain the required convergence.

## 64 comments

Comments feed for this article

19 August, 2010 at 2:27 pm

ICM 2010 Índia 17-27 Agosto – Congresso Internacional de Matemáticos « problemas | teoremas[...] poderá ficar a saber as áreas em que se destacaram pelas suas contribuições; ou então no post Lindenstrauss, Ngo, Smirnov, Villani do Professor Terry Tao, no seu blog, que dá exemplos do trabalho de cada um dos premiados com a [...]

19 August, 2010 at 3:56 pm

Kevin LinThanks for writing this! Minor correction: Hitchin, not Hitchen.

[Corrected, thanks - T.]1 September, 2010 at 2:43 pm

Jailton VianaMister Terence ,very good your texts about the international congress of mathematics.It was only by your blog that I knew of the awards on this event .Congratulations for your work.But where do you find time to prepare this amounts of mathematical news?

19 August, 2010 at 4:02 pm

Felipe ZaldivarRe: Ngo Bao Chau’ work, I guess you mean “Hitchin fibration”.

19 August, 2010 at 4:06 pm

Rodterry you are much more bad ass then these people. your name is catchy and more recognizable. When I think of the fields medal, I think of you.

19 August, 2010 at 4:30 pm

AnonymousIn the part for Lindenstrauss, the links for both Littlewood conjecture and almost every are not right.

[Corrected, thanks - T.]19 August, 2010 at 6:47 pm

Medalla Fields 2010 « Series Divergentes[...] Lindestrauss, Ngo, Smirnov, Villani (What’s new). Terry Tao discute detalles sobre el trabajo de cada uno de los medallistas. [...]

19 August, 2010 at 10:00 pm

Emmanuel KowalskiI don’t know if he is a stickler about this, but it seems every non-French website forgets the accent on his first name: it is Cédric Villani…

More interestingly, he gave a colloquium lecture two years ago in Zürich on entropy and the Boltzmann equation which was taped and can be found here.

20 August, 2010 at 3:40 am

Willie WongThanks for the link to the video.

p.s. While one instance does not make sufficient evidence, his own website (in the title bar) also forgets the accent.

20 August, 2010 at 6:19 am

NorailyainVietnamese accents on *Ngô Bảo Châu*’s correctly-spelled full name are also often forgotten, for they are not easy to be typed on an usual Western keyboard.

19 August, 2010 at 10:01 pm

AMS Graduate Student Blog » Blog Archive » Discussion of Fields Medalists[...] is an interesting post by Terry Tao on some of the work of this years Fields Medal Winners. Category: General, Math [...]

19 August, 2010 at 10:18 pm

Emmanuel KowalskiAnother short comment concerning Ngo’s work (about which I am also far from expert): the Langlands program concerns both number fields (e.g., the rationals) and function fields over finite fields (e.g., one-variable polynomials over a fixed finite field); those two type of base fields are quite different. In particular, geometric interpretations and arguments are usually much more natural and easier over function fields (for instance, Lafforgue’s work, which led him to received a Fields medal in 2002, was over function fields). Part of the reason Ngo’s work is certain to be exceptionally useful is that it concerns both number fields and function fields. If I understand things right, he works mostly in the function field setting, and appeals to results of Waldspurger to transfer the (or some of the) results to number fields. (This transfer also has a recent different proof, I think, due to Cluckers and Denef).

20 August, 2010 at 3:06 am

David SpeyerYou might want to look at Joel’s post on Ngo’s work over at our blog. Now to digest the other three…

20 August, 2010 at 5:48 am

What does Green Mean? » (Bringing) Order to Disorder[...] Take this winner, for instance, Cedric Villani of France, who calculated the rate at which entropy is increasing – there seems to be some sort of throttle on the rate at which the world is falling apart. [...]

20 August, 2010 at 6:38 am

Hiện tượng Ngô Bảo Châu và bài học cho chúng ta! « Thích toán học[...] Châu đã giải quyết được, nhưng qua bài điểm qua các giải fields năm nay của Terry Tao thì thấy 3 người trong 4 người giải quyết các bài toán liên quan tới Vật lý: [...]

20 August, 2010 at 9:45 am

Jonathan Vos PostTo my surprise, when I went to the Caltech Math Department yesterday morning (my B.S. in Math was there, 1973, and I have formally applied to be in their Grad program recently, though I’ve been an Adjunct Professor of Math some years ago). To my shock, nobody there seemed to have heard about Smirnov. 17 hours after I’d posted a write-up on Facebook, I emailed the Caltech PR department. They have, this morning, emailed back to say that they’ll soon be posting a story, using not only my notes, but my link to your thread. Thank you for the umpteenth time, Terry Tao!

20 August, 2010 at 4:05 pm

Top Posts — WordPress.com[...] Lindenstrauss, Ngo, Smirnov, Villani As is now widely reported, the Fields medals for 2010 have been awarded to Elon Lindenstrauss, Ngo Bao Chau, Stas [...] [...]

20 August, 2010 at 9:39 pm

Fields Medalists « Tsourolampis Blog[...] were announce in IMU. Their names: Lindenstrauss, Ngo, Smirnov and Villani. Terence Tao has a post in his blog where he highlights certain achievements of the Medalists. I was also very pleased to [...]

20 August, 2010 at 11:05 pm

ICM2010 — Ngo laudatio « Gowers's Weblog[...] has written descriptions of their work for a general audience and Terence Tao has now posted about the work of the Fields medallists and the other prizewinners. And as I have already said, the ICM website has links to the full texts [...]

21 August, 2010 at 3:26 am

David Ben-ZviDear Terry, thanks for the wonderful explanations!

Regarding Ngo, It seems to me the beauty and fundamental nature of the subject and his work is made inaccessible to most by the technical nature of official accounts. I gave what I hope was an accessible – and certainly very informal, to the point of inaccuracy – talk on the fundamental lemma – notes and video at http://media.cit.utexas.edu/math-grasp/David_Ben-Zvi_lecture.html

(a much better attempt by David Nadler will appear in the Bulletin of AMS I

believe)… In any case, to summarize, in my outsider view Ngo has made a great breakthrough in

our understanding of the relation between eigenvalues, characteristic

polynomials and conjugacy classes of matrices, in a form suited to deepen the

ancient theme of the relation between conjugacy classes and representations in

groups…

David

21 August, 2010 at 4:03 am

Watch the Math! | Sun Ju's Blog[...] Terence Tao also gave his personal exposition (here and here) on the remarkable work of Prize winners in [...]

21 August, 2010 at 9:46 am

AsafDear Terry, thanks for the explanation.

About the work of Lindenstrauss (and Margulis), it seems that the first paper which related problems in the geometry of numbers to the area of homogeneous spaces was a 1950s paper by J. Cassels and H. Swinnerton-Dyer called “On the Product of Three Homogeneous Linear Forms and Indefinite Ternary Quadratic Forms”, although the connection was implicit.

It’s unclear (at least to me) if Margulis knew about that paper in the time (it seems that the paper was forgotten during the years).

Nowdays, it’s very common to referring to this paper as the starting point, at least this is how Elon considers the histroy.

See for example Margulis’ lecture about the Oppenheim conjecture in “Fields Medallists’ Lectures” and the wikipedia entry “Oppenheim Conjecture”.

21 August, 2010 at 10:24 am

Terence TaoThanks for the reference! Now that you mention it, I dimly recall this paper being cited (perhaps in one of Margulis’s lectures).

I also was told once that Serre was able to interpret Ramanujan’s famous congruences for the partition function in terms of the dynamics of SL_2 on the modular curve (possibly over the p-adics; I vaguely recall that Hecke operators were involved somehow). This isn’t exactly geometry of numbers, but it might be in a similar spirit nevertheless.

21 August, 2010 at 10:11 pm

ICM2010 — Smirnov laudatio « Gowers's Weblog[...] (which then has amazing consequences thanks to the work of Lawler, Werner and Schramm). See Tao’s blog post for more on this. And more recently Smirnov has proved conformal invariance for the Ising model in [...]

21 August, 2010 at 10:55 pm

ICM2010 — Villani laudatio « Gowers's Weblog[...] just looked at Tao’s post on the Fields medallists and my understanding is such that I’m not even quite certain which of the above three [...]

21 August, 2010 at 11:56 pm

P נגד NP ומדליות פילד. שתי הערות לסדר היום | ניימן 3.0[...] חשבתי לכתוב פוסט קצר בעברית שמסביר דוגמא, ברורה יחסית, שקשורה לעבודתו של אלון. אבל זו הרבה עבודה יחסית, והעצלנות פה גוברת על התמורה. כך שבמקום זאת, אשלח אתכם לשני מאמרים נהדרים, באנגלית, שמסבירים פחות או יותר מדוע הבחור זכה לכבוד. הראשון מהאתר הרשמי של הקונגרס המתמטיקה בהודו (פה. pdf). השני הוא של טרנס טאו הבלתי נלאה. [...]

22 August, 2010 at 4:27 am

AnonymousWhy we have not a field medalist in “pure” mathematics?

22 August, 2010 at 6:52 am

Lindenstrauss, Ngo, Smirnov, Villani (via What’s new) « Math Society the club[...] As is now widely reported, the Fields medals for 2010 have been awarded to Elon Lindenstrauss, Ngo Bao Chau, Stas Smirnov, and Cedric Villani. Concurrently, the Nevanlinna prize (for outstanding contributions to mathematical aspects of information science) was awared to Dan Spielman, the Gauss prize (for outstanding mathematical contributions that have found significant applications outside of mathematics) to Yves Meyer, and the Chern medal (for … Read More [...]

22 August, 2010 at 6:53 pm

Terrence Tao on 2010 Fields medalists « The Other Side of Moon[...] Terrence Tao on 2010 Fields medalists 2010年08月23日 dualm 留下评论 Go to comments Lindenstrauss, Ngo, Smirnov, Villani [...]

24 August, 2010 at 2:10 am

Terence Tao viết về huy chương Fields năm 2010 « Lenhoty's Blog[...] về bốn huy chương Fields năm 2010. Sau đây là toàn văn diễn giải của giáo sư Lindenstrauss, Ngo, Smirnov, Villani Còn bạn muốn dành sự quan tâm nhiều hơn một chút tới Chương trình Langlands và [...]

24 August, 2010 at 4:28 am

dominiczypenRe: Elon Lindenstrauss and the Littlewood conjecture, for what do we have ?

24 August, 2010 at 10:00 am

Terence TaoQuadratic numbers such as the golden ratio are an example, as one can see from the classical properties of Fibonacci numbers. I think there is a way to characterise these numbers in terms of the continued fraction expansion; a quick back-of-the-envelope calculation suggests that what one needs is that the terms in this expansion stay bounded. (Quadratic numbers have an eventually periodic continued fraction expansion and so are definitely of this form.)

25 August, 2010 at 7:41 am

mfrascaHi Terry,

About the work of Villani I would like to comment that, while this gives deep foundations to all the area of kinetic equations and statistical mechanics, yet we miss here an important point, based on the Loschmidt paradox (see http://en.wikipedia.org/wiki/Loschmidt%27s_paradox ). Boltzmann equation rather implies irreversibility from the start and does not give a proof of it. Indeed, following Loschmidt criticism, Boltzmann was forced to introduce a hypothesis in his proof (molecular chaos or Stosszahlansatz, see http://en.wikipedia.org/wiki/Molecular_chaos ) implying that we need a proof of it to have a final demonstration of irreversibility. This is an open question in physics yet and could require an analysis starting from many-body quantum mechanics and quantum master equations.

Regards,

Marco

25 August, 2010 at 11:31 am

Giải Nevalina 2010 « Vuhavan's Blog[...] đề này rất gần với Universality (hay Invariance) principle trong toán vật lý (xem bài của Tào về Smirnov). Nôm na mà nói, thường ta tin rằng một định lý đúng với một mô hình (hay [...]

25 August, 2010 at 5:14 pm

DiegoOne little typo: “awared”.

[Corrected, thanks -T.]26 August, 2010 at 5:48 am

inkspot“… modular curve $SL_2(R)/SL_2(Z)$…” A merely terminological point: this is a $3$-manifold, the unit tangent bundle (in a stacky sense) over [what is usually called] the modular curve $SO_2(R)\backslash SL_2(R)/SL_2(Z)$.

[Corrected, thanks - T.]27 August, 2010 at 7:57 am

Videos of Fields medalists 2010 lectures at ICM in Hyderabad « Successful Researcher[...] a discussion of their work see e.g. this post of Terence Tao and the official [...]

27 August, 2010 at 9:40 am

Miscellanées « Hady Ba’s weblog[...] où l’auteur demande qu’on lui explique le programme de Langlands puis dériver vers ce post de Terry Tao où il explique les travaux de chacun des médaillés de cette année. Si vous [...]

27 August, 2010 at 6:18 pm

AnonymousYou are still the coolest Field Medallist for having this awsome blog…

29 August, 2010 at 6:27 am

Russell LyonsHi, Terry.

Re Stas’s work:

I think it is worth pointing out that it was Carleson who noted the form taken by Cardy’s formula in the case of an equilateral triangle. Stas even calls it the “Cardy-Carleson” formula in this case. Furthermore, this particular conformal invariance was conjectured by Aizenman.

Also, it is interesting that this whole problem was first popularized among mathematicians by Langlands, whose 1992 AMS Colloquium Lectures were partly devoted to it and who published an influential article with Pouliot and St-Aubin (http://www.ams.org/journals/bull/1994-30-01/home.html) in 1994.

Best,

Russ

30 August, 2010 at 8:05 am

Terence TaoThanks for the references!

29 August, 2010 at 10:02 pm

Las medallas Fields 2010 | Gaussianos[...] Tao nos habla en su blog de los galardonados con la medalla [...]

2 September, 2010 at 7:55 am

ICM2010 — final post « Gowers's Weblog[...] Terence Tao on the work of Lindenstrauss, Ngo, Smirnov and Villani [...]

4 September, 2010 at 2:11 pm

Mathematics on public radio « Xi'an's Og[...] abound! I found the panelists did a very good job last Wednesday night. (Note that Terry Tao gave a summary of the four panelists’ achievements on his blog.) In linking pure and applied maths, ie [...]

11 September, 2010 at 10:32 pm

Fields Medal 2010 « Suhaimi Ramly[...] I do not have any comment regarding the winners since I am not really familiar with their work. Terry Tao, who has plenty of intelligent things to say about everything math, explains the works of the winners here. [...]

16 October, 2010 at 6:52 am

Mabruk Elon, India, and More « Combinatorics and more[...] their works along with informal descriptions that you can find on this page, you can also look at Terry Tao’s blog and at Gowers’ blog. The ICM lectures of the prize winners can be found on this page and they [...]

19 December, 2010 at 10:49 am

On Self-Avoiding Walks | Honglang Wang's Blog[...] http://terrytao.wordpress.com/2010/08/19/lindenstrauss-ngo-smirnov-villani/ (a post about the winners in icm2010, including this area) [...]

24 January, 2011 at 4:10 pm

It’s just another talk, to be honest « It's cold outside[...] http://terrytao.wordpress.com/2010/08/19/lindenstrauss-ngo-smirnov-villani/ [...]

15 July, 2011 at 1:52 am

Giải Nevanlinna 2010 « MFEPE[...] đề này rất gần với Universality (hay Invariance) principle trong toán vật lý (xem bài của Tào về Smirnov). Nôm na mà nói, thường ta tin rằng một định lý đúng với một mô hình (hay [...]

30 July, 2011 at 8:16 am

DavidRegarding the work of Cedric Villani on the Boltzmann equation, I have a couple of questions related to your first model, the one with the densities ${f(t,v_1), f(t,v_2), f(t,v_3), f(t, v_4)$ . Can these four densities be thought of as probability distributions parameterized by time?

The second question relates to statistical ensembles. Suppose at time $t=0$ we have $N$ gas molecules in a box with $N$ very large. Each molecule has three position coordinates and three momentum coordinates. The state of the system is described by $6N$ real numbers. If the box or container is attached to a very large mass, such as the earth, the velocity (and hence

momentum) of the container can be approximated by

zero. With conservation of total kinetic energy and

of total momentum of all $6N$ molecules, under

Newtonian mechanics, the system has $6N-6$ degrees of

freedom. The set of states can be taken as a closed and

bounded subset of $R^{6N}$, of dimension $6N-6$.

If $\mu$ is a probability measure on the $6N-6$-dimensional set (for time $t=0$), then, roughly

speaking, following Newtonian mechanics and the laws

for inelastic collisions of molecules with molecules,

molecules with the container, at time $t>0$ one

might get a probability distribution $mu_t$ on

the bounded subset of $R^{6N}$ of dimension $6N-6$.

Does Villani’s work imply some kind of convergence

of an arbitrary probability distribution $mu$ as

above (following Newtonian mechanics) to

Maxwellian distributions? Lastly, it’s not

clear to me what to make the diameters of

the molecules: for inter-molecular collisions,

one would need a strictly positive diameter.

30 July, 2011 at 11:38 am

Terence TaoDear Dave,

One can certainly consider probabilistic models in which collisions occur according to some Poisson-type process, in which case the densities can be viewed as probability intensities for such a process. This would however be a probabilistic simplified model for the (deterministic) N-body collision problem, rather than a perfectly accurate description of the latter problem.

Villani’s work works within the Boltzmann framework, which is only a simplified model of the full N-particle system (in particular, it assumes the molecular chaos hypothesis). So it does not directly give any rigorous results concerning the full system (which is substantially more complicated than the Boltzmann model), but it is certainly conceivable that Villani’s work will play a role in the future study of that system and of its approximability to the Boltzmann model.

13 December, 2012 at 2:34 am

Matthew Kennedy awarded CMS 2012 Doctoral Prize « Noncommutative Analysis[...] work. Tim Gowers and Terry Tao have set a fine example in their expositions of the works of Fields Medalists or Abel Prize laureates. These are among the most interesting and important posts out [...]

9 July, 2013 at 6:39 pm

T.G.Professor Tao,

Here is a poll to test people’s expectations for 2014: https://sites.google.com/site/fieldsmedal2014poll/

T.G.

10 July, 2013 at 3:43 pm

T.G.One more question was added to the poll.

11 July, 2013 at 11:27 am

EricThanks for the input, that was fun!

12 July, 2013 at 11:27 am

T.G.Eric, no problem. Bhargava, Lurie and Avila are clear leaders but it’s a surprisingly tight race for the fourth place!

15 July, 2013 at 4:57 am

T.G.Favorites after first 101 votes are:

Bhargava – 42, Lurie – 31, Avila -30, Naor – 20.

23 July, 2013 at 10:33 am

T.G.After 160 votes:

Bhargava – 64, Avila – 50, Naor – 41, Lurie – 40.

24 July, 2013 at 6:51 am

John MangualThis survey might have a flaw… the names are alphabetically sorted so the results look biased towards the #1 and #2. Poor Akshay

Venkatesh and ScottSheffield!Standard survey design issues – the ordering of choices is known to make a huge difference in survey decisions. It needs to be random.

http://www.howto.gov/customer-experience/collecting-feedback/basics-of-survey-and-question-design

http://help.surveymonkey.com/articles/en_US/kb/Design-Tips-How-to-create-and-administer-effective-surveys

It’s still fun to speculate. I’m still busy trying to understand what happened in 2010.

24 July, 2013 at 8:02 am

T.G.This is not an issue because we are dealing with mathematicians. As you can see, the average over the bottom half is bigger. As for 2010, I recommend to start by reading the papers Terry Tao discusses in the post above.

24 July, 2013 at 8:32 am

DavidThis is exactly what happened in 2010. I hope the Fields Committee this year will not forget to sort the nominees in random order.

18 August, 2013 at 9:21 am

T.G.The survey is now complete, and a new poll is released:

https://sites.google.com/site/fieldsmedal2014poll/

12 August, 2014 at 8:04 pm

Avila, Bhargava, Hairer, Mirzakhani | What's new[…] which is a new initiative of the IMU and the Simons foundation). This time last year, I wrote a blog post discussing one result from each of the 2010 medallists; I thought I would try to repeat the […]

26 September, 2014 at 4:10 am

My great WordPress blog – Econlinks: Of Maths, Efficiency, and Language[…] Tao brief and informative on the 2010 Fields medalists (Le Monde est aussi très heureux et honoré pour Ngo et Villani, “deux facettes de […]