ICM 2018 Rio (5) Assaf Naor, Geordie Williamson and Christian Lubich

This is my fifth and last report from ICM 2018 at Rio. I will talk a little about the three Wednesday plenary talks by Assaf Naor, Geordie Williamson, and Christian Lubich. See here for other posts about ICM2018. (For the three talks, I relied on a recent viewing (Dec. 2021) of the videotaped lectures rather than on my incomprehensible earlier notes.)    

While at the Rio conference, I met, for the first time, quite a few people including  the (then) current and previous IMU president Shigefumi Mori and Ingrid Daubechies, and the current IMU secretary Holge Holdem. I went mainly to the combinatorics and TCS sessions. The highlight of the opening ceremony that I watched with Itai Benjamini and Tammy Ziegler in Tel Aviv was the announcements of Field-medal recipients, and I enjoyed also when Mori recounted his first ICM where he had been awarded the Fields medal and how nervous he was.

The plan for this post

So the plan for this post is as follows: I will share with you some memories of Assaf, whom I know since he was an undergraduate student at HUJI, and will then proceed to  tell you about the three ICM plenary talks of Christian, Geordie, and Assaf.

Two memories with Assaf

I have known Assaf since he was an undergraduate student at HUJI. He took my first year course on discrete mathematics, and he told me an amusing story about it.

The lecture took place in “Canada lecture hall” where there were four rolling blackboards, each divided into 12 or so rectangular parts that I will call “blackboardettes”. Once I finished writing on some of the small blackboardettes, I had the habit of moving on to a completely random new one. The students found it frustrating since they could not trace back to the previous blackboardette. So one day I came to class and saw that the students numbered the blackboardettes from 1 to 48 in a random way. The students respected my disposition of writing on the blackboard in a completely unorganized way but they still wanted to be able to trace back. When I saw the numbering, I immediately realized the intention (or so Assaf says), I complied with the numbering, and the students were pleased about it.

The next memory about Assaf and me was from a really great conference at Edinburgh in the early 2000s.  It was one of two conferences, where I came with a large delegation of seven members: my wife and children and also my mother and sister. We were all living in some dormitories and the lectures were a 15-minute walk away. One morning Assaf and I somehow went there after the main group of mathematicians, Assaf followed me to the location of the lectures, we pleasantly chatted about various things, and after 45 minutes he asked me if I knew where I was going and my response was “no”. (But somehow we got there, eventually.) You can read some India mathematical memories about Assaf in this post.

Let me make a small diversion and mention the other conference which I attended with a delegation of the same seven members, my wife and children, mother and sister. The conference took place in 1997 in a town Sant Feliu de Guíxols a little north of Barcelona in Catalonia, Spain. The main organizer was Anders Björner and it was essentially a highly successful union of several sub-conferences on several areas of combinatorics. One day we went to tour a picturesque town nearby and I found myself at the head of the group talking with a colleague,  and behind me was a long line of 100 or so participants and a few family members.  At some point I discovered that the path of mathematicians crossed itself! like this

path3

and still people obediently followed with no shortcuts!  I think that my path with Assaf in Edinburgh was at least a self-avoiding walk, but I cannot swear that this was indeed the case.  

The lectures by Lubich, Williamson, and Naor (incomplete)

Christian Lubich

Before reaching out to my lecture notes I would like to share with you one thing that I have learned and still remember: You have to adopt the numerical methods to the deep structures of the problem. The law for the numeric is the same as the law for the system. (Another way to say it is: a good algorithm should respect the structure of the problem). This reminds me of something important about noise: that often, the noise respects the same laws as the system.  Numerical approximation for mathematical systems seems similar in spirit to real-life approximation of (or by) mathematical systems. Another way to think about it is as follows: you have an ideal mathematical system say a PDE. Now, on the one hand you want to think about real life systems that are ideally described by this PDE. On the other hand,  you want to think about numerical schemes that approximate the PDE. Maybe these two are two sides of the same coin. 

Now, said Christian, the structure of the problem often refers to geometry. So this brought geometry into the problem and led to the theory of geometric numerical integration.  And the systems considered in the lecture were Hamiltonian systems. 

The lecture moved on from Hamiltonian ordinary differential equations to multi scale Hamiltonian systems to Hamiltonian PDEs, then considered low rank approximation and concluded with quantum systems. And when you hear the lecture you feel that you understand these concepts; everything is gentle and friendly. I will mention one more thing: the Euler numerical method was introduced 250 years before the lecture. And Christian mentioned one system – the solar system. (He showed a picture that still included Plato.) He explained why the symplectic version of Euler’s method is appropriate, and then moved on to discuss numerical evidence that the solar system is chaotic.  OK I will stop here and leave out many exciting punchlines and details. For much more, watch the video! 

