## Description

Bosonic stabilizer code on \(n\) bosonic modes whose stabilizer group is an infinite countable group of oscillator displacement operators which implement lattice translations in phase space.

Displacement operators on \(n\) modes can be written as \begin{align} D(\xi) = \exp \left\{-i \sqrt{2\pi} {\xi}^\mathrm{T} J \hat{q} \right\} , \quad \xi \in \mathbb{R}^{2n}~, \tag*{(1)}\end{align} where \(\hat{q}\) is a \(2n\)-dimensional vector position and momentum operators of the modes, the symplectic form \begin{align} J = \begin{pmatrix} 0 & 1 \\ -1 & 0 \end{pmatrix} \otimes I_n = \begin{pmatrix} 0 & I_n \\ -I_n & 0 \end{pmatrix}~, \tag*{(2)}\end{align} and \(I_n\) is the identity matrix. A group generated by a set of independent displacement operators is given by a lattice \({\mathcal{L}}\) \begin{align} \langle D(\xi_1) ,\dots, D(\xi_{m}) \rangle = \{ e^{ i \phi_M (\xi) } D(\xi) ~\vert~ \xi \in {\mathcal{L}} \} \tag*{(3)}\end{align} and becomes a valid stabilizer group when every symplectic inner product between lattice vectors yields an integer. In other words, the corresponding lattice is symplectically integral, corresponding to an integer-valued symplectic Gram matrix \(A\), \begin{align} A_{ij}={\xi}^T_i J \xi_j \in \mathbb{Z}~. \tag*{(4)}\end{align} The \(m=2n\) case yields multimode GKP codes encoding a finite-dimensional logical subspace, while removing some displacements yields GKP-stabilizer codes encoding an infinite-dimensional logical subspace. Codes defined on a hyper-rectangular lattice are CSS GKP codes, and more general lattices, obtained by Gaussian transformations, yield non-CSS codes.

## Realizations

## Parents

- Bosonic stabilizer code — Quantum lattice codes are bosonic stabilizer codes with a countably infinite stabilizer group, corresponding to modular constraints on positions and momenta.
- Coherent-state constellation code — Quantum lattice codewords can be written as superpositions of coherent states lying on a lattice in phase space [2,3].

## Children

- GKP-stabilizer code — GKP-stabilizer codes are \(n\)-mode quantum lattice codes with less than \(2n\) stabilizers, i.e., constructed using a degenerate lattice (see Appx. A of Ref. [4]).
- Gottesman-Kitaev-Preskill (GKP) code — GKP codes are \(n\)-mode quantum lattice codes with \(2n\) stabilizers, i.e., constructed using a non-degenerate lattice.

## Cousins

- Lattice-based code — Quantum lattice codes can be thought of as quantum lattice codes because they store information in quantum superpositions of points on a lattice in quantum phase space.
- Calderbank-Shor-Steane (CSS) stabilizer code — Quantum lattice codes defined on rectangular lattices are CSS codes. There is no known relation to chain complexes for such codes. More general lattices, obtained from rectangular lattices by Gaussian transformations, yield non-CSS codes.

## References

- [1]
- O. Regev, “On lattices, learning with errors, random linear codes, and cryptography”, Journal of the ACM 56, 1 (2009) DOI
- [2]
- D. Gottesman, A. Kitaev, and J. Preskill, “Encoding a qubit in an oscillator”, Physical Review A 64, (2001) arXiv:quant-ph/0008040 DOI
- [3]
- V. V. Albert et al., “Performance and structure of single-mode bosonic codes”, Physical Review A 97, (2018) arXiv:1708.05010 DOI
- [4]
- J. Conrad, J. Eisert, and F. Arzani, “Gottesman-Kitaev-Preskill codes: A lattice perspective”, Quantum 6, 648 (2022) arXiv:2109.14645 DOI

## Page edit log

- Jonathan Conrad (2022-07-05) — most recent
- Victor V. Albert (2022-07-05)
- Victor V. Albert (2022-03-24)

## Cite as:

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