Skip to content

Spin Squeezing

Spin squeezing is the redistribution of fluctuations in a collective spin so that one transverse component is quieter than the coherent-spin reference. For spectroscopy and sensing, reduced noise is useful only if enough mean-spin length remains to convert a small rotation into a detectable signal. This is why two common squeezing parameters answer different questions:

  • the Kitagawa–Ueda parameter asks whether a transverse spin variance is below coherent-spin noise;
  • the Wineland parameter asks whether that variance, together with the signal response, enables a sub-standard-quantum-limit linear readout.

For NN effective spin-1/21/2 probes with a mean spin along xx, the operational parameter is

ξR2=N(ΔJ⊥)2∣⟨J⟩∣2.\xi_R^2 = \frac{ N(\Delta J_\perp)^2 }{ |\langle\mathbf J\rangle|^2 }.

When the squeezed component is aligned with a Ramsey readout, one ideal trial has local phase variance

(Δϕ)2=ξR2N.(\Delta\phi)^2 = \frac{\xi_R^2}{N}.

Thus ξR2<1\xi_R^2<1 means both a metrological gain over the matched coherent-spin state and, under the stated spin-1/21/2 model, a sufficient witness of multipartite entanglement. It does not establish a complete clock advantage: preparation time, atom loss, local-oscillator noise, detection noise, dynamic range, and accepted-shot rules still belong in the comparison.

This page is the canonical home for collective-spin squeezing parameters, generation mechanisms, Ramsey use, entanglement certification, and claim audits. Squeezing owns the cross-platform covariance and response framework. Spin Coherent States owns the general rotated highest-weight construction. Ramsey Interferometry for Quantum Estimation owns the binary likelihood, working-point control, phase aliases, and wall-clock information ledger. Ramsey Interferometry in Atomic, Molecular, and Optical Physics owns pulse dynamics and fringe formation, while Atomic Clocks and Optical Clocks own full instrument architectures and uncertainty budgets.

Collective Spin and the Coherent Reference

Section titled “Collective Spin and the Coherent Reference”

Take NN two-level systems and define dimensionless collective operators

Jk=12∑i=1Nσk(i),k∈{x,y,z}.J_k = \frac12 \sum_{i=1}^{N} \sigma_k^{(i)}, \qquad k\in\{x,y,z\}.

They obey

[Ji,Jj]=iϵijkJk.[J_i,J_j] = i\epsilon_{ijk}J_k.

Factors of ℏ\hbar can be restored by replacing each JkJ_k with ℏJk\hbar J_k. The collective language applies whenever the two modes of each probe can be treated as an effective qubit. They may be internal clock states, two momentum paths, two wells, or two interferometer arms. It does not imply that all physical spins or all couplings are literally identical.

The product state polarized along +x+x is

∣CSSx⟩=∣+x⟩⊗N.|\mathrm{CSS}_x\rangle = |{+x}\rangle^{\otimes N}.

It lies in the symmetric total-spin sector J=N/2J=N/2 and has

⟨Jx⟩=N2,⟨Jy⟩=⟨Jz⟩=0,(ΔJy)2=N4,(ΔJz)2=N4.\begin{aligned} \langle J_x\rangle&=\frac N2, & \langle J_y\rangle&=\langle J_z\rangle=0,\\ (\Delta J_y)^2&=\frac N4, & (\Delta J_z)^2&=\frac N4. \end{aligned}

The N/4N/4 transverse variance is quantum projection noise. It follows from adding NN independent binary fluctuations, not from technical uncertainty. The corresponding angular uncertainty is

ΔϕCSS=ΔJ⊥∣⟨J⟩∣=1N.\Delta\phi_{\mathrm{CSS}} = \frac{\Delta J_\perp}{|\langle\mathbf J\rangle|} = \frac1{\sqrt N}.

This is the independent-probe benchmark developed in Standard Quantum Limit. A fair squeezing claim compares against a coherent state with the same accepted atom number, interrogation, detection boundary, and repetition budget.

Suppose the mean spin points along xx. In the transverse yy–zz plane define

V=((ΔJy)2Cov⁡(Jy,Jz)Cov⁡(Jy,Jz)(ΔJz)2),V = \begin{pmatrix} (\Delta J_y)^2 & \operatorname{Cov}(J_y,J_z)\\ \operatorname{Cov}(J_y,J_z) & (\Delta J_z)^2 \end{pmatrix},

where

Cov⁡(A,B)=12⟨AB+BA⟩−⟨A⟩⟨B⟩.\operatorname{Cov}(A,B) = \frac12\langle AB+BA\rangle - \langle A\rangle\langle B\rangle.

A transverse component at angle ϑ\vartheta is

Jϑ=Jycos⁡ϑ+Jzsin⁡ϑ.J_\vartheta = J_y\cos\vartheta + J_z\sin\vartheta.

Its variance is the quadratic form

(ΔJϑ)2=uϑTVuϑ,uϑ=(cos⁡ϑsin⁡ϑ).(\Delta J_\vartheta)^2 = \mathbf u_\vartheta^{\mathsf T} V \mathbf u_\vartheta, \qquad \mathbf u_\vartheta = \begin{pmatrix} \cos\vartheta\\ \sin\vartheta \end{pmatrix}.

