Classification of Small Triorthogonal Codes
- URL: http://arxiv.org/abs/2107.09684v2
- Date: Tue, 26 Jul 2022 13:21:48 GMT
- Title: Classification of Small Triorthogonal Codes
- Authors: Sepehr Nezami, Jeongwan Haah
- Abstract summary: Triorthogonal codes are a class of quantum error correcting codes used in magic state distillation protocols.
We classify all triorthogonal codes with $n+kle 38$, where $n$ is the number of physical qubits and $k is the number of qubits of the code.
In an appendix independent of the main text, we improve a magic state distillation protocol by reducing the time variance due to Clifford corrections.
- Score: 0.30458514384586394
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Triorthogonal codes are a class of quantum error correcting codes used in
magic state distillation protocols. We classify all triorthogonal codes with
$n+k \le 38$, where $n$ is the number of physical qubits and $k$ is the number
of logical qubits of the code. We find $38$ distinguished triorthogonal
subspaces and show that every triorthogonal code with $n+k\le 38$ descends from
one of these subspaces through elementary operations such as puncturing and
deleting qubits. Specifically, we associate each triorthogonal code with a
Reed-Muller polynomial of weight $n+k$, and classify the Reed-Muller
polynomials of low weight using the results of Kasami, Tokura, and Azumi and an
extensive computerized search. In an appendix independent of the main text, we
improve a magic state distillation protocol by reducing the time variance due
to stochastic Clifford corrections.
Related papers
- Unifying error-correcting code/Narain CFT correspondences via lattices over integers of cyclotomic fields [0.0]
We identify Narain conformal field theories (CFTs) that correspond to code lattices for quantum error-correcting codes (QECC) over integers of cyclotomic fields $Q(zeta_p)$ $(zeta_p=efrac2pi ip)$ for general prime $pgeq 3$.
arXiv Detail & Related papers (2024-10-16T12:08:04Z) - 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) - Quantum Rainbow Codes [0.0]
We introduce rainbow codes, a novel class of quantum error correcting codes generalising colour codes and pin codes.
Rainbow codes can be defined on any $Ddimensional simplicial complex that admits a valid $(D+1)$colouring of its $0simplices.
arXiv Detail & Related papers (2024-08-23T14:56:55Z) - Triorthogonal Codes and Self-dual Codes [16.728666221394857]
We give an algorithm to construct binary triorthogonal matrices from binary self-dual codes.
We generalize to this setting the classical coding techniques of shortening and extending.
arXiv Detail & Related papers (2024-08-19T03:47:09Z) - 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) - Efficiently Learning One-Hidden-Layer ReLU Networks via Schur
Polynomials [50.90125395570797]
We study the problem of PAC learning a linear combination of $k$ ReLU activations under the standard Gaussian distribution on $mathbbRd$ with respect to the square loss.
Our main result is an efficient algorithm for this learning task with sample and computational complexity $(dk/epsilon)O(k)$, whereepsilon>0$ is the target accuracy.
arXiv Detail & Related papers (2023-07-24T14:37:22Z) - CSS code surgery as a universal construction [51.63482609748332]
We define code maps between Calderbank-Shor-Steane (CSS) codes using maps between chain complexes.
We describe code surgery between such codes using a specific colimit in the category of chain complexes.
arXiv Detail & Related papers (2023-01-31T16:17:25Z) - Divisible Codes for Quantum Computation [0.6445605125467572]
Divisible codes are defined by the property that codeword weights share a common divisor greater than one.
This paper explores how they can be used to protect quantum information as it is transformed by logical gates.
arXiv Detail & Related papers (2022-04-27T20:18:51Z) - 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) - Classical Coding Problem from Transversal $T$ Gates [10.478611957969145]
We show that triorthogonal codes are, essentially, the only family of CSS codes that realize logical $T$ via physical $T$.
We also use Ax's theorem to characterize the logical operation realized on a family of quantum Reed-Muller codes.
arXiv Detail & Related papers (2020-01-14T16:45:48Z)
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.