Introduction

Spin-1 bosons, the simplest nontrivial spinor bosonic system, play an important role in understanding quantum magnetism1,2,3,4,5,6. Due to the development of optical cooling and trapping techniques, ultracold quantum gases have provided an excellent laboratory for investigating many-body quantum systems with an unprecedented level of precision, and ultracold spinor gases have been realized for both bosons7,8,9,10,11 and fermions12,13,14,15,16,17,18,19. Experimental progresses motivate theoretical studies on spinor bosonic gases, which manifest a range of phenomena absent in scalar Bose-Einstein condensates (BECs)20,21,22,23,24,25,26. Normally, the spinor system is prepared in a weak magnetic field to avoid blocking spin-exchange processes in the experimental timescale, and in parallel theoretical studies mainly focus on rich phase diagrams of spinor gases at zero magnetic field, where numerical exact methods, including quantum Monte-Carlo (QMC) or density-matrix renormalization group simulations, are mainly developed for low-dimensional cases20,27,28,29,30. Actually, magnetic field lifts the degeneracy of the ground states, and the interplay of spin-dependent and Zeeman interactions enriches strongly-correlated quantum phases1,2,3,4,5,6,31,32,33,34.

Magnetism in ultracold atomic systems may be ascribed generally to local onsite interactions, and one can load the spinor Bose gas into an optical lattice so as to increase the low-energy density of states and enhance the role of interactions1,2,3,4,5,6. Actually, one indeed tunes the spin-dependent interactions to the strength of the order of external Zeeman interactions (or microwave dressing field interactions)35, and study strongly correlated phenomena of the multiple spin states. Recently, a antiferromagnetic spinor condensate has been experimentally realized in a two-dimensional optical lattice, where, in a sufficiently deep lattice, a phase transition from a longitudinal polar phase to a broken-axisymmetry phase has been observed in steady states of spinor condensates11. In a following-up experiment, they demonstrate evidence of first-order superfluid-Mott-insulating phase transitions in a lattice-confined antiferromagnetic spinor Bose-Einstein condensate35. These experiments on lattice systems have deepened the understanding of spinor systems and observed new phenomena which have not been predicted in theory31,36,37. Thus the influence of both the lattice setups and external magnetic fields should be reconsidered.

In contrast, the ferromagnetic spinor condensates have been studied less extensively38,39,40,41. Experimental studies on the ferromagnetic spin-1 bosons have been carried out mainly with 87Rb42, which has a small spin-dependent interaction compared with the spin-independent interaction. Theoretical studies demonstrate that the system exhibits saturated ferromagnetism over the entire zero-temperature phase diagram in the absence of external magnetic fields43, where properties of the system are similar to those of scalar bosons and the phase transitions are of second-order. However, the system presents rich phases in the presence of an external magnetic field, due to the competition between the quadratic Zeeman effect and the ferromagnetic interactions3,4. Recently, a theoretical research is carried out for ferromagnetic spin-1 gases under an external magnetic field, which indicates discontinuous first-order phase transitions44. Despite the rich and interesting results obtained above, there is still a lack of relevant researches about competing spin-ordered Mott phases.

Exploring the thermodynamics of interacting many-body systems has been arguably one of the most important achievements of cold-atomic gases. It is an interesting topic examining the connection between magnetic orders and Bose-Einstein condensates of ultracold multispecies atomic gases1,2,3,4,5,6. For spinor gases, a multi-step condensation has been predicted theoretically33,45,46,47,48,49 and observed experimentally50,51,52. For small Zeeman field, for example, antiferromagnetic interactions qualitatively change the phase diagram and lead to condensation in m F  ± 1 state, which is a phenomenon that cannot occur for an ideal gas53. As far as we know, however, there are still lack experiments on multistep condensations of the spinor bosonic gases in an optical lattice, and it is still unclear for condensing sequences of strongly correlated bosonic gases in optical lattices.

In this paper, we focus on strongly correlated spinor ultracold gases in a three-dimensional (3D) optical lattice and systemically investigate the system for both negative and positive on-site spin-dependent interactions in the presence of an external Zeeman interaction, based on bosonic dynamical mean-field theory. Our study here is an extensive calculations performed in ref.54. For antiferromagnetic interactions, we take 23Na as examples, and determine the many-body phase diagrams, including nematic phase, ferromagnetic phase, spin-singlet insulator and different types of superfluid phase. As for the ferromagnetic case, we take 7Li and 87Rb as examples, and map out the phase diagrams, including ferromagnetic and nematic insulating phase, and superfluid phase. Moreover, we study the stability of these quantum phases against thermal fluctuations, obtaining finite temperature phase diagrams. Interestingly, a multi-step condensation for the Zeeman components is explored, and an abnormal condensation observed, in contrast to weakly interaction cases.

Methods

The Model

We consider spin-1 bosonic gases with spin-dependent interactions loaded in an optical lattice. We assume that an external magnetic field is applied along the quantization axis. In sufficiently deep lattices and the single-mode approximation, the physics of the system is described by the extended Bose-Hubbard model4:

$$\hat{H}=\,-\,t\sum _{\langle i,j\rangle ,\sigma }({a}_{i,\sigma }^{\dagger }{a}_{j,\sigma }+{a}_{j,\sigma }^{\dagger }{a}_{i,\sigma })+\frac{{U}_{0}}{2}\sum _{i}{\hat{n}}_{i}({\hat{n}}_{i}-\mathrm{1)}+\frac{{U}_{2}}{2}\sum _{i}({S}_{i}^{2}-2{\hat{n}}_{i})+p{S}_{iz}+q\sum _{i,\sigma }{\sigma }^{2}{\hat{n}}_{i,\sigma }-\mu \sum _{i}{\hat{n}}_{i}$$
(1)

where, ai,σ (\({a}_{i,\sigma }^{\dagger }\)) denotes the annihilation (creation) operator of a boson at lattice site i, and spin σ {−1, 0, 1}. The particle-number operators are defined by \({\hat{n}}_{i,\sigma }:\,={a}_{i,\sigma }^{\dagger }{a}_{i,\sigma }\) and \({\hat{n}}_{i}=\,{\sum }_{\sigma }{\hat{n}}_{i,\sigma }\), the spin operators by \({S}_{i}^{(\alpha )}:\,={\sum }_{\sigma ,\sigma ^{\prime} }{a}_{i,\sigma }^{\dagger }{S}_{\sigma ,\sigma ^{\prime} }^{(\alpha )}{a}_{i,\sigma ^{\prime} }\) for α = x, y, z, where \({S}_{\sigma ,\sigma ^{\prime} }^{(\alpha )}\) denotes the elements of spin-1 matrices S(α). t is the hopping amplitude, and 〈i, j〉 means the sum over nearest neighbors. The second term U0 is the on-site interaction between atoms, and the third term U2 represents spin-dependent interaction on the same site. The coefficient p denotes linear Zeeman energy (equivalent to magnetization M z ), q quadratic Zeeman energy, and μ the chemical potential. In the following we consider both antiferromagnetic \({U}_{2}/{U}_{0} > 0\) and ferromagnetic interactions U2/U0 < 0. For instance, in experiments with 23Na atoms the spin-dependent interaction \({U}_{2}/{U}_{0}\simeq 0.037\)11, with 7Li atoms with \({U}_{2}/{U}_{0}\simeq -\,0.7\)38, and with 87Rb atoms with \({U}_{2}/{U}_{0}\simeq -\,0.005\)42.

Bosonic Dynamical Mean-Field Theory

To investigate quantum phases of spinor Bose gases loaded into a cubic optical lattice, described by Eq. (1), we recently establish a bosonic version of dynamical mean-field theory on the generic three-dimensional situation, where details can be found in ref.54. Here we only show the basic idea of this method. As in fermionic dynamical mean-field theory, the main idea of our BDMFT approach is to map the quantum lattice problem with many degrees of freedom onto a single site coupled self-consistently to a noninteracting bath55,56,57,58,59,60,61,62. The dynamics at the impurity site can thus be thought of as the hybridization of this site with the bath. Therefore, properties of the many-body system can be captured by a single impurity model. In a more formal language, Hamiltonian (1) is mapped onto a single-site problem and described by a local effective action:

$$\begin{array}{rcl}{S}_{{\rm{imp}}} & = & -\,{\int }_{0}^{\beta }\,d\tau d\tau ^{\prime} \sum _{\sigma \sigma ^{\prime} }(\begin{array}{c}{a}_{\mathrm{0,}\sigma }^{\ast }(\tau )\,{a}_{\mathrm{0,}\sigma }(\tau )\end{array}){{\mathscr{G}}}_{\mathrm{0,}\sigma \sigma ^{\prime} }^{-1}(\frac{{a}_{\mathrm{0,}\sigma ^{\prime} }(\tau ^{\prime} )}{{a}_{\mathrm{0,}\sigma ^{\prime} }^{\ast }(\tau ^{\prime} )})+\,{\int }_{0}^{\beta }d\tau \{\frac{{U}_{0}}{2}{n}_{0}(\tau )({n}_{0}(\tau )-\mathrm{1)}+\frac{{U}_{2}}{2}({S}_{0}^{2}(\tau )-2{n}_{0}(\tau ))\\ & & -\,t\sum _{\langle \mathrm{0,}i\rangle ,\sigma }({a}_{\mathrm{0,}\sigma }^{\ast }(\tau ){{\varphi }}_{i,\sigma }(\tau )+{a}_{\mathrm{0,}\sigma }(\tau ){{\varphi }}_{i,\sigma }^{\ast }(\tau ))+\,p{S}_{iz}(\tau )+q\sum _{i,\sigma }{\sigma }^{2}{n}_{i,\sigma }(\tau )\},\end{array}$$
(2)

where 0 is index of the impurity site, τ is the imaginary time, \({{\mathscr{G}}}_{\mathrm{0,}\sigma \sigma ^{\prime} }^{-1}(\tau -\tau ^{\prime} )\) denotes a local non-interacting propagator interpreted as a local dynamical Weiss Green’s function,