The minimum and maximum transverse variances are the eigenvalues

V∓=Vyy+Vzz2∓12(Vyy−Vzz)2+4Vyz2.V_\mp = \frac{V_{yy}+V_{zz}}2 \mp \frac12 \sqrt{ (V_{yy}-V_{zz})^2 + 4V_{yz}^2 }.

The principal-axis angle can be obtained from

tan⁡(2ϑmin⁡)=2VyzVyy−Vzz,\tan(2\vartheta_{\min}) = \frac{2V_{yz}}{V_{yy}-V_{zz}},

with the quadrant fixed by the covariance matrix rather than by the tangent alone. A nonlinear interaction often first creates a tilted ellipse. A collective rotation must then align its narrow axis with the component used by the estimator.

The Robertson–Schrödinger relation gives

VyyVzz−Vyz2≥14∣⟨Jx⟩∣2.V_{yy}V_{zz}-V_{yz}^2 \ge \frac14 |\langle J_x\rangle|^2.

Reducing V−V_- therefore generally enlarges V+V_+, creates covariance, reduces the mean spin, or combines these effects. Spin squeezing redistributes quantum uncertainty; it does not remove the angular-momentum uncertainty relation.

Noise Squeezing and Metrological Squeezing

Section titled “Noise Squeezing and Metrological Squeezing”

For NN spin-1/21/2 probes, the Kitagawa–Ueda parameter is

ξS2=4V−N.\xi_S^2 = \frac{4V_-}{N}.

It compares the narrowest transverse variance with the coherent-spin value N/4N/4. Therefore

ξS2<1\xi_S^2<1

means transverse noise squeezing. This definition does not penalize loss of mean-spin length.

Define the Ramsey contrast or normalized spin length by

C=2∣⟨J⟩∣N,0≤C≤1.C = \frac{2|\langle\mathbf J\rangle|}{N}, \qquad 0\le C\le1.

The Wineland parameter is

ξR2=NV−∣⟨J⟩∣2=ξS2C2.\xi_R^2 = \frac{NV_-}{|\langle\mathbf J\rangle|^2} = \frac{\xi_S^2}{C^2}.

It is possible to have ξS2<1\xi_S^2<1 but ξR2≥1\xi_R^2\ge1. The state is quieter than a coherent spin, yet its shortened mean spin provides too little signal slope for an improved linear Ramsey measurement.

For variance ratios, a positive quoted gain is conventionally

GdB=−10log⁡10ξR2.G_{\mathrm{dB}} = -10\log_{10}\xi_R^2.

Thus ξR2=0.25\xi_R^2=0.25 is 6.02 dB6.02\ \mathrm{dB} of metrological gain. The phase standard deviation improves only by

ξR=ξR2=0.5.\xi_R = \sqrt{\xi_R^2} = 0.5.

Authors also use ξ2\xi^2, ζ2\zeta^2, or a signed decibel value for several inequivalent quantities. A reproducible result states the formula, reference, contrast treatment, and whether detection noise was included.

Prepare a state with mean spin along xx and align the squeezed component with JyJ_y. Let the unknown phase be encoded by

Uϕ=e−iϕJz.U_\phi = e^{-i\phi J_z}.

In the Heisenberg picture,

Uϕ†JyUϕ=Jycos⁡ϕ+Jxsin⁡ϕ.U_\phi^\dagger J_y U_\phi = J_y\cos\phi + J_x\sin\phi.

If ⟨Jy⟩=0\langle J_y\rangle=0, then near ϕ=0\phi=0,

∂⟨Jy⟩ϕ∂ϕ∣ϕ=0=⟨Jx⟩.\left. \frac{\partial\langle J_y\rangle_\phi}{\partial\phi} \right|_{\phi=0} = \langle J_x\rangle.

Error propagation gives

(Δϕ)2=(ΔJy)2⟨Jx⟩2=ξR2N.(\Delta\phi)^2 = \frac{(\Delta J_y)^2}{\langle J_x\rangle^2} = \frac{\xi_R^2}{N}.

After ν\nu independent accepted repetitions,

(Δϕ)ν2=ξR2νN.(\Delta\phi)^2_\nu = \frac{\xi_R^2}{\nu N}.

The last two equations are local statements. They assume a calibrated midfringe, an approximately unbiased estimator, a known squeezing angle, and a phase prior narrow enough to avoid fringe aliases. Anti-squeezed noise can enter rapidly when the readout axis or local-oscillator phase is uncertain.

Collective-spin uncertainty evolving from a coherent state to a squeezed Ramsey readout

A coherent spin has equal transverse projection noise. A nonlinear or measurement-induced preparation creates a tilted noise ellipse, which is rotated so its narrow axis is read out after the signal phase. Metrological gain depends on both the narrow variance and the surviving mean-spin length.

For a clock transition of frequency f0f_0, Ramsey dark time TT, cycle time TcT_c, and averaging duration τ\tau, the atom-noise-only estimate is

σy(τ)≃ξR2πf0TNTcτ.\sigma_y(\tau) \simeq \frac{\xi_R}{2\pi f_0T\sqrt N} \sqrt{\frac{T_c}{\tau}}.

