Analyzing and developing new quantum error-correcting (QEC) schemes is one of the most prominent tasks in quantum computing research. In such efforts, introducing time dynamics explicitly in both analysis and design of error-correcting protocols constitutes an important cornerstone. In this work, we present a graphical formalism based on tensor networks to capture the logical action and error-correcting capabilities of any Clifford circuit with Pauli measurements. We showcase the functioning of the formalism on new Floquet codes derived from topological subsystem codes, which we call XYZ . Based on the projective symmetries of the building blocks of the tensor network we develop a framework of . Pauli flows allow for a graphical understanding of all quantities entering an error-correction analysis of a circuit, including different types of QEC experiments, such as memory and stability experiments. We lay out how to derive a well-defined decoding problem from the tensor-network representation of a protocol and its Pauli flows alone, independent of any stabilizer code or fixed circuit. Importantly, this framework applies to all Clifford protocols and encompasses both measurement-based and circuit-based approaches to fault tolerance. We apply our method to our new family of dynamical codes, which are in the same topological phase as the 2 + 1 -dimensional color code, making them a promising candidate for low-overhead logical gates. In contrast to its static counterpart, the dynamical protocol applies a Z 3 automorphism to the logical Pauli group every three time steps. We highlight some of its topological properties and comment on the anyon physics behind a planar layout. Lastly, we benchmark the performance of the XYZ ruby code on a torus by performing both memory and stability experiments and find competitive circuit-level noise thresholds of approximately equal to 0.18 % , comparable with other Floquet codes and 2 + 1 -dimensional color codes.
Analyzing and developing new quantum error-correcting (QEC) schemes is one of the most prominent tasks in quantum computing research. In such efforts, introducing time dynamics explicitly in both analysis and design of error-correcting protocols constitutes an important cornerstone. In this work, we present a graphical formalism based on tensor networks to capture the logical action and error-correcting capabilities of any Clifford circuit with Pauli measurements. We showcase the functioning of the formalism on new Floquet codes derived from topological subsystem codes, which we call XYZ . Based on the projective symmetries of the building blocks of the tensor network we develop a framework of . Pauli flows allow for a graphical understanding of all quantities entering an error-correction analysis of a circuit, including different types of QEC experiments, such as memory and stability experiments. We lay out how to derive a well-defined decoding problem from the tensor-network representation of a protocol and its Pauli flows alone, independent of any stabilizer code or fixed circuit. Importantly, this framework applies to all Clifford protocols and encompasses both measurement-based and circuit-based approaches to fault tolerance. We apply our method to our new family of dynamical codes, which are in the same topological phase as the 2 + 1 -dimensional color code, making them a promising candidate for low-overhead logical gates. In contrast to its static counterpart, the dynamical protocol applies a Z 3 automorphism to the logical Pauli group every three time steps. We highlight some of its topological properties and comment on the anyon physics behind a planar layout. Lastly, we benchmark the performance of the XYZ ruby code on a torus by performing both memory and stability experiments and find competitive circuit-level noise thresholds of approximately equal to 0.18 % , comparable with other Floquet codes and 2 + 1 -dimensional color codes.
Analyzing and developing new quantum error-correcting (QEC) schemes is one of the most prominent tasks in quantum computing research.In such efforts, introducing time dynamics explicitly in both analysis and design of error-correcting protocols constitutes an important cornerstone.In this work, we present a graphical formalism based on tensor networks to capture the logical action and error-correcting capabilities of any Clifford circuit with Pauli measurements.We showcase the functioning of the formalism on new Floquet codes derived from topological subsystem codes, which we call XYZ ruby codes.Based on the projective symmetries of the building blocks of the tensor network we develop a framework of Pauli flows.Pauli flows allow for a graphical understanding of all quantities entering an error-correction analysis of a circuit, including different types of QEC experiments, such as memory and stability experiments.We lay out how to derive a well-defined decoding problem from the tensor-network representation of a protocol and its Pauli flows alone, independent of any stabilizer code or fixed circuit.Importantly, this framework applies to all Clifford protocols and encompasses both measurement-based and circuit-based approaches to fault tolerance.We apply our method to our new family of dynamical codes, which are in the same topological phase as the 2 + 1-dimensional color code, making them a promising candidate for low-overhead logical gates.In contrast to its static counterpart, the dynamical protocol applies a Z 3 automorphism to the logical Pauli group every three time steps.We highlight some of its topological properties and comment on the anyon physics behind a planar layout.Lastly, we benchmark the performance of the XYZ ruby code on a torus by performing both memory and stability experiments and find competitive circuit-level noise thresholds of approximately equal to 0.18%, comparable with other Floquet codes and 2 + 1-dimensional color codes.
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.
Recent advances in quantum error-correction (QEC) have shown that it is often beneficial to understand fault-tolerance as a dynamical process, a circuit with redundant measurements that help correct errors, rather than as a static code equipped with a syndrome extraction circuit. Spacetime codes have emerged as a natural framework to understand error correction at the circuit level while leveraging the traditional QEC toolbox. Here, we introduce a framework based on chain complexes and chain maps to model spacetime codes and transformations between them. We show that stabilizer codes, quantum circuits, and decoding problems can all be described using chain complexes, and that the equivalence of two spacetime codes can be characterized by specific maps between chain complexes, the fault-tolerant maps, that preserve the number of encoded qubits, fault distance, and minimum-weight decoding problem. As an application of this framework, we extend the foliated cluster state construction from stabilizer codes to any spacetime code, showing that any Clifford circuit can be transformed into a measurement-based protocol with the same fault-tolerant properties. To this protocol, we associate a chain complex which encodes the underlying decoding problem, generalizing previous cluster state complex constructions. Our method enables the construction of cluster states from non-CSS, subsystem, and Floquet codes, as well as from logical Clifford operations on a given code.
Floquet quantum error-correcting codes provide an operationally economical route to fault tolerance by dynamically generating stabilizer structures using only two-body Pauli measurements. But while it is well established that stabilizer codes in higher spatial dimensions gain additional levels of intrinsic robustness, higher-dimensional Floquet codes have hitherto been explored only in limited scope. Here we introduce a 3d generalization of a Floquet code whose instantaneous stabilizer group realizes a 3d fermionic toric code, while crucially preserving all three logical qubits throughout the entire measurement sequence. One central ingredient is the identification of a 3d lattice geometry that generalizes the features of the Kekulé lattice underlying the 2d Hastings-Haah code - specifically, a structure where deleting any one edge color yields a two-color subgraph that decomposes into short, closed loops rather than homologically nontrivial chains. This loop property avoids the collapse of logical information that plagues naive sequential two-color measurement schedules on many 3d lattices. Although, for our lattice geometry, a simple 3-round cycle that sequentially measures the three types of parity checks does not expose the full error syndrome set, we show that one can append a measurement sequence to extract the missing syndromes without disturbing the logical subspace. Beyond code design, 3d tricoordinated lattice geometries define a family of 3d monitored Kitaev models, in which random measurements of the non-commuting parity checks give rise to dynamically created entangled phases with nontrivial topology. In discussing the general structure of their underlying phase diagrams and, in particular, the existence of certain quantum critical points, we again make a connection to the general preservation of logical information in time-ordered Floquet protocols.
Quantum error correction (QEC) protects quantum systems against inevitable noises and control inaccuracies, providing a pathway toward fault-tolerant (FT) quantum computation. Stabilizer codes, including surface code and color code, have long been the focus of research and have seen significant experimental progress in recent years. Recently proposed time-dynamical QEC, including Floquet codes and generalized time-dynamical code implementations, opens up new opportunities for FT quantum computation. By employing a periodic schedule of low-weight parity checks, Floquet codes can generate additional dynamical logical qubits, offering enhanced error correction capabilities and, potentially, higher code performance. Here, we experimentally implement the Floquet-Bacon-Shor code on a superconducting quantum processor. We encode a dynamical logical qubit within a 3×3 lattice of data qubits alongside a conventional static logical qubit. We demonstrate FT encoding and measurement of the two-qubit logical states and stabilize these states using repeated error detection. We showcase universal single-qubit logical gates on the dynamical qubit. Furthermore, by implementing a logical controlled-not (cnot) gate, we entangle the dynamical and static logical qubits, generating an error-detected logical Bell state with a fidelity of 75.9%. Our results highlight the potential of Floquet codes for resource-efficient FT quantum computation.
Quantum error correction protocols protect against local errors by storing logical information non-locally. This poses a challenge: how to design efficient logical gates on the non-local ``hidden'' logical information, and how to implement these gates using the local physical operations. We develop a general description of planar Pauli stabilizer codes and protocols for logical operations in terms of point-like particles called Majorana fermions. Information is stored in the pairwise fermion parities of spatially separated Majorana fermions. The description in terms of Majorana fermions captures not only large distance asymptotics, but also all scales down to the lattice constants. We exploit this locality to densely pack logical information in spacetime. The simplest application is to a static case: dense memory. More importantly, we implement fault-tolerant Majorana motion and leverage this primitive to design braiding-based logical gates. This approach reduces space overhead of logical operations resulting in an improved logical error rate given fixed number of physical qubits. We illustrate a practical use of our approach by designing and benchmarking of 2-qubit Clifford gates. We find numerically that our protocol outperforms lattice surgery in this setting for near-term error rates and realistic device constraints. More generally, introduction of compact motion of Majorana fermions as an efficient computational primitive opens a promising new route for the design of low overhead error correction protocols.