Multi-Grid Methods in Lattice Gauge Theory

Total Page:16

File Type:pdf, Size:1020Kb

Multi-Grid Methods in Lattice Gauge Theory Multi-grid Methods in Lattice Field Theory Rich Brower, Physics, Boston University Jan 10, 2017 (SciDAC Software Co-director and NVIDIA CUDA Fellow) Machine Learning/Multi-scale Physics smoothing prolongation (interpolation) Fine Grid restriction The Multigrid V-cycle Smaller Coarse Grid Lattice Field Theory has Come of Age 7 CM-2 100 Mflops (1989) 10 increase in 25 years BF/Q 1 Pflops (2012) Lagrangian for QCD What so difficult about this! (only explicit scale) S = d4x L Z 1 (x)= F abF ab + ¯ δabγ (@ + Aab) + m ¯ L 4g2 µ⌫ µ⌫ a µ ⌫ µ b • 3x3 “Maxwell” matrix field & 2+ Dirac quarks • 1 “color” charge g & “small” quark masses m. • Sample quantum “probability” of gluonic “plasma”: d4xF 2/2g2 Prob A (x)det[D† (A)D (A)]e ⇠ D µ quark quark − Z R All prediction from Quantum Field Theory require “Algorithms” Z = Path Integral exp[ - Action] Feynman Wilson Diagrams Lattice QCD PDE/FEM Schwartz Schurs OPE & Renormalization Group Multi- ‘tHooft Grid Dim Reg Domain Wall Twisters Wilson DD Bootstrap AdS/CFT Flow Peter’s Multiscale P. Boyle Yesterday What about multi-scales inside of Lattice QCD? a(lattice) 1/Mproton 1/m⇡ L(box) 0.06 fermi ⌧ 0.2 fermi ⌧ 1.4 fermi⌧ 6.0 fermi ⌧ ⌧ ⌧ = L = O(100) or Minimum Lattice Volume 1004! ) Multigrid: Case History in Algorithm Development * “MG is always the Future”: Anonymous, JLab 2008 ** “But, the future has arrived!”: Rich, Oak Ridge 2013 • History Lessons (1989-1992) * - Cause of early failure • Modern Era (2008-2013) - 5 years to put into production the QCD MG Solver for Wilson-clover) • Future** (2013-2018) - Domain Wall & Staggered Solvers, HMC evolution, etc - Adaptation to heterogeneous architectures, etc. Outline 1. Lattice Gauge Multi-grid: Why was it so difficult? –Lessons from 1990s: –The scaling & RG metaphor* 2. The Adaptive Geometric MG break through - Wilson clover (twisted mass) - Staggered (?) - Domain Wall (overlap/Peter Boyle!) 3. Multi-scale extensions: - Monte Carlo MG (Endres et al ?) - Quantum Finite Elements (FEM + quantum) - SUSY/Graphene/etc *Combining Renormalization Group And Multigrid Methods 1988 R. Brower, R. Giles, K.J.M. Moriarty , P. Tamayo A faithful Discrete Dirac PDE on Lattice is not trivial Standard Finite Difference or Finite Element Methods Fail There are several popular choice and trade offs Each poses different Multigrid Challenges Wilson Clover & Twisted Mass Staggered (or Kogut-Susskind, SUSY, Graphene) Domain Wall & Overlap (exact chiral) Simplicial Lattice (Random Flat Christ et al) (General Riemann Brower et al) Dirac Equation: Math Preliminaries Continuum: γ (@ iA ) (x)+m = b(x) µ µ − µ @ γij( iAab) jb(x)+m ia = bia(x) or µ @xµ − µ µ X 3 by 3 gauged colors 4 x 4 (d/2 x d/2) spin matrices Even more compact Linear Op form (D + m) = b (D + m) λ =(iλ + m) λ D is anti-Hermitian implies spectral | i | i Normal Operator 2 2 (D + m)†(D + m)= (@ iA ) σ F + m − µ − µ − µ⌫ µ⌫ Putting it on hypercubic lattice 1 γµ 1+γµ Dquark = d − U(x, x + µ) U(x + µ, x)+mq Wilson − 2 − 2 1 d D(U, m)= ⌘µ(~x) Uµ(~x)δ~x,~y µˆ Uµ†(~x µˆ)δ~x,~y+ˆµ + mδ~x,~y −2 − − − Staggered µ=1 X ⇥ ⇤ x + x ⌘ =( 1) 2 ··· µ just phases! µ − Domain Wall is 5d Wilson-like x x+µ iaAµ(x) Uglue(x, x + µ)=e Scaling & Ren Group Metaphor 2 d Massless Laplace: φ(x) λ − φ(λx) ! @2 @2 2φ(x, y, )= [ + + ]=e2δd(x, y, ) r ··· − @x2 @y2 ··· ··· Solution (Green’s function) 1 e2 φ(x, y, )= ··· Sd ( x2 + y2 + z)d 2 ··· − 1 p φ(x, y)= log( x2 + y2) for d =2 2⇡ p Naive Scaling and 1-d MG Toy Example (Dφ)(x)=φ(x + a) 2φ(x)+φ(x a)+a2m2φ(x)=b(x) − − a ➔ 2a Restriction R = P† 2 a ➔ a Prolongation P (1) Blocking preserves the scale invariant const solutions (null state) (2) Coarse operator is renormalized: m ➔ 2 m ( in units a = 1) 1 γ 1+γ D = d − µ U(x, x + µ) µ U(x + µ, x)+m wilson − 2 − 2 q 1 1 = (∆ ∆† )+ ∆† ∆ 2 µ − µ 2 µ µ ∆ (x)=U(x, x + µ) (x + µ) (x) a(@ A (x)) (x) ( where µ − ' µ − µ ) Wilson Spectra in 2d QCD MG attempts in 1990’s See Thomas Kalkretuer hep-lat/9409008 review on “MG Methods for Propagators in LGT”. Israel: Ben-Av, M. Harmatz, P.G. Lauwers & S.Solomon Boston: Brower, Edwards, Rebbi & Vicari Amsterdam: A. Hulsebos, J Smit J. C. Vick Amsterdam: A. Hulsebos, J Smit J. C. Vick QCD MG “failure” in 1990s: 2x2 Blocks for U(1) Dirac β = 1 2-d Lattice, Gauss-Jacobi (Diamond), CG (circle), V cycle (square), W cycle (star) Uµ(x) on links Ψ(x) on sites Universal of Critical Slowing down: ! = 3 (cross) 10(plus) 100( square) Gauss-Jacobi (Diamond), CG(circle), 3 level (square & star) ⌧ = F (mlσ) Lessons from MG attempts in 1990s – Partial success at weak coupling. – “Local” real space RG blocking but not perfect. – Maintain Gauge invariance – Maintain γ 5 Hermiticity – BUT why did it fail at small mass? Perturbative RG Metaphor? “Education is knowing how far to push a metaphor!” Why Didn’t It work? Instantons, Topological Zero Modes (Atiyah-Singer index) and Confinement length lσ 1 (1 + γ)kj ia(x)= xˆµγik ✏ja 0 x2 + ⇢2 µ 2 lσ “A little knowledge is a dangerous thing” Lagrangian Lattice (a >0) Quantum Theory * (i.e. PDE’s) (i.e.Computer) (i.e.Nature) Rotational(Lorentz) Invariance ✔ ✘ ✔ Gauge Invariance ✔ ✔ ✔ Scale Invariance ✔ ✘ ✘ Chiral Invariance ✔ ✘/✔ ✘ *Must take lattice spacing to zero for the quantum averages. 2. Adaptive Multigrid Revolution? 2. Machine Learning Multigrid Revolution! Adaptive Smooth Aggregations Algebraic MultiGrid Slow convergence of Dirac solver is due small eigenvalues for vectors in near null subspace: S . smoothing prolongation (interpolation) D : S 0 ' Fine Grid restriction The Multi-grid Spilt the vector space V-cycle into near null space S and the complement S ? Smaller Coarse Grid 2-level Multi-grid Cycle (simplified) • Smooth: x0 =(1 D)x + br0 =(1 D)r − − • Project: Dˆ = P †DP rˆ = P †r 1 • Approx. Solve: D ˆ eˆ =ˆr = eˆ Dˆ − P †r ) ' • Prolongate e = P eˆ • Update x00 = x0 + e Petrov-Galerkin Oblique Projector: Exact Upscale 1 rexact =[1 DP P †]r = P †rexact =0 − P †DP ) Adaptive Smooth Aggregation Algebraic Multigrid “Adaptive*multigrid*algorithm*for*the*lattice*Wilson7Dirac*operator”*R.*Babich,*J.*Brannick,*R.*C.* Brower,*M.*A.*Clark,*T.*Manteuffel,*S.*McCormick,*J.*C.*Osborn,*and*C.*Rebbi,**PRL.**(2010).* Good News/Bad News More Data: Should Save MG projectors with lattice Actually MG error is smaller at fixed Residual Adaptive Smooth Aggregation Algebraic Multigrid “Adaptive*multigrid*algorithm*for*the*lattice*Wilson7Dirac*operator”*R.*Babich,*J.*Brannick,*R.*C.* Brower,*M.*A.*Clark,*T.*Manteuffel,*S.*McCormick,*J.*C.*Osborn,*and*C.*Rebbi,**PRL.**(2010).* Good News/Bad News More Data: Should Save MG projectors with lattice Actually MG error is smaller at fixed Residual Staggered Multigrid: Preliminary (Brower, Clark, Strelchenko and Weinberg) 1 D(U, m)= ⌘ (x)[U (x, x + µ) U(x + µ, x)] + m 2 µ µ − 1 = ⌘ (~x)[∆ ∆† ]+m 2 µ µ − µ 2d Staggered Spectrum Normal Equation (e/o precond): Free field is 2a Laplace m D mD m2 D D 0 D (U, m)D(U, m)= oe oe = eo oe † D −m D m − 0 m2 D D − eo eo − oe eo Total Deo,Doe applications, Normal eqn 10000 1282, CG on Even-Odd 2562, CG on Even-Odd 1282, MG-GCR 2562, MG-GCR 1000 applications ⇢ D ⇢ 100 00.020.040.060.080.1 m Spurious Galerkin Eigenmodes Eigenvalues 322, β =6.0, Naive Galerkin 0.2 0.15 ) λ 0.1 Im( 0.05 0 ˆ D Dˆ Dˆ ˆ Dˆ = P †DP Dˆ = P †DPˆ Removing Spurious Galerkin Eigenmodes Eigenvalues 322, β =6.0,HybridAlgorithm 0.2 L1: D ˆ L2: D +0.16[D†D]T ˆˆ 0.15 L3: D +0.32[Dd†D]T d ) λ 0.1 Im( 0.05 0 -0.05 0 0.05 0.1 0.15 0.2 0.25 Re(λ) Dˆ = P †DP +[P †D†DP]T Truncated Normal Stabilized Staggered MG Total Deo,Doe applications, ⇢D⇢ solve 10000 1282, CG on Even-Odd 2562, CG on Even-Odd 1282, MG-GCR 2562, MG-GCR 1000 applications ⇢ D ⇢ 100 00.020.040.060.080.1 m Domain Wall Hierarchically deflated conjugate gradient P A Boyle (Edinburgh U.). Feb 11, 2014. 37 pp. QCD EDINBURGH-2014-03 arXiv:1402.2585 Multigrid Algorithms for Domain-Wall Fermions Saul D. Cohen (Washington U., Seattle), R.C. Brower (Boston U., Ctr. Comp. Sci.), M.A. Clark (Harvard-Smithsonian Ctr. Astrophys.), J.C. Osborn (Argonne). May 2012. 7 pp. 2d U(1) Published in PoS LATTICE2011 (2011) 030 Domain Wall: 4 + 1 with extra 5th dimension of size Ls 2 + 1 Domain Wall Spectrum: Violently Non-Normal Operator Non Normal Non Hermitian Non Pos. Def. (Saul Cohen) High Performance on GPUs • Cost in $s reduced by a factor of at least 100+ GPU O(10+) MG O(10+) QUDA: NVIDIA GPU •“QCD on CUDA” team – http://lattice.github.com/quda ! Ron Babich (BU-> NVIDIA) ! Kip Barros (BU ->LANL) ! Rich Brower (Boston University) ! Michael Cheng (Boston University) ! Mike Clark (BU-> NVIDIA) ! Justin Foley (University of Utah) ! Steve Gottlieb (Indiana University) ! Bálint Joó (Jlab) ! Claudio Rebbi (Boston University) ! Guochun Shi (NCSA -> Google) ! Alexei Strelchenko (Cyprus Inst.-> FNAL) ! Hyung-Jin Kim (BNL) ! Mathias Wagner (Bielefeld -> Indiana Univ) ! Frank Winter (UoE -> Jlab) Mapping Multi-scale Algorithms to Multi-scale Architecture First Step Wilson-Dslash on GPUs • REDUCE MEMORY TRAFFIC: • (1) Lossless Data Compression: • SU(3) matrices are all unitary complex matrices with • det = 1.
Recommended publications
  • Casimir Effect on the Lattice: U (1) Gauge Theory in Two Spatial Dimensions
    Casimir effect on the lattice: U(1) gauge theory in two spatial dimensions M. N. Chernodub,1, 2, 3 V. A. Goy,4, 2 and A. V. Molochkov2 1Laboratoire de Math´ematiques et Physique Th´eoriqueUMR 7350, Universit´ede Tours, 37200 France 2Soft Matter Physics Laboratory, Far Eastern Federal University, Sukhanova 8, Vladivostok, 690950, Russia 3Department of Physics and Astronomy, University of Gent, Krijgslaan 281, S9, B-9000 Gent, Belgium 4School of Natural Sciences, Far Eastern Federal University, Sukhanova 8, Vladivostok, 690950, Russia (Dated: September 8, 2016) We propose a general numerical method to study the Casimir effect in lattice gauge theories. We illustrate the method by calculating the energy density of zero-point fluctuations around two parallel wires of finite static permittivity in Abelian gauge theory in two spatial dimensions. We discuss various subtle issues related to the lattice formulation of the problem and show how they can successfully be resolved. Finally, we calculate the Casimir potential between the wires of a fixed permittivity, extrapolate our results to the limit of ideally conducting wires and demonstrate excellent agreement with a known theoretical result. I. INTRODUCTION lattice discretization) described by spatially-anisotropic and space-dependent static permittivities "(x) and per- meabilities µ(x) at zero and finite temperature in theories The influence of the physical objects on zero-point with various gauge groups. (vacuum) fluctuations is generally known as the Casimir The structure of the paper is as follows. In Sect. II effect [1{3]. The simplest example of the Casimir effect is we review the implementation of the Casimir boundary a modification of the vacuum energy of electromagnetic conditions for ideal conductors and propose its natural field by closely-spaced and perfectly-conducting parallel counterpart in the lattice gauge theory.
    [Show full text]
  • Perturbative Algebraic Quantum Field Theory at Finite Temperature
    Perturbative Algebraic Quantum Field Theory at Finite Temperature Dissertation zur Erlangung des Doktorgrades des Fachbereichs Physik der Universität Hamburg vorgelegt von Falk Lindner aus Zittau Hamburg 2013 Gutachter der Dissertation: Prof. Dr. K. Fredenhagen Prof. Dr. D. Bahns Gutachter der Disputation: Prof. Dr. K. Fredenhagen Prof. Dr. J. Louis Datum der Disputation: 01. 07. 2013 Vorsitzende des Prüfungsausschusses: Prof. Dr. C. Hagner Vorsitzender des Promotionsausschusses: Prof. Dr. P. Hauschildt Dekan der Fakultät für Mathematik, Informatik und Naturwissenschaften: Prof. Dr. H. Graener Zusammenfassung Der algebraische Zugang zur perturbativen Quantenfeldtheorie in der Minkowskiraum- zeit wird vorgestellt, wobei ein Schwerpunkt auf die inhärente Zustandsunabhängig- keit des Formalismus gelegt wird. Des Weiteren wird der Zustandsraum der pertur- bativen QFT eingehend untersucht. Die Dynamik wechselwirkender Theorien wird durch ein neues Verfahren konstruiert, das die Gültigkeit des Zeitschichtaxioms in der kausalen Störungstheorie systematisch ausnutzt. Dies beleuchtet einen bisher un- bekannten Zusammenhang zwischen dem statistischen Zugang der Quantenmechanik und der perturbativen Quantenfeldtheorie. Die entwickelten Methoden werden zur ex- pliziten Konstruktion von KMS- und Vakuumzuständen des wechselwirkenden, mas- siven Klein-Gordon Feldes benutzt und damit mögliche Infrarotdivergenzen der Theo- rie, also insbesondere der wechselwirkenden Wightman- und zeitgeordneten Funktio- nen des wechselwirkenden Feldes ausgeschlossen. Abstract We present the algebraic approach to perturbative quantum field theory for the real scalar field in Minkowski spacetime. In this work we put a special emphasis on the in- herent state-independence of the framework and provide a detailed analysis of the state space. The dynamics of the interacting system is constructed in a novel way by virtue of the time-slice axiom in causal perturbation theory.
    [Show full text]
  • Hamiltonian Dynamics of Yang-Mills Fields on a Lattice
    DUKE-TH-92-40 Hamiltonian Dynamics of Yang-Mills Fields on a Lattice T.S. Bir´o Institut f¨ur Theoretische Physik, Justus-Liebig-Universit¨at, D-6300 Giessen, Germany C. Gong and B. M¨uller Department of Physics, Duke University, Durham, NC 27708 A. Trayanov NCSC, Research Triangle Park, NC 27709 (Dated: July 2, 2018) Abstract We review recent results from studies of the dynamics of classical Yang-Mills fields on a lattice. We discuss the numerical techniques employed in solving the classical lattice Yang-Mills equations in real time, and present results exhibiting the universal chaotic behavior of nonabelian gauge theories. The complete spectrum of Lyapunov exponents is determined for the gauge group SU(2). We survey results obtained for the SU(3) gauge theory and other nonlinear field theories. We also discuss the relevance of these results to the problem of thermalization in gauge theories. arXiv:nucl-th/9306002v2 6 Jun 2005 1 I. INTRODUCTION Knowledge of the microscopic mechanisms responsible for the local equilibration of energy and momentum carried by nonabelian gauge fields is important for our understanding of non-equilibrium processes occurring in the very early universe and in relativistic nuclear collisions. Prime examples for such processes are baryogenesis during the electroweak phase transition, the creation of primordial fluctuations in the density of galaxies in cosmology, and the formation of a quark-gluon plasma in heavy-ion collisions. Whereas transport and equilibration processes have been extensively investigated in the framework of perturbative quantum field theory, rigorous non-perturbative studies of non- abelian gauge theories have been limited to systems at thermal equilibrium.
    [Show full text]
  • Two-Dimensional N=(2, 2) Lattice Gauge Theories with Matter in Higher
    Preprint typeset in JHEP style - HYPER VERSION DESY-14-030 Two-dimensional N = (2, 2) Lattice Gauge Theories with Matter in Higher Representations Anosh Joseph John von Neumann Institute for Computing NIC, Platanenallee 6, 15738 Zeuthen, GERMANY Deutsches Elektronen-Synchrotron DESY, Platanenallee 6, 15738 Zeuthen, GERMANY E-mail: [email protected] Abstract: We construct two-dimensional N = (2, 2) supersymmetric gauge theories on a Euclidean spacetime lattice with matter in the two-index symmetric and anti-symmetric representations of SU(Nc) color group. These lattice theories preserve a subset of the su- percharges exact at finite lattice spacing. The method of topological twisting is used to construct such theories in the continuum and then the geometric discretization scheme is used to formulate them on the lattice. The lattice theories obtained this way are gauge- invariant, free from fermion doubling problem and exact supersymmetric at finite lattice spacing. We hope that these lattice constructions further motivate the nonperturbative ex- plorations of models inspired by technicolor, orbifolding and orientifolding in string theories and the Corrigan-Ramond limit. arXiv:1403.4390v2 [hep-lat] 18 Jun 2014 Keywords: Field Theories in Lower Dimensions, Lattice Quantum Field Theory, Supersymmetric Gauge Theory, Extended Supersymmetry. Contents 1. Introduction 1 2. N = (2, 2) Theories with Adjoint Matter 3 3. N = (2, 2) Theories with Two-index Matter 4 4. Lattice Theories 6 5. Fine Tuning and Simulation on the Lattice 9 6. Discussion and Comments 11 1. Introduction Supersymmetric Yang-Mills (SYM) theories are interesting classes of theories by them- selves. They also serve as starting points for constructions of many phenomenologically relevant models.
    [Show full text]
  • Regularization and Renormalization of Non-Perturbative Quantum Electrodynamics Via the Dyson-Schwinger Equations
    University of Adelaide School of Chemistry and Physics Doctor of Philosophy Regularization and Renormalization of Non-Perturbative Quantum Electrodynamics via the Dyson-Schwinger Equations by Tom Sizer Supervisors: Professor A. G. Williams and Dr A. Kızılers¨u March 2014 Contents 1 Introduction 1 1.1 Introduction................................... 1 1.2 Dyson-SchwingerEquations . .. .. 2 1.3 Renormalization................................. 4 1.4 Dynamical Chiral Symmetry Breaking . 5 1.5 ChapterOutline................................. 5 1.6 Notation..................................... 7 2 Canonical QED 9 2.1 Canonically Quantized QED . 9 2.2 FeynmanRules ................................. 12 2.3 Analysis of Divergences & Weinberg’s Theorem . 14 2.4 ElectronPropagatorandSelf-Energy . 17 2.5 PhotonPropagatorandPolarizationTensor . 18 2.6 ProperVertex.................................. 20 2.7 Ward-TakahashiIdentity . 21 2.8 Skeleton Expansion and Dyson-Schwinger Equations . 22 2.9 Renormalization................................. 25 2.10 RenormalizedPerturbationTheory . 27 2.11 Outline Proof of Renormalizability of QED . 28 3 Functional QED 31 3.1 FullGreen’sFunctions ............................. 31 3.2 GeneratingFunctionals............................. 33 3.3 AbstractDyson-SchwingerEquations . 34 3.4 Connected and One-Particle Irreducible Green’s Functions . 35 3.5 Euclidean Field Theory . 39 3.6 QEDviaFunctionalIntegrals . 40 3.7 Regularization.................................. 42 3.7.1 Cutoff Regularization . 42 3.7.2 Pauli-Villars Regularization . 42 i 3.7.3 Lattice Regularization . 43 3.7.4 Dimensional Regularization . 44 3.8 RenormalizationoftheDSEs ......................... 45 3.9 RenormalizationGroup............................. 49 3.10BrokenScaleInvariance ............................ 53 4 The Choice of Vertex 55 4.1 Unrenormalized Quenched Formalism . 55 4.2 RainbowQED.................................. 57 4.2.1 Self-Energy Derivations . 58 4.2.2 Analytic Approximations . 60 4.2.3 Numerical Solutions . 62 4.3 Rainbow QED with a 4-Fermion Interaction .
    [Show full text]
  • QUANTUM INFORMATION METHODS for LATTICE GAUGE THEORIES EREZ ZOHAR A
    Next Steps in Quantum Science for HEP, Fermilab, September 2018 QUANTUM INFORMATION METHODS FOR LATTICE GAUGE THEORIES EREZ ZOHAR a Theory Group, Max Planck Institute of Quantum Optics (MPQ) Max Planck – Harvard Quantum Optics Research Center (MPHQ) Based on works with (in alphabetical order): Julian Bender (MPQ) Michele Burrello (MPQ Copenhagen) J. Ignacio Cirac (MPQ) Patrick Emonts (MPQ) Alessandro Farace (MPQ) Benni Reznik (TAU) Thorsten Wahl (MPQ Oxford) Gauge Theories are challenging: • Involve non-perturbative physics • Confinement of quarks hadronic spectrum • Exotic phases of QCD (color superconductivity, quark-gluon plasma) Gauge Theories are challenging: • Involve non-perturbative physics • Confinement of quarks hadronic spectrum • Exotic phases of QCD (color superconductivity, quark-gluon plasma) Hard to treat experimentally (strong forces) Gauge Theories are challenging: • Involve non-perturbative physics • Confinement of quarks hadronic spectrum • Exotic phases of QCD (color superconductivity, quark-gluon plasma) Hard to treat experimentally (strong forces) Hard to treat analytically (non perturbative) Gauge Theories are challenging: • Involve non-perturbative physics • Confinement of quarks hadronic spectrum • Exotic phases of QCD (color superconductivity, quark-gluon plasma) Hard to treat experimentally (strong forces) Hard to treat analytically (non perturbative) Lattice Gauge Theory (Wilson, Kogut-Susskind…) Gauge Theories are challenging: • Involve non-perturbative physics • Confinement of quarks hadronic
    [Show full text]
  • The 1/N Expansion for Lattice Gauge Theories
    The 1/N expansion for lattice gauge theories Sourav Chatterjee Sourav Chatterjee The 1/N expansion for lattice gauge theories Yang–Mills theories ◮ Maxwell’s equations are a set of four equations that describe the behavior of an electromagnetic field. ◮ Hermann Weyl showed that these four equations are actually the Euler–Lagrange equations for an elegant minimization problem. ◮ In modern parlance, Maxwell’s equations minimize the Yang–Mills functional for the gauge group U(1). ◮ Physicists later realized that two of the other three fundamental forces of nature — the weak force and the strong force — can also be modeled by similar equations: one needs to simply change the group U(1) to some other group (SU(3) for the strong force, SU(2) for the weak force). This led to the formulation of the Standard Model. ◮ Equations obtained by minimizing Yang–Mills functionals over the space of connections of a principal bundle. Sourav Chatterjee The 1/N expansion for lattice gauge theories Connection form ◮ A quantum YM theory starts with a compact Lie group, called the gauge group. ◮ In this talk, the gauge group is SO(N). ◮ Recall that the Lie algebra so(N) of the Lie group SO(N) is the set of all N × N skew-symmetric matrices. ◮ An SO(N) connection form on Rd is a smooth map from Rd into so(N)d . ◮ If A is a SO(N) connection form, its value A(x) at a point x is a d-tuple (A1(x),..., Ad (x)) of skew-symmetric matrices. ◮ d In the language of differential forms, A = j=1 Aj dxj .
    [Show full text]
  • Simulating Quantum Field Theory with A
    Simulating quantum field theory with a quantum computer PoS(LATTICE2018)024 John Preskill∗ Institute for Quantum Information and Matter Walter Burke Institute for Theoretical Physics California Institute of Technology, Pasadena CA 91125, USA E-mail: [email protected] Forthcoming exascale digital computers will further advance our knowledge of quantum chromo- dynamics, but formidable challenges will remain. In particular, Euclidean Monte Carlo methods are not well suited for studying real-time evolution in hadronic collisions, or the properties of hadronic matter at nonzero temperature and chemical potential. Digital computers may never be able to achieve accurate simulations of such phenomena in QCD and other strongly-coupled field theories; quantum computers will do so eventually, though I’m not sure when. Progress toward quantum simulation of quantum field theory will require the collaborative efforts of quantumists and field theorists, and though the physics payoff may still be far away, it’s worthwhile to get started now. Today’s research can hasten the arrival of a new era in which quantum simulation fuels rapid progress in fundamental physics. The 36th Annual International Symposium on Lattice Field Theory - LATTICE2018 22-28 July, 2018 Michigan State University, East Lansing, Michigan, USA. ∗Speaker. c Copyright owned by the author(s) under the terms of the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License (CC BY-NC-ND 4.0). https://pos.sissa.it/ Simulating quantum field theory with a quantum computer John Preskill 1. Introduction My talk at Lattice 2018 had two main parts. In the first part I commented on the near-term prospects for useful applications of quantum computing.
    [Show full text]
  • Quantum Mechanics of Topological Solitons
    Imperial College London Department of Physics Quantum mechanics of topological solitons David J. Weir September 2011 Supervised by Arttu Rajantie Submitted in part fulfilment of the requirements for the degree of Doctor of Philosophy in Physics of Imperial College London and the Diploma of Imperial College London 1 Declaration I herewith certify that all material in this dissertation which is not my own work has been properly acknowledged. David J. Weir 3 Abstract Topological solitons { are of broad interest in physics. They are objects with localised energy and stability ensured by their topological properties. It is possible to create them during phase transitions which break some sym- metry in a frustrated system. They are ubiquitous in condensed matter, ranging from monopole excitations in spin ices to vortices in superconduc- tors. In such situations, their behaviour has been extensively studied. Less well understood and yet equally interesting are the symmetry-breaking phase transitions that could produce topological defects is the early universe. Grand unified theories generically admit the creation of cosmic strings and monopoles, amongst other objects. There is no reason to expect that the behaviour of such objects should be classical or, indeed, supersymmetric, so to fully understand the behaviour of these theories it is necessary to study the quantum properties of the associated topological defects. Unfortunately, the standard analytical tools for studying quantum field theory { including perturbation theory { do not work so well when applied to topological defects. Motivated by this realisation, this thesis presents numerical techniques for the study of topological solitons in quantum field theory. Calculations are carried out nonperturbatively within the framework of lattice Monte Carlo simulations.
    [Show full text]
  • Quantum Field Theory: Where We Are 3
    Quantum Field Theory: Where We Are Klaus Fredenhagen1, Karl-Henning Rehren2, and Erhard Seiler3 1 II. Institut f¨ur Theoretische Physik, Universit¨at Hamburg, 22761 Hamburg, Germany [email protected] 2 Institut f¨ur Theoretische Physik, Universit¨at G¨ottingen, 37077 G¨ottingen, Germany [email protected] 3 Max-Planck-Institut f¨ur Physik, 80805 M¨unchen, Germany [email protected] Summary. We comment on the present status, the concepts and their limitations, and the successes and open problems of the various approaches to a relativistic quantum theory of elementary particles, with a hindsight to questions concerning quantum gravity and string theory. arXiv:hep-th/0603155v1 20 Mar 2006 1 Introduction Quantum field theory aims at a synthesis of quantum physics with the prin- ciples of classical field theory, in particular the principle of locality. Its main Contribution to: An Assessment of Current Paradigms in the Physics of Fun- damental Phenomena, to be published by Springer Verlag (2006). 2 Klaus Fredenhagen, Karl-Henning Rehren, and Erhard Seiler realm is the theory of elementary particles where it led to a far reaching under- standing of the structure of physics at subatomic scales with an often amaz- ingly good agreement between theoretical predictions and experiments. Typ- ical observables in QFT are current densities or energy flow densities which correspond to what is measured in particle physics detectors. The original aim of QFT was to compute expectation values and correlation functions of the observables, and to derive scattering cross sections in high-energy physics. In the course of development, QFT has widened its scope, notably towards the inclusion of gravitational interactions.
    [Show full text]
  • Arxiv:1701.03368V2 [Hep-Lat] 12 May 2021 Hspofrle Ntetcnqeo Inrtasomto [30–33] Transformation Wigner of Technique Supercon the Without U Theory
    Chiral Separation Effect in lattice regularization Z.V.Khaidukov and M.A. Zubkov∗ Institute for Theoretical and Experimental Physics, B. Cheremushkinskaya 25, Moscow, 117259, Russia (Dated: May 13, 2021) We consider Chiral Separation Effect (CSE) in the lattice regularized quantum field theory. We discuss two types of regularization - with and without exact chiral symmetry. In the latter case this effect is described by its conventional expression for the massless fermions. This is illustrated by the two particular cases - of Wilson fermions and of the conventional overlap fermions. At the same time in the presence of the exact chiral symmetry the CSE disappears. This is illustrated by the naive lattice fermions, when the contributions of the fermion doublers cancel each other. Another example is the modified version of the overlap regularization proposed recently, where there is the exact chiral symmetry, but as a price for this the fermion doublers become zeros of the Green function. In this case the contribution to the CSE of zeros and poles of the Green function cancel each other. I. INTRODUCTION The family of the non - dissipative transport effects has been widely discussed recently both in the context of the high energy physics and in the context of condensed matter theory [1–8]. The possible appearance of such effects in the recently discovered Dirac and Weyl semimetals has been considered [9–15]. The chiral separation effect (CSE) [16] is one of the members of this family. It manifests itself in the equilibrium theory with massless Dirac fermion, where in the presence of external magnetic field (corresponding to the field strength Fij ) and the ordinary chemical potential µ the axial current appears given by 1 jk = ǫijk0µF (1) 5 −4π2 ij In the context of the high energy physics the possibility to observe CSE was discussed, in particular, in relation to the relativistic heavy - ion collisions (see, for example, [17–19] and references therein).
    [Show full text]
  • Lattice Gauge Theory a Short Primer
    CORE Metadata, citation and similar papers at core.ac.uk Provided by CERN Document Server MS-TPI-00-11 hep-lat/0012005 Lattice Gauge Theory A Short Primer Lectures given at the PSI Zuoz Summer School 2000 G. M¨unster ∗,M.Walzl† Institut f¨ur Theoretische Physik Westf¨∗ alische Wilhelms-Universit¨at Wilhelm-Klemm-Str. 9 D-48149 M¨unster Germany Institut f¨ur Kernphysik (Theorie) † Forschungszentrum J¨ulich D-52425 J¨ulich Germany Abstract In this contribution we give an introduction to the foundations and methods of lattice gauge theory. Starting with a brief dis- cussion of the quantum mechanical path integral, we develop the main ingredients of lattice field theory: functional integrals, Eu- clidean field theory and the space-time discretization of scalar, fermion and gauge fields. Some of the methods used in calcula- tions are reviewed and illustrated by a collection of typical results. ∗Electronic mail address: [email protected] yElectronic mail address: [email protected] 1 Introduction 1.1 Why this Article? These lectures given at the PSI summer school 2000 in Zuoz give an overview of the basic ideas and results of lattice gauge theory for non-experts, with a stress on lattice quantum chromodynamics. This is neither a review of the status nor a survey of recent results in lattice gauge theory. Some typical results are presented for illustrative purposes only. For reviews on recent developments see [1] or the proceedings of the annual LATTICE conferences. To those who ask for a more detailed and in some places more rigorous look at this subject we recommend the literature in [2].
    [Show full text]