Stabilizer Code - Definition

Definition

Let us define an stabilizer quantum error-correcting code to encode logical qubits into physical qubits. The rate of such a code is . Its stabilizer is an abelian subgroup of the -fold Pauli group : . does not contain the operator . The simultaneous -eigenspace of the operators constitutes the codespace. The codespace has dimension so that we can encode qubits into it. The stabilizer has a minimal representation in terms of independent generators

\left\{ g_{1},\ldots,g_{n-k}\ |\ \forall i\in\left\{
1,\ldots,n-k\right\} ,\ g_{i}\in\mathcal{S}\right\} .

The generators are independent in the sense that none of them is a product of any other two (up to a global phase). The operators function in the same way as a parity check matrix does for a classical linear block code.

Read more about this topic:  Stabilizer Code

Famous quotes containing the word definition:

    “One definition of man is “an intelligence served by organs.””
    —Ralph Waldo Emerson (1803–1882)

    “No man, not even a doctor, ever gives any other definition of what a nurse should be than this—”devoted and obedient.” This definition would do just as well for a porter. It might even do for a horse. It would not do for a policeman.”
    —Florence Nightingale (1820–1910)

    “Scientific method is the way to truth, but it affords, even in
    principle, no unique definition of truth. Any so-called pragmatic
    definition of truth is doomed to failure equally.”
    —Willard Van Orman Quine (b. 1908)