Skip to content

An optical tweezer is a tightly focused dipole trap. Here the particles are individual atoms or molecules: fluorescence identifies their locations, and moving traps can assemble a chosen array from randomly loaded sites. The central tradeoff is between tight localization and light-induced heating or internal-state shifts. Occupancy, survival, motional excitation, and internal coherence describe different aspects of the prepared sample.

The defining physical scale is the diffraction-limited focus. A small waist produces large intensity curvature, so a single trapped particle can have resolved motional levels and can scatter enough fluorescence to be detected site by site. The same high intensity also magnifies differential light shifts, photon scattering, polarization gradients, and sensitivity to optical aberrations.

Required background. Optical dipole traps relates light shifts to confinement; sub-Doppler cooling explains recoil and motional sidebands; POVMs distinguishes an observed outcome from the physical state inferred from it.

The numerical aperture of an objective is

NA=nsin⁡θ,\mathrm{NA} = n\sin\theta,

where nn is the refractive index on the object side and θ\theta is the maximum accepted ray angle. In vacuum (n=1n=1), for a paraxial Gaussian beam that underfills an objective,

w0≃λLfπwin≃λLπNAeff,w_0 \simeq \frac{ \lambda_L f }{ \pi w_{\mathrm{in}} } \simeq \frac{ \lambda_L }{ \pi\mathrm{NA}_{\mathrm{eff}} },

where w0w_0 is the 1/e21/e^2 intensity radius, ff is the focal length, and winw_{\mathrm{in}} is the incident Gaussian radius at the objective.

This is an estimate, not a universal diffraction formula. The actual point spread function depends on pupil filling, aberrations, vector polarization, refractive-index interfaces, and the waist convention. At high NA, a scalar paraxial Gaussian is insufficient: the focused field can contain a longitudinal component and spatially varying ellipticity.

For a vector field with complex peak amplitude E0\mathbf E_0, the leading internal-state light shift is

Ua(r)=−14Re⁡[E0∗⋅αa(ωL)⋅E0].U_a(\mathbf r)=-\frac14\operatorname{Re} \left[\mathbf E_0^*\cdot\boldsymbol\alpha_a(\omega_L)\cdot\mathbf E_0\right].

One can write Ua=−Re⁡αaeffIE/(2ϵ0c)U_a=-\operatorname{Re}\alpha_a^{\rm eff}I_E/(2\epsilon_0c) with IE=ϵ0c∣E0∣2/2I_E=\epsilon_0c|\mathbf E_0|^2/2. In a strongly nonparaxial focus, this electric-field intensity is not generally the local axial Poynting flux measured by an intensity camera. Vector diffraction and polarization therefore matter in converting a focus image into an atomic potential.

For a red-detuned paraxial Gaussian with depth U0U_0, waist w0w_0, and Rayleigh range zR=πw02/λLz_R=\pi w_0^2/\lambda_L, the leading estimates are

ωr≃4U0mw02,ωz≃2U0mzR2.\omega_r \simeq \sqrt{ \frac{ 4U_0 }{ mw_0^2 } }, \qquad \omega_z \simeq \sqrt{ \frac{ 2U_0 }{ mz_R^2 } }.

In a high-NA tweezer, the reliable procedure is to calculate or measure the full potential, locate its equilibrium, and diagonalize its Hessian. The paraxial formulas are useful for scale estimates and consistency checks.

A small waist increases radial curvature as w0−2w_0^{-2} at fixed depth. It also reduces zRz_R and strengthens axial confinement. This produces motional frequencies that can be much larger than in a bulk dipole trap, but it also makes pointing noise and focus drift more consequential.

Near a stable minimum,

Hmot=∑i=x,y,zℏωi(ai†ai+12).H_{\mathrm{mot}} = \sum_{i=x,y,z} \hbar\omega_i \left( a_i^\dagger a_i + \frac12 \right).

The ground-state length along principal axis ii is

x0,i=ℏ2mωi.x_{0,i} = \sqrt{ \frac{ \hbar }{ 2m\omega_i } }.

For a thermal harmonic mode,

nˉi=1exp⁡(ℏωi/kBT)−1,\bar n_i = \frac{ 1 }{ \exp\left(\hbar\omega_i/k_{\mathrm B}T\right)-1 },

and

⟨xi2⟩=x0,i2(2nˉi+1).\langle x_i^2\rangle = x_{0,i}^2 \left( 2\bar n_i+1 \right).

For separable thermal modes, the three-dimensional motional-ground-state probability is

P000=∏i11+nˉi.P_{000} = \prod_i \frac{ 1 }{ 1+\bar n_i }.

