Coherent errors leave stabiliser-code-encoded magic states in superpositions of syndrome sectors. We ask how much magic these coherent errors add, and whether syndrome extraction depletes logical magic. Using Robustness of Magic, we show that, for a unitary error U on a correctable region which supports no stabiliser, the encoded state has the same robustness as the logical state plus one copy of the Choi state of U , in every stabiliser code encoding. Syndrome extraction removes this copy, returning the logical robustness. The removed magic is positive for every non-Clifford error: adding a non-stabiliser state to any state multiplies one plus the robustness by a (tightly- bounded) factor above one. The magic capacity of two-qubit gates Clifford-equivalent to diagonal or single-qubit gates is equal to their Choi-state robustness. We give a linear-algebraic test for when a Clifford error makes syndrome extraction measure a logical operator, and give magic lifetimes of stored single-qubit magic states under Pauli noise. Choosing the plane of the stored state extends these lifetimes about 1.5x on rotated surface codes under low code-capacity depolarising noise. We identify states and channels in odd-prime dimension for which Wigner negativity and robustness show equal lifetimes.
Coherent errors leave stabiliser-code-encoded magic states in superpositions of syndrome sectors. We ask how much magic these coherent errors add, and whether syndrome extraction depletes logical magic. Using Robustness of Magic, we show that, for a unitary error U on a correctable region which supports no stabiliser, the encoded state has the same robustness as the logical state plus one copy of the Choi state of U , in every stabiliser code encoding. Syndrome extraction removes this copy, returning the logical robustness. The removed magic is positive for every non-Clifford error: adding a non-stabiliser state to any state multiplies one plus the robustness by a (tightly- bounded) factor above one. The magic capacity of two-qubit gates Clifford-equivalent to diagonal or single-qubit gates is equal to their Choi-state robustness. We give a linear-algebraic test for when a Clifford error makes syndrome extraction measure a logical operator, and give magic lifetimes of stored single-qubit magic states under Pauli noise. Choosing the plane of the stored state extends these lifetimes about 1.5x on rotated surface codes under low code-capacity depolarising noise. We identify states and channels in odd-prime dimension for which Wigner negativity and robustness show equal lifetimes.
Syndrome measurements enable deterministic fault-tolerant T gates
Non-Clifford gates are essential for universal quantum computation, yet implementing them fault-tolerantly remains a central challenge for stabilizer codes. Here, we show how a syndrome degree of freedom can mediate a logical non-Clifford gate. Releasing one stabilizer check makes an additional logical qubit available within the encoded data block. Two Pauli rotations, followed by syndrome measurement and Clifford feed-forward, then implement a deterministic logical T gate on every stabilizer code of distance at least two, in a suitable logical basis. During the ideal rotations, the state remains in an intermediate stabilizer code whose distance we determine exactly. For pure codes with a balanced factorization, this distance grows with the original code distance, whereas the maximum weight of the stabilizer generators bounds the intermediate distance from above. We realize the mechanism in two circuits that tolerate a single fault under local stochastic circuit noise: a fixed 22-qubit construction admitting recursive error suppression and a direct Golay-code gate protected by measuring a stabilizer check transported through the non-Clifford rotation, which can recover the unknown encoded state even after rejection. Serial implementations with ancilla reuse, reset, and flexible two-qubit connectivity require at most 33 and 32 physical qubits, respectively. These results establish a general mechanism for logical non-Clifford gates and demonstrate how syndrome measurements and recovery can protect the intermediate evolution of encoded information.
We connect the structure theorem for quasiprobability representations to quantum error correction. For a code space invariant under a subgroup of an extended Weyl-Heisenberg group, the Brif-Mann construction gives a semi-functorial representation whenever its kernel satisfies the Stratonovich-Weyl axioms, and composes on channels covering full error-correction cycles. With phase-space parity available, a kernel other than the ordinary Wigner one exists iff the code space is invariant under a lattice of displacements: among compact-phase-space bosonic codes, this is only the ideal Gottesman-Kitaev-Preskill family; in finite dimension, this is every qudit stabiliser code, whose negative volume for odd prime dimension is the syndrome-averaged logical magic. For rotation-symmetric, one-photon, non-Pauli qudit and spin codes only the ordinary kernel remains, its negativity reflecting the physical carrier, not logical content; a sector-graded representation built from recovery isometries restores a resource reading. We add a channel atlas, a closed-form magic lifetime under displacement noise, a Kirkwood-Dirac layer, and finite-energy corrections.
Fault-tolerant quantum computation requires error-correcting codes that not only protect quantum information but also support useful logical operations with practical physical realizations. Here we develop a general framework in which the stabilizer syndromes of commuting Pauli rotations directly organize logical-gate design. We derive an exact codespace-preservation condition valid at arbitrary rotation angles, providing a common stabilizer-level description for CSS and non-CSS codes and for both Clifford and non-Clifford operations. A particularly useful equal-syndrome specialization reduces Clifford gate design to stabilizer factorization, yields a general generator weight bound of ⌈d/2⌉ for distance-d codes, and systematically extends to logical rotations higher in the Clifford hierarchy. Applied to bivariate-bicycle (BB) and non-CSS Mirror qLDPC codes, the framework gives explicit low-weight Clifford and controlled-phase gates. Our implementations yield new low-weight gates, including an addressed T gate on the [[16,4,4]] BB code, T-type rotations on the [[64,8,8]] BB code, and CCZ-, CS-, and T-type operations on the [[36,6,6]] Mirror code. We also develop analytic constructions using Clifford algebra bases, which turn the syndrome constraints into explicit algebraic relations and provide a systematic route to logical addressability. We use this approach to analytically construct addressed CNOT, SWAP, controlled, and CCZ-type gates on recursive hypercube codes. An independent construction on middle quantum Reed--Muller codes yields CrZ gates that saturate the equal-syndrome weight bound. These results establish stabilizer syndromes as a constructive link between the stabilizer structure of a quantum code, the logical computations it can directly support, and the fault-tolerance properties of their physical realizations.
We investigate the stability of logical information in quantum stabilizer codes subject to coherent unitary errors. Beginning with a logical state, we apply a random unitary error channel and subsequently measure stabilizer checks, resulting in a syndrome-dependent post-measurement state. By examining both this \emph{syndrome state} and the associated syndrome distribution, we identify a phase transition in the behavior of the logical information. In the Clifford/stabilizer setting, the change of logical stabilizer structure in a syndrome branch determines the state-level MAP Pauli-frame return probability for a chosen logical-basis input. We separately use quantum coherent information to diagnose recoverability of arbitrary encoded inputs at the channel level. Below a critical error threshold pc, the syndrome branches remain compatible with the original logical sector, enabling a high state-return probability. Above pc, the data are consistent with effective scrambling of the encoded subspace relative to the stabilizer checks, where the syndrome-resolved logical maps approach a global-Clifford-induced stabilizer instrument. This common post-threshold picture organizes both the toric-code and finite-rate random-stabilizer-code results within the same scrambling mechanism. The syndrome distribution supplies complementary local and global structural diagnostics whose scaling depends on the code family. We refer to this phenomenon as a \emph{coherent error induced phase transition}. To illustrate this transition, we study two classes of quantum error-correcting codes, the toric code and finite-rate random stabilizer codes, thereby shedding light on the design and performance limits of quantum error correction under coherent errors.
Fault-tolerant preparation of non-Clifford resource states is a major contributor to the overhead of quantum computation, motivating protocols that achieve high output fidelity with minimal qubit and circuit costs. We introduce a low-cost magic-state preparation protocol in which the choice of stabilizer generators is co-designed with the flag gadgets, allowing the syndrome-extraction circuit itself to filter correlated faults across a non-Clifford layer. The protocol prepares a logical plus state in the 15-qubit quantum Reed-Muller code, applies a transversal T gate, and gauge-fixes the same register into the seven-qubit Steane code. By reorganizing equivalent Z-type stabilizer generators into jointly flagged measurement groups, the protocol eliminates all accepted logical-error contributions arising from one or two circuit faults under destructive error detection. Under a uniform circuit-level depolarizing noise model, the postselected infidelity is 210.2p3+O(p4). At p=10−3, exact low-order enumeration combined with stratified sampling bounds the infidelity by 2.2×10−7 at 99.9% joint confidence, while retaining an acceptance probability of 86.9%. The complete circuit requires only 19 qubits and 82 CNOT gates. These results demonstrate that stabilizer-generator design can substantially reduce the cost of postselected magic-state preparation, although corrected operation and the fidelity of an unmeasured output block require separate analysis.
Quantum error correction protects logical qubits from decoherence but requires repeated syndrome extraction whose fundamental thermodynamic cost has not been characterized exactly. We prove five theorems and two corollaries that supply this characterization for stabilizer codes. First, a no-go result establishes that every error-correction cycle requires strictly positive work, ruling out passive error correction. Second, a duality identity shows that the combined measurement and erasure cost per syndrome-extraction round is determined solely by the number of stabilizer generators; only the split between measurement and erasure depends on the error rate. Third, a coherence dissipation theorem quantifies the additional irreversible work generated when projective stabilizer measurements destroy quantum coherence in the data register. CSS codes eliminate this cost for generators aligned with the noise channel’s eigenbasis, yielding a thermodynamic criterion for code selection under non-Pauli noise. Fourth, a Crooks fluctuation theorem for the full syndrome cycle yields a Jarzynski equality and exponential tail bounds on rare work fluctuations. Fifth, a variance formula captures the effect of syndrome correlations among stabilizers that share physical qubits. We evaluate all results across eleven codes, from a three-qubit repetition code to a 144-qubit quantum low-density parity-check code, establishing a Pareto trade-off between thermodynamic cost and error-suppression capability. Comparison with four experimental platforms—two superconducting, one trapped-ion, and one neutral-atom—shows that current hardware operates five to eleven orders of magnitude above the Landauer limit, with control and readout hardware, not syndrome extraction, as the dominant source of dissipation.