Faster Digital Quantum Simulation by Symmetry Protection
arXiv:2006.16248 · doi:10.1103/PRXQuantum.2.010323
Abstract
Simulating the dynamics of quantum systems is an important application of quantum computers and has seen a variety of implementations on current hardware. We show that by introducing quantum gates implementing unitary transformations generated by the symmetries of the system, one can induce destructive interference between the errors from different steps of the simulation, effectively giving faster quantum simulation by symmetry protection. We derive rigorous bounds on the error of a symmetry-protected simulation algorithm and identify conditions for optimal symmetry protection. In particular, when the symmetry transformations are chosen as powers of a unitary, the error of the algorithm is approximately projected to the so-called quantum Zeno subspaces. We prove a bound on this approximation error, exponentially improving a recent result of Burgarth, Facchi, Gramegna, and Pascazio. We apply the symmetry protection technique to the simulations of the XXZ Heisenberg interactions with local disorder and the Schwinger model in quantum field theory. For both systems, the technique can reduce the simulation error by several orders of magnitude over the unprotected simulation. Finally, we provide numerical evidence suggesting that the technique can also protect simulation against other types of coherent, temporally correlated errors, such as the noise commonly found in solid-state experiments.
arXiv comment27 pages, 9 figures, additional analysis for higher-order Suzuki-Trotter formulas and a multi-product formula
References in corpus (34)
- Many body localization and thermalization in quantum statistical mechanics
- Dynamical Decoupling of Open Quantum Systems
- Quantum computational chemistry
- Superconducting Qubits: Current State of Play
- The Magnus expansion and some of its applications
- Many-body localization edge in the random-field Heisenberg chain
- Hamiltonian Simulation by Qubitization
- Real-time dynamics of lattice gauge theories with a few-qubit quantum computer
- Simulating Hamiltonian dynamics with a truncated Taylor series
- Quantum Algorithms for Quantum Field Theories
- A Theory of Trotter Error
- Charge noise and spin noise in a semiconductor quantum device
- Quantum-Classical Computation of Schwinger Model Dynamics using Quantum Computers
- A random compiler for fast Hamiltonian simulation
- Universal Control of Decoupled Quantum Systems
- Unification of Dynamical Decoupling and the Quantum Zeno Effect
- Symmetrizing Evolutions
- A cold-atom quantum simulator for SU(2) Yang-Mills lattice gauge theory
- SU(2) non-Abelian gauge field theory in one dimension on digital quantum computers
- Constrained dynamics via the Zeno effect in quantum simulation: Implementing non-Abelian lattice gauge theories with cold atoms
- Density Matrix Renormalisation Group Approach to the Massive Schwinger Model
- Faster quantum simulation by randomization
- Matrix product states for gauge field theories
- Series Expansions for the Massive Schwinger Model in Hamiltonian lattice theory
- Quantum Algorithms for Simulating the Lattice Schwinger Model
- Towards analog quantum simulations of lattice gauge theories with trapped ions
- Quantum simulation of the Schwinger model: A study of feasibility
- Combining dynamical decoupling with fault-tolerant quantum computation
- Oracles for Gauss's law on digital quantum computers
- Phase Transitions in Gauge Models: Towards Quantum Simulations of the Schwinger-Weyl QED
- Locality and digital quantum simulation of power-law interactions
- Convergence of the Magnus series
- Rigorous Bounds on the Performance of a Hybrid Dynamical Decoupling-Quantum Computing Scheme
- Generalized Product Formulas and Quantum Control
Cited by in corpus (55)
- Quantum Error Mitigation
- Quantum Simulation for High Energy Physics
- Virtual Distillation for Quantum Error Mitigation
- Search for Efficient Formulations for Hamiltonian Simulation of non-Abelian Lattice Gauge Theories
- Quantum Simulating Nature's Fundamental Fields
- Digital Quantum Simulation of the Schwinger Model and Symmetry Protection with Trapped Ions
- Fault-Tolerant Quantum Simulations of Chemistry in First Quantization
- Simple Mitigation of Global Depolarizing Errors in Quantum Simulations
- Simulation of Collective Neutrino Oscillations on a Quantum Computer
- Learning many-body Hamiltonians with Heisenberg-limited scaling
- Provably accurate simulation of gauge theories and bosonic systems
- Single-particle digitization strategy for quantum computation of a scalar field theory
- Fixed Depth Hamiltonian Simulation via Cartan Decomposition
- Nearly tight Trotterization of interacting electrons
- Efficient Fully-Coherent Quantum Signal Processing Algorithms for Real-Time Dynamics Simulation
- Quantum algorithms for transport coefficients in gauge theories
- Classically emulated digital quantum simulation for screening and confinement in the Schwinger model with a topological term
- General quantum algorithms for Hamiltonian simulation with applications to a non-Abelian lattice gauge theory
- Noise-assisted digital quantum simulation of open systems
- Fast-forwarding quantum evolution
- Lattice Renormalization of Quantum Simulations
- Trapped-Ion Quantum Simulation of Collective Neutrino Oscillations
- One bound to rule them all: from Adiabatic to Zeno
- Projection algorithm for state preparation on quantum computers
- Simple Hamiltonian for Quantum Simulation of Strongly Coupled 2+1D SU(2) Lattice Gauge Theory on a Honeycomb Lattice
- Nearly-optimal state preparation for quantum simulations of lattice gauge theories
- Preparing quantum many-body scar states on quantum computers
- Gauge Theory Couplings on Anisotropic Lattices
- Importance sampling for stochastic quantum simulations
- Mana and thermalization: probing the feasibility of near-Clifford Hamiltonian simulation
- Symmetry breaking in geometric quantum machine learning in the presence of noise
- Quantum computation of molecular structure using data from challenging-to-classically-simulate nuclear magnetic resonance experiments
- A stochastic quantum Krylov protocol with double factorized Hamiltonians
- Protecting local and global symmetries in simulating 1+1-D non-abelian gauge theories
- Quantifying -gate-count improvements for ground-state-energy estimation with near-optimal state preparation
- Hamiltonian simulation for low-energy states with optimal time dependence
- Optimized noise-assisted simulation of the Lindblad equation with time-dependent coefficients on a noisy quantum processor
- Digital quantum simulation of non-perturbative dynamics of open systems with orthogonal polynomials
- Boltzmann Distributions on a Quantum Computer via Active Cooling
- SnCQA: A hardware-efficient equivariant quantum convolutional circuit architecture
- Complexity of Digital Quantum Simulation in the Low-Energy Subspace: Applications and a Lower Bound
- Improving the Performance of Digitized Counterdiabatic Quantum Optimization via Algorithm-Oriented Qubit Mapping
- Virtual mitigation of coherent non-adiabatic transitions by echo verification
- All you need is spin: SU(2) equivariant variational quantum circuits based on spin networks
- Trotter simulation of vibrational Hamiltonians on a quantum computer
- Toward simulating quantum field theories with controlled phonon-ion dynamics: A hybrid analog-digital approach
- Engineering Hierarchical Symmetries
- Digital quantum simulation and Pseudoquantum Simulation of Gauge Higgs Model
- Unification of Finite Symmetries in Simulation of Many-body Systems on Quantum Computers
- Parallelization techniques for quantum simulation of fermionic systems
- Sequency Hierarchy Truncation (SeqHT) for Adiabatic State Preparation and Time Evolution in Quantum Simulations
- Ground state energy and magnetization curve of a frustrated magnetic system from real-time evolution on a digital quantum processor
- Perturbational Decomposition Analysis for Quantum Ising Model with Weak Transverse Fields
- Error Interference in Quantum Simulation
- Shearing approach to gauge-invariant Trotterization