Skip to content

Rydberg blockade is the suppression of simultaneous Rydberg excitation because the doubly excited state is shifted away from the laser resonance by the Rydberg–Rydberg interaction. It is a dynamical statement, not a geometric prohibition. Double excitation is reduced continuously as the interaction shift becomes large compared with the relevant drive, detuning, linewidth, or pulse bandwidth.

That distinction is the organizing idea of this page. A circle called a “blockade radius” is a useful summary only after one states what comparison scale defines the circle and what error is acceptable. Inside the circle, finite-blockade leakage, coherent phase shifts, weak angular channels, motion, and dissipation remain. Outside it, interactions do not abruptly vanish.

Blockade has three closely related uses:

  1. it converts a collection of atoms into a superatom with at most one Rydberg excitation;
  2. it makes the response of one qubit conditional on another, enabling entangling gates; and
  3. it projects many-body dynamics into a constrained Hilbert space.

Required background. Rydberg atoms supplies excitation, motion, and detection; Rydberg atoms basics supplies pair-interaction mechanisms; Rabi oscillations and Bell states supply coherent transfer and entangled-state notation.

Let each atom have a ground state ∣g⟩|g\rangle and a selected Rydberg state ∣r⟩|r\rangle. For equal real single-atom Rabi frequency Ω\Omega, detuning Δ\Delta, and pair interaction VrrV_{rr}, define the angular-frequency interaction shift

B=Vrrℏ.B = \frac{V_{rr}}{\hbar}.

The rotating-frame Hamiltonian is

Hℏ=Ω2∑i=12(∣ri⟩⟨gi∣+∣gi⟩⟨ri∣)−Δ(n1+n2)+Bn1n2,\frac{H}{\hbar} = \frac{\Omega}{2} \sum_{i=1}^{2} \left( |r_i\rangle\langle g_i| + |g_i\rangle\langle r_i| \right) -\Delta(n_1+n_2) +Bn_1n_2,

where

ni=∣ri⟩⟨ri∣.n_i = |r_i\rangle\langle r_i|.

In the ordered basis

(∣gg⟩, ∣gr⟩, ∣rg⟩, ∣rr⟩),\left( |gg\rangle,\, |gr\rangle,\, |rg\rangle,\, |rr\rangle \right),

this becomes

Hℏ=(0Ω/2Ω/20Ω/2−Δ0Ω/2Ω/20−ΔΩ/20Ω/2Ω/2−2Δ+B).\frac{H}{\hbar} = \begin{pmatrix} 0 & \Omega/2 & \Omega/2 & 0 \\ \Omega/2 & -\Delta & 0 & \Omega/2 \\ \Omega/2 & 0 & -\Delta & \Omega/2 \\ 0 & \Omega/2 & \Omega/2 & -2\Delta+B \end{pmatrix}.

This matrix already shows the mechanism. The laser addresses each atom locally, while the interaction changes only the energy of ∣rr⟩|rr\rangle in this reduced model. Blockade is the resulting off-resonant dynamics, not an extra rule imposed by hand.

Introduce

∣W2⟩=∣gr⟩+∣rg⟩2,∣D2⟩=∣gr⟩−∣rg⟩2.\begin{aligned} |W_2\rangle &= \frac{ |gr\rangle+|rg\rangle }{ \sqrt2 }, \\ |D_2\rangle &= \frac{ |gr\rangle-|rg\rangle }{ \sqrt2 }. \end{aligned}

Uniform, phase-matched driving couples only the symmetric bright state. In the basis

(∣gg⟩, ∣W2⟩, ∣rr⟩),\left( |gg\rangle,\, |W_2\rangle,\, |rr\rangle \right),

the bright-sector Hamiltonian is

Hbrightℏ=(0Ω/20Ω/2−ΔΩ/20Ω/2−2Δ+B).\frac{H_{\mathrm{bright}}}{\hbar} = \begin{pmatrix} 0 & \Omega/\sqrt2 & 0 \\ \Omega/\sqrt2 & -\Delta & \Omega/\sqrt2 \\ 0 & \Omega/\sqrt2 & -2\Delta+B \end{pmatrix}.

The antisymmetric state is dark with energy −ℏΔ-\hbar\Delta. Because a two-state Hamiltonian convention writes an off-diagonal coupling as ℏΩR/2\hbar\Omega_{\mathrm{R}}/2, the ∣gg⟩↔∣W2⟩|gg\rangle\leftrightarrow|W_2\rangle transition has collective Rabi frequency

Ωcoll=2 Ω.\Omega_{\mathrm{coll}} = \sqrt2\,\Omega.

The same enhancement couples ∣W2⟩|W_2\rangle onward to ∣rr⟩|rr\rangle. Blockade does not remove that matrix element; it makes the final state energetically off resonant.

Exact double-excitation dynamics for interaction shifts equal to and ten times the drive, and leakage at a fixed collective pi-pulse time versus interaction strength.

Exact three-state evolution from ∣gg⟩|gg\rangle at Δ=0\Delta=0. Top: double excitation is substantial at B=ΩB=\Omega and suppressed at B=10ΩB=10\Omega. Bottom: at the fixed ideal collective transfer time Ωt=π/2\Omega t=\pi/\sqrt2, the exact leakage approaches Ω2/(2B2)\Omega^2/(2B^2) only in the strong-blockade regime. Small oscillations reflect coherent off-resonant dynamics; the dashed estimate is not a uniform finite-pulse upper bound.

The simple bright and dark states assume equal drive amplitudes and phases. For complex site-dependent couplings Ωi\Omega_i, the state reached directly from ∣gg⟩|gg\rangle is instead

∣B2⟩=Ω1∣rg⟩+Ω2∣gr⟩Ωcol,|B_2\rangle = \frac{ \Omega_1|rg\rangle+\Omega_2|gr\rangle }{ \Omega_{\mathrm{col}} },

where

