Qubit stabilizer code[1,2] 

Also known as Pauli stabilizer code, Additive quantum code, Additive CWS code, Clifford code.

Description

An \(((n,2^k,d))\) qubit stabilizer code is denoted as \([[n,k]]\) or \([[n,k,d]]\), where \(d\) is the code's distance. Logical subspace is the joint eigenspace of commuting Pauli operators forming the code's stabilizer group \(\mathsf{S}\). Traditionally, the logical subspace is the joint \(+1\) eigenspace of a set of \(2^{n-k}\) commuting Pauli operators which do not contain \(-I\). The distance is the minimum weight of a Pauli string that implements a nontrivial logical operation in the code.

Qubit stabilizer codes are defined by a stabilizer group \(\mathsf{S}\), a group of commuting Paulis that does not contain the identity and is generated by \(r=n-k\) generators. The table below summarizes the relevant groups and their sizes for a qubit stabilizer code.

purpose

symbol

size

stabilizer group

\(\mathsf{S}\)

\(2^{n-k}\)

code-preserving Paulis

\(\mathsf{N}(\mathsf{S})\)

\(4\cdot 2^{n+k}\)

logical Paulis

\(\mathsf{N}(\mathsf{S})/\mathsf{S}\)

\(4^{k}\)

Table I: Groups relevant to qubit stabilizer codes. The normalizer \(\mathsf{N}(\mathsf{S})\) (technically, the centralizer, but these are equivalent for this case) is the group formed by all elements of the \(n\)-qubit Pauli group that commute with all elements in \(\mathsf{S}\). The normalizer is defined so as to include \(i\) and its powers as elements, while the stabilizer group is not.

Two qubit stabilizer codes codes are equivalent if the codespace of one code can be mapped into that of the other under a tensor product of elements of the single-qubit Clifford group and a qubit permutation. Equivalence under single-qubit Clifford operations is not the same as the equivalence under a tensor product of arbitrary single-qubit unitary operations [3]. A qubit stabiilzer code is decomposable if there exists a permutation that maps the stabilizer group into a tensor product of two stabilizer groups acting on disjoint sets of qubits.

Symplectic representation: In the symplectic representation, the single-qubit identity, \(X\), \(Y\), or \(Z\) Pauli matrices represented using two bits as \((0|0)\), \((1|0)\), \((1|1)\), and \((0|1)\), respectively. In other words, the single-qubit Pauli string \(X^a Z^b\) is converted to the vector \(a|b\). The multi-qubit version follows naturally.

Each stabilizer code can be represented by a \((n-k) \times 2n\) check matrix (a.k.a. stabilizer generator matrix) \(H=(A|B)\), where each row \((a|b)\) is the symplectic representation of an element from a set of generating elements of the stabilizer group. The check matrix can be brought into standard form (a.k.a. canonical form) via Gaussian elimination [4,5].

A pair of \(n\)-qubit stabilizers with symplectic representation \((a|b)\) and \((a^{\prime}|b^{\prime})\) commute iff their symplectic inner product is zero, \begin{align} a \cdot b^{\prime} + a^{\prime}\cdot b = \sum_{j=1}^{n} a_j b^{\prime}_j + a^{\prime}_i b_i = 0~. \tag*{(1)}\end{align} The set of all binary symplectic vectors form a symplectic self-orthogonal binary linear code of length \(2n\).

Another correspondence between qubit Pauli matrices and elements of the quaternary Galois field \(GF(4)\) yields the one-to-one correspondence between qubit stabilizer codes and trace-Hermitian self-orthogonal additive quaternary codes.

\(GF(4)\) representation: An \(n\)-qubit Pauli stabilizer can be represented as a length-\(n\) quaternary vector using the one-to-one correspondence between the four Pauli matrices \(\{I,X,Y,Z\}\) and the four elements \(\{0,1,\omega^2,\omega\}\) of the quaternary Galois field \(GF(4)\).

The sets of \(GF(4)\)-represented vectors for all generators yield a trace-Hermitian self-orthogonal additive quaternary code. This classical code corresponds to the stabilizer group \(\mathsf{S}\) while its trace-Hermitian dual corresponds to the normalizer \(\mathsf{N(S)}\). In the case of stabilizer states, the correspondence is between such states and trace-Hermitian self-dual quaternary codes; such codes, and therefore such states, have been classified up to equivalence for \(n \leq 12\) [6,7].

Alternative representations include the decoupling representation, in which Pauli strings are represented as vectors over \(GF(2)\) using three bits [8].

Qubit stabilizer states can be expressed in terms of linear and quadratic functions over \(\mathbb{Z}_2^n\) [9].

Protection

Detects errors on up to \(d-1\) qubits, and corrects erasure errors on up to \(d-1\) qubits. There are algorithms to calculate the minimum distance [1012].

There is the following analogue of the Knill-Laflamme conditions for qubit stabilizer codes. Define the normalizer \(\mathsf{N(S)}\) of \(\mathsf{S}\) to be the set of all Pauli operators that commute with all \(S\in\mathsf{S}\). A stabilizer code can correct a Pauli error set \({\mathcal{E}}\) if and only if \(E^\dagger F \notin \mathsf{N(S)}\setminus \mathsf{S}\) for all \(E,F \in {\mathcal{E}}\).

Cleaning lemma: If all logical operators act trivially on some subset of qubits in a stabilizer code, then any logical Pauli operator can be represented on the complementary qubit subset via a stabilizer. More technically, given any subset \(M\) of qubits that is correctable (under erasure), any logical Pauli operator \(P\) can be cleaned off of \(M\) using a stabilizer \(S\) such that \(PS\) is supported on \(M^{\perp}\). More generally, for any \(M\), we have \(g(M)+g(M^{\perp}) = 2k\), where \(g(M)\) is the number of logical-\(X\) and logical-\(Z\) Pauli operators supported fully on \(M\) (up to stabilizers). The Cleaning Lemma was originally proven [13], where an analogous result is states for subsystem codes; see also Ref. [14].

