Theory and practice of protecting quantum information against decoherence by redundant encoding. Foundational: Shor 1995 9-qubit code, Steane 1996 7-qubit CSS code, Knill-Laflamme 1997 necessary-and-sufficient conditions for a correctable…
quantum-error-correction
Stabilizer formalism: codespace = simultaneous +1 eigenspace of abelian subgroup S ⊂ P_n
Gottesman 1997 stabilizer formalism. The Pauli group P_n on n qubits has 4·4^n elements; an abelian subgroup S ⊂ P_n with n − k…
CSS construction: dual classical codes C_1 ⊃ C_2^⊥ → stabilizer code correcting X + Z errors separately
Calderbank-Shor-Steane 1996 construction. Start from two classical binary linear codes C_1 ⊃ C_2^⊥ (i.e. every codeword of C_2^⊥ is also a…
Surface code: stabilizers are local 4-body plaquettes + vertices on a 2D lattice
Kitaev 1997 toric / surface code. Qubits live on the edges of a 2D square lattice. Star operators S_v = ∏_{edges e∋v} X_e at every vertex…
Knill-Laflamme: ⟨i|E_a†E_b|j⟩ = α_ab δ_ij ⇔ code corrects error set {E_a}
Knill-Laflamme 1997 necessary-and-sufficient conditions for exact error correction. An error set {E_a} acting on a quantum code C =…
Threshold theorem: p < p_th ⇒ concatenated encoding drives logical error to 0 exponentially
Aharonov-Ben-Or / Kitaev / Knill / Zurek / Preskill 1997 threshold theorem. For a code correcting t errors, the logical error rate at…
Surface code: p_L ~ A (p/p_th)^⌊(d+1)/2⌋ — suppression ratio d^(1/2) per extra code distance
Fowler-Mariantoni-Martinis-Cleland 2012 / Wang-Fowler-Hollenberg 2011 analysis: a distance-d surface code corrects ⌊(d−1)/2⌋ errors and —…
von Neumann entropy S(ρ) = −Tr(ρ log ρ) on qubit channels: Shannon-quantum bridge
Von Neumann entropy on qubit channels. Setup: a noisy channel E acting on a qubit input ρ; von Neumann entropy S(ρ) = −Tr(ρ log ρ)…
Stabiliser check matrix symplectic-rank structure: Λ∈F_2^((n-k)×2n) with alternating form
Stabiliser formalism symplectic parity-check matrix. Setup: an [[n,k,d]] stabiliser code has (n−k) independent commuting Pauli stabiliser…
Quantum weight-enumerator A(x,y) and MacWilliams-Shor-Laflamme identity via quadratic form
Quantum weight enumerator polynomial and MacWilliams-Shor-Laflamme identity. Setup: for an [[n,k,d]] stabiliser code with projector Π,…
Binary Shannon entropy H₂(p) = −p·log(p) − (1−p)·log(1−p); dephasing-channel capacity Q = 1 − H₂(p)
Binary entropy and dephasing-channel quantum capacity. From framework F7, the von Neumann entropy on a two-level mixed state with…
Quantum Singleton bound: k ≤ n − 2(d−1); rate ratio R = k/n ≤ 1 − 2(d−1)/n
Quantum Singleton bound (Knill-Laflamme 1997). Setup: an [[n,k,d]] stabiliser code. Theorem: the parameters satisfy k ≤ n − 2·(d−1),…
Quantum Hamming sphere-packing bound (t=1): 2^k · (1 + 3n) ≤ 2^n for non-degenerate codes
Quantum Hamming (sphere-packing) bound. Setup: a non-degenerate [[n,k,d]] stabiliser code able to correct t = ⌊(d−1)/2⌋ arbitrary…
Shor 9-qubit (1995)
P Shor 1995 first quantum-error-correcting code; protects 1 logical qubit using 9 physical against arbitrary single-qubit error.
CSS codes (CSS 1996)
Calderbank-Shor 1996 + Steane 1996 CSS-codes from classical linear-codes; basis of stabilizer-code framework.
Stabilizer (Gottesman 1997)
D Gottesman 1997 'Stabilizer Codes and Quantum Error Correction'; group-theoretic QEC; modern Eastin-Knill 2009 no-go on transversal gates.
Topological QEC (Kitaev 1997)
Kitaev 1997 toric-code; modern surface-code + color-code; basis of fault-tolerant scalable architectures.
qLDPC (Gottesman 2014)
Gottesman 2014 + Panteleev-Kalachev 2022 good qLDPC codes; near-optimal rate; modern alternative to surface-code for compact architectures.
Magic state (Bravyi-Kitaev 2005)
Bravyi-Kitaev 2005 magic-state distillation enables non-Clifford T-gate; modern protocols 14% overhead Litinski 2019.
Shor 9-qubit (1995)
P Shor 1995 9-qubit-stabilizer encoding; modern modern foundational text + Steane code 1996 + Knill-Laflamme threshold theorem.
Steane code (1996)
A Steane 1996 7-qubit CSS-code; modern modern foundational text + transversal gates + topological-codes + LDPC 2024.
Toric code (Kitaev 1997)
A Kitaev 1997 toric-surface-code; modern modern foundational text + topological-quantum-computation + Majorana-anyons.
Threshold theorem (Aharonov 1997)
D Aharonov-M Ben-Or 1997 threshold theorem; modern modern foundational text + 1% threshold + 2024 0.1% with magic-state distillation.
qLDPC (Gottesman 2014)
D Gottesman 2014 qLDPC; modern modern foundational text + Panteleev-Kalachev 2022 √n distance + 2024 IBM Loon hardware.
Magic state (Bravyi-Kitaev 2005)
S Bravyi-A Kitaev 2005 magic-state-distillation; modern modern foundational + cost-reduction-Litinski 2019 + 2024 protocol updates.