-
Block Encodings of Discrete Subgroups on Quantum Computer
Authors:
Henry Lamm,
Ying-Ying Li,
**g Shu,
Yi-Lin Wang,
Bin Xu
Abstract:
We introduce a block encoding method for map** discrete subgroups to qubits on a quantum computer. This method is applicable to general discrete groups, including crystal-like subgroups such as $\mathbb{BI}$ of $SU(2)$ and $\mathbb{V}$ of $SU(3)$. We detail the construction of primitive gates -- the inversion gate, the group multiplication gate, the trace gate, and the group Fourier gate -- util…
▽ More
We introduce a block encoding method for map** discrete subgroups to qubits on a quantum computer. This method is applicable to general discrete groups, including crystal-like subgroups such as $\mathbb{BI}$ of $SU(2)$ and $\mathbb{V}$ of $SU(3)$. We detail the construction of primitive gates -- the inversion gate, the group multiplication gate, the trace gate, and the group Fourier gate -- utilizing this encoding method for $\mathbb{BT}$ and for the first time $\mathbb{BI}$ group. We also provide resource estimations to extract the gluon viscosity. The inversion gates for $\mathbb{BT}$ and $\mathbb{BI}$ are benchmarked on the $\texttt{Baiwang}$ quantum computer with estimated fidelities of $40^{+5}_{-4}\%$ and $4^{+5}_{-3}\%$ respectively.
△ Less
Submitted 21 May, 2024;
originally announced May 2024.
-
Digitization and subduction of $SU(N)$ gauge theories
Authors:
Benoît Assi,
Henry Lamm
Abstract:
The simulation of lattice gauge theories on quantum computers necessitates digitizing gauge fields. One approach involves substituting the continuous gauge group with a discrete subgroup, but the implications of this approximation still need to be clarified. To gain insights, we investigate the subduction of $ SU(2) $ and $ SU(3)$ to discrete crystal-like subgroups. Using classical lattice calcula…
▽ More
The simulation of lattice gauge theories on quantum computers necessitates digitizing gauge fields. One approach involves substituting the continuous gauge group with a discrete subgroup, but the implications of this approximation still need to be clarified. To gain insights, we investigate the subduction of $ SU(2) $ and $ SU(3)$ to discrete crystal-like subgroups. Using classical lattice calculations, we show that subduction offers valuable information based on subduced direct sums, hel** us identify additional terms to incorporate into the lattice action that can mitigate the effects of digitization. Furthermore, we compute the static potentials of all irreducible representations of $ Σ(360 \times 3) $ at a fixed lattice spacing. Our results reveal a percent-level agreement with the Casimir scaling of ( SU(3) ) for irreducible representations that subduce to a single $ Σ(360 \times 3) $ irreducible representation. This provides a diagnostic measure of approximation quality, as some irreducible representations closely match the expected results while others exhibit significant deviations.
△ Less
Submitted 28 May, 2024; v1 submitted 20 May, 2024;
originally announced May 2024.
-
Primitive Quantum Gates for an SU(3) Discrete Subgroup: $Σ(36\times3)$
Authors:
Erik J. Gustafson,
Yao Ji,
Henry Lamm,
Edison M. Murairi,
Shuchen Zhu
Abstract:
We construct the primitive gate set for the digital quantum simulation of the 108-element $Σ(36\times3)$ group. This is the first time a nonabelian crystal-like subgroup of $SU(3)$ has been constructed for quantum simulation. The gauge link registers and necessary primitives -- the inversion gate, the group multiplication gate, the trace gate, and the $Σ(36\times3)$ Fourier transform -- are presen…
▽ More
We construct the primitive gate set for the digital quantum simulation of the 108-element $Σ(36\times3)$ group. This is the first time a nonabelian crystal-like subgroup of $SU(3)$ has been constructed for quantum simulation. The gauge link registers and necessary primitives -- the inversion gate, the group multiplication gate, the trace gate, and the $Σ(36\times3)$ Fourier transform -- are presented for both an eight-qubit encoding and a heterogeneous three-qutrit plus two-qubit register. For the latter, a specialized compiler was developed for decomposing arbitrary unitaries onto this architecture.
△ Less
Submitted 5 June, 2024; v1 submitted 30 April, 2024;
originally announced May 2024.
-
Quantum error thresholds for gauge-redundant digitizations of lattice field theories
Authors:
Marcela Carena,
Henry Lamm,
Ying-Ying Li,
Wanqiang Liu
Abstract:
In the quantum simulation of lattice gauge theories, gauge symmetry can be either fixed or encoded as a redundancy of the Hilbert space. While gauge-fixing reduces the number of qubits, kee** the gauge redundancy can provide code space to mitigate and correct quantum errors by checking and restoring Gauss's law. In this work, we consider the correctable errors for generic finite gauge groups and…
▽ More
In the quantum simulation of lattice gauge theories, gauge symmetry can be either fixed or encoded as a redundancy of the Hilbert space. While gauge-fixing reduces the number of qubits, kee** the gauge redundancy can provide code space to mitigate and correct quantum errors by checking and restoring Gauss's law. In this work, we consider the correctable errors for generic finite gauge groups and design the quantum circuits to detect and correct them. We calculate the error thresholds below which the gauge-redundant digitization with Gauss's law error correction has better fidelity than the gauge-fixed digitization. Our results provide guidance for fault-tolerant quantum simulations of lattice gauge theories.
△ Less
Submitted 26 February, 2024;
originally announced February 2024.
-
Primitive Quantum Gates for an $SU(2)$ Discrete Subgroup: Binary Octahedral
Authors:
Erik J. Gustafson,
Henry Lamm,
Felicity Lovelace
Abstract:
We construct a primitive gate set for the digital quantum simulation of the 48-element binary octahedral ($\mathbb{BO}$) group. This nonabelian discrete group better approximates $SU(2)$ lattice gauge theory than previous work on the binary tetrahedral group at the cost of one additional qubit -- for a total of six -- per gauge link. The necessary primitives are the inversion gate, the group multi…
▽ More
We construct a primitive gate set for the digital quantum simulation of the 48-element binary octahedral ($\mathbb{BO}$) group. This nonabelian discrete group better approximates $SU(2)$ lattice gauge theory than previous work on the binary tetrahedral group at the cost of one additional qubit -- for a total of six -- per gauge link. The necessary primitives are the inversion gate, the group multiplication gate, the trace gate, and the $\mathbb{BO}$ Fourier transform.
△ Less
Submitted 15 December, 2023;
originally announced December 2023.
-
Reconstructing Thermal Quantum Quench Dynamics from Pure States
Authors:
Jason Saroni,
Henry Lamm,
Peter P. Orth,
Thomas Iadecola
Abstract:
Simulating the nonequilibrium dynamics of thermal states is a fundamental problem across scales from high energy to condensed matter physics. Quantum computers may provide a way to solve this problem efficiently. Preparing a thermal state on a quantum computer is challenging, but there exist methods to circumvent this by computing a weighted sum of time-dependent matrix elements in a convenient ba…
▽ More
Simulating the nonequilibrium dynamics of thermal states is a fundamental problem across scales from high energy to condensed matter physics. Quantum computers may provide a way to solve this problem efficiently. Preparing a thermal state on a quantum computer is challenging, but there exist methods to circumvent this by computing a weighted sum of time-dependent matrix elements in a convenient basis. While the number of basis states can be large, in this work we show that it can be reduced by simulating only the largest density matrix elements by weight, capturing the density matrix to a specified precision. Leveraging Hamiltonian symmetries enables further reductions. This approach paves the way to more accurate thermal-state dynamics simulations on near-term quantum hardware.
△ Less
Submitted 26 July, 2023;
originally announced July 2023.
-
Simulating $\mathbb{Z}_2$ lattice gauge theory on a quantum computer
Authors:
Clement Charles,
Erik J. Gustafson,
Elizabeth Hardt,
Florian Herren,
Norman Hogan,
Henry Lamm,
Sara Starecheski,
Ruth S. Van de Water,
Michael L. Wagman
Abstract:
The utility of quantum computers for simulating lattice gauge theories is currently limited by the noisiness of the physical hardware. Various quantum error mitigation strategies exist to reduce the statistical and systematic uncertainties in quantum simulations via improved algorithms and analysis strategies. We perform quantum simulations of $1+1d$ $\mathbb{Z}_2$ gauge theory with matter to stud…
▽ More
The utility of quantum computers for simulating lattice gauge theories is currently limited by the noisiness of the physical hardware. Various quantum error mitigation strategies exist to reduce the statistical and systematic uncertainties in quantum simulations via improved algorithms and analysis strategies. We perform quantum simulations of $1+1d$ $\mathbb{Z}_2$ gauge theory with matter to study the efficacy and interplay of different error mitigation methods: readout error mitigation, randomized compiling, rescaling, and dynamical decoupling. We compute Minkowski correlation functions in this confining gauge theory and extract the mass of the lightest spin-1 state from fits to their time dependence. Quantum error mitigation extends the range of times over which our correlation function calculations are accurate by a factor of six and is therefore essential for obtaining reliable masses.
△ Less
Submitted 27 October, 2023; v1 submitted 3 May, 2023;
originally announced May 2023.
-
Quantum mean estimation for lattice field theory
Authors:
Erik J. Gustafson,
Henry Lamm,
Judah Unmuth-Yockey
Abstract:
We demonstrate the quantum mean estimation algorithm on Euclidean lattice field theories. This shows a quadratic advantage over Monte Carlo methods which persists even in presence of a sign problem, and is insensitive to critical slowing down. The algorithm is used to compute $π$ with and without a sign problem, a toy U(1) gauge theory model, and the Ising model. The effect of $R_{Z}$-gate synthes…
▽ More
We demonstrate the quantum mean estimation algorithm on Euclidean lattice field theories. This shows a quadratic advantage over Monte Carlo methods which persists even in presence of a sign problem, and is insensitive to critical slowing down. The algorithm is used to compute $π$ with and without a sign problem, a toy U(1) gauge theory model, and the Ising model. The effect of $R_{Z}$-gate synthesis errors on a future fault-tolerant quantum computer is investigated.
△ Less
Submitted 28 February, 2023;
originally announced March 2023.
-
Robustness of Gauge Digitization to Quantum Noise
Authors:
Erik J. Gustafson,
Henry Lamm
Abstract:
Quantum noise limits the use of quantum memory in high energy physics simulations. In particular, it breaks the gauge symmetry of stored quantum states. We examine this effect for abelian and nonabelian theories and demonstrate that optimizing the digitization of gauge theories to quantum memory to account for noise channels can extend the lifetime before complete loss of gauge symmetry by…
▽ More
Quantum noise limits the use of quantum memory in high energy physics simulations. In particular, it breaks the gauge symmetry of stored quantum states. We examine this effect for abelian and nonabelian theories and demonstrate that optimizing the digitization of gauge theories to quantum memory to account for noise channels can extend the lifetime before complete loss of gauge symmetry by $2-10\times$ over some other digitizations. These constructions also allow for quantum error correction to integrate the symmetries of quantum fields and prioritize the largest gauge violations.
△ Less
Submitted 24 January, 2023;
originally announced January 2023.
-
Report of the Snowmass 2021 Theory Frontier Topical Group on Quantum Information Science
Authors:
Simon Catterall,
Roni Harnik,
Veronika E. Hubeny,
Christian W. Bauer,
Asher Berlin,
Zohreh Davoudi,
Thomas Faulkner,
Thomas Hartman,
Matthew Headrick,
Yonatan F. Kahn,
Henry Lamm,
Yannick Meurice,
Surjeet Rajendran,
Mukund Rangamani,
Brian Swingle
Abstract:
We summarize current and future applications of quantum information science to theoretical high energy physics. Three main themes are identified and discussed; quantum simulation, quantum sensors and formal aspects of the connection between quantum information and gravity. Within these themes, there are important research questions and opportunities to address them in the years and decades ahead.…
▽ More
We summarize current and future applications of quantum information science to theoretical high energy physics. Three main themes are identified and discussed; quantum simulation, quantum sensors and formal aspects of the connection between quantum information and gravity. Within these themes, there are important research questions and opportunities to address them in the years and decades ahead. Efforts in develo** a diverse quantum workforce are also discussed. This work summarizes the subtopical area Quantum Information for High Energy Physics TF10 which forms part of the Theory Frontier report for the Snowmass 2021 planning process.
△ Less
Submitted 29 September, 2022;
originally announced September 2022.
-
Primitive Quantum Gates for an SU(2) Discrete Subgroup: BT
Authors:
Erik J. Gustafson,
Henry Lamm,
Felicity Lovelace,
Damian Musk
Abstract:
We construct a primitive gate set for the digital quantum simulation of the binary tetrahedral ($\mathbb{BT}$) group on two quantum architectures. This nonabelian discrete group serves as a crude approximation to $SU(2)$ lattice gauge theory while requiring five qubits or one quicosotetrit per gauge link. The necessary basic primitives are the inversion gate, the group multiplication gate, the tra…
▽ More
We construct a primitive gate set for the digital quantum simulation of the binary tetrahedral ($\mathbb{BT}$) group on two quantum architectures. This nonabelian discrete group serves as a crude approximation to $SU(2)$ lattice gauge theory while requiring five qubits or one quicosotetrit per gauge link. The necessary basic primitives are the inversion gate, the group multiplication gate, the trace gate, and the $\mathbb{BT}$ Fourier transform over $\mathbb{BT}$. We experimentally benchmark the inversion and trace gates on ibm nairobi, with estimated fidelities between $14-55\%$, depending on the input state.
△ Less
Submitted 1 September, 2022; v1 submitted 25 August, 2022;
originally announced August 2022.
-
Gauge Theory Couplings on Anisotropic Lattices
Authors:
Marcela Carena,
Erik J. Gustafson,
Henry Lamm,
Ying-Ying Li,
Wanqiang Liu
Abstract:
The advantage of simulating lattice field theory with quantum computers is hamstrung by the limited resources that induce large errors from finite volume and sizable lattice spacings. Previous work has shown how classical simulations near the Hamiltonian limit can be used for setting the lattice spacings in real-time through analytical continuation, thereby reducing errors in quantum simulations.…
▽ More
The advantage of simulating lattice field theory with quantum computers is hamstrung by the limited resources that induce large errors from finite volume and sizable lattice spacings. Previous work has shown how classical simulations near the Hamiltonian limit can be used for setting the lattice spacings in real-time through analytical continuation, thereby reducing errors in quantum simulations. In this work, we derive perturbative relations between bare and renormalized quantities in Euclidean spacetime at any anisotropy factor -- the ratio of spatial to temporal lattice spacings -- and in any spatial dimension for $U(N)$ and $SU(N)$. This reduces the required classical preprocessing for quantum simulations. We find less than $10\%$ discrepancy between our perturbative results and those from existing nonperturbative determinations of the anisotropy for $SU(2)$ and $U(1)$ gauge theories. For the discrete groups $\mathbb{Z}_{10}$, $\mathbb{Z}_{100}$ and $\mathbb{BI}$, we perform lattice Monte Carlo simulations to extract anisotropy factors and observe similar agreement with our perturbative results.
△ Less
Submitted 22 August, 2022;
originally announced August 2022.
-
Lattice QCD and Particle Physics
Authors:
Andreas S. Kronfeld,
Tanmoy Bhattacharya,
Thomas Blum,
Norman H. Christ,
Carleton DeTar,
William Detmold,
Robert Edwards,
Anna Hasenfratz,
Huey-Wen Lin,
Swagato Mukherjee,
Konstantinos Orginos,
Richard Brower,
Vincenzo Cirigliano,
Zohreh Davoudi,
Bálint Jóo,
Chulwoo Jung,
Christoph Lehner,
Stefan Meinel,
Ethan T. Neil,
Peter Petreczky,
David G. Richards,
Alexei Bazavov,
Simon Catterall,
Jozef J. Dudek,
Aida X. El-Khadra
, et al. (57 additional authors not shown)
Abstract:
Contribution from the USQCD Collaboration to the Proceedings of the US Community Study on the Future of Particle Physics (Snowmass 2021).
Contribution from the USQCD Collaboration to the Proceedings of the US Community Study on the Future of Particle Physics (Snowmass 2021).
△ Less
Submitted 2 October, 2022; v1 submitted 15 July, 2022;
originally announced July 2022.
-
Quantum computing hardware for HEP algorithms and sensing
Authors:
M. Sohaib Alam,
Sergey Belomestnykh,
Nicholas Bornman,
Gustavo Cancelo,
Yu-Chiu Chao,
Mattia Checchin,
Vinh San Dinh,
Anna Grassellino,
Erik J. Gustafson,
Roni Harnik,
Corey Rae Harrington McRae,
Ziwen Huang,
Keshav Kapoor,
Taeyoon Kim,
James B. Kowalkowski,
Matthew J. Kramer,
Yulia Krasnikova,
Prem Kumar,
Doga Murat Kurkcuoglu,
Henry Lamm,
Adam L. Lyon,
Despina Milathianaki,
Akshay Murthy,
Josh Mutus,
Ivan Nekrashevich
, et al. (15 additional authors not shown)
Abstract:
Quantum information science harnesses the principles of quantum mechanics to realize computational algorithms with complexities vastly intractable by current computer platforms. Typical applications range from quantum chemistry to optimization problems and also include simulations for high energy physics. The recent maturing of quantum hardware has triggered preliminary explorations by several ins…
▽ More
Quantum information science harnesses the principles of quantum mechanics to realize computational algorithms with complexities vastly intractable by current computer platforms. Typical applications range from quantum chemistry to optimization problems and also include simulations for high energy physics. The recent maturing of quantum hardware has triggered preliminary explorations by several institutions (including Fermilab) of quantum hardware capable of demonstrating quantum advantage in multiple domains, from quantum computing to communications, to sensing. The Superconducting Quantum Materials and Systems (SQMS) Center, led by Fermilab, is dedicated to providing breakthroughs in quantum computing and sensing, mediating quantum engineering and HEP based material science. The main goal of the Center is to deploy quantum systems with superior performance tailored to the algorithms used in high energy physics. In this Snowmass paper, we discuss the two most promising superconducting quantum architectures for HEP algorithms, i.e. three-level systems (qutrits) supported by transmon devices coupled to planar devices and multi-level systems (qudits with arbitrary N energy levels) supported by superconducting 3D cavities. For each architecture, we demonstrate exemplary HEP algorithms and identify the current challenges, ongoing work and future opportunities. Furthermore, we discuss the prospects and complexities of interconnecting the different architectures and individual computational nodes. Finally, we review several different strategies of error protection and correction and discuss their potential to improve the performance of the two architectures. This whitepaper seeks to reach out to the HEP community and drive progress in both HEP research and QIS hardware.
△ Less
Submitted 29 April, 2022; v1 submitted 18 April, 2022;
originally announced April 2022.
-
Quantum Simulation for High Energy Physics
Authors:
Christian W. Bauer,
Zohreh Davoudi,
A. Baha Balantekin,
Tanmoy Bhattacharya,
Marcela Carena,
Wibe A. de Jong,
Patrick Draper,
Aida El-Khadra,
Nate Gemelke,
Masanori Hanada,
Dmitri Kharzeev,
Henry Lamm,
Ying-Ying Li,
Junyu Liu,
Mikhail Lukin,
Yannick Meurice,
Christopher Monroe,
Benjamin Nachman,
Guido Pagano,
John Preskill,
Enrico Rinaldi,
Alessandro Roggero,
David I. Santiago,
Martin J. Savage,
Irfan Siddiqi
, et al. (6 additional authors not shown)
Abstract:
It is for the first time that Quantum Simulation for High Energy Physics (HEP) is studied in the U.S. decadal particle-physics community planning, and in fact until recently, this was not considered a mainstream topic in the community. This fact speaks of a remarkable rate of growth of this subfield over the past few years, stimulated by the impressive advancements in Quantum Information Sciences…
▽ More
It is for the first time that Quantum Simulation for High Energy Physics (HEP) is studied in the U.S. decadal particle-physics community planning, and in fact until recently, this was not considered a mainstream topic in the community. This fact speaks of a remarkable rate of growth of this subfield over the past few years, stimulated by the impressive advancements in Quantum Information Sciences (QIS) and associated technologies over the past decade, and the significant investment in this area by the government and private sectors in the U.S. and other countries. High-energy physicists have quickly identified problems of importance to our understanding of nature at the most fundamental level, from tiniest distances to cosmological extents, that are intractable with classical computers but may benefit from quantum advantage. They have initiated, and continue to carry out, a vigorous program in theory, algorithm, and hardware co-design for simulations of relevance to the HEP mission. This community whitepaper is an attempt to bring this exciting and yet challenging area of research to the spotlight, and to elaborate on what the promises, requirements, challenges, and potential solutions are over the next decade and beyond.
△ Less
Submitted 7 April, 2022;
originally announced April 2022.
-
Improved Hamiltonians for Quantum Simulations
Authors:
Marcela Carena,
Henry Lamm,
Ying-Ying Li,
Wanqiang Liu
Abstract:
Quantum simulations of lattice gauge theories for the foreseeable future will be hampered by limited resources. The historical success of improved lattice actions in classical simulations strongly suggests that Hamiltonians with improved discretization errors will reduce quantum resources, i.e. require $\gtrsim 2^d$ fewer qubits in quantum simulations for lattices with $d$ spatial dimensions. In t…
▽ More
Quantum simulations of lattice gauge theories for the foreseeable future will be hampered by limited resources. The historical success of improved lattice actions in classical simulations strongly suggests that Hamiltonians with improved discretization errors will reduce quantum resources, i.e. require $\gtrsim 2^d$ fewer qubits in quantum simulations for lattices with $d$ spatial dimensions. In this work, we consider $\mathcal{O}(a^2)$-improved Hamiltonians for pure gauge theories and design the corresponding quantum circuits for its real-time evolution in terms of primitive gates. An explicit demonstration for $\mathbb{Z}_2$ gauge theory is presented including exploratory tests using the ibm_perth device.
△ Less
Submitted 22 August, 2022; v1 submitted 5 March, 2022;
originally announced March 2022.
-
Gluon Digitization via Character Expansion for Quantum Computers
Authors:
Yao Ji,
Henry Lamm,
Shuchen Zhu
Abstract:
Efficient digitization is required for quantum simulations of gauge theories. Schemes based on discrete subgroups use a smaller, fixed number of qubits at the cost of systematic errors. We systematize this approach by deriving the single plaquette action through matching the continuous group action to that of a discrete one via group character expansions modulo the field fluctuation contributions.…
▽ More
Efficient digitization is required for quantum simulations of gauge theories. Schemes based on discrete subgroups use a smaller, fixed number of qubits at the cost of systematic errors. We systematize this approach by deriving the single plaquette action through matching the continuous group action to that of a discrete one via group character expansions modulo the field fluctuation contributions. We accompany this scheme by simulations of pure gauge over the largest discrete crystal-like subgroup of $SU(3)$ up to the fifth-order in the coupling constant.
△ Less
Submitted 4 March, 2022;
originally announced March 2022.
-
The spectrum of qubitized QCD: glueballs in a $S(1080)$ gauge theory
Authors:
Andrei Alexandru,
Paulo F. Bedaque,
Ruairí Brett,
Henry Lamm
Abstract:
Quantum simulations of QCD require digitization of the infinite-dimensional gluon field. Schemes for doing this with the minimum amount of qubits are desirable. We present a practical digitization for $SU(3)$ gauge theories via its discrete subgroup $S(1080)$. Using a modified action that allows classical simulations down to $a\approx 0.08$ fm, the low-lying glueball spectrum is computed with perc…
▽ More
Quantum simulations of QCD require digitization of the infinite-dimensional gluon field. Schemes for doing this with the minimum amount of qubits are desirable. We present a practical digitization for $SU(3)$ gauge theories via its discrete subgroup $S(1080)$. Using a modified action that allows classical simulations down to $a\approx 0.08$ fm, the low-lying glueball spectrum is computed with percent-level precision at multiple lattice spacings and shown to extrapolate to the continuum limit $SU(3)$ results. This suggests that this digitization scheme is sufficient for precision quantum simulations of QCD.
△ Less
Submitted 15 December, 2021;
originally announced December 2021.
-
Simulations of Quantum Circuits with Approximate Noise using qsim and Cirq
Authors:
Sergei V. Isakov,
Dvir Kafri,
Orion Martin,
Catherine Vollgraff Heidweiller,
Wojciech Mruczkiewicz,
Matthew P. Harrigan,
Nicholas C. Rubin,
Ross Thomson,
Michael Broughton,
Kevin Kissell,
Evan Peters,
Erik Gustafson,
Andy C. Y. Li,
Henry Lamm,
Gabriel Perdue,
Alan K. Ho,
Doug Strain,
Sergio Boixo
Abstract:
We introduce multinode quantum trajectory simulations with qsim, an open source high performance simulator of quantum circuits. qsim can be used as a backend of Cirq, a Python software library for writing quantum circuits. We present a novel delayed inner product algorithm for quantum trajectories which can result in an order of magnitude speedup for low noise simulation. We also provide tools to…
▽ More
We introduce multinode quantum trajectory simulations with qsim, an open source high performance simulator of quantum circuits. qsim can be used as a backend of Cirq, a Python software library for writing quantum circuits. We present a novel delayed inner product algorithm for quantum trajectories which can result in an order of magnitude speedup for low noise simulation. We also provide tools to use this framework in Google Cloud Platform, with high performance virtual machines in a single mode or multinode setting. Multinode configurations are well suited to simulate noisy quantum circuits with quantum trajectories. Finally, we introduce an approximate noise model for Google's experimental quantum computing platform and compare the results of noisy simulations with experiments for several quantum algorithms on Google's Quantum Computing Service.
△ Less
Submitted 3 November, 2021;
originally announced November 2021.
-
Large scale multi-node simulations of $\mathbb{Z}_2$ gauge theory quantum circuits using Google Cloud Platform
Authors:
Erik Gustafson,
Burt Holzman,
James Kowalkowski,
Henry Lamm,
Andy C. Y. Li,
Gabriel Perdue,
Sergio Boixo,
Sergei Isakov,
Orion Martin,
Ross Thomson,
Catherine Vollgraff Heidweiller,
Jackson Beall,
Martin Ganahl,
Guifre Vidal,
Evan Peters
Abstract:
Simulating quantum field theories on a quantum computer is one of the most exciting fundamental physics applications of quantum information science. Dynamical time evolution of quantum fields is a challenge that is beyond the capabilities of classical computing, but it can teach us important lessons about the fundamental fabric of space and time. Whether we may answer scientific questions of inter…
▽ More
Simulating quantum field theories on a quantum computer is one of the most exciting fundamental physics applications of quantum information science. Dynamical time evolution of quantum fields is a challenge that is beyond the capabilities of classical computing, but it can teach us important lessons about the fundamental fabric of space and time. Whether we may answer scientific questions of interest using near-term quantum computing hardware is an open question that requires a detailed simulation study of quantum noise. Here we present a large scale simulation study powered by a multi-node implementation of qsim using the Google Cloud Platform. We additionally employ newly-developed GPU capabilities in qsim and show how Tensor Processing Units -- Application-specific Integrated Circuits (ASICs) specialized for Machine Learning -- may be used to dramatically speed up the simulation of large quantum circuits. We demonstrate the use of high performance cloud computing for simulating $\mathbb{Z}_2$ quantum field theories on system sizes up to 36 qubits. We find this lattice size is not able to simulate our problem and observable combination with sufficient accuracy, implying more challenging observables of interest for this theory are likely beyond the reach of classical computation using exact circuit simulation.
△ Less
Submitted 14 October, 2021;
originally announced October 2021.
-
Primitive Quantum Gates for Dihedral Gauge Theories
Authors:
M. Sohaib Alam,
Stuart Hadfield,
Henry Lamm,
Andy C. Y. Li
Abstract:
We describe the simulation of dihedral gauge theories on digital quantum computers. The nonabelian discrete gauge group $D_N$ -- the dihedral group -- serves as an approximation to $U(1)\times\mathbb{Z}_2$ lattice gauge theory. In order to carry out such a lattice simulation, we detail the construction of efficient quantum circuits to realize basic primitives including the nonabelian Fourier trans…
▽ More
We describe the simulation of dihedral gauge theories on digital quantum computers. The nonabelian discrete gauge group $D_N$ -- the dihedral group -- serves as an approximation to $U(1)\times\mathbb{Z}_2$ lattice gauge theory. In order to carry out such a lattice simulation, we detail the construction of efficient quantum circuits to realize basic primitives including the nonabelian Fourier transform over $D_N$, the trace operation, and the group multiplication and inversion operations. For each case the required quantum resources scale linearly or as low-degree polynomials in $n=\log N$. We experimentally benchmark our gates on the Rigetti Aspen-9 quantum processor for the case of $D_4$. The fidelity of all $D_4$ gates was found to exceed $80\%$.
△ Less
Submitted 30 June, 2022; v1 submitted 30 August, 2021;
originally announced August 2021.
-
Lattice Renormalization of Quantum Simulations
Authors:
Marcela Carena,
Henry Lamm,
Ying-Ying Li,
Wanqiang Liu
Abstract:
With advances in quantum computing, new opportunities arise to tackle challenging calculations in quantum field theory. We show that trotterized time-evolution operators can be related by analytic continuation to the Euclidean transfer matrix on an anisotropic lattice. In turn, trotterization entails renormalization of the temporal and spatial lattice spacings. Based on the tools of Euclidean latt…
▽ More
With advances in quantum computing, new opportunities arise to tackle challenging calculations in quantum field theory. We show that trotterized time-evolution operators can be related by analytic continuation to the Euclidean transfer matrix on an anisotropic lattice. In turn, trotterization entails renormalization of the temporal and spatial lattice spacings. Based on the tools of Euclidean lattice field theory, we propose two schemes to determine Minkowski lattice spacings, using Euclidean data and thereby overcoming the demands on quantum resources for scale setting. In addition, we advocate using a fixed-anisotropy approach to the continuum to reduce both circuit depth and number of independent simulations. We demonstrate these methods with Qiskit noiseless simulators for a $2+1$D discrete non-Abelian $D_4$ gauge theory with two spatial plaquettes.
△ Less
Submitted 27 July, 2021; v1 submitted 2 July, 2021;
originally announced July 2021.
-
Quantum algorithms for transport coefficients in gauge theories
Authors:
Thomas D. Cohen,
Henry Lamm,
Scott Lawrence,
Yukari Yamauchi
Abstract:
In the future, ab initio quantum simulations of heavy ion collisions may become possible with large-scale fault-tolerant quantum computers. We propose a quantum algorithm for studying these collisions by looking at a class of observables requiring dramatically smaller volumes: transport coefficients. These form nonperturbative inputs into theoretical models of heavy ions; thus, their calculation r…
▽ More
In the future, ab initio quantum simulations of heavy ion collisions may become possible with large-scale fault-tolerant quantum computers. We propose a quantum algorithm for studying these collisions by looking at a class of observables requiring dramatically smaller volumes: transport coefficients. These form nonperturbative inputs into theoretical models of heavy ions; thus, their calculation reduces theoretical uncertainties without the need for a full-scale simulation of the collision. We derive the necessary lattice operators in the Hamiltonian formulation and describe how to obtain them on quantum computers. Additionally, we discuss ways to efficiently prepare the relevant thermal state of a gauge theory.
△ Less
Submitted 5 April, 2021;
originally announced April 2021.
-
Path integral contour deformations for observables in $SU(N)$ gauge theory
Authors:
William Detmold,
Gurtej Kanwar,
Henry Lamm,
Michael L. Wagman,
Neill C. Warrington
Abstract:
Path integral contour deformations have been shown to mitigate sign and signal-to-noise problems associated with phase fluctuations in lattice field theories. We define a family of contour deformations applicable to $SU(N)$ lattice gauge theory that can reduce sign and signal-to-noise problems associated with complex actions and complex observables. For observables, these contours can be used to d…
▽ More
Path integral contour deformations have been shown to mitigate sign and signal-to-noise problems associated with phase fluctuations in lattice field theories. We define a family of contour deformations applicable to $SU(N)$ lattice gauge theory that can reduce sign and signal-to-noise problems associated with complex actions and complex observables. For observables, these contours can be used to define deformed observables with identical expectation value but different variance. As a proof-of-principle, we apply machine learning techniques to optimize the deformed observables associated with Wilson loops in two dimensional $SU(2)$ and $SU(3)$ gauge theory. We study loops consisting of up to 64 plaquettes and achieve variance reduction of up to 4 orders of magnitude.
△ Less
Submitted 29 January, 2021;
originally announced January 2021.
-
Toward Quantum Simulations of $\mathbb{Z}_2$ Gauge Theory Without State Preparation
Authors:
Erik J. Gustafson,
Henry Lamm
Abstract:
Preparing strongly-coupled particle states on quantum computers requires large resources. In this work, we show how classical sampling coupled with projection operators can be used to compute Minkowski matrix elements without explicitly preparing these states on the quantum computer. We demonstrate this for the 2+1d $\mathbb{Z}_2$ lattice gauge theory on small lattices with a quantum simulator.
Preparing strongly-coupled particle states on quantum computers requires large resources. In this work, we show how classical sampling coupled with projection operators can be used to compute Minkowski matrix elements without explicitly preparing these states on the quantum computer. We demonstrate this for the 2+1d $\mathbb{Z}_2$ lattice gauge theory on small lattices with a quantum simulator.
△ Less
Submitted 3 December, 2020; v1 submitted 23 November, 2020;
originally announced November 2020.
-
Gluon Field Digitization via Group Space Decimation for Quantum Computers
Authors:
Yao Ji,
Henry Lamm,
Shuchen Zhu
Abstract:
Efficient digitization is required for quantum simulations of gauge theories. Schemes based on discrete subgroups use fewer qubits at the cost of systematic errors. We systematize this approach by deriving a single plaquette action for approximating general continuous gauge groups through integrating out field fluctuations. This provides insight into the effectiveness of these approximations, and…
▽ More
Efficient digitization is required for quantum simulations of gauge theories. Schemes based on discrete subgroups use fewer qubits at the cost of systematic errors. We systematize this approach by deriving a single plaquette action for approximating general continuous gauge groups through integrating out field fluctuations. This provides insight into the effectiveness of these approximations, and how they could be improved. We accompany the scheme by simulations of pure gauge over the largest discrete subgroup of $SU(3)$ up to the third order.
△ Less
Submitted 9 November, 2020; v1 submitted 28 May, 2020;
originally announced May 2020.
-
Suppressing Coherent Gauge Drift in Quantum Simulations
Authors:
Henry Lamm,
Scott Lawrence,
Yukari Yamauchi
Abstract:
Simulations of field theories on noisy quantum computers must contend with errors introduced by that noise. For gauge theories, a large class of errors violate gauge symmetry, and thus may result in unphysical processes occurring in the simulation. We present a method, applicable to non-Abelian gauge theories, for suppressing coherent gauge drift errors through the repeated application of pseudora…
▽ More
Simulations of field theories on noisy quantum computers must contend with errors introduced by that noise. For gauge theories, a large class of errors violate gauge symmetry, and thus may result in unphysical processes occurring in the simulation. We present a method, applicable to non-Abelian gauge theories, for suppressing coherent gauge drift errors through the repeated application of pseudorandom gauge transformation. In cases where the dominant errors are gauge-violating, we expect this method to be a practical way to improve the accuracy of NISQ-era simulations.
△ Less
Submitted 26 May, 2020;
originally announced May 2020.
-
Quantum Simulation of Field Theories Without State Preparation
Authors:
Siddhartha Harmalkar,
Henry Lamm,
Scott Lawrence
Abstract:
We propose an algorithm for computing real-time observables using a quantum processor while avoiding the need to prepare the full quantum state. This reduction in quantum resources is achieved by classically sampling configurations in imaginary-time using standard lattice field theory. These configurations can then be passed to quantum processor for time-evolution. This method encounters a signal-…
▽ More
We propose an algorithm for computing real-time observables using a quantum processor while avoiding the need to prepare the full quantum state. This reduction in quantum resources is achieved by classically sampling configurations in imaginary-time using standard lattice field theory. These configurations can then be passed to quantum processor for time-evolution. This method encounters a signal-to-noise problem which we characterize, and we demonstrate the application of standard lattice QCD methods to mitigate it.
△ Less
Submitted 30 January, 2020;
originally announced January 2020.
-
Nucleon form factors from basis light front quantization
Authors:
Chandan Mondal,
Siqi Xu,
Jiangshan Lan,
Xingbo Zhao,
Yang Li,
Henry Lamm,
James P. Vary
Abstract:
We investigate the electromagnetic form factors of the nucleon in the framework of basis light front quantization. We compute the form factors using the light front wavefunctions obtained by diagonalizing the effective Hamiltonian consisting of the holographic QCD confinement potential, the longitudinal confinement, and a one-gluon exchange interaction with fixed coupling. The electromagnetic radi…
▽ More
We investigate the electromagnetic form factors of the nucleon in the framework of basis light front quantization. We compute the form factors using the light front wavefunctions obtained by diagonalizing the effective Hamiltonian consisting of the holographic QCD confinement potential, the longitudinal confinement, and a one-gluon exchange interaction with fixed coupling. The electromagnetic radii of the nucleon are also computed.
△ Less
Submitted 16 January, 2020;
originally announced January 2020.
-
Precision Model-Independent Bounds from Global Analysis of $b \to c \ell ν$ Form Factors
Authors:
Thomas D. Cohen,
Henry Lamm,
Richard F. Lebed
Abstract:
We present a model-independent global analysis of hadronic form factors for the semileptonic decays $b\rightarrow c\ellν$ that exploits lattice-QCD data, dispersion relations, and heavy-quark symmetries. The analysis yields predictions for the relevant form factors, within quantifiable bounds. These form factors are used to compute the semileptonic ratios $R(H_c)$ and various decay-product polariz…
▽ More
We present a model-independent global analysis of hadronic form factors for the semileptonic decays $b\rightarrow c\ellν$ that exploits lattice-QCD data, dispersion relations, and heavy-quark symmetries. The analysis yields predictions for the relevant form factors, within quantifiable bounds. These form factors are used to compute the semileptonic ratios $R(H_c)$ and various decay-product polarizations. In particular, we find $R(D_s^*)=0.20(3)$ and $R(J/ψ)=0.25(3)$, predictions that can be compared to results of upcoming LHCb measurements. In develo** this treatment, we obtain leading-order NRQCD results for the nonzero-recoil relations between the $B_c^+ \rightarrow \{J/ψ, η_c \}$ form factors.
△ Less
Submitted 23 September, 2019;
originally announced September 2019.
-
Parton Physics on a Quantum Computer
Authors:
Henry Lamm,
Scott Lawrence,
Yukari Yamauchi
Abstract:
Parton distribution functions and hadronic tensors may be computed on a universal quantum computer without many of the complexities that apply to Euclidean lattice calculations. We detail algorithms for computing parton distribution functions and the hadronic tensor in the Thirring model. Their generalization to QCD is discussed, with the conclusion that the parton distribution function is best ob…
▽ More
Parton distribution functions and hadronic tensors may be computed on a universal quantum computer without many of the complexities that apply to Euclidean lattice calculations. We detail algorithms for computing parton distribution functions and the hadronic tensor in the Thirring model. Their generalization to QCD is discussed, with the conclusion that the parton distribution function is best obtained by fitting the hadronic tensor, rather than direct calculation. As a side effect of this method, we find that lepton-hadron cross sections may be computed relatively cheaply. Finally, we estimate the computational cost of performing such a calculation on a digital quantum computer, including the cost of state preparation, for physically relevant parameters.
△ Less
Submitted 16 February, 2020; v1 submitted 27 August, 2019;
originally announced August 2019.
-
Gluon Field Digitization for Quantum Computers
Authors:
Andrei Alexandru,
Paulo F. Bedaque,
Siddhartha Harmalkar,
Henry Lamm,
Scott Lawrence,
Neill C. Warrington
Abstract:
Simulations of gauge theories on quantum computers require the digitization of continuous field variables. Digitization schemes that uses the minimum amount of qubits are desirable. We present a practical scheme for digitizing $SU(3)$ gauge theories via its discrete subgroup $S(1080)$. The $S(1080)$ standard Wilson action cannot be used since a phase transition occurs as the coupling is decreased,…
▽ More
Simulations of gauge theories on quantum computers require the digitization of continuous field variables. Digitization schemes that uses the minimum amount of qubits are desirable. We present a practical scheme for digitizing $SU(3)$ gauge theories via its discrete subgroup $S(1080)$. The $S(1080)$ standard Wilson action cannot be used since a phase transition occurs as the coupling is decreased, well before the scaling regime. We proposed a modified action that allows simulations in the scaling window and carry out classical Monte Carlo calculations down to lattice spacings of order $a\approx 0.08$ fm. We compute a set of observables with sub-percent precision at multiple lattice spacings and show that the continuum extrapolated value agrees with the full $SU(3)$ results. This suggests that this digitization scheme provides sufficient precision for NISQ-era QCD simulations.
△ Less
Submitted 27 June, 2019; v1 submitted 26 June, 2019;
originally announced June 2019.
-
General Methods for Digital Quantum Simulation of Gauge Theories
Authors:
Henry Lamm,
Scott Lawrence,
Yukari Yamauchi
Abstract:
A general scheme is presented for simulating gauge theories, with matter fields, on a digital quantum computer. A Trotterized time-evolution operator that respects gauge symmetry is constructed, and a procedure for obtaining time-separated, gauge-invariant operators is detailed. We demonstrate the procedure on small lattices, including the simulation of a 2+1D non-Abelian gauge theory.
A general scheme is presented for simulating gauge theories, with matter fields, on a digital quantum computer. A Trotterized time-evolution operator that respects gauge symmetry is constructed, and a procedure for obtaining time-separated, gauge-invariant operators is detailed. We demonstrate the procedure on small lattices, including the simulation of a 2+1D non-Abelian gauge theory.
△ Less
Submitted 27 August, 2019; v1 submitted 19 March, 2019;
originally announced March 2019.
-
Sigma models on quantum computers
Authors:
Andrei Alexandru,
Paulo F. Bedaque,
Henry Lamm,
Scott Lawrence
Abstract:
We formulate a discretization of sigma models suitable for simulation by quantum computers. Space is substituted by a lattice, as usually done in lattice field theory, while the target space (a sphere) is replaced by the "fuzzy sphere", a construction well known from non-commutative geometry. Contrary to more naive discretizations of the sphere, in this construction the exact $O(3)$ symmetry is ma…
▽ More
We formulate a discretization of sigma models suitable for simulation by quantum computers. Space is substituted by a lattice, as usually done in lattice field theory, while the target space (a sphere) is replaced by the "fuzzy sphere", a construction well known from non-commutative geometry. Contrary to more naive discretizations of the sphere, in this construction the exact $O(3)$ symmetry is maintained, which suggests that the discretized model is in the same universality class as the continuum model. That would allow for continuum results to be obtained for very rough discretizations of the target space as long as the space discretization is made fine enough. The cost of performing time-evolution, measured as the number of CNOT operations necessary, is $12 L T/Δt $, where $L$ is the number of spatial sites, $T$ the maximum time extent and $Δt$ the time spacing.
△ Less
Submitted 19 March, 2019; v1 submitted 15 March, 2019;
originally announced March 2019.
-
Flowing Gauge Theories: Finite-Density $QED_{1+1}$
Authors:
Henry Lamm
Abstract:
Finite-density calculations in lattice field theory are typically plagued by sign problems. A promising way to ameliorate this issue is the holomorphic flow equations that deform the manifold of integration for the path integral to manifolds in the complex space where the sign fluctuations are less dramatic. We discuss some novel features of applying the flow equations to gauge theories and presen…
▽ More
Finite-density calculations in lattice field theory are typically plagued by sign problems. A promising way to ameliorate this issue is the holomorphic flow equations that deform the manifold of integration for the path integral to manifolds in the complex space where the sign fluctuations are less dramatic. We discuss some novel features of applying the flow equations to gauge theories and present results for finite-density $QED_{1+1}$.
△ Less
Submitted 19 October, 2018; v1 submitted 14 October, 2018;
originally announced October 2018.
-
Scouring meson decays for true muonium
Authors:
Yao Ji,
Henry Lamm
Abstract:
Rare meson decay experiments promise to measure branching ratios as small as $10^{-13}$. This presents an opportunity to discover the $μ^+μ^-$ bound state true muonium. We consider a set of possible channels, all with branching ratios above $\sim10^{-11}$. For the electromagnetic decays $η/η'\rightarrow(μ^+μ^-)γ$, theoretical and phenomenological form factors $F_{η/η'γγ^*}(Q^2)$ allow predictions…
▽ More
Rare meson decay experiments promise to measure branching ratios as small as $10^{-13}$. This presents an opportunity to discover the $μ^+μ^-$ bound state true muonium. We consider a set of possible channels, all with branching ratios above $\sim10^{-11}$. For the electromagnetic decays $η/η'\rightarrow(μ^+μ^-)γ$, theoretical and phenomenological form factors $F_{η/η'γγ^*}(Q^2)$ allow predictions of $\mathcal{BR}(η'\rightarrow (μ^+μ^-) γ)\sim 4.8\times10^{-10}$ and $\mathcal{BR}(η'\rightarrow (μ^+μ^-) γ)\sim 3.7\times10^{-11}$ at the 5% level. Discussion of experimental prospects and potential backgrounds are made.
△ Less
Submitted 29 September, 2018;
originally announced October 2018.
-
Model-Independent Bounds on $R(J/ψ)$ via Dispersive Relations
Authors:
Henry Lamm
Abstract:
Model-independent bounds on $R(J/ψ) \! \equiv \!\mathcal{BR} (B_c^+ \rightarrow J/ψ\, τ^+ν_τ)/$ $\mathcal{BR} (B_c^+ \rightarrow J/ψ\, μ^+ν_μ)$ are obtained through a combination of dispersive relations, heavy-quark relations at zero-recoil, and the limited existing form factor determinations from lattice QCD. The resulting 95% confidence-level bound, $0.20\leq R(J/ψ)\leq0.39$, agrees with the rec…
▽ More
Model-independent bounds on $R(J/ψ) \! \equiv \!\mathcal{BR} (B_c^+ \rightarrow J/ψ\, τ^+ν_τ)/$ $\mathcal{BR} (B_c^+ \rightarrow J/ψ\, μ^+ν_μ)$ are obtained through a combination of dispersive relations, heavy-quark relations at zero-recoil, and the limited existing form factor determinations from lattice QCD. The resulting 95% confidence-level bound, $0.20\leq R(J/ψ)\leq0.39$, agrees with the recent LHCb result at $1.3 \, σ$, and removes the dominant model-dependent uncertainty from theory predictions. Using the same techniques, a prediction of $R(η_c)=0.29(5)$ is obtained.
△ Less
Submitted 21 September, 2018;
originally announced September 2018.
-
Fermions at Finite Density in (2+1)d with Sign-Optimized Manifolds
Authors:
Andrei Alexandru,
Paulo F. Bedaque,
Henry Lamm,
Scott Lawrence,
Neill C. Warrington
Abstract:
We present Monte Carlo calculations of the thermodynamics of the (2+1) dimensional Thirring model at finite density. We bypass the sign problem by deforming the domain of integration of the path integral into complex space in such a way as to maximize the average sign within a parameterized family of manifolds. We present results for lattice sizes up to $10^3$ and we find that at high densities an…
▽ More
We present Monte Carlo calculations of the thermodynamics of the (2+1) dimensional Thirring model at finite density. We bypass the sign problem by deforming the domain of integration of the path integral into complex space in such a way as to maximize the average sign within a parameterized family of manifolds. We present results for lattice sizes up to $10^3$ and we find that at high densities and/or temperatures the chiral condensate is abruptly reduced.
△ Less
Submitted 29 August, 2018; v1 submitted 29 August, 2018;
originally announced August 2018.
-
Model-Independent Prediction of $R(η_c)$
Authors:
Anson Berns,
Henry Lamm
Abstract:
We present a model-independent prediction for $R(η_c) \! \equiv \! \mathcal{BR} (B_c \rightarrow η_c \, τ^+ν_τ)/ \mathcal{BR} (B_c \rightarrow η_c \, μ^+ν_μ)$. This prediction is obtained from the form factors through a combination of dispersive relations, heavy-quark relations at zero-recoil, and the limited existing determinations from lattice QCD. The resulting prediction, $R(η_c)=0.29(5)$, agr…
▽ More
We present a model-independent prediction for $R(η_c) \! \equiv \! \mathcal{BR} (B_c \rightarrow η_c \, τ^+ν_τ)/ \mathcal{BR} (B_c \rightarrow η_c \, μ^+ν_μ)$. This prediction is obtained from the form factors through a combination of dispersive relations, heavy-quark relations at zero-recoil, and the limited existing determinations from lattice QCD. The resulting prediction, $R(η_c)=0.29(5)$, agrees with the weighted average of previous model predictions, but with reduced uncertainties.
△ Less
Submitted 22 August, 2018;
originally announced August 2018.
-
Model-Independent Bounds on $R(J/ψ)$
Authors:
Thomas D. Cohen,
Henry Lamm,
Richard F. Lebed
Abstract:
We present a model-independent bound on $R(J/ψ) \! \equiv \! \mathcal{BR} (B_c^+ \rightarrow J/ψ\, τ^+ν_τ)/ \mathcal{BR} (B_c^+ \rightarrow J/ψ\, μ^+ν_μ)$. This bound is constructed by constraining the form factors through a combination of dispersive relations, heavy-quark relations at zero-recoil, and the limited existing determinations from lattice QCD. The resulting 95\% confidence-level bound,…
▽ More
We present a model-independent bound on $R(J/ψ) \! \equiv \! \mathcal{BR} (B_c^+ \rightarrow J/ψ\, τ^+ν_τ)/ \mathcal{BR} (B_c^+ \rightarrow J/ψ\, μ^+ν_μ)$. This bound is constructed by constraining the form factors through a combination of dispersive relations, heavy-quark relations at zero-recoil, and the limited existing determinations from lattice QCD. The resulting 95\% confidence-level bound, $0.20\leq R(J/ψ)\leq0.39$, agrees with the recent LHCb result at $1.3 \, σ$, and rules out some previously suggested model form factors.
△ Less
Submitted 29 September, 2018; v1 submitted 7 July, 2018;
originally announced July 2018.
-
Finite Density $QED_{1+1}$ Near Lefschetz Thimbles
Authors:
Andrei Alexandru,
Gokce Basar,
Paulo F. Bedaque,
Henry Lamm,
Scott Lawrence
Abstract:
One strategy for reducing the sign problem in finite-density field theories is to deform the path integral contour from real to complex fields. If the deformed manifold is the appropriate combination of Lefschetz thimbles -- or somewhat close to them -- the sign problem is alleviated. Gauge theories lack a well-defined thimble decomposition, and therefore it is unclear how to carry out a generaliz…
▽ More
One strategy for reducing the sign problem in finite-density field theories is to deform the path integral contour from real to complex fields. If the deformed manifold is the appropriate combination of Lefschetz thimbles -- or somewhat close to them -- the sign problem is alleviated. Gauge theories lack a well-defined thimble decomposition, and therefore it is unclear how to carry out a generalized thimble method. In this paper we discuss some of the conceptual issues involved by applying this method to $QED_{1+1}$ at finite density, showing that the generalized thimble method yields correct results with less computational effort than standard methods.
△ Less
Submitted 5 July, 2018;
originally announced July 2018.
-
Tests of the Standard Model in $B \to D\ell ν_\ell$, $B \to D^* \ell ν_\ell$ and $B_c \to J/ψ\, \ell ν_\ell$
Authors:
Thomas D. Cohen,
Henry Lamm,
Richard F. Lebed
Abstract:
A number of recent experimental measurements suggest the possibility of a breakdown of lepton ($\ell$) universality in exclusive $b \to c \ell ν_\ell$ semileptonic meson decays. We analyze the full differential decay rates for several such processes, and show how to extract combinations of the underlying helicity amplitudes that are completely independent of $m_\ell$. Ratios of these combinations…
▽ More
A number of recent experimental measurements suggest the possibility of a breakdown of lepton ($\ell$) universality in exclusive $b \to c \ell ν_\ell$ semileptonic meson decays. We analyze the full differential decay rates for several such processes, and show how to extract combinations of the underlying helicity amplitudes that are completely independent of $m_\ell$. Ratios of these combinations for different $\ell$ (as well as some combinations for a single value of $\ell$) therefore equal unity in the Standard Model and provide stringent tests of lepton universality. Furthermore, the extractions assume the form of weighted integrals over the differential decay rates and therefore are useful even in situations where data in some regions of allowed phase space may be sparse.
△ Less
Submitted 9 July, 2018; v1 submitted 30 June, 2018;
originally announced July 2018.
-
Simulation of Nonequilibrium Dynamics on a Quantum Computer
Authors:
Henry Lamm,
Scott Lawrence
Abstract:
We present a hybrid quantum-classical algorithm for the time evolution of out-of-equilibrium thermal states. The method depends upon classically computing a sparse approximation to the density matrix, and then time-evolving each matrix element via the quantum computer. For this exploratory study, we investigate the time-dependent Heisenberg model with five spins on the Rigetti Forest quantum virtu…
▽ More
We present a hybrid quantum-classical algorithm for the time evolution of out-of-equilibrium thermal states. The method depends upon classically computing a sparse approximation to the density matrix, and then time-evolving each matrix element via the quantum computer. For this exploratory study, we investigate the time-dependent Heisenberg model with five spins on the Rigetti Forest quantum virtual machine and a one spin system on the Rigetti 8Q-Agave quantum processor.
△ Less
Submitted 20 June, 2018; v1 submitted 18 June, 2018;
originally announced June 2018.
-
Finite-Density Monte Carlo Calculations on Sign-Optimized Manifolds
Authors:
Andrei Alexandru,
Paulo Bedaque,
Henry Lamm,
Scott Lawrence
Abstract:
We present a general technique for addressing sign problems that arise in Monte Carlo simulations of field theories. This method deforms the domain of the path integral to a manifold in complex field space that maximizes the average sign (therefore reducing the sign problem) within a parameterized family of manifolds. We presents results for the $1+1$ dimensional Thirring model with Wilson fermion…
▽ More
We present a general technique for addressing sign problems that arise in Monte Carlo simulations of field theories. This method deforms the domain of the path integral to a manifold in complex field space that maximizes the average sign (therefore reducing the sign problem) within a parameterized family of manifolds. We presents results for the $1+1$ dimensional Thirring model with Wilson fermions on lattice sizes up to $40\times 10$. This method reaches higher $μ$ then previous techniques while substantially decreasing the computational time required.
△ Less
Submitted 2 April, 2018;
originally announced April 2018.
-
Predicting and Discovering True Muonium
Authors:
Henry Lamm,
Yao Ji
Abstract:
The recent observation of discrepancies in the muonic sector motivates searches for the yet undiscovered atom true muonium $(μ^+μ^-)$. To leverage potential experimental signals, precise theoretical calculations are required. I will present the on-going work to compute higher-order corrections to the hyperfine splitting and the Lamb shift. Further, possible detection in rare meson decay experiment…
▽ More
The recent observation of discrepancies in the muonic sector motivates searches for the yet undiscovered atom true muonium $(μ^+μ^-)$. To leverage potential experimental signals, precise theoretical calculations are required. I will present the on-going work to compute higher-order corrections to the hyperfine splitting and the Lamb shift. Further, possible detection in rare meson decay experiments like REDTOP and using true muonium production to constrain mesonic form factors will be discussed.
△ Less
Submitted 9 December, 2017;
originally announced December 2017.
-
Deep Learning Beyond Lefschetz Thimbles
Authors:
Andrei Alexandru,
Paulo Bedaque,
Henry Lamm,
Scott Lawrence
Abstract:
The generalized thimble method to treat field theories with sign problems requires repeatedly solving the computationally-expensive holomorphic flow equations. We present a machine learning technique to bypass this problem. The central idea is to obtain a few field configurations via the flow equations to train a feed-forward neural network. The trained network defines a new manifold of integratio…
▽ More
The generalized thimble method to treat field theories with sign problems requires repeatedly solving the computationally-expensive holomorphic flow equations. We present a machine learning technique to bypass this problem. The central idea is to obtain a few field configurations via the flow equations to train a feed-forward neural network. The trained network defines a new manifold of integration which reduces the sign problem and can be rapidly sampled. We present results for the $1+1$ dimensional Thirring model with Wilson fermions on sizable lattices. In addition to the gain in speed, the parameterization of the integration manifold we use avoids the "trap**" of Monte Carlo chains which plagues large-flow calculations, a considerable shortcoming of the previous attempts.
△ Less
Submitted 6 September, 2017;
originally announced September 2017.
-
Discovering True Muonium in $K_L\rightarrow (μ^+μ^-) γ$
Authors:
Yao Ji,
Henry Lamm
Abstract:
Theoretical and phenomenological predictions of $\mathcal{BR}(K_L\rightarrow (μ^+μ^-) γ)\sim7\times10^{-13}$ are presented for different model form factors $F_{K_Lγγ^*}(Q^2)$. These rates are comparable to existing and near-term rare $K_L$ decay searches at J-PARC and CERN, indicating a discovery of true muonium is possible. The model uncertainties are sufficiently small that detection of true muo…
▽ More
Theoretical and phenomenological predictions of $\mathcal{BR}(K_L\rightarrow (μ^+μ^-) γ)\sim7\times10^{-13}$ are presented for different model form factors $F_{K_Lγγ^*}(Q^2)$. These rates are comparable to existing and near-term rare $K_L$ decay searches at J-PARC and CERN, indicating a discovery of true muonium is possible. The model uncertainties are sufficiently small that detection of true muonium could discriminate between the form factor models. Further discussion of potential backgrounds is made.
△ Less
Submitted 15 June, 2017;
originally announced June 2017.
-
$P-$state Positronium for Precision Physics: an Ultrafine Splitting at $α^6$
Authors:
Henry Lamm
Abstract:
An "ultrafine" splitting in positronium between the $L=1$ spin-singlet state and the spin-average of the spin-triplet states is shown to arise only at order $α^6$. The QED prediction for $n=2$ states is $Δ_{2,P}=(683/172800)mα^6=73.7(1.2)$ kHz. This represents the smallest leading-order QED splitting known. Current experimental efforts could observe this splitting, and its observation can constrai…
▽ More
An "ultrafine" splitting in positronium between the $L=1$ spin-singlet state and the spin-average of the spin-triplet states is shown to arise only at order $α^6$. The QED prediction for $n=2$ states is $Δ_{2,P}=(683/172800)mα^6=73.7(1.2)$ kHz. This represents the smallest leading-order QED splitting known. Current experimental efforts could observe this splitting, and its observation can constrain new ultralight interactions, such as axions or $Z'$.
△ Less
Submitted 29 May, 2017;
originally announced May 2017.
-
Some radiative corrections to the hyperfine splitting of true muonium: two-photon-exchange contributions
Authors:
Yao Ji,
Henry Lamm
Abstract:
We consider a set of radiative contributions from one-loop lepton vacuum polarization to the hyperfine splitting of true muonium. Improving previous results, we obtain values for the electron-loop coefficients and extract their leading dependence upon $β=m_μ/m_e$. The coefficients are $C^μ_{20,1{\rm VPCT}}=0.734931603β$, $C^μ_{20,1{\rm VPCA}}=0.551198702β$, and $C^μ_{20,1{\rm VPT}}=0.419149715β$.…
▽ More
We consider a set of radiative contributions from one-loop lepton vacuum polarization to the hyperfine splitting of true muonium. Improving previous results, we obtain values for the electron-loop coefficients and extract their leading dependence upon $β=m_μ/m_e$. The coefficients are $C^μ_{20,1{\rm VPCT}}=0.734931603β$, $C^μ_{20,1{\rm VPCA}}=0.551198702β$, and $C^μ_{20,1{\rm VPT}}=0.419149715β$. The mass-independent contribution from three one-loop vacuum polarization is $C_{40,{\rm VPX}}=\frac{1}{127575}\left(-5255-2016π^2+51840ζ(3)\right)$. Contributions from $τ$ up to $\mathcal{O}(m_μα^8)$ are calculated.
△ Less
Submitted 18 April, 2017; v1 submitted 16 January, 2017;
originally announced January 2017.
-
Hadronic Vacuum Polarization in True Muonium
Authors:
Henry Lamm
Abstract:
The leading-order hadronic vacuum polarization contribution to the hyperfine splitting of true muonium is reevaluated in two ways. The first considers a more complex pionic form factor and better estimates of the perturbative QCD contributions. The second, more accurate method directly integrates the Drell ratio $R(s)$ to obtain $C_{1,\rm hvp}=-0.0489(3)$. This corresponds to an energy shift in th…
▽ More
The leading-order hadronic vacuum polarization contribution to the hyperfine splitting of true muonium is reevaluated in two ways. The first considers a more complex pionic form factor and better estimates of the perturbative QCD contributions. The second, more accurate method directly integrates the Drell ratio $R(s)$ to obtain $C_{1,\rm hvp}=-0.0489(3)$. This corresponds to an energy shift in the hyperfine splitting of $ΔE^μ_{hfs,\rm hvp}=276196(51)$ MHz.
△ Less
Submitted 14 November, 2016;
originally announced November 2016.
