1 Introduction
Quantum control of atoms and molecules is essential for a broad range of research fields, from high-precision measurement to quantum information science [
1]. The recent realization of Bose–Einstein condensate (BEC) [
2-
4] in dilute atomic gases, for example, has led to a number of advances with implications well past the confines of traditional atomic, molecular and optical (AMO) physics [
5]. A particularly related achievement is
or quantum control of matter-wave reactions at ultracold temperature [
6]. Contrary to the classical Arrhenius law in collision-dominated chemistry, the tunneling-induced cold reactions can be actively initiated and then collectively enhanced in a highly-controlled manner. This non-Arrehenius feature has been identified in, i.e., the Bose-enhancement effect in creating cold molecules with bosonic or fermionic atoms by applying the magnetic Feshbach resonance (FR) [
7,
8] or the optical photoassociation (PA) [
9] technique. Cooperative many-body effects [
10] have also been extensively studied in superchemistry, such as the efficient creation of fermionic molecules from an atomic Bose–Fermi mixture [
11], the quantum-entangled pairs generation through three-body recombination [
12-
14] or dissociating the molecular condensate [
15], and the Efimov many-body bound-state resonance [
16-
18]. Most recently, two groups first reported their wonderful experiments on cold abstraction reaction [
19,
20] (with an atom–molecule mixture) or quantum conversion between homonuclear and heteronuclear molecules. Clearly, superchemistry of de Broglie waves is still in its golden age, and the purpose of this review is to introduce some new developments and their potential applications.
In the past ten years, the experiments have been focused on creating cold molecules via FR or PA technique, especially the simplest diatomic molecules, such as
6Li
2 [
21-
26],
7Li
2 [
27], Na
2 [
28],
40K
2 [
29,
30],
85Rb
2 [
31,
32],
87Rb
2 [
33-
37], Cs
2 [
38-
41], and their heteronuclear counterparts
6Li
7Li [
42,
43],
6Li
23Na [
44,
45],
6Li
40K [
46],
6Li
87Rb [
47,
48],
7Li
87Rb [
49],
7Li
133Cs [
50], NaCs [
51],
39K
85Rb [
52],
40K
87Rb [
53-
61],
85Rb
87Rb [
62],
85RbCs [
63-
66]. Thereby, superchemistry mainly refers to coherent atom–dimer conversion (
). Extensive works have been done for this simplest process, such as the generalized stimulated Raman adiabatic passage (STIRAP) technique [
67-
72] and the reactant diagnosis through quantum correlations of created molecules. In Section 2, we will show the quantum nature of superchemistry through a simple example, i.e., finite-number molecular formation.
Nevertheless, superchemistry certainly includes more complex couplings like
[
73-
76] or
,
[
77,
79], where a, d, g denote the atom, dimer, and trimer, respectively. In fact, the indirect evidence for three-body or four-body bound states has been observed, such as
6Li
3 [
74],
40K
3 [
75], Cs
3 [
16-
18],
87Rb
40K
6Li [
80], and
133Cs
4 [
81]. In view of their novel anisotropic properties [
82,
83], quantum control of triatomic molecule is of particular interest as it may lead to intriguing developments such as the realization of a triatomic molecular matter-wave amplifier [
84] or quantum computing with a trimer lattice [
58,
85,
86]. In Section 3, we will introduce the concept of atom–molecule dark state [
87-
92] and its applications in creating molecular trimer A
2B. An important result is that the creation of heteronuclear trimers can be significantly enhanced by constructive interference of two reaction channels leading to their formation.
The dissociation of cold molecules, i.e.,
87Rb
2 or
23Na
2 into bosonic atomic pairs (
) [
93,
94], turns out to be the matter-wave analog of the familiar parametric down-conversion process in quantum optics [
95-
99]. In contrast to this, the dissociation of bosonic molecules
40K
2 into fermionic atoms is governed by quantum many-body physics and closely related to the BEC–BCS crossover [
100-
103]. This process was demonstrated to be useful in precision measurement [
15] and in providing quantum-entangled sources [
99]. By considering coherent multichannel dissociation of bosonic trimer ABC, Moore and Vardi further showed the Bose-enhanced super-selectivity rule between different reaction channels [
104,
105]. The dependence of dissociation on the size or shape of the trapping vessel was also revealed [
106].
In Section 4, we will introduce coherent abstraction reaction or bimolecular reactive scattering
[
107,
108], where A, B, B
2, and AB denote either bosonic or fermionic atoms or dimers. This reaction is an important benchmark system in chemical physics. Its dynamics has received much attention in recent studies of reactive resonance or low-energy non-Born–Oppenheimer reactivity through a crossed-beam scattering method [
109,
110]. A particularly noteworthy contribution is the study by Shapiro and Brumer [
111-
113] of the coherent control of single-molecular PA or bimolecular collisions through interference of reactive pathways. Extending these considerations to the case of ultracold matter waves, we show that the coherent abstraction reaction can be realized efficiently and controlled in a PA pulse sequence [
114,
115] such that the intermediate states are dark states. An important characteristic of this process is that it is triggered by quantum noise, leading to large shot-to-shot quantum fluctuations that invalidate the use of the Gross-Pitaevskii equation (GPE) in the initial stages. That equation can be used only at later times when the product reactant channels become macroscopically occupied. This is somewhat similar to the dissociation reaction or various quantum-optics examples such as the laser [
116], optical and matter-wave super-radiance [
117,
118], and molecular matter-wave amplifier [
84], but in contrast to the molecular combination reaction [
119].
In realizing the collective reaction
, the basic idea is to first create weakly bound trimers
via an entrance-channel atom–dimer FR and then to dissociate them into a closed-channel bound dimer and atom via PA. This scheme, which is specific to quantum-degenerate matter waves, is different from a purely collision-induced reaction [
12] and from the nondegenerate single-pair dynamics of reactive scattering [
111-
113]. As such it represents a promising advance in the ongoing development of superchemistry (see the recent experiment about
[
20]). A key aspect of the coherent population trapping (CPT)scheme is of involving a trimer intermediate state which remains almost unpopulated throughout the conversion process. Such an atom–molecule dark state does not exist in other schemes that involve, e.g., an intermediate two-species atomic state. In Section 5, we will confirm the existence of CPT states by calculating the nonlinear adiabatic condition of cold reactions, including the synthesis and the abstraction reactions.
Superchemistry is not only an important new playground for exploring the quantum nature of degenerate matter waves, but also has some fascinating applications, like quantum simulations or logical gate based on cold molecules. In Section 6, we will introduce an interesting example of this kind, i.e., encoding (and then decoding) the optical information of a quantized PA light into (and then from) the atom–molecule dark state. This nonlinear quantum memory, exploiting slow-light propagation through chemical reaction (first PA and then photodissociation) instead of linear atomic transitions, has several advantages of, e.g., much slower group velocity with the same atomic population. For the atom-heteronuclear molecule dark state, one also can study the role of populations imbalance of two atomic species and even the formation of splitting molecular soliton-laser beams.
Up to now, almost all the studies have been confined within the scalar atomic reactants. With the rapid advances in creating and manipulating multi-component spinor condensates [
120,
121], the spin degrees of freedom of the polarized ultracold particles become accessible when a far-off-resonant optical trap is used to provide the confinement for all Zeeman states. The anharmonic spin oscillations under the influence of an external magnetic field can be well described by an effective nonrigid-pendulum model [
122], which were experimentally confirmed in an antiferromagnetic condensate of
23Na atoms [
123,
124]. It is thus fascinating to further study the role of PA in quantum spin dynamics or even the creation of spinor molecules.
In Section 7, we will demonstrate theoretically the optical control of atomic spin mixing and laser-induced phase transition in a spin-1 Bose gas. In the proposed method the optical fields induce virtual PA processes in the atoms, for example via a dark molecular state. This step, which can be intuitively coined a laser-catalyzed spin-exchange process (SEP), opens up an efficient and well-controlled optical channel for spin mixing. By tuning the strength ratio of these two channels of optical SEP and spin collisions, three different regimes are identified, i.e., going from the collision-dominated regime to the no-spin-mixing regime, and to the laser-induced antiferromagnetic regime, which is reminiscent of the prominent role of long-range dipole–dipole interaction (DDI) in a dipolar spin gas (by changing the ratio of spin collision and DDI).
In a very recent experiment, Kobayashi
observed the spin-selective formation of spinor molecules in ferromagnetic atoms
87Rb [
125]. We will show that, due to the interplay of atomic spin-dependent collisions and the optical PA, an effective three-body spin-exchange interaction can dominate the atom-molecule spin dynamics, leading to the creation of quantum-entangled spinor atom–molecule pairs. The antiferromagnetic instability and the role of nonzero magnetization in creating spinor molecules are also discussed.
Finally, in Section 8, we give our summary and conclusion of this review, together with some prospects about the next on the agenda of quantum superchemistry.
2 Finite-number atom–molecule conversion
2.1 Finite N (total atomic number)
By constructing an exact quantum dark state, Zhao
et al. in their recent work re-examined the atom–molecule conversion system with
-number
N of initial atoms [
73]. They showed that the particles’ population exhibit interesting quantum deviations from the mean-field approach (MFA) results, which turns out to be quite significant for the few-
N cases. Hence, the classical GPE completely breaks down in the quantum few-
N cases. The exact quantum solutions of atom–molecule dark state also allow one to study the higher-order matter-wave statistical properties. In the following, we focus on the exact quantum solutions of the atom-heteronuclear molecule dark state by considering the two-color PA process. We will show that the populations imbalance
of the two-species atoms also play an important role in this system [
126]. With large
, the exact quantum result is very
to the classical one even for few
N.
2.2 Finite (population imbalance)
Without any loss of generality, we take the Rabi frequency of pumping or dumping laser
to be real and positive whose phase factor can be absorbed by a global gauge transformation of the field operators [
127].
and
δ are the single- and two-photon detunings of the frequencies of two lasers, respectively. In order to compare with that of Ref. [
73], here we ignore the collisions of a dilute or FR tuned gas, a safe approximation for short molecular lifetime [
73,
91]. In the interaction picture, the Hamiltonian of this system can be written in the simplest level as (
):
where or is the bosonic annihilation or creation operator (). The standard MFA is valid if the number of particles is significantly large and then the operators can be replaced by the c-numbers or . Then, the mean-field dark state is computed,
with
and . Clearly, by tuning , the atoms can be converted into the ground-state molecules without any population in the excited state . This picture is also true for CPT state
From the eigenequation
The quantum dark state is then
with the normalization factor and the Fock state basis . By expanding the exponential operator, we have another form of the superposition state, i.e.,
The comparisons between the quantum and the MFA results about the populations of closed-channel molecules A2 (homonuclear) or AB (heteronuclear) are shown in Fig. 1, for (but with different values of N). In this case, as is expected, quantum effects are significant in the few-N situations and the conversion rate is always than the mean-field results, for both heteronuclear and the homonuclear cases. We note that the quantum deviations are always in creating heteronuclear molecules AB.
Figure 2(a) is the result for a small number but . Clearly, even for finite total number of two-species atoms, the mean-field conversion rate still can be remarkably close to the exact quantum results. This feature is impossible to be observed in creating homonuclear dimers. In Fig. 2(b), it also can be seen that for both large and small , the mean-field and exact quantum lines are almost overlapped ( for both cases). In fact, for large Na, this system is reduced to a linear one since the operator can be replaced by a c-number.
Now we consider the second-order correlations,
For
with large
N, the classical Poissonian distribution can be reached for both the homonuclear and the heteronuclear dimers [
73,
126,
128].
For the general case , we have
Figure 3(a) and (b) shows the numerical results for evolutions of quantum matter-wave correlations with a finite small number . We can observe that, by increasing the imbalance value , can be significantly increased and tends to the classical value . In contrast, the non-classical feature becomes more evident for the created molecules, i.e., . The most interesting result turns out to be that of , which first increases to some maximum value for
and then decreases to 0. This feature also can be seen in Fig. 3(c) for . Clearly, for and for .
The role of populations imbalance also can be observed by probing the atom–molecule quantum correlations. In the two limits of χ,
The distinction between and is obvious, since one tends to the classical value 1 but the other tends to a non-classical value relying on the initial atomic number. This feature, as numerically confirmed in Fig. 3(d), does exist both in the homonuclear case or in the heteronuclear (balanced) case with .
2.3 Adiabatic fidelity
The quantum solutions also allow us to study the full energy spectrum and the adiabatic fidelity [
129,
130] of the atom-heteronuclear molecule conversion. To see this point, we performed the simulations by choosing two Gaussian pulses (with width
T, centered at
,
)
Figure 4 shows the adiabatic fidelity between
and the instantaneous dark state
. In the ideal case, the fidelity should be close to 1. However, for
, the system departs from
even for finite number of atoms
N. This problem can be overcame either by choosing a larger detuning, i.e.
(see Fig. 4), or more interestingly, by choosing larger populations imbalance, e.g.,
,
(with a fixed value of
Nb). We note that larger total particles number
N (with a fixed value of
Nb) leads to improved adiabatic fidelity. This is in contrast to that of the homonuclear system (the adiabatic fidelity is worse for larger
N [
73]). Clearly, the parameter
provides an additional freedom to control quantum dark-state evolutions of the system.
3 Interfering for the better assembly
The combination of magnetic FR and optical PA techniques has recently been shown to be able to achieve the efficient and stable conversion of atoms into mole-cular dimers [
87]. In this Chapter, we demonstrate that this STIRAP method can in principle be extended to the generation of molecular trimer. An important new result is that the creation of
heteronuclear trimer can be significantly enhanced by the constructive interference of different quantum channels leading to their formation from atomic condensate.
3.1 Double-slit-like interference
The formation of heteronuclear trimers A
2B can be realized through two different paths that involve intermediate dimers A
2 (channel I, path AA) or AB (channel II, path AB), respectively. To set the stage we consider first the single-channel case I (or II), whereby AA (or AB) dimers formed via FR are photoassociated with an atom B (or A) to form the trimer A
2B. The essence of the idea is to minimize the occupation of intermediate dimers by exploiting an atom–molecule dark state that permits the direct association of atoms into trimers without the formation of a substantial dimer population in the process [
91]. The dynamics of the system can be described by the model Hamiltonian
where
and
or 2 for the case I or II. Denoting the strength of the atom-dimer coupling with detuning
δ by
, the Rabi frequency of the PA laser by
and its detuning by
, and the collision terms proportional to
describe
s-wave collisions between these species. The nonlinear bound–bound coupling between dimers and trimers is typically induced by a narrow–frequency, continuous-wave PA laser, for which the Franck–Condon factor can be calculated by resonant scattering theory [
114,
115,
131] and be tuned by laser pumping methods [
9,
132].
We assume in the following that the main features of the dynamics are adequately described by a mean-field analysis, , where n is the initial atomic density. In this limit, the system is described by the equations of motion ()
where
,
and the decay rate
γ accounts for the loss of untrapped dimers. To reduce these losses we exploit a CPT technique that relies on the existence of an approximate atom–molecule dark state. Such techniques are well known in the case of linear systems, where they permit the transfer of population from an initial to a final state via an intermediate state that remains unpopulated at all times. This is the basis for STIRAP, which achieves this goal via a so-called counter-intuitive sequence of pulses [
114,
115].
By using the steady-state ansatz
it is easily shown that under the generalized two-photon resonance condition
Eqs. (8) admit a steady-state solution with no dimer population,
where and . For the path AB, Eq. (10) remains the same, but with and , so that for the same external parameters.
One can show both numerically and also via an approximate analytical treatment that the increase in deviation from the optimal CPT values as a function of time is different for the two cases. To demonstrate this point we numerically simulate the creation of trimer A2B, including two-body collisions.
Figure 5 shows that results of numerical simulations that consider the channels AA and AB separately. In the specific example of the figure atom A is
41K and atom B is
87Rb, two atoms for which good scattering parameters are available [
133],
=
, and
with , . In units of , the parameters: , , , and the other collision parameters are taken as 0.0938 (in units of ). As expected, the two reaction channels lead to different dynamical behaviors.
We now proceed to demonstrate that when acting in concert, the two channels can yield a significantly larger conversion rate and approach the ideal CPT yield of 1/3, see Fig. 6. Here, the coexistence of the two channels provides considerable additional flexibility in approaching the ideal CPT value for trimer formation. Note however that this approach either requires an accidental coincidence of FRs for the dimers formation, or might be realizable by applying a magnetic field gradient [
134] across the coexisting (A, B) condensates.
Figure 6 plots the steady-state trimer number as a function of , as well as the parameter
(Note that there is no CPT solution for .) As the STIRAP PA pulses and are applied, and increase and if the ratio of their amplitudes remains constant the system evolves along a line of constant R. However, it is not obvious that this should still be the case in the presence of collisions. In fact, each of the individual paths leading to the formation of trimers is characterized by an increasing departure of the population transfer from the CPT solution as time evolves. This is where quantum interferences come into play: the freedom of choice of R, which is a unique feature of the two-channel scheme, provides us with additional flexibility in attempting to approach the ideal CPT value via the interference of the two paths.
We found numerically that
leads to a trimer production that most closely approaches the ideal CPT solution, and is significantly larger than in the single-channel situation of Fig. 5. This is illustrated in Fig. 7 for
and
. Note the insensitivity of trimer production to the detuning in that case. These results should be contrasted to Fig. 7(b), which shows the evolution of the trimer population in case
, again for
and
. Here, the trimer production is very significantly reduced, and depends strongly on the value of the detuning. Similar results have been obtained for the other values of
R and the other sets of collision parameters that we have considered, which does not depend on the details of the trimer potential function [
135].
3.2 Assembling trimer 87Rb40K6Li
Very recently, Taglieber
et al. realized experimentally for the first time a quantum-degenerate three-species Bose–Fermi–Fermi mixture
87Rb-
40K-
6Li [
80]. This provides a promising new platform for the study of creating ABC trimer as well as the investigation of Fermi–Fermi or Bose-Fermi mixtures within one sample [
76].
The purpose of this section is to show that, by starting from a
87Rb-
40K-
6Li mixture, one can exploit a constructive multi-path interference in the atom–molecule conversion. In particular, the triple-path case can be almost ideal and far more efficient than the single- or double-path cases. Also, the choice of the external fields needs to account for the initial atomic populations imbalance in order to keep the dimer states unpopulated, that is, to guarantee an (approximate) dark state. While the proposed scheme is experimentally challenging, recent progress in the manipulation of atom–dimer or dimer–dimer resonances [
64,
81-
83,
136] indicates that it may become possible in the not too distant future.
3.2.1 Interfering for the best
As illustrated in Fig. 8, there are three different paths that lead to the creation of the heteronuclear trimer ABC in a
87Rb-
40K-
6Li mixture via the FR-assisted PA method. They involve the intermediate fermionic dimers AB or AC or the bosonic dimer BC, respectively. The existence of CPT dark state makes it possible to eliminate the collision losses that would otherwise significantly reduce the conversion process. The energy density corresponding to the path-AB case is given in the Hartree approximation by [
137]
Here, , , δ, and are same as section 3.1, the indices stand for the atoms, dimers or trimers, respectively, and , with Mf () denoting the mass of the fermionic components. The terms proportional to describe the s-wave collisions between the species i and j, is the s-wave scattering length, and is the reduced mass . Note that there are no s-wave collisions between fermionic atoms of the same species, so that the kinetic energy dominates the intra-species interaction. Hence, it is a good approximation to consider only the kinetic energies for same-species fermions, but to assume that the collisions are the dominating terms for the bosons and for inter-species fermion-fermion interactions.
The ordinary mean-field approach [
138,
139] is suitable to treat systems with large numbers of condensed bosonic particles, but is of course inadequate for fermions. Here we follow the approach of Ref. [
137] by starting from the mean-field Lagrangian density [
140,
141] and using the Euler–Lagrange equations to derive mean-field dynamical equations. We then consider a single evolution equation for each particle species, noting that due to the different nature of the self-interaction terms, though, there are important differences between the mean-field dynamical equations for fermions and those for bosons. With these considerations in mind we introduce the mean-field Lagrange density
for the system, and substitute it into the Euler–Lagrange equations
This yields a set of coupled evolution equations for each species. For example the path-AB is described by the following equations of motion, with and n the initial particle density:
Here
, and the decay rate
γ is introduced phenomenologically to simulate the loss of dimers, based on the assumption that this decay dominates all other loss mechanisms, such as, e.g., non-resonant scattering. As already mentioned this decay can be minimized by exploiting the CPT dark state technique, which ideally permits the full transfer of the entrance-channel atoms to the closed-channel molecules while keeping the intermediate dimer state unpopulated at all times [
88].
In order to support our analysis we numerically solved Eqs. (16) by assuming that initially the atomic populations are the same and that there are no molecules present. Typical results are shown in Fig. 9. In that specific example, the external fields are
(
for the path AB). The collision parameters are chosen [
137] as
,
,
, and
,
,
,
. All other collision values are taken as zero due to the lack of good estimates in current experimental conditions. Figure 9(a) shows the creation of trimers ABC for
when considering only the single-path AB. We also carried out simulations for
and
, and the final conversion rate
was found to always exceed
in those cases for negative detunings (the maximum theoretical value is of course 0.33).
Figure 9(b) shows the conversion rate as the function of
δ for various ratios of the initial particle numbers, i.e.,
or
, respectively, illustrating the significant effect of any initial population
. We conclude the single-path part by pointing out that similar results can be found for the other paths AC and BC, with the
CPT state and the same two-photon resonance condition [
107,
108].
We now show that any two of the three single paths can be combined to achieve a significantly enhanced conversion rate, a result of constructive quantum interferences between these paths. As a concrete example, we consider the two paths AC and BC, for which we calculate the CPT value of the trimer population
We now introduce the ratio (with ) of the external fields of the two paths, and observe that the freedom of choice of R1 provides additional flexibility in attempting to approach the ideal CPT conditions via the constructive interference between these paths.
Figure 10(a) shows an example of a numerical simulation of the mean-field dynamics for and . It illustrates the significant enhancement in trimer production as compared to the single-path situation (for , the final conversion rates are 0.078 or 0.234 for the single- or double-path cases). We found a similar enhanced atom–trimer conversion for and when choosing . Note that is the optimal choice for the conditions of these simulations.
We finally turn to the triple-path formation of trimers. A point of particular importance is to determine the quantum interference of all three channels with multi-dark states (AB, AC and BC), so that an almost ideal conversion rate can be approached even for positive detunings.
Figure 11(a) plots the result of typical numerical simulations for , where
and . In contrast to the single- or double-path cases, the triple-path interference can lead to an almost ideal conversion rate, especially for . In fact, we can almost not distinguish the cases and in Fig. 11(a), both of which reach a final population of . This indicates a significant improvement even over the double-path situation. Figure 11(b) shows the final conversion rate as a function of R1 and R2 for .
3.2.2 Role of populations imbalance
Population imbalance often plays an important role in the physics of ultracold matter waves. For example, by starting from a two-spin-state mixture of ultracold fermionic atoms, the population imbalance can result in a superfluid to normal phase transition [
142]. In the following we show that an initial population imbalance can also significatly affect the dynamics of atom–molecule conversion. To this end we introduce parameters
P and
Q to characterize the initial atomic population imbalance as:
where are the atomic densities. Since the total particle number is conserved we have that
and from the steady-state conditions we obtain
The CPT solution for the general case is then
which can be reexpressed as:
Obviously, for , a property closely related to the fact that in that case the trimer conversion rate is dramatically improved in the double-path case for [see Fig. 10(b)] and in the triple-path case for .
In our earlier part on the creation of the trimer A
2B [
77,
78] we found that
leads to an optimal conversion rate. The present discussion clarifies the fact that this specific value is a result of the fact that our simulations assumed an initial ratio of 2 between atoms A and B. This value, quite different from the value of
found for equal initial populations, illustrates clearly the crucial role of the initial atomic population imbalance in any multi-dark state scheme of atom–molecule conversion.
3.3 Tetramer 133Cs4with dark state
We consider two different schemes for creating the molecular tetramers [
143]. Firstly, we study the bright-state scheme with intermediate dimer state A
2 (I):
In this case, a point of particular interests is that the atom–molecular CPT or dark state does
exist and the atom–tetramer conversion is unstable since the intermediated dimer state
formed by a magnetic FR
be kept unpopulated (see the recent experiment by Chin
et al. [
81]).
Figure 12 gives a specific example of such kind of numerical simulation by using the collision parameters of atomic 87Rb with the s-wave scattering length nm. We see that the nonzero populations of intermediate dimers are largely oscillated and thereby the atom–tetramer conversion is unstable for any detuning.
Now, we turn to the dark-state scheme with intermediate trimer state A3 (II):
Our purpose is to find the atom-molecule CPT dark state with zero occupation of intermediate trimers, through which more and efficient atom-tetramer conversion can be made possible. The experimental evidence of ER was already observed recently by Grimm
et al. in a cesium atomic BEC at temperatures ranging from
to
nK, for both large negative and small positive atomic scattering lengths [
18].
In the interaction picture the Heisenberg equations of motion of this system can be written as:
Here, , denote the strength of pumping and dumping fields, and γ denotes the loss of the dimers. By using the steady-state ansatz, it really supports a steady CPT solution:
under the the “two-photon” resonance condition
We emphasize that the “two-photon” resonance plays a key role in maintaining the atom–molecule CPT state. As Ling
et al. showed [
87], the CPT state technique can compensate the collisional mean-field shifts and thereby, contrary to the previous belief, the conversion needs not limited by the collisions.
By comparing the results in Figs. 12 and 13, we see that the bright-state scheme only leads to a small oscillating number of tetramers in very short time limits () for both and , which approaches zero in later times. However, in the dark-state scheme, large occupation of tetramers can be reached even for the unstable case of (); for the stable case of , an almost ideal CPT value can be approached.
We note that the evidence of molecular tetramer was recently observed via the dimer–dimer FR [
81] where the conversion efficiency is not very high and tends to rapidly decay. The present ER-aided CPT scheme may have potential advantages since more stable atom–tetramer conversion is possible by keeping the intermediate state unpopulated in the process.
Finally, the above method also can be steadily generalized to the assembly of fermionic tetramers in an atomic Bose–Fermi mixture by using the substitution [
137]:
for the fermionic components j in the equations of motion for the matter waves [with and Mj denoting the particle mass], provided that the s-wave collisions of fermionic particles can be ignored and only their kinetic energy is taken into account.
4 Quantum noise in abstraction reaction
This section extends the toolbox of superchemistry to the coherent abstraction reaction
. This reaction is an important benchmark system in chemical physics. Its dynamics has attracted much interest in recent studies of reactive resonance [
109,
110] or coherent control of PA through the interference of reactive pathways [
111-
113].
4.1 Short-time quantum dynamics
As Fig. 14 shows, the intermediate trimers AB
2 are created via FR, and then photodissociated into bound molecules AB and atoms B. This CPT scheme, which is specific to quantum-degenerate matter waves, is different from purely collision-induced reactive scattering [
12,
111-
113]. The Hamiltonian of this system is
The indices stand for bosonic atoms (A and B), dimers (B2 and AB) and trimer AB2. The terms proportional to describe interspecies -wave collisions with scattering length , being the reduced mass.
In the MFA, where n is the initial particle density, the Heisenberg equations of motion are then
Here,
,
, and we have introduced the phenomenological decay rate
to account for the loss of intermediate trimers, based on the assumption that this decay dominates all other loss mechanisms such as rogue photodissociation to noncondensate modes [
144,
145]. As already mentioned, our goal is to minimize that decay by using a STIRAP pulse sequence.
The initial condition is readily seen to result in
for all times. This indicates that the mean-field GP equations break down completely in studying the onset of this type of abstraction reaction. A similar situation has been previously encountered in a broad range of systems in quantum optics [
116], but also in coupled degenerate atomic and molecular systems such as the example in the matter-wave superradiance of Bose-condensed atoms [
84,
116-
118]. As in those situations, our stra-tegy here is to decompose the problem into an initial quantum-noise-dominated stage followed by a classical stage that arises once the product components have acquired a macroscopic population. The initial quantum evolution is treated in a linearized approach whose main purpose is to establish the statistical properties of the initial fields required for the classical stage [
84].
A simple physical picture of the initial stages of this system can be obtained when considering the limiting case where δ is the largest parameter in the system, . In the collisionless limit this gives
which amounts to adiabatically eliminating the intermediate trimer state. In this case the system is described by the effective Hamiltonian [
146]
where
and the various constants are
For short enough interaction times, we can treat the fields and classically, , and then neglect the term in Eq. (32) describing only the interactions between the modes and . This results in the linearization of the equations of motion for the remaining quantized matter-wave fields and , with a noise source ,
For simplicity we assume in the following that the correlations of the quantum noise operators appearing in Eq. (34) are markovian,
where and or b here and in the following. It is these noise operators that trigger the non-mean-field “spontaneous” evolution of the system from initial vacuum fluctuations.
It is interesting to observe that although the second factorial moments of the single modes and b are typical of chaotic fields, quantum entanglement within these two modes does exist, i.e.,
violating the classical Cauchy–Schwarz inequality [
116].
Similar equations of motion can be derived in case atoms A are bosonic and atoms B fermionic. The main difference in that case is in the commutation relations of the noise operators
. One finds that the vacuum-noise-triggered populations of principal modes are then [
15,
147]
a direct consequence of the Fermi statistics [
15,
147]. Being similar to the bosonic case, we also find
The fermionic dimer–atom correlations are of course also different from the bosonic case, specifically we have now , a signature of antibunching.
4.2 Creation of atom–molecule pairs
Rather than adopting a fully quantum treatment of, e.g., positive-
P representation technique [
119], we proceed in the following by solving the mean-field Eqs. (31) with stochastic classical seeds whose statistics are consistent with the results of the linearized, short-time quantum analysis [
84]. To be specific, using Eqs. (31) we compute
trajectories with randomly chosen initial seeds satisfying the short-time distribution.
Figure 15 shows the standard derivations around the average values of the particle populations,
with for and . The inset shows the fluctuating range about the mean populations, for and for bosonic atoms. The small seeds resulting from quantum vacuum noise are significantly amplified, increasing more rapidly than their deviations, before reaching a stationary value. For , however, no stable reaction is observed.
An important feature of coherent abstraction reaction is the existence of a CPT state [
77,
107], which permits the transfer of a population from an initial to a final state via an intermediate dark state. Specifically, by using the steady-state method described in Section 3, the CPT solution of this system is derived
Here, is introduced to define the initial ratio of the particles numbers. The condition yields a maximum dimer number
corresponding to a complete abstraction reaction for or the so-called “balanced case”.
We have numerically solved Eqs. (31) and the typical results are shown in Fig. 16. In this specific example atom A is 87Rb, atom B is 41K. For this bosonic system, stable bimolecular conversion is always possible for negative detunings, but the system can be unstable for positive detunings. The increasing departure of the product populations from the ideal CPT line is due to the fact that only an approximate adiabatic condition exists for the CPT state.
When considering a mixture of bosonic and fermionic atoms, the abstraction reaction results in the conversion of bosonic to fermionic molecules,
where
b (
) or
b (
) denotes bosonic or fermionic atoms (dimers). Ignoring
s-wave collisions between fermionic atoms of the same species and retaining only their dominant kinetic energy, and assuming further that collisions are the dominating term for the bosons [
137], we find that the mean-field dynamical equations are similar with some substitution, a consequence of the fact that we consider only the dominating kinetic energy term and ignore the
s-wave collisions between identical fermionic particles [
137].
Our numerical simulations of this case are summarized in Fig. 17 for the collision parameters , , , , , , and all other collision parameters equal to zero. These results show that the stable formation of dimers is possible for both positive and negative detunings [(a) or (b) ], initially with no particle populations imbalance.
In contrast to the purely bosonic case, the creation of fermion–fermion pairs is due to a statistics-independent cooperating many-body effect that has been previously recognized in the case of, e.g., matter-wave four-wave mixing [
148]. We also note that in a recent work Li
et al. [
26] used a similar atom–molecule dark-state technique to realize a laser-catalyzed conversion of fermionic to bosonic molecules:
with an ultrahigh conversion rate of 99.97
[
26].
4.3 Role of population imbalance
The initial population imbalance can also significantly affect the reaction dynamics. In Fig. 18, we see that the conversion rate has the maximum at a value somewhat larger than for both bosonic and fermionic cases. However, for bosonic atoms A and B, the final rates can be changed sharply with and rapidly approach zero for and ; in contrast, for fermionic atoms B, the conversion rate changes its shape more slowly with (even for , the occupation of the product is still in excess of 7%).
In order to estimate the upper limit on collisions, we can use the condition or
which determines the validity of the short-time approximation for the early quantum stage, to estimate the time over which the fluctuations take place. This upper time limit is of the order of
s for
and
. According to Cvitas
. [
83], typical low-temperature inelastic collision cross-sections are of the order of
, corresponding to reaction times of the order of
s for a typical condensate density of
cm
-3. From that estimate, it appears that the fluctuations do indeed dominate for short enough times. We also note that the collisional reaction time of 10
-3s corresponds to an almost complete noise-amplified conversion in Fig. 16. In that case the fluctuation-induced dynamics completely dominate the short-time behavior of the system. This feature, which is characteristic of a wide variety of collective abstraction reactions, may provide a useful means to produce reaction products that are difficult to obtain or have only poor yield when resulting from a purely collisional method.
5 Adiabatic condition in superchemistry
The standard adiabatic theorem in quantum mechanics is derived generally for a linear system with a sufficiently slowly changed Hamiltonian in comparison with typical level spacings, i.e.,
where
is the frequency of the transition between the instantaneous eigenstates
and
. Because of its fundamental importance in quantum theory and applications of quantum state control, the adiabatic theorem is actively studied under various conditions [
149,
150].
Recently, Pu
et al. derived an approximated adiabatic condition for atom–dimer conversion under collisionless limit [
88]. In their method, the deviations from the CPT evolution form a set of
differential equations, which is easily solved to obtain an adiabaticity parameter. Then, by taking account of the collisions [
90], Ling
et al. confirmed the validity of this method by achieving again the similar adiabatic condition. This Section will be devoted to introducing the nonlinear adiabatic condition and to compare the difference of atom–dimer and atom–trimer conversion [
89].
5.1 Synthesis of heteronuclear molecules
We first consider the synthesis of heteronuclear dimers. To compare with Pu
et al. [
88], here we also ignore the particle collisions with the two-photon resonance condition (
). The effective Hamiltonian of this system in the simplest level is
The indices are for atoms A, B and heteronuclear dimers in excited or ground states, respectively. The detuning is introduced to account for the difference between the frequencies of the pump laser and the transition .
To find the adiabaticity parameter of the system under study, we need to find the CPT state of the system. In the CPT state, it is easy to show that
where the index s stands for the steady state. Then the instantaneous CPT state vector can be written as:
where
and . For simplicity, here we take .
The existence of the CPT state does not insure that this state can be reached adiabatically, and thus we should adopt the perturbative expansion approach to linearize the nonlinear system. In order to see whether the CPT state is dynamically stable, we add a small fluctuation to the steady-state CPT solution and the state vector can be written as:
Here describes a small departure around the CPT state. Then the linearized equations can be written as:
where
The eigenvalues (eigenfrequencies) of matrix M can be then analytically found as
where . For , the corresponding eigenstates are
where
describes the normalization constants. It can easily be seen that
are all real and the form of
are the same with Pu
et al. [
88], except for a smaller value of
in comparison with the homonuclear case.
The deviation vector expanded by normal modes is
and thus from the Eq. (42) we have
Using the CPT solution given in Eqs. (40), we have
Then for the Goldstone zero modes , with
it is straightforward to calculate
with
which leads to a crucial result
This means that these resonant zero modes [
151] are not coupled with the dynamics of the system. For the other two modes
, we introduce the adaibaticity parameter of Pu
et al. [
88]
which denotes the population outside the dark state, and the final result is (for )
We see that, compared with the homonuclear case [
88], the only difference is the replacement
in the denominator, which means that the adiabatic condition for the heteronuclear system is more difficult to fulfill in the later evolution stage.
Now, we turn to see the adiabatic condition of coherent atom-heteronuclear trimer conversion. Our goal is to see whether the deviations from these CPT states not only remain insignificant, but also different for the two reaction paths I-II. To this end, we follow the above standard procedure to obtain the adiabaticity parameter as ()
where . This is the adiabatic condition for the path AA. Clearly, in the denominator here (instead of for a linear system) makes it more difficult to be fulfilled at the later stage.
For the different path AB, we have
where
. Though somewhat similar,
in the denominator here is different from that for the path AA. As a comparison, we can write this term as
, where
for the atom–dimer conversion case [
88], and
or 1 for the path AA or AB of the atom–trimer conversion.
Figure 19 plots the adiabatic evolutions of the atom-heteronuclear molecule conversion, where the molecular numbers have been converted into equivalent atom numbers so that the final level directly corresponds to the atom–molecule conversion efficiency:
(for dimers) or
(for trimers). In our simulations we use the same Gaussian pulses for the optical fields with the same parameters of Ref. [
88]
with , and . The initial populations are chosen as .
For a comparison, the atom-homonuclear dimer conversion efficiency is close to 80% in the collisionless limit [
88] or more than 85% with higher dump Rabi frequency (with the collisions) [
87,
90]. For the
87Rb atoms, a high transfer efficiency of up to 87% was achieved with molecular lifetime of about 1 s by Winkler
et al. [
152]. By ramping adiabatically over a magnetic FR at
G with a slow Feshbach ramp (
G/s), even up to 95% conversion efficiency was observed in a three-dimensional optical lattice due to the lattice shielding of the trapped molecules from collisions and thus the minimized inelastic decay by vibrational quenching [
153,
154].
However, for heteronuclear dimers, we have only about 70% population transfer in the collisionless limit (see Fig. 19). We note that by using an ultracold gas of 40 000
85Rb atoms and 300 000
87Rb atoms, Papp and Wieman achieved up to 25 000 heteronuclear molecules and thus the transfer rate 62.5% for the
85Rb atoms [
82,
83]. A lower rate can be estimated by considering other cases of initial population imbalance (but with identical trap frequencies [
155]). Similar experiments were also performed for the heteronuclear molecules of, e.g.,
39K-
85Rb (with a production rate of about
molecules/s) [
52,
156],
23Na-
133Cs (
NaCs per 10 000 pulses was obtained from
Na atoms at
μK and
Cs atoms at
μK) [
51], or
85Rb-
133Cs [
65].
Finally, we note that for the cases of heteronuclear trimers, the conversion efficiency is about 61% via the reaction path AA (I) or about 41% via the path AB (II), which is consistent with Ref. [
77]. Clearly, the chemical reaction paths have important impacts on the adiabatic evolutions of the atom–molecule conversion. These behaviors also can be seen in Fig. 20 for the evolution of the adiabaticity parameters. The transfer efficiency becomes lower from homonuclear dimers A
2 to heteronuclear dimers
, and then even lower for heteronuclear trimers (I-II) in the same conditions.
5.2 Abstraction reaction
For coherent abstraction reaction, the standard linearization procedure gives the following linearized equations for the probability amplitude derivation ,
where and
with . The eigenvalue of matrix can be easily found as:
With their corresponding normal modes, we can expand the derivation vector as in the previous section. The degenerate zero modes are not coupled by the dynamics in this system, i.e.,
by taking into account of
where is the normalized coefficient. Using , (for ) and
we can get
and
where
. This expression is different from that for the linear system [
88], for the later case
η in the denominator should be replaced by
, which is similar to the case of atom–dimer conversion [
88].
We remark that this scheme relies crucially on the capability to avoid rapid collisional quenching or the formation of an unstable atom–dimer sample. When energetically allowed, collision-induced reactions always occur at some rate, and we need to guarantee that the time scale over which quantum fluctuations dominate the dynamics is short enough, so that the dynamics of the system is not collision-dominated.
6 Chemical quantum memory
From the point of view of quantum information science, coherent two-color PA [
157-
159] can be taken as encoding/decoding the optical information into/from the atom–molecule dark state, indicating a hybrid device for quantum control of photons. In this Section we will show such a scenario is accessible by introducing a quantized associating light into the atom-heteronuclear molecule dark state [
160,
161], which also allows us to study the effects of initial populations imbalance on the optical storage process. In particular, we will compare the results for atom–molecule systems with that of the familiar atomic quantum memory scheme [
162]. For a given number of atoms, we find that the signal light is slowed more in the chemical system, indicating some advantages over atomic slow-light media. Hence, the chemical proposal, together with, e.g., a cascaded molecular transition, indicates a promising new device for optical storage, processing, and retrieval.
6.1 Slow-light photoassociation
As Fig. 21 illustrates, the initial ultracold bosonic two-species atomic condensates (with populations Na or Nb) are photoassociated into the excited molecular state by a quantized signal light, which is then dumped into the ground molecular state by another classical coupling light. The signal pulse is described by the dimensionless operator
where
L is the quantization length in the
z direction,
ν is the PA light frequency and
is the slowly varying amplitude. We focus on the role of coherent couplings of photons and matter waves by ignoring the collisions of a dilute or FR-tuned medium [
163]. This is a safe approximation for the short lifetime of associated dimers [
72,
91]. The operators of signal light and matter waves satisfy the commutation relations, respectively,
The dynamics of this system is described in the simplest level by the interaction Hamiltonian
is the Rabi frequency of the coupling field, and
is the photon-matter waves coupling coefficient with
being the transition-dipole moment of
transition by
[
162]. Without loss of generality, we assume that the signal field amplitude
and control field amplitude
are real whose phase factor can be absorbed by a global gauge transformation of the field operators [
87,
161]. Here, we first drop off the usual kinetic and the trapping terms by considering a uniform system and the effects due to these terms will be discussed later.
With the slowly varying amplitude approximation [
162], the propagation equation of the signal light can be written as:
Meanwhile, the evolutions of atomic field operators are described by the following Heisenberg equations,
where , , and denote the decay rates of corresponding matter-wave states. In order to obtain a closed-form signal-light propagation equation, it is a key step to study the evolutions of the following hybrid operators,
with the transversal decay rates and . These equations can be rewritten as:
The equations can be greatly simplified under the weak excitation approximation (WEA): the control field is much stronger than the signal light at all times and thus the density of signal photons can be taken as much less than that of atoms. This means that only a small ratio of atoms are converted into molecules, which is the case in current two-color PA experiment [
72,
91]. With the WEA at hand, after some algebra we find in the lowest non-vanishing order
Hence Eq. (61) can be rewritten as:
where is the population of atoms A or B, which can be assumed as constant in the WEA. Substituting Eq. (64) into Eq. (57) yields
Clearly, for a time-independent coupling field, we have a steady group velocity of the signal, and the temporal profile or the spectrum of the signal pulse remains unchanged during its slowing down process, just as in a three-level atomic ensemble [
162].
For a time-dependent coupling field, however, the right-hand side of Eq. (65) leads to an adiabatic Raman enhancement of the signal pulse
where is the group velocity of the signal light and θ is the mixing angle between light and matter-wave components, i.e., or
with
. Obviously, if the classical field is adiabatically turned off by rotating the mixing angle
θ for
, the signal light will be fully stopped within the medium or in the created atom–molecule dark state [
72,
91].
6.2 Quantum state transfer
The important feature of quantum state transfer can be observed through the form of the closed-channel molecular field, i.e.,
Obviously, for the initial stage (), we have a purely photonic state, i.e., or but when the coupling light is shut down adiabatically, the quantum state of the associating light is fully encoded into the created molecules via the mapping
For the atomic slow-light medium [
162], the group velocity of signal light is:
, i.e., being proportional to
, where
N can be regarded as the number of initial trapped atoms in the WEA; however, in our situation, this velocity is proportional to
(for
). Hence, with the atom–molecule dark state, the signal light can be much slowed down by starting from the same total number of atoms.
As Fig. 22 shows, the initial population imbalance of the atoms A, B (
) also plays a role in the optical storage process, and the optimal conversion is reached for the balanced case (
). In our calculations, the initial total atomic number is taken as
. In current experimental conditions [
164], the strength of the coupling field can be chosen as (in the unit of MHz)
which guarantees that the group velocity can be adiabatically reduced to zero in the photon-storage stage and then the signal light can be re-accelerated in the retrieval stage. The control field being similar to Eq. (70) is also used in the atomic slow-light medium [
162]. For the imbalanced case, e.g.,
as in the very recent experiment of creating polar molecules KRb [
52], some deviation from the optimized case can appear.
Figure 23 shows the different features of slow light propagation in four different kinds of matter-wave mediums: (i) the atomic ensemble, (ii)-(iii) the assembly of homonuclear or heteronuclear dimers [
87,
161,
165], and (iv) the assembly of heteronuclear trimer ABC [
79]). In addition, we see that by choosing a higher initial atomic population, the optical storage process can be significantly improved.
It is worth mentioning that in the above discussions we have ignored the decay of molecular states. However, it can be readily shown that, after including these decay terms, the group velocity of the signal light is still in the form of Eq. (70) but with the following substitution
Clearly, due to the decay terms, one may reach a
group velocity even when the classical field is turned off. For the typical parameters of the molecules KRb [
164], we can take
,
,
s
-1, and
The velocity limit can be estimated as
km
s
-1. In particular, for a sufficient state transfer, the PA time duration should satisfy
ms [
166,
167], which can be fulfilled in current experiments [
168-
170].
We also note that some optimized methods exist for a maximum efficiency of optical storage and retrieval, such as the recent works of Novikova
et al. by using an optimized signal pulse shape in an atomic medium [
171,
172]. For the present atom-molecule system, in order to avoid incoherent absorptive loss, the frequency components of the signal pulse must fit well with the slow-light spectral window, i.e.,
, where
ts is the temporal length of the signal pulse,
is optical depth of the medium. Thereby, to avoid “leakage” of the pulse outside the medium, the following condition should be fulfilled
This means that
vg must be small enough for the entire signal pulse to be spatially compressed into the medium, with also a large optical depth d. In contrast, by using a purely atomic medium, we have
[
171] and thus
[
172]. Obviously, for the same initial total atoms, the light storage using the atom-molecule dark state has some advantage over the atomic spin-wave scheme.
6.3 Molecular solitons
Now we show that, by taking into account the particle collisions in the quantum state transfer process, it is also possible to realize a molecular matter-wave soliton laser. To this end, we consider coherent atom–molecule conversion process which is described by the following total Hamiltonian
where , as in Eq. (56), denotes the coherent free-quasi-bound-bound transition, and describe the free motions and the particle collisions, respectively,
were
denotes the longitudinal external effective potential and one can choose
=
in the following derivation [
162],
mi is the particle mass,
denotes the
s-wave scattering collisions between the particles [
173]. Then the evolution of molecular matter-wave field is written as:
For simplicity, we consider an initially trapped atomic ensemble and also introduce the MFA by replacing the operators by the c-numbers, i.e., . Thereby, for the closed-channel molecules, i.e., with the mixing angle , we obtain the nonlinear mean-field Gross–Pitaevskii equation
where the effective potential
can also be moved by suitably tuning the value of
[
162]. For
, due to some balance between the repulsive molecular collisions and the molecular kinetic energy, the above well-known nonlinear equation can support a gray-soliton solution [
174,
175]
with . is chosen such that , the slowly-varying background function is
and z is the inside-trap position. In addition, the “grayness” parameter is
with the Bogoliubov sound speed [
176]
and the dark-soliton speed , being the central position of the molecular matter-wave soliton. Clearly, corresponds to a dark soliton with density depletion. As Fig. 24 shows, by applying two counter-propagating control fields, a second-order molecular grey soliton () starting from the same position () can split into two solitons propagating in opposite directions.
7 Quantum spinor reaction
7.1 Double-pendulum model: photoassociation in a dipolar spinor gas
The long-range and anisotropic dipole–dipole interaction (DDI) [
177] resulting from intrinsic or induced magnetic dipole moments can significantly affect the stability [
178] and dynamics of BEC and modify their excitation spectrum [
179,
180]. In this section we study the role of PA and magnetic DDI in the spin-mixing dynamics of an antiferromagnetic
23Na BEC.
Specifically, we consider a spinor gas of N atoms initially in the state , coupled to a molecular condensate by a PA field of Rabi frequency . The Hamiltonian of the system is where
where
(
) are the field annihilation operators of the spin-1 atom in the hyperfine state
α and
the corresponding operator of the molecule state,
is the trapping potential and assumed to be spin-independent,
is the Zeeman shift [
122],
is the spin-1 matrix [
181],
is a unit vector, and
m and
M are the atomic and molecular masses. The parameters appearing in the spin-exchange and the DDI Hamiltonians are
, and
where
are the
s-wave scattering lengths,
is the vacuum magnetic permeability,
is the Bohr magneton, and
is the Landé
g-factor. Finally,
is the effective Rabi frequency of the PA light of frequency
.
We describe the atomic system in a single-mode approximation (SMA) [
121-
124,
182]. It is known that the spatial degrees of freedom decouple from the spinor dynamics when the spin healing length is larger than the condensate size, and the SMA has been shown to be in good agreement with experiments [
121-
124,
182]. We then have
,
, where
is the spatial wave function of the condensate, and
or
are atomic or molecular annihilation operators, and the Hamiltonians
,
and
simplify to
where are the energies of the atomic and molecular free motion, and and cd denote the spin-exchange and the dipole–dipole interactions, respectively,
Here,
θ is the polar angle of the vector
, and
can be tuned by modifying the geometric shape of the condensate or the trap aspect ratio
κ [
101,
183].
Within a standard MFA we replace the operators , by corresponding c-numbers. Further introducing the slowly-varying variables
where
N is the initial number of atoms and
denotes the quadratic Zeeman effect [
122]. Scaling in addition the various coupling constants to
and
, and the time to
, we then arrive at the mean-field equations of motion, with the molecular losses
γ. Considering for illustration a Gaussian ansatz for the condensate wave function,
one finds
, where
is a monotonically increasing function of
κ that equals zero at
[
101,
183-
185]. Hence the presence of the DDI results in a situation where the atomic spin mixing can be varied continuously within the bounded range of
U. In particular, the dipolar spinor gas is of ferromagnetic for
; for
, however, it can be ferromagnetic (
) or even antiferromagnetic (
) [
101,
183-
185].
Expressing the amplitudes ai and b in terms of their real amplitudes and phases as and , it is possible to introduce two sets of conjugate variables (, α) and (), where and . Then, for the special case of zero magnetization, , we can get
where
and
where
is the detuning of the atom-molecule transition. These equations provide a coupled double-pendulum description of the dynamics of single-channel PA-tuned dipolar spinor gas [
186-
188].
Our double-pendulum model has some special cases: (i) for small values of
or
, it reduces to the single-pendulum dynamics of spin-1 atoms [
122]; (ii) in contrast, for
, the system is well approximated as a light-dominated single-pendulum model, with
; (iii) in the “resonant” case (
), we have
In particular, for the special case , which can be obtained only in the case , this yields an single-pendulum system with . This is to be contrasted to the case , which can occur only in the (ferromagnetic) case . In that case of , it indicates a complete interference leading to the disappearance of the pendulum-like dynamics of the system.
Clearly, the PA field can induce quite different optical responses, depending on the magnetic phase of the atomic system. This is confirmed by numerical calculations of the time dependence of the atomic level populations. As a specific example, we have used the parameters of 23Na atoms,
where
Å is the Bohr radius. Here we take
cm
-3 [
123,
124]. Then in our calculations
c2 is about
Hz, the time unit corresponds to
ms, and the unit of
,
δ or
is
Hz.
Figure 25 shows the population of the atomic state obtained by numerically solving the mean-field equation for the constructive () or destructive () interference cases, corresponding to and , respectively. In this example the atoms are prepared in the initial state
These two situations, or , differ drastically in that the population of the state first decreases or increases below or above the initial value , respectively. Also, the range of oscillations of atomic spin mixing is wide for , with ; in contrast, it is considerably narrower in the ferromagnetic domain, . (Note in particular the complete absence of oscillations for .) As such, they hint at the possibility of novel laser-based diagnostics of the very weak strength of the DDI.
Figure 26 further illustrates the effect of the optical field strength
on the atomic spin oscillations. Figure 26(a) shows the oscillation period of the spin-0 atomic state as a function of
and
for four values of
δ. For
, we observe a single-peak resonance in the atomic oscillations at a
optical Rabi frequency
[
122-
124]. It corresponds to the situation where the effective total energy of the system is just sufficient to bring them to their top position, with the period of oscillations becoming then infinite. Further increasing
for a fixed
δ leads to a decreased period. We have found numerically that the single-peak structure appears below the
value
.
We note that the experiment of Hamley
et al. [
189] also hints at the possibility of the coexistence of two PA channels for the same specific PA field. For example, the mixed-spin channel
and single-spin channel
corresponding to the
s-wave collision
are coupled to the
molecular state via PA.
7.2 Laser-catalyzed atomic spin mixing
Now, we show that the interplay of two channels, the spin-dependent collisions and the optical PA, provides a flexible tool for the control of atomic spin, including enhanced and inhibited spin oscillations, laser-induced ferromagnetic-to-antiferromagnetic transition, as well as coherent spin transfer triggered by quantum fluctuations. This method can be also extended to study, e.g., the optical control of domain formation and of spin textures in a spinor gas [
190].
Figure 27 illustrates the process under consideration, the dynamics of a spin-1 atomic condensate resulting from the virtual PA of two
atoms into a molecular state, followed by dissociation into a pair of
and
atoms. Accounting in addition for spin-dependent collisions between atoms, this system is described by the Hamiltonian [
191]
where denotes the spin-dependent collisions and refer to the controllable light-assisted interactions, i.e.,
The Rabi frequencies describe the strength of the photoassociation of atoms and dissociation into atoms, and is the detuning between the molecular and atomic states.
We first consider the adiabatic off-resonant regime by assuming that
is the largest parameter in the system. From
, we have
, and substitute this form into the Heisenberg equations of motion derived from the Hamiltonian [
192]. It is easily seen that the resulting equations can also be derived from the effective Hamiltonian
with
In addition to the familiar spin-dependent collisions, spin coupling now also results from laser couplings, resulting in the two-channel spin-exchange Hamiltonian
Here describes the combined effect of spin-dependent collisions and optical PA. Clearly, the effective spin-coupling strength can be negative or positive with suitable optical parameters, leading to significantly different spin dynamics. For convenience we introduce the scaled parameters , , and , where is the initial atomic density.
The mean-field evolution of the spin-0 atomic population
n0 is illustrated in Fig. 28 for several values of
and for the initial state
. The specific example of atoms
87Rb is considered here, with
and
[
193], where
is the Bohr radius. In our calculations, we assume the optical detuning
and
, which is reasonable for the adiabatic off-resonant case. The typical initial atomic density
corresponding to
Hz.
Significantly different regimes are reached by varying the optical detuning
: (i) In the collision-dominated regime
, the population of spin-0 atoms is always
than its initial value
. In this perturbed regime, the spin coupling is still ferromagnetic (
); (ii) For
, i.e.,
(for
) the two channels interfere destructively, leading to frozen or inhibited spin mixing; (iii) The sign of
can be reversed by tuning the laser fields, resulting in an effective antiferromagnetic regime
[
101].
By expressing the c-number amplitudes ai in terms of real amplitudes and phases, i.e., , the energy functional of this system can be derived as:
where q denotes the quadratic Zeeman effect, is the relative phase of the spin components and is the atomic magnetization. Figure 29 plots equal-energy contours in the phase space , for several values of for , and corresponding to the fixed magnetic field about mG.
Figure 30 also shows the two-photon resonant control of atomic spinor dynamics for (corresponding to 9700 Hz) and
with , . In contrast to the off-resonant spin oscillations, we have now a full transfer of the population from the initial state, say to coherent superposition of hyperfine states.
7.3 Creation of spinor molecules
In this section, we show a new regime of coherent reactive spin oscillations (RSO) or perhaps atom-molecule spin super-mixing. To set the stage, we first assume that the condensed atoms are initially prepared in the spin-0 state
[
125]. The spin-(
) atomic pair is created via spin-exchanged collisions, i.e.,
[
189]. With the PA lights, the spin-(-) atom can be associated with another spin-0 atom into the molecular excited state
, which is then dumped into the ground state
by a coupling light, i.e.,
[
125]. This
chain reaction leads to
indicating a spin-dependent three-body recombination or an atom-dimer pair formation from three spin-0 atoms.
By eliminating the intermediate state
[
192], we obtain the equations of motion of the system
where , , , , , and
Figure 31(a) shows the far-off resonance case for atom-molecule pair formation from the initially prepared spin-0 atoms, with the mean-field replacement . The resulting atom-molecule oscillations, which we term as RSO or spin super-mixing, can be controlled by the laser fields.
In order to observe coherent RSO, the PA strength should be chosen in a suitable regime to allow a competitive process between the spin-exchanged collisions and the atom-molecule conversion. In this regime, the population of spin-down atoms are kept essentially zero at all times. In fact, with the initial atomic state , the populations of spin-down atoms can be kept as zero under the condition . Figure 3(b) shows that, with this generalized STIRAP technique, the atom-molecule pair can be produced efficiently, corresponding to a high conversion rate in Fig. 31(b). Here, the state can be viewed as an atomic spin dark state, which guarantees quantum pair creation of atoms and molecules (). Note that the light strength should be chosen as , or , which yields MHz, and MHz.
With this condition, the first derivatives of the slowly varying amplitudes for spin-down atoms can be neglected, i.e.,
[
195-
197]. Then we obtain an effective interacting Hamiltonian
with
, indicating a laser-induced three-body spin-dependent recombination [
12,
13,
195,
196].
We note that very recently Kobayashi
. [
125] studied the two-color PA of the spinor atoms
87Rb and observed the molecular creation in the state
through spin-selective measurement (by associating two reactant atoms in the state
and
). In particular, only the populations of reactant atoms decreased and the other component
remains almost unchanged [
125], which is confirmed by our numerical calculations Fig. 31(c). Their experiment had two PA lights with the maximal power
W,
W and
MHz. For the typical situations [
91,
182,
198]
, this yields
MHz,
MHz, which is well beyond the RSO regime.
Within the standard MFA, the spatial wave function can be also written as
, where
and
represents the phase of the
-th Zeeman state [
199]. Then the spin-dependent three-body recombination can be described by a nonrigid pendulum model with the energy functional
. In contrast to the atomic spinor gas [
200,
201], it is possible to observe the dynamical instability or the domain structures for even anti-ferromagnetic RSO system. In order to see this, we consider an off-equilibrium state oscillation by changing the external magnetic field from nonzero to zero values [
200]. The condensate size is assumed to be much larger than the healing length
at least in one direction so that the instability-induced domains can appear. Then we calculate the criterion
where ) and .
Figure 32 shows the surfaces of
/
for ferromagnetic and anti-ferromagnetic cases. We note that for the purely atomic ensemble (
,
), there is a wide dynamically unstable region (see Ref. [
200]). In contrast, for our system, this region can be significantly reduced [
in Fig. 32(a)] by tuning the lasers. Even the essentially different feature can be seen for the anti-ferromagnetic case since no dynamical instability can exist for the purely atomic gas (
,
), but for our RSO regime, we obtain the similar instability behavior for
[see Fig. 32(b)]. Clearly, the dynamical stability is now determined by
instead of
.
Finally, we emphasize that the initial magnetization m also can greatly affect the spinor reaction. In fact, as Fig. 33 shows, with the CPT condition
for , the ground-state molecules can be produced efficiently with the conversion value . However, for , all spin components evolve into irregular oscillations. Clearly, both the PA light and the atomic magnetization have essential impacts on creating spinor molecules.
8 Conclusions
In summary, superchemistry or degenerate matter-wave reaction is going through extraordinary developments as a fascinating new research field in the quantum control of colds atoms and molecules. In the past few years, superchemistry has been extended from the simplest atom–dimer conversion to coherent assembly and manipulations of complex molecules, to the bimolecular or multi-molecular conversion [
19,
20,
107] (abstraction reaction), and to completely new kinds of reactions involving inherent quantum spin degrees of freedom. Many purely quantum effects have been identified in tunneling-dominated reaction of de Broglie waves, such as finite-number effect, quantum confinement effect [
106], interference or super-selectivity of different reaction channels [
104], vacuum-noise effect in triggering cold reaction [
107], optical enhancement or destruction of spin mixing [
191], and cavity-assisted molecular amplification [
202]. This has also led to some fascinating practical applications in, e.g., quantum information storage.
These pioneering works, together with rapid advances of current experimental techniques in making and probing cold molecules, indicate that quantum superchemistry is still in its golden age with encouraging developments in both theoretical and experimental aspects. In fact, more surprising discoveries are highly expected to be coming in the near future, e.g., optomechanics driven by PA light [
203], synthesis of chiral molecules [
204], gauge potential in atom–molecule conversion [
80], and quantum reactive control of cold plasmas [
205].
©Higher Education Press and Springer-Verlag Berlin Heidelberg 2010