A small temperature in kelvin does not guarantee small nˉi\bar n_i; the comparison is with ℏωi/kB\hbar\omega_i/k_{\mathrm B} along each axis.

For a transition with wave-vector change Δk\Delta\mathbf k, define

ηi=∣Δk⋅e^i∣x0,i.\eta_i = \left| \Delta\mathbf k \mathbin{\cdot} \hat{\mathbf e}_i \right| x_{0,i}.

The Lamb–Dicke regime requires the particle’s spatial extent to be small enough that recoil does not strongly resolve its position. For a thermal mode, a useful condition is

ηi2(2nˉi+1)≪1.\eta_i^2 \left( 2\bar n_i+1 \right) \ll 1.

The value of ηi\eta_i depends on beam geometry. A copropagating Raman pair can have a much smaller effective wave-vector difference than a counterpropagating pair. Optical repumping and imaging involve separate single-photon recoil parameters; a small Raman ηi\eta_i does not make those processes recoil free.

Tight focusing introduces effects that may be negligible in a broad dipole trap:

  • longitudinal electric-field components;
  • polarization gradients across the wave packet;
  • vector and tensor light shifts;
  • nonseparable radial and axial motion;
  • aberration-induced secondary minima;
  • surface or window-induced wave-front distortion;
  • collection-path and trapping-path misregistration.

The local transition frequency between states ∣a⟩|a\rangle and ∣b⟩|b\rangle is shifted by

δωba(r)=Ub(r)−Ua(r)ℏ.\delta\omega_{ba}(\mathbf r) = \frac{ U_b(\mathbf r)-U_a(\mathbf r) }{ \hbar }.

Even when the intensity maximum is stable, motion through polarization gradients can create time-dependent vector or tensor shifts. Magic wavelengths, magic polarizations, or magic intensities must be specified for the chosen states and geometry; they are not properties of a wavelength alone.

Tweezers are commonly loaded from a MOT, optical molasses, a reservoir dipole trap, an optical lattice, or a preassembled atomic pair. Loading requires both phase-space overlap and a mechanism that prevents uncontrolled multi-particle occupancy.

In the simplest neutral-atom loading model, light-assisted collisions eject both particles whenever a second atom enters an occupied tweezer. The site then has only two long-lived states:

n∈{0,1}.n \in \{0,1\}.

Let RR be the arrival rate, assumed independent of occupancy, and γ\gamma the one-body loss rate. Assume collision removal is fast compared with the interval between arrivals. If a second loading event takes

1⟶0,1 \longrightarrow 0,

then the occupied probability obeys

dP1dt=R(1−P1)−(R+γ)P1.\frac{ dP_1 }{ dt } = R \left( 1-P_1 \right) - \left( R+\gamma \right) P_1.

Equivalently,

dP1dt=R−(2R+γ)P1.\frac{ dP_1 }{ dt } = R - \left( 2R+\gamma \right) P_1.

The steady filling is

P1,ss=R2R+γ⟶12P_{1,\mathrm{ss}} = \frac{ R }{ 2R+\gamma } \longrightarrow \frac12

when R≫γR\gg\gamma. The familiar 50%50\% limit is therefore not a fundamental limit of tweezers. It follows from the assumed two-in, zero-out collision outcome.

Light-assisted collisions can be engineered so that an entering pair more often leaves one particle rather than zero. Let qq be the conditional probability that one particle remains after a two-particle event. The occupied-to-empty transition rate from loading is then R(1−q)R(1-q), and

P1,ss=RR+R(1−q)+γ.P_{1,\mathrm{ss}} = \frac{ R }{ R + R(1-q) + \gamma }.

The limits are:

q=0:P1,ss→12,q=1:P1,ss→1(R≫γ).\begin{aligned} q=0 &: & P_{1,\mathrm{ss}} &\to \frac12, \\ q=1 &: & P_{1,\mathrm{ss}} &\to 1 \qquad (R\gg\gamma). \end{aligned}

Blue-detuned light-assisted collisions, controlled energy release, narrow transitions, and dark-state loading can raise site filling, but every scheme must report loss, heating, state preparation, and correlations between neighboring sites.

The cooling transition can be strongly shifted at the tweezer center. This may prevent capture, detune imaging light, or change molecular collision potentials. Remedies include:

  • magic or near-magic trap conditions;
  • alternating trap and cooling light;
  • separate reservoir and science traps;
  • intensity ramps during loading;
  • narrow-line or gray-molasses cooling;
  • state-selective association of pre-cooled atom pairs.

The result should be reported as a per-site probability with uncertainty, not inferred only from the mean number in an array.

