Bias-Preserving Gates and Quantum Error Correction With Dual-Rail Cat Codes

Abstract: Scalable fault-tolerant quantum computation requires quantum error-correcting codes that simultaneously support universal logical operations, suppress hardware-specific noise, and enable efficient handling of photon-loss errors. Bosonic encodings such as the dual-rail and cat codes each offer attractive features but also exhibit important limitations when used in isolation. The dual-rail code enables efficient single-photon-loss detection by converting leakage out of the computational subspace induced by photon-loss errors into an erasure error. In contrast, the cat code provides a resource-efficient, bias-tailored error-correction scheme with bias-preserving logical gate operations. Here, we introduce the dual-rail cat code (DRCC), a concatenated bosonic encoding that combines an inner cat code with an outer dual-rail structure, thereby inheriting and enhancing the advantages of both constituent codes. We analyse the error-correction properties of the DRCC and propose a deterministic single-photon-loss correction protocol by concatenating it with an outer repetition code. Exploiting the code's intrinsic noise bias, we construct a universal set of logical gates using only beam-splitter interactions and demonstrate that all logical operations preserve the erasure-biased noise structure. The DRCC offers several distinctive advantages, including the absence of relative geometric phases during gate operations, deterministic erasure detection and correction, and simultaneous syndrome extraction without interrupting stabilisation. These features make the DRCC a promising bosonic code for hardware-efficient, bias-preserving, and erasure-resilient fault-tolerant quantum computation.

• The paper proposes a new approach to quantum error correction through the dual-rail cat code (DRCC), a bosonic encoding that combines bias-preserving gates and error detection for photon loss by utilizing a concatenated structure.
• The DRCC-1 implementation demonstrates error detection mechanisms that utilize the cat code structure, leading to lower false-positive errors and preserving logical states away from bias-corrected regions of logical code space compared to standard dual-rail methods.
• For q-bit rotations using beam-splitter interactions, universal quantum gates are consistently generated that maintain physical dissipation dynamics within error-corrected boundaries

Overview and motivation

This paper introduces the dual-rail cat code (DRCC), a concatenated bosonic encoding that combines an inner two-component cat code with an outer dual-rail structure across two bosonic modes. The construction is motivated by a complementary pair of limitations in existing bosonic encodings: single-mode cat codes offer bias-tailored error correction with bias-preserving gates but convert photon loss into logical Pauli errors, while dual-rail codes convert single-photon loss into detectable erasures but suffer from false syndrome flagging under higher-order gain errors and from bias-corrupting leakage during entangling gates (2607.00786). The DRCC inherits both advantages: photon loss maps logical states out of the code space into a detectable even-parity leakage manifold, while the cat-code structure retains the noise-bias properties exploited by fault-tolerant protocols.

The code belongs to the family of multimode rotationally symmetric bosonic (RSB) codes, obtained by concatenating an arbitrary single-mode RSB code with a dual-rail encoding via a beam-splitter unitary. The paper focuses on two instances: DRCC-1, built from two-component cat states $$|C^\pm\rangle = (|\alpha\rangle \pm |-\alpha\rangle)/N_\pm$$ with logical basis $|\bar 0\rangle = |C^+ C^-\rangle$, $|\bar 1\rangle = |C^- C^+\rangle$; and DRCC-2, built from four-component cat states, for which the beam-splitter mixing of modes plays an active role in improving correctability.

Knill–Laflamme analysis and noise bias of DRCC-1

Using the Knill–Laflamme (KL) conditions, the authors show that DRCC-1 does not satisfy the KL conditions for first-order photon loss: the projected operators $\hat{\bar P}\hat a_i^\dagger \hat a_j \hat{\bar P}$ contain a logical $\hat X_L$ component that grows with $|\alpha|^2$. However, the diagonal condition $\hat{\bar P}\hat a_i \hat{\bar P} = 0$ implies that any single-photon loss event maps the code space into an orthogonal even-parity leakage manifold spanned by $|\Phi^\pm\rangle = |C^\pm C^\pm\rangle$, detectable by a joint parity check (JPC). This is the central error-detection mechanism: unlike the single-mode cat code, where photon loss induces a logical bit flip, DRCC-1 converts it to an erasure.