$${{\mathscr{G}}}_{0,\sigma \sigma ^{\prime} }^{-1}(\tau -\tau ^{\prime} )\equiv -(\begin{array}{cc}({{\rm{\partial }}}_{\tau ^{\prime} }-{\mu }_{\sigma }){\delta }_{\sigma \sigma ^{\prime} }+{t}^{2}\sum _{\langle 0i\rangle ,\langle 0j\rangle }{G}_{\sigma \sigma ^{\prime} ,ij}^{1}(\tau ,\tau ^{\prime} ) & {t}^{2}\sum _{\langle 0i\rangle ,\langle 0j\rangle }{G}_{\sigma \sigma ^{\prime} ,ij}^{2}(\tau ,\tau ^{\prime} )\\ {t}^{2}\sum _{\langle 0i\rangle ,\langle 0j\rangle }{G}_{\sigma \sigma ^{\prime} ,ij}^{2\ast }(\tau ^{\prime} ,\tau ) & (\,-\,{{\rm{\partial }}}_{\tau ^{\prime} }-{\mu }_{\sigma }){\delta }_{\sigma \sigma ^{\prime} }+{t}^{2}\sum _{\langle 0i\rangle ,\langle 0j\rangle }{G}_{\sigma \sigma ^{\prime} ,ij}^{1}(\tau ^{\prime} ,\tau )\end{array})$$
(3)

and the superfluid order parameters is given by ϕi,σ(τ) ≡ 〈ai,σ(τ)0 with 〈…〉0 indicating that the expectation value is calculated in the cavity system57,59. We find that the effective action (2) is represented by an Anderson impurity Hamiltonian

$$\begin{array}{ccc}{\hat{H}}_{A} & = & -t\sum _{\sigma }({\varphi }_{\sigma }^{\ast }{\hat{a}}_{0\sigma }+{\rm{h}}.{\rm{c}}.)+\frac{{U}_{0}}{2}{\hat{n}}_{0}({\hat{n}}_{0}-1)+\frac{{U}_{2}}{2}({\hat{{\boldsymbol{S}}}}_{0}^{2}-2{\hat{n}}_{0})+q\sum _{i,\sigma }{\sigma }^{2}{\hat{n}}_{i,\sigma }\\ & & -\,\sum _{\sigma }{\mu }_{0\sigma }{\hat{n}}_{0\sigma }+\sum _{l}{\varepsilon }_{l}{\hat{b}}_{l}^{\dagger }{\hat{b}}_{l}+\,\sum _{l,\sigma }({V}_{\sigma ,l}{\hat{a}}_{0\sigma }{\hat{b}}_{l}^{\dagger }+{W}_{\sigma ,l}{\hat{a}}_{0\sigma }{\hat{b}}_{l}+{\rm{h}}.{\rm{c}}.).\end{array}$$
(4)

We remark three points here. First the chemical potential and interaction term are directly inherited from the Hubbard Hamiltonian. Second, there are two baths coupling to the impurity site: the bath of condensed bosons is represented by the Gutzwiller term with superfluid order parameter ϕ σ for each component, and the bath of normal bosons is described by a finite number of orbitals with creation operators \({\hat{b}}_{l}^{\dagger }\) and energies ε l , where these orbitals are coupled to the impurity via normal-hopping amplitudes Vσ,l and anomalous-hopping amplitudes Wσ,l. Third, we employ the exact diagonalization (ED) solver for the Anderson impurity problem57. The maximal number of normal bath orbitals in ED is limited to n s  = 4, and the Fock space for the impurity bosons is truncated at a maximum occupation number n = 6. We systematically verified that the used maximal numbers in the present study are sufficient for ED.

By exact diagonalization of Ham. (4), we obtain the local Green’s function Gσσ( n ), and the local self-energy is then obtained from the local Dyson equation

$${{\mathscr{G}}}_{\sigma \sigma ^{\prime} }^{-1}(i{\omega }_{n})=(i{\omega }_{n}{\sigma }_{z}+{\mu }_{\sigma }){\delta }_{\sigma \sigma ^{\prime} }-{{\boldsymbol{\Delta }}}_{\sigma \sigma ^{\prime} }(i{\omega }_{n})={{\boldsymbol{\Sigma }}}_{\sigma \sigma ^{\prime} }(i{\omega }_{n})+{{\boldsymbol{G}}}_{\sigma \sigma ^{\prime} }^{-1}(i{\omega }_{n}),$$
(5)

where we have defined the hybridization functions:

$$\begin{array}{rcl}{{\rm{\Delta }}}_{\sigma \sigma ^{\prime} }^{1}(i{\omega }_{n}) & \equiv & -\,\sum _{l}(\frac{{V}_{\sigma ,l}{V}_{\sigma ^{\prime} ,l}}{{\varepsilon }_{l}-i{\omega }_{n}}+\frac{{W}_{\sigma ,l}{W}_{\sigma ^{\prime} ,l}}{{\varepsilon }_{l}+i{\omega }_{n}})\\ {{\rm{\Delta }}}_{\sigma \sigma ^{\prime} }^{2}(i{\omega }_{n}) & \equiv & -\,\sum _{l}(\frac{{V}_{\sigma ,l}{W}_{\sigma ^{\prime} ,l}}{{\varepsilon }_{l}-i{\omega }_{n}}+\frac{{W}_{\sigma ,l}{V}_{\sigma ^{\prime} ,l}}{{\varepsilon }_{l}+i{\omega }_{n}})\mathrm{.}\end{array}$$
(6)

