Pith. Sign in

REVIEW

Concatenated Quantum Codes

Quantum Physics · Submitted 8 Aug 1996

Pith's verdict: The concatenation argument holds up and the constants are conservative, not wrong; the real caveat is the noise model, which the authors state plainly.

T0 · AI review

How this review was made: An AI referee (selfhosted/deepseek-v4.1-flash) read the paper on November 13, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

  1. T0 AI review An AI read the paper and answered a fixed list of questions.
  2. T1 Audit Automatic checks that the references and files the paper relies on exist and match.
  3. T2 Compute The paper's code or calculations re-run with the same results.
  4. T3 Formal statement The claims written out in a formal math language a computer can read.
  5. T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 4 major objections · 6 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv IDquant-ph/9608012 (version 1)
Pith ID4LQPGIAF, Pith's permanent record of this paper and its review
CitationEmanuel Knill, Raymond Laflamme. "Concatenated Quantum Codes." arXiv:quant-ph/9608012 (1996). https://pith.science/paper/4LQPGIAF
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

Why Pith says this

Highlight any text to comment on it.

Referee report
The paper

The paper claims

A qubit can be stored or sent arbitrarily far with fixed per-step error, provided each gate's error is a small constant multiple of the target error.

The reading

The paper asks whether a quantum memory or channel can hold a state for arbitrarily long times, or send it arbitrarily far, without demanding that every gate be arbitrarily accurate. Earlier proposals needed gate errors shrinking toward zero as the storage time or distance grew. Knill and Laflamme argue that this requirement can be removed: if storage or channel elements have error amplitude at most $epsilon$, gates with error amplitude at most $c,epsilon$ suffice for any duration or distance, with overhead polynomial in the number of time steps. The construction is recursive, so the interesting question becomes how large the constant $c$ can be, and the paper answers that with both a general theorem and an explicit calculation for the five-qubit code.

What carries the argument

Concatenation with hierarchically implemented recovery. The code is applied, then the same procedure is applied inside each of its qubits before the outer recovery runs, so that a fault anywhere in a recovery circuit is itself caught by the level below. The proof machinery is the paper's error-amplitude formalism: a generalized unitary operator $A$ is compared to an intended $B$ by writing $A = lambda B' + E$ with $|E| le epsilon$, and three lemmas show that these amplitudes compose additively under sequential operations and do not increase when ancillas are discarded. Additivity is what makes the induction close: level $h+1$ behaves exactly like level $1$ with the waiting period replaced by a level-$h$ procedure whose error is already known to be at most $epsilon_d$. Theorem 4.3 supplies the other half, bounding the residual error after recovery by the tail $sum_{i>e} binom{l}{i} epsilon^i$ of the binomial expansion, which is small whenever the per-qubit error is small compared with the code's correction capacity.

Extended reading notes

Core claim

The central claim is that concatenated quantum coding turns a fixed, non-vanishing level of operational error into arbitrarily long protection. The recipe: take a short one-error-correcting code, encode a qubit into it, apply the next lower level of the same procedure to each of the resulting qubits, then run the code's recovery operation, and repeat this nesting to a depth $h$. Theorem 4.1 proves by induction on the level that if encoding, recovery and decoding each carry error amplitude at most $epsilon_c$, and the channel or waiting period carries at most $epsilon_d$, then the whole level-$h$ procedure differs from the identity by at most $(r+1)epsilon_c$, provided $r+1 le epsilon_d/epsilon_c$. Because the bound per level does not grow with the level, the accumulated error stays fixed while the number of protected time steps grows as $r^h$. Theorem 4.2 prices this in resources: $n$ waiting or transmission periods need $n^{log_r l}$ qubits, fewer than $frac{r+1}{r-1}n$ parallel operations, and fewer than $n^{1+log_r l}$ basic encoding, recovery and decoding operations, where $l$ is the code length. Theorem 4.4 instantiates the scheme with the five-qubit code: for target error $epsilon ge 1/120$, storage error $1/120$ and primitive gate error $1/21600$ suffice; for $epsilon < 1/120$, storage error $epsilon$ and primitive gate error $epsilon(1-60epsilon^2)/90$ suffice.

