---
title: Multi-Mode Fock State Codes Overview
url: https://www.emergentmind.com/topics/multi-mode-fock-state-codes
type: topic
---

# Multi-Mode Fock State Codes Overview

Searching arXiv for recent and foundational papers on multi-mode Fock state codes.
Multi-mode Fock state codes are bosonic encodings in which logical information is stored in selected populations and coherences of joint number states \(\lvert n_1,\dots,n_K\rangle\) of several bosonic modes. In the superselection-rule-compliant formulation, a general \(K\)-mode pure state is written in a fixed-total-particle-number sector,
\[
\ket{\Psi}=\sum_{\{n_i\}: \sum_{i=1}^K n_i = N} c_{n_1,\dots,n_K}\ket{n_1}_1\cdots\ket{n_K}_K,
\]
so a multi-mode Fock state code is a logical subspace inside a fixed-\(N\) manifold, or, if a number-nonconserving continuous-variable description is used, an equivalent fixed-\(N\) code on a larger multimode Hilbert space with explicit reference modes [2501.03943]. In current bosonic-QEC practice, the topic spans constant-excitation amplitude-damping codes, driven-dissipative pair-cat and \(M\)-mode generalizations, multimode GKP lattice encodings, and group-orbit constructions such as the two-mode \(2T\)-qutrit [2603.15190][1801.05897][2210.14919][2210.16188].

## 1. Formal setting and code space

A “mode” is a physical degree of freedom—spatial, spectral, polarization, temporal, motional, or cavity-defined—associated with bosonic annihilation and creation operators obeying \([\hat a_i,\hat a_j^\dagger]=\delta_{ij}\) [2501.03943]. For a \(q\)-mode bosonic system, the joint Fock space is
\[
\mathcal H_q=\bigotimes_{i=0}^{q-1}\mathcal H_{\text{Fock}}
=\mathrm{Span}\bigl\{\lvert \mathbf n\rangle=\lvert n_0\rangle\otimes\cdots\otimes \lvert n_{q-1}\rangle\bigr\},
\]
and the constant-excitation sector of total photon number \(N\) is
\[
\mathcal H_{q,N}\equiv \mathrm{Span}\{\lvert \mathbf n\rangle:\mathbf n\in S_{q,N}\},
\qquad
S_{q,N}\equiv\left\{\mathbf n\in\mathbb Z_0^q:\sum_{i=0}^{q-1}n_i=N\right\}.
\]
A multi-mode Fock state code of dimension \(K\) is then a subspace
\[
\mathcal C\subset \mathcal H_{q,N},\qquad
\lvert c_i\rangle=\sum_{\mathbf n\in S_{q,N}}\alpha^{(i)}_{\mathbf n}\lvert \mathbf n\rangle,
\]
with orthonormal basis \(\{\lvert c_i\rangle\}\) [2603.15190].

This fixed-\(N\) viewpoint includes familiar encodings such as dual-rail \(\ket{0_L}=\ket{1,0}\), \(\ket{1_L}=\ket{0,1}\), higher-\(N\) occupancy encodings such as \(\ket{N,0}\) and \(\ket{0,N}\), and more general multi-rail states \(\ket{0,\dots,0,N,0,\dots,0}\), all of which are fully compatible with the particle-number SSR [2501.03943]. A recurrent theme in the literature is that “multi-mode” refers not merely to using several oscillators, but to exploiting correlations between their occupation numbers, number-difference sectors, or lattice coordinates to define logical support, syndrome structure, and control.

## 2. Principal code families

The present literature contains several distinct but related multi-mode Fock-state code constructions.

| Family | Defining structure | Distinctive property |
|---|---|---|
| Constant-excitation Fock codes | \(\mathcal C\subset\mathcal H_{q,N}\) built from \(S_{q,N}\) | Positive-rate, linear-distance asymptotic families with bounded per-mode occupancy |
| Pair-cat and \(M\)-mode generalizations | Fixed number-difference sectors and stabilizers \(S_\gamma, S_m\) | Protection against large classes of loss, and for \(M\ge 3\), loss/gain in one mode |
| Two-mode \(2T\)-qutrit | Span of 24 coherent states indexed by the binary tetrahedral group \(2T\) | Small-\(\alpha\) limit approaches a two-mode Fock code |
| Multi-mode GKP | Lattice codewords with infinite Fock support | Stabilizer-subsystem decomposition with ideal decoding as partial trace |