We approximate the lattice self-energy Σlat,σσ by the impurity self-energy Σσσ, and the self-consistency loop is then completed by the conditions for lattice Green’s function

$${{\boldsymbol{G}}}_{{\rm{lat}}}(i{\omega }_{n})=\int \varepsilon \rho (\varepsilon )\frac{1}{i{\omega }_{n}{\sigma }_{z}+{\mu }_{\sigma }-{\boldsymbol{\Sigma }}(i{\omega }_{n})-\varepsilon },$$
(7)

where ρ(ε) denotes the density of states for three-dimensional cubic lattices at energy ε. Note here that this method is exact for infinite dimensions, and is a reasonable approximation for high but finite dimensions, where the reliability of this method has been verified by comparison with quantum Monte-Carlo simulation63,64. Our approach is a non-perturbative method, including the local quantum fluctuations of the strongly correlated systems exactly, but neglecting non-local spatial correlations.

For most of cases, the self-consistent BDMFT loop yields stable solutions, but, for some cases, it produces multiple stable results, especially around the phase boundary for first-order transition. To find the many-body ground states in these cases, we calculate the energy within BDMFT, and for the Bose-Hubbard model of spin-1 bosons, the local energy is given by:

$$E=[\frac{1}{2}\sum _{i}\langle {U}_{0}{n}_{i}({n}_{i}-1)+{U}_{2}({S}_{i}^{2}-2{n}_{i})+2(p{S}_{iz}+q\sum _{\sigma }{\sigma }^{2}{n}_{\sigma })\rangle -{k}_{B}T\sum _{i,\sigma ,n}\int d\varepsilon \,\varepsilon \rho (\varepsilon ){G}_{i\sigma }(i{\omega }_{n})-t\sum _{\langle ij\rangle \sigma }{\varphi }_{i\sigma }^{\ast }{\varphi }_{j\sigma }]/N.$$
(8)

Here, N is the total number of lattice sites, n  = 2/β, and G σ ( n ) denotes the local Green’s function.

Results

Antiferromagnetic interactions

In this section, we focus on experimentally accessible parameters for 23Na, i.e. U2/U0 = 0.037, in a 3D optical lattice constructed from a single-mode laser at wavelength λ = 1064 nm with recoil energy E R  = 2h2/2. In this limit of spin-dependent interaction \({U}_{2}\ll {U}_{0}\), a first superfluid-insulator transition featured by hysteresis effect and significant heating35 is observed experimentally by changing the ratio U0/t. Motivated by the recent experimental progresses, we investigate the spin-1 bosonic gases in a 3D optical lattice in the presence of an external magnetic field. Actually, the interplay of spin-dependent and Zeeman interactions in the system gives rise to an abundant phase diagram. At finite temperature, interestingly, the strongly correlated system may demonstrate an abnormal multi-step condensation for different species, due to quantum and thermal fluctuations.

Zero temperature

Phase diagram in deep Mott insulator: First, we study strongly correlated phases in the deep Mott insulator (MI) and resolve its long-range spin order in the presence of an external magnetic field. We summarized our calculations of the zero-temperature case in Fig. 1, where two phase diagrams are shown in the p-q plane with an antiferromagnetic interaction U2/U0 ≈ 0.037 (23Na) and filling n = 2 (left) and 3 (right), respectively. The depth of the optical lattice is chosen to be V = 20E R (t/U0 ≈ 0.012), where the system is in a typical Mott insulating regime, with E R being the recoil energy of atoms. Three distinct phases, namely ferromagnetic phase (FM), nematic insulator (NI) and spin-singlet insulator (SSI), are observed and we employ the values of the condensate order parameter \({{\varphi }}_{\alpha }^{1}\equiv \langle {b}_{\alpha }\rangle \), the nematic order parameter \({{\varphi }}_{\alpha \beta }^{2}\equiv \langle {S}_{\alpha }{S}_{\beta }\rangle -{\delta }_{\alpha \beta }\mathrm{/3}\langle {S}^{2}\rangle \), and the local magnetization M ≡ 〈S〉 to characterize them respectively.

Figure 1
figure 1

Zero-temperature phase transition for spin-1 ultracold bosons in a 3D cubic lattice with an antiferromagnetic interaction U2/U0 = 0.037 for fixed filling n = 2.

For filling n = 2 and V = 20E R , our BDMFT calculations predict that different parameters will result in different Mott insulating phases with different types of spin order including FM featured by \({{\varphi }}_{\alpha }^{1}=0\), M ≠ 0, NI by \({{\varphi }}_{\alpha }^{1}=0\), \({{\varphi }}_{\alpha \beta }^{2} > 0\) and M = 0 and SSI by \({{\varphi }}_{\alpha }^{1}=0\), \({{\varphi }}_{\alpha \beta }^{2}=0\) and 〈S2〉 = 0 with S being the local total spin (due to the symmetry of the spin wave-function on each site, n + S = (even)38). It is worth mention that the formation of singlet pairs will give rise to an even number of atoms per site which characterize SSI phase. Actually, for the small linear Zeeman energy p (equivalent to magnetization M z ) and quadratic Zeeman energy q, the system is in a regime dominated by spin-dependent interactions, and favors the SSI phase by forming a singlet pair and lowering the spin-dependent energy. For larger quadratic Zeeman energy q, the degeneracy of the three magnetic species is lifted, and the system goes through a phase transition from the SSI to the NI phase, i.e. the system enters into the NI phase with \({n}_{0} > {n}_{\pm 1}\) for positive q, and with \({n}_{\pm 1} > {n}_{0}\) for negative q, as shown in Fig. 2 with p = 0. For larger p (magnetization M z ), one species of n±1 is energetically favored and the FM phase develops. We notice that the phase diagrams are symmetric upon linear Zeeman interactions and this symmetry is also manifested in the Hamiltonian (1).