Load-bearing premise

The guarantee rests on the noise model of Section 2.3: each qubit must stay in its two-dimensional space, distinct qubits must evolve independently within a time step, and successive operations must fail independently, so that per-level error amplitudes simply add.

Editorial extensions

If this is right

  • Arbitrarily long quantum storage and arbitrarily long quantum transmission become engineering problems with a fixed accuracy target rather than problems requiring asymptotically perfect hardware.
  • Quantum repeaters spaced at regular intervals along a channel with enough parallel paths could, in principle, implement the scheme.
  • The threshold is stated as a concrete number: for the five-qubit code, gate error amplitude near $1/21600$ together with storage error near $1/120$ already supports arbitrary storage time at final error $1/120$.
  • Resource costs are polynomial, not exponential: qubit count scales as $n^{log_r l}$ and total basic operations as $n^{1+log_r l}$ in the number $n$ of protected periods.
  • The scheme works with any code implemented accurately enough; it does not require a code that corrects one specific error type perfectly.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The paper's own threshold numbers are pessimistic because its recovery-circuit error budget is a crude sum over primitive gates; a fault-tolerant compilation of the same recovery, as the authors suggest in the conclusion, would likely raise the tolerable gate error by orders of magnitude.
  • The induction's cleanliness depends on errors being uncorrelated across qubits and across time, so the natural next test is whether the same conclusion survives a bath with memory, where the per-level error could grow with the level rather than staying fixed.
  • Because the bound is on error amplitudes rather than probabilities, coherent cancellation is not assumed away; this makes the guarantee stronger than a probabilistic estimate but also means a physical implementation must control systematic over-rotations, not just random faults.
  • A practical corollary the paper leaves implicit: the depth $h$ needed for a given storage time grows only logarithmically, so the interesting engineering variable is the constant in the exponent, not the architecture.
Original abstract

One of the main problems for the future of practical quantum computing is to stabilize the computation against unwanted interactions with the environment and imperfections in the applied operations. Existing proposals for quantum memories and quantum channels require gates with asymptotically zero error to store or transmit an input quantum state for arbitrarily long times or distances with fixed error. In this report a method is given which has the property that to store or transmit a qubit with maximum error $\epsilon$ requires gates with error at most $c\epsilon$ and storage or channel elements with error at most $\epsilon$, independent of how long we wish to store the state or how far we wish to transmit it. The method relies on using concatenated quantum codes with hierarchically implemented recovery operations. The overhead of the method is polynomial in the time of storage or the distance of the transmission. Rigorous and heuristic lower bounds for the constant $c$ are given.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13.0 via TypeSafe API, question bank abstract-p1-20260923, 2026-09-23: 1 request, 4,949 input tokens.

What the abstract itself states, as probabilities: claims first 0.06 · states limitation 0.46 · human participants 0.02 · controlled comparison 0.05 · randomized assignment 0.01 · states quantitative result 0.81 · compares with prior results 0.76 · mentions code or data availability 0.02.

The abstract, sentence by sentence

arXiv listing abstract v1. Results and the main claim are underlined; .

One of the main problems for the future of practical quantum computing is to stabilize the computation against unwanted interactions with the environment and imperfections in the applied operations. Existing proposals for quantum memories and quantum channels require gates with asymptotically zero error to store or transmit an input quantum state for arbitrarily long times or distances with fixed error. In this report a method is given which has the property that to store or transmit a qubit with maximum error $\epsilon$ requires gates with error at most $c\epsilon$ and storage or channel elements with error at most $\epsilon$, independent of how long we wish to store the state or how far we wish to transmit it. The method relies on using concatenated quantum codes with hierarchically implemented recovery operations. The overhead of the method is polynomial in the time of storage or the distance of the transmission. Rigorous and heuristic lower bounds for the constant $c$ are given.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
s0 One of the main problems for the future of practical quantum computing is to stabilize the computation against unwanted interactions with the environment and imperfections in the applied operations. background 1.00 0.05 0.03 asserted 1.00
s1 Existing proposals for quantum memories and quantum channels require gates with asymptotically zero error to store or transmit an input quantum state for arbitrarily long times or distances with fixed error. background 0.81 0.04 0.03 asserted 1.00
s2 In this report a method is given which has the property that to store or transmit a qubit with maximum error $\epsilon$ requires gates with error at most $c\epsilon$ and storage or channel elements with error at most $\epsilon$, independent of how long we wish to store the state or how far we wish to transmit it. contribution 0.55 0.90 0.89 asserted 1.00
s3 The method relies on using concatenated quantum codes with hierarchically implemented recovery operations. method 0.98 0.71 0.07 asserted 1.00
s4 The overhead of the method is polynomial in the time of storage or the distance of the transmission. result 0.96 0.85 0.08 asserted 1.00
s5 Rigorous and heuristic lower bounds for the constant $c$ are given. result 0.62 0.91 0.05 asserted 0.99