Constant-excitation codes have recently acquired an asymptotic theory. Exact and approximate error correction for amplitude damping can be formulated on \(\mathcal H_{q,N}\) by restricting to a truncated amplitude-damping channel and by constructing codes from classical codes on the simplex \(S_{q,N}\) with large \(\ell_1\)-distance. This yields asymptotically good exact and approximate Fock state codes with positive rate, linear distance, and bounded per-mode occupancy, including deterministic \(B\)-local excitation and probabilistic \(O(\log N)\) or \(O(\log N/\log\log N)\) occupancy bounds [2603.15190].

Pair-cat codes begin from two-mode pair-coherent states in a fixed photon-number-difference sector \(\Delta=m-n\). Logical states \(\lvert \mu_{\gamma,\Delta}\rangle\) are superpositions of pair-coherent states selected by a \(\mathbb Z_4\) projection, and the construction extends to \(M\) modes with one non-Hermitian stabilizer \(S_\gamma=1+\bigl(a^d\bigr)^{\otimes M}-\gamma^{dM}\) and \(M-1\) number-difference stabilizers \(S_m=1+a_{m+1}^\dagger a_{m+1}-a_m^\dagger a_m-\Delta_m\). In these codes, photon-number correlations across modes carry both the logical information and the syndrome information [1801.05897].

The two-mode \(2T\)-qutrit is a group-orbit code in \(\mathfrak F(\mathbb C^2)\). Its ambient space is a 24-dimensional span of coherent states indexed by the binary tetrahedral group \(2T\), and its logical qutrit is the span of three coset superpositions over \(Q\), \(\omega Q\), and \(\omega^2Q\). In the \(\alpha\to 0\) limit, the orthonormal basis approaches \(\lvert 0,0\rangle\) and two superpositions of \(\lvert 4,0\rangle\), \(\lvert 0,4\rangle\), and \(\lvert 2,2\rangle\), matching a known two-mode Fock code [2210.16188].

Multi-mode GKP codes occupy a different corner of the subject. Physically they are bosonic/Fock-state codes because each ideal logical basis state is a highly structured superposition over multi-mode Fock states, but their native organization is a lattice in phase space. The stabilizer-subsystem decomposition shows that a general multi-mode GKP code can be written as \(n\) logical GKP qudits plus qunaughts, possibly coupled by a Gaussian unitary, all implemented inside the multi-mode Fock space [2210.14919].

## 3. Error models and correction mechanisms

The central noise model for constant-excitation Fock codes is amplitude damping. For a \(q\)-mode system with independent loss, an error pattern is labeled by \(\mathbf r=(r_0,\dots,r_{q-1})\), with Kraus operator
\[
A_{\mathbf r}=\bigotimes_{i=0}^{q-1}A_{r_i},
\]
where \(A_{r_i}\) removes \(r_i\) photons from mode \(i\). A code with distance \(d(\mathcal C)=t+1\) corrects any combination of up to \(t\) photon losses across modes, namely the set \(\{A_{\mathbf r}:\|\mathbf r\|_1\le t\}\) [2603.15190]. A key formal advance is the normalized truncated amplitude-damping channel \(\mathcal N_{\le t}\), obtained by conditioning on losing at most \(t\) photons. Within this formulation, exact and approximate asymptotic goodness become operationally equivalent: asymptotically good exact codes for the truncated channel are equivalent in usefulness to asymptotically good approximate codes for the full amplitude-damping channel, and correcting only sublinear losses \(t=o(N)\) is insufficient at fixed loss parameter \(\gamma\) [2603.15190].

Pair-cat codes emphasize a different protection mechanism. The number-difference syndrome \(\Delta=m-n\) changes in opposite directions under losses in the two modes,
\[
aP_\Delta=P_{\Delta+1}a,\qquad bP_\Delta=P_{\Delta-1}b,
\]
so losses in different modes are distinguishable by monitoring \(\Delta\). In the code sector \(P_{\mathrm{II}}^{(\Delta)}\), all single-mode loss errors \(a^k\) or \(b^\ell\) are detectable, whereas the leading uncorrectable process is the correlated two-mode loss \(ab\), which acts approximately as a logical bit flip. In the \(M\)-mode extension, the lowest-weight undetectable error is \(a_1a_2\cdots a_M\) [1801.05897]. A common misconception is therefore that distributing information over many modes automatically protects against arbitrary simultaneous local loss; the pair-cat analysis shows instead that multimode structure distinguishes many local loss patterns, but correlated losses across all participating modes remain decisive.