Ωcol=∣Ω1∣2+∣Ω2∣2.\Omega_{\mathrm{col}} = \sqrt{ |\Omega_1|^2+|\Omega_2|^2 }.

The normalized orthogonal state

∣D⟩=Ω2∗∣rg⟩−Ω1∗∣gr⟩Ωcol|D\rangle=\frac{\Omega_2^*|rg\rangle-\Omega_1^*|gr\rangle} {\Omega_{\mathrm{col}}}

is dark to ∣gg⟩|gg\rangle, but generally not to ∣rr⟩|rr\rangle:

⟨rr∣Hd∣D⟩=ℏ(∣Ω2∣2−∣Ω1∣2)2Ωcol.\langle rr|H_d|D\rangle =\frac{\hbar(|\Omega_2|^2-|\Omega_1|^2)} {2\Omega_{\mathrm{col}}}.

Thus unequal magnitudes spoil exact decoupling in the full four-state model. Fixed spatial phases alone do not: equal-magnitude drives still define a phase-weighted dark state and retain the 2\sqrt2 enhancement. Differential detunings or time-dependent phases can mix bright and dark states. In the ideal projected one-excitation model the state orthogonal to the instantaneous ground-to-bright drive is dark, but changing that bright vector in time can still populate its orthogonal sector.

On single-atom resonance, set Δ=0\Delta=0. If

∣B∣≫Ω,|B| \gg \Omega,

the ∣rr⟩|rr\rangle amplitude follows the bright-state amplitude approximately:

crr≃−Ω2 BcW.c_{rr} \simeq -\frac{\Omega}{\sqrt2\,B} c_W.

Substitution gives the leading effective Hamiltonian in (∣gg⟩,∣W2⟩)(|gg\rangle,|W_2\rangle):

Heffℏ≃(0Ω/2Ω/2−Ω2/(2B)).\frac{H_{\mathrm{eff}}}{\hbar} \simeq \begin{pmatrix} 0 & \Omega/\sqrt2 \\ \Omega/\sqrt2 & -\Omega^2/(2B) \end{pmatrix}.

Finite blockade therefore has two leading consequences:

  1. residual double-excitation probability,

    Prr≃Ω22∣B∣2PW;P_{rr} \simeq \frac{\Omega^2}{2|B|^2} P_W;
  2. a coherent bright-state energy shift,

    δW≃−Ω22B.\delta_W \simeq -\frac{\Omega^2}{2B}.

The first is leakage; the second is a phase and detuning error. A model that keeps only a hard no-double-excitation rule misses the coherent correction. The sign of BB does not affect the leading leakage probability but does reverse the coherent shift.

At nonzero detuning, the energy separation between ∣W2⟩|W_2\rangle and ∣rr⟩|rr\rangle is

B−Δ,B-\Delta,

so the more general leading expressions are

crr≃−Ω2(B−Δ)cW,δW≃−Ω22(B−Δ).\begin{aligned} c_{rr} &\simeq -\frac{\Omega}{\sqrt2(B-\Delta)} c_W, \\ \delta_W &\simeq -\frac{\Omega^2}{2(B-\Delta)}. \end{aligned}

These expressions approximate a dressed level near the one-excitation energy −Δ-\Delta. To eliminate ∣rr⟩|rr\rangle from dynamics involving the whole retained sector, it must also be separated from the dressed ground-like levels. Near B=2ΔB=2\Delta, for example, ∣gg⟩|gg\rangle and ∣rr⟩|rr\rangle can exchange population through a second-order pair resonance even though ∣B−Δ∣≫Ω|B-\Delta|\gg\Omega. The relevant denominators and operation time must both be checked; Exercise 5 derives that slower transition.

Take

Ω2π=2.0 MHz,B2π=40 MHz.\frac{\Omega}{2\pi} = 2.0\ \mathrm{MHz}, \qquad \frac{B}{2\pi} = 40\ \mathrm{MHz}.

The ideal collective pi-pulse duration is

tπ(2)=π2 Ω≃177 ns.t_\pi^{(2)} = \frac{\pi}{\sqrt2\,\Omega} \simeq 177\ \mathrm{ns}.

At maximum bright-state population, the leakage scale is

Prr≃12(240)2=1.25×10−3.P_{rr} \simeq \frac12 \left( \frac{2}{40} \right)^2 = 1.25\times10^{-3}.

The coherent shift is

δW2π≃−(2 MHz)22(40 MHz)=−50 kHz.\frac{\delta_W}{2\pi} \simeq -\frac{(2\ \mathrm{MHz})^2} {2(40\ \mathrm{MHz})} = -50\ \mathrm{kHz}.

During the ideal collective pi pulse, this shift accumulates a phase scale

∣δW∣tπ(2)≃5.6×10−2 rad.|\delta_W|t_\pi^{(2)} \simeq 5.6\times10^{-2}\ \mathrm{rad}.

The precise final leakage and phase require solving the three-level Hamiltonian with the actual pulse envelope. The example shows why a small double-excitation probability does not by itself establish a high-fidelity coherent operation.

Real Rydberg pair states form a manifold. If the laser-coupled state overlaps several pair eigenstates ∣μ⟩|\mu\rangle, there is generally no unique scalar BB. Leakage contains weighted inverse-square energy denominators:

P2∼∑μ∣κμ∣2∣Δμ∣2,P_2 \sim \sum_\mu \frac{ |\kappa_\mu|^2 }{ |\Delta_\mu|^2 },

where κμ\kappa_\mu is the coupling to pair eigenstate μ\mu and Δμ\Delta_\mu is its drive-frame energy separation. Weakly shifted channels can dominate even if the mean pair interaction is large.

This is especially important with Zeeman degeneracy, anisotropic DD states, or a nearby Förster resonance. A reported blockade strength should state the atomic state, quantization axis, pair orientation, external fields, and how the effective shift was extracted.

For a van der Waals interaction

V(R)=C6R6,B(R)=C6ℏR6,V(R) = \frac{C_6}{R^6}, \qquad B(R) = \frac{C_6}{\hbar R^6},

