This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Quantum phase transition of Bose-Einstein condensates on a ring nonlinear lattice

Zheng-Wei Zhou1{}^{\text{1}} zwzhou@ustc.edu.cn    Shao-Liang Zhang1{}^{\text{1}}    Xiang-Fa Zhou1{}^{\text{1}}    Guang-Can Guo1{}^{\text{1}}    Xingxiang Zhou1{}^{\text{1}} xizhou@ustc.edu.cn    Han Pu2{}^{\text{2}} hpu@rice.edu 1{}^{\text{1}}Key Laboratory of Quantum Information, University of Science and
Technology of China, Hefei, Anhui 230026, P. R. China
2{}^{\text{2}}Department of Physics and Astronomy, and Rice Quantum Institute, Rice University, Houston, Texas 77251-1892, USA
Abstract

We study the phase transitions in a one dimensional Bose-Einstein condensate on a ring whose atomic scattering length is modulated periodically along the ring. By using a modified Bogoliubov method to treat such a nonlinear lattice in the mean field approximation, we find that the phase transitions are of different orders when the modulation period is 2 and greater than 2. We further perform a full quantum mechanical treatment based on the time-evolving block decimation algorithm which confirms the mean field results and reveals interesting quantum behavior of the system. Our studies yield important knowledge of competing mechanisms behind the phase transitions and the quantum nature of this system .

pacs:
03.75.Mn, 67.10.Fj, 05.45.Yv

I Introduction

In the past few years, ultracold atoms confined in optical lattices have generated a great amount of excitement in the physics community. They provide the unique opportunity to realize various many-body models that are of fundamental importance in physics review . More recently, nonlinear lattices formed by periodically modulating atomic interaction strengths have also received much attention. A comprehensive review of nonlinear wave phenomena supported by nonlinear lattices can be found in Ref. malomed . There are two basic physical systems that can potentially realize nonlinear lattices, both of which can be described by nonlinear Schödinger equations. One uses electromagnetic waves subject to inhomogeneous nonlinear optical media. The other one is based on atomic Bose-Einstein condensates (BECs) with modulated ss-wave scattering length. In this work, we will focus on the latter system although much of the physics are common to both.

We extend our previous work reported in Ref. Qian to study a BEC on a one-dimensional (1D) nonlinear ring-shaped lattice. In Ref. Qian , we considered a BEC on this ring lattice whose atomic scattering length is modulated according to

a(θ)=a0sin(dθ),a(\theta)=a_{0}\sin(d\theta), (1)

where θ\theta is the azimuthal angle along the ring and d=2d=2 is the spatial modulation frequency. We have shown that, as the modulation depth a0a_{0} is increased, the condensate can undergo a second-order symmtry-breaking quantum phase transition from a soliton-like state to a spatially periodic condensate that matches the scattering length modulation. In the present work, we generalize our investigation to a larger spatial modulation frequency d3d\geq 3 and compare the results to the d=2d=2 case. We developed a new mean-field technique to study the semi-classical behavior of the system, and found that a similar symmetry-breaking phase transition occurs for d3d\geq 3 as the modulation depth is increased. However, the phase transition is now of first order. We also carried out a numerical full quantum mechanical treatment of the system based on the time-evolving block decimation (TEBD) algorithm. Both static and dynamical properties of the system are investigated.

II The Model Hamiltonian

The system considered here is similar to that studied in Ref. Qian ; Kanamoto . NN bosons are confined in a toroid of radius RR and cross sectional area SS. By sufficiently tightening the radial confinement and freezing the atoms in that direction, we can treat the atoms as a one dimension system on a ring. The Hamiltonian of the system can be written in the following dimensionless form:

H=02π𝑑θ[ψ^(θ)2θ2ψ^(θ)+U2ψ^(θ)ψ^(θ)ψ^(θ)ψ^(θ)],H=\int_{0}^{2\pi}d\theta\left[-\widehat{\psi}^{\dagger}\left(\theta\right)\frac{\partial^{2}}{\partial\theta^{2}}\widehat{\psi}\left(\theta\right)+\frac{U}{2}\widehat{\psi}^{\dagger}\left(\theta\right)\widehat{\psi}^{\dagger}\left(\theta\right)\widehat{\psi}\left(\theta\right)\widehat{\psi}\left(\theta\right)\right], (2)

where the first term in the integral represents the kinetic energy and the second the interaction energy. For simplicity in notations, we measure energy in units of 2/(2mR2)\hbar^{2}/(2mR^{2}). The dimensionless interaction energy U(θ)=8πa(θ)R/SU\left(\theta\right)=8\pi a\left(\theta\right)R/S, where a(θ)a\left(\theta\right) is the periodically modulated ss-wave scattering length. In our work, we consider the situation where the scattering length between atoms is modulated along the ring with dd periods: a(θ)=a0sin(dθ)a\left(\theta\right)=a_{0}\sin\left(d\theta\right). As in Ref. Kanamoto , we define the dimensionless interaction strength as:

γ(θ)U(θ)N2π=γ0sin(dθ),\gamma\left(\theta\right)\equiv-\frac{U\left(\theta\right)N}{2\pi}=\gamma_{0}\sin(d\theta), (3)

where γ0=4a0RN/S\gamma_{0}=-4a_{0}RN/S represents the modulation depth of the interaction parameter γ(θ)\gamma\left(\theta\right).

By taking the Fourier expansion of the field operator ψ^(θ)=k12πeikθa^k\widehat{\psi}\left(\theta\right)=\sum_{k}\frac{1}{\sqrt{2\pi}}e^{ik\theta}\widehat{a}_{k}, where kk takes integer values in order to satisfy the periodic boundary condition and a^k{\widehat{a}_{k}} is the bosonic annihilation operator for plane wave mode with wavenumber kk, the Hamiltonian can be rewritten as:

H\displaystyle H =\displaystyle= kk2a^ka^k+iγ04Nklmna^ka^la^ma^n(δd+m+nkl\displaystyle\sum_{k}k^{2}\widehat{a}_{k}^{\dagger}\widehat{a}_{k}+\frac{i\gamma_{0}}{4N}\sum_{klmn}\widehat{a}_{k}^{\dagger}\widehat{a}_{l}^{\dagger}\widehat{a}_{m}\widehat{a}_{n}(\delta_{d+m+n-k-l}
δd+m+nkl).\displaystyle-\delta_{-d+m+n-k-l}).

