## Abstract

Spin squeezing is a key resource in quantum metrology, allowing improvements of measurement signal-to-noise 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 non-squeezing systems. By using periodical rotation pulses, the original non-squeezing interaction can be transformed into squeezing interaction, with significantly enhanced interaction strength. The sign of the interaction coefficient is also flippable, facilitating time-reversal 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 Heisenberg-limited quantum precision measurements in non-squeezing systems.

## 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 high-precision measurements^{5,6,7,8,9,10} and in the study of many-body 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 Bose-Einstein condensates (BECs) with atom-atom collisions^{8,9,18,19,20}, atom-light 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 one-axis twisting (OAT) and two-axis 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 atom-light interaction systems, the double-pass squeezing approach based on the Faraday magneto-optical rotation is proposed^{57}, but the squeezing performance ∝ 1/*N*^{2/5} is far from being satisfactory, which is due to the unwanted residual atom-light entanglement^{58,59}.

Here, we propose a dynamic synthesis scheme to deterministically generate high-degree spin squeezing, without requiring original squeezing interactions. Based on the common non-squeezing 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 time-reversal dynamics. It hence gives rise to a potential platform to realize technical-noise-immune nonlinear interferometer and study the quantum chaos and information scrambling by measuring the out-of-time-order 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 atom-light 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 intra-species interactions \({S}_{z}^{2}\) and \({J}_{z}^{2}\) apart from inter-species interaction *S*_{z}*J*_{z}, while in the system of cold or thermal atoms, the intra-species interactions vanish and only inter-species 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 *k*-th spin-1/2 (or pseudospin) particle, respectively. As for atom-light 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 Levi-Civita 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 atom-light 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), intra-species 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 intra-species interaction always occurs as a high-order effect from the trivial inter-species 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 high-order effect and eliminate the influence of low-order 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 Baker-Campbell-Hausdorff formula, omitting the higher-order 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 intra-species interaction in subsystem *S*. This process is analogous to the effective electron-electron interaction mediated by the phonons (lattice vibrations) in condensed matter physics, such as the superconducting Bardeen-Cooper-Schrieffer theory, which can be treated by the Frohlich-Nakajima 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 Frohlich-Nakajima 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* = *g**S*_{z}*J*_{y} denotes the Hamiltonian in the second segment in each period and *S* = i*g**S*_{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 first-order 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 higher-order terms are ignored. This corresponds to the evolution operator of squeezing interaction, indicating that the second-order 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 atom-light 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 power-law 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 power-law 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 time-reversal dynamics. The time-reversal untwisting dynamics is of importance to construct an interaction-based readout echo^{60,61}, which is often applied to uncover the metrological usefulness of entangled non-Gaussian 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., *z*-axis and *y*-axis 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 power-law 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 size-independent 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 open-source library in PYTHON, the Permutational-Invariant 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 non-squeezing interactions and a series of rotation pulses. The non-squeezing 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 time-reversal 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 Heisenberg-limited spin squeezing in a large number of non-squeezing 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 time-dependent 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 time-dependent 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 lattice-based 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., Schleier-Smith, 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. Atom-chip-based generation of entanglement for quantum metrology.

*Nat. (Lond.)***464**, 1170–1173 (2010).Kaubruegger, R. et al. Variational spin-squeezing algorithms on programmable quantum sensors.

*Phys. Rev. Lett.***123**, 260505 (2019).Sørensen, A., Duan, L.-M., Cirac, J. I. & Zoller, P. Many-particle 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 spin-squeezing 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 Short-Range Spin-Exchange Interactions.

*Phys. Rev. Lett.***125**, 223401 (2020).Orzel, C., Tuchman, A. K., Fenselau, M. L., Yasuda, M. & Kasevich, M. A. Squeezed states in a bose-einstein condensate.

*Science***291**, 2386–2389 (2001).Estève, J., Gross, C., Weller, A., Giovanazzi, S. & Oberthaler, M. K. Squeezing and entanglement in a Bose-Einstein condensate.

*Nature***455**, 1216–1219 (2008).Fadel, M., Zibold, T., Décamps, B. & Treutlein, P. Spatial entanglement patterns and Einstein-podolsky-rosen steering in bose-Einstein 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 time-dependent collective atom-photon coupling.

*Phys. Rev. A***89**, 023838 (2014).Evrard, A. et al. Enhanced magnetic sensitivity with non-gaussian quantum fluctuations.

*Phys. Rev. Lett.***122**, 173601 (2019).Zhang, Y.-L., Zou, C.-L., Zou, X.-B., Jiang, L. & Guo, G.-C. Detuning-enhanced 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 two-level 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 non-demolition 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 one-half.

*Phys. Rev. Lett.***102**, 033601 (2009).Inoue, R., Tanaka, S.-I.-R., Namiki, R., Sagawa, T. & Takahashi, Y. Unconditional quantum-noise suppression via measurement-based quantum feedback.

*Phys. Rev. Lett.***110**, 163602 (2013).Schleier-Smith, M. H., Leroux, I. D. & Vuletić, V. States of an ensemble of two-level 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 quantum-projection 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 one-axis twisting into two-axis twisting.

*Phys. Rev. Lett.***107**, 013601 (2011).Zhang, J. Y., Zhou, X. F., Guo, G. C. & Zhou, Z. W. Dynamical spin squeezing via a higher-order Trotter-Suzuki approximation.

*Phys. Rev. A***90**, 013604 (2014).Huang, W., Zhang, Y.-L., Zou, C.-L., Zou, X.-B. & Guo, G.-C. Two-axis spin squeezing of two-component Bose-Einstein 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. Cavity-assisted single-mode and two-mode spin-squeezed states via phase-locked atom-photon 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 bose-einstein 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 ion-trap quantum computer.

*Nature***572**, 368–372 (2019).Song, C. et al. 10-qubit 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., Schleier-Smith, M. H. & Sørensen, A. S. One- and two-axis squeezing of atomic ensembles in optical cavities.

*N. J. Phys.***19**, 093021 (2017).Macrì, V., Nori, F., Savasta, S. & Zueco, D. Spin squeezing by one-photon–two-atom excitation processes in atomic ensembles.

*Phys. Rev. A***101**, 053818 (2020).Takeuchi, M. et al. Spin squeezing via one-axis twisting with coherent light.

*Phys. Rev. Lett.***94**, 023003 (2005).Wang, M. et al. Two-axis-twisting 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. Quantum-enhanced sensing based on time reversal of nonlinear dynamics.

*Phys. Rev. Lett.***117**, 013001 (2016).Davis, E., Bentsen, G. & Schleier-Smith, M. Approaching the Heisenberg limit without single-particle detection.

*Phys. Rev. Lett.***116**, 053601 (2016).Gärttner, M. et al. Measuring out-of-time-order correlations and multiple quantum spectra in a trapped-ion quantum magnet.

*Nat. Phys.***13**, 781–786 (2017).Li, J. et al. Measuring out-of-time-order 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 many-body systems near criticality.

*Phys. Rev. Lett.***123**, 160401 (2019).Nie, X. et al. Experimental observation of equilibrium and dynamical quantum phase transitions via out-of-time-ordered correlators.

*Phys. Rev. Lett.***124**, 250601 (2020).Jing, Y., Fadel, M., Ivannikov, V. & Byrnes, T. Split spin-squeezed 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).Schleier-Smith, 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 interaction-based readouts to approach the ultimate limit of detection-noise robustness for quantum-enhanced 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 interaction-based 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 non-markovian 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 bose-einstein 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. Phonon-induced spin-spin 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 steady-state 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 Greenberger-Horne-Zeilinger entanglement using a hybrid phonon-spin ensemble in diamond.

*Phys. Rev. B***94**, 1–8 (2016).Bar-Gill, N., Pham, L. M., Jarmola, A., Budker, D. & Walsworth, R. L. Solid-state 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 one-axis twisting model.

*N. J. Phys.***11**, 073049 (2009).

## Acknowledgements

This work is supported by the Key-Area 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 Heisenberg-limited spin squeezing.
*npj Quantum Inf* **7**, 168 (2021). https://doi.org/10.1038/s41534-021-00505-z

Received:

Accepted:

Published:

DOI: https://doi.org/10.1038/s41534-021-00505-z