a drive-defined blockade radius is often written

RΩ=(∣C6∣ℏΩ)1/6.R_\Omega = \left( \frac{|C_6|} {\hbar\Omega} \right)^{1/6}.

This means ∣B(RΩ)∣=Ω|B(R_\Omega)|=\Omega. It does not mean double excitation is already negligible at RΩR_\Omega. Substituting B=ΩB=\Omega into the strong-blockade expansion is uncontrolled. Exact evolution from ∣gg⟩|gg\rangle at Δ=0\Delta=0, for example, gives Prr≃0.4754P_{rr}\simeq0.4754 at the nominal collective pi time Ωt=π/2\Omega t=\pi/\sqrt2. The crossover probability depends on the pulse and detuning; it is not fixed by the radius definition.

Other legitimate definitions include

Rγ=(∣C6∣ℏγexc)1/6,RT=(∣C6∣Tℏ)1/6,\begin{aligned} R_\gamma &= \left( \frac{|C_6|} {\hbar\gamma_{\mathrm{exc}}} \right)^{1/6}, \\ R_T &= \left( \frac{|C_6|T} {\hbar} \right)^{1/6}, \end{aligned}

where γexc\gamma_{\mathrm{exc}} is an effective excitation linewidth and 1/T1/T is a pulse-bandwidth scale. Collective excitation may require comparing BB with N Ω\sqrt N\,\Omega rather than Ω\Omega.

If the target is

Prr≲ϵP_{rr} \lesssim \epsilon

in the ideal resonant two-atom model, then

∣B∣≳Ω2ϵ.|B| \gtrsim \frac{\Omega}{\sqrt{2\epsilon}}.

Within this leading, strong-blockade estimate, the corresponding radius is

Rϵ=[∣C6∣2ϵℏΩ]1/6.R_\epsilon = \left[ \frac{ |C_6|\sqrt{2\epsilon} }{ \hbar\Omega } \right]^{1/6}.

This estimate is not a guarantee for every pulse shape or duration; a hard error bound requires the full evolution and other error channels. The weak dependence

Rϵ∝ϵ1/12R_\epsilon \propto \epsilon^{1/12}

means that a much stricter leakage target reduces the radius only gradually. It also means a single significant digit in a quoted radius can hide a large change in the implied error.

Consider an illustrative isotropic coefficient

∣C6∣h=1.0 THz μm6\frac{|C_6|}{h} = 1.0\ \mathrm{THz}\,\mu\mathrm m^6

and Ω/(2π)=2.0 MHz\Omega/(2\pi)=2.0\ \mathrm{MHz}. Because both BB and Ω\Omega may be compared in angular-frequency units, the same ratio can be evaluated using ∣C6∣/h|C_6|/h and ordinary frequencies.

Definition Comparison scale in ordinary frequency Radius
drive equality, ∣B∣=Ω\lvert B\rvert=\Omega 2.0 MHz2.0\ \mathrm{MHz} 8.91 μm8.91\ \mu\mathrm m
spectral width example 10 MHz10\ \mathrm{MHz} 6.81 μm6.81\ \mu\mathrm m
Prr≲10−3P_{rr}\lesssim10^{-3} ideal target 44.7 MHz44.7\ \mathrm{MHz} 5.31 μm5.31\ \mu\mathrm m

The conventional drive-equality radius is therefore almost seventy percent larger than the radius associated with a 10−310^{-3} leakage target. Neither number is wrong; they answer different questions.

If C6=C6(θ,ϕ)C_6=C_6(\theta,\phi), then

Rb=Rb(θ,ϕ).R_b = R_b(\theta,\phi).

The blockade region need not be circular or spherical. Position uncertainty also makes BB a random variable. For V∝R−6V\propto R^{-6},

δBB≃−6δRR,\frac{\delta B}{B} \simeq -6\frac{\delta R}{R},

so the tails of the position distribution can dominate rare double excitations.

For a general comparison scale SS,

Rb=(∣C6∣ℏS)1/6,R_b = \left( \frac{|C_6|}{\hbar S} \right)^{1/6},

and small independent calibration shifts obey

δRbRb≃16(δ∣C6∣∣C6∣−δSS).\frac{\delta R_b}{R_b} \simeq \frac16 \left( \frac{\delta |C_6|}{|C_6|} -\frac{\delta S}{S} \right).

The sixth root makes the radius numerically robust while the blockade error, which depends roughly on B−2B^{-2}, remains much more sensitive.

Blockade, Facilitation, and Pair Resonance

Section titled “Blockade, Facilitation, and Pair Resonance”

The rotating-frame energies of the one- and two-excitation sectors are

EW=−ℏΔ,Err=ℏ(B−2Δ).E_W = -\hbar\Delta, \qquad E_{rr} = \hbar(B-2\Delta).

Three conditions answer different questions:

Condition Interpretation
∣B−Δ∣≫Ω\lvert B-\Delta\rvert\gg\Omega suppresses the direct transition from the one-excitation sector to ∣rr⟩\lvert rr\rangle
B≃ΔB\simeq\Delta adding a second excitation next to an existing Rydberg excitation is resonant; facilitation condition
B≃2ΔB\simeq2\Delta ∣gg⟩\lvert gg\rangle and ∣rr⟩\lvert rr\rangle are on two-photon pair resonance

Thus a large bare ∣B∣|B| does not guarantee blockade under every detuned protocol. Detuning can compensate the interaction. Deliberately using such a condition is called facilitation or antiblockade in different contexts; the name should be accompanied by the actual resonance condition.

The sign matters. Repulsive and attractive pair shifts move resonances in opposite detuning directions. A scan that measures only the magnitude of double-excitation suppression can miss this information, while spectroscopy retains it.

For NN atoms initially in

∣G⟩=∣g1g2⋯gN⟩,|G\rangle = |g_1g_2\cdots g_N\rangle,

define the symmetric one-excitation state

