1 Introduction

Spin squeezing, arising from quantum correlation, has attracted widespread attention in various branches of physics [1,2,3] since it has been put forward first in the pioneering work [4]. Several rigorous definitions have been proposed to quantify it [5,6,7,8]. In practice, a spin state is regarded as squeezed if one spin component satisfies the inequality relation \(({\Delta } S_{j})^{2}-\frac {1}{2}|\left \langle S_{Z}\right \rangle |<0\) (j = X,Y). Recently, Lots of efforts have been devoted to spin squeezing due to its potential applications in atomic clocks [9,10,11], gravitational-wave interferometers [12], high-resolution spectroscopy [5], entanglement detection [13] and quantum metrology [14]. The preparation of spin squeezing states has become the important subject of theory and experiment in various physical systems such as Bose-Einstein condensates (BECs) [15,16,17], atomic systems in cavities [18,19,20] and NV centers [21]. The best experiment today has achieved 20 dB squeezing with ultracold Rb atoms in a natural atomic trap [22].

Since any real quantum systems inevitably interact with their environments [23,24,25], much attention has been paid to the influences of environments on spin squeezing [26, 27]. For example, the spin squeezing for an ensemble of N independent spin-1/2 particles was investigated with the help of the Hierarchy equation method under non-Markovian channels [28]. The squeezing properties of a two-level atom coupled to a non-Markovian reservoir were also revealed by means of the exact solution [29]. The squeezing dynamics of two non-interacting atoms off-resonantly coupled to non-Markovian reservoirs was studied by the time-convolutionless master equation approach [30]. To fight against decoherence and improve quantum squeezing, the optimal control technique [31] and dynamical decoupling technique [32, 33] have been employed recently. What is more, robust spin squeezing preservation in photonic crystal cavities was also explored in [34] by modifying detuning.

However, most of these achievements are related to atomic ensembles, few works have been done for the study of two-atom squeezing dynamics. In this setting, we in this paper investigate the spin squeezing of two atoms coupled to an optical cavity to explore the field-interaction effect on the spin squeezing. The analytical squeezing factor is obtained by means of coherent-state variational method showing the explicit relation with the Dicke phase transition from normal phase (NP) to the superradiant phase (SP).

This paper is organized as follows. In Section 2, we present the Hamiltonian of two atoms in an optical cavity and the formalism of variational method. The Section 3 devotes the spin squeezing in the presence of optical cavity environment. Finally, a brief summary is given in Section 4.

2 The Hamiltonian for two-atom in a optical cavity and variational method

A composite system of two atoms subjected in a one-mode optical cavity of frequency ω is described by the Hamiltonian (\(\hslash =1\))

$$ H=\omega a^{\dagger}a+\sum\limits_{i=1,2}\left[\frac{\omega_{0}}{2}{\sigma_{i}^{z}}+g(a\sigma_{i}^{+}+a^{\dagger}\sigma_{i}^{-})\right] $$
(1)

under the rotating-wave approximation, where the ω0 is the transition frequency of two-level atom between the excited state and ground state. The Pauli matrices \({\sigma _{i}^{z}}\), \(\sigma _{i}^{\pm }=({\sigma _{i}^{x}}\pm i{\sigma _{i}^{y}})/2\) are defined as usual for the two-atom pseudospin operators. a (a) is the annihilation (creation) operator of the single-mode cavity field and g is the coupling constant.

We consider the stationary states of Hamiltonian (1) in the semiclassical-field approximation. Taking the average of Hamiltonian (1) in the optical coherent state \(\left \vert \alpha \right \rangle \) (a|α〉 = α|α〉), we obtain an effective spin Hamiltonian

$$ H_{sp}(\alpha)=\left\langle \alpha \right\vert H\left\vert \alpha \right\rangle=\omega\gamma^{2}+\frac{\omega_{0}}{2}\sigma _{1}^{z}+\frac{\omega_{0}}{2}{\sigma_{2}^{z}}+\sum\limits_{i=1}^{2}\gamma g[e^{i\phi}\sigma_{i}^{+}+e^{-i\phi}\sigma_{i}^{-}], $$
(2)

in which the complex eigenvalue of the photon annihilation operator is parameterized as

$$ \alpha=\gamma e^{i\phi} $$
(3)

