Yang–Mills for Mathematicians Infosys-ICTS Ramanujan Lectures: Lecture 1

Total Page:16

File Type:pdf, Size:1020Kb

Yang–Mills for Mathematicians Infosys-ICTS Ramanujan Lectures: Lecture 1 Yang{Mills for mathematicians Infosys-ICTS Ramanujan Lectures: Lecture 1 Sourav Chatterjee Sourav Chatterjee Yang{Mills for mathematicians What is this talk about? I I am going to give you a heavily compressed exposition of a very long story, and four open problems. I There will be reading references at the end, if you want to seriously learn about it. I Physicists are generally familiar with most of what I'm going to say, but mathematicians are not. This talk is for mathematicians. Sourav Chatterjee Yang{Mills for mathematicians Quantum field theories I Quantum field theories explain interactions between elementary particles and make predictions about their behaviors. I Encapsulated by the Standard Model. I Yang{Mills theories are certain kinds of important quantum field theories that constitute the standard model. I What is a QFT? | This is an open question, not only in mathematics, but also in physics. I Remarkably, physicists can calculate and make surprisingly accurate predictions using QFTs, without really understanding what these objects are! I The mathematical construction of quantum field theories | more specifically Yang{Mills theories | is one of the seven millennium problems posed by the Clay Institute. Sourav Chatterjee Yang{Mills for mathematicians QFT basics 4 I Spacetime: R . Restricted Lorentz transforms: A group of 4 linear transformations of R . I Poincar´egroup P consists of all (a; Λ), where Λ is a restricted 4 Lorentz transformation and a 2 R . 4 I P acts on R as (a; Λ)x = a + Λx. I Special relativity: The laws of physics remain invariant under change of coordinates by the action of the Poincar´egroup. I A quantum field theory models the behavior of a physical system (e.g. a collection of elementary particles) using: I a Hilbert space H, and I a (projective) unitary representation U of P in H. I Assumptions: I To an observer, the state of the system appears as some vector 2 H. If is known, we can compute probabilities of events. I To a different observer, who is using a coordinate system obtained by the action of (a; Λ) on the coordinate system of the first observer, the state appears as U(a; Λ) . Sourav Chatterjee Yang{Mills for mathematicians Time evolution I Suppose a stationary observer at spatial location (0; 0; 0) observes the physical system in state at time 0. I After time has evolved by t, the observer is in a new coordinate system obtained by the action of ((−t; 0; 0; 0); Id.) on the original coordinate system. (The spacetime point (t; x; y; z) in the original coordinate system becomes (0; x; y; z) in the new coordinate system.) I Thus, after time t, the system will appear to the observer as being in state U((−t; 0; 0; 0); Id.) . I It can be proved that there is a self-adjoint operator H on H so that for any t, U((−t; 0; 0; 0); Id.) = e−itH . I H is called the Hamiltonian. I If a different observer was at (x; y; z) at time 0, and moves with constant velocity v for time t, he will observe the system to be in state U((−t; x; y; z); Λ) , where Λ is a restricted Lorentz transformation depending on v. Sourav Chatterjee Yang{Mills for mathematicians Quantum field I Suppose we are given H and U. 4 I A quantum field ' is a hypothetical function on R , which 4 when integrated against a smooth test function on R , yields an operator on H. I To put it more succinctly, it is an operator-valued distribution. I The quantum field ' related to our physical system is a field that satisfies '(a + Λx) = U(a; Λ)'(x)U(a; Λ)−1: I The field ' is used for calculating probabilities of events and expected values of various observables. In fact, it becomes the central object of interest in the study of the system. Sourav Chatterjee Yang{Mills for mathematicians Wightman axioms I The most popular approach to giving a fully rigorous definition of a quantum field theory is via the Wightman axioms. I These axioms are essentially a more precise version of what I described in the previous slides. I They include some additional conditions (such as `locality') that must be satisfied by H, U and ', and some assumptions about the existence and properties of a unique vacuum state Ω 2 H of our system. (This the lowest eigenstate of H.) I The axioms give the bare minimum conditions required to avoid physical inconsistencies. I It has been possible to construct certain simple QFTs, known as free fields, which satisfy the Wightman axioms. I Free fields describe trivial systems of particles that do not interact with each other. I Unfortunately, no one has been able to rigorously construct a nontrivial (interacting) QFT satisfying the Wightman axioms. Sourav Chatterjee Yang{Mills for mathematicians Calculations??? I If we cannot even define the theory, how can we calculate? I Physicists get around this problem by doing perturbative expansions around free fields. I That is, they assume that the desired QFT is a `small perturbation' of the free field (which is well-defined), and do a kind of Taylor expansion around it. I The calculations involve Feynman diagrams and renormalization. I However, there is a rigorous theorem due to Haag, which says that the Hilbert space for an interacting theory cannot be the same as the Hilbert space for a non-interacting theory. I So it is not clear how one can justify such a perturbative expansion. In fact, in most cases it is not clear what the new Hilbert space is! I And yet, in many cases, these calculations yield results that match experiments to remarkable degrees of accuracy. Sourav Chatterjee Yang{Mills for mathematicians The probabilistic approach (Constructive QFT) I There is a probabilistic approach to constructing QFTs that satisfy the Wightman axioms. It goes as follows: 4 I First, construct a random field ξ on R whose probability law is related to the desired QFT in a certain way. Usually this is a random distribution, and not a random function. I ξ is called a Euclidean QFT. I Show that ξ satisfies a set of conditions known as the Osterwalder{Schrader axioms. I If this is true, then there is a reconstruction theorem that allows us to construct the desired QFT (i.e., H, U, ' and Ω.) I In general, the QFT is nontrivial if and only if the field ξ is non-Gaussian. I The program, initiated in the 60s, was successful in constructing nontrivial QFTs when the dimension of spacetime was reduced from 4 to 2 or 3 | but not yet in dimension 4. 4 I The most notable achievements were the constructions of '2 4 and '3 theories (in spacetime dimensions 2 and 3, respectively). Sourav Chatterjee Yang{Mills for mathematicians Yang{Mills theories 4 I ' theories are mathematically interesting, but describe no real physical system. I To venture into the real world, one has to consider 4D Yang{Mills theories. I These are QFTs that describe interactions between real elementary particles. I The question is completely settled in 2D. I There was a tremendous amount of work on rigorously constructing Yang{Mills theories in 3D and 4D, by Ba laban and others. I However, the investigation was inconclusive and the question is still considered to be open. I Even the first step in the probabilistic approach, namely, the construction of a random field, remains open. We will now talk about that. Sourav Chatterjee Yang{Mills for mathematicians Euclidean Yang{Mills theories I Recall that the first step in the probabilistic approach to constructing QFTs is the construction of a suitable random field, known as a Euclidean QFT. I For Yang{Mills theories, these random fields are called Euclidean Yang{Mills theories. I These have not yet been constructed in spacetime dimensions 3 and 4. I Euclidean Yang{Mills theories are supposed to be scaling limits of lattice gauge theories, which are well-defined discrete probabilistic objects, which I will now discuss. Sourav Chatterjee Yang{Mills for mathematicians Lattice gauge theories I Let d = dimension of spacetime, and G be a matrix Lie group. (Most important: d = 4 and G = SU(2) or SU(3).) I The lattice gauge theory with gauge group G on a finite set d Λ ⊆ Z is defined as follows. I Suppose that for any two adjacent vertices x; y 2 Λ, we have a group element U(x; y) 2 G, with U(y; x) = U(x; y)−1. I Let G(Λ) denote the set of all such configurations. I A square bounded by four edges is called a plaquette. Let P(Λ) denote the set of all plaquettes in Λ. I For a plaquette p 2 P(Λ) with vertices x1; x2; x3; x4 in anti-clockwise order, and a configuration U 2 G(Λ), define Up := U(x1; x2)U(x2; x3)U(x3; x4)U(x4; x1): I The Wilson action of U is defined as X SW(U) := Re(Tr(I − Up)): p2P(Λ) Sourav Chatterjee Yang{Mills for mathematicians Definition of lattice gauge theory contd. I Let σΛ be the product Haar measure on G(Λ). I Given β > 0, let µΛ,β be the probability measure on G(Λ) defined as 1 dµ (U) := e−βSW(U)dσ (U); Λ,β Z Λ where Z is the normalizing constant. I This probability measure is called the lattice gauge theory on Λ for the gauge group G, with inverse coupling strength β. I An infinite volume limit of the theory is a weak limit of the d above probability measures as Λ " Z (may not be unique).
Recommended publications
  • Spontaneous Symmetry Breaking in Particle Physics: a Case of Cross Fertilization
    SPONTANEOUS SYMMETRY BREAKING IN PARTICLE PHYSICS: A CASE OF CROSS FERTILIZATION Nobel Lecture, December 8, 2008 by Yoichiro Nambu*1 Department of Physics, Enrico Fermi Institute, University of Chicago, 5720 Ellis Avenue, Chicago, USA. I will begin with a short story about my background. I studied physics at the University of Tokyo. I was attracted to particle physics because of three famous names, Nishina, Tomonaga and Yukawa, who were the founders of particle physics in Japan. But these people were at different institutions than mine. On the other hand, condensed matter physics was pretty good at Tokyo. I got into particle physics only when I came back to Tokyo after the war. In hindsight, though, I must say that my early exposure to condensed matter physics has been quite beneficial to me. Particle physics is an outgrowth of nuclear physics, which began in the early 1930s with the discovery of the neutron by Chadwick, the invention of the cyclotron by Lawrence, and the ‘invention’ of meson theory by Yukawa [1]. The appearance of an ever increasing array of new particles in the sub- sequent decades and advances in quantum field theory gradually led to our understanding of the basic laws of nature, culminating in the present stan- dard model. When we faced those new particles, our first attempts were to make sense out of them by finding some regularities in their properties. Researchers in- voked the symmetry principle to classify them. A symmetry in physics leads to a conservation law. Some conservation laws are exact, like energy and electric charge, but these attempts were based on approximate similarities of masses and interactions.
    [Show full text]
  • Phase with No Mass Gap in Non-Perturbatively Gauge-Fixed
    Phase with no mass gap in non-perturbatively gauge-fixed Yang{Mills theory Maarten Goltermanay and Yigal Shamirb aInstitut de F´ısica d'Altes Energies, Universitat Aut`onomade Barcelona, E-08193 Bellaterra, Barcelona, Spain bSchool of Physics and Astronomy Raymond and Beverly Sackler Faculty of Exact Sciences Tel-Aviv University, Ramat Aviv, 69978 ISRAEL ABSTRACT An equivariantly gauge-fixed non-abelian gauge theory is a theory in which a coset of the gauge group, not containing the maximal abelian sub- group, is gauge fixed. Such theories are non-perturbatively well-defined. In a finite volume, the equivariant BRST symmetry guarantees that ex- pectation values of gauge-invariant operators are equal to their values in the unfixed theory. However, turning on a small breaking of this sym- metry, and turning it off after the thermodynamic limit has been taken, can in principle reveal new phases. In this paper we use a combination of strong-coupling and mean-field techniques to study an SU(2) Yang{Mills theory equivariantly gauge fixed to a U(1) subgroup. We find evidence for the existence of a new phase in which two of the gluons becomes mas- sive while the third one stays massless, resembling the broken phase of an SU(2) theory with an adjoint Higgs field. The difference is that here this phase occurs in an asymptotically-free theory. yPermanent address: Department of Physics and Astronomy, San Francisco State University, San Francisco, CA 94132, USA 1 1. Introduction Intro Some years ago, we proposed a new approach to discretizing non-abelian chiral gauge theories, in order to make them accessible to the methods of lattice gauge theory [1].
    [Show full text]
  • 8 Non-Abelian Gauge Theory: Perturbative Quantization
    8 Non-Abelian Gauge Theory: Perturbative Quantization We’re now ready to consider the quantum theory of Yang–Mills. In the first few sec- tions, we’ll treat the path integral formally as an integral over infinite dimensional spaces, without worrying about imposing a regularization. We’ll turn to questions about using renormalization to make sense of these formal integrals in section 8.3. To specify Yang–Mills theory, we had to pick a principal G bundle P M together ! with a connection on P . So our first thought might be to try to define the Yang–Mills r partition function as ? SYM[ ]/~ Z [(M,g), g ] = A e− r (8.1) YM YM D ZA where 1 SYM[ ]= tr(F F ) (8.2) r −2g2 r ^⇤ r YM ZM as before, and is the space of all connections on P . A To understand what this integral might mean, first note that, given any two connections and , the 1-parameter family r r0 ⌧ = ⌧ +(1 ⌧) 0 (8.3) r r − r is also a connection for all ⌧ [0, 1]. For example, you can check that the rhs has the 2 behaviour expected of a connection under any gauge transformation. Thus we can find a 1 path in between any two connections. Since 0 ⌦M (g), we conclude that is an A r r2 1 A infinite dimensional affine space whose tangent space at any point is ⌦M (g), the infinite dimensional space of all g–valued covectors on M. In fact, it’s easy to write down a flat (L2-)metric on using the metric on M: A 2 1 µ⌫ a a d ds = tr(δA δA)= g δAµ δA⌫ pg d x.
    [Show full text]
  • Existence of Yang–Mills Theory with Vacuum Vector and Mass Gap
    EJTP 5, No. 18 (2008) 33–38 Electronic Journal of Theoretical Physics Existence of Yang–Mills Theory with Vacuum Vector and Mass Gap Igor Hrnciˇ c´∗ Ludbreskaˇ 1b HR42000 Varazdinˇ , Croatia Received 7 June 2008, Accepted 20 June 2008, Published 30 June 2008 Abstract: This paper shows that quantum theory describing particles in finite expanding space–time exhibits natural ultra–violet and infra–red cutoffs as well as posesses a mass gap and a vacuum vector. Having ultra–violet and infra–red cutoffs, all renormalization issues disappear. This shows that Yang–Mills theory exists for any simple compact gauge group and has a mass gap and a vacuum vector. c Electronic Journal of Theoretical Physics. All rights reserved. Keywords: Finite Expanding Space–time; Yang–Mills fields; Renormalization; Regularization; Mass Gap; Vacuum Vector PACS (2006): 12.10.-g; 12.15.-y; 03.70.+k; 11.10.-z; 03.65.-w 1. Introduction All the particle interactions – beside gravitational interactions – are today decribable by Standard model. Main theoretical tool for Standard model is Yang–Mills action. This action is able to describe all the possible particle interactions experimentally observed so far – including strong nuclear interactions. The bad part is that there are some issues regarding quantum theory in general. First issue is that any higher order correction in the perturbation calculations is singular – there are infra–red and ultra–violet catastrophes in calculations. Many mathe- matical methods have been devised over last half a century in order to cure singularities, but problem of renormalization still remains. Second issue is that in order to have confined particles, spectrum should exhibit a mass gap.
    [Show full text]
  • 3. Interacting Fields
    3. Interacting Fields The free field theories that we’ve discussed so far are very special: we can determine their spectrum, but nothing interesting then happens. They have particle excitations, but these particles don’t interact with each other. Here we’ll start to examine more complicated theories that include interaction terms. These will take the form of higher order terms in the Lagrangian. We’ll start by asking what kind of small perturbations we can add to the theory. For example, consider the Lagrangian for a real scalar field, 1 1 λ = @ @µφ m2φ2 n φn (3.1) L 2 µ − 2 − n! n 3 X≥ The coefficients λn are called coupling constants. What restrictions do we have on λn to ensure that the additional terms are small perturbations? You might think that we need simply make “λ 1”. But this isn’t quite right. To see why this is the case, let’s n ⌧ do some dimensional analysis. Firstly, note that the action has dimensions of angular momentum or, equivalently, the same dimensions as ~.Sincewe’veset~ =1,using the convention described in the introduction, we have [S] = 0. With S = d4x ,and L [d4x]= 4, the Lagrangian density must therefore have − R [ ]=4 (3.2) L What does this mean for the Lagrangian (3.1)? Since [@µ]=1,wecanreado↵the mass dimensions of all the factors to find, [φ]=1 , [m]=1 , [λ ]=4 n (3.3) n − So now we see why we can’t simply say we need λ 1, because this statement only n ⌧ makes sense for dimensionless quantities.
    [Show full text]
  • Theory of the Mass Gap in Qcd and Its Vacuum
    THEORY OF THE MASS GAP IN QCD AND ITS VACUUM V. Gogokhia WIGNER RESEARCH CENTER FOR PHYSICS, HAS, BUDAPEST, HUNGARY [email protected] GGSWBS'12 (August 13-17) Batumi, Georgia 5-th "Georgian-German School and Workshop in Basic Science 0-0 Lagrangian of QCD LQCD = LYM + Lqg 1 L = ¡ F a F a¹º + L + L YM 4 ¹º g:f: gh: a a a abc b c 2 F¹º = @¹Aº ¡ @ºA¹ + gf A¹Aº; a = Nc ¡ 1;Nc = 3 j j j j j Lqg = iq¹®D®¯q¯ +q ¹®m0q¯; ®; ¯ = 1; 2; 3; j = 1; 2; 3; :::Nf j a a j D®¯q¯ = (±®¯@¹ ¡ ig(1=2)¸®¯A¹)γ¹q¯ (cov: der:) 0-1 Properties of the QCD Lagrangian QCD or, equivalently Quantum ChromoDynamics 1). Unit coupling constant g 2). g » 1 while in QED (Quantum ElecroDynmics) it is g ¿ 1. 3). No mass scale parameter to which can be assigned a physical meaning. Current quark mass m0 cannot be used, since the quark is a colored object QCD without quarks is called Yang-Mills, YM 0-2 The Ja®e-Witten (JW) theorem: Yang-Mills Existence And Mass Gap: Prove that for any compact simple gauge group G, quantum Yang- Mills theory on R4 exists and has a mass gap ¢ > 0. (i). It must have a "mass gap". Every excitation of the vacuum has energy at least ¢ (to explain why the nuclear force is strong but short-range). (ii). It must have "quark con¯nement" (why the physical particles are SU(3)-invariant). (iii).
    [Show full text]
  • Gauge Theory
    Preprint typeset in JHEP style - HYPER VERSION 2018 Gauge Theory David Tong Department of Applied Mathematics and Theoretical Physics, Centre for Mathematical Sciences, Wilberforce Road, Cambridge, CB3 OBA, UK http://www.damtp.cam.ac.uk/user/tong/gaugetheory.html [email protected] Contents 0. Introduction 1 1. Topics in Electromagnetism 3 1.1 Magnetic Monopoles 3 1.1.1 Dirac Quantisation 4 1.1.2 A Patchwork of Gauge Fields 6 1.1.3 Monopoles and Angular Momentum 8 1.2 The Theta Term 10 1.2.1 The Topological Insulator 11 1.2.2 A Mirage Monopole 14 1.2.3 The Witten Effect 16 1.2.4 Why θ is Periodic 18 1.2.5 Parity, Time-Reversal and θ = π 21 1.3 Further Reading 22 2. Yang-Mills Theory 26 2.1 Introducing Yang-Mills 26 2.1.1 The Action 29 2.1.2 Gauge Symmetry 31 2.1.3 Wilson Lines and Wilson Loops 33 2.2 The Theta Term 38 2.2.1 Canonical Quantisation of Yang-Mills 40 2.2.2 The Wavefunction and the Chern-Simons Functional 42 2.2.3 Analogies From Quantum Mechanics 47 2.3 Instantons 51 2.3.1 The Self-Dual Yang-Mills Equations 52 2.3.2 Tunnelling: Another Quantum Mechanics Analogy 56 2.3.3 Instanton Contributions to the Path Integral 58 2.4 The Flow to Strong Coupling 61 2.4.1 Anti-Screening and Paramagnetism 65 2.4.2 Computing the Beta Function 67 2.5 Electric Probes 74 2.5.1 Coulomb vs Confining 74 2.5.2 An Analogy: Flux Lines in a Superconductor 78 { 1 { 2.5.3 Wilson Loops Revisited 85 2.6 Magnetic Probes 88 2.6.1 't Hooft Lines 89 2.6.2 SU(N) vs SU(N)=ZN 92 2.6.3 What is the Gauge Group of the Standard Model? 97 2.7 Dynamical Matter 99 2.7.1 The Beta Function Revisited 100 2.7.2 The Infra-Red Phases of QCD-like Theories 102 2.7.3 The Higgs vs Confining Phase 105 2.8 't Hooft-Polyakov Monopoles 109 2.8.1 Monopole Solutions 112 2.8.2 The Witten Effect Again 114 2.9 Further Reading 115 3.
    [Show full text]
  • Spontaneous Symmetry Breaking in Particle Physics: a Case of Cross Fertilization
    Spontaneous symmetry breaking in particle physics: a case of cross fertilization Yoichiro Nambu lecture presented by Giovanni Jona-Lasinio Nobel Lecture December 8, 2008 1 / 25 History repeats itself 1960 Midwest Conference in Theoretical Physics, Purdue University 2 / 25 Nambu’s background Y. Nambu, preliminary Notes for the Nobel Lecture I will begin by a short story about my background. I studied physics at the University of Tokyo. I was attracted to particle physics because of the three famous names, Nishina, Tomonaga and Yukawa, who were the founders of particle physics in Japan. But these people were at different institutions than mine. On the other hand, condensed matter physics was pretty good at Tokyo. I got into particle physics only when I came back to Tokyo after the war. In hindsight, though, I must say that my early exposure to condensed matter physics has been quite beneficial to me. 3 / 25 Spontaneous (dynamical) symmetry breaking Figure: Elastic rod compressed by a force of increasing strength 4 / 25 Other examples physical system broken symmetry ferromagnets rotational invariance crystals translational invariance superconductors local gauge invariance superfluid 4He global gauge invariance When spontaneous symmetry breaking takes place, the ground state of the system is degenerate 5 / 25 Superconductivity Autobiography in Broken Symmetry: Selected Papers of Y. Nambu, World Scientific One day before publication of the BCS paper, Bob Schrieffer, still a student, came to Chicago to give a seminar on the BCS theory in progress. I was very much disturbed by the fact that their wave function did not conserve electron number. It did not make sense.
    [Show full text]
  • Conformality Or Confinement: (IR)Relevance of Topological
    Preprint typeset in JHEP style - HYPER VERSION SLAC-PUB-13666 Conformality or confinement: (IR)relevance of topological excitations Erich Poppitz1∗ and Mithat Unsal¨ 2† 1Department of Physics, University of Toronto, Toronto, ON M5S 1A7, Canada 2SLAC and Physics Department, Stanford University, Stanford, CA 94025/94305, USA Abstract: What distinguishes two asymptotically-free non-abelian gauge theories on R4, one of which is just below the conformal window boundary and confines, while the other is slightly above the boundary and flows to an infrared conformal field theory? In this work, we aim to answer this question for non-supersymmetric Yang- Mills theories with fermions in arbitrary chiral or vectorlike representations. We use the presence or absence of mass gap for gauge fluctuations as an identifier of the infrared behavior. With the present-day understanding of such gauge theories, the mass gap for gauge fluctuations cannot be computed on R4. However, recent progress allows its non-perturbative computation on R3 × S1 by using either the twisted partition function or 1 deformation theory, for a range of sizes of S depending on the theory. For small number of fermions, Nf , we show that the mass gap increases with increasing radius, due to the non-dilution of monopoles and bions—the 3 1 topological excitations relevant for confinement on R × S . For sufficiently large Nf , we show that the mass gap decreases with increasing radius. In a class of theories, we claim that the decompactification limit can be taken while remaining within the region of validity of semiclassical techniques, giving the first examples of semiclassically solvable Yang-Mills theories at any size S1.
    [Show full text]
  • Correlation Inequalities and the Mass Gap in P (Φ)2 III
    Commun. math. Phys. 41, 19—32(1975) © by Springer-Verlag 1975 Correlation Inequalities and the Mass Gap in P (φ)2 III. Mass Gap for a Class of Strongly Coupled Theories with Nonzero External Field Francesco Guerra Institute of Physics, University of Salerno, Salerno, Italy Lon Rosen Department of Mathematics, University of Toronto, Toronto, Canada Barry Simon* Departments of Mathematics and Physics, Princeton University, Princeton, USA Received September 20, 1974 Abstract. We consider the infinite volume Dirichlet (or half-Dirichlet) P(φ)2 quantum field theory with P{X) = aX4 + bX4 + bX2 - μX(a > 0). If μ Φ 0 there is a positive mass gap in the energy spectrum. If the gap vanishes as μ -> 0, it goes to zero no faster than linearly yielding a bound on a critical exponent. § 1. Introduction In this paper, we discuss various aspects of the P(φ)2 Euclidean field theory [28, 23]. In the statistical mechanical approach to these theories which we have advocated elsewhere [10] (see also our contributions to [28]), one of the sub- programs concerns the use of Ising model techniques. These techniques are 4 2 especially useful in the study of the laφ '-hbφ -μφ:2 theory where both the lattice approximation [10] and classical Ising approximation [24] are available. In fact, in II of this series [21], we used these techniques to complete the proof of the Wightman axioms for these theories when μ Φ 0. In essence, the result of that note was that 0 was a simple eigenvalue of the Hamiltonian in the infinite volume Dirichlet theory.
    [Show full text]
  • Report on the Status of the Yang-Mills Millenium Prize Problem Michael R
    Report on the Status of the Yang-Mills Millenium Prize Problem Michael R. Douglas April 2004 Yang-Mills Existence and Mass Gap: Prove that for any 4 compact simple gauge group G, quantum Yang-Mills theory of R exists and has a mass gap ∆ > 0. As explained in the official problem description set out by Arthur Jaffe and Edward Witten, Yang-Mills theory is a generalization of Maxwell’s theory of electromagnetism, in which the basic dynamical variable is a connection on a G-bundle over four-dimensional space-time. Its quantum version is the key ingredient in the Standard Model of the elementary particles and their interactions, and a solution to this problem would both put this theory on a firm mathematical footing and demonstrate a key feature of the physics of strong interactions. To illustrate the difficulty of the problem, we might begin by comparing it to the study of classical Yang-Mills theory. Mathematically, this is a system of non-linear partial differential equations, obtained by extremizing the Yang-Mills action, 1 Z S = Tr F ∧ ∗F, 4g2 where F = dA + A ∧ A is the curvature of the G-connection A. Perhaps the most basic mathematical question here is to specify a class of initial conditions for which we can guarantee existence and uniqueness of solutions. Among the qualitative properties of these solutions, one with some analogies to the “mass gap” problem would be to establish or falsify the existence of solitonic solutions, whose energy density remains localized for all times (in fact, these are not believed to exist).
    [Show full text]
  • Quantum Field Theory I Chapter 10 10 Scattering Matrix
    Quantum Field Theory I Chapter 10 ETH Zurich, HS12 Prof. N. Beisert 10 Scattering Matrix When we computed some simple scattering processes we did not really know what we were doing. At leading order this did not matter, but at higher orders complications arise. Let us therefore discuss the asymptotic particle states and their scattering matrix in more detail. 10.1 Asymptotic States First we need to understand asymptotic particle states in the interacting theory jp1; p2;:::i: (10.1) In particular, we need to understand how to include them in calculations by expressing them in terms of the interacting field φ(x). Asymptotic particles behave like free particles at least in the absence of other nearby asymptotic particles. For free fields we have seen how to encode the particle modes into two-point correlators, commutators and propagators. Let us therefore investigate these characteristic functions in the interacting model. Two-Point Correlator. Consider first the correlator of two interacting fields ∆+(x − y) := h0jφ(x)φ(y)j0i: (10.2) Due to Poincar´esymmetry, it must take the form Z d4p ∆ (x) = e−ip·x θ(p )ρ(−p2): (10.3) + (2π)4 0 The factor θ(p0) ensures that all excitations of the ground state j0i have positive energy. The function ρ(s) parametrises our ignorance. We do not want tachyonic excitations, hence the function should be supported on positive values of s = m2. We now insert a delta function to express thep correlator in terms of the free two-point correlator ∆+(s; x; y) with mass s (K¨all´en,Lehmann) Z 1 Z 4 ds d p −ip·x 2 ∆+(x) = ρ(s) 4 e θ(p0)2πδ(p + s) 0 2π (2π) Z 1 ds = ρ(s)∆+(s; x): (10.4) 0 2π This identifies ρ(s) as the spectralp function for the field φ(x): It tells us by what amount particle modes of mass s will be excited by the field φ(x).1 1The spectral function describes the spectrum of quantum states only to some extent.
    [Show full text]