∣WN⟩=1N∑i=1N∣g1⋯ri⋯gN⟩.|W_N\rangle = \frac{1}{\sqrt N} \sum_{i=1}^{N} |g_1\cdots r_i\cdots g_N\rangle.

The uniform drive

Hd=ℏΩ2∑i(∣ri⟩⟨gi∣+h.c.)H_d = \frac{\hbar\Omega}{2} \sum_i \left( |r_i\rangle\langle g_i| + \mathrm{h.c.} \right)

has matrix element

⟨WN∣Hd∣G⟩=ℏN Ω2.\langle W_N|H_d|G\rangle = \frac{\hbar\sqrt N\,\Omega}{2}.

If every doubly excited state is sufficiently detuned, the ensemble behaves as a two-state system with collective Rabi frequency

ΩN=N Ω.\Omega_N = \sqrt N\,\Omega.

This is the superatom limit. The single Rydberg excitation is shared coherently among the atoms. It is not correct to say that one unknown atom was excited unless a measurement localizes the excitation.

If the laser phase at site ii is ϕi\phi_i, the bright state is

∣Wϕ⟩=1N∑ieiϕi∣g1⋯ri⋯gN⟩.|W_{\boldsymbol\phi}\rangle = \frac{1}{\sqrt N} \sum_i e^{i\phi_i} |g_1\cdots r_i\cdots g_N\rangle.

For spatial phase ϕi=keff⋅ri\phi_i=\mathbf k_{\mathrm{eff}}\cdot\mathbf r_i, motion dephases the collective spin wave. De-excitation into a selected optical mode also depends on this phase pattern. The state is symmetric in population but not necessarily in optical phase.

For nonuniform couplings, replace N Ω\sqrt N\,\Omega by

Ωcol=∑i∣Ωi∣2,\Omega_{\mathrm{col}} = \sqrt{ \sum_i|\Omega_i|^2 },

and weight the bright state by Ωi\Omega_i. Inferring atom number from a measured collective Rabi frequency is valid only after coupling inhomogeneity is bounded.

Let BijB_{ij} be the interaction shift of the doubly excited pair ijij. Starting from a normalized symmetric one-excitation state, the coupling to that pair is Ω/N\Omega/\sqrt N. In the simplest nondegenerate, resonant elimination,

P2≃Ω2N∑i<j1∣Bij∣2PW.P_2 \simeq \frac{\Omega^2}{N} \sum_{i<j} \frac{1}{|B_{ij}|^2} P_W.

Define a harmonic-type effective blockade shift by

1Beff2=2N(N−1)∑i<j1∣Bij∣2.\frac{1}{B_{\mathrm{eff}}^2} = \frac{2}{N(N-1)} \sum_{i<j} \frac{1}{|B_{ij}|^2}.

Then

P2≃N−12Ω2Beff2PW.P_2 \simeq \frac{N-1}{2} \frac{\Omega^2}{B_{\mathrm{eff}}^2} P_W.

For uniform Bij=BB_{ij}=B, this reduces to

P2≃N−12(ΩB)2PW.P_2 \simeq \frac{N-1}{2} \left( \frac{\Omega}{B} \right)^2 P_W.

The sum weights weakly blockaded pairs strongly. Increasing atom number at fixed geometry and drive can therefore worsen leakage even while the desired collective coupling grows as N\sqrt N.

The formula assumes independent pair eigenstates and weak admixture. Pair state mixing, anisotropy, nonuniform drive, and several-excitation pathways require the full multilevel Hamiltonian.

A low measured PrrP_{rr} must be compared with independent atoms driven by the same pulse: weak excitation alone also gives little double population. Collective Rabi oscillations at 2Ω\sqrt2\Omega, together with suppressed double excitation, test the coherent bright-state mechanism. Gaëtan and colleagues observed this combination for two individually trapped atoms.

Interaction-shifted spectroscopy versus separation, orientation, and detuning then distinguishes a scalar pair shift from weak angular channels or a nearby pair resonance. Walker and Saffman’s analysis shows why the weakest coupled channels can dominate blockade errors.

Loss-based detection requires particular care. Two binary site outcomes provide four probabilities, insufficient to reconstruct arbitrary populations in gg,gr,rg,rrgg,gr,rg,rr and an additional loss sector without further information. Prepared-state calibrations, additional detection channels, or explicit conditional assumptions are needed; a product of single-site readout models also fails when errors are correlated.

Encode qubits in long-lived states ∣0⟩|0\rangle and ∣1⟩|1\rangle, and couple only ∣1⟩|1\rangle to ∣r⟩|r\rangle. A standard conceptual sequence is

πc⟶2πt⟶πc,\pi_{\mathrm c} \longrightarrow 2\pi_{\mathrm t} \longrightarrow \pi_{\mathrm c},

where c and t label control and target.

  1. The first control pi pulse maps ∣1⟩c↔∣r⟩c|1\rangle_{\mathrm c}\leftrightarrow|r\rangle_{\mathrm c}.
  2. If the control is not Rydberg excited, a target 2π2\pi pulse executes a closed Rabi cycle and contributes a phase.
  3. If the control occupies ∣r⟩|r\rangle, the interaction shifts the target’s doubly excited state and suppresses that cycle.
  4. The final control pi pulse returns population to the computational subspace.

For one simple pulse-phase convention, the computational basis transforms as

∣00⟩⟼∣00⟩,∣01⟩⟼−∣01⟩,∣10⟩⟼−∣10⟩,∣11⟩⟼−∣11⟩.\begin{aligned} |00\rangle&\longmapsto |00\rangle, \\ |01\rangle&\longmapsto-|01\rangle, \\ |10\rangle&\longmapsto-|10\rangle, \\ |11\rangle&\longmapsto-|11\rangle. \end{aligned}

The diagonal unitary

U=diag⁡(1,−1,−1,−1)U = \operatorname{diag}(1,-1,-1,-1)

is locally equivalent to a controlled-ZZ gate. Its gauge-invariant two-qubit phase is

