We present a gauge invariant digitization of $(1+1)\mathrm{d}$ scalar quantum electrodynamics for an arbitrary spin truncation for qudit-based quantum computers. We provide a construction of the Trotter operator in terms of a universal qudit-gate set. The cost savings of using a qutrit based spin-1 encoding versus a qubit encoding are illustrated. We show that a simple initial state could be simulated on current qutrit based hardware using noisy simulations for two different native gate set.
We present a gauge invariant digitization of (1+1)d scalar quantum electrodynamics for an arbitrary spin truncation for qudit-based quantum computers. We provide a construction of the Trotter operator in terms of a universal qudit-gate set. The cost savings of using a qutrit based spin-1 encoding versus a qubit encoding are illustrated. We show that a simple initial state could be simulated on current qutrit based hardware using noisy simulations for two different native gate set.
Efficient Qudit Circuit for Quench Dynamics of 2+1D Quantum Link Electrodynamics
A major challenge in the burgeoning field of quantum simulation for high-energy physics is the realization of scalable 2+1D lattice gauge theories on state-of-the-art quantum hardware, which is an essential step towards the overarching goal of probing 3+1D quantum chromodynamics on a quantum computer. Despite great progress, current experimental implementations of 2+1D lattice gauge theories are mostly restricted to relatively small system sizes and two-level representations of the gauge and electric fields. Here, we propose a resource-efficient method for quantum simulating 2+1D spin-SU(1) quantum link lattice gauge theories with dynamical matter using qudit-based quantum processors. By integrating out the matter fields through Gauss's law, we reformulate the quantum link model in a purely spin picture compatible with qudit encoding across arbitrary spatial dimensions, eliminating the need for ancillary qubits and reducing resource overhead. Focusing first on the spin-1/2 case, we construct explicit circuits for the full Hamiltonian and demonstrate through numerical simulations that the first-order Trotterized circuits accurately capture the quench dynamics even in the presence of realistic noise levels. Additionally, we introduce a general method for constructing coupling-term circuits for higher-spin representations S>1/2. Compared to conventional qubit encodings, our framework significantly reduces the number of quantum resources and gate count. Our approach significantly enhances scalability and fidelity for probing nonequilibrium phenomena in higher-dimensional lattice gauge theories, and is readily amenable to implementation on state-of-the-art qudit platforms.
Abstract Simulation of quantum systems is expected to be one of the most important applications of quantum computing, with much of the theoretical work so far having focused on fermionic and spin- 21 1 2 systems. Here, we instead consider encodings of d -level (i.e., qudit) quantum operators into multi-qubit operators, studying resource requirements for approximating operator exponentials by Trotterization. We primarily focus on spin- s and truncated bosonic operators in second quantization, observing desirable properties for approaches based on the Gray code, which to our knowledge has not been used in this context previously. After outlining a methodology for implementing an arbitrary encoding, we investigate the interplay between Hamming distances, sparsity patterns, bosonic truncation, and other properties of local operators. Finally, we obtain resource counts for five common Hamiltonian classes used in physics and chemistry, while modeling the possibility of converting between encodings within a Trotter step. The most efficient encoding choice is heavily dependent on the application and highly sensitive to d , although clear trends are present. These operation count reductions are relevant for running algorithms on near-term quantum hardware because the savings effectively decrease the required circuit depth. Results and procedures outlined in this work may be useful for simulating a broad class of Hamiltonians on qubit-based digital quantum computers.
Particle physics describes the interplay of matter and forces through gauge theories. Yet, the intrinsic quantum nature of gauge theories makes important problems notoriously difficult for classical computational techniques. Quantum computers offer a promising way to overcome these roadblocks. We demonstrate two essential requirements on this path: first, we perform a quantum computation of the properties of the basic building block of two-dimensional lattice quantum electrodynamics, involving both gauge fields and matter. Second, we show how to refine the gauge-field discretization beyond its minimal representation, using a trapped-ion qudit quantum processor, where quantum information is encoded in several states per ion. Such qudits are ideally suited for describing gauge fields, which are naturally high dimensional, leading to reduced register size and circuit complexity. We prepare the ground state of the model using a variational quantum eigensolver and observe the effect of dynamical matter on quantized magnetic fields. By controlling the qudit dimension, we also show how to seamlessly observe the effect of different gauge-field truncations. Finally, we experimentally study the dynamics of pair creation and magnetic energy. Our results open the door for hardware-efficient quantum simulations of gauge theories with qudits in near-term quantum devices.
The Schwinger model (quantum electrodynamics in 1+1 dimensions) is a testbed for the study of quantum gauge field theories. We give scalable, explicit digital quantum algorithms to simulate the lattice Schwinger model in both NISQ and fault-tolerant settings. In particular, we perform a tight analysis of low-order Trotter formula simulations of the Schwinger model, using recently derived commutator bounds, and give upper bounds on the resources needed for simulations in both scenarios. In lattice units, we find a Schwinger model on N / 2 physical sites with coupling constant x − 1 / 2 and electric field cutoff x − 1 / 2 Λ can be simulated on a quantum computer for time 2 x T using a number of T -gates or CNOTs in O ~ ( N 3 / 2 T 3 / 2 x Λ ) for fixed operator error. This scaling with the truncation Λ is better than that expected from algorithms such as qubitization or QDRIFT. Furthermore, we give scalable measurement schemes and algorithms to estimate observables which we cost in both the NISQ and fault-tolerant settings by assuming a simple target observable–the mean pair density. Finally, we bound the root-mean-square error in estimating this observable via simulation as a function of the diamond distance between the ideal and actual CNOT channels. This work provides a rigorous analysis of simulating the Schwinger model, while also providing benchmarks against which subsequent simulation algorithms can be tested.
To investigate gauge theories with near-term quantum computers warrants exploration of nontraditional quantum simulators to find resource-efficient simulation protocols and ultimately access exotic features of different field theories, including unexplored regimes of the QCD phase diagram. In this work, using superconducting transmon qutrit processors, we formulate and implement a pulse-based, three-level, hybrid analog-digital simulation protocol of the (1+1) dimensional Abelian Higgs model (AHM) on two sites. Alongside this approach, we experimentally realize a gate-based implementation of the same model. Using the natural mapping of the three-level truncation of the transmon Hilbert space to the spin-1 truncated AHM, we observe real time dynamics of AHM field observables, which are analogous to electric field operators, with both protocols. For the analog-digital protocol, we engineer a Floquet simulation with a combination of local analog drives, driven modification of the natural interaction Hamiltonian of the two transmons, and dynamical decoupling pulses. For the digital protocol, we use a state-of-the-art qutrit processor to implement a Trotterized simulation of the model incorporating advanced error mitigation techniques. We further discuss the scalability of the two approaches, and their potential to be extended to the simulation of other model Hamiltonians. Our experiments demonstrate a viable platform for future studies of spin-1 and SU(3) based gauge theory models on current and near-term transmon qutrit processors.
Quantum processors based on superconducting circuitry have reached the scale of hundreds of qubits and demonstrated computational capabilities that challenge state-of-the-art classical methods for carefully designed problems. Despite these advances, fundamental questions persist over how to best improve and scale the computational power of this emerging technology. Most transmon-based quantum processors encode information in two-level systems, or qubits, leaving the rich multilevel structure of the transmon largely unexploited. In this thesis, we demonstrate how the capabilities of these devices can be meaningfully extended by harnessing this intrinsic multilevel structure to encode qudits — d-level quantum systems that access a larger and more connected Hilbert space than their qubit counterparts. We begin by demonstrating universal single-qudit operation before turning to microwave-activated entanglement to realize scalable two-qudit gates. We present a high-fidelity, fully entangling two-qutrit CZ gate based on a novel tunable cross-Kerr mechanism. We further explore two-qudit gates that selectively entangle subspaces of the full Hilbert space via two-photon multipartite Raman transitions, employing these operations to generate large entangled states across a transmon array. To address the noisy nature of near-term qudit computation, we introduce and characterize error suppression techniques for qudit circuits, including dynamical decoupling and quantum error mitigation. We then synthesize these directions by exploring simulations of quantum systems that have innate multilevel interactions and are therefore well tailored to qudit operation. First we investigate digital quantum simulations of collective neutrino oscillations and the spin-1 truncated Abelian Higgs model, finding error mitigation methods critical for improving circuit performance. Finally, out of equilibrium --- or Floquet --- spin-1 systems are realized using an array of 15 superconducting qutrits to probe a novel Z3 discrete time crystalline (DTC) phase of matter with intrinsically chiral interactions. This DTC result demonstrates that native qudit hardware provides powerful access to non-equilibrium phases rooted in higher discrete symmetries, opening a route to a broader landscape of dynamical orders beyond the Z2 Ising paradigm.