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:

    “I’m beginning to think that the proper definition of “Man” is “an animal that writes letters.””
    —Lewis Carroll [Charles Lutwidge Dodgson] (1832–1898)

    “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)

    “... if, as women, we accept a philosophy of history that asserts that women are by definition assimilated into the male universal, that we can understand our past through a male lens—if we are unaware that women even have a history—we live our lives similarly unanchored, drifting in response to a veering wind of myth and bias.”
    —Adrienne Rich (b. 1929)