Single-particle fluorescence imaging maps a physical occupancy to camera counts. Let an empty site produce a mean count μ0\mu_0, and an occupied site produce

μ1=μ0+ηdetΓflτ,\mu_1 = \mu_0 + \eta_{\mathrm{det}} \Gamma_{\mathrm{fl}} \tau,

This mean assumes a particle remains bright and present throughout the exposure. Here ηdet\eta_{\mathrm{det}} includes collection, transmission, detector quantum efficiency, and analysis aperture; Γfl\Gamma_{\mathrm{fl}} is the fluorescence scattering rate; and τ\tau is the exposure.

If both count distributions were Poisson and a site were called occupied for n≥n⋆n\ge n_\star, then

PFP=1−∑n=0n⋆−1e−μ0μ0nn!,P_{\mathrm{FP}} = 1 - \sum_{n=0}^{n_\star-1} e^{-\mu_0} \frac{ \mu_0^n }{ n! },

and

PFN=∑n=0n⋆−1e−μ1μ1nn!.P_{\mathrm{FN}} = \sum_{n=0}^{n_\star-1} e^{-\mu_1} \frac{ \mu_1^n }{ n! }.

For equal prior probabilities, the threshold-classification fidelity is

Fclass=1−PFP+PFN2.F_{\mathrm{class}} = 1 - \frac{ P_{\mathrm{FP}}+P_{\mathrm{FN}} }{ 2 }.

Real occupied-site histograms are rarely exact Poisson distributions. Particle loss during the exposure creates a low-count tail; camera noise, stray-light drift, optical pumping, and neighboring point-spread functions create additional structure. Calibration should use empirical conditional distributions.

Define:

Focc=P(n^=n),F_{\mathrm{occ}} = P \left( \widehat n=n \right),

for inference of the initial occupancy n=nbeforen=n_{\rm before}, and

Simg=P(nafter=1∣nbefore=1)S_{\mathrm{img}} = P \left( n_{\mathrm{after}}=1 \mid n_{\mathrm{before}}=1 \right)

for imaging survival. High detection fidelity can coexist with poor survival if the particle emits enough photons to be identified and is then lost. Conversely, a nondestructive image can still have poor fidelity if it collects too few photons.

Imaging scatters many photons. The recoil energy added without cooling is of order

ΔE∼2NγER.\Delta E \sim 2N_\gamma E_R.

Repeated or long-exposure imaging therefore usually operates with simultaneous laser cooling, sufficiently deep confinement, or both. State detection must also distinguish a dark internal state from physical loss.

Four occupied reservoir tweezers are moved into a four-site target; a plot shows the probability of supplying ten atoms versus reservoir size.

(a) A measured occupancy map permits selected atoms to fill an initially empty target; the drawing assumes perfect classification and transport. (b) For independent filling p=0.6p=0.6, the binomial probability of supplying at least ten atoms rises with reservoir size MM. It is 0.87250.8725 at M=20M=20, whereas ten fixed sites all fill with probability 0.610≃0.006050.6^{10}\simeq0.00605. These are supply probabilities before imaging and transport errors.

Several optical architectures can create multiple focuses.

Method Main capability Main limitations
Acousto-optic deflector fast steering and multi-tone dynamic arrays frequency-dependent efficiency, RF intermodulation, beat notes
Spatial light modulator flexible two-dimensional phase holograms finite refresh rate, phase retrieval, zero order, aberrations
Digital micromirror device programmable binary amplitude patterns optical efficiency, diffraction orders, pixelation
Microlens array passive, parallel, stable focus array fixed geometry, fabrication nonuniformity, limited rearrangement
Scanned single focus time-averaged programmable potential duty cycle, scan-induced micromotion, parametric heating

Hybrid systems often use one element for a static reservoir array and a second mobile tweezer for transport.

If two same-frequency fields overlap, their electric fields add:

I∝∣E1+E2∣2.I \propto \left| \mathbf E_1+\mathbf E_2 \right|^2.

A fixed but unknown relative phase creates static interference fringes; phase fluctuations move them and can heat the atom. If the tweezers have frequency difference δω\delta\omega, the cross term beats at δω\delta\omega. A beat much faster than motional response may average out, while one near ωi\omega_i or 2ωi2\omega_i can drive sloshing or parametric heating.

Orthogonal polarization, frequency offsets, spatial separation, and careful RF-tone design can suppress crosstalk, but each choice can introduce vector light shifts or polarization-dependent trapping. Orthogonal input polarizations need not remain locally orthogonal after high-NA focusing. The relevant interference term uses the actual vector fields at the atom.