A disclaimer regarding Christian Lubich’s lecture

Sometimes when talk number k in a conference is incomprehensible or when I don’t enjoy it for any other reason I skip talk number k+1 . (I know this is neither so fair nor rational.) Usually, when I hear a good talk I have a greater passion for hearing the next talk.  But on Wednesday morning I was so overwhelmed by the great performances of Geordie, and Assaf that I could not stay for another talk. Instead, I only saw the videotaped lecture a few weeks later. The best way for that, I found out, was while babysitting my grandchildren in the evenings when my daughter Neta and her husband Eran went out to a restaurant or a movie and Ilan and Yoav were sleeping. (I could see there the lecture on their TV which was directly connected to a computer.) For a few months after the ICM, I saw the video in four overlapping parts and I greatly enjoyed it. (and also Eran and Neta enjoyed my volunteering.) Lubich’s lecture was also a great lecture, and I am sure that the live version was even greater. I got very excited by the topic and some of the major insights.

Christian talked about numerical methods and approximations and I thought about noise which I like, and this reminded me of the saying that if you if you have a hammer you treat everything as if it were a nail.

Little diversion: If you have a hammer, it is actually a good idea to treat everything as if it were a nail.

Indeed, it occurred to me recently that the famous description of  treating everything as nails if you have a hammer, is more obliging than demeaning. In my view, it is a good thing to think about matters in the lens of your tools, even for the purpose of reaching to other areas and eventually adopting other tools. 

Geordie Williamson

One great conjecture that I had been hearing about since the 1980s is the conjecture that the Kazhdan-Lusztig polynomials have non-negative coefficients for all Coxeter groups. The case of  Weil groups was proved by Kazhdan and Lusztig in the late 1970s. In 2012 David Kazhdan gave a class about the startling solution of Elias and Williamson to the Kazhdan-Lusztig conjecture for general Coxeter groups. (The class mainly described Soergel’s program for solving the conjecture.) Later, I first met Geordie in person at the Berlin 2016 European Congress of Mathematics. Here is a great talk by Geordie on representation theory and geometry.

 

A) Groups and representations: a quick explanation of representation theory.

The idea is that groups in mathematics are everywhere, groups are complicated nonlinear objects, and representation theory is an attempt to “linearize” groups, thus studying simpler objects and then drawing conclusions for groups. 

Geordie’s first example was the group of symmetries of the icosahedron which is also a group of isometries (represented by matrices) of \mathbb R^3

Why study representations? Geordie first mentioned the symmetric group S_n (which is related to later parts of the talk, and to a lot of combinatorics) and Galois representations (which are related to various other talks in the conference). 

Next came the notions of simple and semi simple representations followed by an example of a representation that is not semi-simple but still has some structure that resembles semi-simplicity.

B) The semi-simple world; how geometry enters the picture, and how algebraic arguments can replace geometric arguments.

Two fundamental theorems are:

Maschke 1897:  every representation of  a finite group is semi-simple.

The proof (which was given in the lecture!) explains how geometry enters the story.

Weyl 1925: every representation of compact Lie group is semi-simple.

C) Beyond semi-simple representations: Kazhdan-Lusztig theory. 

Geordie talked about the group su_2 as a guide for going beyond compact lie groups and semisimplicity. A bit later toward the Kazhdan-Lusztig theory he talked about sl_n(\mathbb C ) (It should be caligraphic sl, I suppose), namely  n \times n complex matrices with trace 0.    He then proceeded to describe the Verma modules which play a central role in the story and the Kazhdan-Lusztig conjecture regarding the description of the representation on the Verma modules.  He explained that orthogonality and direct-sum structures for the compact Lie group theory was replaced by certain “canonical basis” and filtrations for algebraic structures beyond semi-simplicity.  The Kazhdan-Lusztig conjecture was settled shortly after it was posed using geometric tools along with a related conjecture by Jantzen. It took almost four decades for algebraic proofs (which gives plenty more) to be found. 

D) Shadows of Hodge theory:  Soergel’s program, Elias-Williamson’s algebraic proof for Kazhdan-Lusztig conjecture (and the positivity conjecture); and various other conjectures.   

Geordie  mentioned that his proof with Elias gives a sort of shadow of Hodge theory in cases where algebraic varieties do not exist and mentioned other cases where shadows of Hodge theory are known and expected. This is also related to June Huh’s lecture that we discussed in this post.