This expression omits the Dick effect, local-oscillator phase noise, dead-time changes caused by squeezing preparation, state-detection errors, and systematic frequency shifts. Those omissions are why a measured ξR2<1\xi_R^2<1 is not by itself a complete clock demonstration.

Local Oscillator Mapping and Bloch-Sphere Curvature

Section titled “Local Oscillator Mapping and Bloch-Sphere Curvature”

Near a well-polarized state with total spin J≃N/2J\simeq N/2, define tangent-plane variables

X=JyJ,P=JzJ.X = \frac{J_y}{\sqrt J}, \qquad P = \frac{J_z}{\sqrt J}.

Because [Jy,Jz]=iJx[J_y,J_z]=iJ_x,

[X,P]≃i[X,P] \simeq i

when Jx≃JJ_x\simeq J. The coherent spin has

(ΔX)2=(ΔP)2=12.(\Delta X)^2 = (\Delta P)^2 = \frac12.

This Holstein–Primakoff regime explains why weak spin squeezing resembles oscillator quadrature squeezing. The approximation has a boundary: the spin phase space is a sphere, not an infinite plane. Strong nonlinear evolution can wrap or fold the distribution around the sphere. Then second moments and a linear JyJ_y readout may cease to capture the available phase information.

This oversqueezed regime can have poor ξR2\xi_R^2 even while the state has large quantum Fisher information. Nonlinear observables, parity, full distribution fitting, or an interaction-based echo may recover some of that information. It is therefore wrong to identify all metrologically useful many-body states with narrow Gaussian ellipses.

For NN distinguishable spin-1/21/2 particles, every fully separable state obeys the collective-spin inequality

ξR2≥1.\xi_R^2 \ge 1.

Consequently,

ξR2<1⟹particle entanglement.\xi_R^2<1 \quad\Longrightarrow\quad \text{particle entanglement}.

The implication is one-way. GHZ states, twin-Fock states, Dicke states, and singlets may have vanishing mean spin, so the Wineland parameter is undefined or uninformative even when their entanglement and quantum Fisher information are large.

For a phase generated by JzJ_z, the quantum Cramér–Rao bound and the available linear readout imply

FQ[ρ,Jz]≥NξR2.F_Q[\rho,J_z] \ge \frac{N}{\xi_R^2}.

Thus ξR2<1\xi_R^2<1 certifies

FQ[ρ,Jz]>N,F_Q[\rho,J_z]>N,

which is metrologically useful entanglement for that collective rotation. The reverse need not hold: FQ>NF_Q>N says that some measurement can beat the independent-probe bound locally, not that a first-moment spin readout does so.

Entanglement depth asks for the smallest number of particles that must be genuinely entangled in at least one cluster. A state is kk-producible if it is a mixture of pure states whose entangled blocks contain at most kk particles. For NN qubits and a collective linear generator, such states satisfy

FQ≤sk2+r2,F_Q \le s k^2+r^2,

where

s=⌊Nk⌋,r=N−sk.s = \left\lfloor\frac Nk\right\rfloor, \qquad r = N-sk.

Violating this bound rules out kk-producibility. Spin-moment data can also be compared with the tighter polarization-dependent Sørensen–Mølmer curves. The often quoted estimate 1/ξR21/\xi_R^2 is not, by itself, an exact finite-NN entanglement depth. The witness must account for fluctuating atom number, inhomogeneous coupling, internal spin larger than 1/21/2, and confidence intervals.

The canonical unitary mechanism is one-axis twisting,

HOAT=ℏχJz2.H_{\mathrm{OAT}} = \hbar\chi J_z^2.

Starting from ∣CSSx⟩|\mathrm{CSS}_x\rangle, the evolution is

∣ψ(t)⟩=e−iχtJz2∣CSSx⟩.|\psi(t)\rangle = e^{-i\chi tJ_z^2} |\mathrm{CSS}_x\rangle.

Each JzJ_z sector acquires a phase proportional to mz2m_z^2. On the tangent plane this produces a shear: slices with different JzJ_z rotate at different rates. The shear creates a nonzero yy–zz covariance, so the minimum-noise axis is initially tilted. A linear spin rotation aligns that axis with the later readout.

In the ideal all-to-all collective model at large NN,

ξS,min⁡2∝N−2/3,χtopt∝N−2/3.\xi_{S,\min}^2 \propto N^{-2/3}, \qquad \chi t_{\mathrm{opt}} \propto N^{-2/3}.

This is stronger than a constant gain but weaker than ideal 1/N1/N variance scaling. The asymptotic law does not survive automatically when χ\chi changes with system size or when scattering, finite-range interactions, loss, and control overhead are included.

Past the optimum, the distribution bends around the Bloch sphere. The minimum linear variance eventually worsens even though non-Gaussian correlations continue to develop. An echo

Uecho=UOAT†e−iϕJnUOATU_{\mathrm{echo}} = U_{\mathrm{OAT}}^\dagger e^{-i\phi J_n} U_{\mathrm{OAT}}

can map a small phase into an amplified collective signal. Such interaction-based readout trades strict time reversal and control accuracy for relaxed detector resolution.

Two-Axis Countertwisting and Unstable Dynamics

