Droplets of Bosons at a Narrow Resonance

Ke Wang James Franck Institute and Kadanoff Center for Theoretical Physics, University of Chicago, Chicago, Illinois 60637, USA    Thimo Preis Institut für Theoretische Physik, Universität Heidelberg, 69120 Heidelberg, Germany    Dam Thanh Son James Franck Institute and Kadanoff Center for Theoretical Physics, University of Chicago, Chicago, Illinois 60637, USA
(July 2024)
Abstract

We consider bosons interacting through a narrow s𝑠sitalic_s-wave resonance. Such a resonance is characterized by an infinite scattering length and a large and negative effective range r0subscript𝑟0r_{0}italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT. We argue that any number N3𝑁3N\geq 3italic_N ≥ 3 of bosons can form a self-bound cluster with the binding energy per particle increasing as N2superscript𝑁2N^{2}italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT for 1N(r0/abg)1/2much-less-than1𝑁much-less-thansuperscriptsubscript𝑟0subscript𝑎bg121\ll N\ll(-r_{0}/a_{\text{bg}})^{1/2}1 ≪ italic_N ≪ ( - italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT / italic_a start_POSTSUBSCRIPT bg end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 1 / 2 end_POSTSUPERSCRIPT, where abgsubscript𝑎bga_{\text{bg}}italic_a start_POSTSUBSCRIPT bg end_POSTSUBSCRIPT is the background scattering length (between atoms and molecules). In the opposite limit N(r0/abg)1/2much-greater-than𝑁superscriptsubscript𝑟0subscript𝑎bg12N\gg(-r_{0}/a_{\text{bg}})^{1/2}italic_N ≫ ( - italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT / italic_a start_POSTSUBSCRIPT bg end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 1 / 2 end_POSTSUPERSCRIPT, bosons form droplets with binding energy per particle saturating to a constant value independent of the particle number. The stability of clusters and droplets when the interaction is detuned from the resonance is also studied.

Introduction.—Dilute quantum droplets are particularly interesting physical systems that have recently become the subject of active theoretical and experimental study [1]. The oldest known quantum droplets are those formed by He4superscriptHe4{}^{4}\text{He}start_FLOATSUPERSCRIPT 4 end_FLOATSUPERSCRIPT He atoms [2, 3]. Such a droplet 111We use the terms “droplet” and “cluster” interchangeably. exists for any number of helium atoms N𝑁Nitalic_N, with binding energy per particle approaching the thermodynamic limit of 7.1K7.1K7.1\,\text{K}7.1 K when N𝑁N\to\inftyitalic_N → ∞. It is notable that the approach to this asymptotic value is quite slow, and, in the intermediate regime 3N103𝑁less-than-or-similar-to103\leq N\lesssim 103 ≤ italic_N ≲ 10, the binding energy, instead of growing linearly, follows an approximate quadratic law of (N2)2superscript𝑁22(N-2)^{2}( italic_N - 2 ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT [5]. It was suggested that the bosons with short-range attractive interaction can form a droplet in 3D [6] and 2D [7]. In 2015, Petrov [8] showed that in a bosonic mixture the collapse of the system can be prevented by quantum effects (see also Ref. [9]). Droplets stabilized by quantum effects have been realized experimentally [10, 11].

In this Letter, we study bound states of bosons which interact with each other through a narrow s𝑠sitalic_s-wave resonance. With ultracold atoms, narrow resonances are realized, for example, by cesium atoms in a magnetic field [12]. At such resonances, bosons can form both atomic and molecular condensates; the thermodynamics and dynamics of such a hybrid condensate have been studied [13, 14, 15]. In particular, it was found that such a system can form a “mutually trapped state” [16], in essence, a self-bound drop of a liquid phase that phase-coexists with the vacuum.

At the other end of the range of particle numbers, the three-body problem of bosons with narrow resonance has been solved [17]. The properties of the three-body system is completely characterized by the scattering length a𝑎aitalic_a and the effective range r0subscript𝑟0r_{0}italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT, both assumed to be much larger than any other length scales in the problem, and, in addition, r0subscript𝑟0r_{0}italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT is assumed to be negative. At a=𝑎a=\inftyitalic_a = ∞ there is an infinite tower of three-body Efimov states, with the energy of the ground state entirely determined by r0subscript𝑟0r_{0}italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT. It has been found that a stable three-body bound state exists only in a finite range of inverse scattering length 1/a1𝑎1/a1 / italic_a: when 1/a1𝑎1/a1 / italic_a is too negative, the three-body bound state decays into free particles. Conversely, when 1/a1𝑎1/a1 / italic_a is too large and positive, the three-body bound state is unstable toward a decay into a particle and a bound dimer.

We will show that a system of a large number of bosons at a narrow s𝑠sitalic_s-wave resonance forms a bound cluster with binding energy that first increases as N3superscript𝑁3N^{3}italic_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT and whose size decreases as 1/N1𝑁1/N1 / italic_N with increasing N𝑁Nitalic_N. As N𝑁Nitalic_N is increased further, one goes to the regime of large droplets with constant density and the core and binding energy increase as 𝒪(N)𝒪𝑁\mathcal{O}(N)caligraphic_O ( italic_N ) (i.e., constant binding energy per particle). The crossover between the two regimes happens at N(r0/abg)1/2similar-to𝑁superscriptsubscript𝑟0subscript𝑎bg12N\sim(r_{0}/a_{\text{bg}})^{1/2}italic_N ∼ ( italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT / italic_a start_POSTSUBSCRIPT bg end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 1 / 2 end_POSTSUPERSCRIPT, where abgsubscript𝑎bga_{\text{bg}}italic_a start_POSTSUBSCRIPT bg end_POSTSUBSCRIPT is the characteristic scale of the background atom-atom, atom-molecule, and molecule-molecule scattering. Moreover, we show that the N𝑁Nitalic_N-body bound state remains stable in a range of the detuning parameter |r0|/asubscript𝑟0𝑎|r_{0}|/a| italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT | / italic_a, which includes both positive and negative values of a𝑎aitalic_a. The width of this range scales as N2superscript𝑁2N^{2}italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT in the small cluster regime and is constant in the large droplet regime. Combining our results with the solution to the three-body problem [17], one comes to the conclusion that at a narrow resonance, a bound state of N𝑁Nitalic_N bosons exists for any N3𝑁3N\geq 3italic_N ≥ 3.

The model.—A narrow resonance is characterized by a large s𝑠sitalic_s-wave scattering length a𝑎aitalic_a and a large and negative effective range r0subscript𝑟0r_{0}italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT. The effective Hamiltonian describing this situation is (we set the mass of the atom m=1𝑚1m=1italic_m = 1, so the mass of the molecule is 2)

H=dx[12|ψ|214|ϕ|2+α(ψψϕ+ϕψψ)νϕϕ].𝐻𝑑xdelimited-[]12superscript𝜓214superscriptitalic-ϕ2𝛼superscript𝜓superscript𝜓italic-ϕsuperscriptitalic-ϕ𝜓𝜓𝜈superscriptitalic-ϕitalic-ϕH=\int\!d\textbf{x}\biggl{[}-\frac{1}{2}|\nabla\psi|^{2}-\frac{1}{4}|\nabla% \phi|^{2}\\ +\alpha(\psi^{\dagger}\psi^{\dagger}\phi+\phi^{\dagger}\psi\psi)-\nu{\phi^{% \dagger}\phi}\biggr{]}.start_ROW start_CELL italic_H = ∫ italic_d x [ - divide start_ARG 1 end_ARG start_ARG 2 end_ARG | ∇ italic_ψ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - divide start_ARG 1 end_ARG start_ARG 4 end_ARG | ∇ italic_ϕ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_CELL end_ROW start_ROW start_CELL + italic_α ( italic_ψ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_ψ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_ϕ + italic_ϕ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_ψ italic_ψ ) - italic_ν italic_ϕ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_ϕ ] . end_CELL end_ROW (1)

By computing the atom-atom scattering amplitude from (1), one can establish the connection between the parameters α𝛼\alphaitalic_α and ν𝜈\nuitalic_ν with the scattering length a𝑎aitalic_a and the effective range r0subscript𝑟0r_{0}italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT characterizing the low-energy interaction between the atoms,

α=4πr0,ν=2(r0)a.formulae-sequence𝛼4𝜋subscript𝑟0𝜈2subscript𝑟0𝑎\alpha=\sqrt{\frac{4\pi}{-r_{0}}},\qquad\nu=-\frac{2}{(-r_{0})a}\,.italic_α = square-root start_ARG divide start_ARG 4 italic_π end_ARG start_ARG - italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG end_ARG , italic_ν = - divide start_ARG 2 end_ARG start_ARG ( - italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) italic_a end_ARG . (2)

In particular, for negative detuning ν<0𝜈0\nu<0italic_ν < 0 the molecule is bound in vacuum, while for ν>0𝜈0\nu>0italic_ν > 0 it is unbound. In the regime ar0much-less-than𝑎subscript𝑟0a\ll r_{0}italic_a ≪ italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT, the binding energy of the dimer is ν𝜈-\nu- italic_ν.

As a nonrelativistic quantum field theory, the theory given by Eq. (1) is superrenormalizable. Indeed, the dimensions of both α𝛼\alphaitalic_α and ν𝜈\nuitalic_ν are positive: [α]=12delimited-[]𝛼12[\alpha]=\frac{1}{2}[ italic_α ] = divide start_ARG 1 end_ARG start_ARG 2 end_ARG and [ν]=2delimited-[]𝜈2[\nu]=2[ italic_ν ] = 2. Thus the theory (1) can be defined without an ultraviolet cutoff.

In the real world (1) is only an effective field theory. There exist irrelevant corrections to the Lagrangian with coefficients of natural (i.e., not finely tuned) magnitudes, and they limit the regime of validity of (1) in the ultraviolet. If we denote by abgsubscript𝑎bga_{\text{bg}}italic_a start_POSTSUBSCRIPT bg end_POSTSUBSCRIPT the length scale associated with these terms, we can safely use Eq. (1) when the characteristic momentum is much smaller than 1/abg1subscript𝑎bg1/a_{\text{bg}}1 / italic_a start_POSTSUBSCRIPT bg end_POSTSUBSCRIPT. For now, let us assume that abg=0subscript𝑎bg0a_{\text{bg}}=0italic_a start_POSTSUBSCRIPT bg end_POSTSUBSCRIPT = 0, and check the effect of the irrelevant corrections to Eq. (1) later.

We will try to find the ground state of N𝑁Nitalic_N bosons, with N1much-greater-than𝑁1N\gg 1italic_N ≫ 1. First let us assume the resonance is at exact zero energy, i.e., the detuning parameter vanishes ν=0𝜈0\nu=0italic_ν = 0. We expect that the mean-field approximation works for N1much-greater-than𝑁1N\gg 1italic_N ≫ 1 bosons. Thus the problem becomes that of minimizing the classical energy functional given by Eq. (1) with ν=0𝜈0\nu=0italic_ν = 0 under the constraint

𝑑x(ψψ+2ϕϕ)=N.differential-dxsuperscript𝜓𝜓2superscriptitalic-ϕitalic-ϕ𝑁\int\!d\textbf{x}\,(\psi^{\dagger}\psi+2\phi^{\dagger}\phi)=N\,.∫ italic_d x ( italic_ψ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_ψ + 2 italic_ϕ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_ϕ ) = italic_N . (3)

There are two competing contributions to the energy of the droplet: the positive gradient energy and the negative attraction energy between the two condensates. To understand the interplay between these contributions, one can perform a simple variational calculation. Namely, we pick a profile function f(r)𝑓𝑟f(r)italic_f ( italic_r ) which has a finite value at r=0𝑟0r=0italic_r = 0 and tends to zero exponentially at r=0𝑟0r=0italic_r = 0. For definiteness, we take

f(x)=1cosh(x).𝑓𝑥1𝑥f(x)=\frac{1}{\cosh(x)}\,.italic_f ( italic_x ) = divide start_ARG 1 end_ARG start_ARG roman_cosh ( italic_x ) end_ARG . (4)

We then try the following ansatz for the condensates of atoms and molecules,

ψ(r)𝜓𝑟\displaystyle\psi(r)italic_ψ ( italic_r ) =cN4πI2R3f(rR),absent𝑐𝑁4𝜋subscript𝐼2superscript𝑅3𝑓𝑟𝑅\displaystyle=\sqrt{\frac{cN}{4\pi I_{2}R^{3}}}\,f\left(\frac{r}{R}\right),= square-root start_ARG divide start_ARG italic_c italic_N end_ARG start_ARG 4 italic_π italic_I start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_R start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG end_ARG italic_f ( divide start_ARG italic_r end_ARG start_ARG italic_R end_ARG ) , (5a)
ϕ(r)italic-ϕ𝑟\displaystyle\phi(r)italic_ϕ ( italic_r ) =(1c)N8πI2R3f(rR).absent1𝑐𝑁8𝜋subscript𝐼2superscript𝑅3𝑓𝑟𝑅\displaystyle=\sqrt{\frac{(1-c)N}{8\pi I_{2}R^{3}}}\,f\left(\frac{r}{R}\right).= square-root start_ARG divide start_ARG ( 1 - italic_c ) italic_N end_ARG start_ARG 8 italic_π italic_I start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_R start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG end_ARG italic_f ( divide start_ARG italic_r end_ARG start_ARG italic_R end_ARG ) . (5b)

Here I2subscript𝐼2I_{2}italic_I start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT is a numerical constant that depends on the shape function f(x)𝑓𝑥f(x)italic_f ( italic_x ),

I2=0𝑑xx2f2(x),subscript𝐼2superscriptsubscript0differential-d𝑥superscript𝑥2superscript𝑓2𝑥I_{2}=\int_{0}\limits^{\infty}\!dx\,x^{2}f^{2}(x)\,,italic_I start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT italic_d italic_x italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_f start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_x ) , (6)

with I20.822subscript𝐼20.822I_{2}\approx 0.822italic_I start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ≈ 0.822 for the choice (4). The ansatz (5) corresponds to two clouds of atoms and molecules of the same shape and size. The variational parameter R𝑅Ritalic_R controls the size of the droplet, and c𝑐citalic_c denotes the fraction of free atoms not bound in molecules. The fraction of atoms bound in molecules is (1c)1𝑐(1-c)( 1 - italic_c ), and the total particle number is N𝑁Nitalic_N.

In addition to m=1𝑚1m=1italic_m = 1 we will further set r0=1subscript𝑟01-r_{0}=1- italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = 1 for convenience. In particular, energy is measured in units of 2/(mr02)superscriptPlanck-constant-over-2-pi2𝑚superscriptsubscript𝑟02\hbar^{2}/(mr_{0}^{2})roman_ℏ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / ( italic_m italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ). Inserting the ansatz (5) into the energy (1), one finds the variational energy

E(c,R)=a(c)NR2b(c)N3/2R3/2,𝐸𝑐𝑅𝑎𝑐𝑁superscript𝑅2𝑏𝑐superscript𝑁32superscript𝑅32E(c,R)=a(c)\frac{N}{R^{2}}-b(c)\frac{N^{3/2}}{R^{3/2}}\,,italic_E ( italic_c , italic_R ) = italic_a ( italic_c ) divide start_ARG italic_N end_ARG start_ARG italic_R start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG - italic_b ( italic_c ) divide start_ARG italic_N start_POSTSUPERSCRIPT 3 / 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_R start_POSTSUPERSCRIPT 3 / 2 end_POSTSUPERSCRIPT end_ARG , (7)

with

a(c)=3c+18KI2,b(c)=c2(1c)I3I23/2,formulae-sequence𝑎𝑐3𝑐18𝐾subscript𝐼2𝑏𝑐𝑐21𝑐subscript𝐼3superscriptsubscript𝐼232a(c)=\frac{3c+1}{8}\frac{K}{I_{2}}\,,\quad b(c)=c\sqrt{2(1-c)}\,\frac{I_{3}}{I% _{2}^{3/2}}\,,italic_a ( italic_c ) = divide start_ARG 3 italic_c + 1 end_ARG start_ARG 8 end_ARG divide start_ARG italic_K end_ARG start_ARG italic_I start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG , italic_b ( italic_c ) = italic_c square-root start_ARG 2 ( 1 - italic_c ) end_ARG divide start_ARG italic_I start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT end_ARG start_ARG italic_I start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 / 2 end_POSTSUPERSCRIPT end_ARG , (8)

where we have defined two further characteristics of the shape

I3=0𝑑xx2f3(x),K=0𝑑xx2(f(x))2.formulae-sequencesubscript𝐼3superscriptsubscript0differential-d𝑥superscript𝑥2superscript𝑓3𝑥𝐾superscriptsubscript0differential-d𝑥superscript𝑥2superscriptsuperscript𝑓𝑥2I_{3}=\int\limits_{0}^{\infty}\!dx\,x^{2}f^{3}(x)\,,\quad K=\int\limits_{0}^{% \infty}\!dx\,x^{2}(f^{\prime}(x))^{2}\,.italic_I start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT = ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT italic_d italic_x italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_f start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ( italic_x ) , italic_K = ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT italic_d italic_x italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_f start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_x ) ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT . (9)

For the choice (4), I30.367subscript𝐼30.367I_{3}\approx 0.367italic_I start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ≈ 0.367 and K0.607𝐾0.607K\approx 0.607italic_K ≈ 0.607. The gradient terms in the energy lead to the 1/R21superscript𝑅21/R^{2}1 / italic_R start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT contribution, which dominates at small R𝑅Ritalic_R, and the Feshbach interaction [the terms proportional to α𝛼\alphaitalic_α in Eq. (1)] leads to the 1/R3/21superscript𝑅32-1/R^{3/2}- 1 / italic_R start_POSTSUPERSCRIPT 3 / 2 end_POSTSUPERSCRIPT contribution, which dominates at large radii. At fixed c𝑐citalic_c, the energy is minimized at radius

R=16a29b21N,𝑅16superscript𝑎29superscript𝑏21𝑁R=\frac{16a^{2}}{9b^{2}}\frac{1}{N}\,,italic_R = divide start_ARG 16 italic_a start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 9 italic_b start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG divide start_ARG 1 end_ARG start_ARG italic_N end_ARG , (10)

with the value at the minimum

E(c)=27256b4a3N3=Ac4(1c)2(c+13)3N3,𝐸𝑐27256superscript𝑏4superscript𝑎3superscript𝑁3𝐴superscript𝑐4superscript1𝑐2superscript𝑐133superscript𝑁3E(c)=-\frac{27}{256}\frac{b^{4}}{a^{3}}N^{3}=-A\frac{c^{4}(1-c)^{2}}{(c+\frac{% 1}{3})^{3}}N^{3},italic_E ( italic_c ) = - divide start_ARG 27 end_ARG start_ARG 256 end_ARG divide start_ARG italic_b start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG start_ARG italic_a start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG italic_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT = - italic_A divide start_ARG italic_c start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT ( 1 - italic_c ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG ( italic_c + divide start_ARG 1 end_ARG start_ARG 3 end_ARG ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG italic_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT , (11)

where A=8I34/(I2K)31.16𝐴8superscriptsubscript𝐼34superscriptsubscript𝐼2𝐾31.16A=8I_{3}^{4}/(I_{2}K)^{3}\approx 1.16italic_A = 8 italic_I start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT / ( italic_I start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_K ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ≈ 1.16. Note that E0subscript𝐸0E_{0}italic_E start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT is zero both at c=0𝑐0c=0italic_c = 0 and c=1𝑐1c=1italic_c = 1: at these values one of the condensates vanishes and the coupling term ϕψ2italic-ϕsuperscript𝜓2-\phi\psi^{2}- italic_ϕ italic_ψ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT does not give an attractive contribution to the energy. The minimal energy is achieved at the atomic fraction

c=17160.521,𝑐17160.521c=\frac{\sqrt{17}-1}{6}\approx 0.521,italic_c = divide start_ARG square-root start_ARG 17 end_ARG - 1 end_ARG start_ARG 6 end_ARG ≈ 0.521 , (12)

with the energy at the minimum E00.0316N3subscript𝐸00.0316superscript𝑁3E_{0}\approx-0.0316N^{3}italic_E start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ≈ - 0.0316 italic_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT. Since this is only a variational calculation, this should be regarded as an upper bound on the energy. Indeed, a variational calculation based on the modified Woods-Saxon shape function [cosh(x/R)+ξ]1superscriptdelimited-[]𝑥𝑅𝜉1[\cosh(x/R)+\xi]^{-1}[ roman_cosh ( italic_x / italic_R ) + italic_ξ ] start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT, with five variational parameters corresponding to the parameters R𝑅Ritalic_R and ξ𝜉\xiitalic_ξ of the atom and the molecular condensates, and the relative amplitude of the two condensates, yields

E0=0.0347N32mr02,subscript𝐸00.0347superscript𝑁3superscriptPlanck-constant-over-2-pi2𝑚superscriptsubscript𝑟02E_{0}=-0.0347N^{3}\frac{\hbar^{2}}{mr_{0}^{2}}\,,italic_E start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = - 0.0347 italic_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT divide start_ARG roman_ℏ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , (13)

where we have restored the unit of energy previously set to 1. Further minimization using the imaginary-time Gross-Pitaevskii equation lowers the energy by less than the last digit given in Eq. (13) [18].

We now consider the fate of the N𝑁Nitalic_N-boson cluster when the detuning parameter ν𝜈\nuitalic_ν is nonzero. It was found in Ref. [17] that the three-body bound state (the trimer) exists only within a finite range of ν𝜈\nuitalic_ν, ν(3)<ν<ν+(3)subscript𝜈3𝜈subscript𝜈3\nu_{-}(3)<\nu<\nu_{+}(3)italic_ν start_POSTSUBSCRIPT - end_POSTSUBSCRIPT ( 3 ) < italic_ν < italic_ν start_POSTSUBSCRIPT + end_POSTSUBSCRIPT ( 3 ), where ν+(3)8.72subscript𝜈38.72\nu_{+}(3)\approx 8.72italic_ν start_POSTSUBSCRIPT + end_POSTSUBSCRIPT ( 3 ) ≈ 8.72 and ν(3)0.366subscript𝜈30.366\nu_{-}(3)\approx-0.366italic_ν start_POSTSUBSCRIPT - end_POSTSUBSCRIPT ( 3 ) ≈ - 0.366. For ν<ν(3)𝜈subscript𝜈3\nu<\nu_{-}(3)italic_ν < italic_ν start_POSTSUBSCRIPT - end_POSTSUBSCRIPT ( 3 ), the trimer decays into a dimer (molecule) and an atom, while for ν>ν+(3)𝜈subscript𝜈3\nu>\nu_{+}(3)italic_ν > italic_ν start_POSTSUBSCRIPT + end_POSTSUBSCRIPT ( 3 ) the trimer is completely unbound. We now show that the N𝑁Nitalic_N-body bound states at large N𝑁Nitalic_N behave in a similar way: each of them exists in a finite range of the detuning parameter, ν(N)<ν<ν+(N)subscript𝜈𝑁𝜈subscript𝜈𝑁\nu_{-}(N)<\nu<\nu_{+}(N)italic_ν start_POSTSUBSCRIPT - end_POSTSUBSCRIPT ( italic_N ) < italic_ν < italic_ν start_POSTSUBSCRIPT + end_POSTSUBSCRIPT ( italic_N ), but the range expands with increasing N𝑁Nitalic_N: ν±(N)N2similar-tosubscript𝜈plus-or-minus𝑁superscript𝑁2\nu_{\pm}(N)\sim N^{2}italic_ν start_POSTSUBSCRIPT ± end_POSTSUBSCRIPT ( italic_N ) ∼ italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT.

The qualitative behavior of the N𝑁Nitalic_N-body cluster can again be investigated using the variational ansatz. The contribution of the detuning term to the energy is simply proportional to the number of molecules and independent of the cluster size R𝑅Ritalic_R. Thus minimization over R𝑅Ritalic_R proceeds as in the case of zero detuning and one obtains the energy as a function of atomic concentration c𝑐citalic_c,

E=N3Ac4(1c)2(c+13)3+ν2N(1c).𝐸superscript𝑁3𝐴superscript𝑐4superscript1𝑐2superscript𝑐133𝜈2𝑁1𝑐E=-N^{3}A\frac{c^{4}(1-c)^{2}}{(c+\frac{1}{3})^{3}}+\frac{\nu}{2}N(1-c)\,.italic_E = - italic_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_A divide start_ARG italic_c start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT ( 1 - italic_c ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG ( italic_c + divide start_ARG 1 end_ARG start_ARG 3 end_ARG ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG + divide start_ARG italic_ν end_ARG start_ARG 2 end_ARG italic_N ( 1 - italic_c ) . (14)

The behavior of this function of c𝑐citalic_c is controlled by ν~=ν/N2~𝜈𝜈superscript𝑁2\tilde{\nu}=\nu/N^{2}over~ start_ARG italic_ν end_ARG = italic_ν / italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. There are two critical values, which in our variational calculation are ν~+0.132A0.153subscript~𝜈0.132𝐴0.153\tilde{\nu}_{+}\approx 0.132A\approx 0.153over~ start_ARG italic_ν end_ARG start_POSTSUBSCRIPT + end_POSTSUBSCRIPT ≈ 0.132 italic_A ≈ 0.153 and ν~0.117A0.136subscript~𝜈0.117𝐴0.136\tilde{\nu}_{-}\approx-0.117A\approx-0.136over~ start_ARG italic_ν end_ARG start_POSTSUBSCRIPT - end_POSTSUBSCRIPT ≈ - 0.117 italic_A ≈ - 0.136. For ν~<ν~<ν~+subscript~𝜈~𝜈subscript~𝜈\tilde{\nu}_{-}<\tilde{\nu}<\tilde{\nu}_{+}over~ start_ARG italic_ν end_ARG start_POSTSUBSCRIPT - end_POSTSUBSCRIPT < over~ start_ARG italic_ν end_ARG < over~ start_ARG italic_ν end_ARG start_POSTSUBSCRIPT + end_POSTSUBSCRIPT, the minimum of E(c)𝐸𝑐E(c)italic_E ( italic_c ) is located at a finite value of the atomic fraction c𝑐citalic_c which changes from 0.6670.6670.6670.667 at ν~=ν~+~𝜈subscript~𝜈\tilde{\nu}=\tilde{\nu}_{+}over~ start_ARG italic_ν end_ARG = over~ start_ARG italic_ν end_ARG start_POSTSUBSCRIPT + end_POSTSUBSCRIPT to 0.4040.4040.4040.404 at ν~=ν~~𝜈subscript~𝜈\tilde{\nu}=\tilde{\nu}_{-}over~ start_ARG italic_ν end_ARG = over~ start_ARG italic_ν end_ARG start_POSTSUBSCRIPT - end_POSTSUBSCRIPT. A more accurate treatment [18] gives the values of the upper and lower ends of the interval, beyond which the N𝑁Nitalic_N-boson bound state ceases to exist, as

ν+(N)0.191N2,ν(N)0.140N2.formulae-sequencesubscript𝜈𝑁0.191superscript𝑁2subscript𝜈𝑁0.140superscript𝑁2\nu_{+}(N)\approx 0.191N^{2},\quad\nu_{-}(N)\approx-0.140N^{2}\,.italic_ν start_POSTSUBSCRIPT + end_POSTSUBSCRIPT ( italic_N ) ≈ 0.191 italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , italic_ν start_POSTSUBSCRIPT - end_POSTSUBSCRIPT ( italic_N ) ≈ - 0.140 italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT . (15)

If one fixes the value of the detuning parameter ν𝜈\nuitalic_ν, parametrically larger than 1 (in the unit system m=r0=1𝑚subscript𝑟01m=-r_{0}=1italic_m = - italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = 1), then a bound cluster can only be formed if the number of particles is larger than some Ncrit=(ν/ν~±)1/2subscript𝑁critsuperscript𝜈subscript~𝜈plus-or-minus12N_{\text{crit}}=(\nu/\tilde{\nu}_{\pm})^{1/2}italic_N start_POSTSUBSCRIPT crit end_POSTSUBSCRIPT = ( italic_ν / over~ start_ARG italic_ν end_ARG start_POSTSUBSCRIPT ± end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 1 / 2 end_POSTSUPERSCRIPT for positive or negative detuning, respectively.

As we have seen, the size of the cluster decreases with increasing number of particles as 1/N1𝑁1/N1 / italic_N. The density at the center of the cluster scales like N4superscript𝑁4N^{4}italic_N start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT at large N𝑁Nitalic_N. That means that at some value of N𝑁Nitalic_N one can no longer ignore terms that were dropped when one writes down the energy functional. The leading irrelevant terms are

Hbg=12𝑑x(g11|ψ|4+2g12|ϕ|2|ψ|2+g22|ϕ|4),subscript𝐻bg12differential-dxsubscript𝑔11superscript𝜓42subscript𝑔12superscriptitalic-ϕ2superscript𝜓2subscript𝑔22superscriptitalic-ϕ4H_{\text{bg}}=\frac{1}{2}\int\!d\textbf{x}\left(g_{11}|\psi|^{4}+2g_{12}|\phi|% ^{2}|\psi|^{2}+g_{22}|\phi|^{4}\right),italic_H start_POSTSUBSCRIPT bg end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG 2 end_ARG ∫ italic_d x ( italic_g start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT | italic_ψ | start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT + 2 italic_g start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT | italic_ϕ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | italic_ψ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_g start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT | italic_ϕ | start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT ) , (16)

where g11=4πa11/msubscript𝑔114𝜋subscript𝑎11𝑚g_{11}=4\pi a_{11}/mitalic_g start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT = 4 italic_π italic_a start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT / italic_m, g12=3πa12/msubscript𝑔123𝜋subscript𝑎12𝑚g_{12}=3\pi a_{12}/mitalic_g start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT = 3 italic_π italic_a start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT / italic_m, and g22=2πa22/msubscript𝑔222𝜋subscript𝑎22𝑚g_{22}=2\pi a_{22}/mitalic_g start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT = 2 italic_π italic_a start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT / italic_m, with a11subscript𝑎11a_{11}italic_a start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT, a12subscript𝑎12a_{12}italic_a start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT, and a22subscript𝑎22a_{22}italic_a start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT being the background (i.e, the nonresonant part of) atom-atom, atom-molecule, and molecule-molecule scattering length. As the density of the droplet increases with increasing N𝑁Nitalic_N, one expects that the four-point interaction, if it is repulsive (i.e., g11>0subscript𝑔110g_{11}>0italic_g start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT > 0, g22>0subscript𝑔220g_{22}>0italic_g start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT > 0, and g11g22g122>0subscript𝑔11subscript𝑔22superscriptsubscript𝑔1220g_{11}g_{22}-g_{12}^{2}>0italic_g start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT italic_g start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT - italic_g start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT > 0), should stabilize the density at some finite value. This can be seen by minimizing the energy using the symmetrized Woods-Saxon ansatz. At large N𝑁Nitalic_N the density distribution flattens out in the center. At very large N𝑁Nitalic_N, the droplet has a bulk of constant density surrounded by a thin wall across which the density drops to zero.

The situation here is simply the coexistence of two phases: the self-bound liquid and the vacuum. The Landau free energy density at chemical potential μ𝜇\muitalic_μ,

V(ψ,ϕ;μ)=α(ψψϕ+ϕψψ)+g112|ψ|4+g12|ψ|2|ϕ|2+g222|ϕ|4μ(|ψ|2+2|ϕ|2),𝑉𝜓italic-ϕ𝜇𝛼superscript𝜓superscript𝜓italic-ϕsuperscriptitalic-ϕ𝜓𝜓subscript𝑔112superscript𝜓4subscript𝑔12superscript𝜓2superscriptitalic-ϕ2subscript𝑔222superscriptitalic-ϕ4𝜇superscript𝜓22superscriptitalic-ϕ2V(\psi,\phi;\mu)=-\alpha(\psi^{\dagger}\psi^{\dagger}\phi+\phi^{\dagger}\psi% \psi)\\ +\frac{g_{11}}{2}|\psi|^{4}+g_{12}|\psi|^{2}|\phi|^{2}+\frac{g_{22}}{2}|\phi|^% {4}\\ -\mu(|\psi|^{2}+2|\phi|^{2})\,,start_ROW start_CELL italic_V ( italic_ψ , italic_ϕ ; italic_μ ) = - italic_α ( italic_ψ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_ψ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_ϕ + italic_ϕ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_ψ italic_ψ ) end_CELL end_ROW start_ROW start_CELL + divide start_ARG italic_g start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG | italic_ψ | start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT + italic_g start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT | italic_ψ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | italic_ϕ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + divide start_ARG italic_g start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG | italic_ϕ | start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_CELL end_ROW start_ROW start_CELL - italic_μ ( | italic_ψ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + 2 | italic_ϕ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) , end_CELL end_ROW (17)

allows a first-order phase transition to occur at a negative value of μ𝜇\muitalic_μ where a nontrivial minimum of Ω(ψ,ϕ)Ω𝜓italic-ϕ\Omega(\psi,\phi)roman_Ω ( italic_ψ , italic_ϕ ) is degenerate with the trivial minimum at ψ=ϕ=0𝜓italic-ϕ0\psi=\phi=0italic_ψ = italic_ϕ = 0. This critical value of μ𝜇\muitalic_μ and the values of condensates in the liquid phase are the solution to the equations Ω=ψΩ(ψ0,ϕ0)=ϕΩ(ψ0,ϕ0)=0Ωsubscript𝜓Ωsubscript𝜓0subscriptitalic-ϕ0subscriptitalic-ϕΩsubscript𝜓0subscriptitalic-ϕ00\Omega=\partial_{\psi}\Omega(\psi_{0},\phi_{0})=\partial_{\phi}\Omega(\psi_{0}% ,\phi_{0})=0roman_Ω = ∂ start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT roman_Ω ( italic_ψ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_ϕ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) = ∂ start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT roman_Ω ( italic_ψ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_ϕ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) = 0. Parametrically, this occurs at

μEN2mabg|r0|.similar-to𝜇𝐸𝑁similar-tosuperscriptPlanck-constant-over-2-pi2𝑚subscript𝑎bgsubscript𝑟0\mu\sim\frac{E}{N}\sim\frac{\hbar^{2}}{ma_{\text{bg}}|r_{0}|}\,.italic_μ ∼ divide start_ARG italic_E end_ARG start_ARG italic_N end_ARG ∼ divide start_ARG roman_ℏ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m italic_a start_POSTSUBSCRIPT bg end_POSTSUBSCRIPT | italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT | end_ARG . (18)

The binding energy per particle has the same order of magnitude as μ𝜇\muitalic_μ. The density in the fluid phase is

n14πabg2|r0|.similar-to𝑛14𝜋superscriptsubscript𝑎bg2subscript𝑟0n\sim\frac{1}{4\pi a_{\text{bg}}^{2}|r_{0}|}\,.italic_n ∼ divide start_ARG 1 end_ARG start_ARG 4 italic_π italic_a start_POSTSUBSCRIPT bg end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT | end_ARG . (19)

At saturation density, the self-bound liquid is still dilute: nabg31much-less-than𝑛superscriptsubscript𝑎bg31na_{\text{bg}}^{3}\ll 1italic_n italic_a start_POSTSUBSCRIPT bg end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ≪ 1, justifying the mean-field approximation. Also, provided that abgsubscript𝑎bga_{\text{bg}}italic_a start_POSTSUBSCRIPT bg end_POSTSUBSCRIPT sets the magnitude of the coefficients of the additional terms involving higher powers of fields and higher derivatives, these can be ignored in Eq. (17).

In Fig. 1, we plot the binding energy per particle of a droplet as a function of N𝑁Nitalic_N, showing a crossover between the 𝒪(N2)𝒪superscript𝑁2\mathcal{O}(N^{2})caligraphic_O ( italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) behavior at small N𝑁Nitalic_N to the 𝒪(N0)𝒪superscript𝑁0\mathcal{O}(N^{0})caligraphic_O ( italic_N start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT ) behavior at large N𝑁Nitalic_N.

Refer to caption
Figure 1: Droplet binding energy per particle for g11=4πabgsubscript𝑔114𝜋subscript𝑎bgg_{11}=4\pi a_{\text{bg}}italic_g start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT = 4 italic_π italic_a start_POSTSUBSCRIPT bg end_POSTSUBSCRIPT, g22=2g11/3subscript𝑔222subscript𝑔113g_{22}=2g_{11}/3italic_g start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT = 2 italic_g start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT / 3, g12=g22/2subscript𝑔12subscript𝑔222g_{12}=g_{22}/2italic_g start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT = italic_g start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT / 2, and abg=|r0|/320subscript𝑎bgsubscript𝑟0320a_{\text{bg}}=|r_{0}|/320italic_a start_POSTSUBSCRIPT bg end_POSTSUBSCRIPT = | italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT | / 320. The fit at large N𝑁Nitalic_N is motivated by the picture of a droplet with finite surface tension.

Now we discuss the effect of detuning. We first consider how detuning affects the phase diagram of homogeneous matter. For this, one needs to investigate the behavior of the Landau functional (previously considered in Refs. [14, 15, 19, 20, 21, 22, 23])

V(ψ,ϕ;μ,ν)=V(ψ,ϕ;μ)+ν|ϕ|2.𝑉𝜓italic-ϕ𝜇𝜈𝑉𝜓italic-ϕ𝜇𝜈superscriptitalic-ϕ2V(\psi,\phi;\mu,\nu)=V(\psi,\phi;\mu)+\nu|\phi|^{2}\,.italic_V ( italic_ψ , italic_ϕ ; italic_μ , italic_ν ) = italic_V ( italic_ψ , italic_ϕ ; italic_μ ) + italic_ν | italic_ϕ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT . (20)

A typical (μ,ν)𝜇𝜈(\mu,\nu)( italic_μ , italic_ν ) phase diagram is shown in Fig. 2. One can understand the positive detuning (ν>0𝜈0\nu>0italic_ν > 0) region of the phase diagram by integrating out ϕitalic-ϕ\phiitalic_ϕ, assuming all fields are small. The minimum of ϕitalic-ϕ\phiitalic_ϕ is achieved at

ϕ=αν2μψ2+𝒪(ψ4).italic-ϕ𝛼𝜈2𝜇superscript𝜓2𝒪superscript𝜓4\phi=\frac{\alpha}{\nu-2\mu}\psi^{2}+\mathcal{O}(\psi^{4})\,.italic_ϕ = divide start_ARG italic_α end_ARG start_ARG italic_ν - 2 italic_μ end_ARG italic_ψ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + caligraphic_O ( italic_ψ start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT ) . (21)

Substituting this into Eq. (20), we find the effective potential for ψ𝜓\psiitalic_ψ:

Veff(ψ)=μ|ψ|2+(g112α2ν2μ)|ψ|4+g12α2(ν2μ)2|ψ|6+𝒪(|ψ|8).subscript𝑉eff𝜓𝜇superscript𝜓2subscript𝑔112superscript𝛼2𝜈2𝜇superscript𝜓4subscript𝑔12superscript𝛼2superscript𝜈2𝜇2superscript𝜓6𝒪superscript𝜓8V_{\text{eff}}(\psi)=-\mu|\psi|^{2}+\biggl{(}\frac{g_{11}}{2}-\frac{\alpha^{2}% }{\nu{-}2\mu}\biggr{)}|\psi|^{4}+\frac{g_{12}\alpha^{2}}{(\nu-2\mu)^{2}}|\psi|% ^{6}\\ +\mathcal{O}(|\psi|^{8}).start_ROW start_CELL italic_V start_POSTSUBSCRIPT eff end_POSTSUBSCRIPT ( italic_ψ ) = - italic_μ | italic_ψ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ( divide start_ARG italic_g start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG - divide start_ARG italic_α start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_ν - 2 italic_μ end_ARG ) | italic_ψ | start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT + divide start_ARG italic_g start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT italic_α start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG ( italic_ν - 2 italic_μ ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG | italic_ψ | start_POSTSUPERSCRIPT 6 end_POSTSUPERSCRIPT end_CELL end_ROW start_ROW start_CELL + caligraphic_O ( | italic_ψ | start_POSTSUPERSCRIPT 8 end_POSTSUPERSCRIPT ) . end_CELL end_ROW (22)

We will limit ourselves to the case g12>0subscript𝑔120g_{12}>0italic_g start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT > 0. Then at μ=0𝜇0\mu=0italic_μ = 0 and ν=ν+()𝜈subscript𝜈\nu=\nu_{+}(\infty)italic_ν = italic_ν start_POSTSUBSCRIPT + end_POSTSUBSCRIPT ( ∞ ), with

ν+()=2α2g11=22ma11|r0|,subscript𝜈2superscript𝛼2subscript𝑔112superscriptPlanck-constant-over-2-pi2𝑚subscript𝑎11subscript𝑟0\nu_{+}(\infty)=\frac{2\alpha^{2}}{g_{11}}=\frac{2\hbar^{2}}{ma_{11}|r_{0}|}\,,italic_ν start_POSTSUBSCRIPT + end_POSTSUBSCRIPT ( ∞ ) = divide start_ARG 2 italic_α start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_g start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT end_ARG = divide start_ARG 2 roman_ℏ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m italic_a start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT | italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT | end_ARG , (23)

the coefficients of both the |ψ|2superscript𝜓2|\psi|^{2}| italic_ψ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT and the |ψ|4superscript𝜓4|\psi|^{4}| italic_ψ | start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT term vanish. This point is the tricritical point T𝑇Titalic_T in Fig. 2. For ν>ν+()𝜈subscript𝜈\nu>\nu_{+}(\infty)italic_ν > italic_ν start_POSTSUBSCRIPT + end_POSTSUBSCRIPT ( ∞ ), as one changes μ𝜇\muitalic_μ there is a phase transition at μ=0𝜇0\mu=0italic_μ = 0 from the vacuum to the Bose-Einstein condensate (BEC). For these values of ν𝜈\nuitalic_ν the self-bound liquid does not exist. On the other hand, for ν<ν+()𝜈subscript𝜈\nu<\nu_{+}(\infty)italic_ν < italic_ν start_POSTSUBSCRIPT + end_POSTSUBSCRIPT ( ∞ ) there is a first-order phase transition between the vacuum and the self-bound fluid. Thus, ν+()subscript𝜈\nu_{+}(\infty)italic_ν start_POSTSUBSCRIPT + end_POSTSUBSCRIPT ( ∞ ) is the N𝑁N\to\inftyitalic_N → ∞ limit of the upper value detuning parameter for which the N𝑁Nitalic_N-particle droplet exists.

Refer to caption
Figure 2: Phase diagram in the plane of chemical potential μ𝜇\muitalic_μ and detuning ν𝜈\nuitalic_ν in units of 1/(abg|r0|)1subscript𝑎bgsubscript𝑟01/(a_{\text{bg}}|r_{0}|)1 / ( italic_a start_POSTSUBSCRIPT bg end_POSTSUBSCRIPT | italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT | ) for g11=4πabgsubscript𝑔114𝜋subscript𝑎bgg_{11}=4\pi a_{\text{bg}}italic_g start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT = 4 italic_π italic_a start_POSTSUBSCRIPT bg end_POSTSUBSCRIPT, g22=2g11/3subscript𝑔222subscript𝑔113g_{22}=2g_{11}/3italic_g start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT = 2 italic_g start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT / 3, and g12=g22/2subscript𝑔12subscript𝑔222g_{12}=g_{22}/2italic_g start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT = italic_g start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT / 2. Solid and dashed lines represent first- and second-order transitions, respectively. The grey region represents the vacuum where the particle density is zero, the green region indicates the molecular BEC phase (ψ=0,ϕ0formulae-sequence𝜓0italic-ϕ0\psi=0,\phi\neq 0italic_ψ = 0 , italic_ϕ ≠ 0), and the orange region corresponds to the hybrid condensate phase (ψ0,ϕ0formulae-sequence𝜓0italic-ϕ0\psi\neq 0,\phi\neq 0italic_ψ ≠ 0 , italic_ϕ ≠ 0). The tricritical points are T=(0,ν+())𝑇0subscript𝜈T=(0,\nu_{+}(\infty))italic_T = ( 0 , italic_ν start_POSTSUBSCRIPT + end_POSTSUBSCRIPT ( ∞ ) ) and Z=(μ2,ν2)𝑍subscript𝜇subscript2subscript𝜈subscript2Z=(\mu_{\mathbb{Z}_{2}},\nu_{\mathbb{Z}_{2}})italic_Z = ( italic_μ start_POSTSUBSCRIPT blackboard_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT , italic_ν start_POSTSUBSCRIPT blackboard_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ) [18], while S=(ν()/2,ν())𝑆subscript𝜈2subscript𝜈S=(\nu_{-}(\infty)/2,\nu_{-}(\infty))italic_S = ( italic_ν start_POSTSUBSCRIPT - end_POSTSUBSCRIPT ( ∞ ) / 2 , italic_ν start_POSTSUBSCRIPT - end_POSTSUBSCRIPT ( ∞ ) ) is the critical end point shared by the three phases.

At negative detuning, the line of vacuum-liquid first-order phase transition continues to exist at negative ν𝜈\nuitalic_ν and meets the second-order phase transition line μ=ν/2𝜇𝜈2\mu=\nu/2italic_μ = italic_ν / 2 at a critical end point [24] (point S𝑆Sitalic_S in Fig. 2) at

ν()subscript𝜈\displaystyle\nu_{-}(\infty)italic_ν start_POSTSUBSCRIPT - end_POSTSUBSCRIPT ( ∞ ) =2α2g11g22+g12absent2superscript𝛼2subscript𝑔11subscript𝑔22subscript𝑔12\displaystyle=-\frac{2\alpha^{2}}{\sqrt{g_{11}g_{22}}+g_{12}}= - divide start_ARG 2 italic_α start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG square-root start_ARG italic_g start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT italic_g start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT end_ARG + italic_g start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT end_ARG
=222m|r0|(a11a22+32a12).absent22superscriptPlanck-constant-over-2-pi2𝑚subscript𝑟0subscript𝑎11subscript𝑎2232subscript𝑎12\displaystyle=-\frac{2\sqrt{2}\hbar^{2}}{m|r_{0}|(\sqrt{a_{11}a_{22}}+\frac{3}% {\sqrt{2}}a_{12})}\,.= - divide start_ARG 2 square-root start_ARG 2 end_ARG roman_ℏ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m | italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT | ( square-root start_ARG italic_a start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT italic_a start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT end_ARG + divide start_ARG 3 end_ARG start_ARG square-root start_ARG 2 end_ARG end_ARG italic_a start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ) end_ARG . (24)

For ν𝜈\nuitalic_ν slightly smaller than ν()subscript𝜈\nu_{-}(\infty)italic_ν start_POSTSUBSCRIPT - end_POSTSUBSCRIPT ( ∞ ), as one increases μ𝜇\muitalic_μ, the system goes through two phase transitions: first from the vacuum to a molecular BEC state with ψ=0𝜓0\psi=0italic_ψ = 0, ϕ0italic-ϕ0\phi\neq 0italic_ϕ ≠ 0, and then to a hybrid condensate phase with ψ0𝜓0\psi\neq 0italic_ψ ≠ 0, ϕ0italic-ϕ0\phi\neq 0italic_ϕ ≠ 0. Since the hybrid condensate does not phase-coexist with the vacuum, there is no stable droplet consisting of any finite number of atoms. The first-order phase transition line between the hybrid condensate phase and the molecular BEC phase is a straight line that terminates at a 2subscript2\mathbb{Z}_{2}blackboard_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT tricritical point (point Z𝑍Zitalic_Z in Fig. 2[18].

Conclusion.—In this Letter, we have considered the problem of a droplet of a finite but large number of bosonic atoms at a narrow Feshbach resonance. We find that the binding energy per particle should increase like N2superscript𝑁2N^{2}italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT and then flatten out to a constant.

In this work we have considered only the case when all atoms are identical bosons. It should be straightforward to extend the calculation to the case when the narrow resonance is formed from two nonidentical bosons.

The calculations in this paper are performed in the mean field approximation. For a small number of particles it will be important to compute quantum corrections to the energy. It would also be interesting if one could solve the four-body problem, e.g., by extending the zero-range calculations of Ref. [25] to an interaction with finite and negative effective range. For larger N𝑁Nitalic_N, one may hope to find the binding energy through Monte Carlo methods [26].

Experimentally, one system where one may be able to create bound droplets is ultracold cesium at Feshbach resonance. For Cs the resonance at B=19.849(2)G𝐵19.8492GB=19.849(2)\,\text{G}italic_B = 19.849 ( 2 ) G has a very small width of Δ=8.3(5)mGΔ8.35mG\Delta=8.3(5)\,\text{mG}roman_Δ = 8.3 ( 5 ) mG [27]. The effective range can be evaluated through [28]

r022mΔδμabg.similar-to-or-equalssubscript𝑟02superscriptPlanck-constant-over-2-pi2𝑚Δ𝛿𝜇subscript𝑎bgr_{0}\simeq-\frac{2\hbar^{2}}{m\,\Delta\,\delta\mu\,a_{\text{bg}}}\,.italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ≃ - divide start_ARG 2 roman_ℏ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m roman_Δ italic_δ italic_μ italic_a start_POSTSUBSCRIPT bg end_POSTSUBSCRIPT end_ARG . (25)

Using δμ=2π×0.76(3)MHz/G𝛿𝜇2𝜋Planck-constant-over-2-pi0.763MHzG\delta\mu=2\pi\hbar\times 0.76(3)\,\text{MHz}/\text{G}italic_δ italic_μ = 2 italic_π roman_ℏ × 0.76 ( 3 ) MHz / G and abg=163(1)a0subscript𝑎bg1631subscript𝑎0a_{\text{bg}}=163(1)a_{0}italic_a start_POSTSUBSCRIPT bg end_POSTSUBSCRIPT = 163 ( 1 ) italic_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT (a0subscript𝑎0a_{0}italic_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT being the Bohr radius), we find r0/abg=320(20)subscript𝑟0subscript𝑎bg32020r_{0}/a_{\text{bg}}=-320(20)italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT / italic_a start_POSTSUBSCRIPT bg end_POSTSUBSCRIPT = - 320 ( 20 ). The molecule-molecule s𝑠sitalic_s-wave scattering length is a22=220(30)a0subscript𝑎2222030subscript𝑎0a_{22}=220(30)a_{0}italic_a start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT = 220 ( 30 ) italic_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT [29], which corresponds to g2223g11subscript𝑔2223subscript𝑔11g_{22}\approx\frac{2}{3}g_{11}italic_g start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT ≈ divide start_ARG 2 end_ARG start_ARG 3 end_ARG italic_g start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT. The atom-molecule scattering is unknown, but if one assume that g12subscript𝑔12g_{12}italic_g start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT is of the same order of magnitude as g11subscript𝑔11g_{11}italic_g start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT and g22subscript𝑔22g_{22}italic_g start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT, and that g122/(g11g22)<1superscriptsubscript𝑔122subscript𝑔11subscript𝑔221g_{12}^{2}/(g_{11}g_{22})<1italic_g start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / ( italic_g start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT italic_g start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT ) < 1, then one should expect the transition between the small cluster (ENN3similar-tosubscript𝐸𝑁superscript𝑁3E_{N}\sim N^{3}italic_E start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT ∼ italic_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT) regime to the large droplet (ENNsimilar-tosubscript𝐸𝑁𝑁E_{N}\sim Nitalic_E start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT ∼ italic_N) regime in the binding energy to occur at N(r0/abg)1/220similar-to𝑁superscriptsubscript𝑟0subscript𝑎bg12similar-to20N\sim(r_{0}/a_{\text{bg}})^{1/2}\sim 20italic_N ∼ ( italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT / italic_a start_POSTSUBSCRIPT bg end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 1 / 2 end_POSTSUPERSCRIPT ∼ 20.

The authors thank Cheng Chin, Ubirajara van Kolck, Dmitry Petrov, and Zhendong Zhang for discussion. This work is supported, in part, by the U.S. DOE Grants No. DE-FG02-13ER41958 and by the Simons Collaboration on Ultra-Quantum Matter, which is a Grant from the Simons Foundation (No. 651440, DTS). T.P. acknowledges partial support by the DFG (EXC2181/1-390900948, 273811115) and thanks the University of Chicago for hospitality. KW acknowledges partial support from Kadanoff Center for Theoretical Physics and University of Chicago’s Research Computing Center.

References

— Supplemental Material —
  
Droplets of Bosons at a Narrow Resonance
Ke Wang, Thimo Preis, and Dam Thanh Son

S1 The symmetrized Woods-Saxon variational ansatz

We introduce the symmetrized Woods-Saxon function

F(x;ξ,R)=1cosh(x/R)+ξ.𝐹𝑥𝜉𝑅1𝑥𝑅𝜉F(x;\xi,R)=\frac{1}{\cosh(x/R)+\xi}\,.italic_F ( italic_x ; italic_ξ , italic_R ) = divide start_ARG 1 end_ARG start_ARG roman_cosh ( italic_x / italic_R ) + italic_ξ end_ARG . (S1)

This function goes to zero exponentially as x𝑥x\to\inftyitalic_x → ∞. It is an even function of x𝑥xitalic_x so its derivative at x=0𝑥0x=0italic_x = 0 vanishes.

We use the following five-parameter trial wave functions,

ψ(r)𝜓𝑟\displaystyle\psi(r)italic_ψ ( italic_r ) =N24πI2F(Nr;ξ1,R1),absentsuperscript𝑁24𝜋subscript𝐼2𝐹𝑁𝑟subscript𝜉1subscript𝑅1\displaystyle=\frac{N^{2}}{\sqrt{4\pi I_{2}}}F(Nr;\xi_{1},R_{1}),= divide start_ARG italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG square-root start_ARG 4 italic_π italic_I start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG end_ARG italic_F ( italic_N italic_r ; italic_ξ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_R start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) , (S2)
ϕ(r)italic-ϕ𝑟\displaystyle\phi(r)italic_ϕ ( italic_r ) =N2b4πI2F(Nr;ξ2,R2).absentsuperscript𝑁2𝑏4𝜋subscript𝐼2𝐹𝑁𝑟subscript𝜉2subscript𝑅2\displaystyle=\frac{N^{2}b}{\sqrt{4\pi I_{2}}}F(Nr;\xi_{2},R_{2}).= divide start_ARG italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_b end_ARG start_ARG square-root start_ARG 4 italic_π italic_I start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG end_ARG italic_F ( italic_N italic_r ; italic_ξ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_R start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) . (S3)

In order for the total number of particles to be equal to N𝑁Nitalic_N, we require

I2=0𝑑xx2[F2(x;ξ1,R1)+2b2F2(x;ξ2,R2)].subscript𝐼2superscriptsubscript0differential-d𝑥superscript𝑥2delimited-[]superscript𝐹2𝑥subscript𝜉1subscript𝑅12superscript𝑏2superscript𝐹2𝑥subscript𝜉2subscript𝑅2I_{2}=\int\limits_{0}^{\infty}\!dx\,x^{2}\left[F^{2}(x;\xi_{1},R_{1})+2b^{2}F^% {2}(x;\xi_{2},R_{2})\right].italic_I start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT italic_d italic_x italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT [ italic_F start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_x ; italic_ξ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_R start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) + 2 italic_b start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_F start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_x ; italic_ξ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_R start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) ] . (S4)

Therefore I2subscript𝐼2I_{2}italic_I start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT is a function of the variational parameters ξ1,2subscript𝜉12\xi_{1,2}italic_ξ start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT, R1,2subscript𝑅12R_{1,2}italic_R start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT and b𝑏bitalic_b.

The total energy is then

E=N3(KI22I3I23/2),𝐸superscript𝑁3𝐾subscript𝐼22subscript𝐼3superscriptsubscript𝐼232E=N^{3}\left(\frac{K}{I_{2}}-\frac{2I_{3}}{I_{2}^{3/2}}\right),italic_E = italic_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ( divide start_ARG italic_K end_ARG start_ARG italic_I start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG - divide start_ARG 2 italic_I start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT end_ARG start_ARG italic_I start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 / 2 end_POSTSUPERSCRIPT end_ARG ) , (S5)

where

K𝐾\displaystyle Kitalic_K =0𝑑x[12F2(x;ξ1,R1)+14F2(x;ξ2,R2)],absentsuperscriptsubscript0differential-d𝑥delimited-[]12superscript𝐹2𝑥subscript𝜉1subscript𝑅114superscript𝐹2𝑥subscript𝜉2subscript𝑅2\displaystyle=\int\limits_{0}^{\infty}\!dx\,\left[\frac{1}{2}F^{\prime 2}(x;% \xi_{1},R_{1})+\frac{1}{4}F^{\prime 2}(x;\xi_{2},R_{2})\right],= ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT italic_d italic_x [ divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_F start_POSTSUPERSCRIPT ′ 2 end_POSTSUPERSCRIPT ( italic_x ; italic_ξ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_R start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) + divide start_ARG 1 end_ARG start_ARG 4 end_ARG italic_F start_POSTSUPERSCRIPT ′ 2 end_POSTSUPERSCRIPT ( italic_x ; italic_ξ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_R start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) ] , (S6)
I3subscript𝐼3\displaystyle I_{3}italic_I start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT =b0𝑑xF2(x;ξ1,R1)F(x;ξ2,R2),absent𝑏superscriptsubscript0differential-d𝑥superscript𝐹2𝑥subscript𝜉1subscript𝑅1𝐹𝑥subscript𝜉2subscript𝑅2\displaystyle=b\int\limits_{0}^{\infty}\!dx\,F^{2}(x;\xi_{1},R_{1})F(x;\xi_{2}% ,R_{2}),= italic_b ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT italic_d italic_x italic_F start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_x ; italic_ξ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_R start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) italic_F ( italic_x ; italic_ξ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_R start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) , (S7)

are both functions of the variational parameters. We now minimize the energy (S5) to find

E0.0347N3,𝐸0.0347superscript𝑁3E\approx-0.0347N^{3},italic_E ≈ - 0.0347 italic_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT , (S8)

achieved at

ξ10.167,ξ21.11,R11.53,R21.09,b1.39.formulae-sequencesubscript𝜉10.167formulae-sequencesubscript𝜉21.11formulae-sequencesubscript𝑅11.53formulae-sequencesubscript𝑅21.09𝑏1.39\xi_{1}\approx 0.167,\quad\xi_{2}\approx 1.11,\quad R_{1}\approx 1.53,\quad R_% {2}\approx 1.09,\quad b\approx 1.39.italic_ξ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ≈ 0.167 , italic_ξ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ≈ 1.11 , italic_R start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ≈ 1.53 , italic_R start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ≈ 1.09 , italic_b ≈ 1.39 . (S9)

Now we turn on detuning. Defining

I2m=b20𝑑xx2F2(x;ξ2,R2),subscript𝐼2𝑚superscript𝑏2superscriptsubscript0differential-d𝑥superscript𝑥2superscript𝐹2𝑥subscript𝜉2subscript𝑅2I_{2m}=b^{2}\!\int\limits_{0}^{\infty}\!dx\,x^{2}F^{2}(x;\xi_{2},R_{2}),italic_I start_POSTSUBSCRIPT 2 italic_m end_POSTSUBSCRIPT = italic_b start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT italic_d italic_x italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_F start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_x ; italic_ξ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_R start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) , (S10)

the variational energy is now

EN3=KI22I3I23/2νN2I2mI2.𝐸superscript𝑁3𝐾subscript𝐼22subscript𝐼3superscriptsubscript𝐼232𝜈superscript𝑁2subscript𝐼2𝑚subscript𝐼2\frac{E}{N^{3}}=\frac{K}{I_{2}}-\frac{2I_{3}}{I_{2}^{3/2}}-\frac{\nu}{N^{2}}% \frac{I_{2m}}{I_{2}}\,.divide start_ARG italic_E end_ARG start_ARG italic_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG = divide start_ARG italic_K end_ARG start_ARG italic_I start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG - divide start_ARG 2 italic_I start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT end_ARG start_ARG italic_I start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 / 2 end_POSTSUPERSCRIPT end_ARG - divide start_ARG italic_ν end_ARG start_ARG italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG divide start_ARG italic_I start_POSTSUBSCRIPT 2 italic_m end_POSTSUBSCRIPT end_ARG start_ARG italic_I start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG . (S11)

For negative detuning, the droplet becomes unstable when the energy of the droplet crosses zero. This happens at ν~0.191~𝜈0.191\tilde{\nu}\approx-0.191over~ start_ARG italic_ν end_ARG ≈ - 0.191, where ξ10.121subscript𝜉10.121\xi_{1}\approx-0.121italic_ξ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ≈ - 0.121, ξ21.17subscript𝜉21.17\xi_{2}\approx 1.17italic_ξ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ≈ 1.17, R12.07subscript𝑅12.07R_{1}\approx 2.07italic_R start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ≈ 2.07, R21.20subscript𝑅21.20R_{2}\approx 1.20italic_R start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ≈ 1.20, b1.52𝑏1.52b\approx 1.52italic_b ≈ 1.52. For positive detuning, the droplet becomes unstable when its energy is larger than the energy of N/2𝑁2N/2italic_N / 2 dimers. This happens when ν~0.140~𝜈0.140\tilde{\nu}\approx 0.140over~ start_ARG italic_ν end_ARG ≈ 0.140, where ξ10.394subscript𝜉10.394\xi_{1}\approx 0.394italic_ξ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ≈ 0.394, ξ20.851subscript𝜉20.851\xi_{2}\approx 0.851italic_ξ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ≈ 0.851, R1.143subscript𝑅1.143R_{1}\approx.143italic_R start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ≈ .143, R21.22subscript𝑅21.22R_{2}\approx 1.22italic_R start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ≈ 1.22, b1.19𝑏1.19b\approx 1.19italic_b ≈ 1.19.

Introducing new parameters into the ansatz (for example, by using the function [cosh(x/R)+ξ]nsuperscriptdelimited-[]𝑥𝑅𝜉𝑛[\cosh(x/R)+\xi]^{-n}[ roman_cosh ( italic_x / italic_R ) + italic_ξ ] start_POSTSUPERSCRIPT - italic_n end_POSTSUPERSCRIPT with n𝑛nitalic_n being an additional variational parameter, which can have different values for atoms and molecules) does not change the ground state energy at zero detuning and the values of ν~±subscript~𝜈plus-or-minus\tilde{\nu}_{\pm}over~ start_ARG italic_ν end_ARG start_POSTSUBSCRIPT ± end_POSTSUBSCRIPT appreciably.

S2 Imaginary-time Gross-Pitaevskii equation

To numerically find the ground state wave function of the droplet, we consider the imaginary-time Gross-Pitaevskii evolution. For simplicity, we consider the case g11=g22subscript𝑔11subscript𝑔22g_{11}=g_{22}italic_g start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT = italic_g start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT with g12=0subscript𝑔120g_{12}=0italic_g start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT = 0,

τψ(r)subscript𝜏𝜓𝑟\displaystyle-\partial_{\tau}\psi(r)- ∂ start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT italic_ψ ( italic_r ) =\displaystyle== (r2+2r1r2m1μ1)ψ(r)+g11|ψ(r)|2ψ(r)2αψ(r)ϕ(r),subscriptsuperscript2𝑟2superscript𝑟1subscript𝑟2subscript𝑚1subscript𝜇1𝜓𝑟subscript𝑔11superscript𝜓𝑟2𝜓𝑟2𝛼superscript𝜓𝑟italic-ϕ𝑟\displaystyle\left(-\frac{\partial^{2}_{r}+2r^{-1}\partial_{r}}{2m_{1}}-\mu_{1% }\right)\psi(r)+g_{11}|\psi(r)|^{2}\psi(r)-2\alpha{\psi}^{*}(r)\phi(r),( - divide start_ARG ∂ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT + 2 italic_r start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ∂ start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT end_ARG start_ARG 2 italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG - italic_μ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) italic_ψ ( italic_r ) + italic_g start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT | italic_ψ ( italic_r ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_ψ ( italic_r ) - 2 italic_α italic_ψ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ( italic_r ) italic_ϕ ( italic_r ) , (S12)
τϕ(r)subscript𝜏italic-ϕ𝑟\displaystyle-\partial_{\tau}\phi(r)- ∂ start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT italic_ϕ ( italic_r ) =\displaystyle== (r2+2r1r2m2μ2)ϕ(r)+g22|ϕ(r)|2ϕ(r)αψ(r)ψ(r).subscriptsuperscript2𝑟2superscript𝑟1subscript𝑟2subscript𝑚2subscript𝜇2italic-ϕ𝑟subscript𝑔22superscriptitalic-ϕ𝑟2italic-ϕ𝑟𝛼𝜓𝑟𝜓𝑟\displaystyle\left(-\frac{\partial^{2}_{r}+2r^{-1}\partial_{r}}{2m_{2}}-\mu_{2% }\right)\phi(r)+g_{22}|\phi(r)|^{2}\phi(r)-\alpha\psi(r)\psi(r).( - divide start_ARG ∂ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT + 2 italic_r start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ∂ start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT end_ARG start_ARG 2 italic_m start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG - italic_μ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) italic_ϕ ( italic_r ) + italic_g start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT | italic_ϕ ( italic_r ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_ϕ ( italic_r ) - italic_α italic_ψ ( italic_r ) italic_ψ ( italic_r ) . (S13)

The total particle number is required to be conserved during the evolution. Here, the chemical potential is evaluated self-consistently at each time step by μi=E/Nisubscript𝜇𝑖𝐸subscript𝑁𝑖\mu_{i}=\partial E/\partial N_{i}italic_μ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = ∂ italic_E / ∂ italic_N start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT and N1/2subscript𝑁12N_{1/2}italic_N start_POSTSUBSCRIPT 1 / 2 end_POSTSUBSCRIPT is the atomic/molecular particle number. We place the GPE on a discrete lattice with the lattice position r(i)=d×i𝑟𝑖𝑑𝑖r(i)=d\times iitalic_r ( italic_i ) = italic_d × italic_i, where i𝑖iitalic_i the integer 0iL0𝑖𝐿0\leq i\leq L0 ≤ italic_i ≤ italic_L and d𝑑ditalic_d is the lattice distance.

First, we use the imaginary-time Gross-Pitaevskii equation (itGPE) to confirm Eq. (13) in the main text: the droplet energy converges to 0.0347N3/r02absent0.0347superscript𝑁3subscriptsuperscript𝑟20\approx-0.0347N^{3}/r^{2}_{0}≈ - 0.0347 italic_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT / italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT when g11=g22=0subscript𝑔11subscript𝑔220g_{11}=g_{22}=0italic_g start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT = italic_g start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT = 0. We start from the symmetrized Woods-Saxon ansatz: the wave-functions are given by ϕ1(r)=N/4I2πf(r)subscriptitalic-ϕ1𝑟𝑁4subscript𝐼2𝜋𝑓𝑟\phi_{1}(r)=\sqrt{N/4I_{2}\pi}f(r)italic_ϕ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_r ) = square-root start_ARG italic_N / 4 italic_I start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_π end_ARG italic_f ( italic_r ) and ϕ2(r)=N/4I2πg(r)subscriptitalic-ϕ2𝑟𝑁4subscript𝐼2𝜋𝑔𝑟\phi_{2}(r)=\sqrt{N/4I_{2}\pi}g(r)italic_ϕ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_r ) = square-root start_ARG italic_N / 4 italic_I start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_π end_ARG italic_g ( italic_r ). Here I2subscript𝐼2I_{2}italic_I start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT is defined in Eq. (6) of the main text and the shape functions read

f(x)=1exp(x+ξ1)/R1+exp(xξ1)/R1+1,g(x)=bexp(x+ξ2)/R2+exp(xξ2)/R2+1.formulae-sequence𝑓𝑥1𝑥subscript𝜉1subscript𝑅1𝑥subscript𝜉1subscript𝑅11𝑔𝑥𝑏𝑥subscript𝜉2subscript𝑅2𝑥subscript𝜉2subscript𝑅21\displaystyle f(x)=\frac{1}{\exp(x+\xi_{1})/R_{1}+\exp-(x-\xi_{1})/R_{1}+1}\,,% \quad g(x)=\frac{b}{\exp(x+\xi_{2})/R_{2}+\exp-(x-\xi_{2})/R_{2}+1}\,.italic_f ( italic_x ) = divide start_ARG 1 end_ARG start_ARG roman_exp ( italic_x + italic_ξ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) / italic_R start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + roman_exp - ( italic_x - italic_ξ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) / italic_R start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + 1 end_ARG , italic_g ( italic_x ) = divide start_ARG italic_b end_ARG start_ARG roman_exp ( italic_x + italic_ξ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) / italic_R start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + roman_exp - ( italic_x - italic_ξ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) / italic_R start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + 1 end_ARG .

The minimization of the energy functional at N=100𝑁100N=100italic_N = 100 and g11=g22=0subscript𝑔11subscript𝑔220g_{11}=g_{22}=0italic_g start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT = italic_g start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT = 0 leads to the energy E0.034666N3/r02𝐸0.034666superscript𝑁3subscriptsuperscript𝑟20E\approx-0.034666{N^{3}}/r^{2}_{0}italic_E ≈ - 0.034666 italic_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT / italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT with the following variational parameters: ξ10.0167r0,R10.01528r0,ξ20.008673r0,R20.01088r0,b0.2094formulae-sequencesubscript𝜉10.0167subscript𝑟0formulae-sequencesubscript𝑅10.01528subscript𝑟0formulae-sequencesubscript𝜉20.008673subscript𝑟0formulae-sequencesubscript𝑅20.01088subscript𝑟0𝑏0.2094\xi_{1}\approx 0.0167r_{0},R_{1}\approx 0.01528r_{0},\xi_{2}\approx-0.008673r_% {0},R_{2}\approx 0.01088r_{0},b\approx 0.2094italic_ξ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ≈ 0.0167 italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_R start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ≈ 0.01528 italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_ξ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ≈ - 0.008673 italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_R start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ≈ 0.01088 italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_b ≈ 0.2094.

Next, we simulate the itGPE with the ansatz above as the initial condition.

Refer to caption
Figure S1: Imaginary time Gross-Pitaevskii evolution of the Woods-Saxon ansatz. Left: Droplet energy versus the simulation time scale. We observe that the energy only decreases slightly and converges to 0.03472N3/r020.03472superscript𝑁3superscriptsubscript𝑟02-0.03472N^{3}/r_{0}^{2}- 0.03472 italic_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT / italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. Right: Atomic wave function at four different times. The atomic wave function changes only very slightly near r=0𝑟0r=0italic_r = 0. This indicates that the Woods-Saxon ansatz is a very good approximation of the droplet’s ground state.

Here we use a lattice with d=0.0005r0𝑑0.0005subscript𝑟0d=0.0005r_{0}italic_d = 0.0005 italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT and L=600𝐿600L=600italic_L = 600. Evaluation of the energy functional of the initial state on this lattice reads 0.034670N3/r02absent0.034670superscript𝑁3subscriptsuperscript𝑟20\approx-0.034670N^{3}/r^{2}_{0}≈ - 0.034670 italic_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT / italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT. Compared to the coefficient 0.0346660.034666-0.034666- 0.034666 from the continuous space, one may conclude that the error from the lattice discretization on the energy of this state is of the order of 5×106absent5superscript106\approx 5\times 10^{-6}≈ 5 × 10 start_POSTSUPERSCRIPT - 6 end_POSTSUPERSCRIPT . The simulation result is shown in Fig. S1: we find that the droplet energy converges to 0.03472N3/r02absent0.03472superscript𝑁3superscriptsubscript𝑟02\approx-0.03472N^{3}/r_{0}^{2}≈ - 0.03472 italic_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT / italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. This confirms Eq. (13) in the main text.

Now we aim to check the first-order transition values of ν±(N)subscript𝜈plus-or-minus𝑁\nu_{\pm}(N)italic_ν start_POSTSUBSCRIPT ± end_POSTSUBSCRIPT ( italic_N ) in Eq. (15) of the main text. These two values are obtained by using the conditions Edroplet(ν+)=0subscript𝐸dropletsubscript𝜈0E_{\text{droplet}}(\nu_{+})=0italic_E start_POSTSUBSCRIPT droplet end_POSTSUBSCRIPT ( italic_ν start_POSTSUBSCRIPT + end_POSTSUBSCRIPT ) = 0 and Edroplet(ν)=νN/2subscript𝐸dropletsubscript𝜈𝜈𝑁2E_{\text{droplet}}(\nu_{-})=\nu N/2italic_E start_POSTSUBSCRIPT droplet end_POSTSUBSCRIPT ( italic_ν start_POSTSUBSCRIPT - end_POSTSUBSCRIPT ) = italic_ν italic_N / 2. Here, Edropletsubscript𝐸dropletE_{\text{droplet}}italic_E start_POSTSUBSCRIPT droplet end_POSTSUBSCRIPT is the ground state energy of the droplet. Using the Woods-Saxon ansatz, the conditions above lead to ν+0.191N2subscript𝜈0.191superscript𝑁2\nu_{+}\approx 0.191N^{2}italic_ν start_POSTSUBSCRIPT + end_POSTSUBSCRIPT ≈ 0.191 italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT and ν0.140N2subscript𝜈0.140superscript𝑁2\nu_{-}\approx-0.140N^{2}italic_ν start_POSTSUBSCRIPT - end_POSTSUBSCRIPT ≈ - 0.140 italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. We pick two ansatz wave functions (Ψ±subscriptΨplus-or-minus\Psi_{\pm}roman_Ψ start_POSTSUBSCRIPT ± end_POSTSUBSCRIPT), which are obtained from the minimization at ν/N2=0.1904𝜈superscript𝑁20.1904\nu/N^{2}=0.1904italic_ν / italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 0.1904 and ν/N2=0.14𝜈superscript𝑁20.14\nu/N^{2}=-0.14italic_ν / italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = - 0.14. The variational parameters for ν/N2=0.1904𝜈superscript𝑁20.1904\nu/N^{2}=0.1904italic_ν / italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 0.1904 and N=100𝑁100N=100italic_N = 100 are: ξ10.11335r0,R10.019905r0,ξ20.01135r0,R20.01183r0,b0.001824formulae-sequencesubscript𝜉10.11335subscript𝑟0formulae-sequencesubscript𝑅10.019905subscript𝑟0formulae-sequencesubscript𝜉20.01135subscript𝑟0formulae-sequencesubscript𝑅20.01183subscript𝑟0𝑏0.001824\xi_{1}\approx 0.11335r_{0},R_{1}\approx 0.019905r_{0},\xi_{2}\approx-0.01135r% _{0},R_{2}\approx 0.01183r_{0},b\approx 0.001824italic_ξ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ≈ 0.11335 italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_R start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ≈ 0.019905 italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_ξ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ≈ - 0.01135 italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_R start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ≈ 0.01183 italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_b ≈ 0.001824. The variational parameters for ν/N2=0.14𝜈superscript𝑁20.14\nu/N^{2}=-0.14italic_ν / italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = - 0.14 and N=100𝑁100N=100italic_N = 100 are: ξ10.003406r0,R10.014305r0,ξ20.00649r0,R20.012214r0,b0.55081formulae-sequencesubscript𝜉10.003406subscript𝑟0formulae-sequencesubscript𝑅10.014305subscript𝑟0formulae-sequencesubscript𝜉20.00649subscript𝑟0formulae-sequencesubscript𝑅20.012214subscript𝑟0𝑏0.55081\xi_{1}\approx 0.003406r_{0},R_{1}\approx 0.014305r_{0},\xi_{2}\approx-0.00649% r_{0},R_{2}\approx 0.012214r_{0},b\approx 0.55081italic_ξ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ≈ 0.003406 italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_R start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ≈ 0.014305 italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_ξ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ≈ - 0.00649 italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_R start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ≈ 0.012214 italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_b ≈ 0.55081.

Then we use Ψ+,ΨsubscriptΨsubscriptΨ\Psi_{+},\Psi_{-}roman_Ψ start_POSTSUBSCRIPT + end_POSTSUBSCRIPT , roman_Ψ start_POSTSUBSCRIPT - end_POSTSUBSCRIPT as the initial condition in the itGPE when ν/N2𝜈superscript𝑁2\nu/N^{2}italic_ν / italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT is varied around 0.1910.1910.1910.191 and 0.140.14-0.14- 0.14. The energy of the converging state represents the droplet energy. Simulation results of itGPE are discussed below (r0=1subscript𝑟01r_{0}=1italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = 1).

  • For ν+subscript𝜈\nu_{+}italic_ν start_POSTSUBSCRIPT + end_POSTSUBSCRIPT, we find the energy of the droplet (converging) state at ν/N2=0.1908,0.1912,0.1914𝜈superscript𝑁20.19080.19120.1914\nu/N^{2}=0.1908,0.1912,0.1914italic_ν / italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 0.1908 , 0.1912 , 0.1914. The energy is E6×105N3𝐸6superscript105superscript𝑁3E\approx-6\times 10^{-5}N^{3}italic_E ≈ - 6 × 10 start_POSTSUPERSCRIPT - 5 end_POSTSUPERSCRIPT italic_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT at ν/N2=0.1908𝜈superscript𝑁20.1908\nu/N^{2}=0.1908italic_ν / italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 0.1908, while E2.3×105N3𝐸2.3superscript105superscript𝑁3E\approx 2.3\times 10^{-5}N^{3}italic_E ≈ 2.3 × 10 start_POSTSUPERSCRIPT - 5 end_POSTSUPERSCRIPT italic_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT at ν/N2=0.1914𝜈superscript𝑁20.1914\nu/N^{2}=0.1914italic_ν / italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 0.1914. Therefore, ν+/N2subscript𝜈superscript𝑁2\nu_{+}/N^{2}italic_ν start_POSTSUBSCRIPT + end_POSTSUBSCRIPT / italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT lies between 0.19080.19080.19080.1908 and 0.19140.19140.19140.1914. Furthermore, we show the imaginary time evolution in Fig. S2 at ν/N2=0.1912𝜈superscript𝑁20.1912\nu/N^{2}=0.1912italic_ν / italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 0.1912: the energy of the evolving state converges to a value around zero. Thus, we find ν+/N20.191subscript𝜈superscript𝑁20.191\nu_{+}/N^{2}\approx 0.191italic_ν start_POSTSUBSCRIPT + end_POSTSUBSCRIPT / italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ≈ 0.191.

  • For νsubscript𝜈\nu_{-}italic_ν start_POSTSUBSCRIPT - end_POSTSUBSCRIPT, we find the energy of the droplet state at ν/N2=0.1399,0.140,0.1403𝜈superscript𝑁20.13990.1400.1403\nu/N^{2}=-0.1399,-0.140,-0.1403italic_ν / italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = - 0.1399 , - 0.140 , - 0.1403. The energy is EνN/22.4×105N3𝐸𝜈𝑁22.4superscript105superscript𝑁3E-\nu N/2\approx-2.4\times 10^{-5}N^{3}italic_E - italic_ν italic_N / 2 ≈ - 2.4 × 10 start_POSTSUPERSCRIPT - 5 end_POSTSUPERSCRIPT italic_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT at ν/N2=0.1399𝜈superscript𝑁20.1399\nu/N^{2}=-0.1399italic_ν / italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = - 0.1399, while EνN/26×105N3𝐸𝜈𝑁26superscript105superscript𝑁3E-\nu N/2\approx 6\times 10^{-5}N^{3}italic_E - italic_ν italic_N / 2 ≈ 6 × 10 start_POSTSUPERSCRIPT - 5 end_POSTSUPERSCRIPT italic_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT at ν/N2=0.1403𝜈superscript𝑁20.1403\nu/N^{2}=-0.1403italic_ν / italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = - 0.1403. Therefore, ν/N2subscript𝜈superscript𝑁2\nu_{-}/N^{2}italic_ν start_POSTSUBSCRIPT - end_POSTSUBSCRIPT / italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT lies between 0.13990.1399-0.1399- 0.1399 and 0.14030.1403-0.1403- 0.1403. The imaginary time evolution at ν/N2=0.14𝜈superscript𝑁20.14\nu/N^{2}=-0.14italic_ν / italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = - 0.14 is shown in Fig. S2: the energy of the evolving state converges to a value around zero. Thus, we find ν/N20.140subscript𝜈superscript𝑁20.140\nu_{-}/N^{2}\approx-0.140italic_ν start_POSTSUBSCRIPT - end_POSTSUBSCRIPT / italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ≈ - 0.140.

According to these itGPE results, we confirm the first order transition values in Eq. (15) of the main text.

Refer to caption
Figure S2: Imaginary time Gross-Pitaevskii evolution. Left: Evolution of the ansatz Ψ+subscriptΨ\Psi_{+}roman_Ψ start_POSTSUBSCRIPT + end_POSTSUBSCRIPT at ν=0.1912N2𝜈0.1912superscript𝑁2\nu=0.1912N^{2}italic_ν = 0.1912 italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. Right: Evolution of the ansatz ΨsubscriptΨ\Psi_{-}roman_Ψ start_POSTSUBSCRIPT - end_POSTSUBSCRIPT at ν=0.14N2𝜈0.14superscript𝑁2\nu=-0.14N^{2}italic_ν = - 0.14 italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. Here En=EνN/2subscript𝐸𝑛𝐸𝜈𝑁2E_{n}=E-\nu N/2italic_E start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = italic_E - italic_ν italic_N / 2 is the energy measured from νN/2𝜈𝑁2\nu N/2italic_ν italic_N / 2. Both energies decrease to values around zero, explicitly 5×106absent5superscript106\approx-5\times 10^{-6}≈ - 5 × 10 start_POSTSUPERSCRIPT - 6 end_POSTSUPERSCRIPT and 3×106absent3superscript106\approx-3\times 10^{-6}≈ - 3 × 10 start_POSTSUPERSCRIPT - 6 end_POSTSUPERSCRIPT.

S3 The hybrid condensate-molecular BEC phase transition

From the energy given in Eq. (20), one finds that the phase diagram has a critical end point located at

μcepsubscript𝜇cep\displaystyle\mu_{\text{cep}}italic_μ start_POSTSUBSCRIPT cep end_POSTSUBSCRIPT =α2g11g22+g12,absentsuperscript𝛼2subscript𝑔11subscript𝑔22subscript𝑔12\displaystyle=-\frac{\alpha^{2}}{\sqrt{g_{11}g_{22}}+g_{12}}\,,= - divide start_ARG italic_α start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG square-root start_ARG italic_g start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT italic_g start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT end_ARG + italic_g start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT end_ARG , (S14a)
νcepsubscript𝜈cep\displaystyle\nu_{\text{cep}}italic_ν start_POSTSUBSCRIPT cep end_POSTSUBSCRIPT =2α2g11g22+g12,absent2superscript𝛼2subscript𝑔11subscript𝑔22subscript𝑔12\displaystyle=-\frac{2\alpha^{2}}{\sqrt{g_{11}g_{22}}+g_{12}}\,,= - divide start_ARG 2 italic_α start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG square-root start_ARG italic_g start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT italic_g start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT end_ARG + italic_g start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT end_ARG , (S14b)

and a 2subscript2\mathbb{Z}_{2}blackboard_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT tricritical point located at

μ2subscript𝜇subscript2\displaystyle\mu_{\mathbb{Z}_{2}}italic_μ start_POSTSUBSCRIPT blackboard_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT =2α2g11g22+g12+g12α2(g11g22+g12)2,absent2superscript𝛼2subscript𝑔11subscript𝑔22subscript𝑔12subscript𝑔12superscript𝛼2superscriptsubscript𝑔11subscript𝑔22subscript𝑔122\displaystyle=-\frac{2\alpha^{2}}{\sqrt{g_{11}g_{22}}+g_{12}}+\frac{g_{12}% \alpha^{2}}{(\sqrt{g_{11}g_{22}}+g_{12})^{2}}\,,= - divide start_ARG 2 italic_α start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG square-root start_ARG italic_g start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT italic_g start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT end_ARG + italic_g start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT end_ARG + divide start_ARG italic_g start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT italic_α start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG ( square-root start_ARG italic_g start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT italic_g start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT end_ARG + italic_g start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , (S15a)
ν2subscript𝜈subscript2\displaystyle\nu_{\mathbb{Z}_{2}}italic_ν start_POSTSUBSCRIPT blackboard_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT =4α2g11g22+g12+(2g12g22)α2(g11g22+g12)2.absent4superscript𝛼2subscript𝑔11subscript𝑔22subscript𝑔122subscript𝑔12subscript𝑔22superscript𝛼2superscriptsubscript𝑔11subscript𝑔22subscript𝑔122\displaystyle=-\frac{4\alpha^{2}}{\sqrt{g_{11}g_{22}}+g_{12}}+\frac{(2g_{12}-g% _{22})\alpha^{2}}{(\sqrt{g_{11}g_{22}}+g_{12})^{2}}\,.= - divide start_ARG 4 italic_α start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG square-root start_ARG italic_g start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT italic_g start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT end_ARG + italic_g start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT end_ARG + divide start_ARG ( 2 italic_g start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT - italic_g start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT ) italic_α start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG ( square-root start_ARG italic_g start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT italic_g start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT end_ARG + italic_g start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG . (S15b)

The line separating the molecular-BEC phase and the hybrid condensate phase is a straight line connecting (μcep,νcep)subscript𝜇cepsubscript𝜈cep(\mu_{\text{cep}},\nu_{\text{cep}})( italic_μ start_POSTSUBSCRIPT cep end_POSTSUBSCRIPT , italic_ν start_POSTSUBSCRIPT cep end_POSTSUBSCRIPT ) to (μ2,ν2)subscript𝜇subscript2subscript𝜈subscript2(\mu_{\mathbb{Z}_{2}},\nu_{\mathbb{Z}_{2}})( italic_μ start_POSTSUBSCRIPT blackboard_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT , italic_ν start_POSTSUBSCRIPT blackboard_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ):

μ𝜇\displaystyle\muitalic_μ =α2g11g22+g12xg11g22α2(g11g22+g12)2,absentsuperscript𝛼2subscript𝑔11subscript𝑔22subscript𝑔12𝑥subscript𝑔11subscript𝑔22superscript𝛼2superscriptsubscript𝑔11subscript𝑔22subscript𝑔122\displaystyle=-\frac{\alpha^{2}}{\sqrt{g_{11}g_{22}}+g_{12}}-x\frac{\sqrt{g_{1% 1}g_{22}}\,\alpha^{2}}{(\sqrt{g_{11}g_{22}}+g_{12})^{2}}\,,= - divide start_ARG italic_α start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG square-root start_ARG italic_g start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT italic_g start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT end_ARG + italic_g start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT end_ARG - italic_x divide start_ARG square-root start_ARG italic_g start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT italic_g start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT end_ARG italic_α start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG ( square-root start_ARG italic_g start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT italic_g start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT end_ARG + italic_g start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , (S16a)
ν𝜈\displaystyle\nuitalic_ν =2α2g11g22+g12x(2g11g22+g22)α2(g11g22+g12)2,absent2superscript𝛼2subscript𝑔11subscript𝑔22subscript𝑔12𝑥2subscript𝑔11subscript𝑔22subscript𝑔22superscript𝛼2superscriptsubscript𝑔11subscript𝑔22subscript𝑔122\displaystyle=-\frac{2\alpha^{2}}{\sqrt{g_{11}g_{22}}+g_{12}}-x\frac{(2\sqrt{g% _{11}g_{22}}+g_{22})\alpha^{2}}{(\sqrt{g_{11}g_{22}}+g_{12})^{2}}\,,= - divide start_ARG 2 italic_α start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG square-root start_ARG italic_g start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT italic_g start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT end_ARG + italic_g start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT end_ARG - italic_x divide start_ARG ( 2 square-root start_ARG italic_g start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT italic_g start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT end_ARG + italic_g start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT ) italic_α start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG ( square-root start_ARG italic_g start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT italic_g start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT end_ARG + italic_g start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , (S16b)

where x𝑥xitalic_x runs between 0 (the critical end point) to 1 (the 2subscript2\mathbb{Z}_{2}blackboard_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT tricritical point). On the molecular-BEC side of the phase transition, the fields are

ψ𝜓\displaystyle\psiitalic_ψ =0,absent0\displaystyle=0,= 0 , (S17a)
ϕitalic-ϕ\displaystyle\phiitalic_ϕ =αxg11g22+g12,absent𝛼𝑥subscript𝑔11subscript𝑔22subscript𝑔12\displaystyle=\frac{\alpha\sqrt{x}}{\sqrt{g_{11}g_{22}}+g_{12}}\,,= divide start_ARG italic_α square-root start_ARG italic_x end_ARG end_ARG start_ARG square-root start_ARG italic_g start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT italic_g start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT end_ARG + italic_g start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT end_ARG , (S17b)

and on the hybrid condensate side they are

ψ𝜓\displaystyle\psiitalic_ψ =(g22g11)1/4α1xg11g22+g12,absentsuperscriptsubscript𝑔22subscript𝑔1114𝛼1𝑥subscript𝑔11subscript𝑔22subscript𝑔12\displaystyle=\left(\frac{g_{22}}{g_{11}}\right)^{1/4}\frac{\alpha\sqrt{1-x}}{% \sqrt{g_{11}g_{22}}+g_{12}}\,,= ( divide start_ARG italic_g start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT end_ARG start_ARG italic_g start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT 1 / 4 end_POSTSUPERSCRIPT divide start_ARG italic_α square-root start_ARG 1 - italic_x end_ARG end_ARG start_ARG square-root start_ARG italic_g start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT italic_g start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT end_ARG + italic_g start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT end_ARG , (S18a)
ϕitalic-ϕ\displaystyle\phiitalic_ϕ =αg11g22+g12.absent𝛼subscript𝑔11subscript𝑔22subscript𝑔12\displaystyle=\frac{\alpha}{\sqrt{g_{11}g_{22}}+g_{12}}\,.= divide start_ARG italic_α end_ARG start_ARG square-root start_ARG italic_g start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT italic_g start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT end_ARG + italic_g start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT end_ARG . (S18b)

One can check that (S17) and (S18) are two local minima of the energy and these minima are degenerate in energy.