Figure 2
figure 2

Zero-temperature phase transition for spin-1 ultracold bosons in a 3D cubic lattice with an antiferromagnetic interaction U2/U0 = 0.037 for fixed filling n = 2.

We next move to three identical particles with n = 3, and the corresponding phase diagram is shown in the right panel of Fig. 1. For small magnetic field, the system favors the NI phase with 〈S2〉 = 2 by lowering spin angular momentum, where the detailed discussion can be found in ref.54. For large quadratic Zeeman energy q, FM phase with |M| = 3 is energetically favored by populating the n1 species for \(p > 0\) and by the n−1 species for p < 0, respectively. For intermediate p and negative q, the system demonstrates a FM phase with 〈S2〉 = 2 and |M| = 1. Note here that, along the line p ≈ 0, the system favors the NI phase for both positive and negative quadratic Zeeman energies (see the red lines in the right panel of Fig. 1).

Hopping dependent phase diagram: Away from the deep Mott-insulating regime, quantum fluctuations should be more and more important with the increase of tunneling amplitudes, and the stability of magnetic phases within the Mott lobes, such as the NI and SSI phase, is needed to be addressed against quantum fluctuations in the presence of the external magnetic field. We remark here that our results correctly recover unconventional spin ordering both in the atomic limit U0/t = ∞ and in the weakly interacting regime. For even filling, our calculations prove that the SF-MI transition is first order for small external magnetic field (equivalent to small magnetism M z and small quadratic Zeeman interaction q), while it is second order for large magnetic field, as shown in Fig. 3. We believe that the spin-dependent interaction U2 will lead to the formation of spin-singlet pairs in the SSI phase which supports a first-order phase transition, while disappearance of the singlet pairs, due to the interplay of spin-dependent and Zeeman interactions, demonstrates a second-order transition. Remarkably, we notice four distinctive types of SF phases in the parameters studied here, characterized by \({{\varphi }}_{0}^{1}\ne 0\), \({{\varphi }}_{1}^{1}\ne 0\) (\({{\varphi }}_{-1}^{1}\ne 0\)), \({{\varphi }}_{\pm 1}^{1}\ne 0\) or \({{\varphi }}_{\mathrm{1,0}}^{1}\ne 0\), which emerge in the phase diagrams for different external linear Zeeman fields p (magnetization M z ) and quadratic Zeeman fields q.

Figure 3
figure 3

Zero-temperature phase diagrams (a),(b),(c) and phase transitions (d),(e),(f) of 23Na in a 3D optical lattice. Our calculations show a first- (second-) order SF-MI phase transition for weak [(d),(e)] (strong [(f)]) magnetic field with μ/U0 = 1.5. Inset: zoom of the panel (d) at the critical point of nematic order, and local energy around first-order phase transition within BDMFT for the panel (e), respectively.

The order parameters as a function of interaction strengths are presented in Fig. 3(d),(e),(f) for U2/U0 = 0.037, μ/U0 = 1.5, and different external magnetic fields. For zero magnetization M z and small quadratic Zeeman interaction, we find that a small region of the SSI phase (n = 2) is occupied by the NI phase around the tip of the MI-SF transition as a result of the interplay of tunneling and spin-dependent interaction, as shown in the inset of Fig. 3(d), where the corresponding MI-SF transition is first order. We remark here that the nematic order \({{\varphi }}_{\alpha \beta }^{2}\) demonstrates a small but nonzero value in between SF and SSI phases, as shown in the inset of Fig. 3(d), which indicates a possible nematic phase but may be an artifact of the BDMFT method, requiring further studies based on more accurate methods such as quantum Monte-Carlo simulations. While for large quadratic Zeeman interaction, we observe that the spin-order in MI (n = 2) is the NI type with \({{\varphi }}_{\alpha }^{1}=0\) and \({{\varphi }}_{\alpha \beta }^{2}\ne 0\), instead of SSI, and the corresponding transition is second order, as shown in Fig. 3(f). Interestingly, for small but nonzero magnetization M z  ≠ 0, we observe a FM phase with \({{\varphi }}_{\alpha }^{1}=0\) and M ≠ 0 in between SF and SSI, as shown in Fig. 3(e). Interestingly, we observe a first-order SSI-FM and a second-order FM-SF transition, with lowering the optical depth V.

Finite temperature