Since the number of atoms is fixed, we have N=la^la^lN=\sum_{l}\widehat{a}_{l}^{\dagger}\widehat{a}_{l}. Because of this, the kinetic energy term in the Hamiltonian can also be written as 1Nk,lk2a^ka^ka^la^l\frac{1}{N}\sum_{k,l}k^{2}\widehat{a}_{k}^{\dagger}\widehat{a}_{k}\widehat{a}_{l}^{\dagger}\widehat{a}_{l}.

III Mean-Field Treatment

In this section, we first consider the mean-field solution valid for N1N\gg 1. In this case, the kinetic energy term can be approximated as

1Nk,lk2a^ka^ka^la^l1Nk,lk2a^ka^la^ka^l,\frac{1}{N}\sum_{k,l}k^{2}\widehat{a}_{k}^{\dagger}\widehat{a}_{k}\widehat{a}_{l}^{\dagger}\widehat{a}_{l}\approx\frac{1}{N}\sum_{k,l}k^{2}\widehat{a}_{k}^{\dagger}\widehat{a}_{l}^{\dagger}\widehat{a}_{k}\widehat{a}_{l}\,,

and the total Hamiltonian can thus be cast into a biquadratic form as:

H=1Ni,j,k,lαijkla^ia^ja^ka^l.H=\frac{1}{N}\sum_{i,j,k,l}{\alpha_{ijkl}}\widehat{a}_{i}^{\dagger}\widehat{a}_{j}^{\dagger}\widehat{a}_{k}\widehat{a}_{l}\,. (4)

We will now describe a modified Bogoliubov method we use to find the stationary solution and the excitations of the system.

III.1 Modified Bogoliubov Approach

In the absence of atomic interactions, the ground state is quite trivial: all the atoms occupy the zero-momentum mode a^0\widehat{a}_{0}. In the presence of interaction, this is no longer true. However, we may conjecture that the system condenses into a different ground mode χ^0\widehat{\chi}_{0}. This mode χ^0\widehat{\chi}_{0}, together with other orthogonal modes {χ^i}\{\widehat{\chi}_{i}\}’s that form a complete set, are related to the {a^i}\{\widehat{a}_{i}\} modes through a unitary transformation UU:

(χ0,χ1,χ2,)T=U(a0,a1,a2,)T.\left(\chi_{0},\chi_{1},\chi_{2},...\right)^{T}=U\,\left(a_{0},a_{1},a_{2},...\right)^{T}\,. (5)

In terms of {χ^i}\{\widehat{\chi}_{i}\} and {χ^i}\{\widehat{\chi}_{i}^{\dagger}\}, the biquadratic Hamiltonian in Eq. (4) takes the following form:

H\displaystyle H =\displaystyle= c0Nχ^0χ^0χ^0χ^0+(χ^0χ^0Nk,l0cklχ^kχ^l+h.c.)+χ^0χ^0Nk,l0dklχ^kχ^l\displaystyle\frac{c_{0}}{N}\,\widehat{\chi}_{0}^{\dagger}\widehat{\chi}_{0}^{\dagger}\widehat{\chi}_{0}\widehat{\chi}_{0}+\left(\frac{\widehat{\chi}_{0}^{\dagger}\widehat{\chi}_{0}^{\dagger}}{N}\sum_{k,l\neq 0}c_{kl}\widehat{\chi}_{k}\widehat{\chi}_{l}+h.c.\right)+\frac{\widehat{\chi}_{0}^{\dagger}\widehat{\chi}_{0}}{N}\,\sum_{k,l\neq 0}d_{kl}\widehat{\chi}_{k}^{\dagger}\widehat{\chi}_{l} (6)
+(χ^0Nk,l,m0pklmχ^kχ^lχ^m+h.c.)+1Nk,l,m,n0qklmnχ^kχ^lχ^mχ^n+1Nk,lrklχ^kχ^l.\displaystyle+\left(\frac{\widehat{\chi}_{0}^{\dagger}}{N}\,\sum_{k,l,m\neq 0}p_{klm}\widehat{\chi}_{k}^{\dagger}\widehat{\chi}_{l}\widehat{\chi}_{m}+h.c.\right)+\frac{1}{N}\,\sum_{k,l,m,n\neq 0}q_{klmn}\widehat{\chi}_{k}^{\dagger}\widehat{\chi}_{l}^{\dagger}\widehat{\chi}_{m}\widehat{\chi}_{n}+\frac{1}{N}\,\sum_{k,l}r_{kl}\widehat{\chi}_{k}^{\dagger}\widehat{\chi}_{l}\,.

This Hamiltonian can be simplified by a few considerations. First, it is assumed that most atoms will be in the condensate mode χ^0\widehat{\chi}_{0}. Under the mean field approximation, operators for the macroscopically occupied condensate mode are replaced by cc-numbers, i.e., χ^0,χ^0N\widehat{\chi}_{0},\widehat{\chi}_{0}^{\dagger}\rightarrow\sqrt{N}. Since occupation numbers in other χ^k\widehat{\chi}_{k} modes are very small, we can drop terms involving 3 or more operators in χ^k\widehat{\chi}_{k} and χ^k\widehat{\chi}_{k}^{\dagger} for k0k\neq 0. After this exercise, we obtain the following effective Hamiltonian up to second order in {χ^k}\{\widehat{\chi}_{k}\} and {χ^k}\{\widehat{\chi}_{k}^{\dagger}\}:

Heff=c0N+(k,l0cklχ^kχ^l+h.c.)+k,l0dklχ^kχ^l.H_{\rm eff}=c_{0}N+\left(\sum_{k,l\neq 0}c_{kl}\widehat{\chi}_{k}\widehat{\chi}_{l}+h.c.\right)+\sum_{k,l\neq 0}d_{kl}\widehat{\chi}_{k}^{\dagger}\widehat{\chi}_{l}\,. (7)

