Stabilizer Code - Mathematical Background

Mathematical Background

The Stabilizer formalism exploits elements of the Pauli group in formulating quantum error-correcting codes. The set consists of the Pauli operators:

I\equiv \begin{bmatrix} 1 & 0\\ 0 & 1 \end{bmatrix} ,\ X\equiv \begin{bmatrix} 0 & 1\\ 1 & 0 \end{bmatrix} ,\ Y\equiv \begin{bmatrix} 0 & -i\\ i & 0 \end{bmatrix} ,\ Z\equiv \begin{bmatrix} 1 & 0\\ 0 & -1 \end{bmatrix} .

The above operators act on a single qubit---a state represented by a vector in a two-dimensional Hilbert space. Operators in have eigenvalues and either commute or anti-commute. The set consists of -fold tensor products of Pauli operators:

\Pi^{n}=\left\{ \begin{array} {c} e^{i\phi}A_{1}\otimes\cdots\otimes A_{n}:\forall j\in\left\{ 1,\ldots ,n\right\} A_{j}\in\Pi,\ \ \phi\in\left\{ 0,\pi/2,\pi,3\pi/2\right\} \end{array} \right\} .

Elements of act on a quantum register of qubits. We occasionally omit tensor product symbols in what follows so that

The -fold Pauli group plays an important role for both the encoding circuit and the error-correction procedure of a quantum stabilizer code over qubits.

Read more about this topic:  Stabilizer Code

Famous quotes containing the words mathematical and/or background:

    “It is by a mathematical point only that we are wise, as the sailor or the fugitive slave keeps the polestar in his eye; but that is sufficient guidance for all our life. We may not arrive at our port within a calculable period, but we would preserve the true course.”
    —Henry David Thoreau (1817–1862)

    “Silence is the universal refuge, the sequel to all dull discourses and all foolish acts, a balm to our every chagrin, as welcome after satiety as after disappointment; that background which the painter may not daub, be he master or bungler, and which, however awkward a figure we may have made in the foreground, remains ever our inviolable asylum, where no indignity can assail, no personality can disturb us.”
    —Henry David Thoreau (1817–1862)