The mixing-demixing phase diagram of ultracold heteronuclear mixtures in a ring trimer

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 ²³Na + ³⁹K, thanks to the large tunability of their intra- and inter-species scattering lengths.

Introduction

Ultracold mixtures of different atomic species have a long experimental history both for studies in bulk¹ and in optical lattices^2,3,4,5 and allowed the investigation of a plethora of intriguing phenomena such as entropy exchange⁶, miscibility in degenerate gases⁷, beyond-mean-field effects^8,9,10, universality of three-body losses^11,12,13 and ultracold chemistry¹⁴.

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 mechanism^15,16, demixing of dipolar mixtures¹⁷, and quantum emulsions^18,19 to the critical properties of quasiparticles spectrum across the transition²⁰, thermal suppression²¹ and the role of entanglement²² in phase separation, and cascades of quantum phase transitions of vector bosons²³.

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 repulsions²⁴ 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)²⁵, 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 state^22,26. The study of phase-separation mechanism has been extended to the ring-trimer geometry in the simple case of twin species²⁷, 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 T_a ≠ T_b, U_a ≠ U_b and N_a ≠ N_b 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

$$\begin{array}{c}H=-\,{T}_{a}\sum _{j=1}^{3}\,({a}_{j+1}^{\dagger }{a}_{j}+{a}_{j}^{\dagger }{a}_{j+1})+\frac{{U}_{a}}{2}\sum _{j=1}^{3}{n}_{j}({n}_{j}-1)-{T}_{b}\sum _{j=1}^{3}\,({b}_{j+1}^{\dagger }{b}_{j}+{b}_{j}^{\dagger }{b}_{j+1})\\ \,\,\,+\,\frac{{U}_{b}}{2}\sum _{j=1}^{3}{m}_{j}({m}_{j}-1)+W\sum _{j=1}^{3}\,{n}_{j}\,{m}_{j},\end{array}$$

(1)