For fixed geometry,

ωi,j∝Uj.\omega_{i,j} \propto \sqrt{U_j}.

Small site-to-site depth variations therefore produce

δωiωi≃12δUU.\frac{ \delta\omega_i }{ \omega_i } \simeq \frac12 \frac{ \delta U }{ U }.

The same δU\delta U can create differential transition shifts, unequal Raman sidebands, position-dependent loading, and nonuniform gate detunings. Uniform camera brightness is not a sufficient proxy for uniform depth: fluorescence depends on cooling detuning and collection as well as occupancy.

Useful site-resolved calibrations include:

  • AC Stark spectroscopy;
  • parametric or sloshing frequencies;
  • survival under a calibrated depth ramp;
  • sideband spectra;
  • beam-power measurements corrected for optical transfer;
  • loading and imaging response maps.

Suppose each of NN target sites loads independently with probability pp. The probability of a defect-free array without rearrangement is

Pfull=pN.P_{\mathrm{full}} = p^N.

Even good local filling becomes poor global filling as NN grows. For p=0.55p=0.55 and N=50N=50,

Pfull≃1.0×10−13.P_{\mathrm{full}} \simeq 1.0\times10^{-13}.

Rearrangement changes the question. Load M>NM>N reservoir sites, image them, and ask whether at least NN particles are available. Under the independent Bernoulli model,

Psupply=∑k=NM(Mk)pk(1−p)M−k.P_{\mathrm{supply}} = \sum_{k=N}^{M} \binom{M}{k} p^k \left( 1-p \right)^{M-k}.

This can be close to unity even when pNp^N is tiny. Rearrangement does not make stochastic loading deterministic; it converts excess spatial resources plus measurement and control into a high-probability target.

After imaging, the controller must:

  1. classify the occupancy of every reservoir and target site;
  2. select which particles to keep;
  3. assign loaded sites to target sites;
  4. choose collision-free trajectories;
  5. transport particles without spilling or excessive excitation;
  6. re-image or otherwise verify the result.

A minimum-cost matching can reduce total distance, but distance is not the only cost. One may penalize crossings, weak traps, transfers between traps, long holds, or motion through occupied sites. Path planning and assignment should therefore be separated from the optical actuation model.

If every move survives independently with probability ss and LL moves are needed, the move-survival factor is

Pmove≃sL.P_{\mathrm{move}} \simeq s^L.

This simple product is useful for budgeting but can fail when errors share a common cause such as laser-power drift or a bad spatial region.

Consider one harmonic axis with a moving center xc(t)x_c(t):

H(t)=p22m+12mω2[x−xc(t)]2.H(t) = \frac{ p^2 }{ 2m } + \frac12m\omega^2 \left[ x-x_c(t) \right]^2.

Assume a constant positive ω\omega, that the particle starts in the motional ground state, and that the trap begins and ends at rest. The coherent excitation relative to the final stationary trap, using a=mω/(2ℏ)(x−xc)+ip/2mℏωa=\sqrt{m\omega/(2\hbar)}(x-x_c)+ip/\sqrt{2m\hbar\omega}, is

α(T)=−mω2ℏe−iωT∫0Tx˙c(t)eiωtdt.\alpha(T) = - \sqrt{ \frac{ m\omega }{ 2\hbar } } e^{-i\omega T} \int_0^T \dot x_c(t) e^{i\omega t} dt.

The added mean occupation is

Δnˉ=∣α(T)∣2.\Delta\bar n = |\alpha(T)|^2.

The result follows from α˙=−iωα−mω/(2ℏ)x˙c\dot\alpha=-i\omega\alpha- \sqrt{m\omega/(2\hbar)}\dot x_c with α(0)=0\alpha(0)=0. The final ground-state overlap is e−∣α∣2e^{-|\alpha|^2}; for an initially thermal mode, the same displacement adds ∣α∣2|\alpha|^2 to the mean occupation.

Transport is excitation-free in this model when the velocity waveform has zero Fourier component at ω\omega. Slow smooth motion accomplishes this adiabatically, but carefully shaped faster trajectories can also cancel the resonant component. Merely specifying the average speed is insufficient.

Acceleration tilts the trap in its comoving frame. A finite-depth tweezer can spill the particle even when the harmonic excitation formula predicts a small Δnˉ\Delta\bar n. The maximum acceleration must therefore be compared with the full restoring-force curve, and transfers between stationary and mobile traps must preserve both depth and phase-space overlap.

For a stored internal superposition, motion also accumulates a differential phase:

ϕba=∫0Tδωba[r(t),t]dt.\phi_{ba} = \int_0^T \delta\omega_{ba} \left[ \mathbf r(t),t \right] dt.

With this definition, the coherence evolves as ρba(T)=e−iϕbaρba(0)\rho_{ba}(T)=e^{-i\phi_{ba}}\rho_{ba}(0) when only the differential energy acts. Coherent transport requires reproducible phase or an echo/calibration protocol, not only particle survival.

Loading and rearrangement generally leave motional excitation. Subsequent cooling can improve localization, suppress Doppler dephasing, reduce interaction fluctuations, and prepare resolved motional states.

In a resolved-sideband protocol, a coherent transition removes one motional quantum and optical pumping resets the internal state. A minimal cycle is

∣g,n⟩⟶∣e,n−1⟩⟶∣g,n−1⟩.|g,n\rangle \longrightarrow |e,n-1\rangle \longrightarrow |g,n-1\rangle.

The cooling transition linewidth must be narrow enough to distinguish motional sidebands in the relevant effective model. The red-to-blue first-sideband-area ratio for a harmonic mode is

AredAblue=nˉnˉ+1,\frac{ A_{\mathrm{red}} }{ A_{\mathrm{blue}} } = \frac{ \bar n }{ \bar n+1 },

provided the probe is weak, sidebands are resolved, and the Lamb–Dicke first-sideband matrix elements apply. The ratio determines the mean for any diagonal motional distribution; converting it to temperature or ground-state probability requires further distributional assumptions. The reset photons must satisfy their own recoil-heating constraints.

Three-dimensional cooling requires coupling to all principal axes. High-NA polarization structure and unfavorable Raman-beam geometry can leave a weakly cooled mode.

Optical pumping, microwave or Raman pulses, and coherent clock transitions can prepare hyperfine, Zeeman, nuclear-spin, electronic, rotational, or vibrational states. The preparation error budget should include:

  • residual population outside the computational manifold;
  • position-dependent Rabi frequency and detuning;
  • differential light shifts;
  • motional sidebands and Doppler phase;
  • Raman scattering from the tweezer;
  • magnetic-field and polarization drift.

State-preparation fidelity and occupancy must be measured separately. An empty site cannot be silently counted as successful preparation of a dark state.

Rydberg excitation can switch on interactions between particles at chosen sites; Rydberg blockade explains the resulting collective dynamics. The tweezer itself matters because the ground and Rydberg states can experience different, even oppositely signed, light shifts. Some protocols switch the trap off during excitation, which trades differential shifts for free motion and recapture loss.

Position fluctuations change the interaction energy, and velocity causes Doppler and optical-phase fluctuations. Thus particle survival after a pulse neither establishes internal coherence nor identifies a Rydberg population without a calibrated loss model. See neutral-atom qubits for the complete information-processing protocol.

Molecules, Alkaline-Earth Atoms, and Clocks

Section titled “Molecules, Alkaline-Earth Atoms, and Clocks”

Tweezers are not restricted to alkali atoms.

Single molecules can be loaded by direct laser cooling or assembled from individually trapped atoms. Their additional rotational, vibrational, and hyperfine structure introduces anisotropic polarizability, dense Raman channels, and collision chemistry. A molecule can remain physically trapped while leaving the intended internal manifold, so state-resolved detection is essential.

Merging two tweezers permits controlled two-particle collisions or association. The relative motional ground state, species-dependent trap centers, differential sag, and state-dependent light shifts determine the short-range wave-function overlap.

Two-valence-electron atoms offer narrow intercombination and clock transitions alongside strong imaging transitions. This supports narrow-line cooling, nuclear-spin qubits in isotopes with nonzero nuclear spin, and magic trapping, but also requires careful control of metastable-state loss and state-dependent polarizability.

Tweezer clocks combine single-particle readout with optical-clock spectroscopy. Their uncertainty budget includes site-resolved light shifts, collisional effects, motional sampling, dead time, atom-number fluctuations, and selection bias from postselection or rearrangement. Precision Spectroscopy explains how these effects enter line fitting and uncertainty estimates.

Consider an 87Rb^{87}\mathrm{Rb} atom in a red-detuned tweezer with assumed depth

U0kB=1.0 mK,\frac{ U_0 }{ k_{\mathrm B} } = 1.0\,\mathrm{mK},

measured 1/e21/e^2 waist

w0=0.90 μm,w_0 = 0.90\,\mu\mathrm m,

and wavelength

λL=850 nm.\lambda_L = 850\,\mathrm{nm}.

Using the paraxial Gaussian formulas as estimates, the Rayleigh range is

