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 (p_c), the syndrome branches remain compatible with the original logical sector, enabling a high state-return probability. Above (p_c), 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.
Unitary k -designs are distributions of unitary gates that match the Haar distribution up to its k th statistical moment. They are a crucial resource for randomized quantum protocols. However, their implementation on encoded logical qubits is nontrivial due to the need for magic gates, which can require a large resource overhead. In this work, we propose an efficient approach to generate unitary designs for encoded qubits in surface codes by applying local unitary rotations (“coherent errors”) on the physical qubits followed by syndrome measurement and error correction. We prove that, under some conditions on the coherent errors (notably including all single-qubit unitaries) and on the error-correcting code, this process induces a unitary transformation of the logical subspace. We numerically show that the ensemble of logical unitaries (indexed by the random syndrome outcomes) converges to a unitary design in the thermodynamic limit, provided that the density or strength of coherent errors is above a finite threshold. This “unitary design” phase transition coincides with the code’s coherent error threshold under optimal decoding. Furthermore, we propose a classical algorithm to simulate the protocol based on a “staircase” implementation of the surface code encoder and decoder circuits. This enables a mapping to a ( 1 + 1 ) -dimensional monitored circuit, where we observe an entanglement phase transition (and thus a classical complexity phase transition of the decoding algorithm) coinciding with the aforementioned unitary design phase transition. Our results provide a practical way to realize unitary designs on encoded qubits, with applications including quantum state tomography and benchmarking in error-correcting codes.
Rényi coherent information, a computable proxy for the von Neumann coherent information, is widely used to study mixed-state phases of matter and decodability transitions in noisy quantum error-correcting codes. However, being a difference of two Rényi entropies, it need not be monotonic in the Rényi index, and lacks the operational meaning of its von Neumann counterpart. Here we address both issues for stabilizer codes. First, for Pauli noise generated by independent Bernoulli events, we prove that the Rényi-
n coherent information is nondecreasing in
n∈Z+. This follows from a general theorem: if independent random bits are mapped linearly to a fine label
T and a coarse label
C, then the Rényi entropy difference
Hn(C)−Hn(T) is nondecreasing in
n. For stabilizer codes,
T is the joint syndrome--logical class and
C is the syndrome, and the difference is the Rényi-
n coherent information up to a constant. The same theorem covers classical linear codes and independent detector error models. Second, for arbitrary stochastic Pauli noise, we give the Rényi-
n coherent information an operational meaning via postselection on matching syndromes between one data block and
n−1 auxiliary blocks. We determine when this defines a quantum channel and show that saturation of the Rényi-
n coherent information is equivalent to asymptotically perfect recovery of the postselected channel. Moreover, the Rényi-
n coherent information also upper-bounds the ordinary coherent information achievable after any syndrome-conditioned recovery.
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.
A powerful method for analyzing quantum error-correcting codes is to map them onto classical statistical mechanics models. Such mappings have thus far mostly focused on static codes, possibly subject to repeated syndrome measurements. Recent progress in quantum error correction, however, has prompted new paradigms where codes emerge from stabilizer circuits in spacetime -- a unifying perspective encompassing syndrome extraction circuits of static codes, dynamically generated codes, and logical operations. We show how to construct statistical mechanical models for stabilizer circuits subject to independent Pauli errors, by mapping logical equivalence class probabilities of errors to partition functions using the spacetime subsystem code formalism. We also introduce a modular language of spin diagrams for constructing the spin Hamiltonians, which we describe in detail focusing on independent circuit-level X-Z error channels. With the repetition and toric codes as examples, we use our approach to analytically rank logical error rates and thresholds between code implementations with standard and dynamic syndrome extraction circuits, describe the effect of transversal logical Clifford gates on logical error rates, and perform Monte Carlo simulations to estimate maximum likelihood thresholds. Our framework offers a universal prescription to analyze, simulate, and compare the decoding properties of any stabilizer circuit, while revealing the innate connections between dynamical quantum systems and noise-resilient phases of matter.
The ability of quantum error correction (QEC) to protect logical qubits against physical noise is traditionally quantified by a noise threshold: a critical noise level below which the logical error rate decreases exponentially with code distance. This paper proposes that QEC itself can undergo a phase transition analogous to a physical phase change. We develop a theoretical framework that treats the logical error rate as an order parameter and maps the behavior of large stabilizer codes onto a statistical mechanics model. By analyzing the scaling of logical error probabilities with code distance and noise strength, we identify a continuous phase transition at the threshold, characterized by critical exponents that depend on the code family and noise model. The transition separates a "fault‑tolerant" phase where logical errors are exponentially suppressed from a "fault‑unreliable" phase where logical errors proliferate. We discuss implications for the design of large‑scale quantum computers, potential experimental signatures in current quantum hardware, and the prospect of discovering new quantum information physics through this phase‑transition perspective.
Coherent Hamiltonian drifts and systematic errors can pass through quantum error correction differently than stochastic Pauli noise: they generate phase components of the logical channel that are lost under full Pauli twirling. We consider the Lindbladian dynamics of
n physical qubits propagated through an effective logical channel of a fixed encoding, recovery, and decoding scheme. The work is methodological in character: standard ideas of observability and minimal realization from linear systems theory are applied to the channel \[
ω
\mapsto
Φ_t(ω)
=
\cD e^{t\cL}\cE(ω), \] where \(\cE\) encodes the logical state and \(\cD\) is the chosen recovery map with final decoding. The minimal code-visible space \(\cK_{\rm code}\) is defined as the Krylov closure of the decodable logical observables with respect to \(\cL^\dagger\); its observable factorization yields a minimal realization of the logical channel. In this form, the Knill--Laflamme conditions serve as a short-time consistency check, Pauli noise on stabilizer codes reduces to a chain on syndrome-logical classes, and the choice of recovery map acts as a spectral filter on the visible modes. For quantum memory, the same language yields an estimate of the storage time in terms of the dominant visible eigenvalues of the logical channel of the correction cycle. Particular attention is paid to the spectral signatures of coherent noise and to how these signatures depend on the chosen decoder.