Sunday, June 30, 2019

Birth of a Theorem by Cédric Villani

I gave up after 30 pages. The difficult mathematics was the largest but not the only barrier. 
Birth of a Theorem:
A Mathematical Adventure

by Cédric Villani, 
translated by
Malcom DeBevoise,

Farrar, Straus and Giroux,
The story follows the “Save the Cat” format. As the author says in the Preface: 
“This book tells the story of a mathematical journey, a quest, from the moment when the decision is made to venture forth into the unknown until the moment when the article announcing a new result—a new theorem—is accepted for publication in an international journal.
“Far from moving swiftly between these two points, in a straight line, the mathematician moves forward haltingly, along a long and winding road. He meets with obstacles, suffers setbacks, sometimes loses his way. As we all do from time to time.”

But if you do not know what a “cat” is (or the nuance in "save"), then saving him lacks context. 

"Ah! The Boltzmann, the most beautiful equation in the world, as
I once described it to a journalist." (page 4)
For his work, Villani was recognized with a Fermat Prize, the Henri Poincaré Prize, and, ultimately, on August 19, 2010, a Fields Medal. At the ceremony he heard the announcer: “A Fields Medal is awarded to Cédric Villani for his proofs of nonlinear Landau damping and convergence to equilibrium for the Boltzmann equation.” (Page 231) One thing I will give Villani is that he was clearly focused on winning the Fields medal (pages 61-62).

 I once read that publishers feel that every equation costs 100,000 readers. If that is so, then this book was read by one person. Pages 144-155 consist entirely of a section of a paper from Acta Mathematica. 

The same truth can be spoken in different words.
Well, OK, you speak French, but how is your Italian? I mean, they are close right? Read one, read the other? I ask because pages 129-130 consist of an email with passages of HTML code to display mathematics in the presentation layer. Villani writes: ">>therefore you are left with
\int_0 ^t \int_ v F[h^(n+1)] \cdot < ( (\nabla_v f^n) \circ \Omega^n > (x-v(t-\tau),v) \ d\tau \, dv "

Those are not just two egregious examples. The whole book is like that. 

It is not just the equations. The vocabulary is highly technical. "Yes, a Moser-style scheme. The key is that the Boltzmann operator... true, the operator is bilinear, it's not local, but even so, it's basically in divergence form--that's what makes the Moser scheme work. You make a non-linear function change, you raise the power...You need a little more than temperature, of course, there's a matrix of moments of order 2 that have to be controlled. But the positivity is the main thing." [ellipses in the original] 

You know all the words. What you do not know is their mathematical meaning. The "Boltzmann operator" is the collision operator. I had to look that up and read three links to get the meaning. But I already knew that Boltzmann's work was a statement of thermodynamics.  "Divergence" has a common meaning close the mathematical use of the Nabla operator. The Nabla is the upside down Delta. It is used to express changes in vectors. (Look for Div-Grad-Curl).  "... a matrix of moments..." is not a grid of small times. In common engineering, a moment measures force times distance to express rotation. A moment is like a lever arm, why on a teeter-totter or see-saw, 40-lb child six feet from the center can lift a 160-lb man only one foot from the fulcum. In statistics, the first, second, third, and fourth moments express mean, variance, skewness, and kurtosis. So, now, it is somewhat clearer why the matrix of second moments is related to the divergence. But not knowing the language, I have stop to look up every word.

By comparison, like any American boy, I know “something” about cars and have worked on my own over the years. I was employed by Kawasaki. I have been on projects at GM, Ford, and Honda. So, when I read that in 1998 Honda developed an experimental Formula One car, the RA099 3-liter V-10, I can say “That’s nice.” The stuff that excites motorheads is beyond me. And, so, too, here, were the plot turns lost in the dense shoptalk among specialists. 

The detours were also problematic. The author loves Manga. It is his escape from mathematics. I know the genre a little bit. Long ago, I even read some in Japanese. But rather than an inclusion, it was an exclusion. An editor warned me about that: when you write for two different audiences, you do not get the union of the sets, you get the intersection. Here, the audience is the set of mathematicians whose published works bring them to the attention of prize judges.
Previously on Necessary Facts

No comments:

Post a Comment