This effective Hamiltonian can be diagonalized by the Bogoliubov transformation and the system’s elementary excitaitons are quasiparticles in nature. In order to investigate the stability of the system, we need to analyze the energy spectrum of these quasiparticle excitations. For this purpose, we should work with the following grand canonical operator to acccount for the conservation of atom numbers:

K=HeffμN.K=H_{\rm eff}-\mu N\,. (8)

Here, μ\mu is the chemical potential and can be calculated from the condensate energy E=Hc0NE=\left\langle H\right\rangle\approx c_{0}N as:

μ=EN=c0+c0NN.\mu=\frac{\partial E}{\partial N}=c_{0}+\frac{\partial c_{0}}{\partial N}N\,. (9)

Now, we may diagonalize the operator KK by using the Bogoliubov transformation on {χ^k}\{\widehat{\chi}_{k}\} and {χ^k}\{\widehat{\chi}_{k}^{\dagger}\} and obtain the excitation spectrum of quasiparticles. (This will be elaborated on later.) If there is no imaginary excitation frequencies, we claim that the condensate mode χ^0\widehat{\chi}_{0} is dynamically stable.

In the above prescription, the key step is to search for the appropriate unitary transformation defined in Eq. (5) that transforms Hamiltonian (4) into (6). Although there are a great number of unknown parameters in the undetermined unitary matrix UU, further analysis shows that only the elements in the first row of UU are necessary for determining the form of the Hamiltonian (6).

To see this, we note that in order to transform Hamiltonian (4) into (6) via the unitary matrix UU, a fundamental requirement is to maintain the biquadratic terms of the operators (χ^0,χ^0)\left(\widehat{\chi}_{0}^{\dagger},\widehat{\chi}_{0}\right) and to eliminate all the cubic terms. To this end, we may use the operators (χ^i,χ^j)\left(\widehat{\chi}_{i}^{\dagger},\widehat{\chi}_{j}\right) to represent the operators (a^l,a^m)\left(\widehat{a}_{l}^{\dagger},\widehat{a}_{m}\right) in Hamiltonian (4) via:

a^i=jujiχ^j\widehat{a}_{i}=\sum_{j}u_{ji}^{*}\,\widehat{\chi}_{j}

where uiju_{ij} is the matrix element of the unitary matrix UU, and we obtain the following two equations :

c0\displaystyle c_{0} =\displaystyle= i,j,k,lαijklu0iu0ju0ku0l,\displaystyle\sum_{i,j,k,l}\,{\alpha_{ijkl}}\,u_{0i}u_{0j}u_{0k}^{*}u_{0l}^{*}\,, (10)
0\displaystyle 0 =\displaystyle= i,j,k,l(αijkl+αijlk)[u0iu0ju0k(alu0lχ0)].\displaystyle\sum_{i,j,k,l}\,(\alpha_{ijkl}+\alpha_{ijlk})\left[u_{0i}u_{0j}u_{0k}^{*}(a_{l}-u_{0l}^{*}\chi_{0})\right]\,. (11)

Since χ0=iu0iai\chi_{0}=\sum_{i}u_{0i}a_{i}, Eq. (11) can be recast into a set of equations in operators {ai}\left\{a_{i}\right\} (the number of this set of equations depends on the cut-off of the Bose modes) and can be solved by numerical method. Once the representation of the operator χ0\chi_{0} is determined, the parameter c0c_{0} and the chemical potential μ\mu can be obtained by solving Eqs. (10) and (9), respectively. Therefore, Eqs. (10) and (11) together represent an algebraic form of the Gross-Pitaevskii (GP) equation. In Appendix A, we will show that they are indeed equivalent to the ordinary GP equation. The main advantage of Eqs. (10) and (11) is that, in principle, all the stationary states (both dynamically stable and unstable ones) of the system can be found. When more than one stable solutions are found, the one that is dynamically stable and with the lowest energy will be identified as the ground state of the system. In contrast, with ordinary GP equation, using imaginary time evolution method one can only find the dynamically stable states, and often just the ground state. Therefore, Eqs. (10) and (11) are supeior for studying the phase transitions in our system, where information beyond the ground state is needed.

Once the condensate state is determined, the Bogoliubov spectrum of quasiparticle excitations above it can be found by diagonalizing KK defined in Eq. (8) using the Bogoliubov transformation. The details are described in Appendix B.

III.2 Mean-field quantum phase transition

Using the modified Bogoliubov method outlined in the previous section, in principle we can find all the stationary states (not just the ground state) and their excitation spectrum for any modulated atomic interactions. This provides a more thorough picture of the energy landscape of the system and deeper insights into possbile quantum phase transitions induced when certain parameters are varied (in our case, the modulation depth of the interaction strength γ0\gamma_{0}).

Our goal is to study the mean field quantum phase transition for different modulation period dd as the modulation depth γ0\gamma_{0} is varied. We concentrate on the low-energy states, meaning stationary states with energy close to that of the ground state. We find that there are mainly two types of stationary states in the low energy regime. One type has a density profile matching the modulated period of the scattering length. We refer to such states as symmetric states. The other type features a density profile that spontaneously breaks the symmetry of the modulation. We refer to such states as asymmetric states. The asymmetric states is always dd-fold degenerate with the peak density located at (1+4i)π2d\frac{(1+4i)\pi}{2d} (i=0,1,d1i=0,1,...d-1), where the local interaction energy U(θ)U(\theta) reaches the minimum. Under the mean field treatment (MFT), the symmetry-breaking quantum phase transition from the symmetric type to the asymmetric type have been studied for uniform scattering length Kanamoto and for d=2d=2 periodic scattering length Qian . Here, by taking advantage of the modified Bogoliubov method, we investigate the critical point of the quantum phase transitions and the prime mechanism driving such quantum phase transitions for arbitrary modulation period dd. We find that there is a fundamental difference between d=2d=2 and d>2d>2.

Refer to caption
Figure 1: (Color online) Upper panel: Energy of the condensate for d=2d=2. The red solid line is for the dynamically stable symmetric state, the red dashed line is for the dynamically unstable symmetric state and the blue solid line is for the stable asymmetric state. Lower panel: Chemical potential of the ground state. At the critical point γ0=0.528\gamma_{0}=0.528 (indicated by arrows in the plots) the ground state changes from the symmetric to the asymmetric type. Shown in the insets are typical wave functions for symmetric and asymmetric states.