Φent=ϕ00−ϕ01−ϕ10+ϕ11=π(mod2π).\Phi_{\mathrm{ent}} = \phi_{00}-\phi_{01}-\phi_{10}+\phi_{11} = \pi \pmod{2\pi}.

Single-qubit phase corrections convert it to the usual diag⁡(1,1,1,−1)\operatorname{diag}(1,1,1,-1) convention. Actual pulse phases and level shifts must be tracked; population return alone does not establish the entangling phase.

Modern blockade gates can use global symmetric pulses, time-dependent phase or detuning, dark-state paths, adiabatic dressing, optimal control, or direct multi-qubit protocols. These methods redistribute time spent in lossy states and sensitivity to calibration errors. The three-pulse sequence remains a clear mechanism, not a universal optimum.

A useful schematic error model is

ϵ(Ω)≃aΩτr+b(ΩB)2,\epsilon(\Omega) \simeq \frac{a}{\Omega\tau_r} + b\left( \frac{\Omega}{B} \right)^2,

where τr\tau_r is the Rydberg lifetime and a,ba,b depend on the pulse protocol. Driving faster reduces time exposed to decay but worsens finite-blockade error. Minimization gives the scaling

Ωopt∝(B2τr)1/3,ϵopt∝(∣B∣τr)−2/3.\Omega_{\mathrm{opt}} \propto \left( \frac{B^2}{\tau_r} \right)^{1/3}, \qquad \epsilon_{\mathrm{opt}} \propto (|B|\tau_r)^{-2/3}.

This is not a complete experimental error budget. Intermediate-state scattering, Doppler shifts, laser phase and intensity noise, adjacent Rydberg levels, pulse rise time, differential light shifts, addressing crosstalk, motion, and readout can dominate.

Different measurements support different claims.

Measurement What it establishes What it does not establish alone
truth table basis-state population transfer coherent phase or action on superpositions
Bell-state populations and parity entanglement-generation fidelity or lower bound average fidelity of an arbitrary gate input
process tomography reconstructed process under model assumptions scalable, drift-robust average performance
repeated-gate or randomized protocol per-gate decay metric over a sampled ensemble every coherent and leakage mechanism separately
leakage or erasure detection probability and location of detectable failures unconditional success when failed shots are discarded

A conditional Bell-state fidelity after erasure excision and an unconditional average gate fidelity are both useful, but they are not interchangeable. Similarly, correcting state-preparation-and-measurement errors can isolate an operation estimate, but the correction model and uncertainty must be stated.

The calibrated array begins with

Hℏ=Ω2∑iσix−Δ∑ini+∑i<jBijninj.\frac{H}{\hbar} = \frac{\Omega}{2} \sum_i\sigma_i^x -\Delta\sum_i n_i + \sum_{i<j}B_{ij}n_i n_j.

This is a soft constraint: doubly excited configurations remain in the Hilbert space but cost interaction energy. The full long-range BijB_{ij} tail can influence phase boundaries and dynamics even when nearest neighbors are strongly blockaded.

In a one-dimensional chain with

∣Bi,i+1∣≫Ω, ∣Δ∣,|B_{i,i+1}| \gg \Omega,\ |\Delta|,

and an initial state with no adjacent Rydberg excitations, project onto that approximately invariant sector. For repulsive interactions it is the low-interaction-energy sector; attractive interactions instead make it an excited, dynamically restricted sector. The pure nearest-neighbor model also requires negligible longer-range interactions on the time scale considered. Define

Pi=1−ni=∣gi⟩⟨gi∣.P_i = 1-n_i = |g_i\rangle\langle g_i|.

A site may flip only if both neighbors are in ∣g⟩|g\rangle, giving

HPXPℏ=Ω2∑iPi−1σixPi+1−Δ∑ini.\frac{H_{\mathrm{PXP}}}{\hbar} = \frac{\Omega}{2} \sum_i P_{i-1}\sigma_i^xP_{i+1} -\Delta\sum_i n_i.

At Δ=0\Delta=0, the name PXP refers to the projector–flip–projector structure. Boundary terms contain only the available neighbor projector. This Hamiltonian describes constrained dynamics and underlies the connection between Rydberg chains and quantum many-body scars.

Finite blockade produces leakage and virtual corrections of order

ΩBnnandΩ2Bnn,\frac{\Omega}{B_{\mathrm{nn}}} \quad\text{and}\quad \frac{\Omega^2}{B_{\mathrm{nn}}},

where the first quantity is a leakage amplitude (the probability is second order) and the second is an angular-frequency correction. Longer-range interactions remain as diagonal terms inside the constrained space. For a uniform van der Waals chain, Bi,i+2=Bnn/64B_{i,i+2}=B_{\mathrm{nn}}/64: increasing Bnn/ΩB_{\mathrm{nn}}/\Omega without bound eventually makes this tail important. A simple PXP approximation requires a window such as 1≪Bnn/Ω≪641\ll B_{\mathrm{nn}}/\Omega\ll64, with stricter limits set by the desired accuracy and duration, rather than just taking the overall interaction to infinity. The controlled derivation can be organized with a projection or Schrieffer–Wolff transformation.

Construct a graph whose vertices are atoms and whose edges connect pairs treated as mutually blockaded. In the hard-constraint idealization, an allowed Rydberg configuration is an independent set: no occupied vertices share an edge.

For positive detuning in the convention used here, the term

−ℏΔ∑ini-\hbar\Delta\sum_i n_i

favors more Rydberg excitations. At an ideal hard-constraint endpoint with Ω=0\Omega=0 and no residual interaction within the allowed sector, the lowest-energy configurations maximize the number of occupied, mutually nonadjacent vertices. This gives the hardware-efficient connection to the maximum-independent-set problem.

The graph itself is model-dependent. A finite, anisotropic interaction does not create a sharp edge, and interactions beyond chosen edges shift different independent sets unequally. Claims about optimization performance must include the soft interaction Hamiltonian, preparation schedule, readout correction, and classical comparison protocol.