Section titled “Two-Axis Countertwisting and Unstable Dynamics”

With the mean spin along xx, one form of two-axis countertwisting is

HTACT=ℏχ(JyJz+JzJy).H_{\mathrm{TACT}} = \hbar\chi (J_yJ_z+J_zJ_y).

After a 45∘45^\circ rotation in the transverse plane this is proportional to the difference of two squared spin components. One transverse direction is contracted while the orthogonal direction expands. In the local Gaussian regime the squeezing is approximately exponential, and the ideal collective model can reach

ξmin2∝1N.\xi_{min}^2 \propto \frac1N.

This is Heisenberg-like variance scaling under the specified collective-spin resource model. It is not a universal noisy scaling law. Exact two-axis interactions are harder to realize than one-axis twisting, so experiments may synthesize them with pulse sequences, continuous drives, Floquet engineering, or alternating interaction axes.

A related twist-and-turn model is

HTnT=ℏχJz2−ℏΩJx.H_{\mathrm{TnT}} = \hbar\chi J_z^2 - \hbar\Omega J_x.

Near an unstable mean-field fixed point, fluctuations can separate rapidly along stable and unstable directions. This can generate strong squeezing or non-Gaussian states faster than simple shearing, but it also increases sensitivity to initialization, timing, and Hamiltonian calibration.

A quantum-nondemolition measurement can acquire information about one collective component without directly randomizing that same component. For an atomic spin JzJ_z coupled to an optical Stokes component SzS_z, a schematic interaction is

HQND=ℏgSzJz.H_{\mathrm{QND}} = \hbar gS_zJ_z.

With a strongly polarized probe, an outgoing light quadrature carries an estimate of JzJ_z. In a Gaussian model, combining prior variance V0V_0 with an independent measurement of equivalent variance VmV_m gives conditional variance

1Vcond=1V0+1Vm.\frac1{V_{\mathrm{cond}}} = \frac1{V_0} + \frac1{V_m}.

The optical measurement also causes spontaneous scattering, differential light shifts, coupling inhomogeneity, and backaction on the conjugate spin component. The useful quantity is therefore

ξR2=NVcond∣⟨J⟩after∣2,\xi_R^2 = \frac{ NV_{\mathrm{cond}} }{ |\langle\mathbf J\rangle_{\mathrm{after}}|^2 },

not the conditional variance alone.

Without feedback, the conditional mean depends on the random measurement record. The ensemble of records can be broad even though each conditioned state is narrow. Real-time feedback rotates or displaces each conditioned state toward a common target and makes the preparation deterministic. A claim must say whether it concerns:

  • a state conditioned on a recorded outcome;
  • a postselected subset of outcomes;
  • a feedback-stabilized deterministic state; or
  • an unconditional density operator after the record is discarded.

These are operationally different resources, especially when success probability and latency are counted.

Several mechanisms realize effective collective nonlinearities or measurements:

RouteEffective resourceTypical strengthMain liabilities
collisional dynamics in two-component condensatesstate-dependent interactions produce Jz2J_z^2direct one-axis twistingparticle loss, multimode dynamics, phase diffusion
cavity-mediated feedbackintracavity phase depends on population and feeds back on the spincollective interaction and efficient readoutphoton scattering, cavity inhomogeneity, technical detuning noise
dispersive QND probinglight records a collective population or spin componentconditional squeezing with simple observablesmeasurement backaction, optical loss, record conditioning
Rydberg dressing or blockadeprogrammable state-dependent interactionsfinite-range or near-collective nonlinear evolutiondecay, imperfect blockade, spatial nonuniformity
trapped-ion interactionsspin-dependent forces generate long-range couplingsprecise unitary dynamics and echo readoutfinite mode temperature, dephasing, system-size overhead
dipolar and spin-exchange dynamicsnative many-body interactions redistribute collective noiseaccess to spin and spin-nematic observablesmultilevel leakage, anisotropy, noncollective correlations

The same measured ξR2\xi_R^2 can emerge from very different states and noise channels. Platform comparisons should therefore include preparation time, accepted atom number, spatial mode, coherence, bandwidth, and readout method, not only the best decibel value.

If ξS2\xi_S^2 is held fixed while the contrast falls, then

ξR2=ξS2C2\xi_R^2 = \frac{\xi_S^2}{C^2}

grows quadratically. For example, 6 dB6\ \mathrm{dB} of transverse variance reduction corresponds to ξS2≃0.25\xi_S^2\simeq0.25. At contrast C=0.5C=0.5, the Wineland parameter returns to approximately one.

Let V−V_- and V+V_+ be the principal variances. A readout error δ\delta sees

Vread=V−cos⁡2δ+V+sin⁡2δ.V_{\mathrm{read}} = V_-\cos^2\delta + V_+\sin^2\delta.

For small δ\delta,

Vread≃V−+δ2(V+−V−).V_{\mathrm{read}} \simeq V_- + \delta^2(V_+-V_-).

Stronger anti-squeezing therefore demands tighter phase control. Reporting only the narrow variance hides this vulnerability.

A calibrated linear detector often has

Vobs=G2Vatom+Vdet,V_{\mathrm{obs}} = G^2V_{\mathrm{atom}} + V_{\mathrm{det}},

