Abstract
We show that, depending on the ratio between the inter- and the intra-species interactions, a binary mixture trapped in a three-well potential with periodic boundary conditions exhibits three macroscopic ground-state configurations which differ in the degree of mixing. Accordingly, the corresponding quantum states feature either delocalization or a Schrödinger cat-like structure. The two-step phase separation occurring in the system, which is smoothed by the activation of tunnelling processes, is confirmed by the analysis of the energy spectrum that collapses and rearranges at the two critical points. In such points, we show that also Entanglement Entropy, a quantity borrowed from quantum-information theory, features singularities, thus demonstrating its ability to witness the double mixining-demixing phase transition. The developed analysis, which is of interest to both the experimental and theoretical communities, opens the door to the study of the demixing mechanism in complex lattice geometries.
Similar content being viewed by others
Introduction
Spatial phase separation of the atomic species forming a binary bosonic mixture represents a rather intuitive phenomenon in which a sufficiently strong inter-species repulsion is able to localize the two components in separated domains thus breaking the spatial symmetry of the system. This phase transition has attracted considerable attention1,2,3,4,5 within the physics of binary condensates and the mechanism of phase separation, investigated in the condensate mean-field picture, has revealed a nontrivial dependence from trapping potentials, the boson number of each species and other significant parameters of the system. In parallel, dynamical stability and the emergence of excited states of binary mixtures have been thoroughly studied in the transition regime to the immiscible phase6,7,8,9.
The realization of optical lattices10,11,12 and the trapping of binary mixtures therein13,14,15 have further stimulated the theoretical study of mixtures with the aim to understand their properties when the inter-species coupling combines with the effect of spatial fragmentation of the two species in the potential wells forming the lattice. An extraordinarily rich scenario has resulted from this work which, in addition to phase separation16,17,18,19, has explored the emergence of exotic magnetic-like phases20,21 and quantum emulsions22, the deformation of Mott domains due to the presence of a second species23, the formation of polaron excitations24, the inter-species entanglement25, the modulation instability in the separation regime26 and the excitation of persistent currents in a ring lattice27.
Recently, the spatial phase separation of a binary quantum fluid has been investigated by considering two bosonic species trapped in the simplest two-well potential. The resulting model, a two-species Bose-Hubbard Hamiltonian, allows one to perform a fully analytic derivation of the critical condition characterizing the space-localization effects28,29. In addition to highlight how phase separation is marked by the spectral collapse of energy levels (an effect already observed for spin chains and dipolar bosons in a trimer30,31), this study reproduces, in the presence of large boson numbers, the well known critical value W/U = 1 (which links the inter-species interaction W and the intra-species interaction of twin species with U = Ua = Ub) characterizing the spatial separation in large-size lattices at zero temperature18. Apparently, neither the space fragmentation of the two species among the potential wells representing the lattice sites nor the size of the lattice significantly affect the spatial phase separation expected for \(W/U > 1\).
Unexpected features are found to characterize the species transition to the demixed state when considering a binary fluid at zero temperature whose two components are distributed in a three-well potential. This becomes evident when the interspecies interaction, the control parameter driving demixing, is varied. The three-well system reveals a separation mechanism totally different from that observed in a binary mixture distributed in a two-well potential. The nontrivial character of the transition from the regime with totally-mixed components to the regime with fully-separated components is that such regimes are intercalated by an intermediate phase where a partial phase separation takes place in two of the three wells while in the remaining one the two components are still completely mixed. Only a further increase of the interaction ratio W/U is able to remove the residual mixing leading to a complete space separation. Space fragmentation of the two components in three wells thus have a considerable effect on their separability properties.
The triple-well system in a ring geometry, essentially consisting in a three-site Bose-Hubbard model, has attracted large attention due to the rich scenario of dynamical behaviours including instabilities32, vortex states33, coherent34 and π–phase35 tunnelling. The model describing a binary mixture in a triple well is effectively represented by two Bose-Hubbard Hamiltonians, each one associated to a single component and depending on three spatial boson modes, and by the density-density interspecies coupling of the two components. This has the form
where j = 4 ≡ 1 due to the periodic boundary conditions, Ta and Tb are the hopping amplitudes, Ua and Ub the intra-species repulsive interactions, and W represents the inter-species repulsion. Aj and Bj are standard bosonic operators, having commutators \([{A}_{j},{A}_{k}^{\dagger }]={\delta }_{j,k}=[{B}_{j},{B}_{k}^{\dagger }]\), and \([{A}_{j},{B}_{k}^{\dagger }]=0\). After defining number operators \({N}_{j}={A}_{j}^{\dagger }{A}_{j}\) and \({M}_{j}={B}_{j}^{\dagger }{B}_{j}\), we recall that total boson numbers \(N={\sum }_{j}{N}_{j}\) and \(M={\sum }_{j}{M}_{j}\) of both species represent conserved quantities, namely, \([\hat{H},N]=[\hat{H},M]=0\). We shall consider a mixture with twin condensates where Ua = Ub = U and Ta = Tb = T. Slight deviations Ua ≠ Ub and Ta ≠ Tb from this ideal case, as one expects to observe in real systems, can be shown to not alter in a significant way our results.
Results
The study of the equilibrium configurations of a bosonic binary mixture in a three-well potential (trimer), reveals how, according to the ratio between the interspecies and the intraspecies repulsion, W/U, three different families of qualitatively different ground states emerge in the zero-temperature regime. The main effect analysed in this paper, the two-step process where different mixing-demixing phase transitions are triggered by a change in W/U, is (a) investigated by means of a semiclassical approach to determine the ground-state configurations, (b) shown to be related to the collapse and rearrangement of the energy spectrum, (c) characterized in terms of quantum-correlation properties (entanglement entropy) between two parts of the systems.
Demixing transitions
It is advantageous to investigate spatial phase separation by reformulating Hamiltonian (1) within the continuous variable picture (CVP) described in the section Methods. This allows one to replace \(\hat{H}\) with an effective Hamiltonian operator typically providing a satisfactory representation of low energy states. In particular, the CVP approach allows one to reduce the search for the ground state of Hamiltonian (1) to the one for the minimum of the following effective potential:
where variables xi and yi (i = 1, 2, 3) are normalized boson numbers, entailing that xi, yi ∈ [0, 1] and that z1 + z2 + z3 = 1, (z = x, y) due to particle number conservation and Ta = Tb =:T, Ua = Ub =:U. Notice that only many-body states with the same fixed number N = M of bosons for the two species are considered. The configuration \((\overrightarrow{x},\overrightarrow{y})\) which minimizes the effective potential V* is determined, at first, when the tunnelling T is suppressed. In this situation, in fact, it is possible to carry out a fully analytic study (see Methods section), capable of illustrating the physics of the problem in a particularly simple and effective way. The results, sketched in Fig. 1, can be summarized as follows:
-
(i).
For small W/U values (more specifically, if W/U ∈ [0, 1)), the two species are delocalized and uniformly distributed in the trimer, thus entailing a perfect mixing.
-
(ii).
(For moderate W/U values (namely, if W/U ∈ (1, 2)), the demixing occurs in two out of the three wells, while, in the third well, the species are still mixed. Of course, due to the symmetry of the trimer system, no well is favoured compared to the others, and, as a consequence, there are three configurations \((\overrightarrow{x},\overrightarrow{y})\) which minimize the effective potential V*. Among such configurations, which are equal up to a cyclic permutation of the site labels, the one that we have illustrated in Fig. 1 is
$$\begin{array}{rcl}{x}_{1} & = & 0\\ {y}_{1} & = & \frac{1+\frac{W}{U}}{2+\frac{W}{U}}\end{array}\,\,|\begin{array}{rcl}{x}_{2} & = & \frac{1+\frac{W}{U}}{2+\frac{W}{U}}\\ {y}_{2} & = & 0\end{array}|\,\,\begin{array}{rcl}{x}_{3} & = & \frac{1}{2+\frac{W}{U}}\\ {y}_{3} & = & \frac{1}{2+\frac{W}{U}}\end{array}$$Quantum-mechanically, the degeneracy associated to the three minimum-energy configurations leads to the formation of a non-degenerate ground state |Ψ0〉 which is a three-sided Schrödinger cat, i.e. a state of the type
$$|{{\rm{\Psi }}}_{0}\rangle =\frac{1}{\sqrt{3}}\sum _{j=1}^{3}|{\psi }_{j}\rangle $$(3)where each |ψj〉 corresponds to a different macroscopic configuration. Our analysis, which is semiclassical, breaks the symmetry of the problem and considers just one side of the cat, the one defined above and sketched in Fig. 1. It is interesting to observe that, crossing the critical point W/U = 1, the populations of site 1 and site 2 exhibit discontinuities, i.e. jumps from the uniform configuration x1 = y1 = x2 = y2 = 1/3 to the characteristic values 2/3 and 0. Conversely, functions x3(W/U) and y3(W/U) are continuous in W/U = 1. Increasing the ratio W/U from 1 to 2, the third site (where the two bosonic species coexist) gradually looses bosons, while the first and the second site (each one hosting just one species) become more and more populated. For W/U → 2−, the first well hosts 3/4 of species-b bosons, while the second well hosts 3/4 of species-a bosons. The remaining parts coexist in the third well in equal measure.
-
(iii).
For big W/U values (i.e., for \(W/U > 2\)), the two species completely demix. One of them conglomerates in one site, while the other one spreads on the remaining two sites. This situation corresponds to 6 possible scenarios, i.e. to 6 configurations \((\overrightarrow{x},\overrightarrow{y})\) minimizing the effective potential V*. In fact, if configuration \(({\overrightarrow{x}}^{\ast },{\overrightarrow{y}}^{\ast })\) is a minimum for V*, also the two configurations obtained by cyclic permutations of the site labels are minima for V*. Moreover, as the species we are considering feature the same hopping amplitude T and the same on-site repulsion U, the configurations where species-a conglomerates must not be favoured to the configurations where it is species-b the one that conglomerates. In other words, the energy of the system remains equal after the exchanges xi ↔ yi (i = 1, 2, 3). The presence of 6 minimum-energy configurations in the classical analysis corresponds to a quantum ground state Ψ0 which is a six-faced Schrödinger cat, i.e. a state of the type
where each |ψj〉 is a state corresponding to a certain macroscopic configuration. In Fig. 1 we have broken such symmetry and plotted just one of the 6 possible configurations.
As illustrated in Fig. 2, for non-zero hopping amplitudes T, the critical points move rightward (i.e., the transitions occur at bigger values of W/U). It is possible to show with a fully analytic computation based on the request that Hessian matrix (11) must be positive definite (see Methods section), that the first mixing-demixing phase transition onsets at
a value which is greater than 1, mirroring the fact that tunnelling T favors the mixed phase and delays the occurrence of the first demixing. On the other hand, one can notice that the effect of T is smaller and smaller as the number of bosons, N, increases and, in the thermodynamic limit, it becomes negligible. In such limit, the scenario is again the one depicted in Fig. 1.
Collapse and rearrangement of the energy spectrum
The dramatic change in the ground state qualitative structure occurring at the two critical values of W/U is mirrored by a deep rearrangement of the energy spectrum across these two transition points. As shown in Fig. 3, the energy levels (obtained by means of an exact diagonalization of Hamiltonian (1)) tend to collapse in the neighborhood of the critical values, meaning that the energy cost to create excitations (or, more generally, the interlevel distance) tends to vanish. This effect is more evident increasing the number of bosons N and/or decreasing the hopping amplitude T.
Entanglement entropy as a critical indicator
As is well known, the entanglement entropy (EE) quantifies the quantum correlation between two parts of a physical system through the Von Neumann entropy of a suitably defined sub-system36,37. In this work, the physical system is of course the binary mixture, the two parts correspond to the two different atomic species and, therefore, the EE describes the quantum correlation between them (see Methods section for a detailed mathematical definition). As shown in Fig. 4, this indicator strongly depends on the specific phase of the system which, in turn, is determined by the ratio W/U. In the completely mixed phase, i.e. for W/U smaller than the critical value (5), the EE steadily increases as W/U increases, despite the fact that semiclassical boson populations remain constant (uniformly distributed on the three wells). Notice that EE → 0 for W/U → 0 because, in this limit, the species are decoupled. At the two critical values of W/U, the EE features peaks, which not only indicate that the two mixtures are strongly entangled, but also allow to clearly distinguish the three different phases. Such peaks are sharper if T/U is smaller, that means that the effect of the hopping amplitude is to smooth the mixing-demixing transition. For W/U greater than the second critical value, the demixing gets more and more complete and the EE approaches the limiting value \({log}_{2}\mathrm{(6)}\). According to standard notions of Quantum Information Theory and to applications thereof in the field of ultracold bosons35,36, the emergence of this value can be appreciated by recalling that there are 6 possible ways of realizing a completely demixed semiclassical configuration which, in turn, equally contribute to the formation of a unique quantum ground state of the type (4).
Discussion
We have investigated the two-step phase separation of a binary mixture in a trimer, highlighting the presence of an intermediate phase, which is neither completely mixed nor completely demixed. This element originates from the fact that the number of sites is odd and it is absent in the two-well system28,29, where there is a one-step transition from a fully mixed to a fully demixed configuration.
The problem of determining the ground state has been reduced, by means of the CVP approach (see Methods section), to the search for the minimum-energy configuration of effective potential (2). The latter features an effective energy landscape whose minimum points are formed or disappear depending on the ratio W/U. We start analyzing the situation where the tunnelling T is suppressed. This case is of particular importance not only because it is associated with fully analytic results, but also because it captures the system behavior in the large N limit. As explained in the Methods section, the search for the global minimum of function (2) is not trivial, as one has to take into account that the global minimum is not necessarily a stationary point. A careful analysis, based on a systematic exploration of the domain boundary leads to the identification of three different phases, which qualitatively differ in the degree of mixing and spatial localization (see Fig. 1).
The activation of the hopping amplitude T makes the model more realistic but does not distort the scenario, which is still marked by two critical points. From a technical point of view, the search for the minimum energy configuration is simpler because T constitutes a regularizing term which prevents the points of minimum from falling on the boundary. The exploration of the domain boundary is therefore no longer necessary and it is enough to look just for local points of minimum in the interior of the domain. This conceptual simplification comes with the impossibility of analytically solving the resulting system of (10). With reference to Fig. 2, where numerical results are plotted, one can observe that bigger W/U values are needed to trigger the demixing transitions which, in turn, are less abrupt. To test their reliability, we have compared CVP’s predictions to the results obtained by means of exact numerical diagonalization. Figure 5 shows that the two mixing-demixing phase transitions occur at the same critical values of W/U and, more generally, that the semiclassical approach and the purely quantum scenario are in good agreement. Notice that we chose not to plot the expectation values of boson populations in the ground state (e.g. 〈Ψ0|Nj|Ψ0〉) because one would obtain the average over the different macroscopic configurations constituting the cat-states and, therefore, the constant value N/3, irrespective of the ratio W/U. Instead, we have determined, sweeping the parameter W/U, the most probable configuration i.e. the Fock state associated to the biggest (square modulus of the) coefficient in the decomposition of the ground state. It is interesting to notice that function (2) features a unique minimum in the uniform and fully mixed phase, three isoenergetic points of minimum in the intermediate phase and six isoenergetic points of minimum in the fully demixed phase. These degeneracies in the semi-classical energy landscape are resolved, quantum mechanically, with the formation of cat-states of the type (3) and (4) respectively.
The phase diagram of the binary mixture on a three-well potential, sketched in Fig. 6, has been determined numerically solving systems (10) and (12), and checking that the obtained stationary point actually is a minimum point for effective potential (2). Purple solid lines represent critical condition (5) derived analytically while no analytic expression can be found to define the orange dashed lines due to the complex nonlinear character of (10). These lines have been plotted on the basis of numerical data (see Methods section for details).
The double critical behaviour exhibited by the system upon a variation of W/U can be evidenced also from the energy-spectrum standpoint29. As shown in Fig. 3, whose data have been obtained by means of an exact (numerical) diagonalization of Hamiltonian (1), the energy levels tend to collapse in the neighborhood of the two critical points and have different arrangements in the three phases. One can recognize, for example, families of energy levels which are clearly distinct in the first two phases while tend to overlap in the third one. Approaching the limiting case T → 0 (note that this can be shown to be equivalent to taking N → +∞), the collapses are more and more evident and the points where they take place tend to W/U = 1 and W/U = 2. The low-energy excitations spectrum of a binary mixture in the uniform and completely mixed phase was determined for a generic L−site ring by means of a group-theoretic approach27 combined with the Bogoliubov scheme. Choosing L = 3 sites, the condition corresponding to the collapse of a Bogoliubov frequency exactly reproduces (5), which gives the onset of the first mixing-demixing phase transition. One can thus appreciate the fact that the range of validity of the quasi-particles Bogoliubov spectrum exactly corresponds to the region of parameters space where the system is in the uniform and fully mixed phase. This analysis is confirmed by the behaviour of the ground state energy \({E}_{0}=\langle {\psi }_{0}|\hat{H}|{\psi }_{0}\rangle \) of Hamiltonian (1). E0 has been numerically evaluated as a function of parameter W/U, for different values of T/U. The results, illustrated in Fig. 7, show, for T/U → 0 (or, equivalently, for N → +∞), the emergence of two critical points at W/U = 1 and W/U = 2. In such points, the ground state energy features discontinuities in the first derivative, a circumstance which suggests the onset of a quantum phase transition. The systematic study of this double phase transition will be developed elsewhere in the same spirit of the localization-delocalization transition in the Bose-Hubbard trimer38.
Quantities traditionally belonging to quantum information theory have been used to highlight the occurrence of quantum phase transitions39,40,41,42,43,44. Among the others, Entanglement Entropy has proved to be particularly effective in detecting the quantum criticality of the localization transition in a bosonic Josephson junction45. This indicator, which measures the degree of entanglement between two parts of a given system through the Von Neumann entropy of a reduced subsystem, has been shown to be sensible also to the mixing-demixing phase transition occurring in a two-species bosonic mixture loaded in a dimer28 and to be robust with respect to the change of partition scheme36. As explained in the Methods section, one starts from the density matrix associated to the ground state, i.e. from \({\hat{\rho }}_{0}=|{\psi }_{0}\rangle \langle {\psi }_{0}|\). Then, a partition scheme aimed at identifying two sub-systems is chosen. In our case one sub-system corresponds to species-a bosons while the other one corresponds to species-b bosons. The density matrix of a reduced subsystem, \({\hat{\rho }}_{\mathrm{0,}a}={{\rm{Tr}}}_{b}({\hat{\rho }}_{0})\), is obtained by tracing out the degrees of freedom of the other one (see formula (13)). One thus remains with the reduced density matrix of a mixed state and the Von Neumann entropy there of (14) corresponds to the entanglement between the two sub-systems, namely between the two bosonic species.
By means of the exact (numerical) diagonalization of Hamiltonian (1), we have computed the EE as a function of W/U for different values of T/U. The results, illustrated in Fig. 4 and discussed in the previous section, not only demonstrate the ability of EE to capture the double critical behaviour of the system upon a variation of W/U, but also witness the formation of 6-faced cat-like states of the type (4) for large W/U values. Notice, in fact, that, for W/U → +∞, the EE tends to the limiting value \({log}_{2}\mathrm{(6)}\), where the number 6 is the number of different semiclassical configurations \((\overrightarrow{x},\,\overrightarrow{y})\) which minimize effective potential (2) when \(W/U\gg 3\).
In this work, we have evidenced a phase separation mechanism considerably more complex than the one occurring in a two-well system28,29,36. The presence of an intermediate phase, which stands between the uniformly mixed configuration and the completely demixed phase, opens the door to the study of the phase separation mechanism in rings having an even or an odd number of sites and, more generally, in more complex lattice topologies. An illustrative example is shown in Fig. 8, where we consider a 4-well ring lattice. The CVP approach leads to a generalization of effective potential (2) which, in the case of vanishing tunnelling and at the transition point W/U = 1, can be shown to be minimized by any macroscopic configuration of the type yj = 1/2 − xj, with j = 1, 2, 3, 4 (four of them are shown in Fig. 8). As soon as \(W/U > 1\), this degeneracy is broken and one macroscopic configuration gets energetically more favorable. The determination (a) of the ground state configuration when \(W/U > 1\) and for a generic number of sites \(L > 3\), (b) of possibly manifold intermediate phases and (c) the exploration of the potential-V* domain represented by high-dimensional polytopes (see the section Methods) indeed constitute complex problems which require a separate extended analysis. Their solution will be addressed in a future work.
Methods
The continuous variable picture
An effective study of the ground state configuration of multimode BH Hamiltonians can be carried out by reformulating single-site populations Nj and Mj in terms of continuous variables xj = Nj/N and yj = Mj/M29,38,46,47,48. This approximation, valid if the numbers of bosons \(N={\sum }_{j=1}{N}_{j}\) and \(M={\sum }_{j=1}{M}_{j}\) are large enough, allows one to associate a certain Fock state \(\overrightarrow{N},\overrightarrow{M}={N}_{1},\ldots ,{N}_{L},{M}_{1},\ldots ,{M}_{L}\) to state \(\overrightarrow{x},\overrightarrow{y}={x}_{1},\ldots ,{x}_{L},{y}_{1},\ldots ,{y}_{L}\), i.e. to identify quantum numbers \({N}_{j},\,{M}_{j}\in {\mathbb{N}}\) with labels xj, yj ∈ [0, 1]. In this perspective, creation and annihilation processes Nj → Nj ± 1 (Mj → Mj ± 1) correspond to small variations xj → xj ± εa (yj → yj ± εb), where \({\varepsilon }_{a}=\mathrm{1/}N\ll 1\) (\({\varepsilon }_{b}=\mathrm{1/}M\ll 1\)). This scheme leads to a new effective Hamiltonian written in terms of coordinates xj, yj and of their generalized conjugate momenta38. Accordingly, in the CVP framework, the relevant eigenvalue problem \(\hat{H}|E\rangle =E|E\rangle \) (after expanding quanity \(\hat{H}|E\rangle \) up to the second order) can be recast as
The application of this rather versatile approximation scheme to Hamiltonian (1) (which describes a binary mixture confined in a three-well optical lattice with periodic boundary conditions) leads to an effective eigenvalue problem of the type (6) where
is the generalized Laplacian and
is the generalized potential. The latter can be used to obtain meaningful information about the ground-state structure as a function of the model parameters. Notice that, in the CVP framework, expressions \(N={\sum }_{j=1}^{3}{N}_{j}\) and \(M={\sum }_{j=1}^{3}{M}_{j}\), giving the particle numbers conservation, read \(1={\sum }_{i=1}^{3}{x}_{i}\) and \(1={\sum }_{j=1}^{3}{y}_{j}\) respectively. This circumstance entails that the two terms proportional to εa and εb represent constant quantities. Effective potential (2) is obtained by choosing Ta = Tb =: T, Ua = Ub =: U and N = M.
Minimum-energy configuration for T = 0: geometric approach on a polytope-like domain
If the tunnelling is suppressed, effective potential (2) simplifies as follows
where x3 = 1 − x1 − x2 and y3 = 1 − y1 − y2 are, actually, dependent variables. The minimum-energy configuration corresponds to the global minimum of \({\nu }({x}_{1},{x}_{2},{y}_{1},{y}_{2})\), which is a function \({\nu }:{\mathscr{D}}\subset {{\mathbb{R}}}^{4}\to {\mathbb{R}}\). The domain \({\mathscr{D}}\) is a 4-polytope, consisting in the direct product of two triangular regions in \({{\boldsymbol{{\mathbb{R}}}}}^{2}\), as shown in Fig. 9 (left panel). Computing the gradient with respect to the four independent variables, one finds that the only stationary point is the one associated to the uniform configuration, i.e x1 = x2 = y1 = y2 = 1/3, corresponding to
The eigenvalues of the associated Hessian matrix show that this stationary point is a minimum provided that W < U. Notice that, in general, computing the stationary points does not necessarily give the global minimum. The latter, in fact, can live on the boundary of the domain \({\mathscr{D}}\), in a point where the four-dimensional gradient is not well defined. So, one has to compare the value of \({\nu }\) at the local minimum, i.e. N2(U + W)/3, with the values of \({\nu }\) at the boundary of \({\mathscr{D}}\).
The exhaustive exploration of the domain boundary is a fortiori necessary when W > U i.e. when the stationary point x1 = x2 = y1 = y2 = 1/3 is no longer a minimum, a circumstance which entails that the global minimum lives on the domain boundary. The complexity of our problem is due to the fact that the domain of \({\nu }\) is four-dimensional and so its boundary is the union of six three-dimensional objects of the type sketched in Fig. 9 (right panel). Each of them corresponds to a Cartesian product \({I}_{j}^{\text{'}}\times {{\mathscr{T}}}_{x}\) and \({I}_{j}\times {{\mathscr{T}}}_{y}\) (where Ij and \({I}_{j}^{\text{'}}\), with j = 1, 2, 3 are the edges of triangles \({{\mathscr{T}}}_{x}\) and \({{\mathscr{T}}}_{y}\), respectively) and constitutes the domain of a 3-variable function obtained by introducing an additional constraint in formula (7). In the same spirit, the global minimum of these constrained functions must be searched not only in the interior of their domain (imposing the stationarity of a three-dimensional gradient), but also on their boundaries, by means of an exhaustive exploration thereof. One therefore iterates this process looking for stationary points, at first inside the volume, then on the faces, on the edges (employing, at each step, a lower-dimensional gradient) and, eventually, evaluates the function at the vertices of this 3D region. The resulting set of candidates for the global minimum is such that each local minimum is linked to an existence condition (typically, an inequality in the one-dimensional space W/U) on the sub-domain where it was found. The global minimum, in each interval of the space W/U, is determined by comparing all the possible candidates. In the following we sketch the application of this rather general scheme to our problem.
We start fixing x1 = 0. Notice that the other possible ways of fixing the first variable, i.e. x2 = 0, x2 = −x1 + 1, y1 = 0, y2 = 0 and y2 = −y1 + 1 would lead to minimum-energy configurations which are equivalent up to cyclic permutations of the indexes and/or species labels swapping. The resulting constrained function
is defined on the prism represented in the right panel of Fig. 9. The stationary point of this 3-variables function, computed imposing \({\nabla }_{{x}_{2},{y}_{1},{y}_{2}}{{\nu }}_{3}=\mathrm{(0,}\,\mathrm{0,}\,\mathrm{0)}\) is a local minimum of \({{\nu }}_{3}\) if W < U but it must be discarded because the corresponding value of \({\nu }\) is greater than (8). Let us focus on the 5 faces of this prism. Each face is fixed by introducing an additional constraint. As an example, face ABC is the domain of function
Computing the gradient, \({\nabla }_{{y}_{1},{y}_{2}}\) one finds that there is one stationary point, which is \(({y}_{1}=\frac{U+W}{3U},{y}_{2}=\frac{U+W}{3U})\). This is a minimum (both eigenvalues of the Hessian matrix bigger than 0) in the domain of interest iff W < U/2. Nevertheless, the corresponding value of \({\nu }\) is smaller than the uniform-configuration value (8) just for W > U. But, in this range, this stationary point is no longer a minimum, so it must be discarded. The analysis of the 5 faces, carried out according to this scheme, leads to the conclusion that, for 1 < W/U < 2, there are 2 minimum-energy configurations
and
Notice that these two configurations are equivalent up to a permutation of site indexes. The first one has been plotted in Fig. 1.
The 9 edges of the solid of Fig. 9 (right panel) are identified by fixing an additional constraint. Their analysis shows that local iso-energetic points of minimum are present in segments CB DF and CF. Such minimum energy configurations are equal up to permutation of site indexes and/or species labels swapping. For example, segment CB is the domain of function
Computing the derivative, \(\frac{d}{d\,{y}_{1}}\), one finds that there is only one stationary point, which is \({y}_{1}=\frac{1}{2}\). Computing the second order derivative one can verify that this stationary point is always a local minimum in the physical interval [0, 1]. The corresponding value \(\frac{3}{4}U{N}^{2}\) of \({\nu }\), is less than the one found in faces ACFD and CBEF provided that W > 2U. Eventually, the analysis of the 6 vertices does not give any further minimum-energy configuration.
The search for the minimum-energy configuration for T ≠ 0
The minimum-energy configuration is the configuration \((\overrightarrow{x},\,\overrightarrow{y})=({x}_{1},\,{x}_{2},{x}_{3},{y}_{1},{y}_{2},{y}_{3})\) which minimizes effective potential (2). The presence of a non-vanishing T constitutes a regularizing term which makes the exploration of the domain boundary no longer necessary. This fact, verified numerically, can be understood in physical terms because the presence of T ≠ 0 makes configurations where one or more populations are exactly zero impossible. To compute the minimum-energy configuration, one therefore imposes stationary conditions for effective potential V* in which x3 = 1 − x1 − x2 and y3 = 1 − y1 − y2 take into account the boson number conservation. The resulting system of equations is
and the explicit form thereof is
In general, it is not possible to find all the possible solutions of this system in a closed form and one needs to resort to numerical methods. Boson populations shown in Fig. 2 not only fulfill system (10), but have been checked (by evaluating the eigenvalues of each associated Hessian matrix), to be minimum points of the effective potential (2). As already mentioned, Fig. 2 illustrates a particular family of solutions, meaning that those configurations which are obtained by means of cyclic permutations of site indexes and/or by species-labels swapping, are still solutions of system (10) and therefore points of minimum of (2).
It is worth noticing that a particularly simple and significant solution of system (10) is the one which corresponds to the uniform configuration x1 = x2 = y1 = y2 = 1/3. This stationary point is a minimum of (2) provided that the associated Hessian matrix
is definite positive, a condition which is verified iff W/U < 1 + (9T)/(2UN). This argument proves the correctness of critical value (5), presented in the main text and corresponding to purple solid lines in Fig. 6.
An effective way to reduce the complexity of system (9) (and possibly simplify its numerical solution) comes from the symmetry which marks the boson populations when the system is in phase (ii) (see central regions of Fig. 2 panels). In such phase, i.e. for moderate W/U values, one can notice, in fact, that y2 = x1 and y1 = x2, two constraints that allow to rewrite system (9) as
The orange dashed lines in Fig. 6, which constitute the border between the intermediate and the fully demixed phase, have no analytical expression and correspond to those solutions of system (12) which are no longer minimum points for effective potential (2), i.e. to stationary points for which at least one Hessian-matrix eigenvalue vanishes. Incidentally, critical condition (5), obtained “from the left” by means of Hessian matrix (11), can be obtained “from the right” also. This can be understood by linearizing (12) around the known solution \(({x}_{1}=\frac{1}{3},{x}_{2}=\frac{1}{3})\). Substituting \({x}_{1}=\frac{1}{3}-\,{\varepsilon }_{1}\) and \({x}_{2}=\frac{1}{3}+{\varepsilon }_{2}\) and expanding up to the first order for ε1 → 0 and ε2 → 0, one gets
This linear system admits non-trivial solutions provided that the determinant is zero, a condition which leads, again, to critical value (5).
Entanglement Entropy
Let us consider the system ground state, |ψ0〉 and let us choose, as a basis, the set |n1, n2, N − n1 − n2, m1, m2, M − m1 − m2〉 (notice that, for the sake of clarity, N (M) indicates the total number of bosons of species a (b)). It is therefore possible to expand |ψ0〉 with respect to this basis:
where
As a consequence, the density matrix associated to the system ground state reads:
This is the density matrix of a pure state and so one can check that it is hermitian, it has unitary trace, it is equal to its square, and its eigenvalues are all zero except for one which is 1.
A possible and quite natural way to sub-divide the system into two partitions leads to consider the entanglement between the two condensed species. The basis relevant to the sub-system “species A” is {|n1, n2, N − n1 − n2〉} while the basis relevant to the sub-system “species B” is {|m1, m2, M − m1 − m2〉}. It is possible to compute the reduced density matrix relevant to the “species A” by tracing out the degrees of freedom relevant to “species B”
where
This is the reduced density matrix of a mixed state, whose Von Neumann entropy
(where λj′s are the eigenvalues of \({\hat{\rho }}_{\mathrm{0,}a}\)) corresponds to the EE between the two parts of the global system.
References
Ho, T.-L. & Shenoy, V. B. Binary mixtures of Bose condensates of alkali atoms. Phys. Rev. Lett. 77, 3276–3279 (1996).
Pu, H. & Bigelow, N. P. Properties of two-species Bose condensates. Phys. Rev. Lett. 80, 1130–1133 (1998).
Öhberg, P. & Stenholm, S. Hartree-fock treatment of the two-component Bose-Einstein condensate. Phys. Rev. A 57, 1272–1279 (1998).
Esry, B. D. & Greene, C. H. Spontaneous spatial symmetry breaking in two-component Bose-Einstein condensates. Phys. Rev. A 59, 1457–1460 (1999).
Svidzinsky, A. A. & Chui, S. T. Symmetric-asymmetric transition in mixtures of Bose-Einstein condensates. Phys. Rev. A 67, 053608 (2003).
Kasamatsu, K. & Tsubota, M. Modulation instability and solitary-wave formation in two-component Bose-Einstein condensates. Phys. Rev. A 74, 013617 (2006).
Melé-Messeguer, M., Juliá-Díaz, B., Guilleumas, M., Polls, A. & Sanpera, A. Weakly linked binary mixtures of F = 1 87Rb Bose–Einstein condensates. New Journal of Physics 13, 033012 (2011).
Ticknor, C. Excitations of a trapped two-component Bose-Einstein condensate. Phys. Rev. A 88, 013623 (2013).
Lee, K. L. et al. Phase separation and dynamics of two-component Bose-Einstein condensates. Phys. Rev. A 94, 013602 (2016).
Jaksch, D. & Zoller, P. The cold atom Hubbard toolbox. Annals of Physics. Special Issue. 315, 52–79 (2005).
Bloch, I., Dalibard, J. & Zwerger, W. Many-body physics with ultracold gases. Rev. Mod. Phys. 80, 885–964 (2008).
Yukalov, V. I. Cold bosons in optical lattices. Laser Physics 19, 1–110 (2009).
Thalhammer, G. et al. Double species Bose-Einstein condensate with tunable interspecies interactions. Phys. Rev. Lett. 100, 210402 (2008).
Gadway, B., Pertot, D., Reimann, R. & Schneble, D. Superfluidity of interacting bosonic mixtures in optical lattices. Phys. Rev. Lett. 105, 045303 (2010).
Soltan-Panahi, P., Lühmann, D.-S., Struck, J., Windpassinger, P. & Sengstock, K. Quantum phase transition to unconventional multi-orbital superfluidity in optical lattices. Nature Physics 8, 71 (2012).
Mishra, T., Pai, R. V. & Das, B. P. Phase separation in a two-species Bose mixture. Phys. Rev. A 76, 013604 (2007).
Jain, P. & Boninsegni, M. Quantum demixing in binary mixtures of dipolar bosons. Phys. Rev. A 83, 023602 (2011).
Lingua, F., Guglielmino, M., Penna, V. & Capogrosso Sansone, B. Demixing effects in mixtures of two bosonic species. Phys. Rev. A 92, 053610 (2015).
Suthar, K. & Angom, D. Optical-lattice-influenced geometry of quasi-two-dimensional binary condensates and quasiparticle spectra. Phys. Rev. A 93, 063608 (2016).
Kuklov, A. B. & Svistunov, B. V. Counterflow superfluidity of two-species ultracold atoms in a commensurate optical lattice. Phys. Rev. Lett. 90, 100401 (2003).
Duan, L.-M., Demler, E. & Lukin, M. D. Controlling spin exchange interactions of ultracold atoms in optical lattices. Phys. Rev. Lett. 91, 090402 (2003).
Roscilde, T. & Cirac, J. I. Quantum emulsion: A glassy phase of bosonic mixtures in optical lattices. Phys. Rev. Lett. 98, 190402 (2007).
Guglielmino, M., Penna, V. & Capogrosso-Sansone, B. Mott-insulator to superfluid transition in Bose-Bose mixtures in a two-dimensional lattice. Phys. Rev. A 82, 021601 (2010).
Benjamin, D. & Demler, E. Variational polaron method for Bose-Bose mixtures. Phys. Rev. A 89, 033615 (2014).
Wang, W., Penna, V. & Capogrosso-Sansone, B. Inter-species entanglement of Bose–Bose mixtures trapped in optical lattices. New Journal of Physics 18, 063002 (2016).
Jin, G.-R., Kim, C. K. & Nahm, K. Modulational instability of two-component Bose-Einstein condensates in an optical lattice. Phys. Rev. A 72, 045601 (2005).
Penna, V. & Richaud, A. Two-species boson mixture on a ring: A group-theoretic approach to the quantum dynamics of low-energy excitations. Phys. Rev. A 96, 053631 (2017).
Lingua, F., Mazzarella, G. & Penna, V. Delocalization effects, entanglement entropy and spectral collapse of boson mixtures in a double well. Journal of Physics B: Atomic, Molecular and Optical Physics 49, 205005 (2016).
Lingua, F. & Penna, V. Continuous-variable approach to the spectral properties and quantum states of the two-component Bose-Hubbard dimer. Phys. Rev. E 95, 062142 (2017).
De Chiara, G., Lepori, L., Lewenstein, M. & Sanpera, A. Entanglement spectrum, critical exponents, and order parameters in quantum spin chains. Phys. Rev. Lett. 109, 237208 (2012).
Gallem, A., Guilleumas, M., Mayol, R. & Sanpera, A. Role of anisotropy in dipolar bosons in triple-well potentials. Phys. Rev. A 88, 063645 (2013).
Buonsante, P., Franzosi, R. & Penna, V. Control of unstable macroscopic oscillations in the dynamics of three coupled Bose condensates. Journal of Physics A: Mathematical and Theoretical 42, 285307 (2009).
Jason, P. & Johansson, M. Quantum signatures of charge flipping vortices in the Bose-Hubbard trimer. Phys. Rev. E 94, 052215 (2016).
Bradly, C. J., Rab, M., Greentree, A. D. & Martin, A. M. Coherent tunneling via adiabatic passage in a three-well Bose-Hubbard system. Phys. Rev. A 85, 053609 (2012).
Gallemí, A. et al. Fragmented condensation in Bose–Hubbard trimers with tunable tunnelling. New Journal of Physics 17, 073014 (2015).
Lingua, F., Richaud, A. & Penna, V. Residual entropy and critical behavior of two interacting boson species in a double well. Entropy 20, 84 (2018).
Amico, L., Fazio, R., Osterloh, A. & Vedral, V. Entanglement in many-body systems. Rev. Mod. Phys. 80, 517–576 (2008).
Buonsante, P., Penna, V. & Vezzani, A. Dynamical bifurcation as a semiclassical counterpart of a quantum phase transition. Phys. Rev. A 84, 061601 (2011).
Mazzarella, G., Salasnich, L., Parola, A. & Toigo, F. Coherence and entanglement in the ground state of a bosonic Josephson junction: From macroscopic Schrödinger cat states to separable Fock states. Phys. Rev. A 83, 053607 (2011).
Dell’Anna, L., Mazzarella, G., Penna, V. & Salasnich, L. Entanglement entropy and macroscopic quantum states with dipolar bosons in a triple-well potential. Phys. Rev. A 87, 053620 (2013).
Hines, A. P., McKenzie, R. H. & Milburn, G. J. Quantum entanglement and fixed-point bifurcations. Phys. Rev. A 71, 042303 (2005).
Fu, L. & Liu, J. Quantum entanglement manifestation of transition to nonlinear self-trapping for Bose-Einstein condensates in a symmetric double well. Phys. Rev. A 74, 063614 (2006).
Juliá-Daz, B., Dagnino, D., Lewenstein, M., Martorell, J. & Polls, A. Macroscopic self-trapping in Bose-Einstein condensates: Analysis of a dynamical quantum phase transition. Phys. Rev. A 81, 023615 (2010).
Viscondi, T. F., Furuya, K. & de Oliveira, M. C. Generalized purity and quantum phase transition for Bose-Einstein condensates in a symmetric double well. Phys. Rev. A 80, 013610 (2009).
Buonsante, P., Burioni, R., Vescovi, E. & Vezzani, A. Quantum criticality in a bosonic Josephson junction. Phys. Rev. A 85, 043625 (2012).
Franzosi, R. & Penna, V. Spectral properties of coupled Bose-Einstein condensates. Phys. Rev. A 63, 043609 (2001).
Spekkens, R. W. & Sipe, J. E. Spatial fragmentation of a Bose-Einstein condensate in a double-well potential. Phys. Rev. A 59, 3868–3877 (1999).
Ho, T.-L. & Ciobanu, C. V. The Schrödinger cat family in attractive Bose gases. Journal of Low Temperature Physics 135, 257–266 (2004).
Author information
Authors and Affiliations
Contributions
A.R. performed analytic and numerical calculations. A.R. and V.P. have analyzed the results and equally contributed in writing and reviewing the manuscript. V.P. supervised the work.
Corresponding author
Ethics declarations
Competing Interests
The authors declare no competing interests.
Additional information
Publisher's note: Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Penna, V., Richaud, A. The phase-separation mechanism of a binary mixture in a ring trimer. Sci Rep 8, 10242 (2018). https://doi.org/10.1038/s41598-018-28573-w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s41598-018-28573-w
This article is cited by
-
The mixing-demixing phase diagram of ultracold heteronuclear mixtures in a ring trimer
Scientific Reports (2019)
Comments
By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.