The same pair-cat framework also yields exponential suppression of logical dephasing. Projected powers of the number operators act as the identity plus exponentially small logical-\(Z\) corrections of order \(e^{-2|\gamma|^2}\), and for the special \(\Delta=0\) code there is a dephasing “sweet spot” at \(\bar n\approx 1.3\) photons per mode [1801.05897]. This illustrates a general design principle: multi-mode Fock-state codes often trade exact finite-dimensional syndrome structure against approximate bosonic protection whose quality depends on excitation scale.

## 4. Stabilizers, logical subsystems, and symmetry structure

Multi-mode Fock-state codes are not tied to one stabilizer language. In pair-cat theory, the code space is the joint \(+1\) eigenspace of \(S_\gamma\) and the number-difference stabilizers \(S_m\), and some stabilizers are explicitly non-Hermitian and not diagonalizable in the usual sense [1801.05897]. In the \(2T\)-qutrit, the qutrit subspace is selected inside a 24-dimensional dark-state manifold by a stabilizer set
\[
\mathcal S=\{F_1+1,\ F_2+1,\ e^{i(\hat n_1+\hat n_2)\pi/2},\ e^{i\hat n_1\pi},\ \mathrm{SWAP}\},
\]
which implies the congruence constraints \(n_1+n_2\equiv 0\pmod 4\), \(n_1\equiv 0\pmod 2\), and \(n_2\equiv 0\pmod 2\) [2210.16188].

For GKP codes, the stabilizer viewpoint is sharpened by a subsystem decomposition
\[
\mathcal H \cong \mathcal L\otimes_{\mathcal G}\mathcal S,
\]
with \(\mathcal L\) the logical subsystem and \(\mathcal S\) an infinite-dimensional stabilizer subsystem. Its defining property is that tracing out \(\mathcal S\) is exactly ideal GKP decoding for the chosen primitive cell. This converts physical bosonic noise into a finite-dimensional logical channel without Fock truncation, a particularly strong result for multi-mode lattice codes [2210.14919].

A broader SSR-compliant control framework is provided by Schwinger-boson generators. For a pair of modes, Gaussian SSRC unitaries are \(e^{i\chi \hat J_{\vec n}}\), while non-Gaussian SSRC unitaries are \(e^{i\chi(\hat J_{\vec n})^2}\); together they form a universal set on fixed-\(N\) sectors. Gaussian operations preserve total photon number and implement mode rotations, but they do not change the intrinsic number of modes and cannot create genuine mode entanglement; non-Gaussian operations are therefore necessary for universality and for nontrivial multi-mode code manipulations [2501.03943].

A complementary structural tool is the multi-mode Jordan–Schwinger map. Fixed-\(N\) \(n\)-mode bosonic subspaces carry reducible \(\mathrm{SU}(2)\) representations generated by collective operators \(\boldsymbol L_x,\boldsymbol L_y,\boldsymbol L_z\). For general \(n\), the labels \((N,l,l_z)\) must be augmented by a counting number \(C\), yielding basis states \(\ket{N,l,l_z,C}_s\); in the bosonic case, the multiplicities are linked to Gaussian polynomials [2411.04918]. This provides a symmetry-adapted indexing of fixed-excitation code spaces.

## 5. State determination, syndrome extraction, and measurement primitives

Characterizing multi-mode Fock-state codes requires both population readout and coherence-sensitive tomography. In trapped ions, a direct route is simultaneous blue-sideband spectroscopy on multiple modes. For a \(d\)-mode motional state with Fock populations \(P_{k_1,\dots,k_d}\), the probability that all addressed ions remain spin-down after a blue-sideband pulse of duration \(t\) is
\[
\mathcal P_{\downarrow\cdots\downarrow}(t)=
\sum_{k_1,\dots,k_d} P_{k_1,\dots,k_d}
\prod_{j=1}^d \cos^2(\sqrt{k_j+1}\,\Omega_j t).
\]
Least-squares fits to these basis functions yield the full multi-mode Fock distribution, while displaced measurements combined with a discrete Fourier transform over displacement phases reconstruct the density matrix in a chosen cutoff. This protocol was experimentally verified on two- and three-mode motional states and produced a reconstructed fidelity \(F=0.87(11)\) for the Bell-like state \((\lvert 00\rangle+i\lvert 11\rangle)/\sqrt{2}\) using 16 displacement pairs [2205.11444].

