Quantum XYZ Product Codes
- URL: http://arxiv.org/abs/2011.09746v3
- Date: Tue, 12 Jul 2022 15:48:19 GMT
- Title: Quantum XYZ Product Codes
- Authors: Anthony Leverrier, Simon Apers, Christophe Vuillot
- Abstract summary: We study a three-fold variant of the hypergraph product code construction, differing from the standard homological product of three classical codes.
When instantiated with 3 classical LDPC codes, this "XYZ product" yields a non CSS quantum LDPC code which might display a large minimum distance.
- Score: 0.3222802562733786
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We study a three-fold variant of the hypergraph product code construction,
differing from the standard homological product of three classical codes. When
instantiated with 3 classical LDPC codes, this "XYZ product" yields a non CSS
quantum LDPC code which might display a large minimum distance. The simplest
instance of this construction, corresponding to the product of 3 repetition
codes, is a non CSS variant of the 3-dimensional toric code known as the Chamon
code. The general construction was introduced in Denise Maurice's PhD thesis,
but has remained poorly understood so far. The reason is that while hypergraph
product codes can be analyzed with combinatorial tools, the XYZ product codes
also depend crucially on the algebraic properties of the parity-check matrices
of the three classical codes, making their analysis much more involved.
Our main motivation for studying XYZ product codes is that the natural
representatives of logical operators are two-dimensional objects. This
contrasts with standard hypergraph product codes in 3 dimensions which always
admit one-dimensional logical operators. In particular, specific instances of
XYZ product codes with constant rate might display a minimum distance as large
as $\Theta(N^{2/3})$. While we do not prove this result here, we obtain the
dimension of a large class of XYZ product codes, and when restricting to codes
with dimension 1, we reduce the problem of computing the minimum distance to a
more elementary combinatorial problem involving binary 3-tensors. We also
discuss in detail some families of XYZ product codes that can be embedded in
three dimensions with local interaction. Some of these codes seem to share
properties with Haah's cubic codes and might be interesting candidates for
self-correcting quantum memories with a logarithmic energy barrier.
Related papers
- 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) - 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) - High-dimensional quantum XYZ product codes for biased noise [7.749791798931045]
Three-dimensional (3D) quantum XYZ product can construct a class of non-CSS codes by using three classical codes.
We study the error-correcting performance of the 3D Chamon code, which is an instance of 3D XYZ product of three repetition codes.
Compared with 4D homological product, we show that 4D XYZ product can construct non-CSS codes with higher code dimension or code distance.
arXiv Detail & Related papers (2024-08-06T11:54:36Z) - Equivalence Classes of Quantum Error-Correcting Codes [49.436750507696225]
Quantum error-correcting codes (QECC's) are needed to combat the inherent noise affecting quantum processes.
We represent QECC's in a form called a ZX diagram, consisting of a tensor network.
arXiv Detail & Related papers (2024-06-17T20:48:43Z) - Maximally Extendable Sheaf Codes [5.439020425819001]
We study sheaf codes, a type of linear codes with a fixed hierarchical collection of local codes.
We introduce a new property of a sheaf code, called maximalibility, which ensures that within class of codes on the same coded space, we encounter as few obstructions as possible.
arXiv Detail & Related papers (2024-03-06T12:20:49Z) - Lift-Connected Surface Codes [1.4767596539913115]
We use the recently introduced lifted product to construct a family of Quantum Low Density Parity Check Codes (QLDPC codes)
The codes we obtain can be viewed as stacks of surface codes that are interconnected, leading to the name lift-connected surface (LCS) codes.
For example, already at moderate numbers of physical qubits in the order of tens, LCS codes of equal size have lower logical error rate or similarly, require fewer qubits for a fixed target logical error rate.
arXiv Detail & Related papers (2024-01-05T17:22:49Z) - Homological Quantum Rotor Codes: Logical Qubits from Torsion [51.9157257936691]
homological quantum rotor codes allow one to encode both logical rotors and logical qudits in the same block of code.
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) - Classical product code constructions for quantum Calderbank-Shor-Steane codes [1.4699455652461726]
We introduce a new product code construction which is a natural generalisation of classical product codes to quantum codes.
We show that built-in redundancies in the parity checks result in so-called meta-checks which can be exploited to correct syndrome read-out errors.
arXiv Detail & Related papers (2022-09-27T15:48:37Z) - Morphing quantum codes [77.34726150561087]
We morph the 15-qubit Reed-Muller code to obtain the smallest known stabilizer code with a fault-tolerant logical $T$ gate.
We construct a family of hybrid color-toric codes by morphing the color code.
arXiv Detail & Related papers (2021-12-02T17:43:00Z) - 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) - Decoding Across the Quantum LDPC Code Landscape [4.358626952482686]
We show that belief propagation combined with ordered statistics post-processing is a general decoder for quantum low density parity check codes.
We run numerical simulations of the decoder applied to three families of hypergraph product code: topological codes, fixed-rate random codes and a new class of codes that we call semi-topological codes.
arXiv Detail & Related papers (2020-05-14T14:33:08Z)
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.