Lifted surgery: Fast processing with QLDPC codes
- URL: http://arxiv.org/abs/2609.11723v1
- Date: Thu, 10 Sep 2026 15:40:45 GMT
- Title: Lifted surgery: Fast processing with QLDPC codes
- Abstract summary: We introduce lifted surgery, a technique for fast and parallel surgery on Abelian group algebra codes.<n>Lifted surgery preserves the symmetries of the underlying code, making searches for large instances tractable.<n>We present quantum radial codes with parameters $[90, 8, 10]]$ and $[198, 8, 16 ]]$ for which surgery is fast, parallel, and addressable.
- Score: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Quantum low-density parity-check (QLDPC) codes are a leading candidate for achieving low-overhead fault-tolerant quantum computing. However, the time overhead of logical operations in QLDPC codes remains a key challenge. Code surgery, a space-efficient technique for fault-tolerant logical measurements, incurs this overhead through repeated rounds of syndrome measurement. We introduce lifted surgery, a method for fast and parallel surgery on Abelian group algebra codes that maintains the low physical overhead that makes QLDPC codes attractive. Lifted surgery preserves the symmetries of the underlying code, making searches for large instances tractable and offering a natural route towards efficient hardware implementations. We utilise block decompositions and techniques from commutative algebra to characterise lifted surgery, investigate well-behaved subfamilies, and construct explicit examples. In particular, we present quantum radial codes with parameters $[[90, 8, 10]]$ and $[[198, 8, 16 ]]$ for which surgery is fast, parallel, and addressable, allowing arbitrary sets of independent logical operators of the same Pauli type to be measured in a single round of syndrome extraction. We benchmark lifted surgery under circuit-level depolarising noise and, for the $[[ 90, 8, 10 ]]$ code, find logical performance comparable to standard code surgery while requiring ten times fewer rounds of syndrome measurement. By combining speed and parallelism, lifted surgery offers a practical route towards low-overhead fault-tolerant quantum computing.
Related papers
- Surface code logical operations on a superconducting quantum processor [66.1042398805403]
We experimentally realize key elements of patch-based surface-code logical processing on a 107-qubit superconducting quantum processor.<n>Our results advance superconducting surface-code experiments from protected logical memory to active, patch-based fault-tolerant logical operations.
arXiv Detail & Related papers (2026-07-01T21:07:02Z) - From I/O to Code with Discovery Agent [103.88427301265669]
We propose DIO-Agent, a discovery agent for IO2Code.<n>Our method frames IO2Code as an evolutionary search over discrete program space.<n>Extensive experiments show that DIO-Agent consistently outperforms both traditional program-by-example method and SOTA evolution-agent baselines.
arXiv Detail & Related papers (2026-05-14T18:57:32Z) - Parsimonious Quantum Low-Density Parity-Check Code Surgery [38.902931077568795]
We introduce a method to construct an ancilla system of qubit size $O(W log W)$ to measure an arbitrary logical operator of weight.<n>This new construction immediately reduces the overhead across various quantum code surgery schemes.
arXiv Detail & Related papers (2026-03-05T11:52:57Z) - Constant-Time Surgery on 2D Hypergraph Product Codes with Near-Constant Space Overhead [1.7884907807711146]
Generalized code surgery is a versatile and low-overhead technique for performing fault-tolerant computation.<n>In this work, we construct surgery gadgets that perform parallel logical measurements on 2D hypergraph product codes in constant time overhead.
arXiv Detail & Related papers (2026-03-02T18:21:52Z) - Fast and fault-tolerant logical measurements: Auxiliary hypergraphs and transversal surgery [39.98920557126034]
Quantum code surgery is a promising technique to perform fault-tolerant computation on quantum low-density parity-check codes.<n>We present a general set of conditions that ensure fault-tolerant surgery operations can be performed with constant time overhead.<n>We further investigate surgery operations with intermediate time overhead, between $O(1)$ and $O(d)$, which apply to quantum locally testable codes.
arXiv Detail & Related papers (2025-10-16T17:12:36Z) - High-Rate Surgery: towards constant-overhead logical operations [3.085891666389647]
We introduce high-rate surgery, a general scheme that can perform extensive, addressable logical Pauli-product measurements in parallel on arbitrary qLDPC codes.<n>Our results address a major bottleneck for performing complex, addressable logical operations on qLDPC codes in practice, advancing the prospect of scalable, constant-overhead fault-tolerant quantum computation.
arXiv Detail & Related papers (2025-10-09T17:49:39Z) - Fast surgery for quantum LDPC codes [0.0]
We introduce a scheme for performing generalized surgery on quantum LDPC codes using a constant number of rounds of syndrome measurement.<n>Our results pave the way towards fault-tolerant quantum computing with LDPC codes with both low spatial and temporal overheads.
arXiv Detail & Related papers (2025-10-06T06:29:16Z) - Fast correlated decoding of transversal logical algorithms [67.01652927671279]
Quantum error correction (QEC) is required for large-scale computation, but incurs a significant resource overhead.<n>Recent advances have shown that by jointly decoding logical qubits in algorithms composed of logical gates, the number of syndrome extraction rounds can be reduced.<n>Here, we reform the problem of decoding circuits by directly decoding relevant logical operator products as they propagate through the circuit.
arXiv Detail & Related papers (2025-05-19T18:00:00Z) - Geometric structure and transversal logic of quantum Reed-Muller codes [51.11215560140181]
In this paper, we aim to characterize the gates of quantum Reed-Muller (RM) codes by exploiting the well-studied properties of their classical counterparts.
A set of stabilizer generators for a RM code can be described via $X$ and $Z$ operators acting on subcubes of particular dimensions.
arXiv Detail & Related papers (2024-10-10T04:07:24Z) - SSIP: automated surgery with quantum LDPC codes [55.2480439325792]
We present Safe Surgery by Identifying Pushouts (SSIP), an open-source lightweight Python package for automating surgery between qubit CSS codes.
Under the hood, it performs linear algebra over $mathbbF$ governed by universal constructions in the category of chain complexes.
We show that various logical measurements can be performed cheaply by surgery without sacrificing the high code distance.
arXiv Detail & Related papers (2024-07-12T16:50:01Z) - A High Performance Compiler for Very Large Scale Surface Code Computations [38.26470870650882]
We present the first high performance compiler for very large scale quantum error correction.
It translates an arbitrary quantum circuit to surface code operations based on lattice surgery.
The compiler can process millions of gates using a streaming pipeline at a speed geared towards real-time operation of a physical device.
arXiv Detail & Related papers (2023-02-05T19:06:49Z) - Finding the disjointness of stabilizer codes is NP-complete [77.34726150561087]
We show that the problem of calculating the $c-disjointness, or even approximating it to within a constant multiplicative factor, is NP-complete.
We provide bounds on the disjointness for various code families, including the CSS codes,$d codes and hypergraph codes.
Our results indicate that finding fault-tolerant logical gates for generic quantum error-correcting codes is a computationally challenging task.
arXiv Detail & Related papers (2021-08-10T15:00:20Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.