Standard approaches to quantum error correction (QEC) require active maintenance using measurements and classical processing. Passive QEC, by contrast, has so far been established only in unphysical spatial dimensions. Here, we give an explicit scheme for autonomous quantum error correction and computation in two dimensions, formulated as a dissipative quantum cellular automaton with a fixed, local and translation-invariant update rule. The construction uses hierarchical, self-simulating control elements based on ideas from the seminal classical results of Gács (1986, 1989) together with a measurement-free concatenated quantum code. We prove the existence of a nonzero noise threshold under a local noise model. Below this threshold, logical errors on encoded initial states are suppressed exponentially with increasing system size and the memory lifetime diverges in the thermodynamic limit. We also describe an implementation in continuous time as a time-independent, translation-invariant local Lindbladian using engineered dissipative jump operators. The recursive nature of our protocol allows for the fault-tolerant execution of quantum circuits specified by the initial state, and thus constitutes a self-correcting quantum computer capable of universal computation.
Standard approaches to quantum error correction (QEC) require active maintenance using measurements and classical processing. Passive QEC, by contrast, has so far been established only in unphysical spatial dimensions. Here, we give an explicit scheme for autonomous quantum error correction and computation in two dimensions, formulated as a dissipative quantum cellular automaton with a fixed, local and translation-invariant update rule. The construction uses hierarchical, self-simulating control elements based on ideas from the seminal classical results of Gács (1986, 1989) together with a measurement-free concatenated quantum code. We prove the existence of a nonzero noise threshold under a local noise model. Below this threshold, logical errors on encoded initial states are suppressed exponentially with increasing system size and the memory lifetime diverges in the thermodynamic limit. We also describe an implementation in continuous time as a time-independent, translation-invariant local Lindbladian using engineered dissipative jump operators. The recursive nature of our protocol allows for the fault-tolerant execution of quantum circuits specified by the initial state, and thus constitutes a self-correcting quantum computer capable of universal computation.
We construct the first fully spatially local fault-tolerant quantum computer based on topological codes in fewer than four spatial dimensions. Our construction is a two-dimensional architecture that uses only geometrically local quantum and classical operations, bounded-speed classical communication and computation, and a constant density of quantum and classical resources. The core component is a new time-translation-invariant cellular-automaton decoder for the surface code. This decoder preserves logical information for a time stretched-exponential in the code distance and operates continuously during state injection, stabilizer-state preparation, lattice surgery, and transversal readout. We also prove that every translation-invariant topological Pauli stabilizer code is locally decodable under phenomenological noise.
We construct a local decoder for the 2D toric code using ideas from the hierarchical classical cellular automata of Tsirelson and Gács. Our decoder is a circuit of strictly local quantum operations preserving a logical state for exponential time in the presence of circuit-level noise without the need for non-local classical computation or communication. Our construction is not translation invariant in spacetime, but can be made time-translation invariant in 3D with stacks of 2D toric codes. This solves the open problem of constructing a local topological quantum memory below four dimensions.
Abstract To build a universal quantum computer from fragile physical qubits, effective implementation of quantum error correction (QEC)1 is an essential requirement and a central challenge. Existing demonstrations of QEC are based on an active schedule of error-syndrome measurements and adaptive recovery operations2, 3, 4, 5, 6, 7 that are hardware intensive and prone to introducing and propagating errors. In principle, QEC can be realized autonomously and continuously by tailoring dissipation within the quantum system1, 8, 9, 10, 11, 12, 13, 14, but so far it has remained challenging to achieve the specific form of dissipation required to counter the most prominent errors in a physical platform. Here we encode a logical qubit in Schrödinger cat-like multiphoton states15 of a superconducting cavity, and demonstrate a corrective dissipation process that stabilizes an error-syndrome operator: the photon number parity. Implemented with continuous-wave control fields only, this passive protocol protects the quantum information by autonomously correcting single-photon-loss errors and boosts the coherence time of the bosonic qubit by over a factor of two. Notably, QEC is realized in a modest hardware setup with neither high-fidelity readout nor fast digital feedback, in contrast to the technological sophistication required for prior QEC demonstrations. Compatible with additional phase-stabilization and fault-tolerant techniques16, 17, 18, our experiment suggests quantum dissipation engineering as a resource-efficient alternative or supplement to active QEC in future quantum computing architectures.
Quantum cellular automata are alternative quantum-computing paradigms to quantum Turing machines and quantum circuits. Their working mechanisms are inherently automated, therefore measurement free, and they act in a translation invariant manner on all cells or qudits of a register, generating a global rule that updates cell states locally, i.e., based solely on the states of their neighbors. Although desirable features in many applications, it is generally not clear to which extent these fully automated discrete-time local updates can generate and sustain long-range order in the (noisy) systems they act upon. In particular, whether and how quantum cellular automata can perform quantum error correction remain open questions. We close this conceptual gap by proposing quantum cellular automata with quantum-error-correction capabilities. We design and investigate two (quasi)one dimensional quantum cellular automata based on known classical cellular-automata rules with density-classification capabilities, namely the local majority voting and the two-line voting. We investigate the performances of those quantum cellular automata as quantum-memory components by simulating the number of update steps required for the logical information they act upon to be afflicted by a logical bit flip. The proposed designs pave a way to further explore the potential of new types of quantum cellular automata with built-in quantum-error-correction capabilities.
Quantum cellular automata are alternative quantum-computing paradigms to quantum Turing machines and quantum circuits. Their working mechanisms are inherently automated, therefore measurement free, and they act in a translation invariant manner on all cells/qudits of a register, generating a global rule that updates cell states locally, i.e., based solely on the states of their neighbors. Although desirable features in many applications, it is generally not clear to which extent these fully automated discrete-time local updates can generate and sustain long-range order in the (noisy) systems they act upon. In special, whether and how quantum cellular automata can perform quantum error correction remain open questions. We close this conceptual gap by proposing quantum cellular automata with quantum-error-correction capabilities. We design and investigate two (quasi-)one dimensional quantum cellular automata based on known classical cellular-automata rules with density-classification capabilities, namely the local majority voting and the two-line voting. We investigate the performances of those quantum cellular automata as quantum-memory components by simulating the number of update steps required for the logical information they act upon to be afflicted by a logical bit flip. The proposed designs pave a way to further explore the potential of new types of quantum cellular automata with built-in quantum error correction capabilities.
The study of quantum memories out of thermal equilibrium is motivated both by the need for memories that withstand realistic noise in fault-tolerant quantum computers and by the fundamental question of when quantum memory can emerge in autonomous many-body systems. We establish a general equivalence between CSS-based quantum memories subject to Pauli noise and classical memories via two associated probabilistic processes. In the asynchronous setting, where the quantum dynamics is generated by a Lindbladian, we identify a broad class of syndrome-based Lindbladians for which the quantum memory problem is equivalent to memory in continuous-time classical Markov dynamics. In the synchronous setting, we introduce syndrome-based probabilistic cellular automata (SPCAs) and establish a one-to-one correspondence between their classical memories and CSS-based quantum memories under local quantum channels. This framework provides a systematic route for deriving and constructing quantum memories from classical probabilistic processes, and recovers known results, including the fact that the 4D toric code is a quantum memory in the presence of thermal noise.
As an application, we give the first rigorous proof that the 4D toric code with Toom's rule is a quantum memory in the presence of local Pauli noise, provided the error is below a constant threshold. We prove this both for the corresponding synchronous, PCA-type quantum dynamics and for a Floquet Lindbladian. More generally, we show that classical memory in an SPCA can be lifted to a quantum memory under Floquet Lindbladian dynamics; whether this can be done with a time-independent Lindbladian remains open. Our results provide a general framework for relating classical and quantum memory, shed light on the conditions for fully autonomous quantum memories, and may guide the construction of provable autonomous quantum memories in low dimensions.