Theory of (Co)homological Invariants on Quantum LDPC Codes

• URL: http://arxiv.org/abs/2603.25831v1
• Date: Thu, 26 Mar 2026 18:50:36 GMT
• Title: Theory of (Co)homological Invariants on Quantum LDPC Codes
• Abstract summary: We study (co)homological invariants of quantum code complexes, which fundamentally underlie their logical operations.<n>We generalize the notion of canonical logical representatives from HGP codes to the sheaf code setting.<n>We present the first comprehensive computation of cup products within the intricate framework of sheaf codes.
• Score: 10.357450788005307
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: With recent breakthroughs in the construction of good qLDPC codes and nearly good qLTCs, the study of (co)homological invariants of quantum code complexes, which fundamentally underlie their logical operations, has become evidently important. In this work, we establish a systematic framework for mathematically analyzing these invariants across a broad spectrum of constructions, from HGP codes to sheaf codes, by synthesizing advanced math tools. We generalize the notion of canonical logical representatives from HGP codes to the sheaf code setting, resolving a long-standing challenge in explicitly characterizing sheaf codewords. Building on this foundation, we present the first comprehensive computation of cup products within the intricate framework of sheaf codes. Given Artin's primitive root conjecture which holds under the generalized Riemann hypothesis, we prove that $\tildeΘ(N)$ independent cup products can be supported on almost good qLDPC codes and qLTCs of length N, opening the possibility of achieving linearly many parallel, nontrivial, constant-depth multi-controlled-Z gates. Moreover, by interpreting sheaf codes as covering spaces of HGP codes via graph lifts, we propose a scheme that inductively generates families of both HGP and sheaf codes in an interlaced fashion from a constant-size HGP code. Notably, the induction preserves all (co)homological invariants of the initial code. This provides a general framework for lifting invariants or logical gates from small codes to infinite code families, and enables efficient verification of such features by checking on small instances. Our theory provides a substantive methodology for studying invariants in HGP codes and extends it to sheaf codes. In doing so, we reveal deep and unexpected connections between qLDPC codes and math, thereby laying the groundwork for future advances in quantum coding, fault tolerance, and physics.

Related papers

• Quantum low-density lattice codes [0.0]
  Gottesman-Kitaev-Preskill (GKP) codes provide a family of promising schemes for encoding discrete quantum information (qudits) into infinite-dimensional bosonic modes based on mathematical lattices.<n>This paper presents a strategy of co-designing the decoder and the quantum error-correcting code itself by constructing lattices for which decoding is feasible.<n>The relevant source code will be released in open-source Julia packages LatticeDecoder.jl and SymplecticGKP.jl.
  arXiv  Detail & Related papers  (2026-09-02T18:00:19Z)
• Quantum bootstrap product codes [8.649956206461296]
  Product constructions constitute a powerful method for generating quantum CSS codes.<n>We introduce the textitquantum bootstrap productfork (QBP)<n>We show that QBP can generate self-correcting quantum codes from input codes with constant energy barriers.
  arXiv  Detail & Related papers  (2026-01-29T22:16:31Z)
• Poincaré Duality and Multiplicative Structures on Quantum Codes [11.11194917284133]
  We build circuits composed of $mathrmCmathrmCZ$ gates as well as for higher order controlled-$Z$ gates.<n>We conjecture that they generate nontrivial logical actions, pointing towards fault-tolerant non-Clifford gates on nearly optimal qLDPC sheaf codes.
  arXiv  Detail & Related papers  (2025-12-26T08:38:08Z)
• Qudit low-density parity-check codes [0.4053073794503683]
  We introduce a general framework for finding qudit LDPC codes and apply our formalism to several promising types of LDPC codes.<n>We then numerically search for and decode several novel qudit codes compatible with near-term hardware.
  arXiv  Detail & Related papers  (2025-10-07T22:25:28Z)
• List Decodable Quantum LDPC Codes [49.2205789216734]
  We give a construction of Quantum Low-Density Parity Check (QLDPC) codes with near-optimal rate-distance tradeoff. We get efficiently list decodable QLDPC codes with unique decoders.
  arXiv  Detail & Related papers  (2024-11-06T23:08:55Z)
• Factor Graph Optimization of Error-Correcting Codes for Belief Propagation Decoding [62.25533750469467]
  Low-Density Parity-Check (LDPC) codes possess several advantages over other families of codes. The proposed approach is shown to outperform the decoding performance of existing popular codes by orders of magnitude.
  arXiv  Detail & Related papers  (2024-06-09T12:08:56Z)
• The Physics of (good) LDPC Codes I. Gauging and dualities [0.03922370499388702]
  Low-depth parity check (LDPC) codes are a paradigm of error correction that allow for spatially non-local interactions between (qu)bits. These codes can give rise to good codes'' that combine a finite encoding rate with an optimal scaling of the code distance. We show that all known examples of good quantum LDPC codes are obtained by gauging locally testable classical codes.
  arXiv  Detail & Related papers  (2023-10-24T17:47:06Z)
• Homological Quantum Rotor Codes: Logical Qubits from Torsion [47.52324012811181]
  homological quantum rotor codes allow one to encode both logical rotors and logical qudits in the same block of code.<n>We show that the $0$-$pi$-qubit as well as Kitaev's current-mirror qubit are indeed small examples of such codes.
  arXiv  Detail & Related papers  (2023-03-24T00:29:15Z)
• Neural Belief Propagation Decoding of Quantum LDPC Codes Using Overcomplete Check Matrices [60.02503434201552]
  We propose to decode QLDPC codes based on a check matrix with redundant rows, generated from linear combinations of the rows in the original check matrix. This approach yields a significant improvement in decoding performance with the additional advantage of very low decoding latency.
  arXiv  Detail & Related papers  (2022-12-20T13:41:27Z)
• Logical blocks for fault-tolerant topological quantum computation [55.41644538483948]
  We present a framework for universal fault-tolerant logic motivated by the need for platform-independent logical gate definitions. We explore novel schemes for universal logic that improve resource overheads. Motivated by the favorable logical error rates for boundaryless computation, we introduce a novel computational scheme.
  arXiv  Detail & Related papers  (2021-12-22T19:00:03Z)
• 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.