Entropic conditions have been formulated for random projective measurement noise [15].

Rate

The hashing bound states that there is a qubit stabilizer code achieving a rate \(R = 1 - H(\mathbf{p})\) for a Pauli noise channel with Pauli error probabilities \(\mathbf{p}=(p_I,p_X,p_Y,p_Z)\), where \(H(\mathbf{p})\) is the entropy of the argument [16; Thm. 23.6.2]. Finite block length bounds and a refinement of the hashing bound have been developed [5].

Encoding

Clifford circuits, i.e., those consisting of CNOT, Hadamard, and certain phase gates, using an algorithm [17] based on the Gottesman-Knill theorem [18] or using ZX calculus [19,20] (with the latter providing a unique decomposition [21]).

Destabilizers: A Clifford encoding circuit maps the first \(r = n-k\) qubits to the logical qubits of the code, and the Pauli \(Z\) operators of those first \(r\) qubits are mapped into a set of stabilizer generators. The set of Pauli \(X\) operators of the first \(r\) qubits that are mapped into a set of generators for the destabilizer group [18,22]. Each such generator anticommutes with only one stabilizer generator while commuting with the rest of the stabilizer generators.

Circuits obtained by first constructing the CWS form of the code [23,24]. These consist of \(n\) Hadamard gates, a classical encoder which takes at most \(n\) CX gates for a single-qubit encoding code, and at most \(n(n-1)/2\) CZ gates to create the needed graph state.Lindbladian-based dissipative encoding [25,26], for which codespace is steady-state space of a Lindbladian. This does not give a speedup, in terms of scaling with \(n\), over circuit-based encoders [27].

Transversal Gates

All stabilizer codes realize Pauli transformations transversally; for a single logical qubit, these realize a dicyclic subgroup of \(SU(2)\). Several algorithms exist for finding logical Pauli operators [2,28,29].The four-block transversal gate mapping each \(X \to IXXX\) and each \(Z \to IZZZ\) implements the same logical gate on all qubits [2].Transversal logical gates are in a finite level of the Clifford hierarchy, which is shown using stabilizer disjointness [30] (see also [31,32]). Transversal gates for \(n\in\{1,2\}\) are semi-Clifford [33].No stabilizer code can implement a classical universal gate set transversally [34].Fold-transversal gates have been extended from qubit CSS codes to qubit stabilizer codes, and there is an algorithm to determine them from the stabilizer group [35].

Gates

Logical Clifford gates can be performed by physical Clifford circuits that permute logical Pauli operators [29].With pieceable fault-tolerance, any non-degenerate stabilizer code with a complete set of fault-tolerant single-qubit Clifford gates has a universal set of non-transversal fault-tolerant gates [36].Gates in the Clifford hierarchy can be done using gate teleportation, in which a gate can be obtained from a particular magic state (a.k.a. resource state) [37,38]. Such protocols can be made fault tolerant with the help of magic-state distillation [39,40]. There exist various performance metrics for magic-state distillation [4144]. Gate errors in magic-state distillation protocols can sometimes add up destructively [45]. The Hadamard gate cannot be obtained from a magic state [46]. A magic state arising from a generalized controlled \(Z\) gate is a type of hypergraph state [4749] (see [50,51]).Certain operations can be implemented in a fault-tolerant version [52,53] of holonomic quantum computation [54].Magic-state distillation and circuit compilation based on the SWAP test [55].Logical circuit synthesis (LCS) taking in a code and a logical Clifford operation and producing a circuit acting on the physical qubits [56].Clifford stabilizer circuits can be compiled using tableaux manipulation [57].A teleported version of the CPC construction can reduce noise in Clifford circuits with Pauli measurements with at most a three-fold overhead in the number of qubits and gates [58]. There is a simple formula for the probability that a Clifford circuit contains a logical error [59].

Decoding

