Engineering 3D Floquet codes by rewinding

Abstract

Floquet codes are a novel class of quantum error-correcting codes with dynamically generated logical qubits arising from a periodic schedule of non-commuting measurements. We utilize the interpretation of measurements in terms of condensation of topological excitations and the rewinding of measurement sequences to engineer new examples of Floquet codes. In particular, rewinding is advantageous for obtaining a desired set of instantaneous stabilizer groups on both toric and planar layouts. Our first example is a Floquet code with instantaneous stabilizer codes that have the same topological order as 3D toric code(s). This Floquet code also exhibits a splitting of the topological order of the 3D toric code under the associated sequence of measurements, i.e., an instantaneous stabilizer group of a single copy of 3D toric code in one round transforms into an instantaneous stabilizer group of two copies of 3D toric codes up to nonlocal stabilizers in the following round. We further construct boundaries for this 3D code and argue that stacking it with two copies of 3D subsystem toric code allows for a transversal implementation of the logical non-Clifford $CCZ$ gate. We also show that the coupled-layer construction of the X-cube Floquet code can be modified by a rewinding schedule such that each of the instantaneous stabilizer codes is finite-depth-equivalent to the X-cube model up to toric codes; the X-cube Floquet code exhibits a splitting of the X-cube model into a copy of the X-cube model and toric codes under the measurement sequence. Our final 3D example is a generalization of the 2D Floquet toric code on the honeycomb lattice to 3D, which has instantaneous stabilizer codes with the same topological order as the 3D fermionic toric code.

22+7 pages, 28 figures, Mathematica files are available at https://github.com/dua-arpit/floquetcodes , v2 changes: added more details on the rewinding X-cube Floquet code and made minor updates in color code figures in the appendix, v3 changes: minor typos corrected, v4 changes: PRX Quantum version

References in corpus (3)

• Dynamically Generated Logical Qubits
• Universal transversal gates with color codes - a simplified approach
• Floquetifying the Colour Code

Cited by in corpus (21)

• Constructions and performance of hyperbolic and semi-hyperbolic Floquet codes
• Quantum computation from dynamic automorphism codes
• Classifying One-Dimensional Quantum States Prepared by a Single Round of Measurements
• Fault-tolerant quantum architectures based on erasure qubits
• Extracting topological orders of generalized Pauli stabilizer codes in two dimensions
• Dynamical Logical Qubits in the Bacon-Shor Code
• XYZ ruby code: Making a case for a three-colored graphical calculus for quantum error correction in spacetime
• Entanglement dynamics in monitored Kitaev circuits: loop models, symmetry classification, and quantum Lifshitz scaling
• Accommodating Fabrication Defects on Floquet Codes with Minimal Hardware Requirements
• Low-overhead non-Clifford fault-tolerant circuits for all non-chiral abelian topological phases
• Subsystem CSS codes, a tighter stabilizer-to-CSS mapping, and Goursat's Lemma
• Tailoring Dynamical Codes for Biased Noise: The X${}^3$Z${}^3$ Floquet Code
• Contextuality of Quantum Error-Correcting Codes
• Multiqubit Rydberg Gates for Quantum Error Correction
• Competing automorphisms and disordered Floquet codes
• Topological stabilizer models on continuous variables
• Subsystem many-hypercube codes: High-rate concatenated codes with low-weight syndrome measurements
• Logical operations with a dynamical qubit in Floquet-Bacon-Shor code
• Phases of Floquet code under local decoherence
• A dynamic circuit for the honeycomb Floquet code
• Non-Commutative weak measurements: Entanglement, Symmetry Breaking, and the Role of Readout