---
title: Bosonic Grid States and QEC
url: https://www.emergentmind.com/topics/bosonic-grid-states
type: topic
---

# Bosonic Grid States and QEC

Bosonic grid states, also known as comb states or Gottesman–Kitaev–Preskill (GKP) states, are highly structured non-Gaussian quantum states of bosonic (harmonic oscillator) modes. These states enable the encoding of discrete-variable (qubit or qudit) information in the infinite-dimensional Hilbert space of continuous-variable (CV) systems. Grid states play a central role in bosonic quantum error correction (QEC), offering a hardware-efficient path to fault-tolerant quantum information processing, particularly in superconducting circuits, trapped ions, and optical platforms. Their implementation, manipulation, and error correction harness both the algebraic structure of phase-space lattices and the physical accessibility of oscillator modes.

## 1. Mathematical Structure and Encoding

A (canonical) single-mode GKP grid state is defined as a simultaneous $+1$ eigenstate of two commuting displacement operators:
\[
S_p = \exp(i \xi \hat p), \qquad S_q = \exp(i \xi \hat q),
\]
where $\hat q,\,\hat p$ are canonical quadrature operators with $[\hat q,\hat p]=i$. For the square-lattice code, $\xi^2=2\pi$ sets the grid periodicity. The ideal codewords in position (or $q$) space are infinite-energy combs:
\[
\ket{\Psi_{\rm grid}} \propto \sum_{s\in\mathbb Z} e^{-\tfrac{1}{2\Delta^2}(q-2s\alpha)^2}\ket{q}, \qquad \alpha = \frac{\xi}{2}, \quad \Delta\ll1,
\]
corresponding to a Dirac comb of narrow Gaussians at $q=2s\alpha$. In momentum space, the structure is analogous, due to the duality between $q$ and $p$ [1709.08580], [2409.05813].

Practical realizations use finite-energy analogues with a Gaussian envelope:
\[
\ket{\Psi}\propto \sum_{t=-\infty}^\infty e^{-\pi \kappa^2 t^2} S_p^t S(\Delta) \ket{\rm vac},
\]
where $S(\Delta)$ denotes squeezing of the vacuum. The “grid-likeness” is quantified by effective squeezing parameters $(\Delta_q, \Delta_p)$, representing the rms width of the comb peaks in $q$ and $p$ [1709.08580]. A perfect grid state exhibits $\Delta_q = \Delta_p = 0$, unattainable in practice, so finite $\Delta$ and $\kappa$ are chosen to optimize fidelity and energy constraints.

Logical information is embedded in displacements of the grid. The canonical GKP code encodes a qubit with logical operators $X_L = \exp(-i \sqrt\pi \hat p)$ and $Z_L = \exp(i \sqrt\pi \hat q)$, implementing Pauli $X$ and $Z$ as half-grid displacements [2409.05813].

## 2. Physical Generation Protocols

### Squeezed Cat-State Breeding

Grid states are non-Gaussian and require non-Gaussian resources for preparation. Early strategies employed squeezed Schrödinger cat states passed through linear-optical circuits. In the post-selected “breeding” protocol, two squeezed cat states are mixed on a beam splitter, a homodyne measurement is performed on one output, and only measurement outcomes near $p=0$ are kept. Iterating this process increases the comb density and sharpens the envelope but at an exponentially decreasing success rate [1709.08580].

A critical advance is the removal of post-selection via classical post-processing. Each homodyne outcome is recorded, and the net phase shift of the emerging comb is calculated. A corrective displacement is applied at the end based on the measurement record, obviating the need to discard any data. Numerics confirm this “no post-selection” protocol achieves effective squeezing $\Delta_p$ close to the post-selected ideal, enabling deterministic preparation of high-quality grid states sufficient for QEC applications [1709.08580].

### Quantum Walk and Linear-Optical Realizations

