Quantum lattice code

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 of 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 oscillator-into-oscillator GKP 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.