Figure 1 shows the energies and chemcial potentials of low-energy Bose condensate states by varying the parameter γ0\gamma_{0} for d=2d=2. For small γ0\gamma_{0}, the ground state is a symmetric state. As γ0\gamma_{0} is increased, a symmetry-breaking phase transition occurs at a critical value of γ0=0.528\gamma_{0}=0.528. At this point, the symmetric state becomes dynamically unstable and the ground state changes to an asymmetric state. The ground state chemcial potential shows a kink at this critical point, wheras the ground state energy curve is smooth. This represents a second-order phase transition Qian . A similar behavior is also found in attractive BEC with unmodulated scattering length Kanamoto .

Refer to caption
Figure 2: (Color online) Same plots as in Fig. 1 for d=3d=3. The symmetry breaking phase transition occurs at the critical point γ0=0.85\gamma_{0}=0.85 (indicated by the arrows in the plots) and the dynamical instability sets in for the symmetric state at γ0=1.04\gamma_{0}=1.04.

Next, we turn our attention to the case of d=3d=3. The energies and chemical potentials as functions of γ0\gamma_{0} are plotted in Fig. 2. Similar to the d=2d=2 case, for small γ0\gamma_{0}, the ground state is symmetric. As γ0\gamma_{0} is increased, a symmetry-breaking phase transition occurs at a critical value of γ0=0.85\gamma_{0}=0.85. However, unlike in the d=2d=2 case, at this critical point, the symmetric state remains dynamically stable although the energy of the asymmetric state drops below that of the symmetric state. Furthermore, the ground state energy curve as a function of γ0\gamma_{0} shows a kink at this critical value, while the ground state chemical potential becomes discontinuous at this point. Therefore, the phase transition at this point is of first order. The dynamical instability of the symmetric state does not occur until γ0=1.04\gamma_{0}=1.04.

To summarize our mean-field results, we have found that the nature of the phase transitions changes for different modulation period dd due to the presence of competing mechanisms in this system. When the modulation period d=2d=2, the symmetry-breaking phase transition is of second order and is induced by dynamical instability of the associated states. For d=3d=3, in contrast, the symmetric-breaking phase transition is of first order and is driven by the level crossing of different types of states. We have also investigated the cases for d=4d=4 and 5 and found similar behavior as in d=3d=3.

IV quantum mechanical treatment

So far, we have limited our discussion to the mean-field approximation. Now we perform a fully quantum mechanical examination of the system using a numerical method. In our previous work Qian , exact diagonalization is used for this purpose. Here, we will use the TEBD algorithm Vidal . This has a two-fold advantage compared to the exact diagonalization method: (1) It allows us to treat larger systems; and (2) in addition to the static properties, we can also use the TEBD method to study the dynamical behavior of the system.

We first discretize the space by introducing an equidistant grid θi=iΔθ\theta_{i}=i\Delta\theta, (i=0,1,M1)(i=0,1,...M-1). We then replace the field operator ψ^(θi)\widehat{\psi}\left(\theta_{i}\right) by ψ^i/Δθ\widehat{\psi}_{i}/\sqrt{\Delta\theta}, where ψ^i\widehat{\psi}_{i} is a bosonic annihilation operator. In doing so, integrals can be replaced by sums and the second derivative in the kinetic energy term can be approximated by the difference quotient 2θ2ψ^(θi)[ψ^(θi+1)+ψ^(θi1)2ψ^(θi)]/Δθ2\frac{\partial^{2}}{\partial\theta^{2}}\widehat{\psi}\left(\theta_{i}\right)\approx\left[\widehat{\psi}\left(\theta_{i+1}\right)+\widehat{\psi}\left(\theta_{i-1}\right)-2\widehat{\psi}\left(\theta_{i}\right)\right]/\Delta\theta^{2}. Finally, the discretized Hamiltonian is Michael1 :

H=1Δθ2i=0M1(ψ^iψ^i+1+h.c.)+1Δθ2i=0M1ψ^iψ^i+i=0M1Ui2Δθψ^iψ^iψ^iψ^i.H=-\frac{1}{\Delta\theta^{2}}\sum_{i=0}^{M-1}\left(\widehat{\psi}_{i}^{\dagger}\widehat{\psi}_{i+1}+h.c.\right)+\frac{1}{\Delta\theta^{2}}\sum_{i=0}^{M-1}\widehat{\psi}_{i}^{\dagger}\widehat{\psi}_{i}+\sum_{i=0}^{M-1}\frac{U_{i}}{2\Delta\theta}\widehat{\psi}_{i}^{\dagger}\widehat{\psi}_{i}^{\dagger}\widehat{\psi}_{i}\widehat{\psi}_{i}. (12)

Here, the periodic boundary condition leads to the relation ψ^0=ψ^M\widehat{\psi}_{0}=\widehat{\psi}_{M}. For TEBD algorithm with periodic boundary condition, we refer to Ref. Naidon . In our numerical treatment, we typically divide the ring into M=60M=60 equidistant grids. Our code is adapted from the open source package maintained by the group of Lincoln Carr open .

IV.1 many-body ground-state energy

In Fig. 3, we plot the ground-state energy per atom of the many-body system as functions of γ0\gamma_{0} for the modulation period d=2d=2 and d=3d=3 . We see that the ground-state energy curve approaches the MFT result as NN increases, which is consistent with the usual quantum-semiclassical crossover behavior for finite-size quantum systems.

Refer to caption
Figure 3: (Color online) Many-body ground-state energy per atom for N=6,12N=6,12 and modulation period d=2d=2 (upper panel) and d=3d=3 (lower panel). The black solid lines are the mean-field results.

IV.2 quantum correlation

In the quantum mechanical treatment, unlike the mean field results, the spontaneous symmetry breaking of density distribution of ground state wavefunction in real space dose not occur. The density profile of the quantum mechanical ground state always matches the spatial modulation of the scattering length Qian . However, we can still gain important insights into the change in the characteristics of the wavefunctions by examining the quantum correlation which is neglected in the mean-field study.

For further discussion, we define the partial number operator between the interval θ[φi,φf]\theta\in[\varphi_{i},\varphi_{f}] as:

n^[φi,φf]=12πφiφf𝑑θψ^(θ)ψ^(θ).\widehat{n}_{\left[\varphi_{i},\varphi_{f}\right]}=\frac{1}{2\pi}\int_{\varphi_{i}}^{\varphi_{f}}d\theta\,\widehat{\psi}^{\dagger}\left(\theta\right)\widehat{\psi}\left(\theta\right). (13)
Refer to caption
Figure 4: (Color online) Bipartite correlation gij(2)g_{ij}^{\left(2\right)} and tripartite correlation g(3)g^{\left(3\right)} as functions of γ0\gamma_{0} for N=6N=6 and d=3d=3.

For the particular case of d=3d=3, we define three partial particle number operators as follows:

n^i=n^[(i1)2π3,i2π3],i=1,2,3.\widehat{n}_{i}=\widehat{n}_{\left[(i-1)\frac{2\pi}{3},i\frac{2\pi}{3}\right]},\quad i=1,2,3. (14)

Using these number operators, we can define the bipartite and tripartite correlation functions as:

gij(2)\displaystyle g_{ij}^{\left(2\right)} =\displaystyle= n^in^jn^in^j,\displaystyle\frac{\left\langle\widehat{n}_{i}\widehat{n}_{j}\right\rangle}{\left\langle\widehat{n}_{i}\right\rangle\left\langle\widehat{n}_{j}\right\rangle}\,,
g(3)\displaystyle g^{\left(3\right)} =\displaystyle= n^1n^2n^3n^1n^2n^3.\displaystyle\frac{\left\langle\widehat{n}_{1}\widehat{n}_{2}\widehat{n}_{3}\right\rangle}{\left\langle\widehat{n}_{1}\right\rangle\left\langle\widehat{n}_{2}\right\rangle\left\langle\widehat{n}_{3}\right\rangle}\,.

We plot the bipartite and tripartite correlations as functions of γ0\gamma_{0} in Fig. 4. All these correlations are monotonically decreasing functions of γ0\gamma_{0}. In our calculation, the three two-body correlation functions g12(2)g_{12}^{(2)}, g13(2)g_{13}^{(2)} and g23(2)g_{23}^{(2)} are essentially identical, which is also expected from the symmetry of the system. At γ0=0\gamma_{0}=0, the ground state is exactly known: |Ψground=(a0)NN!|vac\left|\Psi\right\rangle_{ground}=\frac{\left(a_{0}^{\dagger}\right)^{N}}{\sqrt{N!}}\left|{\rm vac}\right\rangle. The theoretical values of bipartite and tripartite correlations can be obtained as:

gij(2)(γ0=0)\displaystyle g_{ij}^{\left(2\right)}\left(\gamma_{0}=0\right) =\displaystyle= 16π2Nl=11l2,\displaystyle 1-\frac{6}{\pi^{2}N}\sum_{l=1}^{\infty}\frac{1}{l^{2}}\,,
g(3)(γ0=0)\displaystyle g^{\left(3\right)}\left(\gamma_{0}=0\right) =\displaystyle= 118π2Nl=11l2+O(1N2),\displaystyle 1-\frac{18}{\pi^{2}N}\sum_{l=1}^{\infty}\frac{1}{l^{2}}+O\left(\frac{1}{N^{2}}\right)\,,

which are in good agreement with the numerical results. When NN goes to infinity, all the bipartite and tripartite correlations approach unity at γ0=0\gamma_{0}=0.

Figure 4 shows that although both bipartite and tripartite correlations decay as the interaction parameter γ0\gamma_{0} increases, the tirpartitle correlation g(3)g^{\left(3\right)} decays into zero much faster than the bipartitle correlation gij(2)g_{ij}^{\left(2\right)}. For the case of N=6N=6 as illustrated in Fig. 4, g(3)g^{\left(3\right)} is essentially zero at γ0=1.6\gamma_{0}=1.6, while all the gij(2)g_{ij}^{\left(2\right)} are clearly non-zero at the same γ0\gamma_{0}. This is reminiscent of the three-body entangled WW-state, which can be written as

|W=13(|100+|010+|001).|W\rangle=\frac{1}{\sqrt{3}}\,\left(|100\rangle+|010\rangle+|001\rangle\right)\,.

For the WW-state, the tripartite entanglement characterized by the 3-tangle disappears and the bipartite entanglement characterized by concurrence remains finite Coffman . For large γ0\gamma_{0}, our mean-field treatment presented earlier reveals that the ground state is characterized by asysmmetric state with three-fold degeneracy. Each of these degenerate mean-field state features a density peak at θ=(1+4iπ)/6\theta=(1+4i\pi)/6 (i=1,2,3i=1,2,3). In the quantum treatment, this degeneracy is lifted by quantum fluctuations, and the non-degenerate quantum ground state may be regarded as roughly a WW-state formed by these three mean-field states.

IV.3 Single-particle density matrix

Another important quantity to characterize the many-body state is the single-particle density matrix ρ(1)\rho^{\left(1\right)} whose matrix element is defined as Penrose ; Leggett :

ρij(1)=ψ^iψ^j,\rho_{ij}^{\left(1\right)}=\left\langle\widehat{\psi}_{i}^{\dagger}\widehat{\psi}_{j}\right\rangle\,, (15)

where the expectation value is calculated with respect to the ground state obtained using the TEBD method. Roughly speaking, ρij(1)\rho_{ij}^{\left(1\right)} represents the probability amplitude of finding one particle at site ii and at the same time another particle at site jj.

Refer to caption
Figure 5: (Color online) The largest three eigenvalues of the single-particle density matrix ρ(1)\rho^{(1)} for N=6N=6.

Because the matrix ρ(1)\rho^{\left(1\right)} is Hermitian it can be diagonalized as:

ρ(1)=Nipiφiφi,\rho^{\left(1\right)}=N\sum_{i}p_{i}\,\varphi_{i}^{*}\varphi_{i}\,, (16)

