- •Preface
- •Foreword
- •The Henri Poincaré Prize
- •Contributors
- •Contents
- •Stability of Doubly Warped Product Spacetimes
- •Introduction
- •Warped Product Spacetimes
- •Asymptotic Behavior
- •Fuchsian Method
- •Velocity Dominated Equations
- •Velocity Dominated Solution
- •Stability
- •References
- •Introduction
- •The Tomonaga Model with Infrared Cutoff
- •The RG Analysis
- •The Dyson Equation
- •The First Ward Identity
- •The Second Ward Identity
- •The Euclidean Thirring Model
- •References
- •Introduction
- •Lie and Hopf Algebras of Feynman Graphs
- •From Hochschild Cohomology to Physics
- •Dyson-Schwinger Equations
- •References
- •Introduction
- •Quantum Representation and Dynamical Equations
- •Quantum Singularity Problem
- •Examples for Properties of Solutions
- •Effective Theory
- •Summary
- •Introduction
- •Results and Strategy of Proofs
- •References
- •Introduction
- •Critical Scaling Limits and SLE
- •Percolation
- •The Critical Loop Process
- •General Features
- •Construction of a Single Loop
- •The Near-Critical Scaling Limit
- •References
- •Black Hole Entropy Function and Duality
- •Introduction
- •Entropy Function and Electric/Magnetic Duality Covariance
- •Duality Invariant OSV Integral
- •References
- •Weak Turbulence for Periodic NLS
- •Introduction
- •Arnold Diffusion for the Toy Model ODE
- •References
- •Angular Momentum-Mass Inequality for Axisymmetric Black Holes
- •Introduction
- •Variational Principle for the Mass
- •References
- •Introduction
- •The Trace Map
- •Introduction
- •Notations
- •Entanglement-Assisted Quantum Error-Correcting Codes
- •The Channel Model: Discretization of Errors
- •The Entanglement-Assisted Canonical Code
- •The General Case
- •Distance
- •Generalized F4 Construction
- •Bounds on Performance
- •Conclusions
- •References
- •Particle Decay in Ising Field Theory with Magnetic Field
- •Ising Field Theory
- •Evolution of the Mass Spectrum
- •Particle Decay off the Critical Isotherm
- •Unstable Particles in Finite Volume
- •References
- •Lattice Supersymmetry from the Ground Up
- •References
- •Stable Maps are Dense in Dimensional One
- •Introduction
- •Density of Hyperbolicity
- •Quasi-Conformal Rigidity
- •How to Prove Rigidity?
- •The Strategy of the Proof of QC-Rigidity
- •Enhanced Nest Construction
- •Small Distortion of Thin Annuli
- •Approximating Non-renormalizable Complex Polynomials
- •References
- •Large Gap Asymptotics for Random Matrices
- •References
- •Introduction
- •Coupled Oscillators
- •Closure Equations
- •Introduction
- •Conservative Stochastic Dynamics
- •Diffusive Evolution: Green-Kubo Formula
- •Kinetic Limits: Phonon Boltzmann Equation
- •References
- •Introduction
- •Bethe Ansatz for Classical Lie Algebras
- •The Pseudo-Differential Equations
- •Conclusions
- •References
- •Kinetically Constrained Models
- •References
- •Introduction
- •Local Limits for Exit Measures
- •References
- •Young Researchers Symposium Plenary Lectures
- •Dynamics of Quasiperiodic Cocycles and the Spectrum of the Almost Mathieu Operator
- •Magic in Superstring Amplitudes
- •XV International Congress on Mathematical Physics Plenary Lectures
- •The Riemann-Hilbert Problem: Applications
- •Trying to Characterize Robust and Generic Dynamics
- •Cauchy Problem in General Relativity
- •Survey of Recent Mathematical Progress in the Understanding of Critical 2d Systems
- •Random Methods in Quantum Information Theory
- •Gauge Fields, Strings and Integrable Systems
- •XV International Congress on Mathematical Physics Specialized Sessions
- •Condensed Matter Physics
- •Rigorous Construction of Luttinger Liquids Through Ward Identities
- •Edge and Bulk Currents in the Integer Quantum Hall Effect
- •Dynamical Systems
- •Statistical Stability for Hénon Maps of Benedics-Carleson Type
- •Entropy and the Localization of Eigenfunctions
- •Equilibrium Statistical Mechanics
- •Short-Range Spin Glasses in a Magnetic Field
- •Non-equilibrium Statistical Mechanics
- •Current Fluctuations in Boundary Driven Interacting Particle Systems
- •Fourier Law and Random Walks in Evolving Environments
- •Exactly Solvable Systems
- •Correlation Functions and Hidden Fermionic Structure of the XYZ Spin Chain
- •Particle Decay in Ising Field Theory with Magnetic Field
- •General Relativity
- •Einstein Spaces as Attractors for the Einstein Flow
- •Loop Quantum Cosmology
- •Operator Algebras
- •From Vertex Algebras to Local Nets of von Neuman Algebras
- •Non-Commutative Manifolds and Quantum Groups
- •Partial Differential Equations
- •Weak Turbulence for Periodic NSL
- •Ginzburg-Landau Dynamics
- •Probability Theory
- •From Planar Gaussian Zeros to Gravitational Allocation
- •Quantum Mechanics
- •Recent Progress in the Spectral Theory of Quasi-Periodic Operators
- •Recent Results on Localization for Random Schrödinger Operators
- •Quantum Field Theory
- •Algebraic Aspects of Perturbative and Non-Perturbative QFT
- •Quantum Field Theory in Curved Space-Time
- •Lattice Supersymmetry From the Ground Up
- •Analytical Solution for the Effective Charging Energy of the Single Electron Box
- •Quantum Information
- •One-and-a-Half Quantum de Finetti Theorems
- •Catalytic Quantum Error Correction
- •Random Matrices
- •Probabilities of a Large Gap in the Scaled Spectrum of Random Matrices
- •Random Matrices, Asymptotic Analysis, and d-bar Problems
- •Stochastic PDE
- •Degenerately Forced Fluid Equations: Ergodicity and Solvable Models
- •Microscopic Stochastic Models for the Study of Thermal Conductivity
- •String Theory
- •Gauge Theory and Link Homologies
Entanglement-Assisted Quantum
Error-Correcting Codes
Igor Devetak, Todd A. Brun and Min-Hsiu Hsieh
Abstract We develop the theory of entanglement-assisted quantum error correcting codes (EAQECCs), a generalization of the stabilizer formalism to the setting in which the sender and receiver have access to pre-shared entanglement. Conventional stabilizer codes are equivalent to self-orthogonal symplectic codes. In contrast, EAQECCs do not require self-orthogonality, which greatly simplifies their construction. We show how any classical quaternary block code can be made into a EAQECC. Furthermore, the error-correcting power of the quantum codes follows directly from the power of the classical codes.
1 Introduction
One of the most important discoveries in quantum information science was the existence of quantum error correcting codes (QECCs) in 1995 [16]. Up to that point, there was a widespread belief that decoherence–environmental noise–would doom any chance of building large scale quantum computers or quantum communication protocols [18], and the equally widespread belief that any analogue of classical error correction was impossible in quantum mechanics. The discovery of quantum
Igor Devetak
Ming Hsieh Electrical Engineering Department, University of Southern California, Los Angeles, CA 90089, USA, e-mail: devetak@usc.edu
Todd A. Brun
Communication Sciences Institute, Department of Electrical Engineering Systems, University of Southern California, 3740 McClintock Ave., EEB 502, Los Angeles, CA 90089-2565 USA, e-mail: tbrun@usc.edu
Min-Hsiu Hsieh
Ming Hsieh Electrical Engineering Department, University of Southern California, Los Angeles, CA 90089, USA, e-mail: minhsiuh@gmail.com
V. Sidoraviciusˇ (ed.), New Trends in Mathematical Physics, |
161 |
© Springer Science + Business Media B.V. 2009 |
|
162 |
Igor Devetak, Todd A. Brun and Min-Hsiu Hsieh |
error correcting codes defied these expectations, and were quickly developed into the theory of stabilizer codes [5, 10]. Moreover, a construction of Calderbank, Shor and Steane [4, 17] showed that it was possible to construct quantum stabilizer codes from classical linear codes–the CSS codes–thereby drawing on the well-studied theory of classical error correction.
Important as these results were, they fell short of doing everything that one might wish. The connection between classical codes and quantum codes was not universal. Rather, only classical codes which satisfied a dual-containing constraint could be used to construct quantum codes. While this constraint was not too difficult to satisfy for relatively small codes, it is a substantial barrier to the use of highly efficient modern codes, such as Turbo codes [1] and Low-Density Parity Check (LDPC) codes [8], in quantum information theory. These codes are capable of achieving the classical capacity; but the difficulty of constructing dual-containing versions of them has made progress toward finding quantum versions very slow.
The results of our entanglement-assisted stabilizer formalism generalize the existing theory of quantum error correction. If the CSS construction for quantum codes is applied to a classical code which is not dual-containing, the resulting “stabilizer” group is not commuting, and thus has no code space. We are able to avoid this problem by making use of pre-existing entanglement. This noncommuting stabilizer group can be embedded in a larger space, which makes the group commute, and allows a code space to be defined. Moreover, this construction can be applied to any classical quaternary code, not just dual-containing ones. The existing theory of quantum error correcting codes thus becomes a special case of our theory: dual-containing classical codes give rise to standard quantum codes, while non- dual-containing classical codes give rise to entanglement-assisted quantum error correction codes (EAQECCs).
2 Notations
Consider an n-qubit system corresponding to the tensor product Hilbert space H 2 n. Define an n-qubit Pauli matrix S to be of the form S = S1 S2 · · · Sn, where Sj {I, X, Y, Z} is an element of the set of Pauli matrices. Let G n be the group of all 4n n-qubit Pauli matrices with all possible phases. Define the equivalence class
[S] = {βS | β C, |β| = 1}. Then
[S][T] = [S1T1] [S2T2] · · · [SnTn] = [ST].
Thus the set [G n] = {[S] : S G n} is a commutative multiplicative group.
Now consider the group/vector space (Z2)2n of binary vectors of length 2n. Its elements may be written as u = (z|x), z = z1 . . . zn (Z2)n, x = x1 . . . xn (Z2)n. We shall think of u, z and x as row vectors. The symplectic product of u = (z|x) and v = (z |x ) is given by