A Letter to the AMS

Leonid Reyzin at Boston University has drafted a letter in response to the recent article published in the Notices by Michael Wertheimer of the NSA (discussed here). He’s collecting signatures, and if you’re a member of the AMS I urge you to consider contacting him and adding yours. If you know others who might be interested in signing, please forward the link to them.

Posted in Uncategorized | 10 Comments

Short Items

  • Science magazine this week has an article and a podcast about the NSA and the AMS. AMS president David Vogan is portrayed as outraged at the NSA’s misuse of mathematics, but without much support for doing anything about it:

    But after all was said and done, no action was taken. Vogan describes a meeting about the matter last year with an AMS governing committee as “terrible,” revealing little interest among the rest of the society’s leadership in making a public statement about NSA’s ethics, let alone cutting ties. Ordinary AMS members, by and large, feel the same way, adds Vogan, who this week is handing over the presidency to Robert Bryant, a mathematician at Duke University in Durham, North Carolina. For now, U.S. mathematicians aren’t willing to disown their shadowy but steadfast benefactor.

  • Two odd things from the piece and the podcast:

    1. The NSA budget is highly classified. Essentially nothing is known about it, with estimates of its total ranging from $8 billion to $25 billion/year (by the way, can anyone tell me why that number is a secret?). Precisely one line item in their budget is publicly reported: the $4 million to the AMS-administered grant program. The AMS seems to be the only organization in the world that the NSA has a publicly disclosed relationship with.
    2. The reporter said he tried but was unable to get in contact with Richard George, the ex-NSA person who published a piece in the Notices claiming the NSA backdoor was “just innuendo”.
  • On a much more positive note, this week the New Yorker has a really wonderful piece about Yitang Zhang.
  • There’s an interview at the Huffington Post with Lenny Susskind about The Future of Physics. It looks like his point of view is that there is no known alternative, no matter what happens at the LHC, that fine-tuning is evidence for the multiverse is evidence for string theory. The only alternative now: hope for an unforseen surprise.

    [Oops, I should have noticed this was a republication of a 2006 interview. The “expect the unexpected” thing didn’t work out…]

Update: Paul Frampton tells me that he has published a book telling the story of what happened to him. It’s now available on Amazon.

Posted in Uncategorized | 21 Comments

It Really Is Just Dust

The Planck collaboration has an inimitable way of releasing important new results, they like to do it in French (see here for instance). Tonight a French Planck website contains the long-awaited news of the results from the BICEP2/Keck/Planck collaboration to reanalyze the BICEP2 data on polarized B-modes, in a way that allows proper estimation of the contribution of dust. The bottom line is that the BICEP2 claims of seeing a primordial r=.16-.20 that got a huge amount of media attention last year have been shot down. The new analysis says that r is less than .13. I don’t see a paper yet, rumor is that the paper will be on the arXiv Monday night.

My understanding is that full polarization results from Planck’s own data are still not quite ready, as has been the case for quite a while now.

Hat tip for this news to Steve (retired LLNL physicist). Thanks Steve!

Update: The Planck collaboration now has information available about this (in English!). An NSF version is here, NBC News here. It still looks like we’ll have to wait until next week for the paper, which has been submitted to PRL.

Update: The paper is now available here.

Posted in Uncategorized | 31 Comments

Mathematics Without Apologies

If you’d asked me ten years ago to describe a book I’d love to read that could be characterized as part of an “incredibly unlikely trend in books about math for the general public”, I might have chosen “brilliant meditations on the practice of mathematics and on mathematics at the deepest level, from first-rate mathematicians, focusing on the Langlands program, with expert-level discussion of the subject.” And yet, here we are, not much more than a year after Edward Frenkel’s Love and Math, with the publication last week of another very different but equally fascinating example of exactly this trend: Michael Harris’s Mathematics Without Apologies. If you are interested at all in what mathematics really is and what the best mathematicians really do (and you’re up for an intellectual challenge) I highly recommend that you get a copy and set some time aside for delving into this unusual book.

