Qubit stabilizer code[1,2] 

Also known as Pauli stabilizer code, Additive quantum code, Additive CWS 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.

Binary symplectic representation: In the binary 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 binary symplectic representation of an element from a set of generating elements of the stabilizer group. The check matrix can be brought into standard form via Gaussian elimination [3].

A pair of \(n\)-qubit stabilizers with symplectic representations \((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 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,\alpha^2,\alpha\}\) of the quaternary 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)}\).

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

Qubit stabilizer states can be expressed in terms of linear and quadratic functions over \(\mathbb{Z}_2^n\) [5]. Qubit stabilizer codes can equivalently [6] (see also [7]) be defined using graphs, yielding an analytical form for the codewords [8]. Clifford operations can be realized as operations acting on the corresponding graphs [9].

Protection

Detects errors on up to \(d-1\) qubits, and corrects erasure errors on up to \(d-1\) qubits.

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 [10], where an analogous result is states for subsystem codes; see also Ref. [11].

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

Encoding

Clifford circuits, i.e., those consisting of CNOT, Hadamard, and certain phase gates, using an algorithm [13] based on the Gottesman-Knill theorem [14] or using ZX calculus [15,16].Circuits obtained by first constructing the CWS form of the code [17,18]. 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 [19,20], 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 [21].

Transversal Gates

All stabilizer codes realize Pauli transformations transversally; for a single logical qubit, these a realize dicyclic subgroup of \(SU(2)\). Several algorithms exist for finding logical Pauli operators [2,22,23].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 [24] (see also [25,26]). Transversal gates for \(n\in\{1,2\}\) are semi-Clifford [27].No stabilizer code can implement a classical universal gate set transversally [28].

Gates

Logical Clifford gates can be performed by physical Clifford circuits that permute logical Pauli operators [23].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 [29].Gates in the Clifford hierarchy can be done using gate teleportation, in which a gate can be obtained from a particular magic state [30,31]. Such protocols can be made fault tolerant with the help of magic-state distillation [32]. There exist various performance metrics for magic-state distillation [3336]. The Hadamard gate cannot be obtained from a magic state [37].Logical circuit synthesis (LCS) taking in a code and a logical Clifford operation and producing a circuit acting on the physical qubits [38].

Decoding

The structure of stabilizer codes allows for syndrome-based decoding, where errors are corrected based on the results of stabilizer measurements (syndromes). The size of the circuit extracting the syndrome depends on the weight of its corresponding stabilizer generator.MPE decoding, i.e., the process of finding the most likely error, is \(NP\)-complete in general [39,40]. 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 [41].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 [42], slowing down the computation.Splitting decoders [43].Trellis decoder, which builds a compact representation of the algebraic structure of the normalizer \(\mathsf{N(S)}\) [44].Quantum extension of GRAND decoder [45].Deep neural-network probabilistic decoder [46].Generalized belief propagation (GBP) [47] based on a classical version [48].For codes encoding a single logical qubit, logical information can be extracted by single-qubit operations and classical communication [49].Correlated decoding can improve performance of Clifford and non-Clifford entangling gates [50].

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 [30,31]. Such protocols can be made fault tolerant with the help of magic-state distillation [32].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 [29].Shor error correction [51,52], in which fault tolerance against syndrome extraction errors is ensured by simply repeating syndrome measurements. A modification uses adaptive measurements [53].Generalization of Steane error correction stabilizer codes [54; Sec. 3.6].Fault-tolerant error correction scheme by Knill (a.k.a. telecorrection [55]), which is based on teleportation [56,57].GHz state distillation for Steane error correction [58].Syndrome extraction using flag qubits and classical codes [59].

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 [6063]. The AQEC relative entropy is related to the resulting threshold [64].

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 [6568]. 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.

Notes