where the eigenvalues pip_{i} are non-negative and satisfy the constraint ipi=1\sum_{i}p_{i}=1. For a bosonic system with N1N\gg 1, pip_{i} is closely related to the condensate fraction of the system. It is easy to see that, the system will be in a simple condensate state if and only if the largest eigenvaule is of order unity and all the other pip_{i}’s are of order O(N1)O(N^{-1}). If there are multiple pip_{i}’s of order unity, the system is said to be in a fragmented condensate because all the corresponding states have appreciable occupation numbers. Finally, if all the pip_{i}’s are of order O(N1)O(N^{-1}), then the system is not Bose condensed. It is reasonable to speculate that, at small NN, the condensate fraction versus the strength parameter γ0\gamma_{0} exhibits quantum crossover behavior. For N=6N=6 with the modulation periods d=2d=2 and d=3d=3, we plot the three largest pip_{i}’s versus γ0\gamma_{0} in Fig. 5. The figure shows that at small γ0\gamma_{0}, the system may be characterized as a simple condensate. It becomes more and more fragmented as γ0\gamma_{0} is increased. In the large γ0\gamma_{0} limit, the eigenvalues approach some steady state values and there are dd eigenvalues which are much larger than the rest. This is consistent with the earlier argument that at large γ0\gamma_{0}, the quantum many-body ground state can be roughly regarded as superpositions of the dd-fold degenerate mean-field ground states.

To further quantify the crossover from a simple condensate to a fragmented condensate, we adopt two methods as described below. In Fig. 6(a), we plot dp0/dγ0dp_{0}/d\gamma_{0} as a function of γ0\gamma_{0}, where p0p_{0} is the largest single-particle density matrix eigenvalue. In Fig. 6(b), we plot the overlap of the ground-state wave function Zanardi |G(γ0)|G(γ0+δγ)||\langle G(\gamma_{0})|G(\gamma_{0}+\delta\gamma)\rangle| for a small value of δγ=0.02\delta\gamma=0.02, where |G(γ0)|G(\gamma_{0})\rangle denotes the ground state at γ0\gamma_{0}. Both of these quantities measure how fast the characteristics of the ground state change as γ0\gamma_{0} is varied. These two measures provide consistent results: both exhibit a dip at some critical value γ0=0.84\gamma_{0}=0.84 for d=2d=2 and γ0=1.08\gamma_{0}=1.08 for d=3d=3, which we may define as the critical modulation depth where the system crosses from a simple condensate to a fragmented condensate.

Refer to caption
Figure 6: (Color online) (a) Derivative of the largest single-particle density matrix eigenvalue with respect to the interaction strength modulation depth and (b) overlap of the ground-state wave function versus γ0\gamma_{0} for the particle number N=6N=6.

IV.4 Time evolution of the survival probability

Up to now, we have focused our attention on the static properties of the ground state. The low-energy excitations of the system in the vicinity of the crossover are also important because they expose fine characteristics valuable for understanding the system dynamics in the crossover. A powerful tool to study this is the time evolution of ground state survival probability Felker ; Wang . It describes the dynamical behavior of the system’s ground state under small perturbation in parameters in the system Hamiltonian. In our problem, we parameterize the Hamiltonian using the interaction strength modulation depth γ0\gamma_{0} such that H=H(γ0)H=H(\gamma_{0}). If γ0\gamma_{0} has a small variation δγ\delta\gamma so that γ0γ0+δγ\gamma_{0}\rightarrow\gamma_{0}+\delta\gamma, the ground state’s survival probablity is defined as

M(t)=|G(γ0)|exp{iH(γ0+δγ)t}|G(γ0)|2.M(t)=\left|\left\langle G\left(\gamma_{0}\right)\right|\exp\{-iH\left(\gamma_{0}+\delta\gamma\right)t\}\left|G\left(\gamma_{0}\right)\right\rangle\right|^{2}\,. (17)

The survival probability can be considered as a special case of the quantum Loschmidt echo Peres . Incidentally, the numerical method we used to simulate our system, the TEBD algorithm, is very convenient in calculating the system’s time evolution and hence the survival probability.

We calculated the ground state survival probability M(t)M(t) and plot the results in Fig. 7 for N=6N=6 and the perturbation in γ0\gamma_{0} is δγ=0.1\delta\gamma=0.1. M(t)M(t) exhibits roughly sinusoidal oscillations in time. The amplitude of the modulation reaches the maximum near critical points which are consistent with those found in previous static study and shown in Fig. 6. Indeed, the curve for the oscillation amplitude of the ground state’s survival probability can be used to predict the overlap between the perturbed and original ground state wave functions which is plotted in Fig. 6(b). The larger the oscillation amplitude in M(t)M(t), the more sensitive the ground state wavefunction to the perturbation in the Hamiltonian.

Refer to caption
Figure 7: (Color online) The amplitude of the oscillation of the survival probability M(t)M(t) for (a) d=2d=2 and (b) d=3d=3. The inset shows the dyanmics of M(t)M(t) for different values of γ0\gamma_{0}.

V Summary

In conclusion, we have made a systematic investigation of a condensate on a nonlinear ring lattice. Our studies show that the properties of the system are sensitive to the modulation period dd of the interaction strength. In particular, the meanfield symmetry breaking phase transition is second order when the modulation period dd is 2 but first order when d>2d>2, due to competing mechanisms present in the system driving these transitions. Our full quantum mechanical treatment based on the TEBD method reveals the behavior of many important quantities that are essential to the characterization of the system physics.

That the mean-field symmetry breaking phase transition changes from second to first order when dd changes from 2 to larger than 2 is somewhat surprising. The change of the order of the phase transition may be related to the change of the length scale associated with the modulation of the scattering length: For d>2d>2, this length scale is smaller compared with d=2d=2. Recently, Mayteevarunyoo et al. studied the symmetry breaking transition in a BEC subject to a nonlinear double-well potential and found that the width of the nonlinear potential plays an important role in controlling the transition Mayteevarunyoo , a phenomenon that may be related to what we discovered in the current work. This is certainly one of the peculiar properties of nonlinear potentials that deserves further investigation.

VI Acknowledgments

