Continuous symmetries and approximate quantum error correction

Abstract

Quantum error correction and symmetry arise in many areas of physics, including many-body systems, metrology in the presence of noise, fault-tolerant computation, and holographic quantum gravity. Here we study the compatibility of these two important principles. If a logical quantum system is encoded into $n$ physical subsystems, we say that the code is covariant with respect to a symmetry group $G$ if a $G$ transformation on the logical system can be realized by performing transformations on the individual subsystems. For a $G$-covariant code with $G$ a continuous group, we derive a lower bound on the error correction infidelity following erasure of a subsystem. This bound approaches zero when the number of subsystems $n$ or the dimension $d$ of each subsystem is large. We exhibit codes achieving approximately the same scaling of infidelity with $n$ or $d$ as the lower bound. Leveraging tools from representation theory, we prove an approximate version of the Eastin-Knill theorem: If a code admits a universal set of transversal gates and corrects erasure with fixed accuracy, then, for each logical qubit, we need a number of physical qubits per subsystem that is inversely proportional to the error parameter. We construct codes covariant with respect to the full logical unitary group, achieving good accuracy for large $d$ (using random codes) or $n$ (using codes based on $W$-states). We systematically construct codes covariant with respect to general groups, obtaining natural generalizations of qubit codes to, for instance, oscillators and rotors. In the context of the AdS/CFT correspondence, our approach provides insight into how time evolution in the bulk corresponds to time evolution on the boundary without violating the Eastin-Knill theorem, and our five-rotor code can be stacked to form a covariant holographic code.

arXiv commentMain text 25 pages, 6 figures; see related work today by Woods and Alhambra

References in corpus (63)

• Fault-tolerant quantum computation by anyons
• Non-Abelian Anyons and Topological Quantum Computation
• The Large N Limit of Superconformal Field Theories and Supergravity
• Mixed State Entanglement and Quantum Error Correction
• Chaos and Quantum Thermalization
• Quantum information with Rydberg atoms
• Quantum Teleportation is a Universal Computational Primitive
• Topological quantum memory
• Encoding a qubit in an oscillator
• Universal Quantum Computation with ideal Clifford gates and noisy ancillas
• How to share a quantum secret
• Multiple Particle Interference and Quantum Error Correction
• The foundations of statistical mechanics from entanglement: Individual states vs. averages
• Reference frames, superselection rules, and quantum information
• Holographic quantum error-correcting codes: Toy models for the bulk/boundary correspondence
• Bulk Locality and Quantum Error Correction in AdS/CFT
• Distance measures to compare real and ideal quantum processes
• GRAVITY AND GLOBAL SYMMETRIES
• Operator Quantum Error Correcting Subsystems for Self-Correcting Quantum Memories
• Jerusalem Lectures on Black Holes and Quantum Information
• Restrictions on Transversal Encoded Quantum Gate Sets
• Codes for the Quantum Erasure Channel
• Extending Noether's theorem by quantifying the asymmetry of quantum states
• Improved quantum metrology using quantum error-correction
• Performance and structure of single-mode bosonic codes
• Quantum Error Correction for Metrology
• Emulating many-body localization with a superconducting quantum processor
• Achieving the Heisenberg limit in quantum metrology using quantum error correction
• Universal fault-tolerant quantum computation with only transversal gates and error correction
• Constraints on symmetry from holography
• Approximate quantum error correction can lead to better codes
• Optimal Cloning of Pure States, Judging Single Clones
• Error correction for continuous quantum variables
• Increasing sensing resolution with error correction
• Thermalization in Nature and on a Quantum Computer
• A decoupling approach to the quantum capacity
• Loss Tolerant Optical Qubits
• Analog quantum error correction
• Superselection rules and quantum protocols
• Classification of topologically protected gates for local stabilizer codes
• Adaptive quantum metrology under general Markovian noise
• General conditions for approximate quantum error correction and near-optimal recovery channels
• The Bond-Algebraic Approach to Dualities
• Fault-tolerant logical gates in quantum error-correcting codes
• Using concatenated quantum codes for universal fault-tolerant quantum gates
• Permutation-invariant quantum codes
• Ancilla-free quantum error correction codes for quantum metrology
• Disorder Operators and their Descendants
• Universal fault-tolerant gates on concatenated stabilizer codes
• Quantum Error Correcting Codes in Eigenstates of Translation-Invariant Spin Chains
• Spatial noise filtering through error correction for quantum sensing
• Thermodynamic Capacity of Quantum Processes
• Continuous groups of transversal gates for quantum error correcting codes from finite clock reference frames
• The disjointness of stabilizer codes and limitations on fault-tolerant logical gates
• Subsystem stabilizer codes cannot have a universal set of transversal gates for even one encoded qudit
• Five Quantum Register Error Correction Code For Higher Spin Systems
• Toy Models of Holographic Duality between local Hamiltonians
• Superintegrability of Geodesic Motion on the Sausage Model
• General phase spaces: from discrete variables to rotor and continuum limits
• Generalized Cluster States Based on Finite Groups
• Generalized Color Codes Supporting Non-Abelian Anyons
• Dyonic zero-energy modes
• Quantum Error-Detection at Low Energies