a second-quantized model where operator a_i (${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 b_i 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 [N_a, H] = [N_b, H] = 0. As regards model parameters, T_a and T_b are hopping amplitudes, U_a and U_b 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 potential²⁸, 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 systems^29,30,31. It also allows one to derive an effective semi-classical Hamiltonian H_eff which well reproduces the low-energy physics of the original quantum model^32,33,34 and to turn the search for the ground state thereof into that of the minimum of the potential V provided by H_eff. In the current case, the CVP associates to Hamiltonian (1) the potential

$$\begin{array}{c}V=-\,2{N}_{a}{T}_{a}(\sqrt{{x}_{1}{x}_{2}}+\sqrt{{x}_{2}{x}_{3}}+\sqrt{{x}_{3}{x}_{1}})-2{N}_{b}{T}_{b}(\sqrt{{y}_{1}{y}_{2}}+\sqrt{{y}_{2}{y}_{3}}+\sqrt{{y}_{3}{y}_{1}})\\ \,\,\,+\,\frac{{U}_{a}{N}_{a}^{2}}{2}({x}_{1}^{2}+{x}_{2}^{2}+{x}_{3}^{2})+\frac{{U}_{b}{N}_{b}^{2}}{2}({y}_{1}^{2}+{y}_{2}^{2}+{y}_{3}^{2})+W{N}_{a}{N}_{b}({x}_{1}\,{y}_{1}+{x}_{2}\,{y}_{2}+{x}_{3}{y}_{3})\end{array}$$

(2)

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 x_i: = n_i/N_a and y_i: = m_i/N_b represent normalized boson populations and are regarded as continuous in view of the fact that the total numbers of bosons N_a and N_b 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 in³³), i.e. when ratios U_aN_a/T_a and U_bN_b/T_b 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

$${V}_{\ast }=\frac{1}{2}({x}_{1}^{2}+{x}_{2}^{2}+{x}_{3}^{2})+\frac{{\beta }^{2}}{2}({y}_{1}^{2}+{y}_{2}^{2}+{y}_{3}^{2})+\alpha \beta ({x}_{1}{y}_{1}+{x}_{2}\,{y}_{2}+{x}_{3}{y}_{3}),$$

(3)

an expression including only two effective parameters,

$$\alpha =\frac{W}{\sqrt{{U}_{a}{U}_{b}}},\,\,\beta =\frac{{N}_{b}}{{N}_{a}}\sqrt{\frac{{U}_{b}}{{U}_{a}}}.$$

(4)

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 x_j(α, β) and y_j(α, β) have been derived by means of an exhaustive exploration of the polytope-like domain of function (3) (see²⁷ 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. x_j = y_j = 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:

$${x}_{1}=\frac{1}{3}(1-2\alpha \beta ),\,{x}_{2}=\frac{1}{3}(1+\alpha \beta ),\,{x}_{3}=\frac{1}{3}(1+\alpha \beta ),$$

$${y}_{1}=1,\,{y}_{2}=0,\,{y}_{3}=0.$$

Figure 1

Phase diagram of a binary mixture in a ring trimer. Each of the four phases corresponds to a different functional relationship between the minimum-energy configuration and effective model parameters (4). This circumstance has a direct impact on the mixing properties of the system and on its ground-state energy. Red dashed (solid) line represents a mixing-demixing transition across which the components x_j and y_j of the minimum-energy configuration feature a jump discontinuity (are continuous). The plot has been obtained by means of a fully-analytic minimization of potential (3) under the constraints ${\sum }_{j}\,{x}_{j}={\sum }_{j}\,{y}_{j}=1$.

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 Z₃ 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 cat^22,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.

Figure 2

Summary of the configurations $(\overrightarrow{x},\overrightarrow{y})$ which minimize effective potential (3) (under the constraints ${\sum }_{j}\,{x}_{j}={\sum }_{j}\,{y}_{j}=1$) in the four phases. Phase 1 (in blue) features perfect demixing; phase 2 (in orange) features demixing in two out of three sites and mixing in the third one; phase 3 (in purple) is the fully-demixed one; phase 4 (in green) is the one where species b clots in a site while species a spreads in all three sites, but in different proportions.

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 in²⁷, 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 (S_mix). Originally introduced in the context of macromolecular simulations³⁶, 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 trimer³⁷. According to the definition given in³⁶, the entropy of mixing associated to a certain minimum-energy configuration $(\overrightarrow{x},\overrightarrow{y})$ reads

$${S}_{mix}=-\,\frac{1}{2}\sum _{j=1}^{3}\,({x}_{j}\,\mathrm{log}\,\frac{{x}_{j}}{{x}_{j}+{y}_{j}}+{y}_{j}\,\mathrm{log}\,\frac{{y}_{j}}{{x}_{j}+{y}_{j}}).$$

(5)

In comparison to the one used in^37,38, this formula is based on normalized populations x_j and y_j (rather than n_j and m_j) 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, S_mix is zero in phase 3 (perfect demixing) while achieves the maximum possible value, log2 ≈ 0.69 in phase 1 (perfect mixing). More generally, S_mix, 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 S_mix is particularly advantageous in that it allows one to represent the system critical behavior by avoiding its description in terms of six boson populations x_j and y_j.

Figure 3

Entropy of mixing, S_mix, in the four phases. Phase 1 (in blue) features perfect mixing and S_mix takes the biggest possible value, i.e. log2 ≈ 0.69. Conversely, phase 3 (in purple) features perfect demixing and S_mix is therefore zero.

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

$${V}_{\ast ,1}=\frac{1}{6}(2\alpha \beta +{\beta }^{2}+1),\,\,{V}_{\ast ,2}=\frac{({\alpha }^{2}-2){\beta }^{2}+{\alpha }^{2}-2\alpha \beta -2}{2({\alpha }^{2}-4)},$$

$${V}_{\ast ,3}=\frac{1}{4}(2{\beta }^{2}+1),\,\,{V}_{\ast ,4}=\frac{1}{6}[\beta (-\,2{\alpha }^{2}\beta +2\alpha +3\beta )+1].$$

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).

Figure 4

Effective potential (3) (first panel) and its first and second derivative with respect to α (second and third panel) relevant to the minimum-energy configuration as functions of model parameters parameters α and β.

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 U_aN_a/T_a → ∞ and U_bN_b/T_b → ∞. 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 U_aN_a/T_a and U_bN_b/T_b 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 S_mix (comparing Figs 3 and 5, one can notice that the jump discontinuities give way to smooth junctions).

  Figure 5

  

  Entropy of mixing associated to the configurations $(\overrightarrow{x},\overrightarrow{y})$ which minimize effective potential (2) sweeping model parameters α and β. The following values/intervals have been chosen: U_a = U_b = 1, N_a = 15, N_b ∈ [0, 15] ⇒ β ∈ [0, 1], W ∈ [0, 3] ⇒ α ∈ [0, 3], T_a = T_b = T, where T = 0.1, 0.2, 0.5 in the left, central and right panel respectively. Colors have been employed as a guide to the eye: blue is used when S_mix = log2, purple when S_mix < 0.05, green for all intermediate values except the dome corresponding to phase 2 and therefore colored in orange.

• 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 x_j = y_j = 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 degenerate³⁹.

• 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 transition⁴⁰, 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

$$D=\frac{({N}_{a}+2)!}{{N}_{a}!2!}\frac{({N}_{b}+2)!}{{N}_{b}!2!}$$

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 N_a = N_b = 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,

$${\tilde{S}}_{mix}:=\sum _{\overrightarrow{n},\overrightarrow{m}}^{D}\,|c(\overrightarrow{n},\overrightarrow{m}){|}^{2}{S}_{mix}(\overrightarrow{n},\overrightarrow{m}),$$

(7)

where coefficients $c(\overrightarrow{n},\overrightarrow{m})=\langle \overrightarrow{n},\overrightarrow{m}|{\psi }_{0}\rangle$ are the components of the ground state |ψ₀〉 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 n_i/N_a → x_i and m_i/N_b → y_i. Sweeping⁴¹ model parameters W and U_b, 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 (N_a = N_b = 15).

Figure 6

Entropy of mixing associated to the ground state |ψ₀〉, obtained by means of formula (7) sweeping model parameters α and β. The following values/intervals have been chosen: U_a = 1, U_b ∈ [0, 1], N_a = N_b = 15 ⇒ β ∈ [0, 1], W ∈ [0, 3] ⇒ α ∈ [0, 3], T_a = T_b = T, where T = 0.1, 0.2, 0.5 in the left, central and right panel respectively. Colors have been employed as a guide to the eye: blue is used when S_mix ≈ log2, purple when S_mix < 0.05, green for all intermediate values except the dome corresponding to phase 2 and therefore colored in orange.

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 resonances⁴², 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 lengths⁴³, very narrow resonances far beyond experimental magnetic field stability⁴³, overlapping resonances⁴⁴, and promising broad inter-species resonances where, however, the inter-species scattering length is excessively large or has the wrong sign⁷.

In this prospective, ²³Na + ³⁹K constitutes an ideal mixture. The spin mixture | f = 1, m_f = −1〉_Na + | f = 1, m_f = −1〉_K, where f is the atomic total angular momentum and m_f 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 lengths⁴⁴ (see left panel of Fig. 7). Additionally, in this range of magnetic field, three-body losses⁴⁵ are limited thanks to the small value of a_Na,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.

Figure 7

Left panel: Intra- and inter-species scattering lengths for $|\,f=1,{m}_{f}=-\,1{\rangle }_{{23}_{Na}}+|f=1,{m}_{f}=-\,1{\rangle }_{{39}_{K}}$ mixture given in the Bohr radii a₀. Yellow dashed, red dotted and blue continuous line refer to sodium a_Na, potassium a_K and sodium-potassium a_Na,K scattering lengths. Labels refer to points considered in the next section. Note the approximately constant intra-species scattering lengths and the inter-species a_Na,K varying from <a_K to >a_Na. Right panel: Schematic representation of the three gaussian traps constituting the ring-trimer potential. Yellow dashed line represents the equilateral triangle formed by the trap’s center. Such triangle can be associated to the curvilinear abscissa x present in equations (12) and (13) (and therefore automatically endowed with periodic boundary conditions).

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 m_a = 22.99 u and m_b = 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 systems⁴⁶. 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 capability⁴⁷. 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

$$-\frac{{\hslash }^{2}}{2{m}_{a}}{\nabla }^{2}{\phi }_{a}+{g}_{a}|{\phi }_{a}{|}^{2}{\phi }_{a}+{g}_{ab}|{\phi }_{b}{|}^{2}{\phi }_{a}+{V}_{ext,a}{\phi }_{a}={\mu }_{a}{\phi }_{a}$$

(8)

$$-\frac{{\hslash }^{2}}{2{m}_{b}}{\nabla }^{2}{\phi }_{b}+{g}_{b}|{\phi }_{b}{|}^{2}{\phi }_{b}+{g}_{ab}|{\phi }_{a}{|}^{2}{\phi }_{b}+{V}_{ext,b}{\phi }_{b}={\mu }_{b}{\phi }_{b}$$

(9)

with normalization conditions

$${\int }_{-\infty }^{+\infty }\,|{\phi }_{a}{|}^{2}\,{{\rm{d}}}^{3}x={N}_{a},\,\,{\int }_{-\infty }^{+\infty }|{\phi }_{b}{|}^{2}\,{{\rm{d}}}^{3}x={N}_{b}$$

(10)

enforcing particle-number conservation in both atomic species. Formulas

$${g}_{a}=\frac{4\pi {\hslash }^{2}{a}_{a}}{{m}_{a}}=1.01\times {10}^{-50}J\,\,{\rm{and}}\,\,{g}_{b}=\frac{4\pi {\hslash }^{2}{a}_{b}}{{m}_{b}}\in [8.67,\,9.20]\times {10}^{-52}J$$

give the intra-species interactions and

$${g}_{ab}=\frac{2\pi {\hslash }^{2}{a}_{ab}}{{\mu }_{ab}}\in [1.57,\,7.44]\times {10}^{-51}J$$

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 a_b and a_ab, therefore plays the role of the effective control parameter, capable of triggering the mixing-demixing transitions. Here we use a_a = 52a₀, a_b ∈ [7.6, 8.1]a₀ and a_ab ∈ [10.2, 48.5]a₀. Term ${V}_{ext}(\overrightarrow{x})$ represents the optical potential corresponding to the ring-trimer geometry. One can generate (experimentally achievable) parameters’ vectors (N_a, N_b, g_a, g_b, g_ab) both by tuning the magnetic field B (the latter has an impact on ratios g_ab/g_b and g_b/g_a) and by setting the boson population asymmetry N_b/N_a. 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

$$\begin{array}{rcl} {\mathcal H} [{\phi }_{a},{\phi }_{b}] & = & \int \,{\phi }_{a}^{\ast }[-\frac{{\hslash }^{2}}{2{m}_{a}}{\nabla }^{2}+{V}_{ext,a}]{\phi }_{a}\,{{\rm{d}}}^{3}x+\frac{{g}_{a}}{2}\int \,|{\phi }_{a}{|}^{4}\,{{\rm{d}}}^{3}x\\ & & +\int {\phi }_{b}^{\ast }[-\frac{{\hslash }^{2}}{2{m}_{b}}{\nabla }^{2}+{V}_{ext,b}]{\phi }_{b}\,{{\rm{d}}}^{3}x+\frac{{g}_{b}}{2}\int |{\phi }_{b}{|}^{4}\,{{\rm{d}}}^{3}x+{g}_{ab}\int |{\phi }_{a}{|}^{2}|{\phi }_{b}{|}^{2}\,{{\rm{d}}}^{3}x,\end{array}$$

(11)

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 Z₃ 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.

Figure 8

Graphical representation of four qualitatively different eigensolutions of equations (8) and (9) which minimize Hamiltonian functional (11). Blue (red) line corresponds to |φ_a|² (|φ_b|²). The horizontal axis constitutes the arc length associated to the perimeter of the equilateral triangle formed by the traps’ centers (see yellow line in the right panel of Fig. 7) and therefore it comes with periodic boundary conditions (see Methods for details concerning the numerical simulation). The specific model parameters that have been used in each simulation are given in the form (N_a, N_b, g_a, g_b, g_ab). Panel 1: (200, 600, 52 × (4πℏ²a₀)/m_a, 8.1 × (4πℏ²a₀)/m_b, 10.2 × (2πℏ²a₀)/μ_ab); Panel 2: (200, 600, 52 × (4πℏ²a₀)/m_a, 7.6 × (4πℏ²a₀)/m_b, 28.4 × (2πℏ²a₀)/μ_ab); Panel 3: (200, 220, 52 × (4πℏ²a₀)/m_a, 7.8 × (4πℏ²a₀)/m_b, 48.5 × (2πℏ²a₀)/μ_ab); Panel 4: (200, 220, 52 × (4πℏ²a₀)/m_a, 7.7 × (4πℏ²a₀)/m_b, 23.0 × (2πℏ²a₀)/μ_ab). All panels: the ring-trimer geometry is realized by means of three gaussian traps, whose centers lie on the vertexes of an equilateral triangle with edge d = 2 μm, whose width is σ = 1 μm and whose depths are P_a = 4.44 × 10⁻³⁰ J = 322 × k_B nK for sodium and P_b = 1.16 × 10⁻²⁹ J = 840 × k_B nK for potassium being k_B the Boltzmann constant (see Methods). The energy of each of the four depicted solutions, together with their positions within the phase diagram spanned by effective parameters ${g}_{ab}/\sqrt{{g}_{a}{g}_{b}}$ and ${N}_{b}/{N}_{a}\sqrt{{g}_{b}/{g}_{a}}$ is shown in Fig. 9.

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 strengths⁴⁸, 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 g_a, g_b and g_ab in energy functional (11) quite naturally exhibit the same structure of the terms proportional to U_a, U_b 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 N_b/N_a 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.

Figure 9

Upper left panel: two pathways in the MF counterpart of the phase diagram shown in Fig. 1. One can show, in fact, that parameter α and β of Fig. 1 play the role of ${g}_{ab}/\sqrt{{g}_{a}{g}_{b}}$ and ${N}_{b}/{N}_{a}\sqrt{{g}_{b}/{g}_{a}}$. Lower left panel: experimental counterpart of the phase diagram, the actual control parameters being the applied magnetic field B and the ratio N_b/N_a. Notice that curved pathways in the upper left panel are here horizontal. Each pathway is obtained by sweeping the applied magnetic field B. The upper red (lower green) pathway is obtained for N_a = 200 and N_b = 600 (N_b = 220). Central column’s panels: ground state energy computed along each pathway (more specifically, they are computed by plugging the solutions of equations (8) and (9) into functional (11)). Rectangular (circular) markers indicate the points where the first (second) derivative of E₀ with respect to B is discontinuous. Numbers 1–4 not only refer to the phase crossed by the pathway but specifically correspond to the minimum-energy solutions 1–4 illustrated in Fig. 8. Right column’s panels: entropy of mixing computed along each pathway. Normalized boson populations appearing in formula (5) are computed by integrating the (square modulus of) the solutions of equations (8) and (9) in the three spatial domains associated to the potential wells.

As g_b and g_ab 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 N_b/N_a. For many such pathways, practically constituting extended sets of n-tuples (N_a, N_b, g_a, g_b, g_ab), 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 E₀ is a continuous function of B and that its first derivative dE₀/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 d²E₀/dB² 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 S_mix 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 S_mix 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 S_mix 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 trap⁴⁴ 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⁻⁴¹ m⁶/s, taken from experimental measurements performed the Hannover setup and compatible with literature values⁴⁹.

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 method⁵⁰. Preliminary, in order to lighten the computational burden, we enact a dimensional reduction (in the spirit of the scheme discussed in^51,52) to turn the original genuinely 3D problem into a 1D one. This is obtained by means of factorizations

$${\psi }_{a}={\psi }_{a}(x,y,z)={\psi }_{a,x}(x){\psi }_{a,y,z}(y,z)={\psi }_{a,x}(x)\frac{1}{\sqrt{{L}_{y}}}\frac{1}{\sqrt{{L}_{z}}}$$

$${\psi }_{b}={\psi }_{b}(x,y,z)={\psi }_{b,x}(x){\psi }_{b,y,z}(y,z)={\psi }_{b,x}(x)\frac{1}{\sqrt{{L}_{y}}}\frac{1}{\sqrt{{L}_{z}}}$$

where ψ_a and ψ_b are such that

$${\phi }_{a}=\sqrt{{N}_{a}}{\psi }_{a},\,\,{\phi }_{b}=\sqrt{{N}_{b}}{\psi }_{b}$$

and are therefore normalized to unity, as a consequence of normalization conditions (10). These substitutions lead to equations

$$-\frac{{\partial }^{2}}{\partial {x}^{2}}{\psi }_{a}+{\gamma }_{a}|{\psi }_{a}{|}^{2}{\psi }_{a}+{\gamma }_{ab}|{\psi }_{b}{|}^{2}{\psi }_{a}+{\tilde{V}}_{ext,a}{\psi }_{a}={\tilde{\mu }}_{a}{\psi }_{a}$$

(12)

$$-\frac{{\partial }^{2}}{\partial {x}^{2}}{\psi }_{b}+{\gamma }_{b}|{\psi }_{b}{|}^{2}{\psi }_{b}+{\gamma }_{ba}|{\psi }_{a}{|}^{2}{\psi }_{b}+{\tilde{V}}_{ext,b}{\psi }_{b}={\tilde{\mu }}_{b}{\psi }_{b}$$

(13)

(notice that wavefunctions labels “a, x” and “b, x” are understood) whose effective parameters are

$${\gamma }_{a}=\frac{2{m}_{a}\,{g}_{a}\,{N}_{a}}{{L}_{y}{L}_{z}{\hslash }^{2}},\,\,{\gamma }_{ab}=\frac{2{m}_{a}\,{g}_{ab}\,{N}_{b}}{{L}_{y}{L}_{z}{\hslash }^{2}},\,\,{\tilde{\mu }}_{a}=\frac{2{m}_{a}}{{\hslash }^{2}}{\mu }_{a},$$

$${\gamma }_{b}=\frac{2{m}_{b}{g}_{b}{N}_{b}}{{L}_{y}{L}_{z}{\hslash }^{2}},\,\,{\gamma }_{ba}=\frac{2{m}_{b}{g}_{ab}{N}_{a}}{{L}_{y}{L}_{z}{\hslash }^{2}},\,\,{\tilde{\mu }}_{b}=\frac{2{m}_{b}}{{\hslash }^{2}}{\mu }_{b}.$$

where L_y and L_z are chosen in a such a way that L_y ≈ L_z ≈ 2σ ≈ 2 μm. Moreover, the optical-potential terms read:

$${\tilde{V}}_{ext,a}=-\frac{2{m}_{a}}{{\hslash }^{2}}{P}_{a}\sum _{i=1}^{3}\,{e}^{-\frac{2{(x-{x}_{i})}^{2}}{{\sigma }^{2}}},\,\,{\tilde{V}}_{ext,b}=-\frac{2{m}_{b}}{{\hslash }^{2}}{P}_{b}\sum _{i=1}^{3}\,{e}^{-\frac{2{(x-{x}_{i})}^{2}}{{\sigma }^{2}}}$$

where x_i'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 x_i's themselves (see yellow line in the right panel of Fig. 7).

Resorting to the damped oscillating particle method⁵⁰, 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:

$$\frac{{\partial }^{2}{\psi }_{a}}{\partial {\tau }^{2}}+\eta \frac{\partial {\psi }_{a}}{\partial \tau }=\frac{{\partial }^{2}}{\partial {x}^{2}}{\psi }_{a}-{\gamma }_{a}|{\psi }_{a}{|}^{2}{\psi }_{a}-{\gamma }_{ab}|{\psi }_{b}{|}^{2}{\psi }_{a}-{\tilde{V}}_{ext,a}{\psi }_{a}+{\tilde{\mu }}_{a}{\psi }_{a}$$

(14)

$$\frac{{\partial }^{2}{\psi }_{b}}{\partial {\tau }^{2}}+\eta \frac{\partial {\psi }_{b}}{\partial \tau }=\frac{{\partial }^{2}}{\partial {x}^{2}}{\psi }_{b}-{\gamma }_{b}|{\psi }_{b}{|}^{2}{\psi }_{b}-{\gamma }_{ba}|{\psi }_{a}{|}^{2}{\psi }_{b}-{\tilde{V}}_{ext,b}{\psi }_{b}+{\tilde{\mu }}_{b}{\psi }_{b}$$

(15)

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

$${q}_{a}={\psi }_{a},\,\,{p}_{a}=\frac{\partial {\psi }_{a}}{\partial \tau },\,\,{q}_{b}={\psi }_{b},\,\,{p}_{b}=\frac{\partial {\psi }_{b}}{\partial \tau },$$

one can solve the resulting dynamical system with standard finite difference methods⁵³. More specifically, we made use of the leapfrog integrator⁵⁴, iterating it until equations (12) and (13) are satisfied up to relative errors <10⁻³ (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 experiments⁵⁵. 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/T_a, 1/T_b} to be smaller than 20 ms for both species; estimated hopping rate are evaluated by calculating overlap integrals and one has {T_a, T_b} ≈ 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 setup⁵⁶ 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 techniques⁵⁷ while the stability of the atom number by real-time analysis⁵⁸.