While Harris shares many of Frenkel’s themes and concerns, his style is very different, favoring density, indirectness, the post or post-post-modern, and deep engagement with history, philosophy and sociology. Only one of these two authors assumes a familiarity with Max Weber. Where Frenkel is ever guileless and straight-forward, Harris has a whole chapter on the “trickster”, taking some pride in being known for “Harris’s tensor product trick.” While reading, more than once one wonders whether one is really supposed to take something seriously (for instance, there’s quite a long bit about Thomas Pynchon’s novels and conic sections…).

Normally when I’m reading a book I want to later write about, my practice is to fold down the corners of pages that contain something new, unexpected, especially insightful, or something I’d really like to argue with. Then I can start writing by reviewing those pages. My problem with this book is that I ended up folding down the corners of a large fraction of the pages, so when I sat down to write, my usual method would force me to reread pretty much the entire book. Not a bad idea, since I’m convinced I missed a lot the first time through, but other tasks beckon and it’s not a quick read.

I’m not sure I can do much better here than randomly list a few of the themes of the book: the pleasures of doing mathematics, the role of pure mathematicians in society (Wall Street!) and many forms of art and culture, how best to explain number theory to an insightful actress, the philosophy of mathematics and philosophy of Mathematics (two different things), Indian Metaphysics, n-categories, the yoga of motives, Voevodsky’s univalent foundations, the life and thought of Alexander Grothendieck and Robert Langlands, etc., etc. There’s also serious doses of sex (including an extensive discussion of Frenkel’s film), drugs (from Erdos to Andreas Floer to late nights at Oberwolfach) and rock and roll (from the “Math Rock” genre which I’d never heard of before to the IAS house band “Do Not Erase”).

Harris manages to move back and forth between the deepest ideas about mathematics at the frontiers of the subject, insightful takes on the sociology of mathematical research, and a variety of topics pursued in a sometimes gonzo version of post-modern academic style. You will surely sometimes be baffled, but definitely will come away knowing about many things you’d never heard of before, and with a lot of new ideas to think about.

For some more about the book, including some early versions of some chapters, see Harris’s website here.

Update: Princeton University Press now has a Q and A with Harris about the book up here.


Update
: The book now has a blog.

Posted in Book Reviews | 8 Comments

Snowpocalypse 2015

For the last few days the media in New York have been filled with continuous frantic warnings of the deadly storm of the century bearing down on the city. Grocery stores have been emptied, with long lines of desperate people trying to stock up on supplies.

Midday yesterday Columbia announced that classes were canceled starting at 3pm, Barnard went one hour better, canceling classes starting at 2pm. The city announced that it would be illegal to be in the parks after 6pm (a snow-covered branch might fall on you), the transit system would start shutting down at 7pm and by 11pm there would be no public transit, and all roadways in the entire tri-state area would be closed to non-emergency traffic. The mayor’s office warned people not to try and order takeout delivery since it would be illegal for the delivery people to travel on the streets to deliver it.

By late afternoon the university was deserted, and stores on Broadway had signs announcing early closing due to the impending disaster. Weather reports the day before had said the storm would start at 1pm Monday, but by early evening there hadn’t been much more than snow flurries, with maybe an inch or two total accumulation. When I went to sleep around midnight, the city was completely locked down, with the TV news channels filled with blaring warnings of the two to three feet of snow about to arrive, interspersed with press conferences from public officials telling people to barricade themselves in their homes and not go outside.

The strange thing about this was that if you actually looked at the weather report, they were now forecasting 3-5 inches of snow overnight. Waking up in the morning and looking out the window, all that was visible were more flurries, and a total accumulation of 2-3 inches, with the streets clear. Turning on the TV news, the huge “Blizzard of 2015″ logos were still up, and camera crews seem to have been sent out to search the region (mostly unsuccessfully) for a snow drift to put a reporter in front of. The contrast between looking out the window and watching TV was pretty dramatic.

Anyway, my class today is canceled, so students will have to wait until Thursday to hear more about the mathematics of quantization of the harmonic oscillator (complex structures, squeezed states, coherent states). Lecture notes still being worked on, but this is chapter 21 of the current notes.

Columbia never used to shut down at all, New York City never used to shut down the transit system, and the states never used to shut down all roadways. Until the past decade or so people tried to go about their business here in the winter, taking action to shut things down only once snow had arrived and was causing a problem. The US has now become a nation of hysterics, with media-driven hype frightening everyone about everything, and public officials desperately taking action to protect the citizenry from imaginary threats.

