Use the Hilbert-Schmidt inner product normalized by the dimension: . The identity and the three Pauli matrices are Hermitian, each has square , and each nonidentity Pauli matrix has zero trace. For distinct nonidentity indices, the Pauli matrix multiplication law gives , which is traceless. Therefore
There are four such orthonormal operators, and the complex vector space of two-by-two matrices has dimension four. Hence they form an orthonormal basis. Taking the inner product of any with each basis element proves, for arbitrary complex and not just Hermitian ones,
For example, if , its four coefficients are , , , and , respectively.
For the joint error, regard the two prescribed basis outputs as the columns of an environment-valued linear map. Its coefficient array in the usual output-row, input-column convention is
The source's other array is arranged as a column of the images of basis kets; it must not be mistaken for this coefficient array acting on an amplitude column. Applying the just-proved Pauli matrix expansion componentwise in any environment orthonormal basis gives the Pauli decomposition of a qubit-environment isometry:
To check the potentially delicate sign of the Pauli Y gate coefficient, use and . The four terms then give
Linearity proves the expansion for every input pure state. The environment coefficient vectors need not be normalized or mutually orthogonal. Consequently this expansion includes coherent combinations of Pauli errors, rather than asserting that every quantum channel is a probabilistic Pauli channel.
For the recovery probability, use the usual independent-use interpretation of the given phase-flip channel: each of the three transmitted qubits has a Pauli Z gate error independently with probability . The phase-flip repetition code uses logical codewords and . The decoding Hadamard gates convert physical phase flips to bit flips because . We can then analyze the two decoding controlled-NOT gates and the final Toffoli gate directly, rather than assuming a recovery rule.
Let be the error bits after this basis conversion. For a logical basis input , the three data bits before inverse encoding are . The two controlled-NOT gates produce
The Toffoli gate flips the first wire when both of the last two bits are one. Its residual error is
The last two wires carry an error syndrome independent of . Thus this transformation preserves the amplitudes of an arbitrary superposition: zero or one phase error returns the original unknown qubit, while two or three phase errors leave the logical Pauli X gate applied to it. The probability of universally successful recovery is therefore
Equivalently, the decoded quantum channel is , with logical failure of the three-qubit phase-flip repetition code . For , the failure probability is below , since . A special input that is a Pauli X eigenstate is unchanged even by the residual logical error; this does not make the code correct that error on an unknown input. Its squared quantum fidelity with a particular pure input is . If the errors on different channel uses are correlated, the marginal probability alone is insufficient: the general universal success probability is the probability of at most one error.
Number the three data qubits from top to bottom. It suffices initially to follow a pure input ; linearity will extend the result to every density operator. The first two controlled-NOT gates create . The first layer of Hadamard gates then encodes this as
the three-qubit phase-flip repetition code. Let indicate whether a Pauli Z gate occurred on data qubit during storage. The next layer of Hadamard gates uses and gives
The two initially zero syndrome quantum ancillas receive the adjacent parities. In the diagram's top-to-bottom order, their error syndrome is
Both terms of the logical superposition have these same parities, so the syndrome is independent of . Measuring it reveals no logical-state information.
At the marked position of in the printed circuit, there has already been another layer of Hadamard gates on the data. There is also a layer immediately after . Thus a desired correction in the parity-extraction frame must be implemented as at the actual recovery location, since . Choose the recovery according to
The two patterns on each row share a syndrome because complementing all three bits does not change either parity. For a weight-zero or one error, the recovery removes the entire error in the parity-extraction frame. The remaining state is , and the two final controlled-NOT gates give .
For a weight-two or three error, minimum-weight recovery instead leaves all three bits flipped, giving . The final controlled-NOT gates send this to . Consequently, for every input density operator,
The logical failure is a Pauli X gate after decoding, even though the stored physical errors were Pauli Z gates: exchanges the two encoded codewords. This is the logical failure of the three-qubit phase-flip repetition code.