{"id":14113,"date":"2024-08-29T16:21:35","date_gmt":"2024-08-29T20:21:35","guid":{"rendered":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/?p=14113"},"modified":"2024-11-07T09:18:48","modified_gmt":"2024-11-07T14:18:48","slug":"the-terrifying-power-of-mathematics","status":"publish","type":"post","link":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/?p=14113","title":{"rendered":"The Terrifying Power of Mathematics"},"content":{"rendered":"<p>Ted Jacobson has put on the arXiv <a href=\"https:\/\/www.arxiv.org\/abs\/2408.15070\">a transcription of a 1947 Feynman letter<\/a> about his efforts to better understand the Dirac equation, in order to find a path integral formulation of it. The letter also contains some fascinating comments by Feynman about mathematics and its relation to &#8220;understanding&#8221;.  In particular I like this one:<\/p>\n<blockquote><p>the terrifying power of math. to make us say things which we don\u2019t understand but are true.<\/p><\/blockquote>\n<p>In some other places in the text he elaborates:<\/p>\n<blockquote><p>The power of mathematics is terrifying \u2013 and too many physicists finding they have the correct equations without understanding them have been so terrified they give up trying to understand them. I want to go back &#038; try to understand them. What do I mean by understanding? Nothing deep or accurate \u2014 just to be able to see some of the qualitative consequences of the equations by some method other than solving them in detail.<\/p><\/blockquote>\n<p>The Dirac equation is something wondrous and mystifying.  If one tries, like Feynman, to find a simple understanding of it in conventional geometric terms, one is doomed to failure.  It is expressing something about not the conventional geometry of vectors, but the deeper and much more poorly understood geometry of spinors. <\/p>\n<p>In terms of Feynman&#8217;s goal of finding a path integral formulation, the best answer to this problem I know of is the supersymmetric path integral.  For one place to read about this, see <a href=\"http:\/\/www.damtp.cam.ac.uk\/user\/tong\/susy\/susyqm.pdf\">David Tong&#8217;s notes<\/a>, in particular section 3.3.1.  In <a href=\"http:\/\/www.numdam.org\/article\/AST_1985__131__43_0.pdf\">this paper<\/a>, Atiyah gives a closely related interpretation of the Dirac operator in terms of an integral over the loop space of a manifold, using a formal argument in terms of differential forms on the loop space.  I don&#8217;t think either of these though are what Feynman was looking for.<\/p>\n<p>In any case, what one really cares about is not a single-particle theory, but the quantum field theory of fields satisfying the Dirac equation.  Here there&#8217;s a standard apparatus of how to calculate given in every quantum field theory textbook.  These standard calculations involving Dirac gamma-matrices fit well with Feynman&#8217;s &#8220;physicists finding they have the correct equations without understanding them have been so terrified they give up trying to understand them&#8221;.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Ted Jacobson has put on the arXiv a transcription of a 1947 Feynman letter about his efforts to better understand the Dirac equation, in order to find a path integral formulation of it. The letter also contains some fascinating comments &hellip; <a href=\"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/?p=14113\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_post_was_ever_published":false},"categories":[1],"tags":[],"class_list":["post-14113","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=\/wp\/v2\/posts\/14113","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=14113"}],"version-history":[{"count":2,"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=\/wp\/v2\/posts\/14113\/revisions"}],"predecessor-version":[{"id":14115,"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=\/wp\/v2\/posts\/14113\/revisions\/14115"}],"wp:attachment":[{"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=14113"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=14113"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=14113"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}