Cited by in corpus (38)

• Noisy intermediate-scale quantum (NISQ) algorithms
• Emerging quantum computing algorithms for quantum chemistry
• Theory for Equivariant Quantum Neural Networks
• Restrictions on realizable unitary operations imposed by symmetry and locality
• Fundamental limitations on distillation of quantum channel resources
• Matrix Model simulations using Quantum Computing, Deep Learning, and Lattice Monte Carlo
• Approximate Autonomous Quantum Error Correction with Reinforcement Learning
• Using Quantum Metrological Bounds in Quantum Error Correction: A Simple Proof of the Approximate Eastin-Knill Theorem
• Continuous groups of transversal gates for quantum error correcting codes from finite clock reference frames
• No-go theorems for quantum resource purification II: new approach and channel theory
• Schrödinger cat states of a nuclear spin qudit in silicon
• New perspectives on covariant quantum error correction
• Quantum Lego: Building Quantum Error Correction Codes from Tensor Networks
• Near-optimal covariant quantum error-correcting codes from random unitaries with symmetries
• Optimal Universal Quantum Error Correction via Bounded Reference Frames
• Black holes as clouded mirrors: the Hayden-Preskill protocol with symmetry
• Approximate symmetries and quantum error correction
• A comparative study of universal quantum computing models: towards a physical unification
• Autonomous Quantum Devices: When Are They Realizable without Additional Thermodynamic Costs?
• A prototype of quantum von Neumann architecture
• Entanglement wedge reconstruction and correlation measures in mixed states: modular flows versus quantum recovery channels
• Complexity and order in approximate quantum error-correcting codes
• Theory of quasi-exact fault-tolerant quantum computing and valence-bond-solid codes
• Qubit-oscillator concatenated codes: decoding formalism & code comparison
• Fault-tolerant logical gates in holographic stabilizer codes are severely restricted
• Gauging the bulk: generalized gauging maps and holographic codes
• Rotationally-Invariant Circuits: Universality with the exchange interaction and two ancilla qubits
• Magic phase transition and non-local complexity in generalized $W$ State
• Quantum error correction and large $N$
• Time-energy uncertainty relation for noisy quantum metrology
• Linear programming with unitary-equivariant constraints
• Effect of quantum error correction on detection-induced coherent errors
• Infinitesimal reference frames suffice to determine the asymmetry properties of a quantum system
• Fidelity-based distance bounds for $N$-qubit approximate quantum error correction
• Single-shot quantum error correction with the three-dimensional subsystem toric code
• Approximate quantum non-demolition measurements
• Detecting Quantum Capacities of Continuous-Variable Quantum Channels
• Finding the disjointness of stabilizer codes is NP-complete