This work was funded by NFRP 2011CB921204 , and NNSF (Grant Nos. 60921091, 10874170, 10875110). Z. -W. Zhou gratefully acknowledges the support of the K. C. Wong Education Foundation, Hong Kong. HP acknowledges support from U.S. NSF. The authors thank Yong-Jian Han, Biao Wu, Shi-Liang Zhu, Hui Zhai, Wu-Ming Liu and Wen-Ge Wang for helpful discussions and comments. Z. -W. Zhou appreciates the hospitality of the Kavli Institute of Theoretical Physics in Beijing, where part of this work was completed.

Appendix A Proof of the equivalence between the algebraic type and time-independent Gross-Pitaevskii equation

Following the argument in Sec. I, we obtain the Hamiltonian in the limit N1N\gg 1 as

H\displaystyle H =\displaystyle= klk2Nakalakal+iγ04Nklmnakalaman(δd+m+nkl\displaystyle\sum_{kl}\frac{k^{2}}{N}a_{k}^{\dagger}a_{l}^{\dagger}a_{k}a_{l}+\frac{i\gamma_{0}}{4N}\sum_{klmn}a_{k}^{\dagger}a_{l}^{\dagger}a_{m}a_{n}\left(\delta_{d+m+n-k-l}\right. (18)
δd+m+nkl),\displaystyle\;\left.-\delta_{-d+m+n-k-l}\right)\,,

which can be written in a simplified form:

H=1Nijklαijklaiajakal.H=\frac{1}{N}\sum_{ijkl}{\alpha_{ijkl}}a_{i}^{\dagger}a_{j}^{\dagger}a_{k}a_{l}\,. (19)

In Sec. III, we obtain the algebraic type GP equations (10) and (11) which we rewrite here as:

c0\displaystyle c_{0} =\displaystyle= ijklαijklu0iu0ju0ku0l,\displaystyle\sum_{ijkl}\,{\alpha_{ijkl}}\,u_{0i}u_{0j}u_{0k}^{*}u_{0l}^{*}\,, (20)
0\displaystyle 0 =\displaystyle= ijkl(αijkl+αijlk)[u0iu0ju0k(alu0lχ0)].\displaystyle\sum_{ijkl}\,(\alpha_{ijkl}+\alpha_{ijlk})\left[u_{0i}u_{0j}u_{0k}^{*}(a_{l}-u_{0l}^{*}\chi_{0})\right]\,. (21)

Here, there is the unitary relation: lu0lu0l=1\sum_{l}u_{0l}^{*}u_{0l}=1. Based on Eqs. (18) and (20), we have:

c0=i,j,k,lαijklu0iu0ju0ku0l=A+B,c_{0}=\sum_{i,j,k,l}\alpha_{ijkl}u_{0i}u_{0j}u_{0k}^{*}u_{0l}^{*}=A+B, (22)

where A=klk2u0ku0lu0ku0l=kk2u0ku0kA=\sum_{kl}k^{2}u_{0k}u_{0l}u_{0k}^{*}u_{0l}^{*}=\sum_{k}k^{2}u_{0k}u_{0k}^{*} and B=iγ04klmnu0ku0lu0mu0n(δd+m+nklδd+m+nkl)B=\frac{i\gamma_{0}}{4}\sum_{klmn}u_{0k}u_{0l}u_{0m}^{*}u_{0n}^{*}\left(\delta_{d+m+n-k-l}-\delta_{-d+m+n-k-l}\right). Furthermore, by considering Eq. (21), the following relation can be derived:

klk2u0ku0l(u0kal+u0lak)+iγ04klmnu0ku0l(u0man+u0nam)(δd+m+nklδd+m+nkl)=2c0χ0.\sum_{kl}k^{2}u_{0k}u_{0l}(u_{0k}^{*}a_{l}+u_{0l}^{*}a_{k})+\frac{i\gamma_{0}}{4}\sum_{klmn}u_{0k}u_{0l}(u_{0m}^{*}a_{n}+u_{0n}^{*}a_{m})\left(\delta_{d+m+n-k-l}-\delta_{-d+m+n-k-l}\right)=2c_{0}\chi_{0}\,. (23)

By taking advantage of the unitary relation: χ0=lu0lal\chi_{0}=\sum_{l}u_{0l}a_{l}, Eq. (23) can be decomposed into the following algebraic equations depending on the boson operator ala_{l}:

l2u0l+iγ02kmnu0ku0nu0m(δd+m+lknδd+m+lkn)=μu0l,l^{2}u_{0l}+\frac{i\gamma_{0}}{2}\sum_{kmn}u_{0k}u_{0n}u_{0m}^{*}\left(\delta_{d+m+l-k-n}-\delta_{-d+m+l-k-n}\right)=\mu u_{0l}\,, (24)

where μ=2c0A=c0+c0NN\mu=2c_{0}-A=c_{0}+\frac{\partial c_{0}}{\partial N}N.

The time-independent GP equation describing Bose gases on a ring with periodic scattering length is:

2θ2ψ(θ)2πγ0sin(dθ)|ψ(θ)|2ψ(θ)=μψ(θ),-\frac{\partial^{2}}{\partial\theta^{2}}\psi\left(\theta\right)-2\pi\gamma_{0}\sin(d\theta)\left|\psi\left(\theta\right)\right|^{2}\psi\left(\theta\right)=\mu\psi\left(\theta\right)\,, (25)

with the boundary condition: ψ(θ)=ψ(2π+θ)\psi\left(\theta\right)=\psi\left(2\pi+\theta\right). By replacing ψ(θ)=12πlu0leilθ\psi\left(\theta\right)=\frac{1}{\sqrt{2\pi}}\sum_{l}u_{0l}e^{-il\theta} into Eq. (25), the algebraic equations same as Eq. (24) can be derived. This demonstrates the equivalence between Eqs. (10) and (11) and the usual GP equation.

Appendix B Finding Excitation Spectrum

The Bogoliubov spectrum of quasiparticle excitations can be determined by diagonalizing operator KK as defined in Eq. (8). However, here, we can not obtain the representation of Eq. (8) using the modes {χl,χm}\left\{\chi_{l}^{\dagger},\chi_{m}\right\} because the unitary transformation UU is unknown except for its matrix elements in the first row. This difficulty can be overcome by representing the last two terms at the r.h.s. of Eq. (8) using the original mode operators {al,am}\left\{a_{l}^{\dagger},a_{m}\right\}:

K=(c0μ)N+mnAmnaman+mn(Bmnaman+h.c.),K=(c_{0}-\mu)N+\sum_{mn}A_{mn}a_{m}^{\dagger}a_{n}+\sum_{mn}(B_{mn}a_{m}a_{n}+h.c.)\,, (26)

where mnBmnaman=i,j,k,lαijklaiaj:akal:\sum_{mn}B_{mn}a_{m}a_{n}=\sum_{i,j,k,l}\alpha_{ijkl}\left\langle a_{i}^{\dagger}a_{j}^{\dagger}\right\rangle:a_{k}a_{l}: and

mnAmnaman=i,j,k,lαijkl{aiak:ajal:+ajal:aiak:+aial:ajak:+ajak:aial:}μ(nananN).\sum_{mn}A_{mn}a_{m}^{\dagger}a_{n}=\sum_{i,j,k,l}\alpha_{ijkl}\left\{\left\langle a_{i}^{\dagger}a_{k}\right\rangle:a_{j}^{\dagger}a_{l}:+\left\langle a_{j}^{\dagger}a_{l}\right\rangle:a_{i}^{\dagger}a_{k}:+\left\langle a_{i}^{\dagger}a_{l}\right\rangle:a_{j}^{\dagger}a_{k}:+\left\langle a_{j}^{\dagger}a_{k}\right\rangle:a_{i}^{\dagger}a_{l}:\right\}-\mu(\sum_{n}a_{n}^{\dagger}a_{n}-N)\,.

Here A\left\langle{A}\right\rangle refers to the amplitude of the operator AA projecting onto the operators χ0χ0\chi_{0}^{\dagger}\chi_{0}, χ0χ0\chi_{0}^{\dagger}\chi_{0}^{\dagger}, or χ0χ0\chi_{0}\chi_{0} and :A::A: refers to the corresponding component in the operator AA orthogonal to the operators (χ0χ0\chi_{0}^{\dagger}\chi_{0}, χ0χ0\chi_{0}^{\dagger}\chi_{0}^{\dagger}, χ0χ0\chi_{0}\chi_{0}). For instance,

aiaj:akal:=u0iu0j(aku0kχ0)(alu0lχ0).\left\langle a_{i}^{\dagger}a_{j}^{\dagger}\right\rangle:a_{k}a_{l}:=u_{0i}u_{0j}\left(a_{k}-u_{0k}^{*}\chi_{0}\right)\left(a_{l}-u_{0l}^{*}\chi_{0}\right).

To find the energy spectrum for quasiparticle excitation, a generalized Bogoliubov method ( see reference Milstein ) can be used to diagonalize Eq. (26). Briefly, by introducing the row and column vectors

ς=(aa),ς=(aa)\varsigma=\binom{a}{a^{\dagger}},\quad\varsigma^{\dagger}=\left(a^{\dagger}a\right) (27)

and defining the matrix

M=(A2B2BA)M=\left(\begin{array}[]{ccc}A&2B\\ 2B^{*}&A^{*}\end{array}\right) (28)

we may rewrite the operator KK as:

K=(c0μ)N+12ςMς12TrA.K=(c_{0}-\mu)N+\frac{1}{2}\varsigma^{\dagger}M\varsigma-\frac{1}{2}{\rm Tr}A\,. (29)

Here, the matrix A=[Amn]A=\left[A_{mn}\right] and the matrix B=[Bmn]B=\left[B_{mn}\right]. Now KK can be diagonalized by introducing the appropriate canonical transformation TT: β=Tς\beta=T\varsigma. Finally, the operator KK has the diagonal form:

K=(c0μ)N+12βηTηMT1β12TrA,K=(c_{0}-\mu)N+\frac{1}{2}\beta^{\dagger}\eta T\eta MT^{-1}\beta-\frac{1}{2}{\rm Tr}A\,, (30)

where the matrix η=I(I)\eta=I\oplus(-I) and TηMT1T\eta MT^{-1} is a diagonal matrix.

References

  • (1) I. Bloch, J. Dalibard, and W. Zwerger, Rev. Mod. Phys. 80, 885 (2008).
  • (2) Yaroslav V. Kartashov, Boris A. Malomed, and Lluis Torner, arXiv:1010.2254, to appear in Rev. Mod. Phys.
  • (3) Lisa C. Qian, Michael L. Wall, Shaoliang Zhang, Zhengwei Zhou, and Han Pu, Phys. Rev. A 77, 013611 (2008).
  • (4) R. Kanamoto, H. Saito, and M. Ueda, Phys. Rev. A 67, 013608 (2003).
  • (5) G. Vidal, Phys. Rev. Lett. 91, 147902 (2003); ibid, 93, 040502 (2004).
  • (6) B. Schmidt, L. I. Plimak, and M. Fleischhauer, Phys. Rev. A 71, 041601(R) (2005); B. Schmidt, and M. Fleischhauer, Phys. Rev. A 75, 021601(R) (2007).
  • (7) I. Danshita and P. Naidon, Phys. Rev. A 79, 043601 (2009).
  • (8) See http://physics.mines.edu/downloads/software/tebd/
  • (9) V. Coffman, J. Kundu, and W. K. Wootters, Phys. Rev. A 61, 052306 (2000).
  • (10) O. Penrose and L. Onsager, Phys. Rev. 104, 576 (1956).
  • (11) A. J. Leggett, Quantum Liquids, Oxford University Press (2006).
  • (12) P. Zanardi and N. Paunkovic´\acute{c} Phys. Rev. E 74, 031123 (2006).
  • (13) P. Felker and A. Zewail, Adv. Chem. Phys. 70, 265 (1988).
  • (14) W. G. Wang, P. Qin, L. He, and P. Wang, Phys. Rev. E 81, 016214 (2010).
  • (15) A. Peres, Phys. Rev. A 30, 1610 (1984).
  • (16) T. Mayteevarunyoo, B. A. Malomed, and G. Dong, Phys. Rev. A 78, 053601 (2008).
  • (17) J. N. Milstein, The doctoral dissertation: ‘From Cooper Pairs to Molecules: Effective field theories for ultra-cold atomic gases near Feshbach resonances’ (University of Colorado), p118-120 (2004).