Error Correction

Abstract: The preparation of high-fidelity non-Clifford (magic) states is an essential subroutine for universal quantum computation, but imposes substantial space-time overhead. Magic state factories based on high rate and distance quantum low-density parity check (LDPC) codes equipped with transversal non-Clifford gates can potentially reduce these overheads significantly, by circumventing the need for multiple rounds of distillation and by producing a large number of magic states in a single code-block. As a step towards realizing efficient, fault-tolerant magic state production, we introduce a class of finite block-length quantum LDPC codes which we name tricycle codes, generalizing the well-known bicycle codes to three homological dimensions. These codes can support constant-depth physical circuits that implement logical $CCZ$ gates between three code blocks. To construct these constant-depth $CCZ$ circuits, we develop new analytical and numerical techniques that apply to a broad class of three-dimensional homological and balanced product codes. We further show that tricycle codes enable single-shot state-preparation and error correction, leading to a highly efficient magic-state generation protocol. Numerical simulations of specific codes confirm robust performance under circuit-level noise, demonstrating a high circuit-noise threshold of $>0.5\%$. With modest post-selection, certain tricycle codes of block-lengths of only $50-100$ qubits are shown to achieve logical error-rates of $6\times 10^{-10}$ or lower. Finally, we construct optimal depth syndrome extraction circuits for tricycle codes and present a protocol for implementing them efficiently on a reconfigurable neutral atom platform.

Abstract: We introduce transversal dimension jump, a code-switching protocol for lifted product (LP) quantum low-density parity-check (qLDPC) codes across different chain-complex dimensions, enabling universal fault-tolerant quantum computation with low overhead. The construction leverages the product structure of LP codes to implement one-way transversal CNOTs between a 3D code and its 2D component codes, enabling teleportation-based switching with geometrically nonlocal gates. Combined with constant-depth CCZ gates in 3D LP codes and low-overhead transversal Clifford gates in 2D LP codes, this yields universal, high-rate quantum logical computation with high thresholds and low space-time costs. Beyond asymptotic schemes, we identify explicit 3D–2D LP code pairs supporting cup-product CCZ gates, including bivariate tricycle–bicycle families such as the [[81, 3, 5]]–[[54, 2, 6]] pair, where the 3D tricycle codes admit depth-2 CCZ, weight-6 stabilizers, and pseudo-thresholds >~0.4%. As a byproduct, we show that the 3D codes enable highly efficient magic-state preparation: a single round of stabilizer measurements followed by depth-2 CCZ and postselection produces states with error <10^{-9} and success probability ~35%. Our results establish a native integration of qLDPC codes with complementary transversal gates—covering nearly all practically relevant families known so far—and open a broad design space for scalable, low-overhead universal quantum computation.

Abstract: We develop a topological theory for fault-tolerant quantum computation in quantum low-density parity-check (qLDPC) codes. We show that there exist hidden simplicial or CW complex structures encoding the topological data for all qLDPC and CSS codes obtained from product construction by generalizing the Freedman-Hastings code-to-manifold mapping. This is achieved by building manifolds from the Tanner graphs of the skeleton classical or quantum codes, which further form a product manifold and an associated thickened product code defined on its triangulation. One can further deformation retract the manifold back to a CW complex which supports a non-topological code with minimal overhead suitable for near-term implementation. Both types of codes admit cohomology operations including cup product which can induce non-Clifford gates. When applying this mapping to a 3D hypergraph product code obtained from the product of 3 copies of good classical expander codes, we obtain non-Clifford logical CCZ gates via constant depth circuits on a code with constant stabilizer weight $w=O(1)$, constant rate $K=\Theta(N)$, and polynomial distance $D=\Omega(N^{1/3})$. When applied to logical CCZ on 3D homological product codes consisting of the product of a pair of good quantum and classical LDPC codes, we can further improve the distance to $D=\Omega(\sqrt{N})$ exceeding the $N^{1/3}$ distance barrier implied by the Bravyi-König bound for conventional topological codes with the aid of non-Euclidean geometries. Our work suggests that it is feasible to apply native logical non-Clifford gates on qLDPC codes or directly inject high-fidelity magic states as resources (`magic state fountain') without the distillation process. For the homological product construction, the fountain can inject $\Theta(\sqrt{N})$ magic states in parallel in a single round.

Abstract: Quantum low-density parity-check (qLDPC) codes are a class of quantum error-correction (QEC) codes with low-weight parity-checks that each require only a few two-qubit gates to implement. In recent years, qLDPC codes have gained popularity, as concrete code constructions have been found that outperform the surface code, and correspondingly performant practical decoders have been built. An outstanding challenge, however, remains that their Tanner graphs are not 2D-local thereby necessitating entangling gates to operate on distant qubits on a 2D device. Trapped-ion and neutral-atom qubits possess the ability to move qubits around when necessary – i.e. “flying qubits” – obviating the need for long-range gates. Here we report on an explicit layout that leverages flying qubits, that is very low-overhead for many families of cyclic codes (including the most promising qLDPC instances found to-date). Crucially, our layout eschews more complicated qubit permutations, and instead favours the cyclic shift a simple re-ordering of qubits along a loop that can be realized in depth 1 even on current generation devices. This contrasts significantly with layouts on fixed qubits that depend on a large number of long-range (and more error-prone) hardware couplers for long-distance gates. We also report on two competitive new sets of cyclic qLDPC codes that we constructed. The first is a set of Bivariate-Bicycle (BB) codes with lower weight parity-checks and higher minimum distance while maintaining the same length and encoding rate as comparable BB codes in. Second, we also constructed new Hypergraph Product (HGP) codes, that significantly outperform previously state-of-the-art HGP instances that were optimized by machine-learning methods. Both sets of new codes are efficiently implementable with our cyclic layout with syndrome circuits of fixed depth, made up of alternating layers of parallel gates and only a very small number of cyclic shifts. Combining competitive new qLDPC codes alongside a simple layout implementable on existing hardware, our work suggest a concrete and practical path towards a fault-tolerant quantum computer.