Abstract
Spin squeezing is a key resource in quantum metrology, allowing improvements of measurement signaltonoise ratio. Its generation is a challenging task because the experimental realization of the required squeezing interaction remains difficult. Here, we propose a generic scheme to synthesize spin squeezing in nonsqueezing systems. By using periodical rotation pulses, the original nonsqueezing interaction can be transformed into squeezing interaction, with significantly enhanced interaction strength. The sign of the interaction coefficient is also flippable, facilitating timereversal readout protocol for nonlinear interferometers. The generated spin squeezing is capable of achieving the Heisenberg limit with measurement precision ∝ 1/N for N particles and its robustness to noises of pulse areas and separations has been verified as well. This work offers a path to extending the scope of Heisenberglimited quantum precision measurements in nonsqueezing systems.
Similar content being viewed by others
Introduction
Squeezed spin states^{1,2,3,4} are such entangled states of collective spins in which the uncertainty of one spin component perpendicular to the mean spin direction is reduced below the standard quantum limit (SQL). They have attracted broad attention due to their applications in highprecision measurements^{5,6,7,8,9,10} and in the study of manybody entanglement^{11,12,13,14,15,16,17}. Over the past few decades, many studies have been proposed to realize spin squeezing^{4}, mainly involved in BoseEinstein condensates (BECs) with atomatom collisions^{8,9,18,19,20}, atomlight interaction systems^{21,22,23,24,25}.
To generate spin squeezing, one direct method is to transfer the squeezing from squeezed light to atomic ensembles, but the transfer efficiency is limited and the degree of spin squeezing depends on the performance of light^{26,27,28,29}. Quantum nondemolition (QND) measurement is also a feasible method to realize spin squeezing, but the acquired squeezing is not deterministic and is degraded by the performance of the detector^{30,31,32,33,34,35,36,37,38,39,40}. Another major type of method to deterministically generate spin squeezing is utilizing squeezing interactions, which typically include the oneaxis twisting (OAT) and twoaxis twisting (TAT) interactions^{1,4,41,42,43,44,45,46,47}. The OAT interaction, which can be experimentally implemented in some systems including BECs^{8,9,48}, trapped ions^{49,50,51} and superconducting qubits^{52,53,54}, reaches a squeezing degree ∝ 1/N^{2/3} for N particles. As for the TAT interaction, which is mainly reported in theoretical scheme^{46,55,56}, the squeezing degree is ∝ 1/N, approaching to the Heisenberg limit (HL), but implementation of TAT squeezing still remains a challenge. In the atomlight interaction systems, the doublepass squeezing approach based on the Faraday magnetooptical rotation is proposed^{57}, but the squeezing performance ∝ 1/N^{2/5} is far from being satisfactory, which is due to the unwanted residual atomlight entanglement^{58,59}.
Here, we propose a dynamic synthesis scheme to deterministically generate highdegree spin squeezing, without requiring original squeezing interactions. Based on the common nonsqueezing interactions, denoted by equation (1), and a periodic rotation pulse sequence, the squeezing interactions can be dynamically synthesized, facilitating a squeezed spin state from an initially uncorrelated state. Both OAT and TAT interactions can be effectively synthesized, which hence leads to a squeezing performance approaching to the HL. Our scheme hence largely enriches the variety of systems that can realize spin squeezing. Furthermore, in our scheme, the strength of the generated interaction is enhanced (faster dynamics or shorter evolution) and the sign of the interaction coefficient is flippable, presenting its capability of realizing the timereversal dynamics. It hence gives rise to a potential platform to realize technicalnoiseimmune nonlinear interferometer and study the quantum chaos and information scrambling by measuring the outoftimeorder correlator^{60,61,62,63,64,65}.
Results
System model
We consider a universal model with the following interaction Hamiltonian
where g denotes the coupling strength between two subsystems described by the collective spins S and J. This Hamiltonian commonly exists in various systems, such as atomlight interaction systems^{31,37} and dipole–dipole interaction systems^{66}, as illustrated in Fig. 1(a), (b). Note that in the split BEC system^{66}, there exist intraspecies interactions \({S}_{z}^{2}\) and \({J}_{z}^{2}\) apart from interspecies interaction S_{z}J_{z}, while in the system of cold or thermal atoms, the intraspecies interactions vanish and only interspecies interaction between two subsystems is left, which is the form of equation (1). In the context of atomic ensembles, the operators \({S}_{\mu }=\mathop{\sum }\nolimits_{k = 1}^{{N}_{{{{\rm{s}}}}}}{\sigma }_{{{{\rm{S}}}},\mu }^{(k)}/2\) and \({J}_{\mu }=\mathop{\sum }\nolimits_{k = 1}^{{N}_{{{{\rm{j}}}}}}{\sigma }_{{{{\rm{J,\mu }}}}}^{(k)}/2\,\) (μ = x, y, z) define the collective spin components for the two subsystems, with \({\sigma }_{{{{\rm{S}}}},\mu }^{(k)}\) and \({\sigma }_{{{{\rm{J,\mu }}}}}^{(k)}\) being the corresponding Pauli matrices for the kth spin1/2 (or pseudospin) particle, respectively. As for atomlight interaction system, the operators J_{μ} denote the Stokes operators, which are related to the differences between the number operators of the photons polarized in different orthogonal bases (see Supplementary Note A). Both of them satisfy the usual SU(2) angular momentum commutation relations [S_{i}, S_{j}] = iε_{ijk}S_{k} and [J_{i}, J_{j}] = iε_{ijk}J_{k}, where ε_{ijk} is the LeviCivita symbol.
To be clear, we clarify that the studied spin squeezing is focused on one subsystem (e.g., S), which contains the contribution of the other subsystem J through their interaction. This is mainly based on the fact that the squeezing of one subsystem is usually easier to be implemented than that of the united system (S + J) in practical application, especially for the case with quite different subsystems. For example, for atomlight interaction systems, the polarization of photons and collective atomic spin can not be naturally combined to serve as the whole resources of squeezing (see Supplementary Note H). More specifically, in the model Hamiltonian (1), intraspecies interaction (\({S}_{z}^{2}\,{{{\rm{or}}}}\,{J}_{z}^{2}\)) in both subsystems is absent and the atoms hence maintain approximately uncorrelated following the evolution based on the interaction Hamiltonian (1), if they are initially uncorrelated. An effective intraspecies interaction always occurs as a highorder effect from the trivial interspecies interaction (S_{z}J_{z}), i.e., subsystem J carries the interaction among atoms in subsystem S, as an auxiliary force carrier.
To amplify such a highorder effect and eliminate the influence of loworder interaction, we put forward a controlled pulse scheme, which contains several rotation pulses described by the following Hamiltonian
It leads to a spin rotation of angle \({\theta }_{1,2}=\int\nolimits_{{t}_{0}}^{{t}_{0}+{{\Delta }}t}{{{\Omega }}}_{1,2}(t)dt\) around x axis over a short pulse duration Δt starting from t_{0} for subsystem J and S, respectively. Their corresponding rotation operators are defined as \({R}_{{{{\rm{J}}}}}(\theta )={{{{\rm{e}}}}}^{{{{\rm{i}}}}\theta {J}_{x}}\) and \({R}_{{{{\rm{S}}}}}(\theta )={{{{\rm{e}}}}}^{{{{\rm{i}}}}\theta {S}_{x}}\).
Generation of effective OAT squeezing
First, we propose a pulse scheme to synthesize the effective OAT squeezing. In this case, only periodic π/2 rotation pulses are required to implement on the subsystem J with equal pulse separation τ. Each period contains four segments of free evolution and four π/2 rotation pulses, as sketched in Fig. 1(c). Neglecting the pulse duration Δt, the evolution operator for a single period t_{c} ≃ 4τ is given by
where U(τ) = \({{{{\rm{e}}}}}^{{{{\rm{i}}}}g{S}_{z}{J}_{z}\tau }\) is the free evolution operator under the interaction Hamiltonian (1). The evolution operator can be rewritten as
as a product of four unitary operators. According to the BakerCampbellHausdorff formula, omitting the higherorder terms \({{{\mathcal{O}}}}({(g\tau )}^{2})\), the evolution operator is approximately derived as \({U}_{{{{\rm{1}}}}}(4\tau )\simeq \exp ({{{\rm{i}}}}{g}^{2}{S}_{z}^{2}{J}_{x}{\tau }^{2})\). When the subsystem J initially stays in a coherent state (N_{j} uncorrelated particles) polarized along the x axis, i.e., the eigenstate of J_{x} with the eigenvalue N_{j}/2, the effective Hamiltonian can be obtained as (see Supplementary Note B),
We hence obtain an effective OAT Hamiltonian, giving rise to squeezing dynamics in subsystem S.
The understanding of the pulse scheme is as follows. Subsystem J plays the role of an intermediary to induce the intraspecies interaction in subsystem S. This process is analogous to the effective electronelectron interaction mediated by the phonons (lattice vibrations) in condensed matter physics, such as the superconducting BardeenCooperSchrieffer theory, which can be treated by the FrohlichNakajima transformation^{67,68}. The product of the first three evolution operators, \({{{{\mathcal{U}}}}}_{3}{{{{\mathcal{U}}}}}_{2}{{{{\mathcal{U}}}}}_{1}\), in each period constitutes an equivalent FrohlichNakajima transformation (FNT)^{67,68}, representing that we apply unitary transformation on the evolution operator. According to the operator expansion formula
the product \({{{{\mathcal{U}}}}}_{3}{{{{\mathcal{U}}}}}_{2}{{{{\mathcal{U}}}}}_{1}\) can be expanded as
where H = gS_{z}J_{y} denotes the Hamiltonian in the second segment in each period and S = igS_{z}J_{z}τ denotes the unitary transformation, arising from the real unitary evolution. The proper form of S can make the commutator [S, H] contains squeezing term \({g}^{2}\tau {J}_{x}{S}_{z}^{2}\), leading to the squeezing of subsystem S. In order to eliminate the firstorder term, i.e., the residual linear interacting term in equation (8), we need to add another segment of real unitary evolution e^{iHτ}, i.e., \({{{{\mathcal{U}}}}}_{4}\), such that
for which the higherorder terms are ignored. This corresponds to the evolution operator of squeezing interaction, indicating that the secondorder perturbation leads to the OAT squeezing interaction \({S}_{z}^{2}\). In each period, subsystem J hence serves as an auxiliary system for “information storage, processing and feedback”, which stores the quantum state of subsystem S, and transfers the information back to subsystem S. (see Supplementary Note D for details). It is noticed that no additional information about subsystem S is carried by subsystem J after each complete period, since the output state of J in each period remains an uncorrelated coherent spin state the same as its input, as shown in Fig. 1(d). Note that in the reported cavity feedback mechanism^{7,69}, the cavity field plays the similar role of subsystem J in our scheme. However, we should point out that our scheme is general to extensive systems as long as the interaction has the form of coupling two collective (pseudo)spins, rather than being limited in the specific atomlight interaction systems.
To verify the validity of the effective OAT Hamiltonian (5), we numerically investigate the evolutions of the quantum state in the full Hilbert space within the first period of our scheme. It is demonstrated by their representations (Husimi Q function after partially tracing out one of the subsystems) on the generalized Bloch spheres in Fig. 1(d). The overall quasiprobability distribution of subsystem J rotates 90 degrees after each π/2 pulse. While as for subsystem S, it is continuously squeezed, representing the OAT dynamics. The degree of spin squeezing is usually quantified by the squeezing parameter \({\xi }^{2}=4{({{\Delta }}{S}_{\perp })}_{\min }^{2}/{N}_{{{{\rm{s}}}}}\) for Kitagawa and Ueda criterion^{1}, or \({\xi }_{{{{\rm{R}}}}}^{2}={N}_{{{{\rm{s}}}}}{({{\Delta }}{S}_{\perp })}_{\min }^{2}/ \langle {{{\bf{S}}}}\rangle { }^{2}\) for Wineland criterion^{2,3}, where \({({{\Delta }}{S}_{\perp })}_{\min }^{2}\) is the minimum of the fluctuation \({({{\Delta }}{S}_{\perp })}^{2}=\langle {S}_{\perp }^{2}\rangle {\langle {S}_{\perp }\rangle }^{2}\) for the spin component perpendicular to the mean spin direction and ∣〈S〉∣ is the mean spin length. In Fig. 1(e) the evolution of the squeezing parameters for different cases are exhibited. Without rotation pulses, the squeezing parameter keeps ξ^{2} = 1 (gray dotted curve), denoting that the S_{z}J_{z} type interaction alone cannot dynamically introduce spin squeezing starting from initially uncorrelated states as we previously discussed. When rotation pulses are applied, the squeezing parameter decreases, indicating spin squeezing. At the end of the first period with four π/2 rotation pulses, the squeezing parameter (red solid curve) touches the curve for the OAT squeezing (black solid curve) governed by the Hamiltonian (5). It is noted that only one or two rotation pulses can also lead to squeezing (dashed curves), while the squeezing degree cannot reach as high as the OAT results.
The optimal squeezing parameter (for Kitagawa and Ueda criterion) and the corresponding squeezing time for the synthesized effective OAT interaction are derived as
Their validity for both Kitagawa parameter ξ^{2} and Wineland parameter \({\xi }_{{{{\rm{R}}}}}^{2}\) is demonstrated by the exact numerical simulation as compared in Fig. 2, including the evolution of squeezing parameter and the N scaling about the optimal squeezing parameter and squeezing time. The powerlaw scalings of both \({\xi }_{\min }^{2}\) and \({t}_{\min }\) with respect to subsystem S are the same as the OAT case, i.e., \({\xi }_{\min }^{2}\propto 1/{N}_{{{{\rm{s}}}}}^{2/3}\) and \({t}_{\min }\propto 1/{N}_{{{{\rm{s}}}}}^{2/3}\). Here we consider a fixed τ, since it is an artificially controlled parameter, while the restricted condition for τ, i.e., Eq. (32) in Supplementary Note C, is just a sufficient condition. It notes that the optimal squeezing parameter for subsystem S is independent of subsystem J, since they become uncorrelated after each pulse sequence period. As for the optimal squeezing time, there is an additional powerlaw scaling with respect to N_{j}, i.e., \({t}_{\min }\propto 1/{N}_{{{{\rm{j}}}}}\), as shown in Fig. 2(c), due to the dependence of N_{j} on the effective coupling strength. It suggests that an additional degree of freedom to accelerate the arrival of optimal spin squeezing is available, resulting in preceding the conventional OAT squeezing that is usually limited in a single atomic ensemble. In addition, the squeezing of one subsystem for our scheme performs better than that of the united system under free evolution of the Hamiltonian (1), when the particle numbers of two subsystems are quite different (see Supplementary Note H).
Furthermore, our scheme is also utilizable for a fairly small number of pulses. A large number of pulses, corresponding to sufficiently small pulse separation τ, can guarantee the validity of our pulse scheme almost all the time, as shown in Fig. 3(a), which takes the effective OAT scheme with 200 pulses as an example. However, if we only focus on achieving the optimal squeezing, the pulse separation is not necessary to be tiny, and thus the pulse number can be reduced. As plotted in Fig. 3(b)–(d), if we reduce the pulse number, the oscillation amplitude of the squeezing parameter increases, but the optimal squeezing is still achievable. This is because only the time instants at the end of each period are important. From Fig. 3(d) we can find that even for as few as 4 pulses, it is sufficient to reach the optimal squeezing. Moreover, fewer pulse number (larger pulse separation τ) corresponds to stronger interaction strength, and thereby shorter squeezing time, as indicated from equations (10) and (13), which is also verified by comparing the optimal squeezing time in Fig. 3(a)–(d). Systematically, Fig. 3(e), (f) further confirm the properties of our scheme.
It is also noticed that both the interaction strength and its sign of such an effective OAT Hamiltonian (5) are tunable. On one hand, the strength increases as the subsystem J enlarges, due to χ_{eff} ∝ N_{j}. On the other hand, the sign of the interaction coefficient can be flipped by simply alternating all the π/2 rotation pulses to −π/2 (or 3π/2) rotation pulses, yielding χ_{eff} = −N_{j}g^{2}τ/8 and timereversal dynamics. The timereversal untwisting dynamics is of importance to construct an interactionbased readout echo^{60,61}, which is often applied to uncover the metrological usefulness of entangled nonGaussian state and overcome the problem of limited atomic number resolution^{70,71}.
Generation of effective TAT squeezing
The squeezing performance can be further enhanced to the HL, since a more complicated pulse sequence is capable of synthesizing the TAT interaction. On this purpose, inspired by the idea in ref. ^{42} for which the squeezing axes are alternatively changed during evolution, additional control pulses on S are required since TAT interaction demands two squeezing axes, e.g., zaxis and yaxis for \({S}_{z}^{2}{S}_{y}^{2}\). This improved scheme is illustrated in Fig. 4(a). We apply two series of rotation pulses on both subsystems S and J: each period contains four π/2 rotation pulses and four − π/2 rotation pulses acting on subsystem J with equal pulse separation τ, added with a pair of ∓ π/2 rotation pulses acting on subsystem S with pulse separation 4τ. The evolution operator for a single period T_{c} ≃ 8τ is given by
The resulted effective TAT Hamiltonian is straightforward as following the derivations of the effective OAT Hamiltonian (see Supplementary Note I for details), obtained as
Here, the effective interaction coefficient of TAT squeezing is half the case of effective OAT squeezing, i.e., χ_{eff}/2, while the sign of this coefficient is also flippable by merely changing the phase or areas of the rotation pulses on subsystem J. Since the sign of the obtained effective interaction coefficient χ_{eff} for OAT can be changed, the pulse sequence on subsystem S of realizing the effective TAT squeezing is simply equally spaced pulses, much easier to realize compared with that in ref. ^{42}, as shown in Fig. 4(a). Furthermore, the effective interaction coefficient of TAT squeezing in our scheme (χ_{eff}/2) is larger than that in ref. ^{42} (χ_{eff}/3), which is more favorable for achieving the optimal spin squeezing within shorter time.
The optimal squeezing parameter and the corresponding squeezing time for the synthesized TAT interaction is approximate to
The validity of the effective TAT Hamiltonian (12) is verified by the exact numerical simulation in Fig. 4(b)–(d). The numerical results of the pulse scheme agrees with the effective TAT squeezing, dramatically outperforming the OAT scheme. The powerlaw scalings of both \({\xi }_{\min }^{2}\) and \({t}_{\min }\) with respect to N_{s} are also the same as the TAT case, as shown in Fig. 4(c), (d). It reveals that the spin squeezing with measurement sensitivity approaches to the HL and its corresponding required time is much less than that of the optimal OAT squeezing. In addition, analogous to the OAT squeezing discussed above, a relatively small number of pulses can also achieve the best attainable squeezing that approaches to the optimal TAT squeezing (see Supplementary Note K for details).
Discussion
Our scheme is robust to various noises including fluctuations of pulse areas and pulse separations. On one hand, we carry out the numerical simulation by adding Gaussian stochastic noises, i.e., assuming the fluctuating pulse areas or pulse separations are subject to Gaussian distribution with the standard deviation about five percent of the average value. The squeezing parameters of 500 independent simulations under the two types of noises are respectively shown in Fig. 5(a), (b). On the other hand, we analyze the influence of error size on the best attainable squeezing, as shown in Fig. 5(c), (d). For different pulse area or pulse separation error size, ranging from –5% to 5%, the best attainable squeezing can almost achieve the optimal squeezing of the effective OAT dynamics. Thus, it reveals that the squeezing still remains under the influence of noises, indicating the robustness of the pulse scheme. In addition, we investigate the dependence of robustness to imperfect rotations on system size. For larger particle numbers, the robustness still remains and results show that it is essentially sizeindependent with respect to the system (see Supplementary Note L for details).
Many efforts have been made to study the decoherence of spin squeezing^{72,73}. Particularly, an opensource library in PYTHON, the PermutationalInvariant Quantum Solver, has been developed to study different types of decoherence in open quantum system and address the robustness of various collective phenomena, including spin squeezing^{74}. For example, in BECs, particle losses (or atomic decay) may be the major source of decoherence^{75,76}. However, since the particle losses are the intrinsic attributes of the systems themselves instead of being caused by our pulse scheme, the particle losses have the similar influence for our scheme compared with the situation without pulses.
We note that the effective OAT or TAT squeezing can also be realized in other systems, such as nitrogen vacancy (NV) centers coupled to mechanical modes^{77,78,79}. In NV centers, spin dephasing degrades the squeezing^{77}, while it can be solved by dynamical decoupling^{80}. Our scheme is applicable in NV centers and is compatible with dynamical decoupling, since the essence of dynamical decoupling is also applying a sequence of pulses that repetitively flip the state of the system.
In summary, we have presented a universal scheme to dynamically synthesize spin squeezing based on nonsqueezing interactions and a series of rotation pulses. The nonsqueezing interaction can be effectively transformed into squeezing interactions, either OAT interaction or TAT interaction. The effective interaction strengths are strongly enhanced due to the collective effect and their signs are also flippable, being either positive or negative, which depend on the controlled phase or area of the rotation pulses. This feature largely extends the parameter space for experiments, and enables the construction of timereversal nonlinear interferometer with high measurement precision. The generated spin squeezing can ultimately reach the HL with measurement precision ∝ 1/N_{s}. Meanwhile, our scheme is demonstrated to be robust to fluctuating pulse areas and pulse separations. Moreover, a small number of pulses remains valid for achieving the optimal squeezing. This study provides the opportunity for realizing Heisenberglimited spin squeezing in a large number of nonsqueezing systems, which is significant for quantum metrology and quantum information science.
Methods
Calculation of the quasiprobability distribution
First, we introduce the calculation of the quasiprobability distribution, the Husimi Q function, for each subsystem. For the sake of description, we denote the quasiprobability distribution as Q(θ_{s}, ϕ_{s}) for subsystem S and Q(θ_{j}, ϕ_{j}) for J. The timedependent quantum state of the whole system is written as \(\left\psi (t)\right\rangle\) at t. Since the dimension of Hilbert space is (N_{s} + 1)(N_{j} + 1), we project the quantum state into the product state of two arbitrary coherent spin states, i.e., \(\left{\theta }_{{{{\rm{s}}}}},{\phi }_{{{{\rm{s}}}}}\right\rangle \bigotimes \left{\theta }_{{{{\rm{j}}}}},{\phi }_{{{{\rm{j}}}}}\right\rangle\), whose Hilbert space dimensions are N_{s} + 1 and N_{j} + 1, respectively. And the quasiprobability is obtained as \(P= \left\langle {\theta }_{{{{\rm{s}}}}},{\phi }_{{{{\rm{s}}}}}\right\left\langle {\theta }_{{{{\rm{j}}}}},{\phi }_{{{{\rm{j}}}}} \psi (t)\right\rangle { }^{2}\). Then we integrate the value of P with respect to one pair of (θ, ϕ), which is equivalent to the partial trace of the pure quantum state \(\left\psi (t)\right\rangle\), obtaining the quasiprobability distribution for one subsystem, e.g., S
It gives a representation of each subsystem on a generalized Bloch sphere with a polar angle θ and an azimuthal angle ϕ. In the numerical calculation, for convenience, we replace the integral with a summation about these two angles in a discrete space.
Calculation of the squeezing parameter
Second, we give the brief process of calculation of the squeezing parameter \({\xi }^{2}=4{({{\Delta }}{S}_{\perp })}_{\min }^{2}/{N}_{{{{\rm{s}}}}}\)^{1}, as mentioned previously. To calculate \({({{\Delta }}{S}_{\perp })}_{\min }^{2}\), we fix a direction in the perpendicular plane of the mean spin direction, might as well being denoted as n. Therefore, in the perpendicular plane, \({({{\Delta }}{S}_{\perp })}^{2}\) is a function of the angle α, which is defined as the included angle between an arbitrary direction and the direction of n. By making the derivative of \({({{\Delta }}{S}_{\perp })}^{2}\) with respect to α equal to zero, i.e., \(d{({{\Delta }}{S}_{\perp })}^{2}/d\alpha =0\), we can obtain the minimum value of the fluctuation \({({{\Delta }}{S}_{\perp })}_{\min }^{2}\) with the optimal squeezing angle α_{opt}. More detailed calculation is also given in ref. ^{81}.
Evolution of the squeezed spin states
Besides, since our calculation is based on the quantum state \(\left\psi (t)\right\rangle\) at t, we give the description of numerical procedure of calculating \(\left\psi (t)\right\rangle\). We divide the whole evolution operator U(t) into many small equal parts U(δt), denoting a segment of free evolution under the Hamiltonian (1) for a very short time δt (δt ≪ τ). Given the initial coherent spin state \(\left\psi \right\rangle\), we apply the individual evolution operator U(δt), together with the rotation operators R_{S}( ± π/2) or R_{J}( ± π/2) at appropriate time instants, repeatedly on the evolved state and can approximately obtain the timedependent state. As a result, the evolution of quantum state and squeezing parameter are obtained.
Data availability
The authors declare that all data supporting the findings of this study are available within the article or from the corresponding author upon reasonable request.
References
Kitagawa, M. & Ueda, M. Squeezed spin states. Phys. Rev. A 47, 5138–5143 (1993).
Wineland, D. J., Bollinger, J. J., Itano, W. M., Moore, F. L. & Heinzen, D. J. Spin squeezing and reduced quantum noise in spectroscopy. Phys. Rev. A 46, R6797–R6800 (1992).
Wineland, D. J., Bollinger, J. J., Itano, W. M. & Heinzen, D. J. Squeezed atomic states and projection noise in spectroscopy. Phys. Rev. A 50, 67–88 (1994).
Ma, J., Wang, X., Sun, C. & Nori, F. Quantum spin squeezing. Phys. Rep. 509, 89–165 (2011).
Meiser, D., Ye, J. & Holland, M. J. Spin squeezing in optical lattice clocks via latticebased QND measurements. N. J. Phys. 10, 073014 (2008).
André, A., Sørensen, A. S. & Lukin, M. D. Stability of atomic clocks based on entangled atoms. Phys. Rev. Lett. 92, 230801 (2004).
Leroux, I. D., SchleierSmith, M. H. & Vuletić, V. Implementation of cavity squeezing of a collective atomic spin. Phys. Rev. Lett. 104, 073602 (2010).
Gross, C., Zibold, T., Nicklas, E., Estève, J. & Oberthaler, M. K. Nonlinear atom interferometer surpasses classical precision limit. Nat. (Lond.) 464, 1165–1169 (2010).
Riedel, M. F. et al. Atomchipbased generation of entanglement for quantum metrology. Nat. (Lond.) 464, 1170–1173 (2010).
Kaubruegger, R. et al. Variational spinsqueezing algorithms on programmable quantum sensors. Phys. Rev. Lett. 123, 260505 (2019).
Sørensen, A., Duan, L.M., Cirac, J. I. & Zoller, P. Manyparticle entanglement with Bose CEinstein condensates. Nature 409, 63–66 (2001).
Tóth, G., Knapp, C., Gühne, O. & Briegel, H. J. Spin squeezing and entanglement. Phys. Rev. A 79, 042334 (2009).
Korbicz, J. K., Cirac, J. I. & Lewenstein, M. Spin squeezing inequalities and entanglement of N Qubit States. Phys. Rev. Lett. 95, 120502 (2005).
Korbicz, J. K. et al. Generalized spinsqueezing inequalities in N qubit systems: theory and experiment. Phys. Rev. A 74, 052319 (2006).
Hyllus, P., Pezzé, L., Smerzi, A. & Tóth, G. Entanglement and extreme spin squeezing for a fluctuating number of indistinguishable particles. Phys. Rev. A 86, 012337 (2012).
Sørensen, A. S. & Mølmer, K. Entanglement and Extreme Spin Squeezing. Phys. Rev. Lett. 86, 4431–4434 (2001).
Perlin, M. A., Qu, C. & Rey, A. M. Spin Squeezing with ShortRange SpinExchange Interactions. Phys. Rev. Lett. 125, 223401 (2020).
Orzel, C., Tuchman, A. K., Fenselau, M. L., Yasuda, M. & Kasevich, M. A. Squeezed states in a boseeinstein condensate. Science 291, 2386–2389 (2001).
Estève, J., Gross, C., Weller, A., Giovanazzi, S. & Oberthaler, M. K. Squeezing and entanglement in a BoseEinstein condensate. Nature 455, 1216–1219 (2008).
Fadel, M., Zibold, T., Décamps, B. & Treutlein, P. Spatial entanglement patterns and Einsteinpodolskyrosen steering in boseEinstein condensates. Science 360, 409–413 (2018).
Hammerer, K., Sørensen, A. S. & Polzik, E. S. Quantum interface between light and atomic ensembles. Rev. Mod. Phys. 82, 1041–1093 (2010).
Yu, L. et al. Creating a tunable spin squeezing via a timedependent collective atomphoton coupling. Phys. Rev. A 89, 023838 (2014).
Evrard, A. et al. Enhanced magnetic sensitivity with nongaussian quantum fluctuations. Phys. Rev. Lett. 122, 173601 (2019).
Zhang, Y.L., Zou, C.L., Zou, X.B., Jiang, L. & Guo, G.C. Detuningenhanced cavity spin squeezing. Phys. Rev. A 91, 033625 (2015).
Qin, W., Chen, Y. H., Wang, X., Miranowicz, A. & Nori, F. Strong spin squeezing induced by weak squeezing of light inside a cavity. Nanophotonics 9, 4853–4868 (2020).
Kuzmich, A., Mølmer, K. & Polzik, E. S. Spin squeezing in an ensemble of atoms illuminated with squeezed light. Phys. Rev. Lett. 79, 4782–4785 (1997).
Hald, J., Sørensen, J. L., Schori, C. & Polzik, E. S. Spin squeezed atoms: a macroscopic entangled ensemble created by light. Phys. Rev. Lett. 83, 1319–1322 (1999).
Vernac, L., Pinard, M. & Giacobino, E. Spin squeezing in twolevel systems. Phys. Rev. A 62, 063812–063811 (2000).
Fleischhauer, M. & Gong, S. Stationary source of nonclassical or entangled atoms. Phys. Rev. Lett. 88, 070404 (2002).
Kuzmich, A., Mandel, L. & Bigelow, N. P. Generation of spin squeezing via continuous quantum nondemolition measurement. Phys. Rev. Lett. 85, 1594–1597 (2000).
Kuzmich, A., Bigelow, N. P. & Mandel, L. Atomic quantum nondemolition measurements and squeezing. Europhys. Lett. 42, 481–486 (1998).
Kuzmich, A. et al. Quantum nondemolition measurements of collective atomic spin. Phys. Rev. A 60, 2346–2350 (1999).
Takano, T., Fuyama, M., Namiki, R. & Takahashi, Y. Spin squeezing of a cold atomic ensemble with the nuclear spin of onehalf. Phys. Rev. Lett. 102, 033601 (2009).
Inoue, R., Tanaka, S.I.R., Namiki, R., Sagawa, T. & Takahashi, Y. Unconditional quantumnoise suppression via measurementbased quantum feedback. Phys. Rev. Lett. 110, 163602 (2013).
SchleierSmith, M. H., Leroux, I. D. & Vuletić, V. States of an ensemble of twolevel atoms with reduced quantum uncertainty. Phys. Rev. Lett. 104, 073604 (2010).
Chen, Z., Bohnet, J. G., Sankar, S. R., Dai, J. & Thompson, J. K. Conditional spin squeezing of a large ensemble via the vacuum rabi splitting. Phys. Rev. Lett. 106, 133601 (2011).
Bao, H. et al. Spin squeezing of 1011 atoms by prediction and retrodiction measurements. Nature 581, 159–163 (2020).
Hosten, O., Engelsen, N. J., Krishnakumar, R. & Kasevich, M. A. Measurement noise 100 times lower than the quantumprojection limit using entangled atoms. Nature 529, 505–508 (2016).
Pezzè, L., Smerzi, A., Oberthaler, M. K., Schmied, R. & Treutlein, P. Quantum metrology with nonclassical states of atomic ensembles. Rev. Mod. Phys. 90, 1609.01609 (2018).
Rossi, M. A., Albarelli, F., Tamascelli, D. & Genoni, M. G. Noisy quantum metrology enhanced by continuous nondemolition measurement. Phys. Rev. Lett. 125, 200505 (2020).
Chen, F., Chen, J.J., Wu, L.N., Liu, Y.C. & You, L. Extreme spin squeezing from deep reinforcement learning. Phys. Rev. A 100, 041801(R) (2019).
Liu, Y. C., Xu, Z. F., Jin, G. R. & You, L. Spin squeezing: Transforming oneaxis twisting into twoaxis twisting. Phys. Rev. Lett. 107, 013601 (2011).
Zhang, J. Y., Zhou, X. F., Guo, G. C. & Zhou, Z. W. Dynamical spin squeezing via a higherorder TrotterSuzuki approximation. Phys. Rev. A 90, 013604 (2014).
Huang, W., Zhang, Y.L., Zou, C.L., Zou, X.B. & Guo, G.C. Twoaxis spin squeezing of twocomponent BoseEinstein condensates via continuous driving. Phys. Rev. A 91, 043642 (2015).
Shen, C. & Duan, L.M. Efficient spin squeezing with optimized pulse sequences. Phys. Rev. A 87, 051801 (2013).
Zhang, Y. C., Zhou, X. F., Zhou, X., Guo, G. C. & Zhou, Z. W. Cavityassisted singlemode and twomode spinsqueezed states via phaselocked atomphoton coupling. Phys. Rev. Lett. 118, 083604 (2017).
Hu, J. et al. Vacuum spin squeezing. Phys. Rev. A 96, 1–5 (2017).
Helmerson, K. & You, L. Creating massive entanglement of boseeinstein condensed atoms. Phys. Rev. Lett. 87, 170402 (2001).
Bohnet, J. G. et al. Quantum spin dynamics and entanglement generation with hundreds of trapped ions. Science 352, 1297–1301 (2016).
Lu, Y. et al. Global entangling gates on arbitrary ion qubits. Nature 572, 363–367 (2019).
Figgatt, C. et al. Parallel entangling operations on a universal iontrap quantum computer. Nature 572, 368–372 (2019).
Song, C. et al. 10qubit entanglement and parallel logic operations with a superconducting circuit. Phys. Rev. Lett. 119, 180511 (2017).
Song, C. et al. Generation of multicomponent atomic schrödinger cat states of up to 20 qubits. Science 365, 574–577 (2019).
Xu, K. et al. Probing dynamical phase transitions with a superconducting quantum simulator. Sci. Adv. 6, eaba4935 (2020).
Borregaard, J., Davis, E. J., Bentsen, G. S., SchleierSmith, M. H. & Sørensen, A. S. One and twoaxis squeezing of atomic ensembles in optical cavities. N. J. Phys. 19, 093021 (2017).
Macrì, V., Nori, F., Savasta, S. & Zueco, D. Spin squeezing by onephoton–twoatom excitation processes in atomic ensembles. Phys. Rev. A 101, 053818 (2020).
Takeuchi, M. et al. Spin squeezing via oneaxis twisting with coherent light. Phys. Rev. Lett. 94, 023003 (2005).
Wang, M. et al. Twoaxistwisting spin squeezing by multipass quantum erasure. Phys. Rev. A 96, 013823 (2017).
Trail, C. M., Jessen, P. S. & Deutsch, I. H. Strongly enhanced spin squeezing via quantum control. Phys. Rev. Lett. 105, 193602 (2010).
Linnemann, D. et al. Quantumenhanced sensing based on time reversal of nonlinear dynamics. Phys. Rev. Lett. 117, 013001 (2016).
Davis, E., Bentsen, G. & SchleierSmith, M. Approaching the Heisenberg limit without singleparticle detection. Phys. Rev. Lett. 116, 053601 (2016).
Gärttner, M. et al. Measuring outoftimeorder correlations and multiple quantum spectra in a trappedion quantum magnet. Nat. Phys. 13, 781–786 (2017).
Li, J. et al. Measuring outoftimeorder correlators on a nuclear magnetic resonance quantum simulator. Phys. Rev. X 7, 031011 (2017).
Hummel, Q., Geiger, B., Urbina, J. D. & Richter, K. Reversible quantum information spreading in manybody systems near criticality. Phys. Rev. Lett. 123, 160401 (2019).
Nie, X. et al. Experimental observation of equilibrium and dynamical quantum phase transitions via outoftimeordered correlators. Phys. Rev. Lett. 124, 250601 (2020).
Jing, Y., Fadel, M., Ivannikov, V. & Byrnes, T. Split spinsqueezed Bose CEinstein condensates. N. J. Phys. 21, 093038 (2019).
Fröhlich, H. Theory of the superconducting state. i. the ground state at the absolute zero of temperature. Phys. Rev. 79, 845–856 (1950).
Nakajima, S. Perturbation theory in statistical mechanics. Adv. Phys. 4, 363–380 (1955).
SchleierSmith, M. H., Leroux, I. D. & Vuletić, V. Squeezing the collective spin of a dilute atomic ensemble by cavity feedback. Phys. Rev. A 81, 021804 (2010).
Haine, S. A. Using interactionbased readouts to approach the ultimate limit of detectionnoise robustness for quantumenhanced metrology in collective spin systems. Phys. Rev. A 98, 030303 (2018).
Nolan, S. P., Szigeti, S. S. & Haine, S. A. Optimal and robust quantum metrology using interactionbased readouts. Phys. Rev. Lett. 119, 193601 (2017).
Wang, X., Miranowicz, A., Liu, Y.x, Sun, C. P. & Nori, F. Sudden vanishing of spin squeezing under decoherence. Phys. Rev. A 81, 022106 (2010).
Yin, X., Ma, J., Wang, X. & Nori, F. Spin squeezing under nonmarkovian channels by the hierarchy equation method. Phys. Rev. A 86, 012308 (2012).
Shammah, N., Ahmed, S., Lambert, N., De Liberato, S. & Nori, F. Open quantum systems with local and collective incoherent processes: efficient numerical simulations using permutational invariance. Phys. Rev. A 98, 063815 (2018).
Li, Y., Castin, Y. & Sinatra, A. Optimum spin squeezing in boseeinstein condensates with particle losses. Phys. Rev. Lett. 100, 210401 (2008).
Li, Y., Treutlein, P., Reichel, J. & Sinatra, A. Spin squeezing in a bimodal condensate: spatial dynamics and particle losses. Eur. Phys. J. B 68, 365–381 (2009).
Bennett, S. D. et al. Phononinduced spinspin interactions in diamond nanostructures: application to spin squeezing. Phys. Rev. Lett. 110, 156402 (2013).
Ma, Y. H., Zhang, X. F., Song, J. & Wu, E. Bistability and steadystate spin squeezing in diamond nanostructures controlled by a nanomechanical resonator. Ann. Phys. (N. Y). 369, 36–44 (2016).
Xia, K. & Twamley, J. Generating spin squeezing states and GreenbergerHorneZeilinger entanglement using a hybrid phononspin ensemble in diamond. Phys. Rev. B 94, 1–8 (2016).
BarGill, N., Pham, L. M., Jarmola, A., Budker, D. & Walsworth, R. L. Solidstate electronic spin coherence time approaching one second. Nat. Commun. 4, 1211.7094 (2013).
Jin, G.R., Liu, Y.C. & Liu, W.M. Spin squeezing in a generalized oneaxis twisting model. N. J. Phys. 11, 073049 (2009).
Acknowledgements
This work is supported by the KeyArea Research and Development Program of Guangdong Province (Grant No. 2019B030330001), the National Natural Science Foundation of China (NSFC) (Grant Nos. 92050110, 91736106, 11674390, and 91836302), and the National Key R&D Program of China (Grants No. 2018YFA0306504).
Author information
Authors and Affiliations
Contributions
Y.L. conceived the idea; L.H. and Y.L. carried out the calculations and wrote the paper; All authors contributed to the discussion of the results; Y.L. supervised the project.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
Additional information
Publisher’s note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Supplementary information
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Huang, LG., Chen, F., Li, X. et al. Dynamic synthesis of Heisenberglimited spin squeezing. npj Quantum Inf 7, 168 (2021). https://doi.org/10.1038/s4153402100505z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s4153402100505z
This article is cited by

Optimal squeezed cooling of a mechanical oscillator using measurementbased vector feedback
Science China Physics, Mechanics & Astronomy (2023)