Ordered phases and nonequilibrium dynamics

Section titled “Ordered phases and nonequilibrium dynamics”

Blockade plus detuning can favor spatially ordered Rydberg patterns. Quenches from special product states can show long-lived revivals described by constrained models. These phenomena are applications of the blockade Hamiltonian, not additional evidence that blockade is perfect.

Transverse-field Ising model develops the many-body interpretation. The microscopic interaction tails, detunings, and virtual shifts determine which constrained approximation is appropriate; they cannot be inferred from a sharp blockade graph alone.

Exercise 1: Derive the bright-sector Hamiltonian

Section titled “Exercise 1: Derive the bright-sector Hamiltonian”

Starting from the four-state two-atom Hamiltonian, transform to the basis

(∣gg⟩, ∣W2⟩, ∣D2⟩, ∣rr⟩).\left( |gg\rangle,\, |W_2\rangle,\, |D_2\rangle,\, |rr\rangle \right).

Show that ∣D2⟩|D_2\rangle decouples under uniform driving and derive the three-state bright-sector Hamiltonian.

Solution

The laser couples

Hd∣gg⟩=ℏΩ2(∣gr⟩+∣rg⟩)=ℏΩ2∣W2⟩.H_d|gg\rangle = \frac{\hbar\Omega}{2} \left( |gr\rangle+|rg\rangle \right) = \frac{\hbar\Omega}{\sqrt2} |W_2\rangle.

Similarly,

Hd∣W2⟩=ℏΩ2(∣gg⟩+∣rr⟩),H_d|W_2\rangle = \frac{\hbar\Omega}{\sqrt2} \left( |gg\rangle+|rr\rangle \right),

whereas

Hd∣D2⟩=0.H_d|D_2\rangle = 0.

The detuning gives energy −ℏΔ-\hbar\Delta to both one-excitation states and −2ℏΔ-2\hbar\Delta to ∣rr⟩|rr\rangle. The interaction adds ℏB\hbar B only to ∣rr⟩|rr\rangle. Therefore

Hℏ=(0Ω/200Ω/2−Δ0Ω/200−Δ00Ω/20−2Δ+B).\frac{H}{\hbar} = \begin{pmatrix} 0 & \Omega/\sqrt2 & 0 & 0 \\ \Omega/\sqrt2 & -\Delta & 0 & \Omega/\sqrt2 \\ 0 & 0 & -\Delta & 0 \\ 0 & \Omega/\sqrt2 & 0 & -2\Delta+B \end{pmatrix}.

Removing the isolated dark-state row and column gives

Hbrightℏ=(0Ω/20Ω/2−ΔΩ/20Ω/2−2Δ+B).\frac{H_{\mathrm{bright}}}{\hbar} = \begin{pmatrix} 0 & \Omega/\sqrt2 & 0 \\ \Omega/\sqrt2 & -\Delta & \Omega/\sqrt2 \\ 0 & \Omega/\sqrt2 & -2\Delta+B \end{pmatrix}.

Suppose the squared normalized coupling weights to two pair eigenchannels are 0.990.99 and 0.010.01, with shifts BB and 0.01B0.01B, respectively. Compute the inverse-square-weighted effective blockade shift. Does a mean shift near BB imply strong blockade? Assume both denominators are still large enough for perturbation theory.

Solution

The relevant weighted denominator is

1Beff2=0.99B2+0.01(0.01B)2=100.99B2.\frac{1}{B_{\mathrm{eff}}^2} =\frac{0.99}{B^2}+\frac{0.01}{(0.01B)^2} =\frac{100.99}{B^2}.

Thus Beff≃0.0995∣B∣B_{\mathrm{eff}}\simeq0.0995|B|, while the weighted arithmetic mean is 0.9901B0.9901B. The one-percent channel dominates the leakage by about two orders of magnitude over the strongly shifted channel. If its coupling is not small compared with 0.01∣B∣0.01|B|, even this perturbative estimate fails and that channel must be retained explicitly.

Take

∣C6∣h=1.0 THz μm6,Ω2π=2.0 MHz.\frac{|C_6|}{h} = 1.0\ \mathrm{THz}\,\mu\mathrm m^6, \qquad \frac{\Omega}{2\pi} = 2.0\ \mathrm{MHz}.

Calculate:

  1. the drive-equality radius RΩR_\Omega;
  2. the radius obtained with a 10 MHz10\ \mathrm{MHz} excitation-width scale;
  3. the ideal target-error radius for Prr≤10−3P_{rr}\leq10^{-3}.

Explain why the three answers can all be valid.

Solution

Using ordinary-frequency quantities,

R=[∣C6∣/hS/(2π)]1/6.R = \left[ \frac{|C_6|/h}{S/(2\pi)} \right]^{1/6}.

For the drive equality,

RΩ=(10122.0×106)1/6μm≃8.91 μm.R_\Omega = \left( \frac{10^{12}}{2.0\times10^6} \right)^{1/6} \mu\mathrm m \simeq 8.91\ \mu\mathrm m.

For a 10 MHz10\ \mathrm{MHz} width,

Rγ=(1012107)1/6μm≃6.81 μm.R_\gamma = \left( \frac{10^{12}}{10^7} \right)^{1/6} \mu\mathrm m \simeq 6.81\ \mu\mathrm m.

The leakage target requires

∣B∣Ω≥12×10−3≃22.36.\frac{|B|}{\Omega} \geq \frac{1}{\sqrt{2\times10^{-3}}} \simeq 22.36.

Thus the interaction-frequency scale is

(22.36)(2.0 MHz)=44.7 MHz,(22.36)(2.0\ \mathrm{MHz}) = 44.7\ \mathrm{MHz},

and

Rϵ=(101244.7×106)1/6μm≃5.31 μm.R_\epsilon = \left( \frac{10^{12}}{44.7\times10^6} \right)^{1/6} \mu\mathrm m \simeq 5.31\ \mu\mathrm m.

