Five-qubit error correcting code

Quantum circuit that measures stabilizers in the five qubit error correcting code

The five-qubit error correcting code or the [[5,1,3]] code, is the smallest quantum error correcting code that can protect a logical qubit from any arbitrary single qubit error.^[1] In this code, 5 physical qubits are used to encode the logical qubit.^[2] With ${\displaystyle X}$ and ${\displaystyle Z}$ being Pauli matrices and ${\displaystyle I}$ the Identity matrix, this code's generators are ${\displaystyle \langle XZZXI,IXZZX,XIXZZ,ZXIXZ\rangle }$. Its logical operators are ${\displaystyle {\bar {X}}=XXXXX}$ and ${\displaystyle {\bar {Z}}=ZZZZZ}$.^[3] Once the logical qubit is encoded, errors on the physical qubits can be detected via stabilizer measurements. A lookup table that maps the results of the stabilizer measurements to the types and locations of the errors gives the control system of the quantum computer enough information to correct errors.^[4]

History

Peter Shor original quantum error correcting code of 1995, used 9 qubits. The five-qubit error correcting code was published independently by two groups in 1996: by Raymond Laflamme, Cesar Miquel, Juan Pablo Paz, Wojciech H. Zurek.^[5] and by Charles H. Bennett, David DiVincenzo, John A. Smolin and William Wootters.^[6]

Measurements

${\displaystyle {\bar {Z}}}$ Parity measurement circuit

Stabilizer measurements are parity measurements that measure the stabilizers of physical qubits.^[7] For example, to measure the first stabilizer (${\displaystyle XZZXI}$), a parity measurement of ${\displaystyle X}$ of the first qubit, ${\displaystyle Z}$ on the second, ${\displaystyle Z}$ on the third, ${\displaystyle X}$ on the fourth, and ${\displaystyle I}$ on the fifth is performed. Since there are four stabilizers, 4 ancillas will be used to measure them. The first 4 qubits in the image above are the ancillas. The resulting bits from the ancillas is the syndrome; which encodes the type of error that occurred and its location.

A logical qubit can be measured in the computational basis by performing a parity measurement on ${\displaystyle {\bar {Z}}}$. If the measured ancilla is ${\displaystyle 0}$, the logical qubit is ${\displaystyle |0_{\rm {L}}\rangle }$. If the measured ancilla is ${\displaystyle 1}$, the logical qubit is ${\displaystyle |1_{\rm {L}}\rangle }$.^[8]

Error correction

It is possible to compute all the single qubit errors that can occur and how to correct them. This is done by calculating what errors commute with the stabilizers.^[4] For example, if there is an ${\displaystyle X}$ error on the first qubit and no errors on the others (${\displaystyle X_{1}=XIIII}$), it commutes with the first stabilizer ${\displaystyle [XIIII,XZZXI]=0}$. This means that if an X error occurs on the first qubit, the first ancilla qubit will be 0. The second ancilla qubit: ${\displaystyle [XIIII,IXZZX]=0}$, the third: ${\displaystyle [XIIII,XIXZZ]=0}$ and the fourth ${\displaystyle [XIIII,ZXIXZ]\neq 0}$. So if an X error occurs on the first qubit, the syndrome will be ${\displaystyle 0001}$; which is shown in the table below, to the right of ${\displaystyle X_{1}}$. Similar calculations are realized for all other possible errors to fill out the table.

${\displaystyle X_{1}}$	0001	${\displaystyle Z_{1}}$	1010	${\displaystyle Y_{1}}$	1011
${\displaystyle X_{2}}$	1000	${\displaystyle Z_{2}}$	0101	${\displaystyle Y_{2}}$	1101
${\displaystyle X_{3}}$	1100	${\displaystyle Z_{3}}$	0010	${\displaystyle Y_{3}}$	1110
${\displaystyle X_{4}}$	0110	${\displaystyle Z_{4}}$	1001	${\displaystyle Y_{4}}$	1111
${\displaystyle X_{5}}$	0011	${\displaystyle Z_{5}}$	0100	${\displaystyle Y_{5}}$	0111

To correct an error, the same operation is performed on the physical qubit based on its syndrome. If the syndrome is ${\displaystyle 0001}$, an ${\displaystyle X}$ gate is applied to the first qubit to reverse the error.

Encoding

The first step in executing error corrected quantum computation is to encode the computer's initial state by transforming the physical qubits into logical codewords. The logical codewords for the five qubit code are

${\displaystyle {\begin{aligned}|0_{\rm {L}}\rangle ={\frac {1}{4}}[&|00000\rangle +|10010\rangle +|01001\rangle +|10100\rangle +|01010\rangle -|11011\rangle -|00110\rangle -|11000\rangle \\-&|11101\rangle -|00011\rangle -|11110\rangle -|01111\rangle -|10001\rangle -|01100\rangle -|10111\rangle +|00101\rangle ],\end{aligned}}}$