zR=πw02λL≃2.99 μm.z_R = \frac{ \pi w_0^2 }{ \lambda_L } \simeq 2.99\,\mu\mathrm m.

For

m=1.443×10−25 kg,m = 1.443\times10^{-25}\,\mathrm{kg},

the trap frequencies are

ωr2π≃109 kHz,ωz2π≃23.3 kHz.\frac{ \omega_r }{ 2\pi } \simeq 109\,\mathrm{kHz}, \qquad \frac{ \omega_z }{ 2\pi } \simeq 23.3\,\mathrm{kHz}.

The ground-state lengths are

x0,r≃23 nm,x0,z≃50 nm.x_{0,r} \simeq 23\,\mathrm{nm}, \qquad x_{0,z} \simeq 50\,\mathrm{nm}.

For a single 780 nm photon projected along a radial principal axis,

ηr≃2π780 nmx0,r≃0.19.\eta_r \simeq \frac{ 2\pi }{ 780\,\mathrm{nm} } x_{0,r} \simeq 0.19.

A counterpropagating Raman pair can have nearly twice this wave-vector change, while a copropagating pair can have much less. The radial level spacing is

ℏωrkB≃5.25 μK.\frac{ \hbar\omega_r }{ k_{\mathrm B} } \simeq 5.25\,\mu\mathrm K.

Thus a temperature of 20 μK20\,\mu\mathrm K is cold in everyday units but not near the radial motional ground state without further cooling. For three uncorrelated thermal modes at that temperature, nˉr≃3.3\bar n_r\simeq3.3 and nˉz≃17.4\bar n_z\simeq17.4, giving P000≃0.003P_{000}\simeq0.003. Cooling only the tight radial directions leaves the weaker axial mode excited. The example also illustrates why a measured vector point-spread function and Hessian should replace the paraxial estimate in precision work.

1. A bright classification with a low occupancy prior

Section titled “1. A bright classification with a low occupancy prior”

Use the classifier of Exercise 5, but suppose only p=0.01p=0.01 of sites are initially occupied. Given a positive classification, what is the probability that the site was occupied? Compare it with the equal-prior fidelity.

Solution

Bayes’ rule gives

P(n=1∣n^=1)=p(1−PFN)p(1−PFN)+(1−p)PFP≃0.733.P(n=1\mid\widehat n=1)= \frac{p(1-P_{\rm FN})} {p(1-P_{\rm FN})+(1-p)P_{\rm FP}}\simeq0.733.

Although the equal-prior classification fidelity is 0.99440.9944, most tested sites are empty, so their false positives appreciably contaminate selected positives. For these Poisson models, equal error costs, and prior pp, the optimal decision is occupied when

nln⁡(μ1/μ0)≥μ1−μ0+ln⁡[(1−p)/p].n\ln(\mu_1/\mu_0)\ge\mu_1-\mu_0+\ln[(1-p)/p].

It shifts the integer threshold from 55 at equal priors to 77 at p=0.01p=0.01. This inference concerns initial occupancy, not survival through the image.

Solve

P˙1=R−(2R+γ)P1\dot P_1 = R - \left( 2R+\gamma \right) P_1

for an initially empty site. Find the steady filling and loading time constant.

Solution

The linear equation has solution

P1(t)=R2R+γ[1−e−(2R+γ)t].P_1(t) = \frac{ R }{ 2R+\gamma } \left[ 1 - e^{-(2R+\gamma)t} \right].

Therefore

P1,ss=R2R+γ,τload=12R+γ.P_{1,\mathrm{ss}} = \frac{ R }{ 2R+\gamma }, \qquad \tau_{\mathrm{load}} = \frac{ 1 }{ 2R+\gamma }.

When R≫γR\gg\gamma, the steady filling approaches 1/21/2.

Let a two-particle event leave one particle with probability q=0.80q=0.80. Assume R=20 s−1R=20\,\mathrm{s^{-1}} and γ=0.50 s−1\gamma=0.50\,\mathrm{s^{-1}}. Find the steady single-particle filling.

Solution

The occupied-to-empty rate is

R(1−q)+γ=(20)(0.20)+0.50=4.50 s−1.R(1-q)+\gamma = (20)(0.20)+0.50 = 4.50\,\mathrm{s^{-1}}.

Hence

P1,ss=RR+R(1−q)+γ=2024.5≃0.816.P_{1,\mathrm{ss}} = \frac{ R }{ R+R(1-q)+\gamma } = \frac{ 20 }{ 24.5 } \simeq 0.816.

The improvement over 1/21/2 comes from changing the collision branch, not from violating collisional blockade.

