Approximate symmetries and quantum error correction
arXiv:2111.06355 · doi:10.1038/s41534-023-00788-4
Abstract
Quantum error correction (QEC) is a key concept in quantum computation as well as many areas of physics. There are fundamental tensions between continuous symmetries and QEC. One vital situation is unfolded by the Eastin--Knill theorem, which forbids the existence of QEC codes that admit transversal continuous symmetry actions (transformations). Here, we systematically study the competition between continuous symmetries and QEC in a quantitative manner. We first define a series of meaningful measures of approximate symmetries motivated from different perspectives, and then establish a series of trade-off bounds between them and QEC accuracy utilizing multiple different methods. Remarkably, the results allow us to derive general quantitative limitations of transversally implementable logical gates, an important topic in fault-tolerant quantum computation. As concrete examples, we showcase two explicit types of quantum codes, obtained from quantum Reed--Muller codes and thermodynamic codes, respectively, that nearly saturate our bounds. Finally, we discuss several potential applications of our results in physics.
arXiv comment19 pages, 2 figures, published version, concise version of arXiv:2111.06360
References in corpus (62)
- Fault-tolerant quantum computation by anyons
- Advances in Quantum Metrology
- Quantum Teleportation is a Universal Computational Primitive
- Universal Quantum Computation with ideal Clifford gates and noisy ancillas
- The String Landscape, Black Holes and Gravity as the Weakest Force
- Quantum Resource Theories
- Symmetries and Strings in Field Theory and Gravity
- The Swampland: Introduction and Review
- Holographic quantum error-correcting codes: Toy models for the bulk/boundary correspondence
- Invariant Variation Problems
- Bulk Locality and Quantum Error Correction in AdS/CFT
- The elusive Heisenberg limit in quantum enhanced metrology
- A simple formula for the average gate fidelity of a quantum dynamical operation
- Distance measures to compare real and ideal quantum processes
- Reconstruction of Bulk Operators within the Entanglement Wedge in Gauge-Gravity Duality
- GRAVITY AND GLOBAL SYMMETRIES
- Restrictions on Transversal Encoded Quantum Gate Sets
- Topological quantum order: stability under local perturbations
- Quantum Information Processing with Finite Resources -- Mathematical Foundations
- Quantum Error Correction for Metrology
- Classifying gauge anomalies through SPT orders and classifying gravitational anomalies through topological orders
- Constraints on symmetry from holography
- Increasing sensing resolution with error correction
- Stability of Frustration-Free Hamiltonians
- Fault-tolerant conversion between the Steane and Reed-Muller quantum codes
- Efficient tools for quantum metrology with uncorrelated noise
- Bures volume of the set of mixed quantum states
- The Weak Gravity Conjecture: A Review
- Classification of topologically protected gates for local stabilizer codes
- Sub-ballistic growth of Rényi entropies due to diffusion
- General conditions for approximate quantum error correction and near-optimal recovery channels
- Fault-tolerant logical gates in quantum error-correcting codes
- No-Go Theorems for Quantum Resource Purification
- Symmetry and Emergence
- A violation of global symmetries from replica wormholes and the fate of black hole remnants
- Continuous symmetries and approximate quantum error correction
- Topological color code and symmetry-protected topological phases
- Comparison between the Cramer-Rao and the mini-max approaches in quantum channel estimation
- Asymptotic theory of quantum channel estimation
- Gapped boundaries, group cohomology and fault-tolerant logical gates
- Quantum Error Correcting Codes in Eigenstates of Translation-Invariant Spin Chains
- Signatures of global symmetry violation in relative entropies and replica wormholes
- Entanglement growth in diffusive systems
- 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
- Coherence distillation machines are impossible in quantum thermodynamics
- No-go theorems for quantum resource purification II: new approach and channel theory
- Geometric distinguishability measures limit quantum channel estimation and discrimination
- Error Correction of Quantum Reference Frame Information
- New perspectives on covariant quantum error correction
- Toy Models of Holographic Duality between local Hamiltonians
- Approximate Symmetries and Gravity
- Near-optimal covariant quantum error-correcting codes from random unitaries with symmetries
- Soft mode and interior operator in Hayden-Preskill thought experiment
- Optimal Universal Quantum Error Correction via Bounded Reference Frames
- Scrambling and decoding the charged quantum information
- Black holes as clouded mirrors: the Hayden-Preskill protocol with symmetry
- Information Scrambling with Conservation Laws
- The connected wedge theorem and its consequences
- Quasi-exact quantum computation
- Topological qubits from valence bond solids
- Theory of quasi-exact fault-tolerant quantum computing and valence-bond-solid codes
Cited by in corpus (10)
- Complexity and order in approximate quantum error-correcting codes
- On Groups in the Qubit Clifford Hierarchy
- Designs from Local Random Quantum Circuits with SU(d) Symmetry
- Unitary Designs of Symmetric Local Random Circuits
- Covariant Quantum Error-Correcting Codes with Metrological Entanglement Advantage
- Quantum error correction meets continuous symmetries: fundamental trade-offs and case studies
- Tessellation codes: encoded quantum gates by geometric rotation
- Quantum geometric tensor determines the pure-state i.i.d. conversion rate in the resource theory of asymmetry for any compact Lie group
- Non-Markovian Noise in Symmetry-Preserving Quantum Dynamics
- Non-Commutative weak measurements: Entanglement, Symmetry Breaking, and the Role of Readout