${\displaystyle {\begin{aligned}|1_{\rm {L}}\rangle ={\frac {1}{4}}[&|11111\rangle +|01101\rangle +|10110\rangle +|01011\rangle +|10101\rangle -|00100\rangle -|11001\rangle -|00111\rangle \\-&|00010\rangle -|11100\rangle -|00001\rangle -|10000\rangle -|01110\rangle -|10011\rangle -|01000\rangle +|11010\rangle ].\end{aligned}}}$

Stabilizer measurements followed by a ${\displaystyle {\bar {Z}}}$ measurement can be used to encode a logical qubit into 5 physical qubits.^[9] To prepare ${\displaystyle |0_{\rm {L}}\rangle }$, perform stabilizer measurements and apply error correction. After error correction, the logical state is guaranteed to be a logical codeword. If the result of measuring ${\displaystyle {\bar {Z}}}$ is ${\displaystyle 0}$, the logical state is ${\displaystyle |0_{\rm {L}}\rangle }$. If the result is ${\displaystyle 1}$, the logical state is ${\displaystyle |1_{\rm {L}}\rangle }$ and applying ${\displaystyle {\bar {X}}}$ will transform it into ${\displaystyle |0_{\rm {L}}\rangle }$.

References

1. Gottesman, Daniel (2009). "An Introduction to Quantum Error Correction and Fault-Tolerant Quantum Computation". arXiv:0904.2557 [quant-ph].
2. Knill, E.; Laflamme, R.; Martinez, R.; Negrevergne, C. (2001). "Benchmarking Quantum Computers: The Five-Qubit Error Correcting Code". Phys. Rev. Lett. 86 (25). American Physical Society: 5811–5814. arXiv:quant-ph/0101034. Bibcode:2001PhRvL..86.5811K. doi:10.1103/PhysRevLett.86.5811. PMID 11415364. S2CID 119440555.
3. D. Gottesman (1997). "Stabilizer Codes and Quantum Error Correction". arXiv:quant-ph/9705052.
4. Roffe, Joschka (2019). "Quantum error correction: an introductory guide". Contemporary Physics. 60 (3). Taylor & Francis: 226–245. arXiv:1907.11157. Bibcode:2019ConPh..60..226R. doi:10.1080/00107514.2019.1667078. S2CID 198893630.
5. Laflamme, Raymond; Miquel, Cesar; Paz, Juan Pablo; Zurek, Wojciech Hubert (1996-07-01). "Perfect Quantum Error Correcting Code". Physical Review Letters. 77 (1): 198–201. doi:10.1103/PhysRevLett.77.198.
6. Bennett, Charles H.; DiVincenzo, David P.; Smolin, John A.; Wootters, William K. (1996-11-01). "Mixed-state entanglement and quantum error correction". Physical Review A. 54 (5): 3824–3851. arXiv:quant-ph/9604024. doi:10.1103/PhysRevA.54.3824.
7. Devitt, Simon J; Munro, William J; Nemoto, Kae (2013). "Quantum error correction for beginners". Reports on Progress in Physics. 76 (7): 076001. arXiv:0905.2794. Bibcode:2013RPPh...76g6001D. doi:10.1088/0034-4885/76/7/076001. PMID 23787909. S2CID 206021660.
8. Ryan-Anderson, C.; Bohnet, J. G.; Lee, K.; Gresh, D.; Hankin, A.; Gaebler, J. P.; Francois, D.; Chernoguzov, A.; Lucchetti, D.; Brown, N. C.; Gatterman, T. M.; Halit, S. K.; Gilmore, K.; Gerber, J.; Neyenhuis, B.; Hayes, D.; Stutz, R. P. (2021). "Realization of real-time fault-tolerant quantum error correction". Physical Review X. 11 (4): 041058. arXiv:2107.07505. Bibcode:2021PhRvX..11d1058R. doi:10.1103/PhysRevX.11.041058. S2CID 235899062.
9. Gong, Ming; Yuan, Xiao; Wang, Shiyu; Wu, Yulin; Zhao, Youwei; Zha, Chen; Li, Shaowei; Zhang, Zhen; Zhao, Qi; Liu, Yunchao; Liang, Futian; Lin, Jin; Xu, Yu; Deng, H.; Rong, Hao; Lu, He; Benjamin, S.; Peng, Cheng-Zhi; Ma, Xiongfeng; Chen, Yu-Ao; Zhu, Xiaobo; Pan, Jian-Wei (2021). "Experimental exploration of five-qubit quantum error correcting code with superconducting qubits". National Science Review. 9 (1): nwab011. arXiv:1907.04507. doi:10.1093/nsr/nwab011. PMC 8776549. PMID 35070323.