Twenty reservoir sites load independently with p=0.60p=0.60. What is the probability that at least ten particles are available for a ten-site target? Compare this with the probability that ten fixed sites load without defects.

Solution

For rearrangement,

Psupply=∑k=1020(20k)(0.60)k(0.40)20−k≃0.872.P_{\mathrm{supply}} = \sum_{k=10}^{20} \binom{20}{k} (0.60)^k (0.40)^{20-k} \simeq 0.872.

Without rearrangement, ten specified sites are all filled with probability

Pfixed=(0.60)10≃6.05×10−3.P_{\mathrm{fixed}} = (0.60)^{10} \simeq 6.05\times10^{-3}.

The reservoir converts extra sites into a much larger supply probability, but move and imaging errors still reduce the final success.

Assume Poisson counts with μ0=1\mu_0=1 for an empty site and μ1=12\mu_1=12 for an occupied site. Classify the site as occupied for n≥5n\ge5. Calculate PFPP_{\mathrm{FP}}, PFNP_{\mathrm{FN}}, and the equal-prior classification fidelity.

Solution

The false-positive probability is

PFP=1−∑n=04e−11nn!≃3.66×10−3.P_{\mathrm{FP}} = 1 - \sum_{n=0}^{4} e^{-1} \frac{ 1^n }{ n! } \simeq 3.66\times10^{-3}.

The false-negative probability is

PFN=∑n=04e−1212nn!≃7.60×10−3.P_{\mathrm{FN}} = \sum_{n=0}^{4} e^{-12} \frac{ 12^n }{ n! } \simeq 7.60\times10^{-3}.

Thus

Fclass=1−PFP+PFN2≃0.9944.F_{\mathrm{class}} = 1 - \frac{ P_{\mathrm{FP}}+P_{\mathrm{FN}} }{ 2 } \simeq 0.9944.

This number does not include particle loss during imaging and therefore is not an imaging-survival probability.

6. Excitation from a constant-velocity move

Section titled “6. Excitation from a constant-velocity move”

A harmonic tweezer moves by distance dd at constant velocity for time TT, with instantaneous starts and stops:

x˙c(t)=dT,0<t<T.\dot x_c(t) = \frac{d}{T}, \qquad 0<t<T.

Use the transport formula to find the added mean occupation.

Solution

The resonant Fourier integral is

∫0Tx˙c(t)eiωtdt=dTeiωT−1iω.\int_0^T \dot x_c(t) e^{i\omega t} dt = \frac{ d }{ T } \frac{ e^{i\omega T}-1 }{ i\omega }.

Its magnitude is

d∣sin⁡(ωT/2)ωT/2∣.d \left| \frac{ \sin(\omega T/2) }{ \omega T/2 } \right|.

Therefore

Δnˉ=mωd22ℏ[sin⁡(ωT/2)ωT/2]2.\Delta\bar n = \frac{ m\omega d^2 }{ 2\hbar } \left[ \frac{ \sin(\omega T/2) }{ \omega T/2 } \right]^2.

The excitation vanishes in the ideal harmonic model when ωT=2πℓ\omega T=2\pi\ell for nonzero integer ℓ\ell. The instantaneous changes in velocity are experimentally unrealistic and can excite anharmonic modes, so smooth endpoint conditions are still desirable.

Two nominally identical tweezer sites have radial frequencies that differ by 1.5%1.5\%. Assuming their geometry is identical, estimate their fractional depth difference.

Solution

Because ωr∝U\omega_r\propto\sqrt U,

δωrωr≃12δUU.\frac{ \delta\omega_r }{ \omega_r } \simeq \frac12 \frac{ \delta U }{ U }.

Hence

δUU≃2(1.5%)=3.0%.\frac{ \delta U }{ U } \simeq 2 \left( 1.5\% \right) = 3.0\%.

This inference assumes equal waists and principal-axis geometry. A waist error can change frequency without the same proportional change in depth.

On half the experimental repetitions, all twenty reservoir sites load independently with p=0.4p=0.4; on the other half they load independently with p=0.8p=0.8. Find the probability of having at least ten atoms. Does substituting the mean filling p=0.6p=0.6 in a single binomial distribution work?

Solution

Condition on the shared loading environment first. If B(p)=∑k=1020(20k)pk(1−p)20−kB(p)=\sum_{k=10}^{20}\binom{20}{k}p^k(1-p)^{20-k}, then

Psupply=12[B(0.4)+B(0.8)]≃12(0.24466+0.99944)=0.62205.P_{\rm supply}=\tfrac12[B(0.4)+B(0.8)] \simeq\tfrac12(0.24466+0.99944)=0.62205.