The definitions compare the same interaction with different physical scales: coherent drive, spectral resolution, and a specified leakage target.

Exercise 4: N-atom collective coupling and leakage

Section titled “Exercise 4: N-atom collective coupling and leakage”

For NN uniformly driven atoms:

  1. derive the coupling between ∣G⟩|G\rangle and ∣WN⟩|W_N\rangle;
  2. show that the collective Rabi frequency is N Ω\sqrt N\,\Omega;
  3. assume every pair has the same blockade shift BB and derive the leading total double-excitation probability at PW=1P_W=1.

For N=10N=10 and B/Ω=50B/\Omega=50, estimate P2P_2.

Solution

Acting on the collective ground state,

Hd∣G⟩=ℏΩ2∑i∣i⟩=ℏN Ω2∣WN⟩.H_d|G\rangle = \frac{\hbar\Omega}{2} \sum_i|i\rangle = \frac{\hbar\sqrt N\,\Omega}{2} |W_N\rangle.

Therefore

ΩN=N Ω.\Omega_N = \sqrt N\,\Omega.

For a particular double excitation ∣ij⟩|ij\rangle, there are two paths from ∣WN⟩|W_N\rangle, one from its ∣i⟩|i\rangle component and one from its ∣j⟩|j\rangle component. Their total matrix element is

ℏΩN.\frac{\hbar\Omega}{\sqrt N}.

Elimination gives probability

Ω2NB2\frac{\Omega^2}{NB^2}

in each of the N(N−1)/2N(N-1)/2 pair states. Hence

P2≃N−12(ΩB)2.P_2 \simeq \frac{N-1}{2} \left( \frac{\Omega}{B} \right)^2.

For N=10N=10 and B/Ω=50B/\Omega=50,

P2≃92(50)2=1.8×10−3.P_2 \simeq \frac{9}{2(50)^2} = 1.8\times10^{-3}.

This estimate assumes equal nondegenerate pair shifts and no coupling among the double-excitation states.

For the two-atom Hamiltonian with detuning Δ\Delta:

  1. find the energy cost for adding a second Rydberg excitation when one is already present;
  2. find the condition for ∣gg⟩|gg\rangle and ∣rr⟩|rr\rangle to be degenerate in the rotating frame;
  3. evaluate both conditions for B/(2π)=30 MHzB/(2\pi)=30\ \mathrm{MHz}.
Solution

The one-excitation energy is

EW=−ℏΔ,E_W = -\hbar\Delta,

and the double-excitation energy is

Err=ℏ(B−2Δ).E_{rr} = \hbar(B-2\Delta).

Adding the second excitation costs

Err−EW=ℏ(B−Δ).E_{rr}-E_W = \hbar(B-\Delta).

It is resonant when

Δ≃B.\Delta \simeq B.

The pair state is degenerate with ∣gg⟩|gg\rangle when

B−2Δ=0,B-2\Delta = 0,

or

Δ≃B2.\Delta \simeq \frac{B}{2}.

For B/(2π)=30 MHzB/(2\pi)=30\ \mathrm{MHz}, the facilitation condition for adding a second excitation is Δ/(2π)≃30 MHz\Delta/(2\pi)\simeq30\ \mathrm{MHz}, while the two-photon pair-resonance condition is Δ/(2π)≃15 MHz\Delta/(2\pi)\simeq15\ \mathrm{MHz}.

For Ω≪∣Δ∣\Omega\ll|\Delta| at B=2ΔB=2\Delta, eliminate the off-resonant ∣W2⟩|W_2\rangle instead. In (∣gg⟩,∣rr⟩)(|gg\rangle,|rr\rangle),

Hpairℏ≃Ω22Δ(1111),Ωpair=Ω2∣Δ∣.\frac{H_{\mathrm{pair}}}{\hbar} \simeq\frac{\Omega^2}{2\Delta} \begin{pmatrix}1&1\\1&1\end{pmatrix}, \qquad \Omega_{\mathrm{pair}}=\frac{\Omega^2}{|\Delta|}.

Both diagonal shifts are equal, so the pair resonance remains at B=2ΔB=2\Delta in this symmetric model. If Ω/(2π)=2.0 MHz\Omega/(2\pi)=2.0\ \mathrm{MHz} and Δ/(2π)=15 MHz\Delta/(2\pi)=15\ \mathrm{MHz}, the pair Rabi frequency is about 0.267 MHz0.267\ \mathrm{MHz} and the pi time is 1.88 μs1.88\ \mu\mathrm s. A large one-to-two energy denominator therefore does not exclude a slower two-photon transfer from the ground state.

Exercise 6: Entangling phase of the three-pulse gate

Section titled “Exercise 6: Entangling phase of the three-pulse gate”

Assume the blockade-gate sequence produces

U=diag⁡(1,−1,−1,−1)U = \operatorname{diag}(1,-1,-1,-1)

in the ordered basis (∣00⟩,∣01⟩,∣10⟩,∣11⟩)(|00\rangle,|01\rangle,|10\rangle,|11\rangle).

  1. Calculate the entangling phase Φent=ϕ00−ϕ01−ϕ10+ϕ11\Phi_{\mathrm{ent}} =\phi_{00}-\phi_{01}-\phi_{10}+\phi_{11}.
  2. Find local ZZ operations that convert UU to diag⁡(1,1,1,−1)\operatorname{diag}(1,1,1,-1).
  3. Explain why a truth-table measurement would not determine Φent\Phi_{\mathrm{ent}}.
Solution

Choose phases

(ϕ00,ϕ01,ϕ10,ϕ11)=(0,π,π,π).(\phi_{00},\phi_{01},\phi_{10},\phi_{11}) = (0,\pi,\pi,\pi).

Then

Φent=0−π−π+π=−π≡π(mod2π).\Phi_{\mathrm{ent}} = 0-\pi-\pi+\pi = -\pi \equiv \pi \pmod{2\pi}.

Apply ZZ to both qubits:

(Z⊗Z)U=diag⁡(1,1,1,−1).(Z\otimes Z)U = \operatorname{diag}(1,1,1,-1).

A truth table records only output populations for computational-basis inputs. Every diagonal unitary has the identity truth table, regardless of its relative phases. Superposition inputs and phase-sensitive measurements are required.

Exercise 7: Optimize a schematic gate error

Section titled “Exercise 7: Optimize a schematic gate error”

Let

ϵ(Ω)=aΩτ+bΩ2B2,\epsilon(\Omega) = \frac{a}{\Omega\tau} + b\frac{\Omega^2}{B^2},

with a,b>0a,b>0. Find Ωopt\Omega_{\mathrm{opt}} and show that the optimized error scales as (∣B∣τ)−2/3(|B|\tau)^{-2/3}. At the optimum, what is the ratio of the lifetime term to the blockade term?

Solution

Differentiate:

dϵdΩ=−aΩ2τ+2bΩB2.\frac{d\epsilon}{d\Omega} = -\frac{a}{\Omega^2\tau} + \frac{2b\Omega}{B^2}.

Setting this to zero gives

Ωopt3=aB22bτ,\Omega_{\mathrm{opt}}^3 = \frac{aB^2}{2b\tau},

or

Ωopt=(aB22bτ)1/3.\Omega_{\mathrm{opt}} = \left( \frac{aB^2}{2b\tau} \right)^{1/3}.

Substitution shows that both terms scale as

(∣B∣τ)−2/3,(|B|\tau)^{-2/3},

so

ϵopt∝(∣B∣τ)−2/3.\epsilon_{\mathrm{opt}} \propto (|B|\tau)^{-2/3}.

The stationarity equation may be rearranged as

aΩoptτ=2bΩopt2B2.\frac{a}{\Omega_{\mathrm{opt}}\tau} = 2b \frac{\Omega_{\mathrm{opt}}^2}{B^2}.

Thus the lifetime contribution is twice the blockade contribution in this particular two-term model.

For an open chain of LL two-state atoms, let dLd_L count configurations with no adjacent Rydberg excitations. Find a recurrence and the allowed configurations for L=3L=3. Then explain why increasing a common C6C_6 does not yield a pure nearest-neighbor PXP Hamiltonian at fixed lattice spacing.

Solution

If the first site is in gg, there are dL−1d_{L-1} choices for the rest. If it is in rr, the second must be in gg, leaving dL−2d_{L-2} choices. Therefore

dL=dL−1+dL−2,d0=1,d1=2,d_L=d_{L-1}+d_{L-2},\qquad d_0=1,\quad d_1=2,

so dL=FL+2d_L=F_{L+2} with F0=0,F1=1F_0=0,F_1=1. For three sites the allowed states are

∣ggg⟩, ∣rgg⟩, ∣grg⟩, ∣ggr⟩, ∣rgr⟩.|ggg\rangle,\ |rgg\rangle,\ |grg\rangle,\ |ggr\rangle,\ |rgr\rangle.

The projected drive connects two listed configurations when one allowed single-site flip relates them. In a van der Waals chain the last state also carries the next-neighbor energy ℏBnn/64\hbar B_{\mathrm{nn}}/64. Scaling C6C_6 upward increases this energy together with the forbidden nearest-neighbor penalties. The five-state space is a useful projection, but its Hamiltonian includes the surviving tail unless that term is negligible or separately engineered.

  • H. Bernien, S. Schwartz, A. Keesling, H. Levine, A. Omran, H. Pichler, S. Choi, A. S. Zibrov, M. Endres, M. Greiner, V. Vuletić, and M. D. Lukin, “Probing many-body dynamics on a 51-atom quantum simulator,” Nature 551, 579–584 (2017), doi:10.1038/nature24622.
  • P. Fendley, K. Sengupta, and S. Sachdev, “Competing density-wave orders in a one-dimensional hard-boson model,” Physical Review B 69, 075106 (2004), doi:10.1103/PhysRevB.69.075106.
  • A. Gaëtan, Y. Miroshnychenko, T. Wilk, A. Chotia, M. Viteau, D. Comparat, P. Pillet, A. Browaeys, and P. Grangier, “Observation of collective excitation of two individual atoms in the Rydberg blockade regime,” Nature Physics 5, 115–118 (2009), doi:10.1038/nphys1183.
  • D. Jaksch, J. I. Cirac, P. Zoller, S. L. Rolston, R. Côté, and M. D. Lukin, “Fast quantum gates for neutral atoms,” Physical Review Letters 85, 2208–2211 (2000), doi:10.1103/PhysRevLett.85.2208.
  • M. D. Lukin, M. Fleischhauer, R. Côté, L. M. Duan, D. Jaksch, J. I. Cirac, and P. Zoller, “Dipole blockade and quantum information processing in mesoscopic atomic ensembles,” Physical Review Letters 87, 037901 (2001), doi:10.1103/PhysRevLett.87.037901.
  • M. Saffman, T. G. Walker, and K. Mølmer, “Quantum information with Rydberg atoms,” Reviews of Modern Physics 82, 2313–2363 (2010), doi:10.1103/RevModPhys.82.2313.
  • C. J. Turner, A. A. Michailidis, D. A. Abanin, M. Serbyn, and Z. Papić, “Weak ergodicity breaking from quantum many-body scars,” Nature Physics 14, 745–749 (2018), doi:10.1038/s41567-018-0137-5.
  • T. G. Walker and M. Saffman, “Consequences of Zeeman degeneracy for the van der Waals blockade between Rydberg atoms,” Physical Review A 77, 032723 (2008), doi:10.1103/PhysRevA.77.032723.
  • X. L. Zhang, L. Isenhower, A. T. Gill, T. G. Walker, and M. Saffman, “Fidelity of a Rydberg-blockade quantum gate from simulated quantum process tomography,” Physical Review A 85, 042310 (2012), doi:10.1103/PhysRevA.85.042310.