with γ2 = 〈α|aa|α〉 being the average photon number. The effective spin Hamiltonian Hsp(α) can be diagonalized in the two-qubit bases \(\{|e_{1}\rangle =\left \vert +,+\right \rangle \), \(|e_{2}\rangle =\left \vert +,-\right \rangle \), \(|e_{3}\rangle =\left \vert -,+\right \rangle \), \(|e_{4}\rangle =\left \vert -,-\right \rangle \}\) with the energy eigenvalues given by

$$ \begin{array}{@{}rcl@{}} \varepsilon_{0}(\gamma ) &=&\gamma^{2}\omega -Q, \end{array} $$
(4)
$$ \begin{array}{@{}rcl@{}} \varepsilon_{1}(\gamma ) &=&\gamma^{2}\omega, \end{array} $$
(5)
$$ \begin{array}{@{}rcl@{}} \varepsilon_{2}(\gamma ) &=& \gamma^{2}\omega, \end{array} $$
(6)
$$ \begin{array}{@{}rcl@{}} \varepsilon_{3}(\gamma ) &=&\gamma^{2}\omega +Q, \end{array} $$
(7)

where \(Q=\sqrt {{\Gamma }^{2}+{\omega _{0}^{2}}},{\Gamma } =2g\gamma \). The corresponding semi-classical eigenstates are seen to be

$$ \begin{array}{@{}rcl@{}} \left\vert \psi_{0}\right\rangle &=&\frac{1}{\sqrt{\left\vert e_{1}\right\vert^{2}+2\left\vert e_{2}\right\vert^{2}+1}}(e_{1}\left\vert +,+\right\rangle +e_{2}\left\vert +,-\right\rangle +e_{2}\left\vert -,+\right\rangle +\left\vert -,-\right\rangle ), \end{array} $$
(8)
$$ \begin{array}{@{}rcl@{}} \left\vert \psi_{3}\right\rangle &=&\frac{1}{\sqrt{\left\vert f_{1}\right\vert^{2}+2\left\vert f_{2}\right\vert^{2}+1}}(f_{1}\left\vert +,+\right\rangle +f_{2}\left\vert +,-\right\rangle +f_{2}\left\vert -,+\right\rangle +\left\vert -,-\right\rangle ), \end{array} $$
(9)
$$ \begin{array}{@{}rcl@{}} \left\vert \psi_{1}\right\rangle &=&\frac{1}{\sqrt{2}}(-\left\vert +,-\right\rangle +\left\vert -,+\right\rangle ), \end{array} $$
(10)
$$ \begin{array}{@{}rcl@{}} \left\vert \psi_{2}\right\rangle &=&\frac{1}{\sqrt{2\left\vert h_{1}\right\vert^{2}+2\left\vert h_{2}\right\vert^{2}}}(-e^{2i\phi }h_{1}\left\vert +, +\right\rangle +h_{2}\left\vert +, -\right\rangle +h_{2}\left\vert -, +\right\rangle + h_{1}\left\vert -, -\right\rangle ) \end{array} $$
(11)

with the parameters given by

$$ \begin{array}{@{}rcl@{}} e_{1} &=&\frac{e^{2i\phi }}{{\Gamma}^{2}}\left( 2\omega_{0}(\omega_{0}-Q)+{\Gamma}^{2}\right), e_{2}=\frac{e^{i\phi }}{\Gamma }\left( \omega_{0}-Q\right), \\ f_{1} &=&\frac{e^{2i\phi }}{{\Gamma}^{2}}[2\omega_{0}(\omega_{0}+Q)+{\Gamma}^{2}], f_{2}=\frac{e^{i\phi }}{\Gamma }\left( Q+\omega_{0}\right), \\ h_{1} &=&\frac{\Gamma }{\sqrt{2({\Gamma}^{2}+{\omega_{0}^{2}})}}, h_{2}=\frac{\omega_{0}e^{i\phi }}{\sqrt{2({\Gamma}^{2}+{\omega_{0}^{2}})}}. \end{array} $$

The trial eigenstates are the functions of field variable γ, which can be regarded as a variational parameter with the trail wave function

$$ \left\vert {\Psi}_{i}\right\rangle =\left\vert \psi_{i}\right\rangle \left\vert \alpha \right\rangle, $$

wherei = 0,1,2,3. The stationary states and energies can be obtained in terms of the standard variational method.

The stationary states are realized as the local minima of energy functions εi(γ). For the state \(\left \vert \psi _{0}\right \rangle \), the energy extremum condition is