Luckily for us all, people cowering in their homes do have the internet and can still learn quantum mechanics. MIT has just announced that edX will have an online version of their quantum course, Mastering Quantum Mechanics, which looks quite good and will start February 10. The instructor will be Barton Zwiebach, and I’m glad to see that one of the topics covered will be squeezed and coherent states of the harmonic oscillator.

Posted in Uncategorized | 39 Comments

The NSA, NIST and the AMS, Part II

Last summer I wrote here about an article in the AMS Notices which appeared to make misleading claims about the NSA’s involvement in putting a backdoor in an NIST cryptography standard known as DUAL_EC_DRBG. The article by Richard George, a mathematician who worked at the NSA, addressed the issue of the NSA doing this kind of thing by discussing an example of past history when they were accused of doing this, but were really actually strengthening the standard. He then went on to claim that:

I have never heard of any proven weakness in a cryptographic algorithm that’s linked to NSA; just innuendo.

This appears to be a denial of an NSA backdoor in the standard, while not saying so explicitly. If there is a backdoor, as most experts believe and the Snowden documents indicate, this was a fairly outrageous use of the AMS to mislead the math community and the public. At the time I argued with some at the AMS that they should insist that George address explicitly the question of the existence of the backdoor, but didn’t get anywhere with that. One of their arguments was that George was speaking for himself, not the NSA.

The question of fact here is a very simple and straightforward mathematical one: how was the choice used in the standard of points P and Q on an elliptic curve made? There is a known way to do this that provides a backdoor. Did the NSA use this method, or some other one for which no backdoor is known? The NSA refused to cooperate with the NIST investigation into this question. The only record of what happened when the NIST asked about how P and Q were chosen early on in the development of the standard is this, which indicates that people were told by the NSA that they were not allowed to publicly discuss the question.

Remarkably, the latest AMS Notices has a new article with an extensive discussion of the DUAL_EC_DRBG issue, written by mathematician Michael Wertheimer, the NSA Director of Research. At first glance, Wertheimer appears to claim that the NSA was unaware of the possibility of a backdoor:

With hindsight, NSA should have ceased supporting the dual EC_DRBG algorithm immediately after security researchers discovered the potential for a trapdoor. In truth, I can think of no better way to describe our failure to drop support for the Dual_EC_DRBG algorithm as anything other than regrettable.

On close reading though, one realizes that Wertheimer does not address at all the basic question: how were P and Q chosen? His language does not contain any actual denial that P and Q have a backdoor.

For a careful examination of the Wertheimer piece by an expert, see this from Matthew Green. Green concludes that

… it troubles me to see such confusing statements in a publication of the AMS. As a record of history, Dr. Wertheimer’s letter leaves much to be desired, and could easily lead people to the wrong understanding.

In a recent podcast on the subject Green states

I think it’s still going on… I think that the NSA has really adopted a policy of tampering with cryptographic products and they’re not going to give that up. I don’t think that this is a time that they want to go out admitting what they did in this particular case as a result of that.

Given that this is now the only official NSA statement about the DUAL_EC_DRBG issue, the Notices article has drawn a lot of attention, see for instance here. The Register summarizes the story with the headline NSA: So sorry we backed that borked crypto even after you spotted the backdoor.

The publication of the George and Wertheimer pieces by the AMS has created a situation where there are just two possibilities:

  • Despite what experts believe and Snowden documents indicate, the NSA chose P and Q by a method that did not introduce a backdoor. For some reason though they are unwilling to state publicly that this is the case.
  • P and Q were chosen with a backdoor, and the AMS has now repeatedly been used to try and mislead the mathematics community about this issue.

I’ve contacted someone at the AMS to try and find out whether the question of a backdoor in P and Q was addressed in the refereeing process of the article, but been told that they won’t discuss this. I think this is an issue that now needs to be addressed by the AMS leadership, specifically by demanding assurances from Wertheimer that the NSA did not choose a backdoored P and Q. If this is the case I can see no reason why such assurances cannot be provided. If the NSA and Wertheimer won’t provide this, I think the AMS needs to immediately cut off its cooperative programs with the agency. There may be different opinions about the advisability of such programs, but I don’t think there can be any argument about the significance of the AMS being used by the NSA to mislead the mathematics community.


