Arxiv:2003.08945V2 [Cond-Mat.Quant-Gas] 30 Aug 2020
Total Page:16
File Type:pdf, Size:1020Kb
Observation of gauge invariance in a 71-site Bose-Hubbard quantum simulator Bing Yang,1, 2, 3, ∗ Hui Sun,1, 2, 3 Robert Ott,4 Han-Yi Wang,1, 2, 3 Torsten V. Zache,4 Jad C. Halimeh,5, 6, 4 Zhen-Sheng Yuan,1, 2, 3, y Philipp Hauke,5, 6, 4, z and Jian-Wei Pan1, 2, 3, x 1Hefei National Laboratory for Physical Sciences at Microscale and Department of Modern Physics, University of Science and Technology of China, Hefei, Anhui 230026, China 2Physikalisches Institut, Ruprecht-Karls-Universit¨atHeidelberg, Im Neuenheimer Feld 226, 69120 Heidelberg, Germany 3CAS Centre for Excellence and Synergetic Innovation Centre in Quantum Information and Quantum Physics, University of Science and Technology of China, Hefei, Anhui 230026, China 4Institute for Theoretical Physics, Ruprecht-Karls-Universit¨atHeidelberg, Philosophenweg 16, 69120 Heidelberg, Germany 5Department of Physics, University of Trento, Via Sommarive 14, 38123 Povo (TN), Italy 6Kirchhoff-Institute for Physics, Ruprecht-Karls-Universit¨atHeidelberg, Im Neuenheimer Feld 227, 69120 Heidelberg, Germany The modern description of elementary parti- Gauge invariance in QED|described as a local U(1) cles, as formulated in the Standard Model of par- symmetry of the Hamiltonian|ties electric fields E~ and ticle physics, is built on gauge theories [1]. Gauge charges ρ to each other through Gauss's law, r · E~ = ρ. theories implement fundamental laws of physics This basic principle of gauge invariance has stood model by local symmetry constraints. For example, for the Standard Model of particle physics, including, in quantum electrodynamics, Gauss's law intro- e.g., quantum chromodynamics. However, despite im- duces an intrinsic local relation between charged pressive feats [17, 18], it remains extremely difficult for matter and electromagnetic fields, which protects classical computers to solve the dynamics of gauge the- many salient physical properties including mass- ories [3{6]. Quantum simulation offers the tantalizing less photons and a long-ranged Coulomb law. prospect of sidestepping this difficulty by microscopi- Solving gauge theories by classical computers is cally engineering gauge-theory dynamics in table-top ex- an extremely arduous task [2], which has stimu- periments, based on, e.g. trapped ions, superconduct- lated a vigorous effort to simulate gauge-theory ing qubits, and cold atoms [7{16]. In the quest for ex- dynamics in microscopically engineered quan- perimentally realizing gauge-theory phenomena, a large tum devices [3{6]. Previous achievements imple- quantum system is essential to mitigate finite-size ef- mented density-dependent Peierls phases without fects irrelevant to the theory in the thermodynamic limit. defining a local symmetry [7, 8], realized map- Moreover, while Gauss's law in QED holds fundamen- pings onto effective models to integrate out either tally, it is merely approximate when engineered in present matter or electric fields [9{12], or were limited to cold-atom experiments keeping both fermionic matter very small systems [13{16]. The essential gauge and dynamical gauge fields explicitly [15, 16]. Thus, it is symmetry has not been observed experimentally. a crucial challenge to determine the reliability of gauge Here, we report the quantum simulation of an invariance in large-scale quantum simulators [19]. extended U(1) lattice gauge theory, and experi- mentally quantify the gauge invariance in a many- Here, we verify Gauss's law in a many-body quantum body system comprising matter and gauge fields. simulator. To this end, we devise a mapping from a Bose{ These are realized in defect-free arrays of bosonic Hubbard model describing ultracold atoms in an optical atoms in an optical superlattice of 71 sites. We superlattice to a U(1) lattice gauge theory with fermionic demonstrate full tunability of the model param- matter. We exploit the formalism of quantum link mod- eters and benchmark the matter{gauge interac- els (QLMs) [3, 20], which incorporates salient features tions by sweeping across a quantum phase transi- of QED, in particular Coleman's phase transition in one tion. Enabled by high-fidelity manipulation tech- spatial dimension (1D) at topological angle θ = π [21]. niques, we measure the degree to which Gauss's Here, gauge invariant 'matter-gauge field’ interactions arXiv:2003.08945v2 [cond-mat.quant-gas] 30 Aug 2020 law is violated by extracting probabilities of lo- emerge through a suitable choice of Hubbard parameters, cally gauge-invariant states from correlated atom effectively penalizing unwanted processes. Experimen- occupations. Our work provides a way to explore tally, we prepare large arrays of atoms in high-fidelity gauge symmetry in the interplay of fundamental staggered chains, realize the quantum phase transition particles using controllable large-scale quantum by slowly ramping the lattice potentials, and observe the simulators. characteristic dynamics via probing site occupancies and Quantum electrodynamics (QED), the paradigm ex- density{density correlations. In our model, Gauss's law ample of a gauge-invariant quantum field theory, has fun- constrains boson occupations over sets of three adjacent damentally shaped our understanding of modern physics. sites in the optical lattice. By tracking the coherent evo- 2 a Quantum phase transition an electric field coarse-grained to two values (red and electric m -oo odd even matter field + + + blue arrows in Fig. 1). Using staggered fermions [22], - - - ... ... ^ x matter fields ` represent particles and anti-particles on ~ ^ t t alternating sites, with alternating electric charge Q` = ` ^y ^ ... ... (−1) ` `. By tuning the fermion rest mass m, we or can drive the system across a quantum phase transi- ... ... tion from a charge-dominated disordered phase to an m oo ordered phase, characterized by the spontaneous break- b Gauss’s law G = 0 ing of charge and parity (C/P) symmetries [21, 23]; - QLM see Fig. 1a. During the transition, due to the term Anti-particle site BHM / t~, particle{anti-particle pairs annihilate accompanied 1/2 -1 -1/2 1/2 0 1/2 -1/2 0 -1/2 by the correct adjustment of the electric field according + QLM Particle site BHM to Gauss's law. -1/2 1 1/2 1/2 0 1/2 -1/2 0 -1/2 Gauss's law requires the generators of the U(1) gauge transformations, c Hubbard simulator `+1 z z ^y ^ J δ+Δ 2Δ G^` = (−1) S^ + S^ + ` ; (2) odd even U ... `;`+1 `−1;` ` ... to be conserved quantities for each matter site `. We x 36 chains 1 choose, as is usual, to work in the charge-neutral sector, Odd Even P ^ y 0 where the state j i fulfills ` Q` j i = 0, and in the t 71 sites x Gauss's law sector specified by G^` j i = 0, 8`. Ensur- ... ... ing adherence to this local conservation law is the main or ... experimental challenge, as it intrinsically constrains mat- ... ter and electric fields across three neighboring sites (see Odd Even Fig. 1b). We simulate this QLM with ultracold bosons in a 1D optical superlattice as sketched in Fig. 1c (see Methods FIG. 1: Quantum simulation of a U(1) lattice gauge the- for details). The experiment is governed by the Bose{ ory. (a) A quantum phase transition separates a charge- Hubbard model (BHM) proliferated phase from a C/P symmetry-breaking phase X U where the electric field (triangles) passes unhindered through H^ = −J(^by^b + H:c:) + n^ (^n − 1) + " n^ ; the system (sketched at particle rest mass m ! −∞ and BHM j j+1 2 j j j j +1, respectively). The transition is driven by the gauge- j invariant annihilation of particles and antiparticles (charged (3) ^y ^ circles). (b) Gauss's law strongly restricts the permitted where bj; bj are creation and annihilation operators,n ^j = gauge-invariant configurations of charges and neighboring ^y^ bjbj, and J is the tunneling strength. The energy offset electric fields. (c) Simulation of the model on a 71-site Bose{ j Hubbard system consisting of ultracold atoms in an optical "j = (−1) δ=2+j∆ consists of a linear tilt ∆ to suppress superlattice. We sweep through the quantum phase transition long-range tunneling along the 1D chain and a staggered by controlling the Hubbard parameters. Particle-antiparticle superlattice potential δ. Here, the even sites j of the su- annihilation is realized by atoms initially residing on even perlattice correspond to the matter sites ` in the lattice (shallow) sites binding into doublons on odd (deep) sites (in- gauge theory, while we identify odd sites j with link in- sets: atomic densities for initial and final states). dices `; `+1. Choosing δ J and on-site interaction U ∼ 2δ, effectively constrains the system to the relevant sub- space limited to the number states j0i, j2i on odd (gauge) lution of the state in these elementary units, we detect sites and j0i, j1i on even (matter) sites. On thisp sub- the degree of local violation of Gauss's law. space, we can hence identify S^+ '(^by )2= 2 and Our target model is a U(1) gauge theory on a 1D spa- `;`+1 j=2`+1 (using a Jordan{Wigner transformation for the matterp tial lattice with N sites, described by the Hamiltonian ^ ^+ ^ ^ ^y 2^ sites), and similarly `S`;`+1 `+1 ' b2`(b2`+1) b2`+2= 2, (see Methods) see Methods. This term can be physically realized by atoms on neighboring matter sites combining into a dou- X it~ H^ = − ^ S^+ ^ − H:c: + m ^y ^ : blon. The rest mass corresponds to m = δ − U=2, QLM 2 ` `;`+1 `+1 ` ` ` which enables us to cross the phase transition by tuning (1) m < 0 ! m >p0. The strength of the gauge-invariant Using the QLM formalism, the gauge field is represented coupling (t~ ≈ 8 2J 2=U ≈ 70Hz at resonance m ≈ 0) is by spin-1/2 operators on links connecting neighboring much larger than the dissipation rate, enabling a faithful ^ `+1 ^z lattice sites, E`;`+1 ≡ (−1) S`;`+1, corresponding to implementation in a large many-body system.