Introductions to stabilizer codes can be found in [2,69,70].Tables of bounds and examples of stabilizer codes for various \(n\) and \(k\), based on algorithms developed in Ref. [71], are maintained by M. Grassl at this website.Stabilizer error-recovery circuits can be simulated efficiently using dedicated software (e.g., STIM [72]).There is a correspondence between stabilizer codes and bilocal Clifford entanglement distillation circuits [73].

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 — The XP stabilizer formalism reduces to the Pauli formalism at \(N=2\).
  • 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 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 [74]. Various bounds exist on the distance of the resulting codes [75,76].
  • Galois-qudit stabilizer code — Galois-qudit stabilizer codes for \(q=2\) correspond to qubit stabilizer codes.
  • Operator-algebra qubit stabilizer code

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.
  • 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 [82; 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.
  • Dual linear code — Qubit stabilizer codes are in one-to-one correspondence with symplectic self-orthogonal binary linear codes of length \(2n\) via the binary 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 [83].
  • Kerdock code — Kerdock codes can be used to form a subset of stabilizer states, and the corresponding Clifford-group automorphisms of this set form a particular group [84] that is a unitary two-design [85].
  • Metrological code — A joint \(+1\) and \(-1\) eigenstate of a set of stabilizer can form a metrological stabilizer code [86].
  • Spacetime circuit code — Spacetime circuit codes are useful for constructing fault-tolerant syndrome extraction circuits for qubit stabilizer codes.
  • Movassagh-Ouyang Hamiltonian code — Many, but not all, Movassagh-Ouyang codes are stabilizer codes.
  • 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.
  • 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 CSS code — Qubit CSS codes are qubit stabilizer codes whose stabilizer groups admit a generating set of pure-\(X\) and pure-\(Z\) Pauli strings. Any \([[n,k,d]]\) stabilizer code can be mapped onto a \([[2n,2k,\geq d]]\) CSS code, with the mapping preserving geometric locality of a code up to a constant factor [87] (see also [78]). For any non-CSS 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 \(Q\) is an element of an XP stabilizer group [88; Prop. B.3.1].
  • Subsystem qubit stabilizer code — Subsystem stabilizer codes reduce to 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]