Alternative schemes realize grid states via linear-optical quantum walks, where a cat state serves as a quantum coin and a squeezed vacuum as the walker. Conditional phase-space displacements are implemented via Mach-Zehnder interferometers (MZIs) with post-selection on the ancillary coin mode’s parity. The resulting state after $N$ steps is an approximate GKP codeword, with fidelity controlled by resource parameters. Post-selection success per step scales as $2^{-N}$, but for small $N$ and in superconducting circuit platforms with large cat amplitudes $\alpha$, overall codeword fidelities $F_{\rm code}\gtrsim 0.97$ are attainable [2404.16594].

### Modular-Subsystem Decomposition

Grid states can also be interpreted as embedding a virtual qubit in the modular structure of the oscillator’s Hilbert space. Any $q$ can be decomposed as $q = \alpha\,m + u$, with $m\in\mathbb{Z}$ and $u\in[-\alpha/2,\alpha/2)$. Parity of $m$ identifies the logical qubit, while $u$ and the residual integer form an auxiliary “gauge” mode. This decomposition underpins syndrome extraction and error correction, with measurements of $q \bmod \alpha$ isolating logical noise from gauge-mode entanglement [1907.08210].

## 3. Multi-Mode and Lattice-Structured Grid Codes

The grid code paradigm generalizes to multiple oscillator modes, where the code space is the simultaneous $+1$ eigenspace of a set of commuting displacement operators associated with a symplectically integral lattice $\Lambda \subset \mathbb{R}^{2m}$ in multimode phase space. The stabilizer group
\[
\mathcal{S} = \left\langle \hat T(\mathbf{s}_j)= \exp\left(i\,\mathbf{s}_j^T \Omega\,\hat{\mathbf R}\right) \right\rangle
\]
is defined by lattice generators, with logical operators drawn from the dual lattice $\Lambda^*$. Multimode codes, such as the tesseract (hypercubic) code and the $D_4$ root-lattice code, offer increased error-correction regions (larger Voronoi cells), suppressed logical-fault propagation from dissipation in ancillary qubits, and richer syndrome information. The code dimension is set by $\det \Lambda$ [2201.12337], [2409.05813].

Logical operators correspond to specific displacements in phase space, and Clifford operations correspond to symplectic transformations preserving the lattice. Non-Clifford operations can be realized via envelope-preserving nonlinear evolutions, often Kerr-type interactions, exploiting certain finite-order lattice symmetries [2201.12337].

A key result in the multimode setting is the exponential suppression ($\mathcal{O}(1/\sqrt{\bar{n}})$) of logical error rates arising from ancilla-induced faults, in contrast to the constant ($\sim$50\%) error rate for single-mode codes, given equal code sizes. This stems from the denser lattice packing and redundancy in the higher-dimensional phase space [2201.12337].

## 4. Error Models, Syndrome Extraction, and Correction

Bosonic grid codes are intrinsically tailored to correct small displacement errors in phase space, modeling decoherence from photon loss or generic Gaussian noise as random shifts $(\delta q,\,\delta p)$:
\[
\mathcal{N}[\rho] = \int d^2\beta\,p(\beta) D(\beta)\rho D^\dagger(\beta),
\]
where $p(\beta)$ is typically a Gaussian [2409.05813], [2201.12337]. The correctable region is bounded by half the grid spacing: $|\delta q|,|\delta p| < \sqrt{\pi}/2$ for the square code.

Syndrome extraction is performed by measuring $q$ and $p$ modulo the grid spacing (modular variables), often via echoed conditional-displacement gates between oscillator and ancillary qubit. Error diagnosis and correction employ either closest-integer decoding—shifting back into the fundamental cell—or maximum-likelihood decoding using historical syndrome data. The per-round logical error rate is
\[
P_L \approx 1 - \operatorname{erf}\left(\frac{\sqrt\pi}{2\sigma}\right)^2.
\]
Repeating $M$ rounds yields logical fidelity $[1-P_L]^M$ [2409.05813]. In practice, extraction of both syndrome value and “confidence” information in real-time allows tailoring outer code strategies and leveraging the erasure channel structure induced by amplitude damping.