$$ \frac{\partial \varepsilon_{0}}{\partial \gamma }=2\gamma \left( \omega-\frac{2g^{2}}{Q}\right)=0, $$
(12)

which possesses always a zero photon-number solution γ = 0 and a non-zero photon number solution

$$ \gamma =\frac{\sqrt{4g^{4}-\omega^{2}{\omega_{0}^{2}}}}{2g\omega}. $$

The local minimum of energy corresponds to the positive second-order derivative of energy function for the zero-photon state

$$ \frac{\partial {\varepsilon_{0}^{2}}(\gamma =0)}{\partial^{2}\gamma }=2\omega -\frac{4g^{2}}{\omega_{0}}> 0, $$
(13)

which gives rise to the boundary value of the atom-field coupling

$$ g_{c}=\sqrt{\frac{\omega \omega_{0}}{2}} $$

between the zero (when g < gc) and nonzero (g > gc ) photon states. It is interesting to remark that the critical coupling value is exactly the same as that in the Dicke model [35, 36]. For \(\left \vert \psi _{3}\right \rangle \), the energy extremum condition is found as

$$ \frac{\partial \varepsilon_{3}}{\partial \gamma }=2\gamma \left( \omega+\frac{2g^{2}}{Q}\right)=0, $$

which possesses always a zero photon number solution, while the nonzero photon number solution does not exist. The states \(\left \vert \psi _{1}\right \rangle \) and \(\left \vert \psi _{2}\right \rangle \) are also stable when the average photon number is zero. Similar to the Dicke model case, we may call the stable state of zero photon number as normal phase (NP) and the non-zero one as superradiant phase (SP).

It is the main goal of the present paper to investigate the cavity-field induced spin-squeezing in the NP and SP for the state \(\left \vert \psi _{0}\right \rangle \) with the energy eigenvalue ε0, which is the ground state of the system considered. The density matrix of NP can be written in the two-qubit bases as

$$ \rho_{r}=\left( \begin{array}{cccc} 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 1 \end{array} \right), $$
(14)

and the density matrix of SP is evaluated as

$$ \rho_{n}=\frac{1}{|e_{1}|^{2}+2|e_{2}|^{2}+1}\left( \begin{array}{cccc} e_{1}e_{1}^{\ast } & e_{1}e_{2}^{\ast } & e_{1}e_{2}^{\ast } & e_{1} \\ e_{2}e_{1}^{\ast } & e_{2}e_{2}^{\ast } & e_{2}e_{2}^{\ast } & e_{2} \\ e_{2}e_{1}^{\ast } & e_{2}e_{2}^{\ast } & e_{2}e_{2}^{\ast } & e_{2} \\ e_{1}^{\ast } & e_{2}^{\ast } & e_{2}^{\ast } & 1 \end{array}\right). $$
(15)

3 Optical-cavity induced two-atom pseudospin squeezing

We introduce collective operators Sl (l = x,y,z) for the two atoms

$$ S_{l}=\frac{1}{2}({\sigma_{1}^{l}}+{\sigma_{2}^{l}}), $$

which have the standard spin commutation relation \(\left [S_{x},S_{y}\right ] =iS_{z}\). The Heisenberg uncertainty relation is given by

$$ ({\Delta} S_{x})({\Delta} S_{y})\geq \frac{1}{2}\left\langle S_{z}\right\rangle , $$
(16)

where \({\Delta } S_{l}=\sqrt {\left \langle {S_{l}^{2}}\right \rangle -\left \langle S_{l}\right \rangle ^{2}}\) (l = x,y). Consequently, the collective spin component Sl is said to be squeezed if the fluctuation of it satisfies the inequality condition

$$ ({\Delta} S_{l})^{2}<\frac{1}{2}|\left\langle S_{z}\right\rangle |, $$
(17)

or

$$ F_{l}=({\Delta} S_{l})^{2}-\frac{1}{2}|\left\langle S_{z}\right\rangle |<0, $$
(18)

which serves as squeezing factor. The spin average is evaluated over the density matrix ρ of the ground state \(\left \vert \psi _{0}\right \rangle \) such that \(\left \langle S_{l}\right \rangle =Tr(S_{l}\rho )\). Then, inserting \(\left \langle S_{l}\right \rangle \) and \(\left \langle {S_{l}^{2}}\right \rangle \) into (17) or (18), we are able to analyze numerically the squeezing properties depending on the cavity-atom coupling g and field phase-angle ϕ in (3).