M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information (Cambridge University Press, 2012) DOI
[4]
Z. Yi et al., “Improved belief propagation decoding algorithm based on decoupling representation of Pauli operators for quantum LDPC codes”, (2023) arXiv:2305.17505
[5]
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
[6]
D. Schlingemann, “Stabilizer codes can be realized as graph codes”, (2001) arXiv:quant-ph/0111080
[7]
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
[8]
D. Schlingemann and R. F. Werner, “Quantum error-correcting codes associated with graphs”, Physical Review A 65, (2001) arXiv:quant-ph/0012111 DOI
[9]
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
[10]
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
[11]
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
[12]
D. Lee and B. Yoshida, “Randomly Monitored Quantum Codes”, (2024) arXiv:2402.00145
[13]
A. B. Khesin, J. Z. Lu, and P. W. Shor, “Graphical quantum Clifford-encoder compilers from the ZX calculus”, (2024) arXiv:2301.02356
[14]
S. Aaronson and D. Gottesman, “Improved simulation of stabilizer circuits”, Physical Review A 70, (2004) arXiv:quant-ph/0406196 DOI
[15]
B. Coecke and R. Duncan, “Interacting Quantum Observables”, Automata, Languages and Programming 298 DOI
[16]
B. Coecke and R. Duncan, “Interacting quantum observables: categorical algebra and diagrammatics”, New Journal of Physics 13, 043016 (2011) arXiv:0906.4725 DOI
[17]
I. Chuang et al., “Codeword stabilized quantum codes: Algorithm and structure”, Journal of Mathematical Physics 50, (2009) arXiv:0803.3232 DOI
[18]
A. Cross et al., “Codeword Stabilized Quantum Codes”, IEEE Transactions on Information Theory 55, 433 (2009) arXiv:0708.1021 DOI
[19]
J. P. Paz and W. H. Zurek, “Continuous Error Correction”, (1997) arXiv:quant-ph/9707049
[20]
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
[21]
R. König and F. Pastawski, “Generating topological order: No speedup by dissipation”, Physical Review B 90, (2014) arXiv:1310.1037 DOI
[22]
M. M. Wilde, “Logical operators of quantum codes”, Physical Review A 79, (2009) arXiv:0903.5256 DOI
[23]
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
[24]
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
[25]
B. Zeng, A. Cross, and I. L. Chuang, “Transversality versus Universality for Additive Quantum Codes”, (2007) arXiv:0706.1382
[26]
J. T. Anderson and T. Jochym-O’Connor, “Classification of transversal gates in qubit stabilizer codes”, (2014) arXiv:1409.8320
[27]
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
[28]
M. Newman and Y. Shi, “Limitations on Transversal Computation through Quantum Homomorphic Encryption”, (2017) arXiv:1704.07798
[29]
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
[30]
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
[31]
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
[32]
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
[33]
G. Vidal and R. Tarrach, “Robustness of entanglement”, Physical Review A 59, 141 (1999) arXiv:quant-ph/9806094 DOI
[34]
M. Heinrich and D. Gross, “Robustness of Magic and Symmetries of the Stabiliser Polytope”, Quantum 3, 132 (2019) arXiv:1807.10296 DOI
[35]
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
[36]
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
[37]
B. D. M. Jones, N. Linden, and P. Skrzypczyk, “The Hadamard gate cannot be replaced by a resource state in universal quantum computation”, (2024) arXiv:2312.03515
[38]
N. Rengaswamy et al., “Logical Clifford Synthesis for Stabilizer Codes”, IEEE Transactions on Quantum Engineering 1, 1 (2020) arXiv:1907.00310 DOI
[39]
M.-H. Hsieh and F. Le Gall, “NP-hardness of decoding quantum error-correction codes”, Physical Review A 83, (2011) arXiv:1009.1319 DOI
[40]
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.
[41]
P. Iyer and D. Poulin, “Hardness of decoding quantum stabilizer codes”, (2013) arXiv:1310.3235
[42]
B. M. Terhal, “Quantum error correction for quantum memories”, Reviews of Modern Physics 87, 307 (2015) arXiv:1302.3428 DOI
[43]
N. Delfosse et al., “Splitting decoders for correcting hypergraph faults”, (2023) arXiv:2309.15354
[44]
H. Ollivier and J.-P. Tillich, “Trellises for stabilizer codes: Definition and uses”, Physical Review A 74, (2006) arXiv:quant-ph/0512041 DOI
[45]
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
[46]
S. Krastanov and L. Jiang, “Deep Neural Network Probabilistic Decoder for Stabilizer Codes”, Scientific Reports 7, (2017) arXiv:1705.09334 DOI
[47]
J. Old and M. Rispler, “Generalized Belief Propagation Algorithms for Decoding of Surface Codes”, Quantum 7, 1037 (2023) arXiv:2212.03214 DOI
[48]
J. S. Yedidia, W. T. Freeman, and Y. Weiss, Generalized belief propagation, in NIPS, Vol. 13 (2000) pp. 689–695.
[49]
K. Shiraishi, H. Yamasaki, and M. Murao, “Efficient decoding of stabilizer code by single-qubit local operations and classical communication”, (2023) arXiv:2308.14054
[50]
M. Cain et al., “Correlated decoding of logical algorithms with transversal gates”, (2024) arXiv:2403.03272
[51]
P. W. Shor, “Fault-tolerant quantum computation”, (1997) arXiv:quant-ph/9605011
[52]
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
[53]
T. Tansuwannont, B. Pato, and K. R. Brown, “Adaptive syndrome measurements for Shor-style error correction”, Quantum 7, 1075 (2023) arXiv:2208.05601 DOI
[54]
Yoder, Theodore., DSpace@MIT Practical Fault-Tolerant Quantum Computation (2018)
[55]
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
[56]
E. Knill, “Quantum computing with realistically noisy devices”, Nature 434, 39 (2005) arXiv:quant-ph/0410199 DOI
[57]
E. Knill, “Scalable Quantum Computation in the Presence of Large Detected-Error Rates”, (2004) arXiv:quant-ph/0312190
[58]
N. Rengaswamy et al., “Distilling GHZ States using Stabilizer Codes”, (2022) arXiv:2109.06248
[59]
B. Anker and M. Marvian, “Flag Gadgets based on Classical Codes”, (2024) arXiv:2212.10738
[60]
E. Dennis et al., “Topological quantum memory”, Journal of Mathematical Physics 43, 4452 (2002) arXiv:quant-ph/0110143 DOI
[61]
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
[62]
A. A. Kovalev and L. P. Pryadko, “Spin glass reflection of the decoding transition for quantum error correcting codes”, (2014) arXiv:1311.7688
[63]
C. T. Chubb and S. T. Flammia, “Statistical mechanical models for quantum codes with correlated noise”, Annales de l’Institut Henri Poincaré D 8, 269 (2021) arXiv:1809.10704 DOI
[64]
Y. Zhao and D. E. Liu, “Extracting Error Thresholds through the Framework of Approximate Quantum Error Correction Condition”, (2023) arXiv:2312.16991
[65]
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
[66]
D. Aharonov and M. Ben-Or, “Fault-Tolerant Quantum Computation With Constant Error Rate”, (1999) arXiv:quant-ph/9906129
[67]
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
[68]
P. Aliferis, D. Gottesman, and J. Preskill, “Quantum accuracy threshold for concatenated distance-3 codes”, (2005) arXiv:quant-ph/0504218
[69]
J. Preskill. Lecture notes on Quantum Computation. (1997–2020) URL
[70]
M. Grassl, “Classical Information Theory and Classical Error Correction”, Lectures on Quantum Information 3 (2006) DOI
[71]
M. Grassl, “Searching for linear codes with large minimum distance”, Discovering Mathematics with Magma 287 DOI
[72]
C. Gidney, “Stim: a fast stabilizer circuit simulator”, Quantum 5, 497 (2021) arXiv:2103.02202 DOI
[73]
K. Goodenough et al., “Near-term \(n\) to \(k\) distillation protocols using graph codes”, (2023) arXiv:2303.11465
[74]
L. G. Gunderman, “Local-dimension-invariant qudit stabilizer codes”, Physical Review A 101, (2020) arXiv:1910.08122 DOI
[75]
A. J. Moorthy and L. G. Gunderman, “Local-dimension-invariant Calderbank-Shor-Steane Codes with an Improved Distance Promise”, (2021) arXiv:2110.11510
[76]
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
[77]
A. Kitaev, “Anyons in an exactly solved model and beyond”, Annals of Physics 321, 2 (2006) arXiv:cond-mat/0506438 DOI
[78]
S. Bravyi, B. M. Terhal, and B. Leemhuis, “Majorana fermion codes”, New Journal of Physics 12, 083039 (2010) arXiv:1004.3791 DOI
[79]
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
[80]
J. Bausch and F. Leditzky, “Error Thresholds for Arbitrary Pauli Noise”, SIAM Journal on Computing 50, 1410 (2021) arXiv:1910.00471 DOI
[81]
B. J. Brown and S. Roberts, “Universal fault-tolerant measurement-based quantum computation”, Physical Review Research 2, (2020) arXiv:1811.11780 DOI
[82]
D. Bacon and A. Casaccino, “Quantum Error Correcting Subsystem Codes From Two Classical Linear Codes”, (2006) arXiv:quant-ph/0610088
[83]
E. T. Campbell, “A theory of single-shot error correction for adversarial noise”, Quantum Science and Technology 4, 025006 (2019) arXiv:1805.09271 DOI
[84]
A. Calderbank et al., “Z\({}_{\text{4}}\) -Kerdock Codes, Orthogonal Spreads, and Extremal Euclidean Line-Sets”, Proceedings of the London Mathematical Society 75, 436 (1997) DOI
[85]
T. Can et al., “Kerdock Codes Determine Unitary 2-Designs”, IEEE Transactions on Information Theory 66, 6104 (2020) arXiv:1904.07842 DOI
[86]
P. Faist et al., “Time-Energy Uncertainty Relation for Noisy Quantum Metrology”, PRX Quantum 4, (2023) arXiv:2207.13707 DOI
[87]
M. L. Liu, N. Tantivasadakarn, and V. V. Albert, “Subsystem CSS codes, a tighter stabilizer-to-CSS mapping, and Goursat’s Lemma”, (2023) arXiv:2311.18003
[88]
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.