Stability of the above spin-dependent phases against thermal fluctuations is the first thing to consider in order to obtain a direct observation of them in practical experiments. We investigate this issue for a typical case with U2/U0 = 0.037 (23Na) at a fixed finite temperature T/U0 = 0.01, and find that four different phases are involved as shown in Fig. 4, including SF (\({{\varphi }}_{0}^{1}\) or \({{\varphi }}_{\pm 1}^{1}\)), FM, and normal state (NS) characterized both by \({{\varphi }}_{\alpha }^{1}=0\) and large density fluctuations Δ2 ≡ 〈n2〉 − 〈n2. Due to thermal fluctuations, we find that the singlet pairs in n = 2 are broken and the FM phase develops in the parameters studied here. Moreover, BDMFT predicts that the superfluid-Mott-insulating phase transition for even fillings is second order, and the transition between the SF phases (ϕ± and ϕ+1) is second order as well. Notice that the temperature in our calculations can be obtained via present cooling schemes, for instance, the spin-gradient cooling65,66, and an external harmonic trap can be employed to maintain the coexistence of these phases.

Figure 4
figure 4

Finite-temperature phase diagram for spin-1 ultracold bosons in a 3D cubic lattice with an antiferromagnetic interaction U2/U0 = 0.037 for a fixed temperature T/U0 = 0.01, and a magnetic field p = 20 Hz and q = 120 Hz. Note here that the normal state is shown by the shaded region in between FM.

Another crucial question regarding experimental observations is the multi-step condensation of strongly correlated superfluid. For weakly interacting spinor gases, a two-step condensation with m F  = 1 and m F  = 0 has been observed for large quadratic Zeeman energy, while there exists a three-step condensation for small quadratic Zeeman energy46,53, due to the interplay of spin-dependent and Zeeman interactions. However, the condensation of strongly correlated superfluid is still unknown. Figure 5 shows the finite-temperature phase diagram of the spinor bosonic gases at fixed filling n = 2.5 and quadratic Zeeman interaction q = 20 Hz (left) and q = −20 Hz (right), respectively. An interesting feature is revealed in the neighbouring of the superfluid to Mott-insulating transition with V = 21 Hz (t/U0 ≈ 0.01). For example, for positive quadratic Zeeman field and small M z , majority component m F  = 0 condenses first at a critical temperature, followed by the m F  = 1 component at a lower one, while, for large M z , coexisting the m F  = ±1 components is energetically favored. This behavior is a result of the interplay of spin-dependent and quadratic Zeeman interactions (favor the pair of the m F  = ±1 components), and longitudinal magnetization (favor the m F  = 1 component). Our prediction here is consistent with weakly interacting condensate, where a phase transition occurs between the broken-axisymmetry (\({{\varphi }}_{\mathrm{0,1}}^{1}\ne 0\)) and the antiferromagnetic phase (\({{\varphi }}_{\pm 1}^{1}\ne 0\)) for low temperature46, even though here we only observe a two-step condensation for small magnetization. Interestingly, for negative quadratic Zeeman interaction, we observe an abnormal transition from the normal to the superfluid phase via cooling the system, i.e. the critical condensing temperature of the m F  = −1 component first decreases into zero and then demonstrates an abnormal increase with magnetization M z , which is a remarkable phenomenon never been predicted ever before, indicating unique features of strongly correlated superfluid.

Figure 5
figure 5

Abnormal multi-step condensation of spin-1 ultracold bosons in a 3D cubic lattice (V = 21 Hz) with an antiferromagnetic interaction U2/U0 = 0.037 and filling n = 2.5 for quadratic Zeeman field q = 20 Hz (left), and −20 Hz (right), respectively. Contrary to weakly interacting gases, we observe a non-smooth change of the critical condensing temperature of the m F  = −1 component.

In order to offer quantitative guidance for the direct observation of multi-step condensations in realistic experiments, we estimate the critical temperatures. For experiments with 23Na (U2/U0 ≈ 0.037) in a 3D cubic lattice generated by laser beams of wavelength 1064 nm and intensity V ≈ 21 E R , we find that the system should be cooled down to T c  ≈ 2 nK (n = 2.5, p = ±20 Hz). One can employ the excitation spectra or density correlations25,38 to reflect these correlated insulating states by occupying, for example, Bragg scattering38, quantum gas microscopy67,68,69 or optical birefringence25, as long as the lifetimes of these states can meet the requirement of observation11. Recently, a steady state of spinor bosons in optical lattices with a sufficiently long lifetime was reported35, as well as the existence of spin-nematic ordering in a spherical trap70.

Ferromagnetic interactions

In this section, we mainly investigate experimentally accessible systems for 87Rb with a ferromagnetic interaction U2/U0 = −0.005 and for 7Li with U2/U0 = −0.7. Actually, the magnetic order is the trivial ferromagnetic order for zero magnetic field. At finite temperature, interestingly, the strongly correlated system may demonstrate a multistep condensation for different species, due to the interplay of quantum and thermal fluctuations.

Zero-temperature phase diagrams

