dimanche 17 décembre 2017

Adventures in math of a quantum thinker

...once one took String Theory seriously, one soon found a lot of reasons that physicists would have to pay attention to previously unfamiliar topics in more or less modern mathematics. For example, at a basic level, a string moving in spacetime sweeps out a two-dimensional surface with the property of what mathematicians call a Riemann surface. Riemann surfaces are an important topic in the mathematics of the last century, and they became important for physicists primarily because of String Theory. 

From my vantage point, all this made the interaction of physics with more or less contemporary mathematics far more robust and significant. Opportunities to apply physics-based insights to “purely mathematical” problems stopped seeming like exceptions. 

In my own work in the years just after 1984, the development that is most worth mentioning here involves topological quantum field theory. This was partly motivated by hints and suggestions by the mathematician Michael Atiyah, who pointed to mathematical developments that he suggested should be better understood using physical insight. Other hints came from developments in physics.


Each problem here involved applying physics ideas to a problem that traditionally would have been viewed as a math problem, not a physics problem. These were all problems that I would not have seriously considered working on until String Theory broadened our horizons concerning the relations between mathematics and physics. In each case, the aim of my work was to try to show how a problem that naively is “purely mathematical” could be approached by methods of physicists. 

I will just tell you about one of these problems. It involved knots in ordinary three-dimensional space. A tangled piece of string is a familiar thing in everyday life, but probably most of us are not aware that in the 1900's, mathematicians built a deep and subtle theory of knots. By the time I became involved, which was in 1987-8, there was a puzzle, which Atiyah helped me appreciate. The mathematician Vaughn Jones had discovered a marvelous new way of studying knots – for which he later received the Fields Medal. Vaughn Jones had proved that his formulas worked, but “why they worked was mysterious. 
It may be hard for someone who does not work in mathematics or science to fully appreciate the difference between understanding “what” is true and understanding “why” it is true. But this difference is an important part of the fascination of physics and mathematics, and I guess all of science. I will say, however, that the difference between “what” and “why” depends on the level of understanding one has at a given level of time. One generation may be satisfied with the understanding of “why” something is true, and the next generation may take a closer look.  
Anyway, getting back to knots, I was able to get a new explanation of Vaughn Jones's formulas by thinking of a knot as the trajectory followed by an elementary particle in a three-dimensional spacetime. There were a few tricks involved, but many of the ideas were standard ideas of physicists. Much of the novelty was just to apply the techniques of physicists to a problem that physicists were not accustomed to thinking about. 
This work became one of my best-known contributions, among both mathematicians and physicists. But it is also an excellent illustration of something I said in my acceptance speech the other night. No matter how clever we are, what we can accomplish depends on the achievements of our predecessors and our contemporaries and the input we get from our colleagues. My ability to do this work depended very much on clues I got from work of other scientists. In several cases, I knew of these clues because colleagues pointed out the right papers to me or because the work was being done right around the corner from me by colleagues at the Institute for Advanced Study in Princeton. It also helped at a certain point to remember some of what I had learned from Sidney Coleman back when I had been at Harvard, involving yet another insight of Albert Schwarz.



Edward Witten


En 1979, j'étais à une conférence sur les théorie de jauge à Cargèse où l'un des vedettes était ... Ed Witten. Il se trouve qu'on était dans le même hôtel et que j'ai eu donc souvent l'occasion de l'écouter ; et il y a une chose qui m'a beaucoup frappé. Tandis que les autres physiciens ... parlaient toujours en termes de phénomènes, éventuellement en termes de modèles concrets testés sur ordinateurs, Witten jonglait tout le temps avec les théories ellees-mêmes, leur manière d'intéragir, de se compléter ou tout simplement d'exploser. Il me semble qu'il y a un lien direct entre cette manière de penser et la M-théorie d'aujourd'hui. 
In 1979, I was at a lecture on gauge theory at Cargèse where one of the stars was ... Ed Witten. It turns out we were in the same hotel and so I often had the opportunity to listen to him ; and there is one thing that struck me a lot. While other physicists ... always spoke in terms of phenomena, possibly in terms of concrete models tested on computers, Witten juggled all the time with theories themselves, their way of interacting, of complementing each other or simply of exploding. It seems to me that there is a direct link between this way of thinking and today's M-theory. (blogger's translation)