Update
: There’s an Ars Technica story here, with a peculiar update of its own:

An NSA spokesperson emailed Ars on Friday to say Wertheimer retired in the fall of 2014 and submitted the article after he left his position. The Notices article made no mention of his retirement.

Another odd thing about the Wertheimer piece is that in a different part of it he seems to reveal what I would have thought the NSA considered a closely held piece of information about Taliban communication methods (see here). If he can discuss that publicly, why can’t he say whether P and Q were backdoored?

Update: This is getting international attention, with le Monde reporting the AMS Notices piece as an admission by the NSA that they backdoored DUAL_EC_DRBG.

Update: The NIST has put out a revised draft on its cryptographics standards process and asked for comments. On the NSA problem, it says that no changes have been made to the NSA-NIST Memorandum of Understanding, and that

cooperation with NIST is governed by an MOU between the two agencies and technical staff meet monthly to discuss ongoing collaborative work and future priorities.

It seems (see the NIST VCAT report) that, despite its obligations under the MOU, the NSA has refused to explain what it did with regards to compromising the DUAL_EC_DRBG standard, and experts believe (see above) that the NSA is committed to continuing to tamper with cryptographic products. Under these circumstances I don’t see how the NIST can expect anyone to not be suspicious of their standards.

A promise is made to identify NSA contributions to standards, but a footnote says that names of some NSA staff cannot be revealed and that documents involving NIST-NSA collaboration provided in response to FOIA requests may be redacted. I don’t see anything here that would keep the NSA from misleading or corrupting NIST staff to produce a backdoored standard, while keeping their input out of any record available to the public.

Posted in Uncategorized | 23 Comments

Short Items

  • The latest issue of the New York Review of Books has an article about the new Turing film, explaining in detail how it gets pretty much everything completely wrong about Turing and his story (see my review here). In related news, this week it was announced that the film is one of the final Oscar nominees for Best Adapted Screenplay.
  • The DESY research magazine femto has a sequence of articles about the LHC, SUSY and BSM physics.
  • The Swedish Research Council has just announced a ten-year grant of $60 million SEK (about $7 million) to bring Frank Wilczek to Stockholm University.
  • Mike Duff has some complaints about the Dean Rickles “A Brief History of String Theory” (for mine, see here.)
  • Jim Stewart, a mathematician who became wealthy based on his popular Calculus book (which we use here at Columbia) passed away last month at the age of 73. For more about him, see here and here. I had the pleasure of meeting him a couple times, with one occasion including a tour of his remarkable home in Toronto, Integral House.
  • For a new book about a certain mathematical point of view on QFT, see Factorization algebras in quantum field theory, by Kevin Costello and Owen Gwilliam.
  • Quanta magazine has a nice article by Kevin Hartnett on Ciprian Manolescu’s work on the triangulation conjecture.


Update:
One more. The Yale Art Gallery now has an exhibition of prints based on equations chosen and drawn by well-known mathematicians and physicists. It’s called The Art of the Equation, and impresario of the project Dan Rockmore will be discussing it there at 5:30 on Thursday January 22.

Posted in Uncategorized | 23 Comments

Back