Figure 1 shows the variation of atomic squeezing with respect to the phase angle ϕ of the optical coherent state and atom-cavity coupling g. The squeezing factor Fl is zero in the NP below the critical point (g < gc), where the two atoms are in the pseudospin state denoted by \(\left \vert \psi _{0}^{NP}\right \rangle =|1,-1>\), which is the extremum state Sz|1,− 1 >= − 1|1,− 1 > satisfying the minimum uncertainty of angular momentum operator of (16). Physically both atoms are populated in the lower level of energy eigenstate in the NP. The squeezing factors Fx (a), Fy (b) vary with both coupling g and phase angle ϕ in the SP induced by the cavity field. The dark blue region with negative value indicates the spin squeezing of one component Sx or Sy. The higher value of Fx corresponds to the lower value of Fy and vice versa. The phase angle dependence is periodic. In other words, the two components Sx and Sy are alternatively squeezed by the variation of phase angle ϕ.

Fig. 1
figure 1

Variations of squeezing factors Fx (a), Fy (b) with respect to the atom-cavity coupling g and field angle ϕ in the resonance condition ω = ω0

Figure 2 is the plot of squeezing factors Fx (a) and Fy (b) versus coupling strength g for fixed phase angles ϕ = 0 (green solid line), π/6 (red dot-dash line), π/3 (blue dash line) and π/2 (black dot line) in the resonance condition (ω0 = ω). The squeezing factor Fx (Fy) jumps sharply down to the lowest bound above the critical point gc for phase angle ϕ = 0 (π/2). Then it attempts to zero gradually with the increase of coupling strength and becomes zero again after a sharp positive peak in the higher coupling region.

Fig. 2
figure 2

The squeezing factor curves Fx (a) and Fy (b) with respect to the atom-cavity couplings g at resonance condition ω = ω0 for the phase angles ϕ = 0 (green solid line), ϕ = π/6 (red dot-dash line), ϕ = π/3 (blue dash line), ϕ = π/2 (black dot line)

In Fig. 3, the squeezing factor Fx in the red detuning region (ω0 > ω) is plotted as a function of coupling strengthg with phase angle ϕ = 0 (a), π/6 (b) for atomic frequency ω0 = 2ω (green solid line), 10ω (red dot-dash line), 30ω (blue dash line). The zero region of squeezing factor, which characterizes the NP, expands with the increase of atomic frequency. The squeezing for phase angle ϕ = 0 (a) is higher than that of π/6 (b) with the similar g dependence as in the resonance case (Fig. 2). The corresponding squeezing factor curves Fx are displayed in Fig. 4 for the blue detuning (ω0 < ω) with ω0 = 0.5ω (green solid line), 0.1ω (red dot-dash line), and 0.05ω (blue dash line). The critical point gc shifts to the lower value direction with the decrease of atomic frequency. The x-component of spin has a sharp squeezing just above the critical point for ϕ = 0. The spin coherent state is then returned with the increase of coupling g shown by the vanishing Fx = 0. The inserts of Fig. 4a and b display the detail of curves in the squeezed region. The sharp peak of Fx indicates the squeezing of component Sx.

Fig. 3
figure 3

The variations of squeezing factor Fx with respect to atom-filed coupling g for phase angle ϕ = 0 (a), π/6 (b), atomic frequencyω0 = 2ω (green solid line), 10ω (red dot-dash line), 30ω (blue dash line)

Fig. 4
figure 4

The evolutions of the squeezing factor Fx as function of atom-filed coupling g with angle parameters ϕ = 0 (a) and ϕ = π/6 (b) for smaller atomic frequency ω0 = 0.5ω (green solid line), ω0 = 0.1ω (red dot-dash line), ω0 = 0.05ω (blue dash line)

4 Results and discussion

In conclusion, the spin squeezing for two atoms trapped in an optical cavity is investigated based on the photon coherent-state variational method along with the Dicke phase transition. The zero squeezing factor in the NP indicates minimum uncertainty nature of the two-atom pseudospin state. While the spin squeezing takes place just above the phase transition point gc. The spin squeezing factor is periodic with respect to the phase angle of coherent optical field. It tends to zero in the strong atom-field coupling regime above a threshold value. While the two spin-components are squeezed alternately in the intermediate region of atom-field coupling. The spin squeezing indeed can serve as a probe to detect the Dicke phase transition and cavity field properties as well.