Compare Papers

Paper 1

Non-Clifford and Parallelizable Fault-Tolerant Logical Gates on Constant and Almost-Constant Rate Homological Quantum Low-Density Parity-Check Codes via Higher Symmetries

Guanyu Zhu, Shehryar Sikander, Elia Portnoy, Andrew W. Cross, Benjamin J. Brown

Year: 2025
Journal: PRX Quantum
DOI: 10.1103/wcxs-w69t
arXiv: -

We study parallel fault-tolerant quantum computing for families of homological quantum low-density parity-check (LDPC) codes defined on 3-manifolds with constant or almost-constant encoding rate. We derive a generic formula for a transversal T gate on color codes defined on general 3-manifolds, which acts as collective non-Clifford logical ccz gates on any triplet of logical qubits with their logical-X membranes having a Z_{2} triple intersection at a single point. The triple-intersection number is a topological invariant, which also arises in the path integral of the emergent higher symmetry operator in a topological quantum field theory (TQFT): the Z_{2}^{3} gauge theory. Moreover, the transversal S gate of the color code corresponds to a higher-form symmetry in TQFT supported on a codimension-1 submanifold, giving rise to exponentially many addressable and parallelizable logical cz gates. A construction of constant-depth circuits of the above logical gates via cup-product cohomology operation is also presented for three copies of identical toric codes on arbitrary 3-manifolds. We have developed a generic formalism to compute the triple-intersection invariants for 3-manifolds, with the structure encoded into an interaction hypergraph which determines the logical gate property and also corresponds to the hypergraph magic state that can be injected into the code without distillation (“magic-state fountain”). We also study the scaling of the Betti number and systoles with volume for various 3-manifolds, which translates to the encoding rate and distance. We further develop three types of LDPC codes supporting such logical gates: (1) A quasi-hyperbolic code from the product of 2D hyperbolic surface and a circle, with almost-constant rate k/n=O(1/log⁡(n)) and O(log⁡(n)) distance; (2) A homological fiber-bundle code from twisting the product by an isometry of the surface based on the construction by Freedman-Meyer-Luo, with O(1/log^{1/2}⁡(n)) rate and O(log^{1/2}⁡(n)) distance; (3) A specific family of 3D hyperbolic codes: the Torelli mapping-torus code, constructed from mapping tori of a pseudo-Anosov element in the Torelli subgroup, which has constant rate while the distance scaling is currently unknown. We then show a generic constant-overhead scheme for applying a parallelizable universal gate set with the aid of logical-X measurements.

Open paper

Paper 2

Majorana-XYZ subsystem code

Tobias Busse, Lauri Toikka

Year: 2026
Journal: arXiv preprint
DOI: arXiv:2603.26311
arXiv: 2603.26311

We present a new type of a quantum error correction code, termed Majorana-XYZ code, where the logical quantum information scales macroscopically yet is protected by topologically non-trivial degrees of freedom. It is a $[n,k,g,d]$ subsystem code with $n=L^2$ physical qubits, $k= \lfloor L/2 \rfloor$ logical qubits, $g \sim L^2$ gauge qubits, and distance $d = L$. The physical check operations, i.e. the measurements needed to obtain the error syndrome, are $3$-local and nearest-neighbour. The code detects every 1- and 2-qubit error, and every error of weight 3 and higher (constrained by the distance) that is not a product of the 3-qubit check operations, however, these products act only on the gauge qubits leaving the code space invariant. The undetected weight-3 and higher operators are confined to the gauge group and do not affect logical information. While the code does not have local stabiliser generators, the logical qubits cannot be modified locally by an undetectable error, and in this sense the Majorana-XYZ code combines notions of both topological and local gauge codes while providing a macroscopic number of topological logical qubits. Taken as a non-gauge stabiliser code we can encode $k \sim L^2 - 3L$ logical qubits into $L^2$ physical qubits; however, the check operators then become weight $2L$. The code is derived from an experimentally promising system of Majorana fermions on the honeycomb lattice with only nearest-neighbour interactions.

Open paper