E) Modular representations, Lusztig’s new character formula, and the billiard conjecture

While the representation theory of the symmetric group over the complex numbers is a well developed theory, once you move to finite fields our knowledge is considerably lower. Geordie described some results and conjectures in this direction.

This reminds me that in the early nineties, Micky Ajtai was interested in applications of modular representation of S_n for computational complexity theory.

What did Cartan write to Weyl? In what year was the first algebraic proof of the Weyl theorem discovered? What was the role of Kasimir? How does Verma fit the picture? and Harish-Chandra? And why was the Kazhdan-Lusztig theory revolutionary? For all this and more, watch the video! 

 

Assaf Naor

For this talk, like the other preceding talks, the interplay between linear and non-linear objects is an important theme.

The “Ribe program” is an attempt to organize the vast world of metric spaces. Metric spaces have many connections within mathematics, pure and applied, and connections to theoretical computer science, as well as other sciences. Special cases of metric spaces which originally motivated Martin Ribe are metrics described by normed spaces, and for them there is an important well-developed theory. Ribe discovered that many properties of normed spaces are “metric properties in disguise”, and this gives an opportunity to extend notions and results from the theory of Banach spaces to general metric spaces; Spanning several decades, this program have now become a large theory. (Normed metric spaces are described by their unit balls which are centrally symmetric convex sets that we like here on the blog.) General metric spaces are much more general objects than normed spaces, and it looks like a rather wild idea that insights about normed metric spaces extend to metric spaces described by Riemannian  manifolds, complicated molecules, or by the connection-graph of the internet.  Assaf mentioned Jean Bourgain and Joram Lindenstrauss as having pioneering roles. 

“Dimension reduction” is also a very important paradigm common to many mathematical and scientific disciplines. The question is of finding useful ways of representing high dimensional data in low dimensions.  Much of Assaf’s talk was devoted to dimension reduction within the Ribe program. 

A very general framework is the question: When can you find a metric space X inside a class \cal Y of metric spaces, where “find” can refer to various notions of embeddability. Among the opening examples of a theorem in this direction, Assaf mentioned the existence of metric spaces proved by him with Eskenazis and Mendel, that you cannot “find” even in a very weak sense in any spaces of nonpositive curvature.

Dimension reduction 1: the Johnson-Lindenstrauss lemma

Johnson-Lindenstraus: Any billion vectors in a billion-dimensional vector space can be realized in 329 dimensions with distortion at most 2! 

(In general, to get a constant distortion you can go (and need to go) to \log n dimension.) 

Dimension reduction 2: From Bourgain to Matoušek

What happens when you start with an arbitrary metric space of n elements? Can you embed it in some log n-dimensional normed space? Assaf gave a proof based on volumes for why you cannot go below log n. Next came a result by Bourgain that showed that  (log n)^2/ log log n dimensions are necessary. Some years later Linial, London and Rabinovich showed that (log^2) are required, and a breakthrough 1996 result by Matoušek who showed that you need n^c dimensions for some c>0 !  Twenty years later, in 2016, Naor proved that n^c-dimensions are required even for a much weaker form of embedding where the distortion is taken on average. 

Generalized notions of expanders

Toward the end of the proof Assaf defined a generalized notion of expanders: Ordinary expanders correspond to the \ell_2-norm and there are analogous definitions for every norm. 

Again, for much more, watch the video. 

ICM 2022 St Petersburg

Our gifted columnist Alef has updated his ICM2022 drawing; he added a bit of the St. Petersburg skyline and diversified the participants. Here it is.

icm22alef

 

This entry was posted in Algebra, Analysis, Geometry, ICM2018 and tagged , , . Bookmark the permalink.

3 Responses to ICM 2018 Rio (5) Assaf Naor, Geordie Williamson and Christian Lubich

  1. Yemon Choi says:

    Minor nitpick: it is “Ribe” not “Riebe”.

    GK: Many thanks, Yemon ! Corrected.

  2. Persiflage says:

    Was this a post half-written some time ago that you decided to finish? 2018 seems a long time ago indeed. (Also a typo: trace 0 not trace 1)

    • Gil Kalai says:

      2018 seems surprisingly long time ago and indeed the post was partially written in early 2019. Maybe it is an opportunity to mention this summer’s ICM 2022 that seems, in our volatile world, a long long time ahead. (Actually my first intention in 2018 was to live-blog and write five posts from the congress itself but this was unrealistic (for me).)

      For ICM2018 there are plenty of good quality talks of all lectures and the lectures are overall very good.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s