Using B(0.6)B(0.6) instead gives 0.872480.87248, a substantial overestimate. The unconditional sites are correlated even though they are independent within each environment. Likewise ten fixed target sites are all occupied with probability (0.410+0.810)/2≃0.05374(0.4^{10}+0.8^{10})/2\simeq0.05374, not 0.6100.6^{10}. Mean filling alone does not determine either global success probability.

  • L. Anderegg, L. W. Cheuk, Y. Bao, S. Burchesky, W. Ketterle, K.-K. Ni, and J. M. Doyle, “An optical tweezer array of ultracold molecules,” Science 365, 1156–1158 (2019), doi:10.1126/science.aax1265.
  • D. Barredo, S. de Léséleuc, V. Lienhard, T. Lahaye, and A. Browaeys, “An atom-by-atom assembler of defect-free arbitrary two-dimensional atomic arrays,” Science 354, 1021–1023 (2016), doi:10.1126/science.aah3778.
  • A. Browaeys and T. Lahaye, “Many-body physics with individually controlled Rydberg atoms,” Nature Physics 16, 132–142 (2020), doi:10.1038/s41567-019-0733-z.
  • A. Cooper, J. P. Covey, I. S. Madjarov, S. G. Porsev, M. S. Safronova, and M. Endres, “Alkaline-earth atoms in optical tweezers,” Physical Review X 8, 041055 (2018), doi:10.1103/PhysRevX.8.041055.
  • M. Endres, H. Bernien, A. Keesling, H. Levine, E. R. Anschuetz, A. Krajenbrink, C. Senko, V. Vuletić, M. Greiner, and M. D. Lukin, “Atom-by-atom assembly of defect-free one-dimensional cold atom arrays,” Science 354, 1024–1027 (2016), doi:10.1126/science.aah3752.
  • R. Grimm, M. Weidemüller, and Y. B. Ovchinnikov, “Optical dipole traps for neutral atoms,” Advances in Atomic, Molecular, and Optical Physics 42, 95–170 (2000), doi:10.1016/S1049-250X(08)60186-X.
  • T. Grünzweig, A. Hilliard, M. McGovern, and M. F. Andersen, “Near-deterministic preparation of a single atom in an optical microtrap,” Nature Physics 6, 951–954 (2010), doi:10.1038/nphys1778.
  • D. Guéry-Odelin and J. G. Muga, “Transport in a harmonic trap: Shortcuts to adiabaticity and robust protocols,” Physical Review A 90, 063425 (2014), doi:10.1103/PhysRevA.90.063425.
  • A. M. Kaufman, B. J. Lester, and C. A. Regal, “Cooling a single atom in an optical tweezer to its quantum ground state,” Physical Review X 2, 041014 (2012), doi:10.1103/PhysRevX.2.041014.
  • A. M. Kaufman and K.-K. Ni, “Quantum science with optical tweezer arrays of ultracold atoms and molecules,” Nature Physics 17, 1324–1333 (2021), doi:10.1038/s41567-021-01357-2.
  • B. J. Lester, N. Luick, A. M. Kaufman, C. M. Reynolds, and C. A. Regal, “Rapid production of uniformly filled arrays of neutral atoms,” Physical Review Letters 115, 073003 (2015), doi:10.1103/PhysRevLett.115.073003.
  • Y. Miroshnychenko, W. Alt, I. Dotsenko, L. Förster, M. Khudaverdyan, D. Meschede, D. Schrader, and A. Rauschenbeutel, “An atom-sorting machine,” Nature 442, 151 (2006), doi:10.1038/442151a.
  • M. A. Norcia, A. W. Young, and A. M. Kaufman, “Microscopic control and detection of ultracold strontium in optical-tweezer arrays,” Physical Review X 8, 041054 (2018), doi:10.1103/PhysRevX.8.041054.
  • 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.
  • N. Schlosser, G. Reymond, I. Protsenko, and P. Grangier, “Sub-Poissonian loading of single atoms in a microscopic dipole trap,” Nature 411, 1024–1027 (2001), doi:10.1038/35082512.
  • N. Schlosser, G. Reymond, and P. Grangier, “Collisional blockade in microscopic optical dipole traps,” Physical Review Letters 89, 023005 (2002), doi:10.1103/PhysRevLett.89.023005.
  • J. D. Thompson, T. G. Tiecke, A. S. Zibrov, V. Vuletić, and M. D. Lukin, “Coherence and Raman sideband cooling of a single atom in an optical tweezer,” Physical Review Letters 110, 133001 (2013), doi:10.1103/PhysRevLett.110.133001.