1 Introduction
The theoretical and experimental work with multidimensional (two- and three-dimensional, 2D and 3D) solitons, i.e., self-trapped modes originating from the balance between nonlinear self-attraction of wave fields and their self-expansion driven, at the linear level, by diffraction and dispersion, is more difficult in comparison to the commonly known concept of 1D solitons [
1–
4]. On the one hand, 2D and 3D solitons offer many options inaccessible in 1D – in particular, the creation of 2D and 3D self-trapped states with the topological charge, that represents intrinsic vorticity [
5], and more sophisticated 3D states, such as monopoles [
6], skyrmions or hopfions with two independent topological charges [
7–
9], and knots [
10]. On the other hand, identification of physically relevant models in which multidimensional solitons, both structureless fundamental ones and higher-order states featuring topological structures, are stable, and, eventually, creation of such objects in the experiment, are challenging, because the most common cubic self-attractive nonlinearity is only able to build
completely unstable solitons in 2D and 3D, on the contrary to the ubiquitous one-dimensional nonlinear-Schrödinger (NLS) solitons, which are extremely robust objects, realizing the ground state (GS) of the respective model [
11]. The fundamental cause of the instability is the fact that 2D and 3D NLS equations with the cubic self-attraction give rise, respectively, to the critical and supercritical collapse, i.e., a trend to develop singular solutions through catastrophic self-compression of the input [
12]. Therefore, an issue of profound interest is elaboration of physically relevant settings which admit stabilization of 2D and 3D self-trapped localized modes, fundamental and topologically structured ones alike [
1–
4].
Among several approaches to resolving this issue, an arguably most successful one was theoretically proposed [
13] and experimentally realized [
14–
26] quite recently. It relies upon the effect of quantum fluctuations as a correction to the mean-field (MF) dynamics of Bose–Einstein condensates (BECs), which was first predicted long ago by Lee, Huang, and Yang (LHY) [
35], and was proposed to be used as a mechanism for the stabilization of 3D self-trapped states in Ref. [
13]. In this context, soliton-like states, which are called quantum droplets (QDs), form due to the MF attraction, which may be provided either by contact (local) inter-component attraction in binary BEC [
13–
18], or by long-range dipole-dipole interactions (DDIs) in a single-component condensate of atoms carrying permanent magnetic moments [
19–
26]. The collapse of the droplets, which would take place in the MF approximation, is arrested by the LHY effect, which is effectively represented by local quartic self-repulsive terms in the respective NLS equations [that are usually called Gross–Pitaevskii equations (GPEs), in the application to BEC]. The competition between the MF attraction and LHY repulsion maintains a superfluid state whose density (taking very low values) cannot exceed a certain maximum, thus making it incompressible. This is a reason why this quantum macroscopic state is identified as a fluid, and localized states filled by it are called “droplets". In addition to the 3D QDs, droplets in the effectively 2D setting, which may exist under the action of tight confinement in one direction, imposed by an external potential, were theoretically predicted [
42] and experimentally created [
14,
15] too.
The objective of this article to provide a brief review of basic theoretical and experimental results on the theme of QDs. First, basic models, in the form of GPEs with the LHY corrections, are introduced in Section 2, in the full 3D form. Reductions of the equations to the 2D and 1D cases are also presented.
Next, Sections 3 and 4 provide a relatively detailed account of recent experimental findings. These are stable QDs in a binary BEC composed of two different hyperfine states of the same atomic species, as well as in a heteronuclear mixture (Section 3), and in single-component condensates of magnetic-dipolar atoms (Section 4). In Section 3, we also briefly address collisions between 3D droplets in the binary condensate, which were experimentally studied very recently [
17].
Sections 5 and 6 report theoretical results. Because the current theoretical literature on QDs is vast, while the size of this article is limited, in these two sections we chiefly focus on most recent theoretical predictions of stable three- and two-dimensional QDs with embedded vorticity. Although they have not yet been reported in the experiment, vortical QDs promise to realize a variety of novel features. Basic results for stable “swirling" (vortical) 3D and 2D droplets, with unitary and multiple topological charges, are summarized in Section 5. Also included are results for vortex QDs in a semi-discrete 2D system [
36]. Another type of confined vortex modes is considered in Section 6: effectively two-dimensional ones in the binary BEC pulled to the center by the inverse-square potential, see Eq. (30) below. In the framework of the MF theory, all stationary states in this setting are destroyed by the quantum collapse. However, the LHY terms suppresses the collapse and help one to create an otherwise missing GS, as well as stable vortex states [
37]. These solutions are singular at
, but, nevertheless, physically relevant ones, as their norm (the number of atoms in the condensate) converges.
Section 7 concludes the article. In that section, we briefly mention related topics which are not considered in detail in this review, and discuss directions for the further development of studies in this area.
2 Theoretical models of quantum droplets
2.1 Models of QDs in three, two, and one dimensions
The energy density of a condensed Bose–Bose mixture in the MF approximation is
where
,
, and
are, respectively, the intra- and inter-species coupling constants characterizing the interaction between atoms, and
is the density of the
-th component of the mixture. In the case when intra-species interactions are repulsive,
, the mixture is miscible, in the framework of the MF theory, if the intra-species repulsion dominates over the inter-species interaction,
[
38]. Otherwise, the system is immiscible (at
), or it collapses (at
), if the attraction between the two species, accounted for by
, is stronger than the effective single-species repulsion.
The celebrated LHY correction to the MF density (1), which is the leading term in the beyond-MF energy density, originating from the zero-point energy of the Bogoliubov excitations around the MF state [
35], takes the following form, as derived by Petrov [
13]:
where as is the s-wave scattering length, n is the density of both components, assuming that they are equal, is the corresponding coupling constant, and m is the atomic mass. The LHY term makes sense only for , i.e., repulsive intra-species interactions.
In this article, we concentrate on the consideration of symmetric modes in the binary BEC, with equal components of the pseudo-spinor wave function. Asymmetric states were considered too, in 1D [
39], 2D [
40], and 3D [
41] cases alike. The asymmetry essentially affects stability of various modes. In particular, it tends to strongly destabilize vortex modes with unequal topological charges in the two components [
40,
41]. Further, QDs in heteronuclear binary BEC [
18] are always strongly asymmetric, due to their nature.
In a dilute condensate, the LHY term,
in Eq. (2) is, generally, much smaller than the MF ones,
in Eq. (1), hence the LHY correction is negligible. However, when the binary condensate is close to the equilibrium point, at which the MF self-repulsion in each component is nearly balanced by the attraction between the components, the LHY term becomes essential or even dominant. The result is the spontaneous formation of robust QDs, due to equilibrium between the effective residual MF attraction (assuming, as said above, equal wave functions of the two components) and the LHY repulsion, which stabilizes the droplets against collapsing [
13].
In this vein, by defining
for
and
, the latter condition corresponding to the inter-species attraction, Ref. [
13] addressed the regime with
The resulting LHY-amended GPE for the wave function of both components in the symmetric 3D system can be written as
where
,
,
are, respectively, rescaled coordinates, time, and chemical potential, as defined in Ref. [
13], and the quartic self-repulsive term,
, corresponds to the LHY energy density given by Eq. (2). The suppression of the collapse in Eq. (5) is guaranteed by the fact that, for large values of the local density,
n, the quartic self-repulsion dominates over the cubic self-attraction, that drives the onset of the collapse in the MF theory.
Equation (5) generates a family of stationary 3D-isotropic QDs, which are looked for as
where is the radial coordinate. Radial profiles of the 3D droplets, obtained as solutions of Eq. (5), as well as the respective energy per particle,
(factor
takes into account the contribution of both mutually symmetric components into the total number of atoms), the particle emission threshold
, and the spectrum of frequencies
of the droplet’s surface modes, with angular-momentum quantum number
, are displayed in Fig. 1. One can find that, in a wide range of
, where
is the stability boundary (the QDs are unstable at
), all excitation modes cross the threshold for sufficient small
, which means that the modes, excited by initial perturbations on the surface of the 3D droplet, are depleted by emission of small-amplitude waves, in terms of Eq. (5) [
13].
Beyond-MF effects in lower dimensions, 2D and 1D, have also drawn much interest. The respective models were derived in Ref. [
42], starting from the full 3D setting and including tight transverse confinement, imposed by an external potential acting in one direction, to induce the 3D
2D reduction, or in two directions, to impose reduction 3D
1D. In the 2D case, the energy density of the symmetric pseudo-spinor condensate, with equal densities of the “top" and “bottom" spinor components,
, and equal scattering lengths,
, was derived in the form of
where is the equilibrium density of each component ( is the Euler’s constant). The corresponding LHY-amended GPE for the common wave function of both components reads
The increase of the local density from small to large values leads to the change of the sign of the logarithmic factor in Eq. (8). As a result, the cubic term is self-focusing at small densities, initiating the spontaneous formation of QDs, and defocusing at large densities, thus arresting the transition to the collapse, and securing the stability of 2D QDs.
As shown in Fig. 2(a), the density dependence of the energy per particle, calculated in the framework of the corresponding many-body theory by means of the diffusion Monte Carlo (DMC) simulations [
43], converges toward the analytical result given by Eq. (8), with the decrease of
.
For the 1D setting, the analysis performed in Ref. [
42] had yielded the following effective energy density:
the corresponding equilibrium density being . The respective LHY-amended GPE features a combination of the usual MF cubic nonlinearity and a quadratic term, representing the LHY corrections in the 1D geometry:
Note that, in Eq. (11), LHY-induced quadratic term is self-focusing, on the contrary to the defocusing sign of the quartic term in the 3D equation (5). Because the most interesting results for QDs are obtained in the case of the competition between the residual MF term and its LHY-induced correction [
44], in the 1D case the relevant situation is one with
, when the residual MF self-interaction is repulsive, in contrast with the residual self-attraction adopted in the 3D setting, as mentioned above.
The energy per particle (10) is plotted, versus the rescaled particle number, and for different values of , in Fig. 2(b). Similar to the 2D case, for sufficiently small , the scaled data produced by the DMC method for the many-body theory, is in a good agreement with the Bogoliubov approximation given by Eq. (10).
2.2 Dimensional crossover for quantum droplets
The quasi-2D and quasi-1D description of QDs outlined above is valid for extremely strong transverse confinement. An estimate for experimentally relevant parameters [
14–
16] yields a respective estimate for the confinement size
nm, where
is the healing length in the condensate [
37], while the actual value of
Lz used in the experiment is
m. For this reason, the dimension crossover
requires a more careful consideration. In particular, for a loosely confined (“thick") quasi-2D layer of the condensate it may be relevant to consider the 2D version of Eq. (5), keeping the quartic LHY term, which is, strictly speaking, relevant in the full 3D space [
37].
A detailed consideration of the dimensional crossover was presented in Ref. [
45], which, similar to Ref. [
42], addressed the binary BEC with repulsive intra-species interactions,
, and inter-species attraction,
. In addition, periodic boundary conditions were imposed in the vertical direction. As above, the system is tuned to be close to the balance condition, defined as per Eqs. (3) and (4). In this case, the effective quasi-2D energy density representing the LHY effect is defined by the integration of the original 3D expression,
where , , the summation is performed with respect to discrete wavenumbers in the vertical direction, while is the 2D wave vector in the horizontal plane. A crucially important parameter which appears here is
with . It determines the ratio of the MF energy to the transverse-confinement energy.
For small , which is implied by the tight transverse confinement, an approximate calculation of the energy density (12) yields
For the crossover, one can define the effective LHY energy density similarly, cf. Eq. (12):
For small ξ, an approximate result is
where and .
The dependence of ratios
on ξ, where the 3D LHY energy density is , are demonstrated in Fig. 3. For small values of ξ, the approximate expression matches the numerically exact one well, while for large ξ, the ratios naturally approach 1.
Another approach to calculating the beyond-MF corrections at the dimensional crossover, which is based on the pioneering work [
46], was elaborated in Ref. [
47]. In that work, a one-component weakly interacting Bose gas satisfying the diluteness condition,
, is assumed to be confined in one or two directions by a box potential with length
and periodic boundary conditions. The beyond-MF corrections to the energy density with the box potential, denoted by
, and, in addition,
for the
confinement imposed by the harmonic-oscillator (HO) confinement (rather than by the box), which represent the dimensionality reduction, are displayed, as functions of
in Fig. 4.
3 Experimental observations of two-component quantum droplets (QDs)
3.1 Oblate (quasi-two-dimensional droplets)
The creation of stable QDs in a BEC mixture of two Zeeman states of
39K atoms, namely,
and
, where
is the total angular momentum and
is its projection was reported in Ref. [
14]. The potassium mixture is characterized by intra- and inter-species scattering length
,
, and
. The residual MF interaction is proportional to the effective scattering length
[cf. Eq. (3)], which identifies the boundary between repulsive (
) and attractive (
) regimes. The interaction strengths can be tuned, via the Feshbach resonance (FR) [
48], by an external magnetic field,
, as shown in Fig. 5(a). The MF energy of the mixture is proportional to
, while the LHY correction scales with the intra-species scattering lengths
,
. Atoms creating the QD are loaded in a plane of a vertical blue-detuned lattice potential to compensate for gravity and a vertical red-detuned optical dipole trap, which provides a horizontal radial confinement. The experiment started with a sufficiently large magnetic field,
G, which, via the Feshbach resonance, corresponds to
, where
is the Bohr radius. In this case, the state of the binary BEC superfluid is miscible. Numbers of atoms in each component can be measured by means of the Stern–Gerlach separation in the course of free expansion of the gas, after the trapping potential was switched off. Subsequently, the magnetic field is ramped down, to drive the mixture into the attractive regime with
, in which the radial confinement is simultaneously switched off, letting the atoms move freely in the horizontal plane. Figure 5(b) shows the evolution of typical images at different moments of time
t, following the removal of the horizontal radial confinement, but keeping the vertical lattice potential. In the case of
, the mixture features a gas-like expansion under an overall repulsive MF interaction, while for the attractive regime (with
), in which quantum fluctuations, i.e., the LHY effect, start to dominate. As a result, a stable self-trapped two-component droplet was observed in Ref. [
14]. On the other hand, the same Fig. 5(b) demonstrates collapse occurring in a single-component condensate in the attractive regime, dramatically different from the behavior of the binary condensate.
Changes of radial size and peak density of the experimentally created QDs with the variation of the number of atoms, , are shown in panel (c) of Fig. 5. In the attractive regime, both and remain approximately constant at large , as expected for a liquid state. The existence of the mixture droplets require a minimum number of atom, Nc, below which a liquid-to-gas transition takes place, and the atomic cloud expands. Further, Fig. 5(d) shows strong dependence of the onset of the liquid-to-gas transition on magnetic field B. The critical number Nc increases with magnetic field B, corresponding to the attenuation of the effective attraction in the mixture.
A more accurate investigation of the liquid-to-gas transition of the binary BEC was reported in Ref. [
15], by means of a similar experiment in the mixture of two different atomic states in the potassium condensate. The results also confirm the existence of QDs in the oblate (quasi-2D) configuration. Moreover, it was found that traditional matter-wave bright-soliton states, filled by the gaseous phase, and QDs, filled by the ultradilute superfluid, coexist in a bistable regime, providing an insight into the relation between these two kinds of self-trapped states.
3.2 Three-dimensional (isotropic) droplets
Following the original proposal by Petrov [
13], QDs in the full 3D space were created in a weakly interacting binary condensate of
39K [
16]. The mixture is composed of two hyperfine states of
39K. A cross dipole potential created by three red-detuned laser beams, and an optical levitating potential were employed in the experiment. The set of perpendicular beams was used to prepare the condensate, while the later element helped to make the residual confinement in all directions negligible. The residual scattering length of the mixture,
[cf. Eq. (19)], decreases with the external magnetic field, vanishing at
G. As Fig. 6(a) shows, at
, i.e., in the case of
, the binary condensate may be either a QD or an LHY gas, the two phases being separated by a critical number of atoms,
. When released from the external dipole trap in the attractive regime, the condensate with
keeps a constant size, i.e., it demonstrates a well-defined QD, while, in the case of
it expands like a gas, as might be expected. In Fig. 6(a), the average size of the atomic cloud is
, where
are half-widths of the density profile in the
x and
z directions, at the level of
.
The evolution of the condensate’s size σ in the QD phase at G, as well as the total atom number, N, and the population ratio of two atomic states in the mixture, , are presented in Fig. 6(b). As seen in middle panel, N rapidly drops during a few milliseconds, because of losses induced by three-body (3B) inelastic collisions, and eventually attains the critical values, Nc, at ms, where the liquid-to-gas phase transition takes place. The size, , exhibits a nearly constant value within the time interval 2 ms tc, as seen in the top panel, which confirms the establishment of a QD. Afterwards, it expands as gas. In the course of the liquid-to-gas transition, the total number of atoms, N, and the population ratio, , remain constants.
The measurements for
σ,
N, and
at critical point
Nc were extended to different values of magnetic field
B, as shown in Fig. 6(c). The droplet’s size
σ and critical atom number
Nc increase with the increase of the magnetic field. The colored area in top panel corresponds to the theoretical prediction for
σ in the range of norms
. The anisotropy measure,
, remains zero for different magnitudes of
B, revealing that the droplet is a spherical isotropic one. The dependence of the critical atom number,
Nc, on
B, shows good agreement with values theoretically in Ref. [
13] for the metastable and stable (dashed and solid lines, respectively) self-trapped states solution.
3.3 Collisions between quantum droplets
Collision of moving classical droplets may lead to their merger into a single one, provided that the surface tension is sufficient to absorb the kinetic energy of the colliding pair. Otherwise, the colliding droplets separate into two or more ones after the collision [
49]. Similar phenomena in collisions of two component QDs were recently experimentally demonstrated in Ref. [
17]. That work exhibits two different outcomes of the collision, i.e., merger and separation (passage).
For given magnetic field, there exists a critical velocity
vc, such that the colliding QDs merge at
, and separate at
. Typical examples of the evolution of the colliding droplets are displayed in Fig. 7. In the case of
, as shown in panel (a), the distance between the droplets decreases and finally stays being equal to zero, which implies the merger, as depicted in panel (b). By contrast, if the case of
, the kinetic energy of the moving QDs overcomes the surface tension, driving the separation after the collision, as shown in panel (d). As a consequence, the distance between the separating droplets increases, see panel (e). Further, it is shown in panels (c) and (f) that, in both cases, the total atom number decreases due to the strong 3B loss in the system [
16].
Figure 7(h) presents a summary of results of experimentally observed collision in the plane of the rescaled atom number
and velocity
, as produced in Ref. [
17]. The critical velocity
, which is the boundary between the merger (red diamonds) and passage (blue squares), exhibits different dependences on the number of atoms at small and large
, due to different energy scales dominating in these cases. In the regime of incompressibility at large
, the surface energy dominates, while the bulk and gradient energies may be negligible. Therefore,
vc is proportional to
. In the opposite case of small
, the bulk energy has to be taken into account, because it cannot be separated from the surface energy. In this case, the consideration of the energy balance yields
. The corresponding numerical results for the droplet collision, both with- and without the 3B loss, is displayed in Fig. 7(i). It is seen that the numerical simulation with 3B loss is in good agreement with the experimental results.
To probe the timescale of the collisions for various , the velocity of moving droplets, v, is set to be slightly larger than , to ensure that the separation takes place after the collision. The dependence of the timescale of the collision, , on is displayed in panel (j), revealing that, in the liquid-like regime at large , the separation corresponds to longer timescales, because in this limit the colliding pair forms a single cloud in an excited state for a certain time interval, and they separate afterwards. Results of the corresponding numerical simulation, without the 3B loss, are shown in insets of Fig. 7(j).
3.4 Droplets in a heteronuclear bosonic mixture
As outlined above, QDs were first created in mixtures of two different spin states of
39K atoms. The mechanism stabilizing two-component QDs applies as well to mixtures of different atomic species. Experimentally, this possibility was realized in Refs. [
18] and [
50], using a binary condensate of
41K and
87Rb atoms. The results confirm the existence of stable droplets in the regime of relatively strong inter-species attraction, and expansion of the mixture in the case when the attraction is too weak. In particular, stable QDs were observed with the ratio of atom numbers
, which is consistent with the results predicted by means of the analysis based on Ref. [
13]. The heteronuclear droplets were demonstrated to have a lifetime
ms, much longer than ones created in the binary condensate of
39K, that, as mentioned above, was determined by 3B losses. The substantially longer lifetime offers one an opportunity to gain insight in intrinsic properties of the QDs, such as the observation of self-evaporation.
4 Single-component QDs in dipolar condensates
The theoretical and experimental findings summarized above demonstrate the possibility of the creation of stable droplets in binary BECs, based on the competition of the cubic nearly-balanced attraction between the two components and self-repulsion in each of them, and the additional quartic LHY-induced self-repulsion, see Eq. (5). Still earlier experiments had produced robust QDs in single-component dipolar BECs made of dysprosium [
19–
25] and erbium [
26] atoms. Generating droplets in this setting is possible with the attraction provided by the long-range dipole-dipole interaction (DDI), and the stabilizing repulsion induced by the contact interaction, including the LHY term. The dipolar BEC are characterized by the scattering length
as of the contact interaction, and the effective DDI length,
. Accordingly, the interplay between the DDI and the contact interactions is controlled by parameter
4.1 Quantum droplets in the condensate of dysprosium
In the experiments reported in Refs. [
19,
20], isotope
164Dy with dipolar length
, where
a0 is the Bohr radius, is employed to create BEC. The background scattering length of the contact interactions is
, which was modulated by many FRs. When
is close to 1 [see Eq. ( 20)], the MF contact interactions and DDI nearly balance each other, making the contribution from the beyond-MF LHY effect crucially important for the creation of QDs.
In Ref. [
20], a stable BEC containing ~10
4 dysprosium atoms was created, by tuning the magnetic field to
G. The condensate was loaded into a radially symmetric, pancake-shaped trap with HO frequencies
Hz, in the presence of the external magnetic field in the
z direction, along which atomic magnetic dipoles are polarized, as shown in Fig. 8(a). Subsequently, the magnetic field was ramped down to a value at which
, resulting in an angular roton instability. Thus, the condensate evolved into a set of
Nd droplets, ranging between 2 and 10, which arranged themselves into a triangular structure. As shown in Fig. 8(b),
Nd shows a linear dependence on the total number of atoms number, with
. The droplets strongly repel each other, maintaining distance
or
m for
and
, respectively.
The spatial density distribution of the dysprosium condensate is characterized by its Fourier transform, , which features a local maximum at m, where . The spectral weight,
accounts for the strength of the structured states. It is subject to normalization for the entire condensate. To explore properties of the spectral weight, a set of experimental data was collected, as shown in Fig. 8(d). The dysprosium condensate was generated close to the FR at , and then ramped down to a target value of the magnetic field, 6.860 G, with a constant speed, see the red arrow in Fig. 8(c). This was followed by a waiting stage, lasting for 20 ms. Then, the magnetic field was increased back to the high value at which the BEC was originally created, see the green arrow in Fig. 8(c). In the course of the experiment, atomic samples were imaged in situ, and the corresponding spectral weights were calculated as per Eq. (21), see Fig. 8(d). A well-defined hysteresis was thus observed, comparing the stages of the reduction of the magnetic field and return back to the original value, indicating that the system features bistability in the transition region.
To reveal the nature of the droplets observed in Ref. [
20], they were trapped in a waveguide [
19], which imposes a prolate cigar-like shape with aspect ratio
. The magnetic field was ramped from
G to
G during 1 ms. When quenching up
, the system, instead of collapsing, forms a metastable state composed of droplets whose number is
. For the case of
, an average separation between the droplets was measured to be
. The lifetime of these droplets is on order of hundreds of milliseconds, which is much larger than that of the two-component QDs supported by contact interactions. In addition, following the quench of the magnetic field, the expanding droplets overlap, as their size become comparable to or larger than the distance between them, which leads to the appearance of interference fringes. The observation of the fringes indicates that the individual droplets are phase-coherent objects, which was also observed in one-dimensional droplet arrays [
27]. In this connection, it is relevant to mention that global phase coherence has been demonstrated in the supersolid state of matter, which was recently realized in several experiments [
28–
34].
4.2 Quantum droplets in the condensate of erbium
Erbium is another atomic species with permanent magnetic moment, which is appropriate for the realization of dipolar BEC. Isotope
166Er was employed in Ref. [
26] to investigate the BEC-QD crossover. The value of the respective background scattering length
is comparable to the effective dipolar length,
, which makes it easy to realize condition
, see Eq. (20). These atoms also feature a convenient set of FRs at ultra-low magnetic field values. The dependence of the scattering length
as on
B is demonstrated in Fig. 9(A). As shown in the upper inset, one can easily enter the range of
, in which QDs may be observed.
The condensate was prepared at G, corresponding to . Following the evaporative cooling procedure, the magnetic field was reduced to 0.8 G [corresponding to , via the FR], with the atomic magnetic moments polarized along the weak-trapping axis. Finally, B was ramped down to a target value in the course of time tr, which is followed by wait time th. Then, an absorption image of the gas was taken, after time-of-flight (TOF) . Figures 9(b–d) display typical absorption images of the density profiles for ms (quenching), ms, ms, and different values of as. In particular, in the case of , as shown in Fig. 9(e), the density distribution is close to that predicted by the Thomas–Fermi (TF) approximation, which neglects the kinetic-energy term in GPE. The distribution of thermal atoms, see dotted lines in Fig. 9(e), is different from that in the central core, and remains mainly unaffected by the change of as. Collective oscillations of the coherent gas cloud is intimately related to the origin of the stabilization mechanism. In this work, the axial mode, which is the lowest-lying excitation in the system above the dipolar mode, was experimentally studied for both adiabatic and nonadiabatic ramps of the magnetic field. For both ramps, the results highlight a qualitative agreement with the theoretical predictions including the LHY term, revealing the fact that the LHY correction plays an essential role in stabilizing the system.
As said above, quantum fluctuations are expected to stabilize the system and help forming the droplets. However, 3B losses favor lower densities. The interplay between quantum fluctuations and 3B losses in the BEC-to-QD crossover is of great interest. Numbers of atoms in both the central-core (
) and thermal (
) components are shown, as a function of
as, in Figs. 10(a) and (b), respectively, following the action of the nonadiabatic and adiabatic ramps. Both cases show a similar evolution. When the magnetic field is ramped down, the number of atoms in the central core remains constant for
, then drops dramatically around
, and finally curves up at lower
as. In contrast to that,
shows weak dependence on
as, confirming a picture in which dynamics of the thermal and condensed components are uncoupled. The observed evolution of
matches well with the theoretical calculation including the LHY correction (solid lines), but deviates from the one performed in the absence of the LHY term (dashed lines). The time evolution of
for various
as in the droplet regime is displayed in Fig. 10(c), where
shows fast decay in the interval of
ms, indicating that atoms are ejected from the high-density core through 3B losses. The steepness of this fast decay critically depends on
as. The mean
in situ density
of the high-density component in the BEC-QD crossover is extracted with the help of the general 3B-loss relation, see further details in Ref. [
26]. As shown in Fig. 10(d), one can see that the mean density
attains a maximum at the threshold, with
, showing a quantitative agreement with numerical simulations including the LHY correction.
As a self-trapped state, the QD is expected to demonstrate its characteristic in the expansion regime. Typical examples of the TOF evolution of width of the high-density core are shown in Fig. 10(e). It is observed that, in the case of , the atomic cloud exhibits clear slowing-down of the expansion dynamics. The expansion velocity vx is extracted by fitting the data to . The dependence of velocity vx of the expansion of the high-density core on as is demonstrated in Fig. 10(f). In the droplet regime vx gets a minimum at about (), and grows when as gets far away from this minimum point. This behavior cannot be explained by the MF theory. On the other hand, simulations with the LHY correction reproduce the results produced by experimental measurements, see the solid line in Fig. 10(f).
5 Theoretical results: Stable quantum droplets with embedded vorticity
5.1 Three-dimensional vortex rings
Quantum droplets observed in experiments outlined above are fundamental modes, which do not carry any vorticity. It is natural to expect that vortex (alias spinning) modes may offer an opportunity to study more sophisticated properties of the QD state of matter [
5]. Thus far, all studies of QDs with embedded vorticity were performed solely in the theoretical form. In particular, in Ref. [
5] it was demonstrated that QD solutions with embedded vorticity exist in the model of the single-component dipolar condensate, but they all are unstable, hence physically irrelevant.
On the other hand, it was found that models of binary condensates with contact interactions, based on systems of LHY-amended GPEs readily give rise to
stable vortex states. In particular, Ref. [
41] addressed the 3D system for the two-component wave function
. In the scaled form, the system takes the form of
where the strength of the cubic self-repulsion in each component is scaled to be 1, while is the relative strength of the inter-component attraction. The LHY repulsion is characterized by coefficient (128/3), where as is the intra-component scattering length. The corresponding stationary solutions for vortex droplets with chemical potentials and integer topological charges of the components are looked for, in cylindrical coordinates , as
with real stationary wave functions obeying equations
Stability regions for the 3D QDs with embedded vorticity, i.e.,
vortex rings, which are symmetric with respect to the two components, with
and
, are shown in Fig. 11, both in the
and
planes. As demonstrated in Fig. 11(a), the vortex rings are stable in region
, where
is the cutoff value of the chemical potential, below which no droplet can be found. Actually,
corresponds to the indefinitely broad QDs with a flat-top shape and diverging integral norm (number of atoms), the existence of
being a general property of self-trapped states in models with competing nonlinearities, such as the well-studied cubic-quintic combination [
52,
53]. The stability interval of
μ expands as
g increases, due to the fact that the value of
decreases faster than the stability boundary
. The stability domain in the
plane is shown in Fig. 11(b). Value
indicates the minimum number of atoms necessary for the formation of a spinning droplet. The 3D vortex droplets are stable at
, while In the region of
they exist but are unstable. The stability-boundary value
rapidly increases with the decrease of
g, and diverges at
, below which system (22) does not maintain stable spinning states.
For the symmetric state with double vorticity, of , a narrow stability region was obtained (not shown here in detail). It may happen that stable higher-order vortices with exist too in this 3D system, but they were not found. This fact may be explained by scaling
for the minimum number of atoms necessary for the existence of stable vortex modes in this 3D model [
40], as this very steep scaling makes it very difficult to create such stable modes with
. On the other hand, QDs with
hidden vorticity, i.e., as defined in Ref. [
54], antisymmetric states with opposite vorticities in the two components,
are completely unstable in the framework of Eqs. (22).
5.2 Two-dimensional vortex rings and necklaces
5.2.1 Basic results
In the framework of the reduction of the LHY-amended GPE system to the 2D form, see Eq. (9), families of stable QDs with embedded vorticity, both explicit (identical in both components) and
hidden, defined as per Eq. (26), were explored in Ref. [
40]. The extension of Eq. (9) for two components,
, is
where is the coupling constant. It was found that Eq. (27) gives rise to stable 2D vortex-ring solutions with explicit vorticity up to . An essential finding is that such QDs with embedded vorticity are stable above a certain threshold value, , of the number of atoms, which scales as
with the increase of m, cf. the steeper scaling in the 3D model (25). The possibility to find stable 2D vortices with is a consequence of the relatively mild scaling in Eq. (28), in comparison with Eq. (25).
Vortex QDs in a similar 2D model, with GPEs including both the LHY correction and spin-orbit coupling between the two components, were considered too [
55]. In the latter case, QDs are states of the
mixed-mode type, in terms of Ref. [
56], with each component including terms with vorticities
and
or
.
5.2.2 Semidiscrete vortices
Further, a
semidiscrete 2D system, which is constructed as an array of quasi-1D cigar-shaped waveguides for QDs, was introduced in Ref. [
36]. In the 1D limit, the LHY correction to the 1D GPE is a quadratic term with the attraction sign [
42], on the contrary to the repulsive quartic LHY term in Eq. (5) and the alternating attraction-repulsion sign of the logarithmic factor in the 2D equation (9). The scaled form of the GPE system for this system includes the MF cubic self-repulsion terms, competing with the LHY-induced quadratic self-attraction:
where is the hopping rate which provides linear coupling between adjacent between cores (waveguides), the strength of the quadratic LHY term is normalized to be one, and is the strength of the cubic self-repulsion. This system gives rise to stable vortical semidiscrete QDs, with the winding number (embedded vorticity) up to . Among them, there are two different species of stable semidiscrete vortex QD with , of the on-site-centered and inter-site-centered types, with the vorticity pivot located, respectively, at a lattice site or between two sites, see examples in Figs. 12(c, d)]. Stable inter-site-centered vortices are found only when the hopping rate between adjacent cores, C, is very small, and they do not exist with . On the other hand, stable on-site-centered vortices were found for arbitrary values of C, with embedded vorticities , i.e., in the same range as indicated above for the 2D continuum model based on Eq. (27).
5.2.3 Necklace clusters
Necklace patterns, built as ring-shaped clusters of solitons, usually appear to be unstable patterns, because interactions between adjacent soliton split the necklaces into sets of separating solitons. Nevertheless, Ref. [
57] has demonstrated a possibility to construct robust necklace clusters, composed of fundamental (zero-vorticity) 2D droplets, in the framework of the model based on Eq. (27). The cluster is built of
n identical QDs placed on a ring of radius
R, with phase difference
between adjacent QDs, where
m is the overall vorticity imprinted onto the cluster. The evolution of the cluster is driven by the initial radius,
R, and vorticity
m, ranging from contraction to rotation or expansion. As a result, the necklaces which realize an energy minimum feature remarkable robustness, while they are strongly unstable in the framework of the 2D GPE with usual cubic nonlinearity.
Unlike the imprinted vorticity considered above, an alternative way to construct vortex clusters carrying angular momentum is offered by the ground state of a rotating trapped binary BEC, as recently demonstrated in Ref. [
58]. Such a system, with attractive inter-species and repulsive intra-species interactions, is confined in a shallow HO harmonic trap with an additional repulsive Gaussian potential placed at the center. If the LHY correction is taken into account, it helps to stabilize the patterns. Numerical simulations have produced rotating necklace-like patterns composed of a few local vortices with topological charge
. Traces of these patterns persist in the expanding condensate if it is released into free space when the weakly confining HO trapping potential is switched off.
6 Two-dimensional vortex modes trapped in a singular potential
6.1 Formulation of the problem
The quantum collapse is a well-known peculiarity in quantum mechanics: nonexistence of the GS in 3D and 2D linear Schrödinger equations with attractive potential
where
is the strength of the pull to the center [
59]. In 3D, the collapse occurs when
U0 exceeds a finite critical value, while in 2D the collapse happens at any
. In both 3D and 2D cases, the potential represents attraction of a particle, carrying a permanent electric dipole moment, to a central charge [
60]. In 2D, the same potential ( 30) may be realized as attraction of a magnetically polarizable atom to an electric current (e.g., an electron beam) directed transversely to the system’s plane, or the attraction of an electrically polarizable atom to a uniformly charged transverse thread.
A fundamental issue is regularization of the setting, aiming to create a missing GS. A solution was proposed in Ref. [
60], replacing the 3D linear Schrödinger equation by the GPE for a gas of dipole particles pulled to the center by potential (30) and stabilized by repulsive contact interactions, while the long-range DDI between the particles amount to a renormalization of the contact interaction [
60]. It was thus found that, in the framework of the MF approximation, the 3D GPE creates the missing GS for arbitrarily large
U0. Further, it was demonstrated that, in terms of the many-body quantum theory, the GS, strictly speaking, does not exist in the same setting, but the interplay of the pull to the center and contact repulsion gives rise to a metastable state, separated from the collapsing state by a tall potential barrier [
61].
The situation is more problematic in 2D, as the usual cubic nonlinearity, which represents the contact repulsion in the MF approximation, is not strong enough to create the GS. The problem is that the MF wave function, , produced by GPE, gives rise to the density, , diverging at , in 3D and 2D alike. In terms of the integral norm,
where or 2 is the dimension, the density singularity is integrable in 3D, while it gives rise to a logarithmic divergence in 2D,
The analysis of GPE demonstrates that a self-repulsive nonlinear term stronger than cubic, i.e., with , gives rise to the density with singularity . Therefore, any value provides convergence of the 2D integral norm.
Thus, a solution for the regularization of the 2D setting may be offered by the quintic defocusing nonlinearity [
60], with
. It accounts for three-body repulsive interactions in the bosonic gas [
62], although the realization of this feature is the fact that three-particle collisions give rise to losses, kicking out particles from the condensate [
63]. On the other hand, the LHY-induced quartic self-repulsive term in Eq. (5) may also be used for the stabilization of the 2D setting under the action of potential (30) [
37], provided that the confinement in the transverse direction is realistic (not extremely tight). As mentioned above, in this case the LHY effect is accounted for by the quartic term, added to the effectively two-dimensional GPE. In this connection, it is relevant to note that, if the “fully 2D" equation (9), corresponding to the ultra-tight confinement, is insufficient to create a GS with a convergent norm in 2D. Indeed, in this case the analysis yields a density singularity
at
, hence the 2D integral (31) is still diverging, although extremely slowly,
, cf. Eq. (32).
Thus, the relevant two-dimensional LHY-amended GPE equation, including potential (30), takes the following form in the scaled notation [
37]:
which is written in polar coordinates
, coefficient
accounting for the residual MF nonlinearity. In fact, the rescaling makes it possible to set
or
. The case of
corresponds to the (nearly) exact cancellation between the intra-component repulsion and inter-component attraction, while all the nonlinearity is represented by the LHY-induced quartic term, cf. Ref. [
64]. While Ref. [
37] addressed Eq. (33) in its general form, we here focus on the most fundamental case of
.
6.2 Analytical considerations
Stationary solutions to Eq. (33) with chemical potential and integer vorticity m are looked for as
with real radial function satisfying the equation
where, as said above, we set , and define a renormalized potential strength,
Simple corollaries of Eq. (35) are scaling relations which show the dependence of the solution on μ:
A convenient substitution,
transforms Eqs. (33) and (35) into
The expansion of the solution to Eq. (41) at yields
which is valid for . In the interval of
(the meaning of this interval is explained below), the quadratic term in Eq. (42) is replaced, as the leading correction, by
where const remains indefinite, in terms of the expansion at . Exactly at , Eq. (42) is replaced by
where constant r0 is also indefinite. In all the cases, it follows from Eq. (39) that the singular form of the density at is
with which the 2D norm (31) converges.
The asymptotic form of the solution, given by Eq. (42), is meaningful if it yields [otherwise, the derivation of Eq. (35) from Eq. (33) is irrelevant], i.e., for , as well as for weakly negative values of the effective strength of the central potential belonging to interval (43). In the limit of , Eq. (41) gives rise to an asymptotically exact solution:
where is the value of the Gamma-function, and is the modified Bessel function of the second kind. The substitution of this expression in Eqs. (39) and (31) yields the respective value of the norm,
which agrees with scaling relation (38).
The counter-intuitive finding that the bound state may exist under the combined action of the defocusing quartic nonlinearity and effectively repulsive potential in interval (43), which was first reported in Ref. [
60], is explained in detail in Refs. [
37] and [
65]). This property is specific for singular bound states (which are physically relevant ones, as they produce the convergent norm).
In the limit of , the asymptotic form of the solution to Eq. (41) is
where is an arbitrary constant. A global picture of the nonlinear modes is produced by the TF approximation, which neglects derivatives in Eq. (41):
In the limit of , Eq. (50) yields the same exact value of as given by Eq. (42). On the other hand, the TF approximation predicts a finite radius r0 of the mode, neglecting the exponentially decaying tail at , cf. Eq. (49).
The TF approximation makes it possible to calculate the corresponding dependence:
with , which complies with the exact scaling relation (38). The TF approximation is quite accurate for sufficiently large values of Um. For instance, at and , a numerically found value of the norm is , while its TF-predicted counterpart is .
6.3 Vortices
Usually, the presence of integer vorticity
implies that the amplitude vanishes at
as
rm, which is necessary because the phase of the vortex field is not defined at
. However, the indefiniteness of the phase is also compatible with the amplitude
diverging at
. In the linear equation, this divergence has the asymptotic form of the standard singular Bessel’s (alias Neumann’s) cylindrical function,
, which makes the respective 2D state unnormalizable for all
. However, in the present system, similar to Ref. [
60], Eqs. (39), (42), (44), and (45) demonstrate that the interplay of the central potential and quartic nonlinearity reduces the divergence of the amplitude function to the level of
, for any
m, thus maintaining the normalizability of the states under the consideration.
Stationary solutions of Eq. (41) are not essentially different for
(the GS) and
(vortices). A real difference is revealed by the analysis of their stability. Computation of stability eigenvalues for modes of small perturbations and direct simulations of the perturbed evolution demonstrate that all GSs, including those in the “counter-intuitive" interval (43), are
completely stable [
37].
The situation is different for the vortices. The analysis of the linearized equations for small perturbations leads to an exact result: they are stable at
while at
the vortices are unstable against a perturbation eigenmode which drives the vortex’ pivot out of the central position. This prediction, including the particular values of
, was accurately corroborated by numerical computation of stability eigenvalues, as well as by direct simulations of perturbed evolution for
and 2 [
37].
An example of radial profile of the singular vortex mode, with , and a finite norm, is displayed in Fig. 13(a). This value of U0 is chosen in the instability region, close to its boundary predicted by Eq. (52), . In accordance with the prediction provided by the calculation of eigenmodes of small perturbations, the pivot of the unstable vortex escapes from the central position, slowly moving away along a spiral trajectory, as shown in Fig. 13(b).
Eventually, the pivot is ousted to periphery, thus effectively converting the original unstable vortex into a stable GS with zero vorticity and its center of mass located at the origin, . In the course of the simulations, a large part of the initial norm is consumed by an absorber installed at the edge of the simulation domain, to emulate losses due to outward emission of small-amplitude matter waves, in the indefinitely extended system. In particular, the evolution of the unstable vortex displayed in Fig. 13 leads to its transformation into a residual GS with norm of the initial value.
The spontaneous transformation of the vortex mode into the GS implies decay of the mode’s angular momentum. In the extended system, the momentum would be lost with emitted matter waves, while in the present setting it is gradually eliminated by the edge absorber, as shown by the simulations in Ref. [
37].
On the other hand, the simulations demonstrate that perturbed vortices with
and
remain completely stable at, respectively,
and
, in agreement with Eq. (52) [
37].
7 Conclusion
The scenarios for the creation of stable 3D QDs with the help of corrections to the MF dynamics induced by quantum fluctuations around the MF states (the LHY effect), proposed in Ref. [
13] and experimentally realized in binary BEC in Refs. [
14–
18], have made a crucially important contribution to the long-standing problem of the making of stable 2D and 3D soliton-like modes. A similar mechanism was also experimentally implemented in the single-component condensate with long-range interactions between atomic magnetic moments [
19–
26]. In the experiment, full 3D QDs [
41], as well as oblate nearly-2D ones [
40], have been created as the GS (ground state), i.e., without embedded vorticity. On the other hand, recent theoretical analysis has predicted stable vortical QDs, in the fully 3D and reduced 2D forms, with the unitary and multiple vorticities alike. A very recent addition to the analysis has demonstrated the existence of stable 2D vortex modes pulled to the center by the inverse-square potential (30), in which the quantum collapse is suppressed by the LHY effect [
37]. These experimental and theoretical results are summarized in the present review.
There are other directions of the current work on this topic (chiefly, theoretical ones) which are not included in this brief review, but should be mentioned: two-component QDs with the linear Rabi mixing between the components [
66], quasi-1D QDs and the spectrum of excitations in them [
44,
67], “quantum balls" stabilized by the repulsive three-body quintic interaction acting in combination with the LHY correction and collisions between such “balls" [
19,
68], QDs composed of Bose–Fermi mixtures [
70–
73], QDs in periodic systems [
74–
77], supersolid crystals built of QDs (see a recent review [
78]), miscibility-immiscibility transitions in dipolar QDs [
82,
83], and others. Moreover, recent non-perturbative analysis of the strong beyond-mean-field interactions provide extension of the work to the area where the perturbative LHY model is not valid [
23,
79,
80].
As concerns relevant directions for the continuation of the work, the creation of the theoretically predicted stable 3D and nearly-2D droplets with embedded vorticity is a challenging aim [
84]. There are also interesting possibilities for the development of the theoretical analysis, such as the further consideration of interactions of QDs, as suggested by Ref. [
17], and a possibility of forming their mutually-orbiting bound states, precession of 3D droplets with embedded vorticity, considered as gyroscopes (cf. Ref. [
81]), the motion of QDs in external potentials.