-
Tile Codes: High-Efficiency Quantum Codes on a Lattice with Boundary
Authors:
Vincent Steffan,
Shin Ho Choe,
Nikolas P. Breuckmann,
Francisco Revson Fernandes Pereira,
Jens Niklas Eberhardt
Abstract:
We introduce tile codes, a simple yet powerful way of constructing quantum codes that are local on a planar 2D-lattice. Tile codes generalize the usual surface code by allowing for a bit more flexibility in terms of locality and stabilizer weight. Our construction does not compromise on the fact that the codes are local on a lattice with open boundary conditions. Despite its simplicity, we use our…
▽ More
We introduce tile codes, a simple yet powerful way of constructing quantum codes that are local on a planar 2D-lattice. Tile codes generalize the usual surface code by allowing for a bit more flexibility in terms of locality and stabilizer weight. Our construction does not compromise on the fact that the codes are local on a lattice with open boundary conditions. Despite its simplicity, we use our construction to find codes with parameters $[[288, 8, 12]]$ using weight-6 stabilizers and $[[288, 8, 14]]$ using weight-8 stabilizers, outperforming all previously known constructions in this direction. Allowing for a slightly higher non-locality, we find a $[[512, 18, 19]]$ code using weight-8 stabilizers, which outperforms the rotated surface code by a factor of more than 12. Our approach provides a unified framework for understanding the structure of codes that are local on a 2D planar lattice and offers a systematic way to explore the space of possible code parameters. In particular, due to its simplicity, the construction naturally accommodates various types of boundary conditions and stabilizer configurations, making it a versatile tool for quantum error correction code design.
△ Less
Submitted 12 April, 2025;
originally announced April 2025.
-
Planar quantum low-density parity-check codes with open boundaries
Authors:
Zijian Liang,
Jens Niklas Eberhardt,
Yu-An Chen
Abstract:
We construct high-performance planar quantum low-density parity-check (qLDPC) codes with open boundaries, demonstrating substantially improved resource efficiency compared to the surface code. We present planar code families with logical dimensions ranging from $k=6$ to $k=13$ (e.g., $[[78, 6, 6]]$, $[[107, 7, 7]]$, $[[173, 8, 9]]$, $[[268, 8, 12]]$, $[[405, 9, 15]]$, $[[348, 10, 13]]$,…
▽ More
We construct high-performance planar quantum low-density parity-check (qLDPC) codes with open boundaries, demonstrating substantially improved resource efficiency compared to the surface code. We present planar code families with logical dimensions ranging from $k=6$ to $k=13$ (e.g., $[[78, 6, 6]]$, $[[107, 7, 7]]$, $[[173, 8, 9]]$, $[[268, 8, 12]]$, $[[405, 9, 15]]$, $[[348, 10, 13]]$, $[[450, 11, 15]]$, $[[386, 12, 12]]$, $[[362, 13, 11]]$), all using local stabilizers of weight 6 or lower. These codes achieve an efficiency metric ($kd^2/n$) that is an order of magnitude greater than that of the surface code. They can be interpreted as planar bivariate bicycle codes, adapted from the original design based on a torus that is challenging to implement physically. Our construction method, which combines boundary anyon condensation with a novel ``lattice grafting'' optimization, circumvents this difficulty and produces codes featuring only local low-weight stabilizers suitable for 2D planar hardware architectures. Furthermore, we observe fractal logical operators in the form of Sierpinski triangles, with the code distances scaling proportionally to the area of the truncated fractal in finite systems. We anticipate that our codes and construction methods offer a promising pathway toward realizing near-term fault-tolerant quantum computers.
△ Less
Submitted 19 May, 2025; v1 submitted 11 April, 2025;
originally announced April 2025.
-
Pruning qLDPC codes: Towards bivariate bicycle codes with open boundary conditions
Authors:
Jens Niklas Eberhardt,
Francisco Revson F. Pereira,
Vincent Steffan
Abstract:
Quantum low-density parity-check codes are promising candidates for quantum error correcting codes as they might offer more resource-efficient alternatives to surface code architectures. In particular, bivariate bicycle codes have recently gained attention due to their 2D-local structure, high encoding rate, and promising performance under simulation. In this work, we will explore how one can tran…
▽ More
Quantum low-density parity-check codes are promising candidates for quantum error correcting codes as they might offer more resource-efficient alternatives to surface code architectures. In particular, bivariate bicycle codes have recently gained attention due to their 2D-local structure, high encoding rate, and promising performance under simulation. In this work, we will explore how one can transform bivariate bicycle codes defined on lattices with periodic boundary conditions to codes with the same locality properties on a 2D lattice with open boundary conditions. For this, we introduce the concept of pruning quantum codes. We explain how pruning bivariate bicycle codes is always possible when the codes are hypergraph products of two classical cyclic codes. We also indicate that this might be possible for more general bivariate bicycle codes by constructing explicit examples. Finally, we investigate fault-tolerant quantum computation using the constructed pruned codes by describing fold-transversal gates.
△ Less
Submitted 5 December, 2024;
originally announced December 2024.
-
Cups and Gates I: Cohomology invariants and logical quantum operations
Authors:
Nikolas P. Breuckmann,
Margarita Davydova,
Jens N. Eberhardt,
Nathanan Tantivasadakarn
Abstract:
We take initial steps towards a general framework for constructing logical gates in general quantum CSS codes. Viewing CSS codes as cochain complexes, we observe that cohomology invariants naturally give rise to diagonal logical gates. We show that such invariants exist if the quantum code has a structure that relaxes certain properties of a differential graded algebra. We show how to equip quantu…
▽ More
We take initial steps towards a general framework for constructing logical gates in general quantum CSS codes. Viewing CSS codes as cochain complexes, we observe that cohomology invariants naturally give rise to diagonal logical gates. We show that such invariants exist if the quantum code has a structure that relaxes certain properties of a differential graded algebra. We show how to equip quantum codes with such a structure by defining cup products on CSS codes. The logical gates obtained from this approach can be implemented by a constant-depth unitary circuit. In particular, we construct a $Λ$-fold cup product that can produce a logical operator in the $Λ$-th level of the Clifford hierarchy on $Λ$ copies of the same quantum code, which we call the copy-cup gate. For any desired $Λ$, we can construct several families of quantum codes that support gates in the $Λ$-th level with various asymptotic code parameters.
△ Less
Submitted 21 October, 2024;
originally announced October 2024.
-
Logical Operators and Fold-Transversal Gates of Bivariate Bicycle Codes
Authors:
Jens Niklas Eberhardt,
Vincent Steffan
Abstract:
Quantum low-density parity-check (qLDPC) codes offer a promising route to scalable fault-tolerant quantum computation with constant overhead. Recent advancements have shown that qLDPC codes can outperform the quantum memory capability of surface codes even with near-term hardware. The question of how to implement logical gates fault-tolerantly for these codes is still open. We present new examples…
▽ More
Quantum low-density parity-check (qLDPC) codes offer a promising route to scalable fault-tolerant quantum computation with constant overhead. Recent advancements have shown that qLDPC codes can outperform the quantum memory capability of surface codes even with near-term hardware. The question of how to implement logical gates fault-tolerantly for these codes is still open. We present new examples of high-rate bivariate bicycle (BB) codes with enhanced symmetry properties. These codes feature explicit nice bases of logical operators (similar to toric codes) and support fold-transversal Clifford gates without overhead. As examples, we construct $[[98,6,12]]$ and $[[162, 8, 12]]$ BB codes which admit interesting fault-tolerant Clifford gates. Our work also lays the mathematical foundations for explicit bases of logical operators and fold-transversal gates in quantum two-block and group algebra codes, which might be of independent interest.
△ Less
Submitted 4 July, 2024;
originally announced July 2024.
-
Quantum Low-Density Parity-Check Codes
Authors:
Nikolas P. Breuckmann,
Jens Niklas Eberhardt
Abstract:
Quantum error correction is an indispensable ingredient for scalable quantum computing. In this Perspective we discuss a particular class of quantum codes called low-density parity-check (LDPC) quantum codes. The codes we discuss are alternatives to the surface code, which is the currently leading candidate to implement quantum fault-tolerance. We introduce the zoo of LDPC quantum codes and discus…
▽ More
Quantum error correction is an indispensable ingredient for scalable quantum computing. In this Perspective we discuss a particular class of quantum codes called low-density parity-check (LDPC) quantum codes. The codes we discuss are alternatives to the surface code, which is the currently leading candidate to implement quantum fault-tolerance. We introduce the zoo of LDPC quantum codes and discuss their potential for making quantum computers robust against noise. In particular, we explain recent advances in the theory of LDPC quantum codes related to certain product constructions and discuss open problems in the field.
△ Less
Submitted 25 October, 2021; v1 submitted 10 March, 2021;
originally announced March 2021.
-
Balanced Product Quantum Codes
Authors:
Nikolas P. Breuckmann,
Jens N. Eberhardt
Abstract:
This work provides the first explicit and non-random family of $[[N,K,D]]$ LDPC quantum codes which encode $K \in Θ(N^\frac{4}{5})$ logical qubits with distance $D \in Ω(N^\frac{3}{5})$. The family is constructed by amalgamating classical codes and Ramanujan graphs via an operation called balanced product.
Recently, Hastings-Haah-O'Donnell and Panteleev-Kalachev were the first to show that there…
▽ More
This work provides the first explicit and non-random family of $[[N,K,D]]$ LDPC quantum codes which encode $K \in Θ(N^\frac{4}{5})$ logical qubits with distance $D \in Ω(N^\frac{3}{5})$. The family is constructed by amalgamating classical codes and Ramanujan graphs via an operation called balanced product.
Recently, Hastings-Haah-O'Donnell and Panteleev-Kalachev were the first to show that there exist families of LDPC quantum codes which break the $\operatorname{polylog}(N)\sqrt{N}$ distance barrier. However, their constructions are based on probabilistic arguments which only guarantee the code parameters with high probability whereas our bounds hold unconditionally.
Further, balanced products allow for non-abelian twisting of the check matrices, leading to a construction of LDPC quantum codes that can be shown to have $K\in Θ(N)$ and that we conjecture to have linear distance $D\in Θ(N)$.
△ Less
Submitted 28 July, 2021; v1 submitted 16 December, 2020;
originally announced December 2020.
