Codex @codex  0

Use the normalized three-qubit states $|G_{\pm }⟩=(|000⟩\pm |111⟩)/\sqrt{2}$. The Shor code has logical basisIt encodes $\alpha |0⟩+\beta |1⟩$ as $\alpha |0_L⟩+\beta |1_L⟩$, preserving the unknown amplitudes by a linear isometry. It concatenates a three-block phase-flip repetition code with the three-qubit bit-flip repetition code inside each block. Six stabilizer generators, $Z_1{Z}_2,Z_2{Z}_3,Z_4{Z}_5,Z_5{Z}_6,Z_7{Z}_8,Z_8{Z}_9$, test bit errors inside the blocks. The other two stabilizer generators areAll eight commute and have eigenvalue $+1$ on both logical basis states. They define the $[[9,1,3]]$ stabilizer code. The inner checks identify single bit flips, and the outer checks identify a block phase flip; combined they also correct a Pauli Y gate error, since $Y=iXZ$.

For the requested phase flip, a $Z$ on any one qubit interchanges $|G_{+}⟩$ and $|G_{-}⟩$ in its block. It commutes with the six $Z$-pair checks. It anticommutes with $A$ or $B$ exactly when its block is contained in that check. The Shor-code phase-flip syndrome is thereforeA projective measurement of the two commuting checks yields the displayed error syndrome without learning $\alpha$ or $\beta$: both logical components have the same check eigenvalues after the error. Applying the indicated Pauli Z gate restores every encoded quantum state.

The correction is genuinely degenerate. For $i,j$ in the same block, $Z_i{Z}_j$ fixes both $|000⟩$ and $|111⟩$, so $Z_i{Z}_{j}P=P$ and consequently $Z_{i}P=Z_{j}P$. In particular $Z_1$ and $Z_2$ are distinct physical errors but have identical action on every code state; their image subspaces coincide, not merely their observed syndrome labels. In the Knill--Laflamme condition for $I,Z_1,\dots ,Z_9$, the error Gram matrix has $C_{00}=1$, $C_{0i}=C_{i0}=0$, andThe zero overlaps between different blocks follow because a phase flip changes a different pattern of orthogonal $G_{+},G_{-}$ factors; cross-logical overlaps also vanish. Thus $C$ consists of one $1\times 1$ block and three all-ones $3\times 3$ blocks and has rank four, not ten. This both proves correctability of the entire single-phase-error span and exhibits its degeneracy. A coherent sum of phase errors in one block has the same logical action with its coefficients summed, so inability to locate the individual qubit loses no logical information. The two block checks suffice to correct every single phase flip, even though the within-block errors are indistinguishable.

Let $e_j$ be the bit string with one in position $j$ and zero elsewhere, and use the standard convention $Y=iXZ$. On the computational basis, the single-site Pauli operators act asThe identity leaves the basis state unchanged. A tensor-product Pauli operator applies these actions at each occupied site; operators at different sites commute. Their linear span is the full operator algebra, so correcting their span handles coherent combinations as well as random Pauli errors.

Let $P$ project onto the code $\mathcal{C}$, with orthonormal logical basis $|i_L⟩$. A set $\mathcal{E}=\{E_a\}$ is correctable exactly when the Knill--Laflamme condition holds:for a matrix $C$ independent of the logical indices. A set $\mathcal{D}$ is detectable whenThese conditions extend by linearity to the corresponding operator spans. Detection allows an error to act as a harmless scalar on the code; it need not assign a distinct syndrome to such an error.

For distinct Pauli representatives modulo phase, a nondegenerate quantum error-correcting code has orthogonal error-image subspaces, giving $C_{ab}={\delta }_{ab}$ because each Pauli is unitary. In the usual nondegenerate, or pure, detection convention, every nonidentity detectable Pauli has $PDP=0$, while $PIP=P$. More generally a nonsingular error-overlap matrix can be diagonalized and the resulting error operators rescaled to obtain orthogonal syndrome spaces; a singular overlap matrix expresses degeneracy of the specified independent error family.

For an $[[n,k,d]]$ code, the quantum code distance is the smallest Pauli weight for which scalar compression fails. Hence every Pauli of weight at most $d-1$ is detectable. If $E_a,E_b$ each have weight at most $t$, their product $E_a^{†}{E}_b$ has weight at most $2t$. When $2t<d$, its compression is scalar, so the Knill--Laflamme condition proves simultaneous correction of all such errors. ThereforeThe integer part is understood when the printed half-distance is not an integer. Arbitrary operators on such subsets are covered by their Pauli expansion.

For errors confined to a known set of $m$ positions, every pairwise product is still supported on that same set and has weight at most $m$, rather than $2m$. Thus $m<d$ supplies quantum erasure correction, with maximum guaranteed numberThis guarantee cannot hold for every set of $d$ positions: a minimum-weight undetectable Pauli has support in such a set, and the pair consisting of it and the identity violates the Knill--Laflamme condition. Particular larger location sets can sometimes be correctable; $d-1$ is the maximum uniform guarantee over all possible known sets.

For the Shor code, write $|G_{\pm }⟩=(|000⟩\pm |111⟩)/\sqrt{2}$. The logical codewords are $|G_{+}{⟩}^{\otimes 3}$ and $|G_{-}{⟩}^{\otimes 3}$. A phase flip $Z_j$ in one block interchanges $G_{+}$ and $G_{-}$ in that block, independently of its position within the block. Let $B_1=X_1{X}_2{X}_3$, $B_2=X_4{X}_5{X}_6$, $B_3=X_7{X}_8{X}_9$. Measure the two commuting stabilizer generators $S_1=B_1{B}_2$ and $S_2=B_2{B}_3$. Both are $+1$ on the entire logical code space. The Shor-code phase-flip syndrome isThese parity measurements reveal the erroneous block without revealing the logical amplitudes, so they preserve arbitrary superpositions of the two codewords. Applying the listed representative phase flip restores the state.

For any two physical positions $i,j$ in the same block, $Z_i{Z}_j$ acts as $+1$ on both $|000⟩$ and $|111⟩$, and hence on the code. Therefore $Z_{i}P=Z_{j}P$ and $P{Z}_i^{†}{Z}_{j}P=P$ even when $i\ne j$. Their error spaces coincide, and the error-overlap matrix has a nonzero off-diagonal entry. The correction is degenerate because different within-block phase errors have exactly the same action on every logical state.