Detuning- and Stark-robust Rydberg gates

AI summary

Overview

Research area: Quantum physics — neutral-atom quantum computing, specifically Rydberg entangling gates in alkali atoms driven by two-photon excitation.

Technical level: Advanced. The paper relies on quantum optimal control, perturbative error analysis, and the formalism of blockaded Rydberg Hamiltonians; the introduction and framing are accessible, but the derivations require graduate-level quantum information background.

Scope (one sentence): The paper proposes and characterizes three new families of Rydberg entangling gate protocols that are resilient to detuning and light-shift (Stark) errors by involving both qubit states in the gate, and maps the regimes where they beat the standard time-optimal gate.

What This Paper Is About

In alkali atoms, Rydberg gates are driven through a two-photon transition that produces large AC Stark light shifts, so small intensity variations across a laser beam turn directly into detuning errors that limit gate fidelity. A prior no-go theorem showed that no conventional Rydberg protocol — one where only |1⟩ is coupled to |r⟩ and |0⟩ is a spectator — can be made insensitive to these detuning errors. The authors ask whether that theorem can be circumvented by a broader class of protocols in which both qubit states participate, and whether such protocols can be built and characterized well enough to be useful in real experiments.

Key Contributions

1. A way around the no-go theorem. The authors show that full or partial robustness to detuning errors becomes possible once both |0⟩ and |1⟩ take part in the gate, realized either by driving the qubit and Rydberg transitions (sequentially in a composite gate or simultaneously in a co-driven gate) or equivalently with a two-tone Rydberg scheme.

2. Three concrete protocol families. They construct (i) detuning-robust and Stark-robust gates that cancel the error outright, (ii) pseudo-robust gates that require only the Rydberg drive and convert a known detuning error into a known single-qubit phase error that can be locally corrected or echoed out, and (iii) a Rydberg "fly-by" entangling gate suited to constant-velocity neutral-atom architectures where the two atoms see different Doppler shifts.

3. A speed limit for conventional Stark-robust gates. They extend the strict no-go theorem to finite Stark correlation ζ, deriving the lower bound T ≥ N_q max(2|ζ|/χ_q, ζ²/χ_q²), which grows quadratically with ζ for |ζ| ≳ 2χ_q — showing that conventional routes to robustness become prohibitively slow exactly in the regime that matters.

4. Regime maps and a fidelity-sensitivity table. They characterize fidelity sensitivity to unitary and dissipative errors for all protocols (Table 1, Appendix J) and delineate, in terms of Rydberg decay rate, intensity inhomogeneity, and light-shift strength, where the new protocols outperform the time-optimal gate.

Main Findings

• State-of-the-art context motivates the problem: the best neutral-atom entangling gate fidelity, 99.85%, was achieved in a single one-dimensional array of 8 gate sites with Gaussian Rydberg beams, while the best in a more general two-dimensional alkali array with a holographically generated flat-top beam is 99.5%. At 1% RMS intensity inhomogeneity, reaching fidelities near 99.9% with two-photon schemes may be challenging regardless of available laser power.

• The composite detuning-robust gate works but costs time: optimized at T ≥ 28.68/|Ω|, it is 3.8× longer than the time-optimal gate (T = 7.61/|Ω|), with amplitude sensitivity only 1.57× higher and a total Rydberg dwell time 2.18× larger.

• Partial robustness is cheaper than full robustness: co-driven gates reach, for example, 3× detuning-error suppression at shorter durations than the composite gate, but their duration converges to the composite gate's as the required sensitivity approaches zero — indicating the composite protocol is optimal within the broader class of fully robust protocols involving both qubit states.

• Pseudo-robust gates are the most economical: a pseudo-robust CZ is achievable at T ≳ 17.04/|Ω|, 41% shorter than the fully robust gate, with duration and integrated Rydberg population close to the amplitude-robust gate of Ref. [37] (T ≈ 14.3/|Ω|), which was recently realized experimentally with 99.6% fidelity. A combined detuning- and amplitude-pseudo-robust gate exists at T ≳ 24.27/|Ω|.

• Conventional Stark-robust gates scale badly: at |ζ| = 6 — the value implied by the parameters of Ref. [17] — the bound would require T ≳ 144/|Ω|, with N₀₁ ≈ 4.0/|Ω| the binding constraint. Numerical optimization of a Stark-robust conventional gate reportedly fails for ζ ≳ 2, while the relevant mitigation regime needs |ζ| ≳ 5.

• The Stark correlation grows unfavorably with the usual error-suppression knobs: for balanced one-photon Rabi frequencies (β = 1), |ζ_er| ∝ n³|Δ|, so increasing the intermediate-state detuning or the principal quantum number to suppress dissipation increases sensitivity to upper-leg intensity fluctuations.

• Semi-realistic improvement: at 1% intensity RMS and typical Rydberg decay rates, the robust protocols reduce gate error about fivefold compared with the time-optimal gate.

• A fully robust composite gate against both amplitude and detuning errors exists at T ≳ 46.5/|Ω|.

• A fly-by gate exists: despite additional bright–dark state coupling in the Rydberg manifold from differential Doppler shifts, a simple entangling protocol needing only the |1⟩ ↔ |r⟩ drive is possible.

Methodology in Plain English