Now back from vacation, and as far as I can tell, not much happened while I was away. Here are a few things I’ve seen that may be of interest:

  • Mochizuki has posted a long progress report on “activities devoted to the verification of IUTeich.” New Scientist has an article about this here, which quotes Minhyong Kim making comments I think most experts would agree with:

    Some mathematicians say Mochizuki must do more to explain his work, like simplifying his notes or lecturing abroad. “I sympathise with his sense of frustration but I also sympathise with other people who don’t understand why he’s not doing things in a more standard way,” says Kim. It isn’t really sustainable for Mochizuki to teach people one-on-one, he adds, and any journal would probably require independent reviewers who have not studied under Mochizuki to verify the proof.

    Lieven Le Bruyn has a less charitable take (see here and here):

    If you are a professional mathematician, you know all too well that the verification of a proof is a shared responsability of the author and the mathematical community. We all received a referee report once complaining that a certain proof was ‘unclear’ or even ‘opaque’?

    The usual response to this is to rewrite the proof, make it crystal-clear, and resubmit it.

    Few people would suggest the referee to spend a couple of years reading up on all their previous papers, and at the same time, complain to the editor that the referee is unqualified to deliver a verdict before (s)he has done so.

    Mochizuki is one of these people.

    His latest Progress Report reads more like a sectarian newsletter.

    There’s no shortage of extremely clever people working in arithmetic geometry. Mochizuki should reach out to them and provide explanations in a language they are used to.

    Mochizuki’s progress report strikes me as quite an odd document, especially in its insistence that experts need:

    to deactivate the thought patterns that they have installed in their brains and taken for granted for so many years and then to start afresh, that is to say, to revert to a mindset that relies only on primitive logical reasoning, in the style of a student or a novice to a subject.

    He at times seems to be arguing that his ideas are nearly disconnected from the rest of known mathematics, and the only way to understand why the abc conjecture is true. This is highly implausible, since the great beauty and strength of mathematics is the way in which deep ideas are interconnected, with many paths from one place to another. If he wants to convince people that he really has what he claims, the best way to do it would be to follow the conventional route: write himself a document giving an exposition of a proof of abc, in as clear and simple terms as possible.

    Unfortunately, that doesn’t seem to be what he has planned, with his efforts devoted to getting others to start from the beginning and master his long series of papers. If this works, at some point there will be others able to write up a proof of abc using his ideas, and when that happens, experts may have something they can work with. This looks now like a story that is going to go on for a long time…

  • The last couple weeks in Jerusalem there was a Winter School on General Relativity. It included a final session (video here) largely devoted to defending string theory as the one true path to quantum gravity. This included a panel discussion where Carlo Rovelli held his own in a battle of the LQG/string wars, with him ganged up on by Gross and Arkani-Hamed. Mostly I don’t think there were any new arguments, just a rehash of the tediously familiar. Gross did give an enthusiastic call for all students to read the Dawid book discussed here.
    For yet another promotional effort about strings, one that seems like it could have been written exactly the same way twenty years ago, see here.
  • One new argument from the Rovelli side was to point out that “Nature talks”, and what it has said at the LHC so far is that SUSY is not there, blowing a big hole in the expectations of the superstring theory community. The Economist has a piece about how the upcoming LHC run at 13 TeV will be:

    the last throw of the dice for the theory, at least in its conventional form.

    As often the case though, the article misrepresents the strength of arguments for SUSY:

    But, though the Standard Model works, it depends on many arbitrary mathematical assumptions. The conundrum is why these assumptions have the values they do. But the need for a lot of those assumptions would disappear if the known particles had heavier partner particles: their supersymmetric twins.

    This is pretty much complete nonsense, since the problem with SUSY has always been that it doesn’t actually explain why the SM model parameters take the values that they do, and this has always been the best reason to be skeptical about it.

    On the other hand, the Economist and Rovelli do get the basic story right: Nature talks, and if what it says in LHC Run 2 is that the theoretical physics community has been barking up the wrong tree for the last forty years, it will be interesting to see if theorists are still willing to listen.

Posted in Uncategorized | 32 Comments

Winter Break

Blogging here should be light to non-existent for a while, with family holiday celebrations tomorrow and departure for a trip to Europe the day after. Travel plans still in flux, but the general idea is to head south after arriving in Paris, spend a couple weeks on the road and mostly in Italy, end up back in Paris January 6, back to New York on the 11th.

I somehow seem to have caused in the last posting (see the comment section there) an eruption of an even odder version of the kinds of attacks from string theorists that were common in 2006, a period known to aficionados as the “String Wars”. The new version is more like the “Multiverse Wars”. From past experience I know that involvement in such things is not a good way to spend your vacation, so I think when I head to the airport I’ll likely shut off comments. In the meantime, I hope the holiday spirit will reign…

Update
: Off on vacation, comments will be off. Some last minute links that may be of interest:

Posted in Uncategorized | 6 Comments

Dualities

