1. Introduction
The ability to precisely control quantum systems is a prerequisite for developing technologies in the areas of quantum computation, simulation, and metrology. Even though the control over single-particle states is highly developed by today [
1,
2,
3], the requirements stemming from short decoherence time-scales are often hard to fulfill. Even more so, fast operations can have detrimental effects on quantum states, as possible imperfections in the control pulses can be difficult to compensate. To mitigate these problems, and to ensure high fidelity on short timescales, a number of techniques have been developed, such as optimal control algorithms [
4,
5,
6] and shortcuts to adiabaticity (STAs) [
7,
8,
9,
10,
11]. In this work we will focus on STAs, which are techniques designed to determine the driving parameters such that the system undergoes adiabatic evolution within a finite time, and which have been successfully employed in recent experiments with cold atoms [
12,
13,
14,
15,
16,
17]. While for single particles or within a mean-field approximation, the description of the exact evolution of the quantum state is tractable, extending such a treatment to interacting many-body systems poses complications due to their complexity. One solution is to use approximate variational techniques, and even though they are not exact, use these to design STA processes [
18,
19,
20]. In fact, it has recently been shown that such an approach can be used to control correlations in small systems [
21] and can serve as a good benchmark for the control of larger interacting systems.
In this work, we aim to move beyond mean-field and single-particle physics to control the dynamics of larger systems with short-range contact interactions. To achieve this, we take a first step by focusing on nontrivial few-body states, in particular, controlling the interactions in a bosonic two-component system confined to a harmonic trap. Such systems can exhibit complex dynamics arising from the interplay of intra- and inter-species interactions, leading, for example, to composite fermionization or phase separation [
22,
23,
24,
25]. To discuss the basic effects, we will focus on a paradigmatic realization of a two-component system, namely, two interacting ultracold atoms of species A, which interacts with a single ultracold atom of species B in a one-dimensional setting. In such a system, the interactions can be described by point-like potentials, and in ultracold atom experiments, the interaction strength can be changed by employing Feshbach [
26,
27] or confinement-induced resonances [
28]. In fact, individual tuning of the inter- and intra-species interactions allows one to explore driving the interactions of the A atoms in the presence of an impurity atom, driving the interaction between an impurity and the interacting A atoms, and also driving all interactions simultaneously. With this freedom, it is possible to explore driving the system through the phase separation transition, which can alter the ordering of the particles in the trap and, therefore, greatly affect the dynamics of the system. We will show that efficient STAs can be designed for the individual interactions based on a variational ansatz, and that these STAs can outperform a non-optimized interaction ramp for most timescales of the driven process.
In
Section 2, we introduce the few-body model we consider, and in
Section 3, we describe the variational method for designing STAs in this system. We begin in
Section 4 with the analysis of driving interactions between three identical bosons, while in
Section 5 and
Section 6, we investigate driving one of the interaction terms while the other is held fixed. These latter sections describe the effect phase separation has on the driven system and its dynamics. Finally, we conclude.
2. Model
We consider a one-dimensional system of three interacting bosons of mass
m, confined in a harmonic trap of frequency
, whose Hamiltonian is given by
At low temperatures, we can assume that the scattering between the particles is mostly two-body and of the s-wave form, allowing us to approximate the interaction part of the Hamiltonian with point-like pseudo-potentials as
Here, the interaction strength between two particles of species A is given by
, and the interaction strength between an A particle and the B particle is given by
. Both couplings are related to the respective 3D scattering lengths,
, via
, with the constant
C given by
[
28]. Here,
is the trap frequency in the transverse directions of a quasi-one-dimensional harmonic trap of width
, and one can see that control over the transverse trap frequency or the scattering length allows one to tune the interaction strengths. In the following, we will use harmonic oscillator units by rescaling all spatial coordinates with
, all interaction strengths in units of
, all energies in units of
, and time in units of
.
The Hamiltonian given in (
1) can be separated by introducing Jacobi coordinates
where
X and
Y are two relative coordinates describing the positions of the three particles with respect to each other, while
Z describes the system’s center-of-mass. The latter separates, and in these new coordinates, the Hamiltonian can be written as
, with
It is immediately clear that the center-of-mass part just describes a particle moving in a harmonic trap, for which the solutions are given by:
where
are the Hermite polynomials, and with energies
. The relative Hamiltonian can be interpreted as describing the effectively two-dimensional motion of a harmonically trapped particle in the presence of three narrow barriers arranged with a
angle between them, as depicted in
Figure 1a. Since the two A atoms are identical, the wave-function has to remain unchanged under a reflection across the
X coordinate; however, there is no constraint when swapping particle B with one of the A particles. Exact solutions exist for limiting cases of the interactions [
29,
30], while in general, this system can be solved effectively using exact diagonalization techniques [
24,
31,
32]. Indeed, for
, phase separation can be observed, whereby either the particles of species A are pushed to the edges of the trap, while particle B is confined in the trap center, or vice versa [
23,
32,
33,
34,
35]. Therefore, the arrangement of the atoms in the trap is non-trivial and will be strongly affected by any change in their inter- or intra-species interactions. It makes this an ideal system in which to study all regimes of composite few-body dynamics and to develop useful quantum control techniques.
In the following, we will concentrate on increasing the interaction strength in initially non-interacting and uncorrelated systems on time scales , which are approximately comparable to the trap period. As the center-of-mass contribution does not depend on the interaction, it will be unchanged during the interaction ramping process, and therefore, only the dynamics of the relative wave-function need to be considered.
For very slow ramps of the interaction (
), the dynamics can be considered to be adiabatic, and the energy of the state after the process is equal to the energy of the eigenstate at the final value of the interaction strength,
, i.e.,
. For faster ramps (
), the process can be non-quasi-static, resulting in excess energy in the system due to the out-of-equilibrium dynamics, with non-adiabatic energy
. We can then define irreversible work from this non-adiabatic energy as
which for adiabatic processes will vanish, while being finite for non-quasi-static processes [
21,
36]. It is therefore a useful quantity to characterize the efficiency of the interaction ramp.
In the following, we will describe two kinds of interaction ramps. The first will be a generic, non-optimized reference ramp, which we will use as a benchmark and which we parameterize as
This function satisfies the boundary conditions , , and , ensuring that the interaction ramp begins and ends smoothly in an effort to reduce untypical excitations. However, this assumption alone will not ensure that no irreversible dynamics are created during the ramping processes, and the pulse can therefore serve as a reference to an optimized interaction ramp derived from the STA approach. This comparison will be our main tool to quantify the success of the designed STA, which we will develop in the next section.
3. Shortcut to Adiabaticity
To find an STA, we use the method of inverse engineering, which can design interaction ramps
that fulfill the desired adiabatic evolution of the system
for any ramp time
. The success of the STA then depends entirely on how well the solutions to the time-dependent Hamiltonian,
, are known and whether they possess scale invariance [
37]. As our interaction ramp is not scale invariant and since exact forms of the solution are not known, one has to use approximate techniques [
19,
38,
39], and we therefore employ a variational approach with an ansatz that describes the evolution of the relative wave-function by an interpolation between the initial and the final state
Here, is a time-dependent normalization constant, while and are chirps that allow the wave-function to change its width. To ensure that the wave-function changes smoothly from the initial state to the target state , we choose as a 6th order polynomial satisfying the boundary conditions , and .
The next step in the process is to minimize the action of the effective Lagrangian [
18]
where
contains the trapping and the interaction potentials. This effective Lagrangian is minimized with respect to the variational parameters
,
, and
, and the resulting Euler–Lagrange equations give the evolution equations that will determine
and
and establish the time dependence of the two interaction strengths,
and
, given by
Here,
and
are the widths of the state in the
X and
Y directions, respectively, and their dynamics is determined by
Similarly, the kinetic energies in these directions are
and
, and the interaction energies are
and
. Using known solutions to
and
allows us to calculate these terms exactly (for example, in the limit of infinite repulsive interactions, accurate approximations are known [
29,
30]); otherwise, these integrals can be calculated numerically. Typical examples of these STA interaction ramps for a system of three identical particles are shown in
Figure 1b for two timescales
. When
is large, the STA is designed to quickly ramp the interaction at the end of the process, in contrast to the reference, which begins to slowly increase the interaction already at the beginning of the ramp. This difference is due to the optimization of the STA through the Lagrangian, which is designed taking into account the energy dependence on the interaction and is similar to that seen in smaller systems [
21]. For small
, the STA possesses large modulations as driving the system faster requires large changes in the energy to follow the adiabatic path.
4. Three Identical Particles
Assuming that the initial state is the ground state of the noninteracting system,
(see
Figure 2a), we investigate in the following the ramping of strong interactions between three identical particles, i.e.,
. In this case, the relative part of the wave-function will always possess
symmetry [
31,
40,
41] (see
Figure 2b–d), with the interactions leading to cusps in the density at
angles to each other, and with the cusp asymptotically reaching zero density in the Tonks–Girardeau limit of strong repulsive interactions (
) [
42,
43,
44].
To quantify the success of the interaction ramps, we compare the irreversible work
after the respective interaction ramps (see
Figure 2e). For longer ramp times,
, the system is driven slowly enough that it can be considered as evolving adiabatically, which results in a vanishing
and therefore, a high-fidelity process for any reasonable non-optimized reference ramp. However, for short ramp times,
, ramping to stronger interactions creates more irreversible dynamics as the system is driven further from its equilibrium, resulting in large
and therefore, low-fidelity final states. It is on these timescales that we see the advantages of using the STA as it outperforms the non-optimized reference ramp, possessing lower amounts of
for the different final interactions. The modulations visible in
for the STA are due to excitations of the system to high energy states that possess the same symmetry as the ground state. While the contribution of these excitations is small for long ramp times, when driving the system quickly the STA is unsuccessful in damping them due to its approximate form through the ansatz in Equation (
11). Indeed, divergence of
occurs for timescales
, when the STA ramp becomes negative at certain time intervals and destabilizes the system. This sets a limitation on the operation of our STA to times
.
While for ramps to weak interactions the STA and the reference give comparable results, the difference between them increases when driving to larger interactions (see inset of
Figure 2e). When using the STA, the final state is essentially reached with
for any final interaction; however, applying the reference ramp drives the system further from the target eigenstate with growing interactions. This is not surprising as driving quickly to an infinitely repulsive state results in a diverging energy expectation value [
45,
46]; however, in this case the STA allows us to drive the system significantly faster than the reference as the excitations are successfully suppressed.
Finally, we compare the structure of the three-body state through comparisons of the one-body density matrix (OBDM), whereby we examine the reduced state after tracing out two particles from the system
Here, is the OBDM of a particle of species A after tracing out the other A particle and the particle B, while is the OBDM of particle B after tracing out the two A particles. In the case when , both of these reduced states are equivalent; however, this is not necessarily true when , as the components will be distinguishable and the rotational symmetry of the ground will be broken.
In
Figure 3, we compare the OBDM after the STA and reference interaction ramps (at
) with that of the target OBDM. While ramps to weakly interacting states ((a,d)
and (b,e)
) yield exactly the same OBDM after either of the ramps, the results are different when driving to strong interactions ((c,f)
). Indeed, the OBDM after the STA is equivalent to the target OBDM; however, the OBDM after the reference is markedly different. Here it is instructive to compare the diagonal density (
) of the reference OBDM to the target OBDM, which indicates that it has a broader width. In fact, each particle localizes spatially when the interactions are strongly repulsive, resulting in three density modulations about the center of the trap; however, the reference interaction ramp has imparted large kinetic energy to the system, pushing the particles further from their equilibrium positions. In comparison, the STA has precisely modulated the interaction to ensure that any non-adiabatic energy is removed from the system by the end of the ramp, resulting in a final state that is an eigenstate of the Hamiltonian.
5. Driving in the Presence of Weak Fixed Interactions
Let us now consider that the inter- and intra-species interactions are different, such that we drive one interaction term while the other interaction term is held fixed at a low value. Then, due to the ability to tune both the inter- and intra-species interactions separately, one can consider two different setups. The first allows the tuning of the interactions between the A particles whilst in the presence of the impurity B atom, which we will refer to as system driving. At the same time, the inter-species interaction between the impurity and the two A atoms is fixed at
, such that the initial state at
possesses small cusps along the directions
(see
Figure 4a). Driving the interaction
between the A atoms will introduce a delta-function interaction potential that bisects the
X-axis and forces squeezing of the density from the
X to the
Y direction (see target states in panels (b) to (d) in
Figure 4).
The second setup allows switching on the interaction with an impurity atom in a weakly interacting two-body system, which we will refer to as impurity driving. For this, we consider the intra-species interaction to always be fixed at
, while the interaction with the B atom is initially
. The initial state therefore describes two weakly interacting A bosons, with the interaction bisecting the
X-axis of the relative part of the wave-function (see
Figure 4e). Driving the interactions
between the impurity and the A atoms will introduce delta-function interaction potentials along
and force the density to be squeezed in the
X direction when the fixed interaction between the A particles is weaker than the impurity interactions (see target states in panels (g) and (h) in
Figure 4).
We assess the effect of the system driving dynamics through the irreversible work as shown in
Figure 5a. One can clearly see that for ramp times
, the STA dynamics lead to the ground state irregardless of the strength of the final interaction
, while the reference ramp leads to increasing
for stronger interactions on the same time scale (see inset in panel (a)). However, for times
, the STA becomes less effective, similar to the case of the simultaneous driving of
and
discussed in
Section 4 and for the results found in [
21].
For the case of driving the impurity, we show
in
Figure 5b. The results here are subtly different to the previous case as the STA seemingly gives less of an advantage over the reference ramp when the interactions are weak,
. In fact, adiabaticity (when
) is reached for similar timescales for both the reference and the STA, and only when driving to large interactions,
, the STA performs significantly better (see inset in panel (b)).
The fact that driving the system and driving the impurity produce qualitatively different results with regards to the creation of irreversible work can be explained by the need for a spatial re-organization of the particles during the interaction ramp, which can be observed in the structure of the OBDMs for the system and the impurity (see
Figure 6). Firstly, driving the system interactions increases the repulsion between the two A particles, resulting in the appearance of two maxima in the diagonal density for the
A particles (see panels (b-1,c-1)), while the OBDM of the impurity B atom is relatively unchanged due to the weak inter-species interaction
(see panels (b-2,c-2)). Similar to
Section 4, the STA successfully reaches the target eigenstate, while the reference forces the two A atoms further apart due to its inefficient driving (see (e-1,f-1)). In comparison, driving the impurity interaction forces the B atom to split and occupy the trap edges, being in a superposition of the left and right sides of the trap (see panels (h-2,i-2)). The strong inter-species interaction squeezes the density of the A atoms as they sit in the middle of the trap surrounded by the B particle (panels (h-1,i-1)). In this case, the splitting of the impurity atom is a manifestation of phase separation in microscopic systems as the lighter species moves to the trap edges [
23,
32,
34,
35]. Driving to a phase separated state is known to lead to large irreversible dynamics as the particles oscillate between the miscible and immiscible regimes [
47,
48,
49]. Therefore, the STA is less effective at driving the system quickly; however, it can still outperform the non-optimized reference ramp (see panels (k) and (l)), bringing the final state closer to the target eigenstate.
6. Driving in the Presence of Strong Fixed Interactions
Let us next consider the driving of one interaction term while the other interaction term is held fixed at a large value, which we can again separate into two different setups. Driving the system interactions
when the impurity interaction is fixed at
, and driving the impurity interactions
when the system interactions are fixed at
. Similar to the previous section, the presence of strong interactions in this system can result in the formation of different structural phases as the individual interaction terms are ramped. For instance, in the case of system driving, a strong interaction with the impurity at
forces the relative wave-function density to align along the
axis while being suppressed along the
axis (see
Figure 7a). Increasing the interactions among the A atoms then drives them apart along the
X direction (see panels (b) and (c)) and forces the density to redistribute to the previously unoccupied sectors between dips caused by the
interactions. At
, the orientation of the maximum density is rotated by
from the initial state and lies along the
axis (see panel (d)). The inverse of this process is observed when driving the impurity interaction in the presence of strong
(see panels (e–h)). This reorganization of the particle density highlights the emergence of different phase-separated regimes in the three-particle system. Specifically, for fixed impurity interactions
and for a final system interaction of
, the A particles are surrounded by the B particle (in the configuration BAB), while for
the orientation is flipped, with the B particle surrounded by the A particles (in the configuration ABA). Similarly, for fixed system interaction
and
, the B particle is surrounded by the A particles (ABA), and when
, the A particles are surrounded by the B particle (BAB). Transitioning between the different phase-separated regimes will become important when driving the dynamics.
In
Figure 8, we show the irreversible work after driving the system interactions (panel (a)) and the impurity interactions (panel (b)). In both cases and for driving to weak final interactions,
or 5, the STA outperforms the reference and the target state is reached on timescales
. This is also confirmed by examining the OBDM at
(see
Figure 9a,b and g,h), where the states after the STA closely match the target OBDM, while the states after the reference ramp (panels (d,e) and (j,k)) exhibit a slight mismatch at
. Indeed, since the strong fixed interactions dominate the structure of the three-particle state, the positions of the particles relative to each other are not significantly altered, which allows for efficient ramping of weak time-dependent interactions.
However, driving to stronger interactions,
, in both setups creates large amounts of irreversibility, irregardless of using the STA or the reference (see
Figure 8), with the STA producing less
for ramp durations
. The insets of
Figure 8 show
at
as a function of the final interaction strengths
and
, and while the rate of increase for the STA is less than that of the reference, it is still significant. The reason for the failure of the different interaction ramps to reach the target state is the need for particles to spatially reorganize when the intra- and inter-species interactions become comparable (i.e., when
during system driving and
during impurity driving). For example, when driving the system interactions, the relative wave-function of the initial state is highly localized along the
X direction due to the presence of the strong impurity interactions at
(see
Figure 7a), resulting in a phase-separated state in the configuration BAB. Ramping to weak intra-species interactions (
) preserves the phase separation as the impurity interaction still dominates the system (see
Figure 9a,b,d,e). Increasing the intra-species interaction further to
requires the ground state to regain the
symmetry discussed in
Section 4; however, this is difficult to achieve dynamically due to the presence of the large fixed inter-species interactions,
, which will suppress tunneling of the density across the delta-function barriers at
. In the three particle coordinates, this corresponds to the need for the particles to tunnel through each other [
50,
51]; however, they cannot reorganize on this short timescale due to the low tunneling rates. Therefore, for the final state of
, the particles will remain in the phase-separated configuration of the initial state, BAB, instead of reaching the configuration of the target state, ABA (see
Figure 9, panels (c) and (f)). The same result is observed when driving the impurity interactions (see
Figure 9, panels (i) and (l)) but with the opposite configuration of the particles.
Since these final states are not eigenstates, their energy exceeds that of the target ground state, resulting in finite
(see
Figure 8) even for long ramp times (
), when we would assume the driving is slow enough to be close to adiabatic. Moreover, one can see that for
, the
of the reference ramp is lower than that of the STA and that it decreases at a faster rate, suggesting that the higher energy states the reference ramp drives the system through prevent it from being fully trapped in the local energy minimum given by the wrong particle ordering. To understand this in more detail, we show in
Figure 10 the average kinetic energy
, trap potential energy
, and interaction energy
at the end of the different interaction ramps. One can immediately see that for the STA (black lines), where the ramp is specifically designed to minimize excitations, only small oscillations of the energy components for any
exist, while in comparison, the reference ramp is not optimized to reduce excitations and therefore large oscillations are present. Furthermore, the kinetic and trap energies, on average, exceed that of the respective target states, whereas the interaction energy is less than that of the target state. This is consistent with the fact that both ramps are unable to achieve the correct ordering of the particles, therefore leaving them in an excited state that is more extended and therefore possesses slightly reduced interaction energies. It is also interesting to note that for long times (
), the reference ramp gives slightly more correct energies, which again is due to it exciting higher lying states that help parts of the wave-function to not be trapped in the wrong state and encourages inter-particle tunneling.