Archive for August 20th, 2014

ICM2014 — Khot laudatio

August 20, 2014

After McMullen’s laudatio on Mirzakhani, it was time for Sanjeev Arora to talk about the work of the Nevanlinna prize winner Subhash Khot. It was also the time that a significant proportion of the audience decided that enough was enough and left the room. The same thing happened in Hyderabad four years ago, and on both occasions I was fairly shocked: I think it shows a striking disrespect, not so much for the speaker and prizewinner, though there is that aspect too, as for theoretical computer science in general. It seems to say, “Right, that’s the interesting prizes over — now we’re on to the ones that don’t really matter.” Because I have always been interested in computational complexity and related areas, my interest in the Nevanlinna prize is comparable to my interest in the Fields medals — indeed, in some ways it is greater because there is more chance that I will properly appreciate the achievements of the winner. And the list of past winners is incredible and includes some of my absolute mathematical heroes.

When the announcement was made a few hours earlier, my knowledge of Subhash Khot could be summarized as follows.

  1. He’s the person who formulated the unique games conjecture.
  2. I’ve been to a few talks on that in the past, including at least one by him, and there have been times in my life when I have briefly understood what it says.
  3. It’s a hardness conjecture that is a lot stronger than the assertion that P\neNP, and therefore a lot less obviously true.

What I hoped to get out of the laudatio was a return to the position of understanding what it says, and also some appreciation of what was so good about Khot’s work. Anybody can make a conjecture, but one doesn’t usually win a major prize for it. But sometimes a conjecture is so far from obvious, or requires such insight to formulate, or has such an importance on a field, that it is at least as big an achievement as proving a major theorem: the Birch–Swinnerton-Dyer conjecture and the various conjectures of Langlands are two obvious examples.
(more…)