Valentin Poénaru 

mercredi 6 décembre 2017

Physics, Mathematics, Calculation, Experiment


As a mathematician and outsider to the world of physics, I feel that gives me a perspective which to some extent is above the fray which is taking place in theoretical physics. Experience shows that successful physical theories follow a fairly well defined sequence of major steps. The first step is the elucidation of the essential physical ideas in purely physical terms which one needs to describe the theory. The second step is to describe mathematically a system which corresponds with the physical ideas resulting from the first step. The third step is to use the mathematical system resulting in step two to make calculations which make predictions of physically interesting quantities. The fourth step is to experimentally test the predictions resulting from the third step. One might introduce a fifth step which is to modify physical ideas in step one and go through the sequence of steps again in order to make improvements in the theory. In short, the steps which can be considered as a cycle, are  
(1) Physics
(2) Mathematics
(3) Calculation
(4) Experiment 
Some comments on these steps are now in order. It is important that the physical ideas of (1) not be overly influenced by mathematics. In step one, physics must be the main consideration. In (2) on the other hand, the level of rigour should not be too high as it can prevent progress and get in the way of progress to step three. Likewise, in (3), for calculations, similarly sometimes physical ideas can be used to aid in calculation where it would not be permitted in pure mathematics. For instance, if the Weierstrass level of rigour had been required of Newton, it could have prevented the development of Newtonian mechanics. The reason that the requirements of rigour can be relaxed here is due to the final step (4) which will be the final arbiter of success. Notice that this means that if (1), (3), and (4) are omitted, all that remains is sloppy mathematics... 
Maurice J. Dupré, Department of Mathematics New Orleans, LA 70118 
18 September 2013

vendredi 24 février 2017

A propos du (pseudo) paradoxe de Banach-Tarski

Il n'y a guère de paradoxe sans utilité
Leibniz in Lettre à l'Hospital, M. S. II p302


L'axiome du choix permet de casser une boule en un nombre fini de morceaux, puis de réajuster tous ces morceaux pour former exactement une boule de rayon différent! Ce théorème connu sous le nom de paradoxe de Banach-Tarski... semble contredire que ces deux boules ont des volumes différents! Mais ce n'est pas ainsi qu'il faut le comprendre; ce résultat est en effet motivé par son corollaire, à savoir qu'il est impossible de parler du volume d'une partie arbitraire de l'espace, dès lors qu'on impose à la fonction volume de satisfaire aux trois propriétés suivantes : deux parties de l'espace exactement superposables ont même volume, le volume de la réunion d'une famille finie de parties disjointes est la somme des parties de ces parties, et deux boules de rayons différents ont des volumes différents. Ce paradoxe n'en est donc pas un, car les morceaux de boules dont il énonce l'existence sont si irréguliers qu'on ne peut pas parler de leur volume : celui-ci n'est ni nul ni non nul, il n'est tout simplement pas défini. Et bien entendu cette fraction des boules n'a pas de sens physique ...
Gilles Godefroy
Ed. Odile Jacob



The axiom of choice allows you to break a ball into a finite number of pieces, then readjust all these pieces to form exactly one ball of different radius! This theorem known as Banach-Tarski's paradox... seems to contradict that these two balls have different volumes! But this is not the way to understand it; this result is indeed motivated by its corollary, namely that it is impossible to speak of the volume of an arbitrary part of space, if the volume function is required to satisfy the following three properties: two exactly superposable parts of space have the same volume, the volume of the reunion of a finite family of disjoined parts is the sum of the parts of these parts, and two balls of different radii have different volumes. This paradox is therefore not a paradox, because the pieces of balls whose existence it states are so irregular that it is impossible to talk about their volume: it is neither zero nor non-zero, it is simply not defined. And of course this fraction of the balls has no physical meaning...
Translated with www.DeepL.com/Translator