There’s a very interesting new paper on the arXiv by Joe Polchinski, a survey article for Studies in History and Philosophy of Modern Physics, entitled just Dualities. It’s an unusually lucid summary of the story of dualities in quantum field theory and string theory. This is a very complex subject which has been a central one in theoretical physics for the last few decades, but most expository writing on the subject has tended to be either superficial promotional material or mired in technical detail obscuring fundamental issues.

One reason for this is that, as Polchinski does an admirable job of making clear, in a very real sense we still do not understand at all the fundamental issues raised by these dualities. He notes that “we are still missing some big idea”, and points to the same comments from Nati Seiberg last month that I blogged about here. For most of the dualities at issue, our current standard technology for dealing with QFTs (the Lagrangian and the path integral over classical fields) is capable of capturing the two QFTs that are in some sense “dual”, but we lack a viable larger framework that would give the two QFTs in two different limits and explain the duality relationship.

For an example of the problem, probably the oldest and most well-studied case where we are missing something is Montonen-Olive duality, a non-abelian duality between electric and magnetic charges and fields. A currently popular idea is to find the explanation of this in “Theory X”, a 6d superconformal QFT, with duality coming from compactifying the theory on a torus (for more about this, see talks last week in Berkeley). The problem with this is that we don’t have a definition of the “Theory X”.

Polchinski places this problem in the context of a conjectural “M-theory” with various string theory limits. This has been the dominant idea in the subject for nearly 20 years now, but we seem no closer now to finding an actual realization of this conjectural picture than we were back in the mid-90s. Twenty years and thousands of papers have just given better understanding that various possible ideas about this don’t work.

One place where I think Polchinski’s survey is weak is in the treatment of this conjecture, where at times he takes as solid result something highly conjectural. For instance he starts off at one point with:

String-string dualities imply that there is a unique string/M-theory.

and moves on to the conjecture that

In this sense it may be that every QFT can be understood as a vacuum state of string/M-theory.

The problem here is that he’s built a speculative view of the unification of physics, constructed on an assumption about a “unique” theory, when we don’t know at all that such a thing exists. One basic lesson of mathematical research is that you need to keep very clear the distinction between what you really understand and what is speculation, because your speculation is often wrong and if so will lead you in the wrong direction. I think particle theory of recent decades likely suffers from people forgetting that some ideas are speculative, not firmly grounded, and may be pointing in the wrong direction.

One wrong direction this takes Polchinski is to the non-predictive, pseudo-scientific landscape of supposed string theory solutions and the multiverse, which he blithely invokes as our best fundamental explanation of physics. Tellingly, unlike the clear explanations of other topics, here he makes no attempt to describe these ideas other than to note that

they rest on multiple approximations and no exact theory.

In a final section, Polchinski addresses the question of what all this tells us about what is “fundamental” and what is the role of symmetries. This is the crucial question, and I’d argue that our lack of understanding of where these dualities come from likely is due to our missing some understanding of how symmetries are realized in QFT or string theory. This has been the lesson of history, with the Standard Model only coming into being when people better understood how symmetries, especially gauge symmetries, could act in QFT. Polchinski largely takes the opposite point of view, arguing that the fundamental theory maybe has no symmetries, local or global. He quotes Susskind as suggesting that symmetries have nothing to do with fundamental equations, are just calculational tools for finding solutions. I think this is completely misguided, that a strong case can be made (and I do it here) that “symmetry” (in the sense of the mathematics of groups and their representations) lies at the very foundation of quantum mechanics, and thus any quantum mechanical theory, even string/M-theory, whatever it might be.

Wondering whether there will be an arXiv trackback to this, and whether Polchinski has something to say about it…

Update: The arXiv Monday evening has a large collection of excellent review articles entitled “Exact results on N=2 supersymmetric gauge theories”, edited by J.Teschner (first is arXiv:1412.7118, last arXiv:1412.7145). Some of the results reviewed are based on deriving implications of the existence of the 6d (2,0) models discussed here and in the comment section.

Update: I’ve put this blog posting in the Multiverse Mania category, not because of the posting content, but because of comments in the comment section from Polchinski and Bousso.

Posted in Multiverse Mania | 61 Comments