1 Introduction
In Bose–Einstein condensates (BECs), it is well known that free-space nonlinear modes may collapse in two-dimensional (2D) and three-dimensional (3D) geometries via the action of the usual attractive cubic nonlinearity [
1]. Hence, how to acquire stabilize nonlinear modes in multidimensional systems remains an important research topic. Generally, the simplest way is to modify the attractive cubic nonlinearity, which includes reducing the cubic nonlinearity to quadratic nonlinearity [
2,
3], adding competitive nonlinearities, such as the competing cubic-quintic nonlinearity [
4–
10], changing cubic nonlinearity to saturable nonlinearity [
11] or nonlocal nonlinearity [
12–
16].
Subsequently, one can introduce spin–orbit coupling to stabilize self-trapped modes, i.e., matter-wave solitons [
17–
26] and quantum droplets (QDs) [
27]. QDs, a new type of self-bound quantum liquid state, were created experimentally in dipolar bosonic gases of dysprosium [
28] and erbium [
29], as well as in mixtures of two atomic states of
39K [
30] with contact interactions. QDs have attracted much attention in the field of ultracold atoms [
31–
61], which predicate a possibility in the framework of the 3D [
31], 2D [
32–
38] and 1D [
39–
42] Gross–Pitaevskii (GP) equations. Research has shown that QDs have been formed with the help of zero-point quantum fluctuations, which can arrest the collapse of attractive Bose gases in two and three dimensions and can be described theoretically by the Lee–Huang–Yang (LHY) correction [
62]. The LHY correction is proportional to
n5/2 in 3D [
31] and
in 2D [
32], where
n is the condensate density, which plays an important role in stabilizing QDs. In these studies, in the 2D and 3D domains, the LHY term acts as a higher-order nonlinear repulsive interaction in the relative GP equations, which arrest the collapse of attractive Bose gases induced by the mean-field force.
Another possibility for the stabilization of nonlinear modes was revealed in BECs, which are trapped in an optical lattice [
63]. Numerous studies have shown that BECs trapped in an optical lattice provide an ideal and clean platform for studying the nonlinear modes and their dynamics. In the optical lattice, various types of matter-wave solitons were investigated both numerically and analytically [
64–
78]. A potentially interesting research direction is to study QDs in a lattice. Recently, dynamics of QDs in a 1D optical lattice were studied [
41,
79], and it was found that the optical lattice potential strongly influences the stability of the QDs, and this system can support stable dipole-model QDs in a very small range of proper parameters. In the 2D or 3D domains, optical lattices can provide more freedom than their 1D counterparts. For example, in higher-dimensional spaces, we can construct more complex lattice structures, such as square lattices [
80–
87] and honeycomb lattices [
88–
91] (graphene structure). Furthermore, in the higher-dimensional domains, we can not only consider the fundamental or the dipole modes but also the quadrupole modes [
92–
96], or more interestingly, the vortex modes. However, the dynamics of QDs in these higher-dimensional spaces with periodic potential have not been considered thus far. It was known that periodic potential is a fundamental problem in solid-state physics. The combination of QDs and lattice potential may open an avenue to study the dynamics of such new kind of liquid in some advanced topic of condense matter physics, such as discrete systems and topological objects.
The objective of the present work is to demonstrate the possibility of creating stable zero-vorticity and vortex LQDs in BECs, which are trapped in a 2D optical square lattice, and study their characteristics. Similar to their 1D counterparts, two types of LQDs, viz., onsite-centered and offsite-centered LQDs, the centers of which are located at the minimum and the maximum of the potential, respectively, are identified. The stability of these LQDs with zero-vorticity (S = 0) and a vortex with S = 1 are studied in detail. The rest of this paper is structured as follows: the model for the current system is described in Section 2, and the results of the 2D LQDs for S = 0 and 1 are discussed in detail in Section 3, and this work is concluded in Section 4.
2 The model
We assume that the LQDs, which are formed by binary BECs, are strongly confined in the transverse direction with lateral size , where and are the self-repulsion scattering lengths of each component and the transverse confinement length, respectively. For the current experimental system, we can select the length of a single lattice site to be μm, nm, and μm. This condition definitely holds for . In this case, the GP equation with LHY correction is also reduced to 2D form for the scaled wave functions of the two components as
where is the coupling constant and is the 2D lattice potential. Here, the logarithmic form of the LHY term has been adopted because of strong transverse confinement. If these two components are under a symmetric condition, i.e., , the mean-field self-repulsion and the cross-attraction between the binary BECs are canceled with each other, Eq. (1) can be further simplified by adopting the symmetric state as
The analysis in Ref. [
36] has demonstrated that the energy of this LHY term can provide a minimum for supporting a QDs. Adding the lattice potential does not eliminate such an energy minimum, hence, the LQDs can formed in the current model.
Here, we use the square lattices as the potential; hence, can be described as
or
where
is the lattice modulation depth and
D is the lattice constant (i.e., the period of the lattice). Refer to Ref. [
97], the simplest way to form 1D lattices is by superimposing two oppositely directed laser beams with the same frequency, and may be produced in higher-dimensions by superimposing more than two beams with different wave vectors. We consider the case in which the polarizations of the beams propagating in the
x-direction are the same, as are the polarizations of the beams propagating in the
y-direction, but the polarization of the beams propagating in the two directions are orthogonal. The resulting potential energy becomes proportional to
or
and gives rise to a square lattice with lattice constant equal to
. Even though there is no essential difference in the expressions in Eqs. (3) and (4) for square lattices, which feature only a
π/2 phase shift, the two expressions in Eqs. (3) and (4) are crucial for the formation of the LQDs centered at the origin of the coordinates. Because we let
, the square lattice constructed by Eq. (3) at the origin of the coordinates is a local minimum of the potential, while the lattice constructing by Eq. (4) at the origin of the coordinates is a local maximum of the potential, which means that the square lattice constructed by Eq. (3) can provide a lattice site for the center of the droplets, while the lattice of Eq. (4) cannot. Therefore, we can use these two expressions, Eqs. (3) and (4), to characterize the two types of LQDs, which are centered at the minimum and the maximum of the potential, respectively. The former (the center located at the minimum of the potential) are called onsite-centered LQDs, and the latter (the center located at the maximum of the potential) are called offsite-centered LQDs. The total norm for these two types of LQDs can all be characterized as
Stationary solutions to Eq. (2) with a chemical potential μ are sought as follows:
where
represents the stationary wave function. Stationary LQDs with different topological charges
S were produced by the imaginary-time-integration (ITM) method [
98,
99] with an initial guess of
where C and α are positive real numbers, R and θ are 2D polar coordinates. Then, the stability of the solutions was verified by direct simulations of Eq. (2) in real time, with 1% random noise is added in the amplitude given by solutions. The soliton is stable if its density profile remains unchanged throughout the simulations. Here, we provide some analysis of the variation of the size of LQDs depends on N. Assuming the LQDs have occupied many lattices, we can use to average the lattice potentials in Eqs. (3) and (4), hence, the GP equation in Eq. (2) becomes
The energy of the system is
According to Ref. [
36], Eqs. (8) and (9) can give rise to flat-top LQDs if the Thomas–Fermi (TF) approximation is adopted, and a constant peak density
can be produced. Hence, the total area of the LQDs can be estimated by
Assuming , where s is the area per lattice site and n is the number of the lattices occupied by the LQDs, Eq. (10) becomes
which indicates that the total number of sites in the LQDs increases as N increases.
In the next section, we will study the effect of the optical lattice potential on the stationary LQDs in detail. For convenience, we fix the value of the lattice constant in the numerical simulations. Hence, the free control parameters in the system are lattice modulation depth V0 and the total norm of the LQDs N.
3 Numerical results
3.1 Zero-vorticity LQDs
Even though Eq. (11) demonstrates that the total number of sites of the LQDs increase as N increases for the onsite-centered LQDs and offsite-centered LQDs, the amounts of growth in n are different. Figure 1 shows the sketch maps of the growth pattern of the first 4 steps for these two types of LQDs. For the onsite-centered LQDs, the 1st step of its pattern occupies one lattice site (i.e., n = 1) at the origin of the coordinates. The next step is the extension from the center to the two sides in the x- and y-directions (n = 5). In the 3rd step, it occupies the four corners, and it becomes a 9-site square. Then, it continues to expand to the two sides in x- and y-directions in the 4th step and n = 13. For the offsite-centered LQDs, because the center are not occupied by a lattice site, the 1st step is a 4-site square shape with four closest lattice sites situated around the origin of the coordinates. Then, it expands to the two sides in the x- and y-directions in the 2nd step, and n = 12. In the 3rd step, the offsite-centered LQDs become a 16-site square shape again by filling the 4 corners. Then, it becomes n = 24 by keeping the expansion to the two sides in x- and y-directions in the 4th step. It is interesting to note that the number of sites for the zero-vorticity onsite-centered LQDs are odd, while the numbers of sites for the zero-vorticity offsite-centered LQDs are even. Following the above description, it is convenient to use the number of sites, n, to characterize the LQDs in the following study.
The stationary solutions of the LQDs with different numbers of sites are carried out by numerically solving Eq. (2). The stabilities of the LQDs are identified by the direct simulation of Eq. (2) initialized with the solution by adding 1% random noise. Numerical studies found that the stability areas for the two types of LQDs, which are characterized by the number of sites, depend on total norm N and the modulation depth of the potential V0. Figures 2(a, b) display the stability areas of the onsite-centered and offsite-centered LQDs, respectively, in steps in the plane. According to Fig. 1, the number of sites for the onsite-centered LQDs are 1, 5, and 9, while the number of sites for the offsite-centered LQDs are 4, 12, and 16. Figures 2(a, b) show that these number as color stripes, which represent the stability areas of the LQDs for different numbers of sites, concentrated to the lower N area during the increase of . Those phenomena can be explained as follow: the increase in the modulation depth decreases the effective area per lattice site (i.e., s), and according to Eq. (11), resulting in a corresponding increase in the growth rate of n versus N. Moreover, the concentration of these color stripes gives rise to the overlap between them [see the light green areas in Figs. 2(a, b)]. These areas of overlap allow the coexistence of the different numbers of sites with equal norm N and lattice modulation depth V0.
Typical examples of the density patterns of the stable zero-vorticity onsite-centered and offsite-centered LQDs are shown in Fig. 3, which correspond to points “a, b, c, and d” in the stability areas in Figs. 2(a, b). The parameters are , , , and , respectively. Note that the LQDs in Figs. 3(a2, a3) and (b2, b3) are selected from the bistable areas, which allows the coexistence of different numbers of sites with equal norms and lattice modulation depths, see the points “b” and “d” in Figs. 2(a, b), respectively. It is worth noting that there are some other LQDs solutions, which are not symmetric to the origin of the coordinate are found outside the color stripe areas, i.e., the blank region. Typical examples of these types of LQDs are shown in Fig. 4, which correspond to points “e and f” in the blank areas in Figs. 2(a, b). As seen from the evolution figure [Figs. 4(a2, b2)], these types of LQDs are also stable. Obviously, these types of LQDs cannot be characterized by the expansion law in Fig. 1; these types will not be discussed in detail in the current paper.
Figure 2(c) displays the dependence of the chemical potential
μ and the total norm
N, for stable onsite-centered and offsite-centered LQDs, here, we fixed
. The results indicate that only the
curves for
n = 1 (onsite-centered LQDs) satisfy
when
, which is well known as the Vakhitov–Kolokolov (VK) criterion (the necessary stability condition for a soliton in the attractive background). However, when
, the
curves for the LQDs with all the numbers of sites satisfy
, which seems to violate the VK criterion. The similar results were previously reported in 1D model and the simulations have demonstrated that both soliton branches are stable in the CQ-nonlinear channel [
100]. While, in 2D model, which combines a checkerboard potential, alias the Kronig–Penney lattice, with the self-focusing cubic and self-defocusing quintic nonlinear terms, the branchs of each bistable solitons are stable against arbitrary perturbations [
101]. Next, we will provide the analysis to explain why the
curves for these LQDs can violate the VK criterion.
According to Eq. (8), the stationary solution in the vicinity of obeys the stationary GP equation as follows:
Here, we have applied the TF approximation in Eq. (12). According to Eq. (10), the total can be expressed as . Therefore, the chemical potential μ obeys
Hence,
From Eq. (14), when , i.e., , we can obtain
So, above analysis demonstrate the function for these LQDs can violate the VK criterion. In our simulations, we choose the lattice constant , so the area per lattice site , hence, , yields, . From Fig. 2(c), it can be seen that the numerical results () are basically in agreement with the theoretical prediction ().
3.2 Vortex LQDs with S = 1
Whether the stable vortex LQDs can be found in current systems is a nontrivial issue. Generally, a vortical mode must have a density pivot at its center. Hence, for the onsite-centered vortex LQDs, their center lattice site will be occupied by the pivot. For offsite-center vortex LQDs, because the density of their center is already zero, it is not necessary to provide a lattice site to the density pivot. Fig. 5 shows the sketch maps of the growth patterns of the first 4 steps for the two types of vortex LQDs. For the onsite-centered vortex LQDs, because the central lattice site is already occupied by the density pivot, the 1st step of its pattern occupies the 4 closest lattice sites (i.e., n = 4) at the origin of the coordinates. Then, it expands to n = 8, 12, and 20 in the next 3 steps. This process is similar to the zero-vorticity case starting from the 2nd step with the central lattice site being removed. For the offsite-centered vortex LQDs, because the density is zero at the center, the expansion law is the same as that in the zero-vorticity case in Fig. 1. Thus, we can see that the offsite-centered LQDs with zero-vorticity and vortex LQDs with S = 1 are heterogeneous, which means that they occupy the same lattices with the same density pattern, but have different amplitude and phase distribution. It is also interesting to find that the numbers of sites are even for both the onsite-centerred and offsite-centered types. In the following discussion, we will continue to use the number of sites to characterize the vortex LQDs.
Numerical results show that stable vortex LQDs with S = 1 exist in our systems. Similar to LQDs with zero-vorticity, we plot their stability areas with different colors in the () plane in Figs. 6(a, b). Similar to the discussion above regarding zero-vorticity, these color stripes concentrate with increasing modulation depth . Hence, the overlaps between them, which are labeled by the light green areas, also appear. Typical examples of the density patterns of the stable onsite-centered (a1–a3) and offsite-centered (c1–c3) vortex LQDs with S = 1 are shown in Fig. 7, which correspond to points “a, b, c, and d” in the stability areas in Figs. 6(a, b). The LQDs in (a2, a3) and (c2, c3) are selected from the bistable areas, which allows the coexistence of different numbers of sites with equal norms and lattice modulation depths, see the points “b” and “d” in Figs. 6(a, b) respectively. Figures. 7(b1–b3, d1–d3) show the corresponding phase patterns. Here, we fixed the lattice modulation depth . Outside the color areas, unstable vortex LQDs may be found. Typical examples of the evolution of the stable and unstable vortex LQDs are shown in Fig. 8, which correspond to points “a” and “e”, respectively, in the stability areas in Fig. 6(a).
Figure 6(c) displays the dependence of the chemical potential μ and the total norm N, for stable onsite-centered and offsite-centered vortex LQDs. Here we fixed . It is worth noting that the two types of LQDs with the same numbers of sites will have equal chemical potentials at the same norm N [see Fig. 6(c), the 4-site and 12-site onsite-centered and offsite-centered vortex LQDs, respectively]. This phenomenon indicates that at the same norm N, these two types of LQDs with the same numbers of sites are degenerate states. This phenomenon is different from the LQDs with zero-vorticity. Next, as with the zero-vorticity LQDs, the dependencies between the chemical potential μ and the total norm N, does not necessarily satisfy the VK criterion.
4 Conclusion
In this paper, we studied two-dimensional (2D) lattice quantum droplets (LQDs) trapped in 2D optical lattices. First, we demonstrated the possibility of creating stable zero-vorticity and vortex LQDs and then investigated the influence of the optical lattice potential on the LQDs. We found two types of stable LQDs: onsite-centered and offsite-centered LQDs. Furthermore, the stability areas of the two types of zero-vorticity LQDs and vortex QDs with S = 1 are given. Bistability characteristics are shown in a stable region diagram, which allows the coexistence of different numbers of sites with equal norms and lattice modulation depths. Then, we found that some other zero-vorticity LQDs are stable in the blank region. Different from the zero-vorticity LQDs, the μ–N relationship shows that the two types of vortex LQDs with the same number of sites are degenerated. An important point is that for stable LQDs with a fixed number of sites, the dependencies between the chemical potential μ and the total norm N, can violate the Vakhitov–Kolokolov (VK) criterion.
The present analysis can be extended in some directions. First, the current study is based only on square lattices, and we can extend it to other lattice structures, such as triangle lattices or graphene structures. The latter option may be able to relate the LQDs to topological phenomena. Further, for the vortices, it is worth considering whether hidden vortices and anisotropic vortices can be supported by the lattice. Finally, a challenging option is to seek stable vortex LQDs in the 3D configuration.