What kind of paper the classifier reports this is: method or tool 0.96 · evidence from proof or derivation 0.99.

What was examined, and what was not

sources read
  • arXiv listing abstract v1
not examined
  • full text
  • figures and tables
  • references and citing sentences
  • relations to other papers
levels run
  • P abstract
not run
  • S sections
  • T body sentences
  • C citations
  • R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

References
How later papers used it

59 later papers cite it

Evidence: substantial. 58 of the citing papers share no author with it, and 7 of those carry a confident label from Pith's citation classifier.

Pith read 19 of the 93 citing sentences, choosing only those whose citation markers point at this paper alone, and wrote the paraphrases from them. The summary, the counts, the evidence level, the links and the quotes come from code; the summary counts the papers listed below. A later paper is listed under a label when Pith's citation classifier gives one of its sentences that label at probability 0.8 or more (0.95 for support), Pith's reading finds that the citing paper itself did it, and a second check confirms the paraphrase against the sentence. This section lists uses only. It does not list criticism or disagreement, so their absence here says nothing about how the paper has been received. Papers that share an author with this one are listed apart, under "By the same authors". A quote is the citing authors' own sentence, shown when their paper's licence is CC BY, CC BY-SA or CC0. JSON

Uses its method or tool 1 of 4 papers with this label
  • Restricted its consideration to concatenations of this paper's kind, specifically of the 7-qubit Steane code with elementary gadgets constructed in another work.

    Fault-tolerant Coding for Quantum Communication (2020) · 0.86 · paraphrased: the licence does not allow quoting

How the literature uses it

59 arXiv papers cite this in 92 sentences

Each citing sentence is taken from the citing paper's LaTeX source and typed by Pith's classifier. A label appears at probability 0.8 or more (0.95 for support), a contest at 0.7 or more; the quoted words are the citing authors'. How each label was checked · JSON

Papers citing it · 45 sentences without a confident label

Builds on it 1 paper
Uses its method or tool 3 papers
  • In the following we will restrict to the concatenations [ref] of the $7$-qubit Steane code for which elementary gadgets have been constructed in [ref] .

    Fault-tolerant Coding for Quantum Communication · Analyzing noisy quantum circuits · 0.86

  • The 7-qubit Steane code introduced in [ref] is an error correcting code that can correct all single-qubit errors, and that can be concatenated to improve protection against errors [ref] .

    Quantum communication and fault-tolerance · Fault-tolerance for quantum circuits · 0.94

  • We can then follow the standard procedure for finding the codewords and parameters of a concatenated code as in, e.g., Refs. [ref] : Replacing each $_in,C$-dimensional subsystem of the outer code by $_in$, the concatenated code hence has $_+ = (2^n_in)^q$ and $_+,C = 2^k_out$.

    Existence of Pauli-like stabilizers for every quantum error-correcting code · Code parameters and codewords of a concatenated binary code · 0.80

Compares with it 2 papers
  • Comparison of approaches The main advantage of our scheme over existing ones [ref] is the superior scaling of the local resources with the distance, which is reduced from polynomial [ref] or polylogarithmic [ref] to constant.

    Long-range big quantum-data transmission · Introduction · 1.00

  • Compared with other quantum concatenation schemes, such as concatenated quantum codes (CQC) [ref] , the component code selections of QTPCs are more flexible than those of CQCs.

    On Quantum Tensor Product Codes · Introduction · 0.94

Cites it as background 34 papers

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.