where GG is the atom-to-signal gain. Subtracting VdetV_{\mathrm{det}} can infer the atomic variance, but a sensor using that detector experiences VobsV_{\mathrm{obs}}. Reports should distinguish raw performance from detection-noise-subtracted state characterization.

If probe ii couples with weight wiw_i, the measured operator is

Jz(w)=12∑iwiσz(i).J_z^{(w)} = \frac12 \sum_iw_i\sigma_z^{(i)}.

For an independent coherent reference,

(ΔJz(w))CSS2=14∑iwi2,\left(\Delta J_z^{(w)}\right)^2_{\mathrm{CSS}} = \frac14 \sum_iw_i^2,

not necessarily N/4N/4. The signal slope involves ∑iwi\sum_iw_i and may use a different spatial weighting. An effective atom number is meaningful only when its definition matches both noise and response.

Random loss removes correlated particles, shortens the mean spin, and can add binomial noise. Fluctuating NN changes both the coherent reference and the mapping from population difference to phase. A robust analysis conditions on or models the measured NN for each shot, then propagates uncertainty in that calibration into ξR2\xi_R^2 and any entanglement-depth statement.

Independent dephasing typically reduces

∣⟨J⟩∣⟶e−ΓT∣⟨J⟩∣|\langle\mathbf J\rangle| \longrightarrow e^{-\Gamma T}|\langle\mathbf J\rangle|

while also modifying transverse covariances. Because the Wineland denominator contains the squared spin length, even modest decoherence can erase a state preparation gain. Common-mode noise may be rejected by a differential comparison, but that does not prove the same gain for two independent remote sensors.

Spin squeezing is attractive for clocks because a collective population measurement is already the natural Ramsey output. Moderate squeezing can improve phase precision without requiring single-particle-resolved readout. The most credible evidence progresses through distinct levels:

  1. a transverse variance below a calibrated coherent-spin reference;
  2. a Wineland parameter below one after contrast and atom number are included;
  3. a direct phase-estimation experiment below a matched independent-probe benchmark;
  4. improved stability of a running clock or sensor with preparation, dead time, technical noise, and accepted data included.

These levels are not interchangeable. Early atomic-ensemble experiments established collective noise reduction and entanglement. Interacting condensates later demonstrated direct sub-SQL phase sensitivity. Cavity and QND methods produced stronger conditional or deterministic squeezing, and optical-clock experiments transferred squeezing to clock transitions and direct ensemble comparisons. Sensing Case Studies examines representative numerical claims and their experimental boundaries.

Many-body sensors extend the same logic beyond clocks. A collective spin may encode magnetic field, rotation, acceleration, interaction strength, or a spatially weighted signal. The best squeezed component must be aligned with the generator and measured mode. Local correlations that do not improve the chosen collective response may be scientifically interesting without improving that sensor.

Spin squeezing is also a many-body diagnostic. Collective first and second moments can witness entanglement in samples too large for tomography. This economy comes with limited resolution: different density operators can share the same moments, and failure to violate a squeezing inequality does not prove separability. Entanglement Witnesses develops the general witness logic.

Consider N=104N=10^4 effective qubits. The coherent-spin transverse variance is

VCSS=N4=2500.V_{\mathrm{CSS}} = \frac N4 = 2500.

Suppose tomography finds

V−=500,C=0.80.V_- = 500, \qquad C = 0.80.

The noise-squeezing parameter is

ξS2=4V−N=0.20.\xi_S^2 = \frac{4V_-}{N} = 0.20.

The metrological parameter is

ξR2=0.200.802=0.3125.\xi_R^2 = \frac{0.20}{0.80^2} = 0.3125.

The corresponding gain is

GdB=−10log⁡10(0.3125)≃5.05 dB.G_{\mathrm{dB}} = -10\log_{10}(0.3125) \simeq 5.05\ \mathrm{dB}.

An ideal coherent state has one-shot local phase uncertainty 0.010 rad0.010\ \mathrm{rad}. The squeezed state gives

Δϕ=0.3125100≃5.59×10−3 rad.\Delta\phi = \frac{\sqrt{0.3125}}{100} \simeq 5.59\times10^{-3}\ \mathrm{rad}.

The variance improved by a factor 3.23.2, while the standard deviation improved by only 3.2≃1.79\sqrt{3.2}\simeq1.79. A clock-level claim would still require cycle time, local-oscillator noise, and raw detector performance.

