Bosonic stabilizer code

Description

Bosonic code whose codespace is defined as the common \(+1\) eigenspace of a group of mutually commuting displacement operators. Displacements form the stabilizers of the code, and have continuous eigenvalues, in contrast with the discrete set of eigenvalues of qubit stabilizers. As a result, exact codewords are non-normalizable, so approximate constructions have to be considered. A stabilizer code admitting a set a set of group generators such that each generator consists of either position or momentum operators is called a bosonic CSS code.

Stabilizer codewords encoding a finite-dimensional codespace admit a discrete infinite stabilizer group. Such qudit-into-oscillator stabilizer codes are GKP and multimode GKP codes.

Stabilizer codewords encoding a logical oscillator admit either a discrete or a continuous stabilizer group. The former, called GKP-stabilizer codes, are obtained from multimode GKP codes by removing stabilizer generators for some of the modes. The latter can be defined in terms of the continuous group's Lie algebra, i.e., as the common \(0\)-eigenvalue eigenspace of mutually commuting linear combinations of oscillator position and momentum operators called annihilators. An \(((n,k,d))_{\mathbb{R}}\) oscillator-into-oscillator stabilizer code is denoted as \([[n,k,d]]_{\mathbb{R}}\), where \(d\) is the code's distance.

Protection

Protective properties can be delineated in terms of the annihilators or displacements, and the most natural noise model for such codes is displacement noise. If an error operator does not commute with a stabilizer group element, then that error is detectable. Oscillator-into-oscillator stabilizer codes protect against erasures of a subset of modes, while GKP codes protect against sufficiently small displacements in any number of modes.

Parents

Children

  • Homological bosonic code — Homological CV codes are bosonic CSS codes.
  • Multi-mode GKP code — GKP codes defined on rectangular lattice are bosonic CSS codes, which more general lattices yield bosonic stabilizer codes.

Cousin

  • Group GKP code — The group-GKP construction encompasses all bosonic CSS codes. For example, a single-mode qubit GKP code corresponds to the \(2\mathbb{Z}\subset\mathbb{Z}\subset\mathbb{R}\) group construction. For another example, an \([[n,k,d]]_{\mathbb{R}}\) oscillator-into-oscillator stabilizer code corresponds to the \(\mathbb{R}^{\times k_1} \subseteq \mathbb{R}^{\times k_2} \subset \mathbb{R}^{\times n}\) group construction, where \(k=k_2/k_1\).

Zoo code information

Internal code ID: oscillator_stabilizer

Your contribution is welcome!

on github.com (edit & pull request)

edit on this site

Zoo Code ID: oscillator_stabilizer

Cite as:
“Bosonic stabilizer code”, The Error Correction Zoo (V. V. Albert & P. Faist, eds.), 2022. https://errorcorrectionzoo.org/c/oscillator_stabilizer
BibTeX:
@incollection{eczoo_oscillator_stabilizer, title={Bosonic stabilizer code}, booktitle={The Error Correction Zoo}, year={2022}, editor={Albert, Victor V. and Faist, Philippe}, url={https://errorcorrectionzoo.org/c/oscillator_stabilizer} }
Permanent link:
https://errorcorrectionzoo.org/c/oscillator_stabilizer

Cite as:

“Bosonic stabilizer code”, The Error Correction Zoo (V. V. Albert & P. Faist, eds.), 2022. https://errorcorrectionzoo.org/c/oscillator_stabilizer

Github: https://github.com/errorcorrectionzoo/eczoo_data/tree/main/codes/quantum/oscillators/oscillator_stabilizer.yml.