Skip to content
#edge computing Preprint

Disassembling qLDPC codes for depth-optimal parity-check circuits

Aug 2026 · 1 citation · ⚡ 1 influential · 39 references
Physics

TL;DR

It is shown that edge symmetries can be exploited to design syndrome-extraction circuits from the underlying components, rather than from the full quantum code, to produce depth-optimal circuits from the underlying components.

Abstract

Quantum low-density parity-check (qLDPC) codes offer a promising route to scalable fault-tolerant quantum computing, but their practical implementation requires efficient circuits for syndrome extraction. Many qLDPC families are assembled from a small set of components through explicit operations that imprint edge symmetries on their Tanner graphs. We show that disassembling the code by quotienting its symmetries one at a time, reduces parity-check circuit design to a much smaller problem acting only on the underlying components. Solutions to the reduced problem can then be lifted to the full code, yielding circuit constructions that apply to entire families of codes built from the same components. For lifted-product codes, our approach provides an optimal analytical construction for parity-check circuits achieving the lower bound on CNOT depth. We obtain analogous constructions for balanced-product codes and quantum--classical homological product codes. For quantum Tanner codes, the reduced problem is small enough to solve numerically, reaching the CNOT-depth lower bound for nearly all instance tested, including codes with up to 576 data qubits.

View source

Similar papers

Preprint Sep 2026

High-Rate Quasi-Dyadic Quantum LDPC Codes

This work proposes a novel design of high-rate Calderbank--Shor--Steane (CSS) quantum low-density parity-check (QLDPC) codes based on quasi-dyadic matrices based on quasi-dyadic matrices.

Alessio Baldelli, Si-Si Miao, Laurent Schmalen et al. · 0 citations
Preprint Sep 2026

Quantum Matrix-Product Codes: CSS-T Characterization and Maximality

This work provides an explicit characterization in terms of the defining cyclotomic sets, which extends existing results for cyclic codes and allows the construction of new and longer CSS-T codes.

Delio Jaramillo-Velez, Alessandro Neri, Adway Patra et al. · 2 citations
Preprint Sep 2026

Lifted surgery: Fast processing with QLDPC codes

This work introduces 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 and offers a practical route towards low-overhead fault-tolerant quantum computing.

Lucas Berent, Lawrence Z. Cohen, A. O. Quintavalle · 4 citations
Preprint Aug 2026

Quantum error correction at ultra-low overhead

Inspired by recent affine-permutation-based code constructions and the long-range connectivity available in reconfigurable neutral-atom arrays, Cornucopia codes are introduced, a family of practical, hardware-efficient quantum low-density parity-check codes that achieve an ultra-high encoding rate exceeding $1/2 while...

Zhi-De Lu, Weikang Li, Dong-Ling Deng · 1 citation · ⚡1
Preprint Sep 2026

Learning unknown stabilizer codes using product measurements

An algorithm that uses random single-qubit measurements to learn the stabilizer generators of any stabilizer code from $N$ copies of stabilizer states in its codespace, requiring no prior knowledge of the code's structure is presented.

Heather Leitch, Sri.S.Tirukkovalluri, Ying-Kai Ouyang · 2 citations
Preprint Aug 2026

Certified decoding of quantum LDPC codes

This work treats degenerate decoding as probabilistic inference in an undirected graphical model: the probability of each logical class is the partition function of an unconstrained, strictly positive Markov random field over the code's check variables, a construction that generalizes the random-bond Ising mapping of t...

R. Krishnamoorthy, Florian Gerhardt, Johannes Knaute et al. · 2 citations · ⚡1

Related blog posts

Microsoft Research Blog Oct 21, 2026

Solving a 31-year-old grand challenge in mathematics – the KLS conjecture

For decades, a fundamental question about the difficulty of computing in high-dimensional spaces has resisted proof. New research resolves this question, removing a major theoretical obstacle to understanding the efficiency of randomized algorithms used across science and computing. The Kannan–Lovász–Simonovits (KLS) conjecture was proposed in 1995. It asks whether, for a broad class of high-dimensional […] The post Solving a 31-year-old grand challenge in mathematics – the KLS conjecture appear…

MIT News · Artificial Intelligence Oct 15, 2026

AI model decodes the language cells use to communicate

A new computational approach reveals how cells communicate to assemble into tissues. This could accelerate stem cell engineering, improve disease models, and inform therapies.

Microsoft Research Blog Oct 15, 2026

Proof-based general-purpose computing with Magnetar

Zero-knowledge proofs can verify computing results without rerunning workloads or exposing sensitive data. Magnetar helps bring them into the mainstream with support for standard programming languages, major speed gains, and quantum-resistant security. The post Proof-based general-purpose computing with Magnetar appeared first on Microsoft Research.

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.