Quantum computation and quantum error correction: the theoretical minimum

TL;DR

This paper introduces fundamental concepts of quantum computation and error correction, focusing on stabilisers, Lie theory, and the Steane code, providing a mathematical foundation for understanding quantum information processing.

Contribution

It offers a clear, mathematically grounded introduction to quantum error correction and stabiliser formalism, emphasizing the importance of Lie theory and the Steane code as a key example.

Findings

Illustrates the distinction between states and measurements using SU(2) and SO(3)

Explains entanglement, CNOT gates, and the Deutsch--Jozsa problem

Details the Steane [[7,1,3]] code for quantum error correction

Abstract

These notes introduce quantum computation and quantum error correction, emphasising the importance of stabilisers and the mathematical foundations in basic Lie theory. We begin by using the double cover map $\mathrm{SU}_2 \rightarrow \mathrm{SO}_3(\mathbb{R})$ to illustrate the distinction between states and measurements for a single qubit. We then discuss entanglement and CNOT gates, the Deutsch--Jozsa Problem, and finally quantum error correction, using the Steane $[[7,1,3]]$-code as the main example. The necessary background physics of unitary evolution and Born rule measurements is developed as needed. The circuit model is used throughout.