A second trapped-ion primitive uses far-detuned multimode Jaynes–Cummings interactions. In the dispersive regime, a single spin accumulates a phonon-number-dependent Ramsey phase, leading in the Lamb–Dicke limit to
\[
P_{\uparrow}(t)=\tfrac12-\tfrac12\sum_{\boldsymbol n} p_{\boldsymbol n}\cos\!\big(\boldsymbol\theta(t)\cdot\boldsymbol n\big),
\qquad \theta_j(t)=2\chi_j t.
\]
A selective-decoupling scheme cancels the carrier AC-Stark phase while preserving the phonon-number-dependent dispersive phase. Experimentally, this enabled extraction of two-mode Fock-state distributions, parity-based filtering of two-mode motional states, and a nondestructive single-shot measurement of a single-mode Fock state via repeated filtering steps [2601.04591].

These two approaches are complementary. The multi-ion sideband protocol provides informationally complete tomography for offline benchmarking of state preparation and noise channels, whereas the single-spin SDR primitive supplies parity and number-modulo filters that are closer to runtime syndrome extraction in multi-mode bosonic encodings [2205.11444][2601.04591].

## 6. Implementations, resource generation, and outlook

The experimental landscape is now broad enough that multi-mode Fock-state codes are no longer purely formal. Trapped ions provide naturally multimode bosonic registers and long-lived spin ancillas; the trapped-ion tomography protocol is explicitly stated to extend to any system with Jaynes–Cummings-type interactions, including circuit QED, optomechanical systems, and hybrid spin–mechanical architectures [2205.11444]. In superconducting cavity QED, a weakly coupled transmon can be Rabi-driven to induce strong sideband interactions on demand. Using a flute cavity with two high-\(Q\) modes, deterministic Fock-state preparation was demonstrated up to \(n=5\) at operation times of less than \(2\ \mu\text{s}\) per photon, together with a single-photon SWAP in approximately \(2\ \mu\text{s}\) and a dual-rail Bell state [2604.07235]. For multi-mode Fock codes, this directly addresses the usual trade-off between high cavity isolation and fast state transfer.

Optical resource generation remains relevant as well. Pulsed SPDC has produced multi-photon Fock states up to three photons in well-defined spatial-temporal modes synchronized with a classical clock, with the three-photon state generated at a rate of one per second and characterized by homodyne tomography over 12 hours [1212.4412]. More elaborate linear-optical and nonlinear constructions generate \(d\)-mode \(N\)-photon NOON states with arbitrary photon number, using either coherent-state inputs with Fock-state filtration or \(N\)-photon Fock-state inputs with single-photon coincidence detection [1712.00128]. These states are not themselves robust bosonic memories, but they exemplify how highly structured multi-mode Fock superpositions can be synthesized.

A broader implication is that “multi-mode” need not imply an uncontrollably large effective support. For large-\(N\) waveguide-emitted multimode Fock states, orthogonal-mode decompositions can concentrate about \(90.2\%\) of the photons in one mode, \(98.4\%\) in two modes, and \(99.6\%\) in three modes at \(N=100\), while number-resolved measurements that do not distinguish those internal modes can still saturate the QFI in the relevant interferometric setting [1910.03323]. This suggests that practical code design may often proceed in an effective few-mode subspace even when the underlying bosonic state is nominally highly multimode.

The current subject therefore spans three scales simultaneously: fixed-\(N\) formalism and SSR-compliant encoding rules; concrete code families with explicit stabilizers and noise models; and platform-specific measurement and control primitives that realize state preparation, syndrome readout, and inter-mode transfer. The recent appearance of asymptotically good constant-excitation codes with bounded per-mode occupancy indicates that multi-mode Fock-state codes are not limited to small handcrafted examples, while pair-cat, GKP, and group-orbit constructions show that number-difference sectors, lattice subsystems, and finite-group symmetries supply distinct and technically mature routes to bosonic encoding [2603.15190][1801.05897][2210.14919][2210.16188].

Source: https://www.emergentmind.com/topics/multi-mode-fock-state-codes