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 effective spin- probes with a mean spin along , the operational parameter is
When the squeezed component is aligned with a Ramsey readout, one ideal trial has local phase variance
Thus means both a metrological gain over the matched coherent-spin state and, under the stated spin- 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.
Required background. Squeezing explains covariance and signal response; the standard quantum limit supplies the independent-spin comparison; Fisher information relates readout to precision.
Helpful background. Spin coherent states gives the rotated product-state construction, and covariance explains correlated fluctuations.
Collective Spin and the Coherent Reference
Section titled “Collective Spin and the Coherent Reference”Take two-level systems and define dimensionless collective operators
They obey
Factors of can be restored by replacing each with . 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 is
It lies in the symmetric total-spin sector and has
The transverse variance is quantum projection noise. It follows from adding independent binary fluctuations, not from technical uncertainty. The corresponding angular uncertainty is
This is the independent-probe benchmark developed in Standard Quantum Limit. A fair squeezing claim compares against a coherent state with the same atom number, interrogation, detector efficiency, and total repetition budget, including unsuccessful preparation attempts.
Transverse Covariance Geometry
Section titled “Transverse Covariance Geometry”Suppose the mean spin points along . In the transverse – plane define
where
A transverse component at angle is
Its variance is the quadratic form
The minimum and maximum transverse variances are the eigenvalues
For unequal eigenvalues, an unambiguous minimum-axis angle is
If and , every transverse axis has the same variance. 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
Reducing therefore generally enlarges , 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 spin- probes, the Kitagawa–Ueda parameter is
It compares the narrowest transverse variance with the coherent-spin value . Therefore
means transverse noise squeezing. This definition does not penalize loss of mean-spin length.
Define the Ramsey contrast or normalized spin length by
The Wineland parameter is
It is possible to have but . 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
Thus is of metrological gain. The phase standard deviation improves only by
Authors also use , , or a signed decibel value for several inequivalent quantities. A reproducible result states the formula, reference, contrast treatment, and whether detection noise was included.
Ramsey Readout
Section titled “Ramsey Readout”Prepare a state with mean spin along and align the squeezed component with . Let the unknown phase be encoded by
In the Heisenberg picture,
If , then near ,
Error propagation gives
After independent accepted repetitions,
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.
For a clock transition of frequency , Ramsey dark time , cycle time , and averaging duration , the atom-noise-only estimate is
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 is not by itself a complete clock demonstration.
Tangent-plane approximation and Bloch-sphere curvature
Section titled “Tangent-plane approximation and Bloch-sphere curvature”Near a well-polarized state with total spin , define tangent-plane variables
Because ,
when . The coherent spin has
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 readout may cease to capture the available phase information.
This oversqueezed regime can have poor 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.
Entanglement and Fisher Information
Section titled “Entanglement and Fisher Information”For distinguishable spin- particles, every fully separable state obeys the collective-spin inequality
Consequently,
One way to prove the bound uses the Bloch components of each constituent in a product state:
Variance is concave under classical mixing, while the squared mean is convex, so the bound extends to all fully separable mixed states. It does not require permutation symmetry.
The implication is one-way. GHZ and symmetric Dicke states can have zero mean spin and large QFI for an appropriate rotation axis, so the Wineland parameter is then undefined or uninformative. A total-spin singlet is different: for every collective component, giving zero QFI for a uniform collective rotation. Its entanglement can instead help detect a spatially nonuniform field, as Exercise 4 illustrates.
After aligning the squeezed readout with and the mean with , a phase generated by has QFI bounded by the available linear readout:
Thus certifies
which is metrologically useful entanglement for that collective rotation. The reverse need not hold: says that some measurement can beat the independent-probe bound locally, not that a first-moment spin readout does so.
Entanglement depth is the smallest for which a state is -producible. A state is -producible if it is a mixture of pure states whose entangled blocks contain at most particles. For qubits and a collective linear generator, such states satisfy
where
Violating this bound rules out -producibility. Spin-moment data can also be compared with the tighter polarization-dependent Sørensen–Mølmer curves. The often quoted estimate is not, by itself, an exact finite- entanglement depth. The witness must account for fluctuating atom number, inhomogeneous coupling, internal spin larger than , and confidence intervals.
One-Axis Twisting
Section titled “One-Axis Twisting”The canonical unitary mechanism is one-axis twisting,
Starting from , the evolution is
Each sector acquires a phase proportional to . On the tangent plane this produces a shear: slices with different rotate at different rates. The shear creates a nonzero – 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 ,
Here the normalized noise scales as ; with contrast near one, the phase variance scales as . An ideal would instead give phase variance proportional to . The asymptotic law does not survive automatically when changes with system size or when scattering, finite-range interactions, loss, and control overhead are included.
For a finite- calculation, expand the initial product state in the symmetric basis:
The matrix element then gives the mean spin and transverse covariance directly. In particular, . This calculation includes the spherical curvature that a tangent-plane shear eventually misses.
Exact collective-spin evolution for under , without loss or detection noise. The transverse noise falls initially, but contrast also decays. The useful linear-readout parameter eventually exceeds one even while the minimum transverse variance remains below the coherent-spin reference. The vertical axis is logarithmic.
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
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 , one form of two-axis countertwisting is
After a 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
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
For and , the fixed point is stable. The fixed point is unstable when : linearization gives
so perturbations grow at rate . Near this unstable fixed point, fluctuations separate 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.
Measurement-Induced Squeezing
Section titled “Measurement-Induced Squeezing”A quantum-nondemolition measurement can acquire information about one collective component without directly randomizing that same component. For an atomic spin coupled to an optical Stokes component , a schematic interaction is
With a strongly polarized probe, an outgoing light quadrature carries an estimate of . In a Gaussian model, combining prior variance with an independent measurement of equivalent variance gives conditional variance
The QND interaction creates backaction on the conjugate spin component. Real dispersive probes can also cause spontaneous scattering, differential light shifts, and coupling inhomogeneity. The useful quantity is therefore
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. Retaining every record, selecting a subset, and discarding the record produce different conditional or unconditional states. The preparation time and any rejection probability affect the number of usable measurements.
Collisional condensate interactions and cavity feedback can approximate one-axis twisting; dispersive optical probing implements the conditional measurement just described. Finite-range Rydberg, dipolar, or trapped-ion couplings need not reduce to a single collective-spin Hamiltonian.
Imperfections and Calibration
Section titled “Imperfections and Calibration”Contrast loss
Section titled “Contrast loss”If is held fixed while the contrast falls, then
grows quadratically. For example, of transverse variance reduction corresponds to . At contrast , the Wineland parameter returns to approximately one.
Squeezing-angle error
Section titled “Squeezing-angle error”Let and be the principal variances. A readout error sees
For small ,
Stronger anti-squeezing therefore demands tighter phase control. Reporting only the narrow variance hides this vulnerability.
Detection noise
Section titled “Detection noise”A calibrated linear detector often has
where is the atom-to-signal gain. Subtracting can infer the atomic variance, but a sensor using that detector experiences . Reports should distinguish raw performance from detection-noise-subtracted state characterization.
Inhomogeneous coupling
Section titled “Inhomogeneous coupling”If probe couples with weight , the measured operator is
For an independent coherent reference,
not necessarily . For a uniform small rotation of an initially -polarized product state, the slope is , giving
This assumes a nonzero summed response. A spatially varying signal changes the slope and therefore requires a different effective-number calculation.
Loss and fluctuating atom number
Section titled “Loss and fluctuating atom number”Random loss removes correlated particles, shortens the mean spin, and can add binomial noise. Fluctuating changes both the coherent reference and the mapping from population difference to phase. A robust analysis conditions on or models the measured for each shot, then propagates uncertainty in that calibration into and any entanglement-depth statement.
Decoherence during interrogation
Section titled “Decoherence during interrogation”Independent dephasing typically reduces
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.
Clocks and Many-Body Sensors
Section titled “Clocks and Many-Body 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. A smaller source-state variance does not by itself demonstrate a better clock: the Allan-deviation formula above must use the actual cycle time and the noise of the running apparatus. Atomic Clocks examines those effects; Sensing Case Studies compares representative experiments.
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.
Worked Example
Section titled “Worked Example”Consider effective qubits. The coherent-spin transverse variance is
Suppose tomography finds
The noise-squeezing parameter is
The metrological parameter is
The corresponding gain is
An ideal coherent state has one-shot local phase uncertainty . The squeezed state gives
The variance improved by a factor , while the standard deviation improved by only . A clock-level claim would still require cycle time, local-oscillator noise, and raw detector performance.
Exercises
Section titled “Exercises”1. Coherent-spin projection noise
Section titled “1. Coherent-spin projection noise”For , derive and .
Solution
For each probe,
Therefore
Independence removes cross-covariances. Since ,
and similarly for .
2. Find the squeezed axis
Section titled “2. Find the squeezed axis”A transverse covariance matrix is
Find its principal variances.
Solution
The eigenvalues are
Because
the principal variances are
The off-diagonal covariance means neither laboratory axis is a principal axis; a rotation is required before readout.
3. Contrast can erase noise squeezing
Section titled “3. Contrast can erase noise squeezing”A state has . What minimum contrast is required for ? Evaluate at .
Solution
Since
metrological squeezing requires
At ,
The transverse noise is squeezed, but the state does not beat the coherent linear-readout benchmark.
4. A singlet senses gradients, not uniform rotations
Section titled “4. A singlet senses gradients, not uniform rotations”For , compare the pure-state QFI for generators and .
Solution
Both components have total , so and . For the difference generator,
Thus . A gradient creates a relative phase even though a spatially uniform field does not. Entanglement alone does not specify which signal a state can detect.
5. Why one-axis twisting creates covariance
Section titled “5. Why one-axis twisting creates covariance”For , compute the Heisenberg equation for and give its leading behavior near a state polarized along .
Solution
Using and ,
Near a strongly polarized state, replace by its mean value :
Thus different slices acquire different displacements. This is a shear in the transverse plane and creates – covariance.
6. A Fisher-information depth bound
Section titled “6. A Fisher-information depth bound”For and , use . Can the state be four-producible?
Solution
The squeezing result implies
For ,
Every four-producible state obeys
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.
7. Raw and inferred detector noise
Section titled “7. Raw and inferred detector noise”A detector has gain , observed variance , and independently calibrated detector variance . Find the inferred atomic variance. Which variance belongs in a raw sensor claim?
Solution
From
we obtain
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.
8. Averaging-time gain
Section titled “8. Averaging-time gain”A squeezing protocol achieves 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
The one-shot standard deviation is halved. Variance averages as , so a factor of four fewer independent trials reaches the same target variance:
More generally, with unchanged interrogation time and other noise, . Doubling the cycle time changes the ratio from to .
References
Section titled “References”- 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.
- 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.
- M. Kitagawa and M. Ueda, “Squeezed spin states,” Physical Review A 47, 5138–5143 (1993), doi:10.1103/PhysRevA.47.5138.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- G. Tóth, “Multipartite entanglement and high-precision metrology,” Physical Review A 85, 022322 (2012), doi:10.1103/PhysRevA.85.022322.
- 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.
- 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.