ClaimRequired evidenceWhat is not enough
transverse noise squeezingcalibrated V−<N/4V_-<N/4 for the declared measured modea narrow histogram without a coherent reference
metrological spin squeezingV−V_-, contrast, atom number, response slope, and matched boundaryξS2<1\xi_S^2<1 alone
particle entanglementa valid separable-state inequality with model and confidence assumptionsreduced technical noise
entanglement deptha stated kk-producible bound including fluctuating NN and coupling inhomogeneityrounding 1/ξR21/\xi_R^2 to an integer
sub-SQL phase sensingdirect estimator performance against a matched independent-probe experimentinferred QFI without a realizable readout
improved clock or sensorstability or risk with preparation, dead time, loss, calibration, and accepted trials includeda source-state decibel value
changed asymptotic scalinga controlled resource family over increasing NN with noise and overhead trackedone finite-NN gain point
  • Using “spin squeezing” without stating which parameter is meant.
  • Comparing V−V_- with N/4N/4 while the detector measures a weighted collective spin whose coherent variance is different.
  • Ignoring the C−2C^{-2} contrast penalty in the Wineland parameter.
  • Reporting a variance gain in decibels as the same numerical gain in standard deviation.
  • Treating ξR2<1\xi_R^2<1 as necessary for entanglement rather than sufficient.
  • Inferring exact entanglement depth as 1/ξR21/\xi_R^2 without the finite-NN witness curve.
  • Calling conditional squeezing deterministic while discarding the measurement record or postselection probability.
  • Subtracting detection noise for state characterization and then presenting the result as raw sensor performance.
  • Assuming the ideal one-axis or two-axis scaling survives fixed decoherence, finite-range coupling, and preparation overhead.
  • Treating clock stability, systematic accuracy, phase resolution, and entanglement depth as interchangeable metrics.

For ∣CSSx⟩=∣+x⟩⊗N|\mathrm{CSS}_x\rangle=|{+x}\rangle^{\otimes N}, derive ⟨Jx⟩=N/2\langle J_x\rangle=N/2 and (ΔJy)2=(ΔJz)2=N/4(\Delta J_y)^2=(\Delta J_z)^2=N/4.

Solution

For each probe,

⟨σx⟩=1,⟨σy⟩=⟨σz⟩=0.\langle\sigma_x\rangle=1, \qquad \langle\sigma_y\rangle = \langle\sigma_z\rangle = 0.

Therefore

⟨Jx⟩=12∑i⟨σx(i)⟩=N2.\langle J_x\rangle = \frac12\sum_i\langle\sigma_x^{(i)}\rangle = \frac N2.

Independence removes cross-covariances. Since (σy(i))2=(σz(i))2=I(\sigma_y^{(i)})^2=(\sigma_z^{(i)})^2=I,

(ΔJy)2=14∑i(Δσy(i))2=N4,(\Delta J_y)^2 = \frac14\sum_i(\Delta\sigma_y^{(i)})^2 = \frac N4,

and similarly for JzJ_z.

A transverse covariance matrix is

V=(106619).V = \begin{pmatrix} 10 & 6\\ 6 & 19 \end{pmatrix}.

Find its principal variances.

Solution

The eigenvalues are

V∓=292∓12(−9)2+4(6)2.V_\mp = \frac{29}2 \mp \frac12\sqrt{(-9)^2+4(6)^2}.

Because

81+144=15,\sqrt{81+144} = 15,

the principal variances are

V−=7,V+=22.V_-=7, \qquad V_+=22.

The off-diagonal covariance means neither laboratory axis is a principal axis; a rotation is required before readout.

A state has ξS2=0.16\xi_S^2=0.16. What minimum contrast is required for ξR2<1\xi_R^2<1? Evaluate ξR2\xi_R^2 at C=0.30C=0.30.

Solution

Since

ξR2=ξS2C2,\xi_R^2 = \frac{\xi_S^2}{C^2},

metrological squeezing requires

C>0.16=0.40.C > \sqrt{0.16} = 0.40.

At C=0.30C=0.30,

ξR2=0.160.09≃1.78.\xi_R^2 = \frac{0.16}{0.09} \simeq 1.78.

The transverse noise is squeezed, but the state does not beat the coherent linear-readout benchmark.

Show that a small rotation e−iϕJze^{-i\phi J_z} maps a state with ⟨Jy⟩=0\langle J_y\rangle=0 to ⟨Jy⟩ϕ≃ϕ⟨Jx⟩\langle J_y\rangle_\phi\simeq\phi\langle J_x\rangle. Identify the phase variance for a JyJ_y measurement.

Solution

The rotated observable is

Jy(ϕ)=Jycos⁡ϕ+Jxsin⁡ϕ.J_y(\phi) = J_y\cos\phi + J_x\sin\phi.

Taking the expectation and expanding near zero gives

⟨Jy⟩ϕ≃ϕ⟨Jx⟩.\langle J_y\rangle_\phi \simeq \phi\langle J_x\rangle.

Error propagation therefore yields

(Δϕ)2=(ΔJy)2⟨Jx⟩2=ξR2N(\Delta\phi)^2 = \frac{(\Delta J_y)^2}{\langle J_x\rangle^2} = \frac{\xi_R^2}{N}

when JyJ_y is the aligned minimum-noise component.

5. Why one-axis twisting creates covariance

Section titled “5. Why one-axis twisting creates covariance”

For H=ℏχJz2H=\hbar\chi J_z^2, compute the Heisenberg equation for JyJ_y and give its leading behavior near a state polarized along xx.

Solution

Using J˙y=(i/ℏ)[H,Jy]\dot J_y=(i/\hbar)[H,J_y] and [Jz,Jy]=−iJx[J_z,J_y]=-iJ_x,

J˙y=χ(JzJx+JxJz).\dot J_y = \chi(J_zJ_x+J_xJ_z).