In this subsection, we discuss zero-temperature phase diagrams of spinor ultracold gases in a 3D optical lattice. For comparison, we firstly study the cases in ref.44, where a Gutzwiller mean-field calculation is performed for different interactions. Figure 6 shows the obtained phase diagrams for (U2/U0, q/U0) = (−0.7, 0.1) for 7Li and (−0.005, 0.0085) for 87Rb, based on BDMFT. Here, we notice that there exists four distinct phases obtained from BDMFT, namely polar superfluid (polar SF), broken-axisymmetry superfluid (BA SF), nematic insulator (NI) and ferromagnetic (FM). In the superfluid phase near to the Mott lobes, only the σ = 0 component shows superfluidity, which we identify as the polar superfluid phase. The other superfluid phase has three superfluid components, and possesses a non-zero transverse magnetization \({M}_{tr}:\,=\sqrt{{\langle {S}_{(x)}\rangle }^{2}+{\langle {S}_{(y)}\rangle }^{2}}\); hence we identify it as the broken-axisymmetry superfluid phase. The nematic insulator phase is characterized by \({{\varphi }}_{\alpha }^{1}=0,{{\varphi }}_{\alpha \beta }^{2} > 0\) and M = 0; and the ferromagnetic phase for \({{\varphi }}_{\alpha }^{1}=0\) and M ≠ 0. We remark here that our method clearly resolves the long-range spin order. As shown in Fig. 6(a), there are two different Mott-insulating phases inside the n = 3 and 4 Mott lobes, i.e. the NI phase for small zt/U0 and the FM phase for large zt/U0, while, for n = 1 and 2, the Mott-insulating phase favors the nematic order, as a result of the interplay of spin-dependent and quadratic Zeeman interactions.

Figure 6
figure 6

Zero-temperature phase diagrams of spin-1 ultracold bosonic gases in a 3D optical lattice for (a) (U2/U0, q/U0) = (−0.005, 0.0085) (87Rb) and (b) (U2/U0, q/U0) = (−0.7,0.1) (7Li) respectively by BDMFT (blue circle and green cross), and via Gutzwiller mean-field theory in ref.44. (red cross). BDMFT predicts four phases in the system, including nematic insulator (NI), ferromagnetic (FM), polar and broken-axisymmetry (BA) superfluid (SF) phase.

Next, we compare our results with those obtained from Gutzwiller mean-field theory in ref.44. For example, both methods predict a MI-polar SF and a polar SF-BA SF phase transition. We also find that phase boundaries are well matched with previous results, except that the Mott tip here is slightly bigger than that from the Gutzwiller variational ansatz, since that BDMFT takes quantum fluctuations into account. However, two major differences are also found between the two theories. First, magnetic spin orders of the Mott-insulating phases are resolved via BDMFT, which includes nematic order and ferromagnetic order in the parameters studied here. Second, Gutwziller mean-field theory underestimates the stabilized region of the polar SF phase for 87Rb atoms, i.e. there is an obvious mismatch of the polar SF-BA SF transition boundary. This discrepancy is expected to be due to the lack of quantum fluctuations involved in the Gutzwiller variational ansatz.

To figure out the relationship and competition between the long-range spin orders, we focus on a 7Li gas with spin-dependent interaction U2/U0 = −0.7, and investigate the influence of quadratic Zeeman interactions. It is expected that the NI phase appears in the Mott-insulating lobe and occupies the region of the FM phase with increasing q, as a result of the interplay of spin-dependent and quadratic Zeeman interactions, which supports the m F  = 1 and the m F  = ±1 components, respectively. The corresponding phase diagrams for different parameters are obtained and summarized in Fig. 7. As examples, we choose q/U0 = 0, 0.005, 0.03 and 0.1, respectively. When q/U0 = 0, the Mott lobes are occupied by the FM phase, which is consistent with previous conclusions43, while there is only broken-axisymmetry superfluid phase outside the Mott lobe. With the increasing of quadratic Zeeman energy q/U0, the region of the MI phase gradually widen with the appearance of the NI order from the lower hopping regime, as shown in Fig. 7(b), where the polar SF phase emerges at q/U0 = 0.005. Increasing q further, the polar SF phase expands and squeezes the region of the BA SF phase, as shown in Fig. 7(b),(c),(d). Inside the Mott lobes, a competition between the NI and the FM order is observed, i.e. the region of the NI phase expands larger and the region of the FM phase shrinks with the increasing of q/U0. Finally, the FM phase disappears at (U2/U0, q/U0) = (−0.7, 0.1), as shown in Fig. 7(d).

Figure 7
figure 7

Influence of quadratic Zeeman interactions on zero-temperature phase diagrams of spinor bosonic gases in a 3D optical lattice. We choose the 7Li atom as examples with (U2/U0 = −0.7), and the other parameters are set to (a) q/U0 = 0, (b) q/U0 = 0.005, (c) q/U0 = 0.03 and (d) q/U0 = 0.1. Inside the Mott lobes, a competition between nematic insulating and ferromagnetic order is observed, as a result of the interplay of spin-dependent and quadratic Zeeman interactions.

Finite temperature phase diagrams

