Five-qubit perfect code

Five-qubit perfect code[1,2]

Alternative names: Laflamme code.

Description

Five-qubit cyclic stabilizer code that is the smallest qubit stabilizer code to correct a single-qubit error.

Code generators are symmetric under cyclic permutation of qubits, \begin{align} \begin{split} S_1 &= XZZXI \\ S_2 &= IXZZX \\ S_3 &= XIXZZ \\ S_4 &= ZXIXZ~. \end{split} \tag*{(1)}\end{align} The code's automorphism group is the dihedral group of order 10 [3]. The encoder-respecting form of the code is a pentagon graph with an additional central input node [4].

It is the unique code for its parameters, up to equivalence [5; Corr. 10]. Any 5 qubit \(2T\)-transversal stabilizer code with distance \(d>1\) must be the five-qubit code [6,7].

This code is sometimes referred to as the DiVincenzo-Shor code after a paper that studied the code's syndrome extraction circuits [8]

Protection

Smallest stabilizer code that protects against a single error on any one qubit. Detects two-qubit errors.

Encoding

Four generalized control gates, four Hadamard, and one \(Z\) gate [9; Fig. 10.16].Four CNOT and five CPHASE gates [10].Reinforcement learning encoding circuits [11].Fault-tolerant logical one and logical minus state preparation in all-to-all and 2D grid connectivity [11].

Transversal Gates

Pauli gates are transversal, along with a non-Pauli Hadamard-phase "facet" gate \(SH\) and three-qubit Clifford operation \(M_3\) [12,13]. These realize the \(2T\) binary tetrahedral subgroup of \(SU(2)\).The code does not admit any non-Clifford transversal gates [5]; in particular, see [14] for the case of collective \(Z\) rotations.All transversal gates can be interpreted as monodromies under a particular notion of parallel transport [15; Exam. 6.4.2].

Gates

Magic-state distillation protocol [16].Pieceable fault-tolerant CZ, CNOT, and CCZ gates [17].

Decoding

Fault-tolerant syndrome extraction circuits [8,18].Syndrome extraction circuit using only CNOT-SWAP gates [19].Combined dynamical decoupling and error correction protocol on individually-controlled qubits with always-on Ising couplings [10].Symmetric decoder correcting all weight-one Pauli errors. The resulting logical error channel after coherent noise has been explicitly derived [20].Inspired by the honeycomb Floquet code, various weight-two measurement schemes have been designed [21].

Fault Tolerance

Pieceable fault-tolerant CZ, CNOT, and CCZ gates [17].Syndrome measurement can be done with two ancillary flag qubits [22]. The depth of syndrome extraction circuits can be lowered by using past syndrome values [23].Fault-tolerant logical one and logical minus state preparation in all-to-all and 2D grid connectivity [11].Inspired by the honeycomb Floquet code, various weight-two measurement schemes have been designed [21].

Threshold

Numerical study of concatenated thresholds of logical CNOT gates for various codes against depolarizing noise [24].

Realizations

NMR: Implementation of perfect error correcting code on 5 spin subsystem of labeled crotonic acid for quantum network benchmarking [25]. Single-qubit logical gates [26]. Magic-state distillation using 7-qubit device [27].Superconducting qubits [28].Trapped-ion qubits: non-transversal CNOT gate between two logical qubits, including rounds of correction and fault-tolerant primitives such as flag qubits and pieceable fault tolerance, on a 12-qubit device by Quantinuum [29]. Real-time magic-state distillation [30].Nitrogen-vacancy centers in diamond: fault-tolerant single-qubit Clifford operations using two ancillas [31]. The fault-tolerant circuit yields better fidelity than the non-fault-tolerant circuit.

Cousins