Near a strongly polarized state, replace JxJ_x by its mean value JJ:

J˙y≃2χJJz.\dot J_y \simeq 2\chi J J_z.

Thus different JzJ_z slices acquire different JyJ_y displacements. This is a shear in the transverse plane and creates yy–zz covariance.

For N=100N=100 and ξR2=0.20\xi_R^2=0.20, use FQ≥N/ξR2F_Q\ge N/\xi_R^2. Can the state be four-producible?

Solution

The squeezing result implies

FQ≥1000.20=500.F_Q \ge \frac{100}{0.20} = 500.

For k=4k=4,

s=⌊1004⌋=25,r=0.s = \left\lfloor\frac{100}{4}\right\rfloor = 25, \qquad r=0.

Every four-producible state obeys

FQ≤25(42)=400.F_Q \le 25(4^2) = 400.

The observed lower bound exceeds 400, so the state is not four-producible and has entanglement depth at least five. The same argument does not certify depth six because the five-producible bound is 500 and the inferred QFI may equal that value.

A detector has gain G=2G=2, observed variance Vobs=44V_{\mathrm{obs}}=44, and independently calibrated detector variance Vdet=20V_{\mathrm{det}}=20. Find the inferred atomic variance. Which variance belongs in a raw sensor claim?

Solution

From

Vobs=G2Vatom+Vdet,V_{\mathrm{obs}} = G^2V_{\mathrm{atom}} + V_{\mathrm{det}},

we obtain

Vatom=44−204=6.V_{\mathrm{atom}} = \frac{44-20}{4} = 6.

The value 6 characterizes the inferred atomic state under the detector model. The raw instrument experiences the full observed variance 44 in detector units, unless an additional protocol suppresses or calibrates that noise in the estimator.

A squeezing protocol achieves ξR2=0.25\xi_R^2=0.25 without changing cycle time or other noise. By what factor does one-shot phase standard deviation improve? By what factor does the averaging time for a fixed variance decrease?

Solution

The standard-deviation ratio is

ξR=0.25=0.5.\xi_R = \sqrt{0.25} = 0.5.

The one-shot standard deviation is halved. Variance averages as 1/ν1/\nu, so a factor of four fewer independent trials reaches the same target variance:

τsqτCSS=ξR2=0.25.\frac{\tau_{\mathrm{sq}}}{\tau_{\mathrm{CSS}}} = \xi_R^2 = 0.25.