Up to now, we have illustrated the zero-temperature case and studied quantum-fluctuation-induced phase transitions. In this subsection, we investigate the influence of thermal fluctuations on phase diagrams of spinor ultracold gases in an optical lattice with ferromagnetic interactions. We take (U2/U0, q/U0) = (−0.7, 0.005) as an example. For a typical parameter with T/U0 = 0.01, the finite-temperature phase diagram is shown in Fig. 8. We observe there are five phases in the system, including NI, FM, BA SF, polar SF, and normal state (NS) characterized both by \({{\varphi }}_{\alpha }^{1}=0\) and large density fluctuations Δ2 ≡ 〈n2〉 − 〈n2. Compared with the zero-temperature case, the nonzero-temperature one possesses some features worth mentioning. While the SF-MI phase boundary expands, the Mott-insulating lobes show major changes. For example, the n = 1 Mott lobe exhibits the saturated NI phase and the FM phase disappears completely, since thermal fluctuations smooth the population difference between the three species and the FM phase is energetically unfavored. Similarly, for the Mott lobes with n = 2, 3, 4, the NI phase expands and squeeze the rest region of the FM phase. We notice some odd behaviors relating to NI-FM phase boundaries for n = 3, 4, while the reasons behind this abnormal behavior remain unknown.

Figure 8
figure 8

Influence of thermal fluctuations on phase diagram of spinor bosonic gases in a 3D optical lattice for (U2/U0, q/U0, T/U0) = (−0.7,0.005, 0.01) (7Li). The diagram manifests five different phases: polar superfluid (polar SF), broken-axisymmetry superfluid (BA SF), nematic insulator (NI), ferromagnetic phase(FM), and normal state (NS). We observe a second-order NI-SF (n = 1 and 2), and a first-order NI-FM-SF (n = 3 and 4) phase transition, respectively, as shown by the inset with μ/U0 = 0.72.

One crucial question regarding experimental observations is the multi-step condensation of strongly correlated superfluid. While the connection between magnetic order and Bose-Einstein condensation of weakly interacting spin-1 bosons with ferromagnetic interactions is debated4, the investigation on multistep condensations of strongly correlated lattice bosons is still missing. Here, we focus on the equilibrium states of the strongly interacting superfluids near the Mott lobes under the constraint of constant longitudinal magnetization (in the absence of dipolar relaxation, longitudinal magnetization is constant, instead of a constant magnetic field). We examine how an applied external magnetic field affects the critical condensing temperature T c . In our calculations, we fix the value of the hopping matrix element zt/U0 and filling number of per site n, and obtain the relationships between T c and the local magnetization M z , as shown in Fig. 9. In Fig. 9(a),(b), we choose (U2/U0, q/U0) = (−0.7, 0.03), n = 1, and zt/U0 = 0.096 and 0.084, respectively. The selected hopping amplitudes have unique properties, where zt/U0 = 0.096 locates in the BA SF phase at zero magnetization with \({{\varphi }}_{\mathrm{0,}\pm 1}^{1}\ne 0\), and zt/U0 = 0.084 sits in the polar SF phase with ϕ0 ≠ 0. In Fig. 7(c), we focus on another case with large filling n = 2.

Figure 9
figure 9

Abnormal multistep condensation for spin-1 ultracold bosons in a 3D cubic lattice with a ferromagnetic interaction U2/U0 = −0.7 (7Li) for fixed filling n = 1 (a),(b) and n = 2 (c). The other parameters are set to zt/U0 = 0.096 (a) and 0.084 (b), and zt/U0 = 0.063 and q/U0 = 0.1 (c). With increasing M z , the system demonstrates interesting features, where a local minimum appears for the critical condensing temperature of the m F  = 0 component.

We find that the system demonstrates interesting features as a function of longitudinal magnetization. With increasing M z , the critical condensing temperature of the m F  = +1 component increase monotonously, which is consistent with weakly interacting case4, since this component is energetically favored. However, the critical temperature of the m F  = −1 component increases at first and then decreases to zero, while the m F  = 0 component decreases initially, then increases, and finally decreases to zero, which is inconsistent with weakly interacting case4. The abnormal changes of condensing temperatures are the results of the interplay of spin-dependent interactions and quadratic Zeeman effect, and longitudinal magnetization, where the population of the m F  = +1 component increases with longitudinal magnetization, and quadratic Zeeman interactions favors the “pair” of the m F  = ±1 component. Surprisingly, we observe a local minimum of the critical temperature of the m F  = 0 component, which is a phenomenon has never been observed ever before. To obtain a better understanding of this behavior, we plot the multistep condensation of the spinor gases for another parameters, as shown in Fig. 9(c), with (U2/U0, q/U0) = (−0.7, 0.1), n = 2, and zt/U0 = 0.063. We observe a minimum of the critical temperature of the m F  = 0 component. We remark that the spinor lattice bosons with antiferromagnetic interactions also demonstrate abnormal features for critical condensing temperatures.

Discussion

In conclusion, we employ spinor bosonic dynamical mean-field theory to carry out extensive calculations of ultracold spinor Bose gases loaded into a cubic optical lattice. Complete phase diagrams of the system with both antiferromagnetic and ferromagnetic interactions are obtained. Various phases, including nematic, ferromagnetic and spin-singlet insulator, polar superfluid, and broken-axisymmetry superfluid, are found. In particular, the competition between above phases are investigated by varying related physical influences such as spin-dependent interactions, quadratic Zeeman energy, and thermal fluctuations. Multistep condensations of the strongly correlated superfluids are explored as a function of longitudinal magnetization and temperature. Interestingly, the critical temperature of the m F  = −1 component increases firstly and then decreases to zero with increasing M for antiferromagnetic interactions, while the critical temperature of the m F  = 0 component demonstrates a local minimum for ferromagnetic cases, which is inconsistent with weakly interacting spinor gases.