Majorana stabilizer code— The five-qubit code Hamiltonian is local when expressed in terms of mutually commuting Majorana operators [32].
Qubit code— Every \(((5,2,3))\) code is single-qubit-Clifford-equivalent to the five-qubit code [5; Corr. 10].
Concatenated qubit code— The recursively concatenated five-qubit code has a measurement threshold of one [33]. Code performance against general Pauli channels has been worked out [34,35].
Cluster-state code— The five-qubit code admits a codeword that is the cluster state of the pentagon graph [36,37].
Codeword stabilized (CWS) code— The five-qubit perfect code is equivalent via a single-qubit Clifford circuit to a CWS code defined from a five-cycle graph and a classical repetition code [38,39][40; Table I].
Hastings-Haah Floquet code— Inspired by the honeycomb Floquet code, various weight-two measurement schemes have been designed for the five-qubit code [21].
Hexacode— Applying the qubit Hermitian construction to the hexacode yields a \([[6,0,4]]\) quantum code [41] corresponding to the six-qubit AME state. The five-qubit code can be obtained either by applying the qubit Hermitian construction to the shortened hexacode [42; Exam. A] or by tracing out a qubit of the \([[6,0,4]]\) code [43; Appx. A].
\([[10,1,4]]_{G}\) tenfold code— The \([[10,1,4]]_{G}\) Abelian group code for \(G=\mathbb{Z}_2\) is defined using a graph that is closely related to the \([[5,1,3]]\) five-qudit code [44]. The former code can be obtained by converting the latter into a code that is oblivious to collective \(Z\)-type rotations [14; Exam. 6].
Concatenated GKP code— GKP codes have been concatenated with the five-qubit code [45].
\(U(d)\)-covariant approximate erasure code— The five-qubit code can be used to construct an approximate code that is also covariant with respect to the unitary group.
Constant-excitation (CE) code— The five-qubit code can be concatenated with a particular decoherence-free subspace (DFS) [46–49] to yield a 20-qubit CE code [50,51].
\([[3, 1, 3;2]]\) EA code— The \([[3, 1, 3;2]]\) EA code and the five-qubit code have the same stabilizers [52,53].
\([[4,2,2]]\) Four-qubit code— The \([[4,2,2]]\) code can be derived from the five-qubit code using a protocol that converts an \([[n,k,d]]\) code into an \([[n-1, k+1, d-1]]\) code [13; Sec. 3.5][54; Fig. 3].
\([[6,1,3]]\) Six-qubit stabilizer code— The \([[6,1,3]]\) six-qubit code is one of two six-qubit distance-three codes that are unique up to equivalence [55], with the other code a trivial extension of the five-qubit code [56].
Holographic hybrid code— The holographic hybrid code is constructed out of alternating isometries of the five-qubit and \([[4,1,1,2]]\) Bacon-Shor codes.
Quantum divisible code— A fault-tolerant \(T\) gate on the five-qubit code can be obtained by concatenating with particular quantum divisible codes [57].

Member of code lists

Primary Hierarchy

Quantum Domain

Qubit Kingdom

Qubit codeQECC Quantum

Union stabilizer (USt) codeQECC Quantum

Qubit stabilizer codeStabilizer Hamiltonian-based Qubit QECC Quantum

Twist-defect surface codeLattice stabilizer QLDPC Stabilizer Hamiltonian-based QECC Quantum

XZZX surface codeCDSC Qubit Lattice stabilizer QLDPC Stabilizer Abelian topological Topological Hamiltonian-based QECC Quantum

Twisted XZZX toric codeCyclic quantum QECC Quantum

Parents

Twisted XZZX toric code

Twisted XZZX codes are 2D lattice extensions of the five-qubit perfect code. The five-qubit code is a small twisted XZZX toric code [40; Exam. 11 and Fig. 3][58; Exam. 3][59; Fig. 1]. Doubling the five-qubit code via the formalism of Ref. [59] yields a \([[10,2,3]]\) code.

\((5,1,2)\)-convolutional codeLattice stabilizer QLDPC Stabilizer Hamiltonian-based Qubit QECC Quantum

The \((5,1,2)\)-convolutional code is 1D lattice extension of the five-qubit perfect code, with the former's lattice-translation symmetry being the extension of the latter's cyclic permutation symmetry. The \((5,1,2)\)-convolutional code code reduces to the five-qubit code for a five-qubit chain and periodic boundary conditions. See Ref. [60] for the first few codes in a different extension of the five-qubit perfect code.

Pastawski-Yoshida-Harlow-Preskill (HaPPY) codeStabilizer Hamiltonian-based Qubit HQECC QECC Quantum

The five-qubit code is the smallest (i.e., radius-one) single-qubit HaPPY code. The five-qubit encoding isometry tiles various holographic codes because its corresponding encoding isometry tensor is a perfect tensor [43].

Perfect quantum codeSmall-distance block quantum QECC Quantum

The five-qubit code is the smallest perfect code and is a member of the perfect qubit code family \([[(4^r-1)/3, (4^r-1)/3 - 2r, 3]]\) for \(r = 2\).

Hermitian qubit codeStabilizer Hamiltonian-based Qubit QECC Quantum

The five-qubit code is derived from the \([5,3,3]_4\) shortened hexacode via the qubit Hermitian construction [41][42; Exam. A].

Quantum maximum-distance-separable (MDS) codeQECC Quantum

The five-qubit code is one of the two qubit quantum MDS codes.

Frobenius codeStabilizer Hamiltonian-based Cyclic quantum QECC Quantum

The \([[5,1,3]]\) code is the smallest qubit Frobenius code [61; Table I].

\([[5,1,3]]_{\mathbb{Z}_q}\) modular-qudit codeStabilizer Hamiltonian-based Cyclic quantum Small-distance block quantum QECC Quantum

The \([[5,1,3]]_{\mathbb{Z}_q}\) modular-qudit code for \(q=2\) reduces to the five-qubit perfect code.

\([[5,1,3]]_q\) Galois-qudit codeStabilizer Hamiltonian-based Cyclic quantum Small-distance block quantum QECC Quantum

The \([[5,1,3]]_q\) Galois-qudit code for \(q=2\) reduces to the five-qubit perfect code.

Group-representation codeQECC Quantum

The five-qubit code is a group-representation code with \(G\) being the \(2T\) subgroup of \(SU(2)\) [62].