Abstract
We derive the complete mixing-demixing phase-diagram relevant to a bosonic binary mixture confined in a ring trimer and modeled within the Bose-Hubbard picture. The mixing properties of the two quantum fluids, which are shown to be strongly affected by the fragmented character of the confining potential, are evaluated by means of a specific indicator imported from Statistical Thermodynamics and are shown to depend only on two effective parameters incorporating the asymmetry between the heteronuclear species. To closely match realistic experimental conditions, our study is extended also beyond the pointlike approximation of potential wells by describing the systems in terms of two coupled Gross-Pitaevskii equations. The resulting mean-field analysis confirms the rich scenario of mixing-demixing transitions of the mixture and also constitutes an effective springboard towards a viable experimental realization. We additionally propose an experimental realization based on a realistic optical-tweezers system and on the bosonic mixture 23Na + 39K, thanks to the large tunability of their intra- and inter-species scattering lengths.
Similar content being viewed by others
Introduction
Ultracold mixtures of different atomic species have a long experimental history both for studies in bulk1 and in optical lattices2,3,4,5 and allowed the investigation of a plethora of intriguing phenomena such as entropy exchange6, miscibility in degenerate gases7, beyond-mean-field effects8,9,10, universality of three-body losses11,12,13 and ultracold chemistry14.
Fragmentation of bosonic mixtures in arrays of potential wells constitutes an important factor in determining their mixing properties and plays a crucial role, together with the repulsion between the mixture’s components, in triggering spatial phase separation. A large amount of recent theoretical studies have revealed a colorful phenomenology ranging from phase separation mechanism15,16, demixing of dipolar mixtures17, and quantum emulsions18,19 to the critical properties of quasiparticles spectrum across the transition20, thermal suppression21 and the role of entanglement22 in phase separation, and cascades of quantum phase transitions of vector bosons23.
Recently, phase separation has been investigated for a binary mixture in a two-well trap (dimer). This constitutes the simplest geometry whose fragmented character exacerbates the competition between intra- and inter-species repulsions24 therefore affecting the occurrence of spatial separation. In this system, in fact, the transition from a mixed to a fully demixed ground-state, which transparently emerges within the Continuous Variable Picture (CVP)25, is confirmed by the analysis of genuinely quantum indicators, such as the energy spectrum, the entanglement between the species, and the quantum tomography of the ground state22,26. The study of phase-separation mechanism has been extended to the ring-trimer geometry in the simple case of twin species27, i.e. species featuring the same hopping amplitude T, the same on-site interaction U, and the same number of atoms N. Despite its simplicity, this toy model has already shown a non-trivial phenomenology, marked by the presence of an unexpected intermediate phase which is in between a perfectly mixed and a fully demixed phase.
In this work, we aim at ferrying this intriguing but maybe too simplistic model towards an actual experimental realization. In doing so, we take into account the presence of asymmetries Ta ≠ Tb, Ua ≠ Ub and Na ≠ Nb between atomic species a and b, a circumstance which makes the model we are dealing with more realistic. The increased number of variables that come into play therefore makes the developed analysis remarkably more articulated and comprehensive than the original one, but significantly broadens its scope. Such study results in a rather rich two-dimensional phase diagram, which includes four different phases, each one marked by a specific boson redistribution among the wells and featuring a different degree of mixing. In order to corroborate our previsions, we extend our analysis beyond the pointlike-site approximation (reducing the local potential traps to dimensionless sites) which intrinsically characterizes both the Bose-Hubbard model and the CVP. To this end, we present a mean-field (MF) approach based on the solution of two coupled stationary Gross-Pitaevskii equations (GPEs). This technique, which allows one to take into consideration the boson distributions not only among but also within the wells, lends itself to direct interlink with a real-world experiment and therefore represents an effective bridge between the quite abstract (but rather clarifying) CVP model and a real physical system.
The Model
In this paper, we consider a bosonic binary mixture confined in a three-well potential with periodic boundary conditions (i.e. a ring trimer). This is well described by the Bose-Hubbard Hamiltonian
a second-quantized model where operator ai (\({a}_{i}^{\dagger }\)) destroys (creates) a species-a boson in site i ∈ {1, 2, 3} (with i = 4 ≡ 1 due to the ring geometry). The same holds for operators bi and \({b}_{i}^{\dagger }\), which destroy and create species-b bosons. The bosonic character of these operators is enforced by standard commutation relations, i.e \([{a}_{i},{a}_{\ell }^{\dagger }]={\delta }_{i,\ell }=[{b}_{i},{b}_{\ell }^{\dagger }]\), \([{a}_{i},{b}_{\ell }^{\dagger }]=0\). After introducing number operators \({n}_{i}={a}_{i}^{\dagger }{a}_{i}\) and \({m}_{i}={b}_{i}^{\dagger }{b}_{i}\), one can observe that the total numbers of bosons of each species (\({N}_{a}={\sum }_{i}\,{n}_{i}\) and \({N}_{b}={\sum }_{i}\,{m}_{i}\) respectively) constitute two independent conserved quantities, namely [Na, H] = [Nb, H] = 0. As regards model parameters, Ta and Tb are hopping amplitudes, Ua and Ub represent intra-species repulsive interactions, and W represents the inter-species repulsion.
Semiclassical approach towards demixing
The CVP, originally introduced to investigate the spatial fragmentation of a condensate in a two-well potential28, is a semi-classical approximation scheme based on the replacement of the inherently discrete quantum numbers associated to the Fock-state basis with continuous variables. This technique has proved to be particularly effective in capturing the essential critical behaviour of complex many-body systems29,30,31. It also allows one to derive an effective semi-classical Hamiltonian Heff which well reproduces the low-energy physics of the original quantum model32,33,34 and to turn the search for the ground state thereof into that of the minimum of the potential V provided by Heff. In the current case, the CVP associates to Hamiltonian (1) the potential
which comes with the two constraints \({\sum }_{i}\,{x}_{i}={\sum }_{i}\,{y}_{i}=1\), enforcing particle number conservation in both condensed species. Notice that variables xi: = ni/Na and yi: = mi/Nb represent normalized boson populations and are regarded as continuous in view of the fact that the total numbers of bosons Na and Nb are assumed to be large.
Results
We investigate the ground-state properties of a bosonic binary mixture in a ring trimer, showing that they can be conveniently represented by means of a two-dimensional phase diagram which is, in turn, spanned by two specific effective variables representing functions of the original-model parameters. Each phase features a characteristic boson-population distribution, which results in a different degree of mixing and in a different expression of the ground-state energy.
The phase diagram
The presence of four different phases emerges in a crystal-clear way when one considers the large-populations limit (this can be seen as sort of thermodynamic limit according to the scheme highlighted in33), i.e. when ratios UaNa/Ta and UbNb/Tb are big enough to make hopping terms negligible. In this limit, in fact, the (rescaled version of) effective potential (2), namely \(V/({U}_{a}{N}_{a}^{2})\), reduces to
an expression including only two effective parameters,
The former corresponds to the ratio between the inter-species and the (geometric average of) the intra-species repulsive interactions while the latter accounts for the degree of asymmetry between the two species. This reduced set of parameters proves to be the most natural one to investigate the occurrence of mixing-demixing transitions in the system and is therefore employed to build the phase diagram. In this regard, the region \({\mathscr{D}}=\{(\alpha ,\beta )\,:\,0\le \alpha \le 3,\,0\le \beta \le 1\}\), which is depicted in Fig. 1 already includes all four phases that the system’s ground state can exhibit (notice, in fact, that if β > 1, one can swap species labels a and b and therefore come back to region \({\mathscr{D}}\)). In each phase, the configuration \((\overrightarrow{x},\overrightarrow{y})\) which minimizes effective potential (3) is marked by a specific dependence on the effective model parameters (4). Analytic expressions xj(α, β) and yj(α, β) have been derived by means of an exhaustive exploration of the polytope-like domain of function (3) (see27 for a detailed description of the method), and are presented here, together with the essential features of the associated phase:
-
1.
In phase 1, being α < 1, the inter-species repulsion is too small to trigger spatial phase separation and the two species are uniformly distributed among the three wells, i.e. xj = yj = 1/3, ∀j = 1, 2, 3.
-
2.
Phase 2 occurs for 1 < α < 2β, that means for intermediate values of α and not too asymmetric species. In this region, one has complete demixing in two wells and mixing in the remaining one. The explicit expression of the minimum-energy configuration as functions of model parameters (4) reads
$${x}_{1}=0,\,\,{x}_{2}=\frac{{\alpha }^{2}-\alpha \beta -2}{{\alpha }^{2}-4},\,\,{x}_{3}=\frac{\alpha \beta -2}{{\alpha }^{2}-4},$$$${y}_{1}=\frac{{\alpha }^{2}\beta -\alpha -2\beta }{({\alpha }^{2}-4)\beta },\,\,{y}_{2}=0,\,\,{y}_{3}=\frac{\alpha -2\beta }{({\alpha }^{2}-4)\beta }.$$ -
3.
Phase 3, occurring for sufficiently high values of α and not too asymmetric species (more specifically, for 1/(2α) < β < α/2), features a completely demixed scenario, such that species b clots in one well, while species a equally spreads in the other two sites:
$${x}_{1}=0,\,{x}_{2}=\frac{1}{2},\,{x}_{3}=\frac{1}{2},$$$${y}_{1}=1,\,{y}_{2}=0,\,{y}_{3}=0.$$ -
4.
Phase 4 occurs for sufficiently high values of α and sufficiently asymmetric species (i.e. for α > 1 and β < 1/(2α)). A good degree of asymmetry can be achieved, for example, if species b constitutes an impurity with respect to the majority species a, meaning that \({N}_{b}\ll {N}_{a}\). The hallmark of this phase is that species b clots in one site, while species a spreads in all three sites, but in different proportions:
An illustrative summary of all presented minimum-energy configurations is provided in Fig. 2. Concerning the ones discussed at points 2, 3 and 4, we remark that, due to the Z3 symmetry of the system, they are not unique and that other isoenergetic configurations can be obtained by cyclic permutations of site indexes. Quantum-mechanically, the ground state is degenerate only in the infinite-population limit because, as soon as they come into play, hopping terms lift the degeneracy and the ground state’s structure gets that of a Schrödinger cat22,27,30,35. For example, in phase 3, the ground-state is of the type \(|{E}_{0}\rangle \approx \frac{1}{\sqrt{3}}({|0,\frac{1}{2},\frac{1}{2}\rangle }_{a}{|1,0,0\rangle }_{b}+{|\frac{1}{2},0,\frac{1}{2}\rangle }_{a}{|0,1,0\rangle }_{b}+{|\frac{1}{2},\frac{1}{2},0\rangle }_{a}{|0,0,1\rangle }_{b})\), an expression where symbol “≈” reminds that minor contributions coming from Fock states with different boson distributions and activated by the non-zero hopping amplitudes have been understood.
As clearly illustrated in Fig. 2, for β < 1, the minimum-energy configuration \((\overrightarrow{x},\overrightarrow{y})\), as a function of model parameters α and β, is discontinuous at transitions 1–2 and 1–4 while it is continuous at transitions 2–3 and 3–4. Nevertheless, in the case of perfectly symmetric species, β = 1, the system gains an additional symmetry (consisting in the interchangeability of species’ labels in formulas (1–3) and a further discontinuity at transition 2–3 appears. The twin-species limit, widely discussed in27, therefore features a qualitatively different critical behavior.
Phases and degree of mixing
An effective indicator to quantify the degree of mixing of two different species in discretized domains is the entropy of mixing (Smix). Originally introduced in the context of macromolecular simulations36, this measure has been recently introduced in the realm of ultracold atoms in order to investigate the link between chaotic dynamical regimes and mixing properties of a bosonic binary mixture in a ring trimer37. According to the definition given in36, the entropy of mixing associated to a certain minimum-energy configuration \((\overrightarrow{x},\overrightarrow{y})\) reads
In comparison to the one used in37,38, this formula is based on normalized populations xj and yj (rather than nj and mj) and is therefore more suited to describe binary mixtures where the species feature a particle-number imbalance (moreover the contribution of each site j to the total entropy of mixing is not fixed, but it is weighted by the fractions of particles present therein). As shown in Fig. 3, Smix is zero in phase 3 (perfect demixing) while achieves the maximum possible value, log2 ≈ 0.69 in phase 1 (perfect mixing). More generally, Smix, as a function of model parameters α and β, mirrors the criticalities exhibited by the minimum-energy configuration, i.e. it is discontinuous at transition 1–2 and 1–3 while it is continuous at transitions 2–3 (apart from the special case β = 1) and 3–4. For this reason, it constitutes a valid indicator to capture the occurrence of mixing-demixing transitions. Note that Smix is particularly advantageous in that it allows one to represent the system critical behavior by avoiding its description in terms of six boson populations xj and yj.
Phases and free energy
Being the temperature zero, the free energy F = E − TS coincides with the internal energy E, i.e. the ground-state energy. The latter, within the CVP approach, can be computed by means of the effective potential (3) which, for the four boson distributions corresponding to the four phases, exhibits a specific dependence law on model parameters α and β given by
The graphic representation of these expressions (see first panel of Fig. 4), shows that V* is indeed continuous everywhere and, in particular, across the transitions. Nevertheless, in agreement with the previous mixing-entropy analysis, the non-analytic character of the ground-state energy does emerge if one computes the first and the second derivative of V* with respect to α, which is regarded as a control parameter. As depicted in the second and in the third panel of the aforementioned figure, in fact, at transitions 1–2 and 1–4, the first derivative is discontinuous, while at transitions 2–3 and 3–4, the first derivative is continuous but the second one is discontinuous (except for the special case β = 1, where the first derivative is discontinuous at transition 2–3).
Finite-Size Effects on the Mixing-Demixing Transitions
As already mentioned, the four different phases emerge at their clearest only in the large-populations limit, i.e. when UaNa/Ta → ∞ and UbNb/Tb → ∞. Such phases are still recognizable also in the more realistic case of finite-size systems (i.e. systems with limited numbers of atoms and featuring non-vanishing hopping terms), although the phase diagram presented in Fig. 1 gets blurred and deformed. The effects of finite ratios UaNa/Ta and UbNb/Tb can be summarized as follows:
-
The minimum-energy configuration \((\overrightarrow{x},\overrightarrow{y})\), regarded as a function of model parameters α ∈ (0, 3) and β ∈ (0, 1), is continuous and, as a consequence, so is the entropy Smix (comparing Figs 3 and 5, one can notice that the jump discontinuities give way to smooth junctions).
-
The fully-mixed phase is favored by the presence of non-negligible hopping amplitudes, its border being given by the inequality
$$\alpha < \sqrt{(1+\frac{9}{2}\frac{{T}_{a}}{{U}_{a}{N}_{a}})(1+\frac{9}{2}\frac{{T}_{b}}{{U}_{b}{N}_{b}})}.$$(6)The latter represents the condition under which the Hessian matrix associated to effective potential (2) (and evaluated at point xj = yj = 1/3, with j = 1, 2, 3) is positive definite. Walking away from the large-populations limit, the right-hand term rises above the value 1, thus determining an enlargement of phase 1 at the expenses of the neighboring phases (see the enlargement of the blue region in Fig. 5 moving from the left panel to the right panel). It is worth mentioning that (the twin-species limit of) condition (6) was found to define the region of parameters’ space where the spectrum of Bogoliubov quasiparticles is well-defined and not degenerate39.
-
As intuition suggests, the fully demixed phase is mined by the presence of hopping processes between the wells and therefore occurs for higher values of α (see the shrinking of the purple region in Fig. 5 moving from the left panel to the right panel). This clearly reminds the physics of the Superfluid-to-Mott-insulator transition40, where a stronger on-site interaction is required to observe the transition when a larger hopping rate is present.
-
Interestingly, increasing the hopping amplitudes, phase 4 not only enlarges, but invades the β > 1/2 region, crushing and shrinking phases 2 and 3 (moving from the left to the right panel of Fig. 5, one can see that the green region enlarges at the expenses of the orange and of the purple regions).
Quantum Results
The CVP approach can be safely applied when the number of particles is large enough, i.e. when it is possible to replace quantum mechanical operators with their \({\mathbb{C}}\)-number counterpart. Conversely, for small boson populations, the adoption of this approximation scheme is less justified, and a fully quantum approach is needed. Such approach, involving the exact numerical diagonalization of Hamiltonian (1), can be computationally demanding since the dimension
of the fixed-boson-number Hilbert space of states (the latter being of the type \(|\overrightarrow{n},\,\overrightarrow{m}\rangle :=|{n}_{1},\,{n}_{2},\,{n}_{3},\)\({m}_{1},\,{m}_{2},\,{m}_{3}\rangle \)), rapidly increases with increasing number of particles. Devoting the necessary attention to the numerical protocol, one can still handle the matrix representation of Hamiltonian (1) when Na = Nb = 15 and therefore accomplish its exact diagonalization, thus obtaining the energy levels \({E}_{i}=\langle {\psi }_{i}|\hat{H}|{\psi }_{i}\rangle \) and the energy eigenstates |ψi〉. From these outputs, one can build several indicators which, in spite of the still small numbers of employed particles, already highlight the occurrence of the same critical phenomena and mixing-demixing transitions predicted within the CVP scheme. Among the various possibilities, and in order to offer a direct comparison with its CVP-counterpart, we introduce the quantum version of the entropy of mixing,
where coefficients \(c(\overrightarrow{n},\overrightarrow{m})=\langle \overrightarrow{n},\overrightarrow{m}|{\psi }_{0}\rangle \) are the components of the ground state |ψ0〉 with respect to the Fock basis and \({S}_{mix}(\overrightarrow{n},\overrightarrow{m})\) is the entropy of mixing associated to Fock state \(|\overrightarrow{n},\,\overrightarrow{m}\rangle \), computed by means of formula (5) upon substitutions ni/Na → xi and mi/Nb → yi. Sweeping41 model parameters W and Ub, one can effectively reconstruct the behaviour of \({\tilde{S}}_{mix}\) in the (α, β)-plane. The result, illustrated in Fig. 6, witnesses the presence of the discussed four quantum phases also in this purely quantum scenario and, being in great agreement with its CVP-counterpart (compare with Fig. 5), validates the predictions given by the semiclassical approximation scheme. In particular, the latter proves to be rather accurate already with quite limited numbers of particles (Na = Nb = 15).
Toward an Experimental Realization: A “Real” Mixture and Beyond Point-Like Potential Wells
In the previous section we have discussed the mixing properties of an asymmetric binary mixture within the CVP of the BH model. In order to get closer to an experimental realization, one has to consider also the non-pointlike character of potential wells and the actual tunability of the scattering lengths in atomic systems.
Despite the large tunability of the scattering length via magnetic Feshbach resonances42, this knob does not allow for an independent tuning of the intra- and the inter-species scattering lengths. Some mixtures have extremely large background scattering lengths43, very narrow resonances far beyond experimental magnetic field stability43, overlapping resonances44, and promising broad inter-species resonances where, however, the inter-species scattering length is excessively large or has the wrong sign7.
In this prospective, 23Na + 39K constitutes an ideal mixture. The spin mixture | f = 1, mf = −1〉Na + | f = 1, mf = −1〉K, where f is the atomic total angular momentum and mf its projection on the quantization axis, has been recently doubly Bose-condensed and presents a favorable window of magnetic field (from 90 to 150 G) where the combination of two intra- and two inter-species resonances allow for a smooth tuning of the scattering lengths44 (see left panel of Fig. 7). Additionally, in this range of magnetic field, three-body losses45 are limited thanks to the small value of aNa,K. In our case, a change of the magnetic field corresponds to a shift along a line in the phase diagram of Fig. 9, where α and β (horizontal and vertical axis respectively) have been rewritten in terms of MF parameters. In the region of interest, the scattering lengths of sodium and potassium are almost constant and the line will be almost horizontal, crossing the different phases at a value β mainly determined by the atom-number ratio.
From now on, the formulas will be strictly linked with the real experimental setup and labels a and b will stand for sodium and potassium respectively. Parameters ma = 22.99 u and mb = 39.10 u are therefore the atomic masses of such elements, where u stands for unified atomic mass unit.
Recent developments in single-site resolution detection of single atoms and the realization of diffraction limited potentials have pushed forward the capabilities of handling few atoms in tweezers systems46. The trimer potential consists (see right panel of Fig. 7) of three gaussian traps whose centers correspond to the vertexes of an equilateral triangle with edge d. The realization of such a potential is based on the projection of three dipole-trap beams from the vertical direction of our experimental apparatus which features a large numerical aperture objective with demonstrated high resolution capability47. Being the wavelength 1064 nm, we consider realistic values for the width of the three beams (σ = 1,00 μm) and for the distance of their centers, d = 2 μm. For simplicity, we consider monochromatic tweezers, despite the large difference between sodium and potassium trap frequencies resulting from the different atomic polarizability. A bichromatic sheet of light on the horizontal direction or a time-averaged light potential provide confinement in the vertical direction and compensate the presence of a gravitational sag.
The GPE Solution in A Real System
In pursuing an actual experimental realization, one must interface the rather essential BH-like model (1) described within the CVP (see effective potential (2)) with experimentally-accessible parameters and measurable quantities. The bridge between theory and experiment is provided by a MF treatment of the problem. This approach also comes with a number of improvements to the CVP and, while confirming the fundamental results obtained therein, shines light on some possibly tricky aspects which were set aside by the pointlike approximation of potential wells and inherently present both in the BH model and in the CVP.
In the MF picture, the system under analysis can be effectively modeled by two stationary GPEs
with normalization conditions
enforcing particle-number conservation in both atomic species. Formulas
give the intra-species interactions and
the inter-species coupling being \({\mu }_{ab}={({m}_{a}^{-1}+{m}_{b}^{-1})}^{-1}\) the reduced mass. These last two quantities can be tuned by means of the applied magnetic B field, which, acting on scattering lengths ab and aab, therefore plays the role of the effective control parameter, capable of triggering the mixing-demixing transitions. Here we use aa = 52a0, ab ∈ [7.6, 8.1]a0 and aab ∈ [10.2, 48.5]a0. Term \({V}_{ext}(\overrightarrow{x})\) represents the optical potential corresponding to the ring-trimer geometry. One can generate (experimentally achievable) parameters’ vectors (Na, Nb, ga, gb, gab) both by tuning the magnetic field B (the latter has an impact on ratios gab/gb and gb/ga) and by setting the boson population asymmetry Nb/Na. On the basis of such sets of parameters, we determined (see Methods for details concerning the numerical simulation) the eigenfunctions of coupled, non-linear, eigenvalue problems (8) and (9), which minimize the Hamiltonian functional
representing, in turn, the total energy of the system. Being qualitatively different, such minimum-energy solutions can be classified into four categories which indeed correspond to the already discussed four phases. In order to better appreciate the great agreement between the results obtained by means of the CVP and those obtained within the MF treatment, a representative of each of these categories is shown in Fig. 8. With reference to such figure, the first panel represents the category of ground-states belonging to phase 1, the one exhibiting perfect mixing. The two condensates, in fact, clearly overlap in each of the three wells and both boson distributions share the same Z3 symmetry of the system. Notice also that, correctly, sodium (depicted in blue), being lighter, is more delocalized with respect to potassium (depicted in red) which, being heavier, is more strongly confined. The second panel depicts a ground-state belonging to phase 2, where one has demixing in two wells and mixing in the remaining one. Notice, in fact, that the first (second) well includes just potassium (sodium), while the third well includes both. The third panel shows a fully-demixed ground state, i.e. a representative of phase 3: potassium occupies the first well while sodium spread in the second and in the third one. Eventually, the fourth panel shows a representative of phase 4, the one characterized by the clotting of potassium in a single well and by the presence of a non-zero fraction of sodium therein.
Importantly, for all parameters’ sets used in our numerical simulations, we observed that the phase separation mechanism is such that the two condensates redistribute among the wells and not within the wells. Nevertheless, since in a single harmonic trap different phase separation mechanisms (e.g. hemispheric-like or spheric-shell-like) can be triggered by different potential and interaction strengths48, we expect the interplay of these parameters to play an even more crucial role in multiple-trap systems. Due to its remarkable complexity, the analysis of this phenomenology will be discussed in a separate work.
It is worth noticing that, when trap parameters and interaction strengths are such that phase separation does occur via an among-well boson redistribution, the terms proportional to ga, gb and gab in energy functional (11) quite naturally exhibit the same structure of the terms proportional to Ua, Ub and W in effective potential (2). In this sense, parameters α and β (see formulas (4)) correspond to, respectively, quantities \({g}_{ab}/\sqrt{{g}_{a}{g}_{b}}\) and \({N}_{b}/{N}_{a}\sqrt{{g}_{b}/{g}_{a}}\), and therefore span the MF counterpart of the phase diagram of Fig. 1. To link the phase diagram to experimental accessible parameters, in Fig. 9 we also plot the four phases by mapping β into Nb/Na and α to the magnetic field B thanks to the known values of scattering lengths shown in Fig. 7. Accordingly, gray lines in the both left panels of Fig. 9 play the role of the red boundaries separating the four phases in Fig. 1.
As gb and gab depend on the applied magnetic field B, by sweeping the latter, one can generate pathways through the phase diagram. Moreover, one can vertically translate them simply by tuning the ratio Nb/Na. For many such pathways, practically constituting extended sets of n-tuples (Na, Nb, ga, gb, gab), we found the solutions of equations (8) and (9) which minimize energy functional (11). Two examples of this analysis are shown in Fig. 9, where we plot the ground state energy \({E}_{0}:= {\mathcal H} [{\phi }_{a,0},{\phi }_{b,0}]\) as a function of the actual control parameter B along two specific pathways through the phase diagram. In remarkable analogy with the discussion relevant to effective potential (3) within the CVP, it is clear that E0 is a continuous function of B and that its first derivative dE0/dB is discontinuous across transitions 1–2 and 1–4 (see rectangular markers in Fig. 9). Moreover, although not visually obvious, one can verify that the second derivative d2E0/dB2 is discontinuous at transitions 2–3 and 3–4 (see circular markers in Fig. 9). Correctly, one does not observe phase transitions exactly at grey boundaries shown in the phase diagrams. This is due to the presence of non-zero hopping terms which smooths and deforms the zero-hopping phase diagram. On the right panels of Fig. 9 we plot the the mixing entropy Smix relative to the two paths previously considered and the presence of different mixed/demixed phases is confirmed. This is very promising in the outlook of an experimental realization as Smix represents the most obvious quantity obtainable from the measured atom number in each wells, irrespective of the observed permutation. We associate the presence of small fluctuations at small values of Smix in both panels to numerical resolution resulting from the strong demixing and the consequent very small atom number in the wells. One could consider these fluctuations as a statistical error on the simulations in that range of magnetic field strength.
Upon the associations \(\alpha \leftrightarrow {g}_{ab}/\sqrt{{g}_{a}{g}_{b}}\) and \(\beta \leftrightarrow {N}_{b}/{N}_{a}\sqrt{{g}_{b}/{g}_{a}}\), our MF analysis, based on realistic model parameters involving sodium and potassium atoms, has therefore led to the same phases and the same mixing-demixing transitions evidenced within the CVP and thus corroborates, both qualitatively and quantitatively, the predictions about the phase-separation mechanism obtained therein, offering, also, a viable path towards an actual experimental realization.
Other Experimental Aspects
To strengthen the feasibility of our proposal, we consider also a possible experimental sequence and problems related to the limited lifetime of the sample because of three-body losses.
The starting point of the experimental sequence will be the creation of the degenerate samples in a cross dipole trap44 at a magnetic field of about 154 G and the following ramp of the magnetic field to the zero of the inter-species scattering length at 117 G. This allows one to maximize the lifetime of the sample against three-body losses. The mixture can be adiabatically loaded into the trimer potential by rising the intensity of the tweezers and decreasing the intensity of the crossed dipole trap. A ramp of the magnetic-field strength to the target value follows, and the system is let mix/demix. After a fast ramp up of the tweezers intensity to stop hopping between the wells, the tweezers will be separated and the atom number of each species in the three wells will be detected with absorption imaging after a short time of flight. We expect that on each single realization, the system will lie in one of the possible cyclic permutations of the typical boson distributions. Post analysis will reveal the mixing/demixing depending on the applied magnetic field.
Once the interaction parameters have been fixed, mixing and demixing properties of the mixture do not depend on the absolute number of atoms but on their ratio through β. Envisioning an experimental realization, the atom number becomes critical as appearing with the third power into the three-body loss rate coefficient, which rules the lifetime of the mixture in the tweezers’ wells. In the calculations we chose the order of magnitude of atom numbers in such a way that the lifetime exceeds the smallest of the two hopping time (<20 ms, see Methods) of an order of magnitude. To this goal we calculate three-body densities from GPE simulations and consider three-body loss rate coefficients on the order of 10−41 m6/s, taken from experimental measurements performed the Hannover setup and compatible with literature values49.
Methods
Numerical solution of stationary GPEs
Equations (8) and (9) constitute a non-linear, coupled, eigenvalue problem. Its solution is obtained by means of a numerical technique based on the damped oscillating particle method50. Preliminary, in order to lighten the computational burden, we enact a dimensional reduction (in the spirit of the scheme discussed in51,52) to turn the original genuinely 3D problem into a 1D one. This is obtained by means of factorizations
where ψa and ψb are such that
and are therefore normalized to unity, as a consequence of normalization conditions (10). These substitutions lead to equations
(notice that wavefunctions labels “a, x” and “b, x” are understood) whose effective parameters are
where Ly and Lz are chosen in a such a way that Ly ≈ Lz ≈ 2σ ≈ 2 μm. Moreover, the optical-potential terms read:
where xi's are the positions of the centers of each gaussian trap, expressed in terms of the curvilinear abscissa describing the perimeter of the equilateral triangle formed by the xi's themselves (see yellow line in the right panel of Fig. 7).
Resorting to the damped oscillating particle method50, one can turn the search for the ground state of stationary non linear Schrödinger equations (12) and (13) into the steady-state solution of the following damped oscillators:
where the possible differences between left and right members of equations (12) and (13) act as forcing terms, and where the presence of a non-zero damping η guarantees the convergence to a steady-state solution. Upon recasting equations (14) and (15) into pairs of first-order equations by means of substitutions
one can solve the resulting dynamical system with standard finite difference methods53. More specifically, we made use of the leapfrog integrator54, iterating it until equations (12) and (13) are satisfied up to relative errors <10−3 (in order to quantify the mismatch between left and right members, the 2-norm has been employed).
The optical potential
Acousto-optical modulators will generate the three beams and particular attention will be dedicated to calibrate the three wells in order to verify their being identical. To this goal, the use of digital mirror device (DMD) can be fruitful to compensate aberrations and defects in the potentials as already shown in other experiments55. We consider also the possibility to obtain trimer potentials based on triangular optical lattice. In this case the tighter confinement suggests that a much smaller atom number per site must be considered.
Species-specific trap frequencies are considered in the calculations as well as the different hopping rate coming from the different height of the inter-well barriers. These correspond to ωa ≈ 2π × 5600 Hz, ωb ≈ 2π × 6900 Hz. The depth of the wells is chosen to allow the hopping times {1/Ta, 1/Tb} to be smaller than 20 ms for both species; estimated hopping rate are evaluated by calculating overlap integrals and one has {Ta, Tb} ≈ 2π × {1000, 50} Hz. Excessively large hopping rate would smooth out the phases previously discussed, while too small will not allow mixing/demixing in a time shorter than the mixture lifetime. Real hopping rate will be experimentally determined to overpass limitations coming from simple overlapping integral approximation.
Experimental stability
One requires a large experimental stability of the three quantities involved in the mix/demixing phases. These are the atom number (preparation and detection), the trimer potential depth and the magnetic field strength. This last is below 30 mG in the Hannover setup56 and allows a smooth tuning of the scattering length well within the resolution requested to observe the phase transition shown in Fig. 9. The optical-potential stability can be assured by advanced feedback techniques57 while the stability of the atom number by real-time analysis58.
References
Roati, G. et al. 39K bose-einstein condensate with tunable interactions. Phys. Rev. Lett. 99, 010403 (2007).
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. Nat. Phys. 8, 71 (2012).
Catani, J., De Sarlo, L., Barontini, G., Minardi, F. & Inguscio, M. Degenerate bose-bose mixture in a three-dimensional optical lattice. Phys. Rev. A 77, 011603 (2008).
Thalhammer, G. et al. Double species Bose-Einstein condensate with tunable interspecies interactions. Phys. Rev. Lett. 100, 210402 (2008).
Catani, J. et al. Entropy exchange in a mixture of ultracold atoms. Phys. Rev. Lett. 103, 140401 (2009).
Lee, K. L. et al. Phase separation and dynamics of two-component bose-einstein condensates. Phys. Rev. A 94, 013602 (2016).
Petrov, D. S. Quantum mechanical stabilization of a collapsing bose-bose mixture. Phys. Rev. Lett. 115, 155302 (2015).
Cabrera, C. R. et al. Quantum liquid droplets in a mixture of bose-einstein condensates. Science 359, 301–304 (2018).
Semeghini, G. et al. Self-bound quantum droplets of atomic mixtures in free space. Phys. Rev. Lett. 120, 235301 (2018).
Bloom, R. S., Hu, M.-G., Cumby, T. D. & Jin, D. S. Tests of universal three-body physics in an ultracold bose-fermi mixture. Phys. Rev. Lett. 111, 105301 (2013).
Pires, R. et al. Observation of efimov resonances in a mixture with extreme mass imbalance. Phys. Rev. Lett. 112, 250404 (2014).
Wacker, L. J. et al. Universal three-body physics in ultracold krb mixtures. Phys. Rev. Lett. 117, 163201 (2016).
Jin, D. S. & Ye, J. Ultracold chemistry. Chem. Rev. 112, 4801–5072 (2012).
Mishra, T., Pai, R. V. & Das, B. P. Phase separation in a two-species Bose mixture. Phys. Rev. A 76, 013604 (2007).
Lingua, F., Guglielmino, M., Penna, V. & Capogrosso Sansone, B. Demixing effects in mixtures of two bosonic species. Phys. Rev. A 92, 053610 (2015).
Jain, P. & Boninsegni, M. Quantum demixing in binary mixtures of dipolar bosons. Phys. Rev. A 83, 023602 (2011).
Buonsante, P., Giampaolo, S. M., Illuminati, F., Penna, V. & Vezzani, A. Mixtures of strongly interacting bosons in optical lattices. Phys. Rev. Lett. 100, 240402 (2008).
Roscilde, T. & Cirac, J. I. Quantum emulsion: A glassy phase of bosonic mixtures in optical lattices. Phys. Rev. Lett. 98, 190402 (2007).
Suthar, K. & Angom, D. Optical-lattice-influenced geometry of quasi-two-dimensional binary condensates and quasiparticle spectra. Phys. Rev. A 93, 063608 (2016).
Roy, A. & Angom, D. Thermal suppression of phase separation in condensate mixtures. Phys. Rev. A 92, 011601 (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).
Belemuk, A., Chtchelkatchev, N., Mikheyenkov, A. & Kugel, K. Quantum phase transitions and the degree of nonidentity in the system with two different species of vector bosons. New J. Phys. 20, 063039 (2018).
Mujal, P., Juliá-Díaz, B. & Polls, A. Quantum properties of a binary bosonic mixture in a double well. Phys. Rev. A 93, 043619 (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).
Lingua, F., Mazzarella, G. & Penna, V. Delocalization effects, entanglement entropy and spectral collapse of boson mixtures in a double well. J. Phys. B: At. Mol. Opt. Phys. 49, 205005 (2016).
Penna, V. & Richaud, A. The phase separation mechanism of a binary mixture in a ring trimer. Sci. Reports 8, 10242 (2018).
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).
Buonsante, P., Burioni, R., Vescovi, E. & Vezzani, A. Quantum criticality in a bosonic josephson junction. Phys. Rev. A 85, 043625 (2012).
Ho, T.-L. & Ciobanu, C. V. The Schrödinger cat family in attractive Bose gases. J. Low Temp. Phys. 135, 257–266 (2004).
Ziń, P., Chwedeńczuk, J., Oleś, B., Sacha, K. & Trippenbach, M. Critical fluctuations of an attractive bose gas in a double-well potential. EPL Europhysics Lett. 83, 64007 (2008).
Javanainen, J. Phonon approach to an array of traps containing bose-einstein condensates. Phys. Rev. A 60, 4902–4909 (1999).
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. & Penna, V. Localization–delocalization transition of dipolar bosons in a four-well potential. J. Phys. B: At. Mol. Opt. Phys. 48, 065001 (2015).
Wang, W., Penna, V. & Capogrosso-Sansone, B. Analysis and resolution of the ground-state degeneracy of the twocomponent bose-hubbard model. Phys. Rev. E 90, 022116 (2014).
Camesasca, M., Kaufman, M. & Manas-Zloczower, I. Quantifying fluid mixing with the shannon entropy. Macromol. theory simulations 15, 595–607 (2006).
Richaud, A. & Penna, V. Phase separation can be stronger than chaos. New J. Phys. 20, 105008 (2018).
Brandani, G. B. et al. Quantifying disorder through conditional entropy: an application to fluid mixing. PloS one 8, e65617 (2013).
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).
Greiner, M., Mandel, O., Esslinger, T., Hänsch, T. W. & Bloch, I. Quantum phase transition from a superfluid to a mott insulator in a gas of ultracold atoms. Nature 415, 39–44 (2002).
Computational resources provided by hpc@polito (http://www.hpc.polito.it).
Chin, C., Grimm, R., Julienne, P. & Tiesinga, E. Feshbach resonances in ultracold gases. Rev. Mod. Phys. 82, 1225–1286 (2010).
Pilch, K. et al. Observation of interspecies feshbach resonances in an ultracold rb-cs mixture. Phys. Rev. A 79, 042718 (2009).
Schulze, T. A. et al. Feshbach spectroscopy and dual-species bose-einstein condensation of 23Na−39K mixtures. Phys. Rev. A 97, 023623 (2018).
Weber, T., Herbig, J., Mark, M., Nägerl, H.-C. & Grimm, R. Three-body recombination at large scattering lengths in an ultracold atomic gas. Phys. Rev. Lett. 91, 123201 (2003).
Kaufman, A. M., Lester, B. J. & Regal, C. A. Cooling a single atom in an optical tweezer to its quantum ground state. Phys. Rev. X 2, 041014 (2012).
Gempel, M. et al. An adaptable two-lens high-resolution objective for single-site resolved imaging of atoms in optical lattices. Rev. Sci. instrument submitted (2019).
Cikojević, V., Markić, L. V. & Boronat, J. Harmonically trapped bose–bose mixtures: a quantum monte carlo study. New J. Phys. 20, 085002 (2018).
Zaccanti, M. et al. Observation of an efimov spectrum in an atomic system. Nat. Phys. 5, 586–591 (2009).
Sandin, P., Ögren, M. & Gulliksson, M. Numerical solution of the stationary multicomponent nonlinear schrödinger equation with a constraint on the angular momentum. Phys. Rev. E 93, 033301 (2016).
Salasnich, L., Parola, A. & Reatto, L. Effective wave equations for the dynamics of cigar-shaped and disk-shaped bose condensates. Phys. Rev. A 65, 043614 (2002).
Parola, A., Salasnich, L., Rota, R. & Reatto, L. Quantum phases of attractive matter waves in a toroidal trap. Phys. Rev. A 72, 063612 (2005).
Hairer, E., Lubich, C. & Wanner, G. Geometric numerical integration: structure-preserving algorithms for ordinary differential equations, vol. 31 (Springer Science & Business Media, 2006).
Birdsall, C. K. & Langdon, A. B. Plasma physics via computer simulation (CRC press, 2004).
Zupancic, P. et al. Ultra-precise holographic beam shaping for microscopic quantum control. Opt. Express 24, 13881–13893 (2016).
Hartmann, T. et al. Feshbach resonances in 23Na + 39K mixtures and refined molecular potentials for the nak molecule. arXiv 1810.00608 (2018).
Blatt, S. et al. Low-noise optical lattices for ultracold 6Li. Phys. Rev. A 92, 021402 (2015).
Gajdacz, M. et al. Preparation of ultracold atom clouds at the shot noise level. Phys. Rev. Lett. 117, 073604 (2016).
Acknowledgements
A.R. and V.P. wish to thank Magnus Ögren and Edoardo Paganoni for their valuable help in the numerical methods. A.R. and A.Z wish to thank Luis Santos and Silke Ospelkaus for fruitful discussions. A.Z. gratefully acknowledges financial support from the European Research Council through ERC Starting Grant POLAR and from the Deutsche Forschungsgemeinschaft (DFG) through CRC 1227 (DQ-mat), project A03 and FOR2247, project E5.
Author information
Authors and Affiliations
Contributions
A.R. performed analytic and numerical calculations. A.Z. took care of the experimental aspects. A.R., A.Z. 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
Richaud, A., Zenesini, A. & Penna, V. The mixing-demixing phase diagram of ultracold heteronuclear mixtures in a ring trimer. Sci Rep 9, 6908 (2019). https://doi.org/10.1038/s41598-019-43365-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s41598-019-43365-6
This article is cited by
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.