-
Towards Efficient Quantum Computation of Molecular Ground State Energies using Bayesian Optimization with Priors over Surface Topology
Authors:
Farshud Sorourifar,
Mohamed Taha Rouabah,
Nacer Eddine Belaloui,
Mohamed Messaoud Louamri,
Diana Chamaki,
Erik J. Gustafson,
Norm M. Tubman,
Joel A. Paulson,
David E. Bernal Neira
Abstract:
Variational Quantum Eigensolvers (VQEs) represent a promising approach to computing molecular ground states and energies on modern quantum computers. These approaches use a classical computer to optimize the parameters of a trial wave function, while the quantum computer simulates the energy by preparing and measuring a set of bitstring observations, referred to as shots, over which an expected va…
▽ More
Variational Quantum Eigensolvers (VQEs) represent a promising approach to computing molecular ground states and energies on modern quantum computers. These approaches use a classical computer to optimize the parameters of a trial wave function, while the quantum computer simulates the energy by preparing and measuring a set of bitstring observations, referred to as shots, over which an expected value is computed. Although more shots improve the accuracy of the expected ground state, it also increases the simulation cost. Hence, we propose modifications to the standard Bayesian optimization algorithm to leverage few-shot circuit observations to solve VQEs with fewer quantum resources. We demonstrate the effectiveness of our proposed approach, Bayesian optimization with priors on surface topology (BOPT), by comparing optimizers for molecular systems and demonstrate how current quantum hardware can aid in finding ground state energies.
△ Less
Submitted 10 July, 2024;
originally announced July 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 September, 2024; v1 submitted 30 April, 2024;
originally announced May 2024.
-
Surrogate optimization of variational quantum circuits
Authors:
Erik J. Gustafson,
Juha Tiihonen,
Diana Chamaki,
Farshud Sorourifar,
J. Wayne Mullinax,
Andy C. Y. Li,
Filip B. Maciejewski,
Nicolas PD Sawaya,
Jaron T. Krogel,
David E. Bernal Neira,
Norm M. Tubman
Abstract:
Variational quantum eigensolvers are touted as a near-term algorithm capable of impacting many applications. However, the potential has not yet been realized, with few claims of quantum advantage and high resource estimates, especially due to the need for optimization in the presence of noise. Finding algorithms and methods to improve convergence is important to accelerate the capabilities of near…
▽ More
Variational quantum eigensolvers are touted as a near-term algorithm capable of impacting many applications. However, the potential has not yet been realized, with few claims of quantum advantage and high resource estimates, especially due to the need for optimization in the presence of noise. Finding algorithms and methods to improve convergence is important to accelerate the capabilities of near-term hardware for VQE or more broad applications of hybrid methods in which optimization is required. To this goal, we look to use modern approaches developed in circuit simulations and stochastic classical optimization, which can be combined to form a surrogate optimization approach to quantum circuits. Using an approximate (classical CPU/GPU) state vector simulator as a surrogate model, we efficiently calculate an approximate Hessian, passed as an input for a quantum processing unit or exact circuit simulator. This method will lend itself well to parallelization across quantum processing units. We demonstrate the capabilities of such an approach with and without sampling noise and a proof-of-principle demonstration on a quantum processing unit utilizing 40 qubits.
△ Less
Submitted 3 April, 2024;
originally announced April 2024.
-
Model-independent description of $B\rightarrow D π\ell ν$ decays
Authors:
Erik J. Gustafson,
Florian Herren,
Ruth S. Van de Water,
Raynette van Tonder,
Michael L. Wagman
Abstract:
In this contribution we present a novel, model-independent description of semileptonic $B\rightarrow D π\ell ν$ decays. In addition, we discuss recent developments in the understanding of coupled-channel $D π$-$D η$-$D_s K$ S-wave scattering and, for the first time, apply them to semileptonic decays. We not only obtain model-independent predictions for kinematic distributions in…
▽ More
In this contribution we present a novel, model-independent description of semileptonic $B\rightarrow D π\ell ν$ decays. In addition, we discuss recent developments in the understanding of coupled-channel $D π$-$D η$-$D_s K$ S-wave scattering and, for the first time, apply them to semileptonic decays. We not only obtain model-independent predictions for kinematic distributions in $B\rightarrow D π\ell ν$ decays, but also rule out the hypothesis that the gap between the inclusive $B\rightarrow X\ellν$ branching fraction and the sum over exclusive channels is made up predominantly by $B\rightarrow D^{(\ast)} η\ell ν$ decays.
△ Less
Submitted 26 March, 2024;
originally announced March 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.
-
A model independent description of $B\rightarrow D π\ell ν$ decays
Authors:
Erik J. Gustafson,
Florian Herren,
Ruth S. Van de Water,
Raynette van Tonder,
Michael L. Wagman
Abstract:
We introduce a new parameterization of $B\rightarrow D π\ell ν$ form factors using a partial-wave expansion and derive bounds on the series coefficients using analyticity and unitarity. This is the first generalization of the model-independent formalism developed by Boyd, Grinstein, and Lebed for $B \to D \ell ν$ to semileptonic decays with multi-hadron final states, and enables data-driven form f…
▽ More
We introduce a new parameterization of $B\rightarrow D π\ell ν$ form factors using a partial-wave expansion and derive bounds on the series coefficients using analyticity and unitarity. This is the first generalization of the model-independent formalism developed by Boyd, Grinstein, and Lebed for $B \to D \ell ν$ to semileptonic decays with multi-hadron final states, and enables data-driven form factor determinations with robust, systematically-improvable uncertainties. Using this formalism, we extract the form-factor parameters for $B \to D_2^\ast(\to Dπ) \ell ν$ decays in a model-independent way from fits of data from the Belle Experiment, and, for the first time, study the two-pole structure in the $Dπ$ S-wave in semileptonic decays employing lineshapes from unitarized chiral perturbation theory.
△ Less
Submitted 1 November, 2023;
originally announced November 2023.
-
Robust Finite-Temperature Many-Body Scarring on a Quantum Computer
Authors:
Jean-Yves Desaules,
Erik J. Gustafson,
Andy C. Y. Li,
Zlatko Papić,
Jad C. Halimeh
Abstract:
Mechanisms for suppressing thermalization in disorder-free many-body systems, such as Hilbert space fragmentation and quantum many-body scars, have recently attracted much interest in foundations of quantum statistical physics and potential quantum information processing applications. However, their sensitivity to realistic effects such as finite temperature remains largely unexplored. Here, we ha…
▽ More
Mechanisms for suppressing thermalization in disorder-free many-body systems, such as Hilbert space fragmentation and quantum many-body scars, have recently attracted much interest in foundations of quantum statistical physics and potential quantum information processing applications. However, their sensitivity to realistic effects such as finite temperature remains largely unexplored. Here, we have utilized IBM's Kolkata quantum processor to demonstrate an unexpected robustness of quantum many-body scars at finite temperatures when the system is prepared in a thermal Gibbs ensemble. We identify such robustness in the PXP model, which describes quantum many-body scars in experimental systems of Rydberg atom arrays and ultracold atoms in tilted Bose--Hubbard optical lattices. By contrast, other theoretical models which host exact quantum many-body scars are found to lack such robustness, and their scarring properties quickly decay with temperature. Our study sheds light on the important differences between scarred models in terms of their algebraic structures, which impacts their resilience to finite temperature.
△ Less
Submitted 20 September, 2023;
originally announced September 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.
-
Preparing quantum many-body scar states on quantum computers
Authors:
Erik J. Gustafson,
Andy C. Y. Li,
Abid Khan,
Joonho Kim,
Doga Murat Kurkcuoglu,
M. Sohaib Alam,
Peter P. Orth,
Armin Rahmani,
Thomas Iadecola
Abstract:
Quantum many-body scar states are highly excited eigenstates of many-body systems that exhibit atypical entanglement and correlation properties relative to typical eigenstates at the same energy density. Scar states also give rise to infinitely long-lived coherent dynamics when the system is prepared in a special initial state having finite overlap with them. Many models with exact scar states hav…
▽ More
Quantum many-body scar states are highly excited eigenstates of many-body systems that exhibit atypical entanglement and correlation properties relative to typical eigenstates at the same energy density. Scar states also give rise to infinitely long-lived coherent dynamics when the system is prepared in a special initial state having finite overlap with them. Many models with exact scar states have been constructed, but the fate of scarred eigenstates and dynamics when these models are perturbed is difficult to study with classical computational techniques. In this work, we propose state preparation protocols that enable the use of quantum computers to study this question. We present protocols both for individual scar states in a particular model, as well as superpositions of them that give rise to coherent dynamics. For superpositions of scar states, we present both a system-size-linear depth unitary and a finite-depth nonunitary state preparation protocol, the latter of which uses measurement and postselection to reduce the circuit depth. For individual scarred eigenstates, we formulate an exact state preparation approach based on matrix product states that yields quasipolynomial-depth circuits, as well as a variational approach with a polynomial-depth ansatz circuit. We also provide proof of principle state-preparation demonstrations on superconducting quantum hardware.
△ Less
Submitted 2 November, 2023; v1 submitted 19 January, 2023;
originally announced January 2023.
-
Stout Smearing on a Quantum Computer
Authors:
Erik J. Gustafson
Abstract:
Smearing of gauge-field configurations in lattice field theory improves the results of lattice simulations by suppressing high energy modes from correlation functions. In quantum simulations, high kinetic energy eigenstates are introduced when the time evolution operator is approximated such as Trotterization. While improved Trotter product formulae exist to reduce the errors, they have diminishin…
▽ More
Smearing of gauge-field configurations in lattice field theory improves the results of lattice simulations by suppressing high energy modes from correlation functions. In quantum simulations, high kinetic energy eigenstates are introduced when the time evolution operator is approximated such as Trotterization. While improved Trotter product formulae exist to reduce the errors, they have diminishing accuracy returns with respect to resource costs. Therefore having an algorithm that has fewer resources than an improved Trotter formula is desirable. In this work I develop a representation agnostic method for quantum smearing and show that it reduces the coupling to high energy modes in the discrete nonabelian gauge theory $D_4$
△ Less
Submitted 10 November, 2022;
originally announced November 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.
-
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.
-
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.