1 Introduction
The investigation of Bose–Einstein condensates (BECs) has led to a wide spread interest in nonlinear quantum dynamics during the past few decades [
1-
5]. In the context of BECs, the nonlinearity stems from atomic collisions. This leads to Gross–Pitaevskii type of nonlinear Schrödinger equations, which is widely used for the study of BECs [
3]. Due to the atomic field nonlinearity, several interesting nonlinear phenomena have been revealed in BECs, such as soliton [
6], vortex [
7], self-trapping [
8], and measure synchronization [
9].
Bosonic Josephson junction (BJJ) is one of the simplest set-ups in exploring nonlinear quantum dynamics for BECs, which can be created by trapping BECs in a double well potential. Smerzi
et al. found that the system of a single species BECs trapped in a double well potential, so called a single species BJJ, can be mapped into a classical inverted pendulum system. They predicted the self-trapping phenomenon and discussed the dynamical phase transition behavior from Josephson oscillation to self-trapping with the phase-plane portrait [
8]. Later on, self-trapping had been investigated extensively, both theoretically and experimentally [
10-
18].
The theoretical interests have been extended to a two-species BJJ [
19]; Josephson oscillations in a two-species BJJ have been addressed in a number of studies [
20-
22]. The self-trapping has also been discussed [
23], and many novel tunneling effects have been found, such as the symmetry restoring phase [
24] and mixed Rabi–Josephson oscillations [
25].
The nonlinear dynamics in a two-species BJJ are much more complex compared with the case of a single species BJJ because there are two different kinds of nonlinear terms appearing, namely, the intraspecies interaction and interspecies interaction. In our previous works [
9,
26], we exploited measure synchronization induced by enhanced interspecies interaction for a two-species BJJ based on phase space analysis. Here we generalize our discussions to investigate various dynamical phase transitions induced by interspecies interactions.
This paper is organized as follows. A brief description of a two-species BJJ model is given in Section 2. The stationary solutions of semiclassical theory for the two-species BJJ model is present in Section 3. In Section 4, we discuss different dynamical phase transitions induced by enhanced interspecies interactions. Section 5 reveals the dynamical mechanism behind these dynamical phase transitions. Conclusions are given in Section 6.
2 The model
A two-species BJJ can be experimentally realized by trapping a binary mixture of BECs in a symmetric double well potential. By assuming that the interaction among the atoms is sufficiently weak, with the well-known two-mode approximation [
8,
27,
28], the Hamiltonian in the second quantization reads
where
and
are the creation (annihilation) operators for the localized modes in the left
or right
well of different species (
or
), respectively.
and
stand for the particle numbers of species
and
.
denote the effective interaction of atomic collisions between the same kind of species, and between different species, respectively, with
as the indication of species. The interactions can be either repulsive or attractive, depending on the sign of
u. Either
ua,
ub and
can be tuned by Feshbach resonance technique, as demonstrated by experiments in the mixture of
87Rb and
85Rb [
29].
is the effective Rabi frequency describing the coupling between the two wells.
Under the semi-classical limit [
8,
27,
28], the dynamics of the system can be described by a classical Hamiltonian
, in which
is the collective state of the N-particle system with
. Here,
and
(
j =
L or
R) are four
c numbers which correspond to the probability amplitudes of the two different species of atoms in the two wells. The conservation of particle numbers of each species requires:
,
.
By introducing the relative population difference:
,
, and the relative phase difference
, we obtain the mean-field Hamiltonian [
19],
It is composed of Hamiltonian ()
and the coupling term
is well known as the mean field Hamiltonian for a single-species BJJ [
8,
27];
HI is the coupling term. Thus, a two-species BJJ is similar to two coupled single-species BJJs. It is clear that the coupling exists due to the presence of the interspecies interaction
.
The equations of motion can be derived by computing: with , , we obtain
The tunneling dynamics of a two-species BJJ can be described with Eqs. (5)–(8). Here, the standard fourth-order Runge–Kutta method is employed to obtain numerical solutions. Following our previous methodology [
26], the dynamics are presented by projecting the state of the full system onto the individual phase spaces, i.e., we study the trajectories (
,
) in the phase plane
and the trajectories (
) in the phase plane
.
The tunneling dynamics for a single-species BJJ have been extensively studied [
8,
13-
18,
27,
28], and the studies of
based on the semi-classical theory have shown that there are two distinct dynamic regimes in the phase-plane portrait [
8,
18,
27]: the Josephson oscillation regime and the self-trapping regime with a strong non-linearity (
). For simplicity, 0-phase stands for the Josephson oscillation, in which
oscillates around
, and
π-phase stands for the self-trapping regime, in which
oscillates around
. To show the coupled dynamical behavior of
, we then categorize the initial configurations of a two-species BJJ into two broad categories: i) 0-phase mode, ii)
π-phase mode.
3 Stationary solutions: Fixed points
Let us first discuss the fixed point solutions of the classical Hamiltonian for a two-species BJJ. The fixed points can be derived from Eqs. (5)–(8), and we have
here or , with or b.
For , the fixed point solutions are
here , with or b.
For , the fixed point solutions are
here , with , or b.
For , the analytic solutions cannot be obtained, and we need to solve it numerically.
One can divide the above fixed point solutions into four different categories: i) symmetrical (“S”): ; ii) anti-symmetrical (“An”): ; iii) isotropic (“I”): , for the trivial case; iv) asymmetrical (“As”): . We can also divide the fixed point solutions based on the value of being chosen, with denoting the 0-phase mode, and denoting the π-phase mode. There are four different phase modes under this classification, including .
Now let us discuss the number changes of the fixed points in parameter space and their stability. In order to analyze stability of fixed points, the infinitesimal variables and are introduced by considering , , with and satisfying Eqs. (9)–(10). From Eqs. (5)–(8), the linearized equations of motion for are derived,
Here,
, , , .
The eigenvalues of Ω correspond to the square of eigenfrequencies of the linearized dynamical system, which are
with , , , .
The fixed points are dynamically stable as long as the corresponding eigenfrequencies and are both real. In a similar way, we can derive the stability analysis results for fixed points in , , and phase modes.
The stability analysis results for the fixed points are plotted in Fig. 1, where Figs. 1(a) and (d) are for phase mode. Figures 1(b) and (e) are for phase mode. Figures 1(c) and (f) are for phase mode. The result for mode is the same as that for phase mode because we are considering two identical systems, and the two systems a and b are commutable.
For repulsive interspecies interactions (), here stands for the region with only 1 stable “I”. stands for region with 1 unstable “I” and 2 stable “An”. for the region with 1 unstable “I”, 2 stable “S”, and 2 unstable “An”. for region with 1 unstable “I”, 2 stable “S”, 2 stable “An”, and 4 unstable “As”. For attractive interspecies interactions (), there is 1 stable “I” in the region ; there are 1 unstable “I” and 2 stable “S” in the region ; 1 unstable “I”, 2 stable “An”, and 2 unstable “S” in the region ; there are 1 unstable “I”, 2 stable “An”, 2 stable “S”, and 4 unstable “As” in the region .
4 Dynamical phase transitions for 0- and -phase mode
As shown in our previous works [
9,
26], the phase-space domains can be used to illustrate global dynamical changes of the system. Using the same methodology, we investigate dynamical phase transitions in the two-species BJJ system for
and
phase modes.
4.1 0-phase mode
Figures 2 shows the evolution process with increasing repulsive interspecies interactions, with the initial configuration (
Sa,
Sb,
,
) being (0.2, 0.4, 0, 0). We draw orbits on the (
,
) phase plane of the two subsystems, with
, and
b. For
, as shown in Fig. 2(a), these initial conditions correspond to two different quasiperiodic orbits, which cover closed curves in green and black. For
, the two closed curves are replaced with two smooth quasi-periodic trajectories wandering in two distinctive phase-space domains, being ring shaped. As
increases, the two phase-space domains first evolve such that the external border of the inner domain approaches the internal border of the outer domain, and the two approach each other until
, at which point the two approaching boundaries are almost in contact with each other [Fig. 2(b)]. Then, a sudden change occurs when
increases further, as shown in Fig. 2(c). The two formally well-separated phase-space domains merge and cover the phase-space domains with an identical invariant measure [
30]. This dynamical phase transition of the two phase-space domains marks the transition to measure synchronization [
26]. For
[Fig. 2(d)], the system keeps in MS states. However, by continually increasing interspecies interaction up to
[Fig. 2(e)], another dynamical phase transition of the system is characterized, with phase-space domains shifting into two orbits which lie symmetric with respect to
. As shown in Fig. 2(f), when
, the evolution orbits of the system indeed lie symmetric with respect to
,
. The new configuration correspond to a novel symmetry breaking state, which is self-trapped, with a non-zero averaging population imbalance in the 0-phase mode. This dynamical change marks the dynamical phase transition from Josephson oscillation to self-trapping.
Figures 3(a)–(f) show the evolution process with increasing strength of attractive interspecies interactions in the 0-phase mode, with initial configuration (Sa, Sb, , ) being (0.2, 0.4, 0, 0). Start with Fig. 3(a), where we plot the orbits for each species with . As decreases, at first, we characterize MS transition occurring at [see Fig. 3(c)]. However, with interspecies interaction strength increasing up to , as shown in the Fig. 3(e), another dynamical phase transition is characterized. Similar to the case of repulsive interspecies interactions in the 0-phase mode, this second dynamical change also marks the dynamical phase transition from Josephson oscillation to self-trapping, albeit being localized in the phase space picture compared with the nonlocalized case above.
Summarizing the above results, with increasing repulsive interspecies interaction, besides MS, we find that another dynamical phase transition happens for the 0-phase mode at
. It corresponds to a phase transition from Josephson oscillation to self-trapped states, which we also called nonlocal MS transition [
31]. By increasing attractive interspecies interaction strength, besides the usual MS transition, we find that the second dynamical phase transition occurs at
. It also leads to self-trapped states, nonetheless, to be localized.
4.2 π-phase mode
In the π phase mode, the dynamical changes are much more complicated. Figure 4 shows the case of the evolution scenario for repulsive interspecies interactions. The initial configurations (Sa, Sb, , ) are set to be (0.2, 0.4, π, π). With , two closed curves are shown [see Fig. 4(a)]. By increasing , the two closed curves are replaced by two distinctive phase-space domains, with a tendency that the outer boundary of the inner domain and inner boundary of the outer domain come close to each other [see Figs. 4(b)–(d)]. However, with interspecies interaction increasing up to , a phase transition of the system happens [see Fig. 4(e)] and the dynamical phase evolution of the system shifts from the separated phase-space domains into overlapped phase-space domains. The two phase-space domains cover the same acreage, and the system reaches the measure synchronization. As we keep increasing , the system remains in MS [see Fig. 4(f) for ].
Figure 5 shows the case of the evolution scenario for attractive interspecies interactions in the π phase mode, with initial configuration (Sa, Sb, , ) being (0.2, 0.4, π, π). There we find the usual MS scenario in the first place; as increases, the two separate phase-space regions approach each other until reaches the critical strength [Fig. 5(c)]. However, by further increasing the interspecies interaction strength, we find MS breakout with the emergence of chaos after reaches ; then, as further increases, a new dynamical phase transition appears after the system crosses this chaotic regime. Now the two phase-space domains suddenly separate from each other, with the original inner domain on top of the other. See Fig. 5(e) with . This corresponds to an interesting physical change; two species initially trapped in the same well are separated and are trapped in different wells when the attractive interspecies interaction strength exceeds a critical value. After this sudden change, by further increasing up to [Fig. 5(f)], the nonlocal MS will be reached, with the phase-space domains of each species lying symmetric with respect to and covering the same acreage in phase space.
Summarizing the above results, for the π-phase mode with repulsive interspecies interaction, there is only one dynamical phase transition being characterized, the MS transition at . However, for the π-phase mode with attractive interspecies interaction, we find that three dynamical phase transitions exist; there are two MS transitions and another counter-intuitive phase separation.
4.3 Nonlocalized π-phase mode
For the
π-phase mode, there exists a nonlocalized
π-phase mode [
26]. As such, with initial conditions (
,
,
,
) = (
,
π, 0.4,
π), we have found new coherent evolutions. At
, these initial conditions also correspond to two closed curves, but with one curve on top of the other [Fig. 6(a)].
As the strength of repulsive interspecies interaction increases, the phase-space domains of the two species become more comparable in acreage until reaches a critical value ; a sudden change then occurs, as shown in Fig. 6(c), and the two phase-space domains now have the same acreage. The nonlocal MS is being reached. However, by further increasing the interspecies interaction strength, we find nonlocal MS breakout with the emergence of chaos after reaches ; then, as further increases, a new dynamical phase transition appears after the system crosses this chaotic regime. Now the two phase-space domains suddenly move to the same side of the axis, being localized. See Fig. 6(e) with . This corresponds to an interesting physical change; two species initially trapped in different wells are separated and trapped mostly in the same well when the repulsive interspecies interaction strength grows larger than a critical value. After this sudden change, by further increasing up to [Fig. 6(f)], the usual MS will be reached, with the phase-space domains of each species covering the same acreage in phase space.
As the strength of attractive interspecies interactions increases, we find that there exists nonlocal MS transition. The evolution scenario is shown in Fig. 7. Interestingly, we note that this scenario has many features in common with the scenario shown in Figs. 4(a)–(f). One major difference is the structure of the phase-space domains; one structure goes from top to bottom, whereas the other structure is embedded. This result can be understood by analyzing Eqs. (5)–(8). If we set Sa and Sb to have opposite signs and let also have a value with an opposite sign, the coupling term HI does not change and neither Ha nor Hb changes. The two different initial conditions with opposite signs for the interspecies interactions correspond to the same Hamiltonian and consequently have the same dynamic evolution. This argument is also valid for the case of repulsive interspecies interaction in nonlocal π-phase mode in correspondence with Fig. 5.
Summarizing the above results, by increasing repulsive interspecies interactions, besides MS transitions, we find another counter-intuitive dynamical phase transition behavior: the merging of two separate phase domains with increasing repulsive interaction. By increasing attractive interspecies interactions, however, only one dynamical phase transition occurs, the nonlocalized MS transition.
5 Bifurcations in 0 and π phase mode
In this section, we explore the mechanism of dynamical phase transitions in a two-species BJJ. Since we have learned that separatrix crossing is the dynamical mechanism behind various MS transitions [
26], we will be concentrating on dynamical phase transitions other than MS transitions. Figures 8(a) and (b) show the bifurcation scenarios of the 0 phase mode for repulsive and attractive interspecies interactions, respectively. Further, Figs. 8(c) and (d) show the bifurcation scenarios for the
π phase mode for repulsive and attractive interspecies interactions, respectively.
Figure 8(a) shows the bifurcation diagram for 0-phase modes with repulsive interspecies interactions. Overall, we see that by increasing , the red dotted-line transforms into black dotted-line, and there appear two more red dotted-curves. The red dots mark the stable fixed points, while the black dots mark the unstable fixed points. With , there is one stable fixed point “I”; at , one reaches the bifurcation point. With , two more “An” fixed points emerge. This is a typical supercritical pitchfork bifurcation scenario. A stable fixed point bifurcates into two new stable fixed points while the original becomes unstable. This naturally explains why there will be a dynamical phase transition of Josephson oscillation to self-trapped states.
Figure 8(b) shows that supercritical pitchfork bifurcation also occurs for the case of attractive interspecies interactions. With , there is one stable fixed point “I”; at , one reaches the bifurcation point. With , there are two “S” fixed points that emerge beside the original “I” fixed point. Overall, one observes that the red dotted-line (stable) transforms into black dotted-line (unstable), and there appear two more red dotted-curves (stable). In another word, one stable “I” fixed point transforms into one unstable “I” fixed point with the appearance of two new stable “S” fixed points.
The bifurcation diagram for the π-phase modes are much more complicated, albeit we can have a simplified bifurcation diagram as shown in lower panel of Fig. 8, with Fig. 8(c) for repulsive interspecies interaction, and Fig. 8(d) for attractive interspecies interaction.
For repulsive interspecies interactions (), starting with , the “An” fixed points are stable, while the “I” fixed point is unstable. That is the reason why we can also have nonlocal π phase mode in the first place. For , we notice that “An” fixed points are not always stable with increasing . It becomes unstable with . This instability leads to the breakdown of nonlocal MS states. As a result, chaos emerges as shown in Fig. 6(d). In addition, the “S” fixed points are the only fixed points that are stable with [see Fig. 1(b)], so we end up with the localized π phase mode with continually increasing, as shown in Fig. 6(e).
For π-phase modes with increasing attractive interspecies interactions (), we are in a similar situation as described above. For , the “S” fixed points are stable along with stable “An” fixed points, while the “I” fixed point is unstable. Thus we can also have localized π phase mode with [Fig. 5(a)]. However, we notice that “S” fixed points are not always stable with . On the other hand, the “An” fixed points are always stable with , and “S” fixed points will become unstable with . This instability leads to the breakdown of the initial localized MS states. As a result, chaos emerges as shown in Fig. 5(d). In addition, the “An” fixed points will become the only stable points with [see Fig. 1(e)]. Thus, we end up with the nonlocal π phase mode, as shown in Fig. 5(e).
6 Conclusion
To summarize, dynamical phase transitions in a two-species BJJ have been systematically studied. In the 0-phase mode, similar to the single-species BJJ system, we find that the two-species BJJ system also experiences dynamical phase transition from Josephson oscillation to self-trapping, which is induced by the enhanced nonlinear interaction
. We further calculate the dynamical transition point for self-trapping, and find that the transition point is determined by the intrinsic parameters of the system and is fully independent of the exact initial conditions of the corresponding phase mode. This is different compared with the single-species BJJ case, for which it depends on the initial conditions [
18].
Furthermore, in π-phase mode, we find two very counter-intuitive dynamical phase transitions. In the localized π-phase mode, we have characterized a phase separation behavior induced by increasing attractive interspecies interactions. On the contrary, in the nonlocal π-phase mode, a merging of two well-separated phase-space domains induced by increasing repulsive interspecies interaction has been characterized.
Finally, we reveal the mechanism behind all these dynamical phase transitions we have found. It is shown that various bifurcations scenarios can naturally explain the occurrence of these intriguing dynamical phase transitions.
With the experimental realization of bosonic Josephson junctions, it is expected that the intriguing phenomena we have characterized in phase space will be found in near future. A simple verification can be made by measuring the population imbalance for the two different species, and by focusing on the S axis of the phase space, we can get a glimpse of the phase space dynamics, i.e., the phase separation behavior in localized π-phase mode corresponds to an almost sudden sign change in population imbalance for one of the species. In addition, the interspecies interactions can be tuned by employing the Feshbash resonance technique. These are well within the reach of experiment toolboxes.
Higher Education Press and Springer-Verlag Berlin Heidelberg 2017