This conclusion fails if preparation increases cycle time or introduces additional technical noise.

  1. D. J. Wineland, J. J. Bollinger, W. M. Itano, F. L. Moore, and D. J. Heinzen, “Spin squeezing and reduced quantum noise in spectroscopy,” Physical Review A 46, R6797–R6800 (1992), doi:10.1103/PhysRevA.46.R6797.
  2. M. Kitagawa and M. Ueda, “Squeezed spin states,” Physical Review A 47, 5138–5143 (1993), doi:10.1103/PhysRevA.47.5138.
  3. D. J. Wineland, J. J. Bollinger, W. M. Itano, and D. J. Heinzen, “Squeezed atomic states and projection noise in spectroscopy,” Physical Review A 50, 67–88 (1994), doi:10.1103/PhysRevA.50.67.
  4. A. Sørensen, L.-M. Duan, J. I. Cirac, and P. Zoller, “Many-particle entanglement with Bose–Einstein condensates,” Nature 409, 63–66 (2001), doi:10.1038/35051038.
  5. A. S. Sørensen and K. Mølmer, “Entanglement and extreme spin squeezing,” Physical Review Letters 86, 4431–4434 (2001), doi:10.1103/PhysRevLett.86.4431.
  6. J. Ma, X. Wang, C. P. Sun, and F. Nori, “Quantum spin squeezing,” Physics Reports 509, 89–165 (2011), doi:10.1016/j.physrep.2011.08.003.
  7. L. Pezzè, A. Smerzi, M. K. Oberthaler, R. Schmied, and P. Treutlein, “Quantum metrology with nonclassical states of atomic ensembles,” Reviews of Modern Physics 90, 035005 (2018), doi:10.1103/RevModPhys.90.035005.
  8. G. Tóth and I. Apellaniz, “Quantum metrology from a quantum information science perspective,” Journal of Physics A 47, 424006 (2014), doi:10.1088/1751-8113/47/42/424006.
  9. P. Hyllus, O. Gühne, and A. Smerzi, “Not all pure entangled states are useful for sub-shot-noise interferometry,” Physical Review A 82, 012337 (2010), doi:10.1103/PhysRevA.82.012337.
  10. P. Hyllus, W. Laskowski, R. Krischek, C. Schwemmer, W. Wieczorek, H. Weinfurter, L. Pezzè, and A. Smerzi, “Fisher information and multiparticle entanglement,” Physical Review A 85, 022321 (2012), doi:10.1103/PhysRevA.85.022321.
  11. G. Tóth, “Multipartite entanglement and high-precision metrology,” Physical Review A 85, 022322 (2012), doi:10.1103/PhysRevA.85.022322.
  12. G. Tóth, C. Knapp, O. Gühne, and H. J. Briegel, “Optimal spin squeezing inequalities detect bound entanglement in spin models,” Physical Review Letters 99, 250405 (2007), doi:10.1103/PhysRevLett.99.250405.
  13. J. Hald, J. L. Sørensen, C. Schori, and E. S. Polzik, “Spin squeezed atoms: A macroscopic entangled ensemble created by light,” Physical Review Letters 83, 1319–1322 (1999), doi:10.1103/PhysRevLett.83.1319.
  14. A. Kuzmich, L. Mandel, and N. P. Bigelow, “Generation of spin squeezing via continuous quantum nondemolition measurement,” Physical Review Letters 85, 1594–1597 (2000), doi:10.1103/PhysRevLett.85.1594.
  15. J. Appel, P. J. Windpassinger, D. Oblak, U. B. Hoff, N. Kjærgaard, and E. S. Polzik, “Mesoscopic atomic entanglement for precision measurements beyond the standard quantum limit,” Proceedings of the National Academy of Sciences 106, 10960–10965 (2009), doi:10.1073/pnas.0901550106.
  16. I. D. Leroux, M. H. Schleier-Smith, and V. Vuletić, “Implementation of cavity squeezing of a collective atomic spin,” Physical Review Letters 104, 073602 (2010), doi:10.1103/PhysRevLett.104.073602.
  17. C. Gross, T. Zibold, E. Nicklas, J. Estève, and M. K. Oberthaler, “Nonlinear atom interferometer surpasses classical precision limit,” Nature 464, 1165–1169 (2010), doi:10.1038/nature08919.
  18. M. F. Riedel, P. Böhi, Y. Li, T. W. Hänsch, A. Sinatra, and P. Treutlein, “Atom-chip-based generation of entanglement for quantum metrology,” Nature 464, 1170–1173 (2010), doi:10.1038/nature08988.
  19. Y. Li, Y. Castin, and A. Sinatra, “Optimum spin squeezing in Bose–Einstein condensates with particle losses,” Physical Review Letters 100, 210401 (2008), doi:10.1103/PhysRevLett.100.210401.
  20. O. Hosten, N. J. Engelsen, R. Krishnakumar, and M. A. Kasevich, “Measurement noise 100 times lower than the quantum-projection limit using entangled atoms,” Nature 529, 505–508 (2016), doi:10.1038/nature16176.
  21. K. C. Cox, G. P. Greve, J. M. Weiner, and J. K. Thompson, “Deterministic squeezed states with collective measurements and feedback,” Physical Review Letters 116, 093602 (2016), doi:10.1103/PhysRevLett.116.093602.
  22. O. Hosten, R. Krishnakumar, N. J. Engelsen, and M. A. Kasevich, “Quantum phase magnification,” Science 352, 1552–1555 (2016), doi:10.1126/science.aaf3397.
  23. E. Pedrozo-Peñafiel et al., “Entanglement on an optical atomic-clock transition,” Nature 588, 414–418 (2020), doi:10.1038/s41586-020-3006-1.
  24. M. Schulte, C. Lisdat, P. O. Schmidt, U. Sterr, and K. Hammerer, “Prospects and challenges for squeezing-enhanced optical atomic clocks,” Nature Communications 11, 5955 (2020), doi:10.1038/s41467-020-19403-7.
  25. W. J. Eckner et al., “Realizing spin squeezing with Rydberg interactions in an optical clock,” Nature 621, 734–739 (2023), doi:10.1038/s41586-023-06360-6.
  26. J. M. Robinson et al., “Direct comparison of two spin-squeezed optical clock ensembles at the 10−1710^{-17} level,” Nature Physics 20, 208–213 (2024), doi:10.1038/s41567-023-02310-1.
  • Squeezing develops the platform-independent relation among covariance, reference noise, signal response, loss, and readout.
  • Standard Quantum Limit derives the coherent-spin and independent-probe benchmark used here.
  • Classical and Quantum Fisher Information explains the measurement-optimized information bound and why a linear spin readout need not attain it.
  • Heisenberg Scaling separates finite-NN gain from an asymptotic inverse-resource law.
  • Spin Coherent States supplies the rotated highest-weight geometry and transverse coherent noise.
  • Ramsey Interferometry for Quantum Estimation develops the likelihood, Fisher information, phase aliases, adaptive settings, and duty-cycle accounting for the readout used here.
  • Atomic Clocks tests spin-squeezing gain after preparation time, oscillator noise, dead time, phase wraps, feedback, and independent validation are included.
  • Magnetometry applies spin squeezing to a specified magnetic-field mode and tests gain after bandwidth, volume, dynamic range, and wall time are matched.
  • Gravimetry and Inertial Sensing follows squeezing through momentum-mode transfer, inertial phase encoding, readout, resource matching, and a calibrated acceleration or gravity estimate.
  • Ramsey Interferometry derives the separated-pulse fringe and population readout used by clocks and qubit sensors.
  • Atomic Clocks and Optical Clocks own complete clock cycles, oscillator noise, systematic shifts, and stability.
  • Sensing Case Studies compares state-level, estimator-level, and running-instrument evidence.
  • Entanglement Witnesses gives the general logic of observable bounds that all separable states must obey.
  • Dephasing Channel develops the coherence loss that commonly limits collective-spin metrology.