For dephasing, first-order errors induce logical $\hat Z_L$ errors whose amplitude $$A_Z \propto |\alpha|^2 (N_-^2/N_+^2 - N_+^2/N_-^2)/2$$ is exponentially suppressed at large $|\bar 0\rangle = |C^+ C^-\rangle$0. Higher-order analysis shows a structured effective noise model: odd-order single-mode loss or gain produces detectable leakage; joint loss events act as identity or logical $|\bar 0\rangle = |C^+ C^-\rangle$1 (with $|\bar 0\rangle = |C^+ C^-\rangle$2 exponentially suppressed); and higher-order dephasing induces exponentially suppressed $|\bar 0\rangle = |C^+ C^-\rangle$3. The resulting erasure-biased channel is the resource exploited throughout the gate and QEC constructions.

A limitation stated plainly: DRCC-1 alone cannot correct single-photon loss — it only detects it — so full correction requires concatenation with an outer code.

Universal gate set without geometric phases

Logical gates are constructed within the Zeno-dynamics framework, assuming dissipative stabilisation with rate $|\bar 0\rangle = |C^+ C^-\rangle$4 confines dynamics to the code manifold. A key contribution is the identification of the dissipator $|\bar 0\rangle = |C^+ C^-\rangle$5 as stabilising the DRCC-1 logical manifold as a particular dark subspace, selected through parity-sector boundary conditions on the recurrence relation for dark-state coefficients. This is the same jump operator that stabilises the pair-cat code, but the DRCC-1 solution class is distinct.

Arbitrary single-qubit rotations follow from beam-splitter Hamiltonians: projecting $|\bar 0\rangle = |C^+ C^-\rangle$6 onto the code space yields rotations about tunable Bloch-sphere axes, with specific $|\bar 0\rangle = |C^+ C^-\rangle$7 settings giving $|\bar 0\rangle = |C^+ C^-\rangle$8, $|\bar 0\rangle = |C^+ C^-\rangle$9, and $|\bar 1\rangle = |C^- C^+\rangle$0. Entangling gates include a controlled beam-splitter $|\bar 1\rangle = |C^- C^+\rangle$1 and an $|\bar 1\rangle = |C^- C^+\rangle$2 interaction realisable via cross-Kerr couplings, with $|\bar 1\rangle = |C^- C^+\rangle$3 producing maximally entangled states. Crucially, all these gates preserve the erasure bias: since beam-splitter transformations map annihilation operators to linear combinations thereof, leakage present before or arising during a gate persists as detectable leakage afterwards. This contrasts with the standard dual-rail controlled-$|\bar 1\rangle = |C^- C^+\rangle$4, where leakage during gate operation can propagate between blocks or corrupt the bias (2607.00786).

A structurally significant result concerns geometric phases. Single-mode cat codes accumulate relative Berry phases proportional to the difference in mean photon numbers between even and odd components, requiring compensation terms. For DRCC codes, both logical vectors have identical mean photon number $|\bar 1\rangle = |C^- C^+\rangle$5, so gates generate only global phases. The authors show this absence holds for all general dual-rail RSB codes, including DRCC-2 — a property shared with neither repetition-cat nor pair-cat constructions.

Measurement primitives include a modified JPC unitary $|\bar 1\rangle = |C^- C^+\rangle$6 conditioned on an auxiliary qubit, which commutes with logical $|\bar 1\rangle = |C^- C^+\rangle$7 and therefore permits syndrome extraction without interrupting dissipative stabilisation — a capability unavailable in repetition-cat schemes. Computational-basis readout uses dispersive couplings $|\bar 1\rangle = |C^- C^+\rangle$8 to a resonator or qubit. An acknowledged open issue: phase-flip errors on the auxiliary qubit can propagate to the data, and protecting the ancilla is left unaddressed.

Concatenation with repetition codes

Concatenating DRCC-1 with a two-qubit outer repetition code yields a code satisfying the KL conditions for all first-order photon-loss errors in the large-$|\bar 1\rangle = |C^- C^+\rangle$9 regime, with disjoint syndromes distinguishing single-mode losses $\hat{\bar P}\hat a_i^\dagger \hat a_j \hat{\bar P}$0 from correlated losses $\hat{\bar P}\hat a_i^\dagger \hat a_j \hat{\bar P}$1. The protocol applies a cat-code bit flip $\hat{\bar P}\hat a_i^\dagger \hat a_j \hat{\bar P}$2 to the affected cavity, identified from three classical registers. The lowest-order uncorrectable processes are double leakage ($\hat{\bar P}\hat a_i^\dagger \hat a_j \hat{\bar P}$3), adjacent-mode joint loss producing logical bit flips ($\hat{\bar P}\hat a_i^\dagger \hat a_j \hat{\bar P}$4), and residual dephasing introduced by the recovery itself ($\hat{\bar P}\hat a_i^\dagger \hat a_j \hat{\bar P}$5).