The authors model two neighboring atoms with three levels each (|0⟩, |1⟩, |r⟩) under perfect Rydberg blockade, so the Hamiltonian breaks into independent blocks for |00⟩, |01⟩, |10⟩, and |11⟩. They treat amplitude errors and detuning errors as quasi-static, and characterize robustness by requiring the second derivative of the average subspace gate fidelity with respect to each error to vanish at zero error.

The key diagnostic is the Rydberg dwell time N_q — the time-integrated Rydberg population along the trajectory starting from computational basis state |q⟩. A detuning error simply shifts each basis state's phase by −N_q δ, so the structure of the error is fully captured by these four numbers. Since |00⟩ never leaves the computational subspace in a conventional gate (N₀₀ = 0) while the others have N_q > 0, equalizing dwell times is impossible — this is the no-go theorem. The cure is either to make the error operator non-positive-semidefinite (finite Stark correlation ζ) or to involve |00⟩, which the composite gate does with X^⊗2 echoes.

For gate construction, they keep the Rydberg Rabi frequency at its maximum and use the modulation phase φ(t) (plus, for co-driven gates, a qubit drive with Ω₁,max = 2Ω_max) as control. Waveforms are piecewise constant and optimized GRAPE-style, with penalty terms added to the cost function that enforce no first-order leakage and the "Rydberg-dwell balance" N₁₁ = N₀₁ + N₁₀. For the corrected (pseudo-robust) fidelity, they expand F to second order in the error and the correction phase ϑ, yielding a closed-form corrected sensitivity, which for a leakage-free gate is S̃_δ = (N₁₁ + N₀₀ − 2N₀₁)²/20 and vanishes exactly under the dwell balance.

Why This Matters

Light-shift-induced detuning errors are described as the asymptotically dominant error source as laser power increases, and Rydberg gates are the main contributor to the error rate of quantum error correction cycles in leading experiments. Protocols that tolerate intensity inhomogeneity remove a barrier to scaling gates across larger processors via holographic beam shaping or time multiplexing, since transporting atoms in and out of Rydberg zones is costly.

Real-world applications:

• Fault-tolerant neutral-atom quantum computers: lower gate error directly reduces the overhead of quantum error correction cycles, where Rydberg gates dominate the budget.
• Large-scale holographic and rastered beam systems: relaxing the intensity-homogeneity requirement makes flat-top beam shaping and beam rastering across many gate zones more practical.
• Digital quantum simulation and quantum-enhanced metrology: both rely on the same Rydberg entangling operations that this work improves.
• Constant-velocity / "fly-by" atom architectures: the fly-by gate provides a primitive for proposals where atoms move continuously and experience differential Doppler shifts.

Industry relevance: the work targets the practical engineering constraints of commercial neutral-atom platforms — laser power, beam-shaping uniformity, and electric-field gradients — and one co-author is affiliated with Oratomic, indicating direct industrial interest in deployable gate protocols.

Future Directions

• Experimental demonstration of the new protocols. Only the amplitude-robust gate of Ref. [37] has so far been realized (99.6% fidelity); the composite, co-driven, pseudo-robust, and fly-by gates remain to be tested.
• Extension beyond the idealizations used here. The analysis assumes symmetric, quasi-static errors, infinite blockade, and adiabatic elimination of the intermediate state; asymmetric errors, finite blockade, and intermediate-state scattering are natural next targets.
• Two-tone and EOM implementations. The paper notes that two-tone Rydberg driving is rigorously equivalent to the co-driven scheme via a time-dependent basis change, and that the same equivalence applies to modulating a single Rydberg laser with an electro-optic modulator at the qubit frequency — concrete hardware paths worth pursuing.
• Integration with error correction and circuit compilation. Since pseudo-robust gates rely on either a local light-shift correction or an X echo between consecutive entangling gates, understanding how these corrections fit into full compiled circuits and error-corrected protocols is an open practical question.

Target Audience

Quantum-computing experimentalists working with neutral-atom arrays, especially those building or benchmarking Rydberg entangling gates and beam-shaping systems; quantum-control theorists interested in optimal gate design and speed limits; and architects of fault-tolerant neutral-atom hardware who need to know which gate protocols tolerate realistic intensity inhomogeneity. Readers without a background in blockaded Rydberg Hamiltonians and perturbative fidelity analysis will find the technical sections demanding, though the introduction and regime maps are broadly accessible.

Authors’ abstract

Rydberg entangling gates driven by a two-photon transition in alkali atoms suffer from an adverse scaling of light-shift-induced errors. Robustness to such detuning errors is known to be impossible to achieve in the design of conventional Rydberg gate protocols, where only one of the qubit states is coupled to the Rydberg state. Here, we show that in a more general framework, in which both qubit states take part in the gate, full or partial robustness to these errors can be realized. We present two gate constructions, which either cancel the errors outright or convert them into single-qubit errors that can be corrected locally. We map the regimes -- in terms of light-shift strength, intensity inhomogeneity, and Rydberg decay rate -- in which these protocols outperform the widely used time-optimal Rydberg gate, and find that they already include the conditions of state-of-the-art experiments. Finally, we show the existence of a Rydberg `fly-by' entangling gate, an important primitive for an emerging class of neutral-atom quantum computing architectures.