The size of the circuit extracting the syndrome depends on the weight of its corresponding stabilizer generator. Syndrome extraction circuits can be simulated efficiently using dedicated software (e.g., STIM [60]) and there are many general schemes for generating them [61] (see also [62]).DiVincenzo-Aliferis syndrome extraction circuits [63].Greedy syndrome measurement schedule [64].Dynamical weight reduction (DWR) scheme in which measurements of smaller-weight Paulis yield the outcome of a larger-weight Pauli via the use of ZX calculus and ancillary qubits [65].MPE decoding, i.e., the process of finding the most likely error, is \(NP\)-complete in general [66,67]. If the noise model is such that the most likely error is the lowest-weight error, then ML decoding is called minimum-weight decoding. Maximum-likelihood (ML) decoding (a.k.a. degenerate maximum-likelihood decoding), i.e., the process of finding the most likely error class (up to degeneracy of errors), is \(\#P\)-complete in general [68].Incorporating faulty syndrome measurements can be done by performing spacetime decoding, i.e., using data from past rounds for decoding syndromes in any given round. If a decoder does not process syndrome data sufficiently quickly, it can lead to the backlog problem [69], slowing down the computation.Splitting decoders [70].Trellis decoder, which builds a compact representation of the algebraic structure of the normalizer \(\mathsf{N(S)}\) [71].Quantum extension of GRAND decoder [72].Deep neural-network probabilistic decoder [73].Generalized belief propagation (GBP) [74] based on a classical version [75].Integer optimization decoder [76].Autonomous Lindbladian based decoders for codes encoding a single logical qubit [77].For codes encoding a single logical qubit, logical information can be extracted by single-qubit operations and classical communication [78].Correlated decoding can improve performance of Clifford and non-Clifford entangling gates [79].Detector graphs [60,80] and detector error models [81] can be used to design syndrome extraction circuits and logical measurements.Fault-tolerant constant-depth unencoder transforming logical states into physical states using single-qubit measurements [82].Degenerate erasure decoder showing near ML decoding for various codes [83].

Fault Tolerance

Gates in the Clifford hierarchy can be done using gate teleportation, in which a gate can be obtained from a particular magic state [37,38]. Such protocols can be made fault tolerant with the help of magic-state distillation [39].Logical Bell measurements can be done transversally, and thus fault tolerantly, by performing bitwise Bell measurements for each pair of qubits (with each member of the pair taken from one of the two code blocks) and processing the result.With pieceable fault-tolerance, any non-degenerate stabilizer code with a complete set of fault-tolerant single-qubit Clifford gates has a universal set of non-transversal fault-tolerant gates [36].Shor error correction [84,85], in which fault tolerance against syndrome extraction errors is ensured by simply repeating syndrome measurements. A modification uses adaptive measurements [86].Generalization of Steane error correction stabilizer codes [87; Sec. 3.6].Fault-tolerant error correction scheme by Knill (a.k.a. telecorrection [88]), which is based on teleportation [40,89]. A variant of it has been termed the Fibonacci scheme [90].Fault-tolerant error correction using flag qubits for codes satisfying certain conditions [91].GHZ state distillation for Steane error correction [92].Syndrome extraction using flag qubits and classical codes [93].Fault-tolerant constant-depth unencoder transforming logical states into physical states using single-qubit measurements [82].Post-selection based algorithm preparing magic state corresponding to arbitrary rotations [94].Code switching can be done using only transversal gates for qubit stabilizer codes [95].Flag-Proxy Networks (FPNs) [64].A logical Pauli can be gauged out to yield a fault-tolerant measurement that requires a qubit overhead linear in the Pauli's support [96].

Code Capacity Threshold

Bounds on code capacity thresholds using ML decoding can be obtained by mapping the effect of noise on the code to a statistical mechanical model [97100]. The AQEC relative entropy is related to the resulting threshold [101].

Threshold

Computational thresholds against stochastic local noise can be achieved through repeated use of concatenatenation, and can rely on the same small code in every level [102105]. The resulting code is highly degenerate, with all but an exponentially small fraction of generators having small weights. Circuit and measurement designs have to take case of the few stabilizer generators with large weights in order to be fault tolerant.Entanglement purification protocols with qubit stabilizer codes are related to quantum key distribution (QKD) [106].Certain operations can be implemented in a fault-tolerant version [52,53] of holonomic quantum computation [54].

Notes

Introductions to stabilizer codes can be found in [2,107,108].Tables of bounds and examples of stabilizer codes for various \(n\) and \(k\), based on algorithms developed in Ref. [109], are maintained by M. Grassl at this website. A Magma implementation exists at this website.See Quantum Codes qubit stabilizer database, maintained by N. Aydin, P. Liu, and B. Yoshino [110,111], at this website.Review on magic state distillation [112].There is a correspondence between stabilizer codes and bilocal Clifford entanglement distillation circuits [113].The overlap between any stabilizer codeword and any \(n\)-qubit product state is at most \(2/2^d\) [114; Thm. 2].The stabilizer formalism has been gamified [115].Code can be found via genetic algorithms [12].

Parents

  • Union stabilizer (USt) code — A stabilizer code with stabilizer group \(\mathsf{S}\) can be thought of as a USt with only the identity coset representative. Conversely, if the set of coset representatives of a USt form a linear binary code, then they can be absorbed into a stabilizer group that defines the USt.
  • XP stabilizer code — XP stabilizer codes reduce to qubit stabilizer codes for \(N=2\).
  • Operator-algebra (OA) qubit stabilizer code — An OA qubit stabilizer code storing no classical information and admitting no gauge qubits is a qubit stabilizer code.
  • Modular-qudit stabilizer code — Modular-qudit stabilizer codes for \(q=2\) correspond to qubit stabilizer codes. Modular-qudit stabilizer codes for prime-dimensional qudits \(q=p\) inherit most of the features of qubit stabilizer codes, including encoding an integer number of qudits and a modular-qudit Pauli group with a unique number of generators. Conversely, qubit codes can be extended to modular-qudit codes by decorating appropriate generators with powers. For example, \([[4,2,2]]\) qubit code generators can be adjusted to \(ZZZZ\) and \(XX^{-1} XX^{-1}\). A systematic procedure extending a qubit code to prime-qudit codes involves putting its generator matrix into local-dimension-invariant (LDI) form [116]. Various bounds exist on the distance of the resulting codes [117,118].
  • True Galois-qudit stabilizer code — True Galois-qudit stabilizer codes for \(q=2\) correspond to qubit stabilizer codes.

Children

Cousins

  • Codeword stabilized (CWS) code — CWS codes whose underlying classical code is a linear binary code are qubit stabilizer codes containing a cluster-state codeword [24,127]. Since any stabilizer state is equivalent to a cluster state under a single-qubit Clifford circuit [123][125; Appx. A], any stabilizer code is similarly equivalent to a CWS code.
  • Linear binary code — Qubit stabilizer codes are the closest quantum analogues of binary linear codes because addition modulo two corresponds to multiplication of stabilizers in the quantum case. Any binary linear code can be thought of as a qubit stabilizer code with \(Z\)-type stabilizer generators [128; Table I]. The stabilizer generators are extracted from rows of the parity-check matrix, while logical \(X\) Paulis correspond to rows of the generator matrix. States close to the equal superposition of all bitstrings within Hamming distance \(b\) of a binary linear code can be prepared efficiently [129]. Binary linear codes can be used for error-corrected entanglement distillation protocols [82].
  • Dual linear code — Qubit stabilizer codes are in one-to-one correspondence with symplectic self-orthogonal binary linear codes of length \(2n\) via the symplectic representation.
  • Dual additive code — Qubit stabilizer codes are in one-to-one correspondence with trace-Hermitian self-orthogonal additive quaternary codes of length \(n\) via the \(GF(4)\) representation.
  • Single-shot code — Any stabilizer code can be single shot if sufficiently non-local high-weight stabilizer generators are used for syndrome measurements. These can be obtained with a Gaussian elimination procedure [130].
  • \(t\)-design — Stabilizer states on \(n\) qubits form complex projective 3-designs [131], while the Clifford group is a unitary 3-design [132,133].
  • Constant-excitation (CE) code — Concatenating the dual-rail code with an \([[n,k,d]]\) stabilizer code yields an \([[2n,k,d]]\) constant-excitation code [134] that protects against \(d-1\) AD errors [135].
  • Amplitude-damping (AD) code — Concatenating the dual-rail code with an \([[n,k,d]]\) stabilizer code yields an \([[2n,k,d]]\) constant-excitation code [134] that protects against \(d-1\) AD errors [135].
  • Barnes-Wall (BW) lattice — Stabilizer states can be mapped into the first lattice shell of a BW lattice over a cyclotomic field, while the Clifford group is related to the symmetry group of the lattice [136].
  • Graph quantum code — Graph quantum codes for \(G=\mathbb{Z}_2\) are a subset of qubit stabilizer codes [122]. Any qubit stabilizer code is equivalent to a graph quantum code for \(G=\mathbb{Z}_2\) via a single-qubit Clifford circuit [122] (see also [123,124]).
  • Metrological code — A joint \(+1\) and \(-1\) eigenstate of a set of stabilizer can form a metrological stabilizer code [137].
  • Spacetime circuit code — Spacetime circuit codes are useful for constructing fault-tolerant syndrome extraction circuits for qubit stabilizer codes.
  • EA qubit stabilizer code — EA qubit stabilizer codes utilize additional ancillary qubits in a pre-shared entangled state, but reduce to qubit stabilizer codes when said qubits are interpreted as noiseless physical qubits. Qubit stabilizer codes can be used to obtain shortened EA qubit stabilizer codes [138].
  • Movassagh-Ouyang Hamiltonian code — Many, but not all, Movassagh-Ouyang codes are stabilizer codes.
  • Hybrid stabilizer code — A hybrid stabilizer code storing no classical information reduces to a qubit stabilizer code. Conversely, any qubit stabilizer code can be converted into a hybrid stabilizer code by using some its qubits to store only classical information [139].
  • PI qubit code — There is a measurement-free code-switching protocol between a qubit stabilizer code and a PI qubit code [140].
  • Quantum error-transmuting code (QETC) — Most QETCs are stabilizer codes: \(\mathsf{C}\) is the subspace stabilised by an abelian subgroup \(\mathsf{S} \subset \mathcal{G}_n\) of the Pauli group on \(n\) qubits.
  • Qubit CSS code — Qubit CSS codes are qubit stabilizer codes whose stabilizer groups admit a generating set of pure-\(X\) and pure-\(Z\) Pauli strings. Transversal CNOT gates preserve the logical subspace iff a qubit stabilizer code is CSS [84,141]. Any \([[n,k,d]]\) stabilizer code can be mapped into a \([[4n,2k,2d]]\) self-dual CSS code via the Bravyi-Leemhuis-Terhal mapping (a.k.a. the Majorana mapping, named as such because it is done via an intermediate Majorana stabilizer code) [142][120; Corr. 1], which preserves geometric locality of a code up to a constant factor. Any \([[n,k,d]]\) stabilizer code can be mapped onto a \([[2n,2k,\geq d]]\) two-block CSS code via symplectic doubling, which preserves geometric locality of a code up to a constant factor. For any non-CSS qubit stabilizer code \(\mathsf{C}\), there exists a CSS code \(\mathsf{C}^{\prime}\) such that \(\mathsf{C} = DQ\mathsf{C}^{\prime}\), where \(D\) is a diagonal Clifford operator, and where \(Q\) is an element of an XP stabilizer group [143; Prop. B.3.1].'
  • Subsystem qubit stabilizer code — Subsystem qubit stabilizer codes reduce to qubit stabilizer codes when there are no gauge qubits.

References

[1]
A. R. Calderbank et al., “Quantum Error Correction and Orthogonal Geometry”, Physical Review Letters 78, 405 (1997) arXiv:quant-ph/9605005 DOI
[2]
D. Gottesman, “Stabilizer Codes and Quantum Error Correction”, (1997) arXiv:quant-ph/9705052
[3]
Z. Ji et al., “The LU-LC conjecture is false”, (2008) arXiv:0709.1266
[4]
M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information (Cambridge University Press, 2012) DOI
[5]
D. Ostrev, “Canonical Form and Finite Blocklength Bounds for Stabilizer Codes”, (2024) arXiv:2408.15202
[6]
L. E. Danielsen, “On Self-Dual Quantum Codes, Graphs, and Boolean Functions”, (2005) arXiv:quant-ph/0503236
[7]
L. E. Danielsen and M. G. Parker, “On the classification of all self-dual additive codes over GF(4) of length up to 12”, Journal of Combinatorial Theory, Series A 113, 1351 (2006) arXiv:math/0504522 DOI
[8]
Z. Yi et al., “Improved belief propagation decoding algorithm based on decoupling representation of Pauli operators for quantum LDPC codes”, (2023) arXiv:2305.17505
[9]
J. Dehaene and B. De Moor, “Clifford group, stabilizer states, and linear and quadratic operations over GF(2)”, Physical Review A 68, (2003) arXiv:quant-ph/0304125 DOI
[10]
T. Farrelly, D. K. Tuckett, and T. M. Stace, “Local tensor-network codes”, New Journal of Physics 24, 043015 (2022) arXiv:2109.11996 DOI
[11]
F. Hernando, G. Quintana-Ortí, and M. Grassl, “Fast Algorithms and Implementations for Computing the Minimum Distance of Quantum Codes”, (2024) arXiv:2408.10743
[12]
M. Webster and D. Browne, “Engineering Quantum Error Correction Codes Using Evolutionary Algorithms”, (2024) arXiv:2409.13017
[13]
S. Bravyi and B. Terhal, “A no-go theorem for a two-dimensional self-correcting quantum memory based on stabilizer codes”, New Journal of Physics 11, 043029 (2009) arXiv:0810.1983 DOI
[14]
G. Kalachev and S. Sadov, “A linear-algebraic and lattice-theoretical look at the Cleaning Lemma of quantum coding theory”, Linear Algebra and its Applications 649, 96 (2022) arXiv:2204.04699 DOI
[15]
D. Lee and B. Yoshida, “Randomly Monitored Quantum Codes”, (2024) arXiv:2402.00145
[16]
M. M. Wilde, Quantum Information Theory (Cambridge University Press, 2013) DOI
[17]
A. B. Khesin, J. Z. Lu, and P. W. Shor, “Graphical quantum Clifford-encoder compilers from the ZX calculus”, (2024) arXiv:2301.02356
[18]
S. Aaronson and D. Gottesman, “Improved simulation of stabilizer circuits”, Physical Review A 70, (2004) arXiv:quant-ph/0406196 DOI
[19]
B. Coecke and R. Duncan, “Interacting Quantum Observables”, Automata, Languages and Programming 298 DOI
[20]
B. Coecke and R. Duncan, “Interacting quantum observables: categorical algebra and diagrammatics”, New Journal of Physics 13, 043016 (2011) arXiv:0906.4725 DOI
[21]
A. B. Khesin and A. Li, “Equivalence Classes of Quantum Error-Correcting Codes”, (2024) arXiv:2406.12083
[22]
Yoder, Theodore J. "A generalization of the stabilizer formalism for simulating arbitrary quantum circuits." See https://www. scottaaronson. com/showcase2/report/ted-yoder. pdf (2012).
[23]
I. Chuang et al., “Codeword stabilized quantum codes: Algorithm and structure”, Journal of Mathematical Physics 50, (2009) arXiv:0803.3232 DOI
[24]
A. Cross et al., “Codeword Stabilized Quantum Codes”, IEEE Transactions on Information Theory 55, 433 (2009) arXiv:0708.1021 DOI
[25]
J. P. Paz and W. H. Zurek, “Continuous Error Correction”, (1997) arXiv:quant-ph/9707049
[26]
J. Dengis, R. König, and F. Pastawski, “An optimal dissipative encoder for the toric code”, New Journal of Physics 16, 013023 (2014) arXiv:1310.1036 DOI
[27]
R. König and F. Pastawski, “Generating topological order: No speedup by dissipation”, Physical Review B 90, (2014) arXiv:1310.1037 DOI
[28]
M. M. Wilde, “Logical operators of quantum codes”, Physical Review A 79, (2009) arXiv:0903.5256 DOI
[29]
N. Rengaswamy et al., “Synthesis of Logical Clifford Operators via Symplectic Geometry”, 2018 IEEE International Symposium on Information Theory (ISIT) (2018) arXiv:1803.06987 DOI
[30]
T. Jochym-O’Connor, A. Kubica, and T. J. Yoder, “Disjointness of Stabilizer Codes and Limitations on Fault-Tolerant Logical Gates”, Physical Review X 8, (2018) arXiv:1710.07256 DOI
[31]
B. Zeng, A. Cross, and I. L. Chuang, “Transversality versus Universality for Additive Quantum Codes”, (2007) arXiv:0706.1382
[32]
J. T. Anderson and T. Jochym-O’Connor, “Classification of transversal gates in qubit stabilizer codes”, (2014) arXiv:1409.8320
[33]
B. Zeng, X. Chen, and I. L. Chuang, “Semi-Clifford operations, structure ofCkhierarchy, and gate complexity for fault-tolerant quantum computation”, Physical Review A 77, (2008) arXiv:0712.2084 DOI
[34]
M. Newman and Y. Shi, “Limitations on Transversal Computation through Quantum Homomorphic Encryption”, (2017) arXiv:1704.07798
[35]
H. Sayginel et al., “Fault-Tolerant Logical Clifford Gates from Code Automorphisms”, (2024) arXiv:2409.18175
[36]
T. J. Yoder, R. Takagi, and I. L. Chuang, “Universal Fault-Tolerant Gates on Concatenated Stabilizer Codes”, Physical Review X 6, (2016) arXiv:1603.03948 DOI
[37]
D. Gottesman and I. L. Chuang, “Demonstrating the viability of universal quantum computation using teleportation and single-qubit operations”, Nature 402, 390 (1999) arXiv:quant-ph/9908010 DOI
[38]
X. Zhou, D. W. Leung, and I. L. Chuang, “Methodology for quantum logic gate construction”, Physical Review A 62, (2000) arXiv:quant-ph/0002039 DOI
[39]
S. Bravyi and A. Kitaev, “Universal quantum computation with ideal Clifford gates and noisy ancillas”, Physical Review A 71, (2005) arXiv:quant-ph/0403025 DOI
[40]
E. Knill, “Quantum computing with realistically noisy devices”, Nature 434, 39 (2005) arXiv:quant-ph/0410199 DOI
[41]
G. Vidal and R. Tarrach, “Robustness of entanglement”, Physical Review A 59, 141 (1999) arXiv:quant-ph/9806094 DOI
[42]
M. Heinrich and D. Gross, “Robustness of Magic and Symmetries of the Stabiliser Polytope”, Quantum 3, 132 (2019) arXiv:1807.10296 DOI
[43]
J. R. Seddon and E. T. Campbell, “Quantifying magic for multi-qubit operations”, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 475, 20190251 (2019) arXiv:1901.03322 DOI
[44]
M. Beverland et al., “Lower bounds on the non-Clifford resources for quantum computations”, Quantum Science and Technology 5, 035009 (2020) arXiv:1904.01124 DOI
[45]
M. B. Hastings, “Turning Gate Synthesis Errors into Incoherent Errors”, (2016) arXiv:1612.01011
[46]
B. D. M. Jones, N. Linden, and P. Skrzypczyk, “The Hadamard gate cannot be replaced by a resource state in universal quantum computation”, Quantum 8, 1470 (2024) arXiv:2312.03515 DOI
[47]
M. Rossi et al., “Quantum hypergraph states”, New Journal of Physics 15, 113022 (2013) arXiv:1211.5554 DOI
[48]
O. Gühne et al., “Entanglement and nonclassical properties of hypergraph states”, Journal of Physics A: Mathematical and Theoretical 47, 335303 (2014) arXiv:1404.6492 DOI
[49]
D. W. Lyons et al., “Local unitary symmetries of hypergraph states”, Journal of Physics A: Mathematical and Theoretical 48, 095301 (2015) arXiv:1410.3904 DOI
[50]
G. Zhu et al., “Non-Clifford and parallelizable fault-tolerant logical gates on constant and almost-constant rate homological quantum LDPC codes via higher symmetries”, (2024) arXiv:2310.16982
[51]
D. Hangleiter et al., “Fault-tolerant compiling of classically hard IQP circuits on hypercubes”, (2024) arXiv:2404.19005
[52]
O. Oreshkov, T. A. Brun, and D. A. Lidar, “Fault-Tolerant Holonomic Quantum Computation”, Physical Review Letters 102, (2009) arXiv:0806.0875 DOI
[53]
O. Oreshkov, T. A. Brun, and D. A. Lidar, “Scheme for fault-tolerant holonomic computation on stabilizer codes”, Physical Review A 80, (2009) arXiv:0904.2143 DOI
[54]
P. Zanardi and M. Rasetti, “Holonomic quantum computation”, Physics Letters A 264, 94 (1999) arXiv:quant-ph/9904011 DOI
[55]
G. Duclos-Cianci and D. Poulin, “Reducing the quantum-computing overhead with complex gate distillation”, Physical Review A 91, (2015) arXiv:1403.5280 DOI
[56]
N. Rengaswamy et al., “Logical Clifford Synthesis for Stabilizer Codes”, IEEE Transactions on Quantum Engineering 1, 1 (2020) arXiv:1907.00310 DOI
[57]
B. Reid, “A simple method for compiling quantum stabilizer circuits”, (2024) arXiv:2404.19408
[58]
N. Delfosse and E. Tham, “Low-cost noise reduction for Clifford circuits”, (2024) arXiv:2407.06583
[59]
D. M. Debroy and K. R. Brown, “Extended flag gadgets for low-overhead circuit verification”, Physical Review A 102, (2020) arXiv:2009.07752 DOI
[60]
C. Gidney, “Stim: a fast stabilizer circuit simulator”, Quantum 5, 497 (2021) arXiv:2103.02202 DOI
[61]
G. Zhang and Y. Li, “Time-efficient logical operations on quantum LDPC codes”, (2024) arXiv:2408.01339
[62]
Y. Ouyang, “Robust projective measurements through measuring code-inspired observables”, npj Quantum Information 10, (2024) arXiv:2402.04093 DOI
[63]
D. P. DiVincenzo and P. Aliferis, “Effective Fault-Tolerant Quantum Computation with Slow Measurements”, Physical Review Letters 98, (2007) arXiv:quant-ph/0607047 DOI
[64]
S. Vittal et al., “Flag Proxy Networks: Tackling the Architectural, Scheduling, and Decoding Obstacles of Quantum LDPC codes”, (2024) arXiv:2409.14283
[65]
J. C. M. de la Fuente, “Dynamical weight reduction of Pauli measurements”, (2024) arXiv:2410.12527
[66]
M.-H. Hsieh and F. Le Gall, “NP-hardness of decoding quantum error-correction codes”, Physical Review A 83, (2011) arXiv:1009.1319 DOI
[67]
Kuo, Kao-Yueh, and Chung-Chin Lu. "On the hardness of decoding quantum stabilizer codes under the depolarizing channel." 2012 International Symposium on Information Theory and its Applications. IEEE, 2012.
[68]
P. Iyer and D. Poulin, “Hardness of decoding quantum stabilizer codes”, (2013) arXiv:1310.3235
[69]
B. M. Terhal, “Quantum error correction for quantum memories”, Reviews of Modern Physics 87, 307 (2015) arXiv:1302.3428 DOI
[70]
N. Delfosse et al., “Splitting decoders for correcting hypergraph faults”, (2023) arXiv:2309.15354
[71]
H. Ollivier and J.-P. Tillich, “Trellises for stabilizer codes: Definition and uses”, Physical Review A 74, (2006) arXiv:quant-ph/0512041 DOI
[72]
D. Cruz, F. A. Monteiro, and B. C. Coutinho, “Quantum Error Correction Via Noise Guessing Decoding”, IEEE Access 11, 119446 (2023) arXiv:2208.02744 DOI
[73]
S. Krastanov and L. Jiang, “Deep Neural Network Probabilistic Decoder for Stabilizer Codes”, Scientific Reports 7, (2017) arXiv:1705.09334 DOI
[74]
J. Old and M. Rispler, “Generalized Belief Propagation Algorithms for Decoding of Surface Codes”, Quantum 7, 1037 (2023) arXiv:2212.03214 DOI
[75]
J. S. Yedidia, W. T. Freeman, and Y. Weiss, Generalized belief propagation, in NIPS, Vol. 13 (2000) pp. 689–695.
[76]
R. J. Harris et al., “Decoding holographic codes with an integer optimization decoder”, Physical Review A 102, (2020) arXiv:2008.10206 DOI
[77]
O. Shtanko et al., “Bounds on Autonomous Quantum Error Correction”, (2023) arXiv:2308.16233
[78]
K. Shiraishi, H. Yamasaki, and M. Murao, “Efficient decoding of stabilizer code by single-qubit local operations and classical communication”, (2023) arXiv:2308.14054
[79]
M. Cain et al., “Correlated decoding of logical algorithms with transversal gates”, (2024) arXiv:2403.03272
[80]
O. Higgott and C. Gidney, “Sparse Blossom: correcting a million errors per core second with minimum-weight matching”, (2023) arXiv:2303.15933
[81]
P.-J. H. S. Derks et al., “Designing fault-tolerant circuits using detector error models”, (2024) arXiv:2407.13826
[82]
Y. Shi, A. Patil, and S. Guha, “Stabilizer Entanglement Distillation and Efficient Fault-Tolerant Encoder”, (2024) arXiv:2408.06299
[83]
K.-Y. Kuo and Y. Ouyang, “Degenerate quantum erasure decoding”, (2024) arXiv:2411.13509
[84]
P. W. Shor, “Fault-tolerant quantum computation”, (1997) arXiv:quant-ph/9605011
[85]
D. P. DiVincenzo and P. W. Shor, “Fault-Tolerant Error Correction with Efficient Quantum Codes”, Physical Review Letters 77, 3260 (1996) arXiv:quant-ph/9605031 DOI
[86]
T. Tansuwannont, B. Pato, and K. R. Brown, “Adaptive syndrome measurements for Shor-style error correction”, Quantum 7, 1075 (2023) arXiv:2208.05601 DOI
[87]
Yoder, Theodore., DSpace@MIT Practical Fault-Tolerant Quantum Computation (2018)
[88]
C. M. Dawson, H. L. Haselgrove, and M. A. Nielsen, “Noise thresholds for optical cluster-state quantum computation”, Physical Review A 73, (2006) arXiv:quant-ph/0601066 DOI
[89]
E. Knill, “Scalable Quantum Computation in the Presence of Large Detected-Error Rates”, (2004) arXiv:quant-ph/0312190
[90]
P. Aliferis and J. Preskill, “Fibonacci scheme for fault-tolerant quantum computation”, Physical Review A 79, (2009) arXiv:0809.5063 DOI
[91]
C. Chamberland and M. E. Beverland, “Flag fault-tolerant error correction with arbitrary distance codes”, Quantum 2, 53 (2018) arXiv:1708.02246 DOI
[92]
N. Rengaswamy et al., “Distilling GHZ States using Stabilizer Codes”, (2022) arXiv:2109.06248
[93]
B. Anker and M. Marvian, “Flag Gadgets based on Classical Codes”, (2024) arXiv:2212.10738
[94]
H. Choi et al., “Fault Tolerant Non-Clifford State Preparation for Arbitrary Rotations”, (2023) arXiv:2303.17380
[95]
S. Heußen and J. Hilder, “Efficient fault-tolerant code switching via one-way transversal CNOT gates”, (2024) arXiv:2409.13465
[96]
D. J. Williamson and T. J. Yoder, “Low-overhead fault-tolerant quantum computation by gauging logical operators”, (2024) arXiv:2410.02213
[97]
E. Dennis et al., “Topological quantum memory”, Journal of Mathematical Physics 43, 4452 (2002) arXiv:quant-ph/0110143 DOI
[98]
A. A. Kovalev and L. P. Pryadko, “Fault tolerance of quantum low-density parity check codes with sublinear distance scaling”, Physical Review A 87, (2013) arXiv:1208.2317 DOI
[99]
A. A. Kovalev and L. P. Pryadko, “Spin glass reflection of the decoding transition for quantum error correcting codes”, (2014) arXiv:1311.7688
[100]
C. T. Chubb and S. T. Flammia, “Statistical mechanical models for quantum codes with correlated noise”, Annales de l’Institut Henri Poincaré D, Combinatorics, Physics and their Interactions 8, 269 (2021) arXiv:1809.10704 DOI
[101]
Y. Zhao and D. E. Liu, “Extracting Error Thresholds through the Framework of Approximate Quantum Error Correction Condition”, (2023) arXiv:2312.16991
[102]
E. Knill, R. Laflamme, and W. H. Zurek, “Resilient quantum computation: error models and thresholds”, Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences 454, 365 (1998) arXiv:quant-ph/9702058 DOI
[103]
D. Aharonov and M. Ben-Or, “Fault-Tolerant Quantum Computation With Constant Error Rate”, (1999) arXiv:quant-ph/9906129
[104]
J. Preskill, “Reliable quantum computers”, Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences 454, 385 (1998) arXiv:quant-ph/9705031 DOI
[105]
P. Aliferis, D. Gottesman, and J. Preskill, “Quantum accuracy threshold for concatenated distance-3 codes”, (2005) arXiv:quant-ph/0504218
[106]
R. Matsumoto, “Conversion of a general quantum stabilizer code to an entanglement distillation protocol”, Journal of Physics A: Mathematical and General 36, 8113 (2003) arXiv:quant-ph/0209091 DOI
[107]
J. Preskill. Lecture notes on Quantum Computation. (1997–2020) URL
[108]
M. Grassl, “Classical Information Theory and Classical Error Correction”, Lectures on Quantum Information 3 (2006) DOI
[109]
M. Grassl, “Searching for linear codes with large minimum distance”, Algorithms and Computation in Mathematics 287 DOI
[110]
N. Aydin, P. Liu, and B. Yoshino, “Polycyclic Codes Associated with Trinomials: Good Codes and Open Questions”, (2021) arXiv:2106.12065
[111]
N. Aydin, P. Liu, and B. Yoshino, “A Database of Quantum Codes”, (2021) arXiv:2108.03567
[112]
C. J. Trout and K. R. Brown, “Magic state distillation and gate compilation in quantum algorithms for quantum chemistry”, International Journal of Quantum Chemistry 115, 1296 (2015) DOI
[113]
K. Goodenough et al., “Near-Term n to k Distillation Protocols Using Graph Codes”, IEEE Journal on Selected Areas in Communications 42, 1830 (2024) arXiv:2303.11465 DOI
[114]
S. Bravyi et al., “How much entanglement is needed for quantum error correction?”, (2024) arXiv:2405.01332
[115]
R. A. Wolf, “Quantum Error Correction for Kids”, (2024) arXiv:2405.06795
[116]
L. G. Gunderman, “Local-dimension-invariant qudit stabilizer codes”, Physical Review A 101, (2020) arXiv:1910.08122 DOI
[117]
A. J. Moorthy and L. G. Gunderman, “Local-dimension-invariant Calderbank-Shor-Steane Codes with an Improved Distance Promise”, (2021) arXiv:2110.11510
[118]
L. G. Gunderman, “Degenerate local-dimension-invariant stabilizer codes and an alternative bound for the distance preservation condition”, Physical Review A 105, (2022) arXiv:2110.15274 DOI
[119]
A. Kitaev, “Anyons in an exactly solved model and beyond”, Annals of Physics 321, 2 (2006) arXiv:cond-mat/0506438 DOI
[120]
S. Bravyi, B. M. Terhal, and B. Leemhuis, “Majorana fermion codes”, New Journal of Physics 12, 083039 (2010) arXiv:1004.3791 DOI
[121]
F. Pastawski et al., “Holographic quantum error-correcting codes: toy models for the bulk/boundary correspondence”, Journal of High Energy Physics 2015, (2015) arXiv:1503.06237 DOI
[122]
D. Schlingemann, “Stabilizer codes can be realized as graph codes”, (2001) arXiv:quant-ph/0111080
[123]
M. Van den Nest, J. Dehaene, and B. De Moor, “Graphical description of the action of local Clifford transformations on graph states”, Physical Review A 69, (2004) arXiv:quant-ph/0308151 DOI
[124]
M. Grassl, A. Klappenecker, and M. Rotteler, “Graphs, quadratic forms, and quantum codes”, Proceedings IEEE International Symposium on Information Theory, arXiv:quant-ph/0703112 DOI
[125]
J. Bausch and F. Leditzky, “Error Thresholds for Arbitrary Pauli Noise”, SIAM Journal on Computing 50, 1410 (2021) arXiv:1910.00471 DOI
[126]
B. J. Brown and S. Roberts, “Universal fault-tolerant measurement-based quantum computation”, Physical Review Research 2, (2020) arXiv:1811.11780 DOI
[127]
C. Cafaro, D. Markham, and P. van Loock, “Scheme for constructing graphs associated with stabilizer quantum codes”, (2014) arXiv:1407.2777
[128]
D. Bacon and A. Casaccino, “Quantum Error Correcting Subsystem Codes From Two Classical Linear Codes”, (2006) arXiv:quant-ph/0610088
[129]
E. Farhi and S. P. Jordan, “Efficiently constructing a quantum uniform superposition over bit strings near a binary linear code”, (2024) arXiv:2404.16129
[130]
E. T. Campbell, “A theory of single-shot error correction for adversarial noise”, Quantum Science and Technology 4, 025006 (2019) arXiv:1805.09271 DOI
[131]
R. Kueng and D. Gross, “Qubit stabilizer states are complex projective 3-designs”, (2015) arXiv:1510.02767
[132]
H. Zhu, “Multiqubit Clifford groups are unitary 3-designs”, Physical Review A 96, (2017) arXiv:1510.02619 DOI
[133]
Z. Webb, “The Clifford group forms a unitary 3-design”, (2016) arXiv:1510.02769
[134]
Y. Ouyang, “Avoiding coherent errors with rotated concatenated stabilizer codes”, npj Quantum Information 7, (2021) arXiv:2010.00538 DOI
[135]
R. Duan et al., “Multi-error-correcting amplitude damping codes”, 2010 IEEE International Symposium on Information Theory (2010) arXiv:1001.2356 DOI
[136]
V. Kliuchnikov and S. Schönnenbeck, “Stabilizer operators and Barnes-Wall lattices”, (2024) arXiv:2404.17677
[137]
P. Faist et al., “Time-Energy Uncertainty Relation for Noisy Quantum Metrology”, PRX Quantum 4, (2023) arXiv:2207.13707 DOI
[138]
D. Ueno and R. Matsumoto, “Explicit method to make shortened stabilizer EAQECC from stabilizer QECC”, (2022) arXiv:2205.13732
[139]
I. Kremsky, M.-H. Hsieh, and T. A. Brun, “Classical enhancement of quantum-error-correcting codes”, Physical Review A 78, (2008) arXiv:0802.2414 DOI
[140]
Y. Ouyang, Y. Jing, and G. K. Brennen, “Measurement-free code-switching for low overhead quantum computation using permutation invariant codes”, (2024) arXiv:2411.13142
[141]
D. Gottesman. Surviving as a quantum computer in a classical world (2024) URL
[142]
J. Haah et al., “Magic state distillation with low space overhead and optimal asymptotic input count”, Quantum 1, 31 (2017) arXiv:1703.07847 DOI
[143]
Webster, Mark. The XP Stabilizer Formalism. Dissertation, University of Sydney, 2023.
Page edit log

Your contribution is welcome!

on github.com (edit & pull request)— see instructions

edit on this site

Zoo Code ID: qubit_stabilizer

Cite as:
“Qubit stabilizer code”, The Error Correction Zoo (V. V. Albert & P. Faist, eds.), 2022. https://errorcorrectionzoo.org/c/qubit_stabilizer
BibTeX:
@incollection{eczoo_qubit_stabilizer, title={Qubit stabilizer code}, booktitle={The Error Correction Zoo}, year={2022}, editor={Albert, Victor V. and Faist, Philippe}, url={https://errorcorrectionzoo.org/c/qubit_stabilizer} }
Share via:
Twitter | Mastodon |  | E-mail
Permanent link:
https://errorcorrectionzoo.org/c/qubit_stabilizer

Cite as:

“Qubit stabilizer code”, The Error Correction Zoo (V. V. Albert & P. Faist, eds.), 2022. https://errorcorrectionzoo.org/c/qubit_stabilizer

Github: https://github.com/errorcorrectionzoo/eczoo_data/edit/main/codes/quantum/qubits/stabilizer/qubit_stabilizer.yml.