With a three-qubit outer repetition code, all second-order loss events become correctable, including logical bit flips from $\hat{\bar P}\hat a_i^\dagger \hat a_j \hat{\bar P}$6 and double-leakage events, giving a leading-order logical error bound $\hat{\bar P}\hat a_i^\dagger \hat a_j \hat{\bar P}$7. Generalising, an $\hat{\bar P}\hat a_i^\dagger \hat a_j \hat{\bar P}$8-qubit outer repetition code over $\hat{\bar P}\hat a_i^\dagger \hat a_j \hat{\bar P}$9 cavities corrects all $\hat X_L$0-th order loss errors, matching the erasure-distance scaling of known erasure codes.

Numerical evaluation using the near-optimal Petz (transpose-channel) recovery and entanglement fidelity shows infidelity below break-even over a broad range of $\hat X_L$1, with an optimal operating point in the range $\hat X_L$2 depending on noise strength. Notably, the performance of DRCC-1 with a two-qubit outer code is nearly identical to that of a four-mode even-parity repetition cat code — expected, since the DRCC-1 spans the latter's leakage space — while DRCC-1 outperforms the three-mode single-mode cat repetition code at larger $\hat X_L$3 and higher noise.

Comparison with related codes and the four-component variant

Relative to the standard dual-rail code, DRCC-1 offers several concrete advantages: its Hilbert-space partition into odd-parity code space and even-parity leakage space means the JPC detects any parity-breaking error, whereas dual-rail false-positive syndromes arise from two-photon gain processes such as $\hat X_L$4 that preserve odd parity; its two-qubit gates preserve erasure bias regardless of whether leakage occurs before or during the gate; and its QEC protocol requires no data–ancilla entanglement. As a side result, the authors give a deterministic, entanglement-free erasure-correction scheme for the standard dual-rail code with a two-qubit repetition code achieving unit success probability, improving on reset-based protocols limited to success probability $\hat X_L$5.

For DRCC-2, KL analysis identifies a sweet spot: at beam-splitter angles $\hat X_L$6 and coherent amplitude $\hat X_L$7 — where the condition $\hat X_L$8 holds — the code approximately satisfies the QEC conditions for both photon loss and first-order dephasing, with the beam splitter materially improving dephasing performance. Stabilisation mechanisms, bias preservation, and gate implementations for DRCC-2 remain unexplored.

Limitations and open questions

Several caveats qualify the results. The gate constructions assume $\hat X_L$9 Zeno confinement, and the physical engineering of the required dissipator constraints in circuit-QED architectures remains an open challenge. The auxiliary qubit's susceptibility to phase-flip noise propagating to data is unresolved. Two-photon-loss syndromes in the two-qubit outer code are detectable but not correctable, motivating the three-qubit extension. Full numerical Petz-recovery analysis of the six-cavity three-qubit concatenated code was computationally infeasible and deferred. Finally, the $|\alpha|^2$0 and $|\alpha|^2$1 gates realised via $|\alpha|^2$2 work only at discrete amplitudes ($|\alpha|^2$3 for $|\alpha|^2$4; $|\alpha|^2$5 for $|\alpha|^2$6), which constrains compatibility with the optimal-loss operating point near $|\alpha|^2$7.

Conclusion

The paper establishes the dual-rail cat code as a bosonic encoding that simultaneously provides erasure conversion of photon loss, a teleportation-free universal gate set preserving erasure bias before and during gates, syndrome extraction compatible with continuous dissipative stabilisation, and freedom from relative geometric-phase accumulation. Concatenation with outer repetition codes yields deterministic correction of loss errors up to order $|\alpha|^2$8, with numerical evidence of sub-break-even infidelity under near-optimal recovery. The framework's principal open problems are experimental realisation of the stabilising dissipator, ancilla noise protection, and extension of the analysis to DRCC-2 and to more powerful outer codes such as LDPC and surface codes.