Gauge subsystems arising from the modular decomposition lead to possible logical–gauge entanglement; syndrome measurements project the gauge, and corrective displacements restore logical purity [1907.08210].

## 5. Logical Gates and Clifford/Non-Clifford Operations

Logical operations in bosonic grid codes are naturally implemented as phase-space displacements or symplectic transformations. Pauli and Clifford gates correspond to half-grid displacements and phase-space rotations, respectively:
- $X_L = \exp(-i\sqrt\pi \hat p)$, $Z_L = \exp(i\sqrt\pi\hat q)$.
- Hadamard gate by $\pi/2$ rotation: $a\mapsto e^{i\pi/2}a$ [2409.05813].

In the multimode context, Gaussian logical gates are realized by the action of lattice-symmetry-preserving symplectic transformations, while universal sets require supplementing with non-Gaussian, envelope-preserving nonlinear operations (e.g., Kerr or cross-Kerr interactions) [2201.12337]. Gates such as SNAP (selective number-dependent arbitrary phase) enable fine control at the Fock-state level.

Operations may be performed virtually (by adjusting the frame and updating syndrome signs), directly (physical gates), or through measurement-based protocols.

## 6. Experimental Realization and Performance Benchmarks

### Superconducting Circuits

In three-dimensional cavity QED (cQED) systems, high-coherence superconducting cavities support long-lived bosonic modes. A dispersively coupled nonlinear element (such as a transmon or fluxonium qubit) enables universal control. State-of-the-art demonstrations have achieved cavity lifetimes $T_1>25$ ms and MHz-scale logical gate rates. Multimode architectures exploiting multi-post cavities permit encoding several grid-state qubits per physical resonator [2409.05813].

State stabilization is performed by “small–big–small” (sBs) echoed conditional-displacement sequences and autonomous feedback, robustly preparing grid states with $\Delta\ll1$. Mid-circuit syndrome measurement and ancilla reset support real-time QEC with confidence readout, directly integrating error tracking and correction with logical operations.

### Linear-Optical and Trapped-Ion Platforms

Linear-optical schemes use squeezed vacuum and cat states, combined via Mach-Zehnder interferometers and post-selection, to approximate grid states. Optical squeezing levels of $5$–$13$ dB and cat states with $|\alpha|\lesssim 2$ are experimentally feasible. Superconducting circuits achieve higher $\alpha$ ($\sim 10$–$16$), enabling larger codeword fidelities and lower post-selection thresholds [2404.16594].

Trapped-ion systems use motional modes coupled by state-dependent forces for direct grid state preparation and manipulation; the GKP code has been deterministically demonstrated in ion traps [2201.12337].

### Comparison and Scalability

GKP-based bosonic codes drastically reduce hardware overhead compared to surface codes, as QEC operates at the single physical unit level. Multimode grid codes further enhance robustness to dissipation and correlated errors, reduce error propagation from ancilla faults, and allow richer decoding strategies. Logical clock rates at the MHz scale are feasible, supporting both rapid computation and low-latency error correction [2409.05813].

## 7. Outlook and Theoretical Connections

Bosonic grid-state encoding provides a unifying interface between continuous-variable and qubit-based quantum information, enabling systematic construction and analysis of CV codes via modular decompositions and phase-space lattice theory. The underlying framework extends to higher-dimensional and qudit codes, supports various lattice geometries (including $D_4$, $E_8$), and enables concatenation with discrete-variable QEC codes. The modular-subsystem perspective clarifies logical-gauge structure, noise channels, and the purification role of syndrome extraction [1907.08210], [2201.12337].

These developments establish bosonic grid codes as the core primitive for hardware-efficient fault-tolerant quantum computing in superconducting, optical, and trapped-ion architectures, with concrete pathways toward large-scale implementation and universal continuous-variable quantum computation [1709.08580], [2409.05813], [2201.12337].

Source: https://www.emergentmind.com/topics/bosonic-grid-states