Shortcuts To Adiabaticity: Concepts, Methods, and Applications
Shortcuts To Adiabaticity: Concepts, Methods, and Applications
D. Guéry-Odelin
Laboratoire de Collisions Agrégats Réactivité,
CNRS UMR 5589, IRSAMC,
Université de Toulouse (UPS),
118 Route de Narbonne,
31062 Toulouse CEDEX 4,
France
E. Torrontegui
Instituto de Fı́sica Fundamental IFF-CSIC,
Calle Serrano 113b, 28006 Madrid,
Spain
Shortcuts to adiabaticity (STA) are fast routes to the final results of slow, adiabatic
changes of the controlling parameters of a system. The shortcuts are designed by a
set of analytical and numerical methods suitable for different systems and conditions.
A motivation to apply STA methods to quantum systems is to manipulate them on
timescales shorter than decoherence times. Thus shortcuts to adiabaticity have become
instrumental in preparing and driving internal and motional states in atomic, molecu-
lar, and solid-state physics. Applications range from information transfer and processing
based on gates or analog paradigms, to interferometry and metrology. The multiplicity
of STA paths for the controlling parameters may be used to enhance robustness ver-
sus noise and perturbations, or to optimize relevant variables. Since adiabaticity is a
widespread phenomenon, STA methods also extended beyond the quantum world, to
optical devices, classical mechanical systems, and statistical physics. Shortcuts to adi-
abaticity combine well with other concepts and techniques, in particular with optimal
control theory, and pose fundamental scientific and engineering questions such as finding
speed limits, quantifying the third law, or determining process energy costs and efficien-
cies. We review concepts, methods and applications of shortcuts to adiabaticity and
outline promising prospects, as well as open questions and challenges ahead.
cranes or optical waveguide devices and atomic inter- gate among them, and encourage the invention of novel
nal states have proved fruitful. The link between Lewis- more e”cient or goal-adapted approaches. A number of
Riesenfeld invariants and Lax pairs is another unexpected techniques that fit naturally into the definition of STA
example. but have not been usually tagged as STA will be also
The development of STA methods and applications has mentioned to promote transfer of ideas. Examples of this
been quite rapid since Chen et al. (2010b), where the ex- are the Derivative Removal of Adiabatic Gate (DRAG)
pression “shortcuts to adiabaticity” was coined. Prece- and Weak AnHarmonicity With Average Hamiltonian
dents before 2010 exist where STA concepts had been (WAHWAH) approaches to implement fast pulses free
applied (Couvert et al., 2008; Emmanouilidou et al., from spurious transitions in superconducting qubits
2000; Masuda and Nakamura, 2010; Motzoi et al., 2009; (Motzoi et al., 2009; Schutjens et al., 2013).
Muga et al., 2009; Rezek et al., 2009; Salamon et al.,
2009; Schmiedl et al., 2009; Unanyan et al., 1997). In Terminology. Unsurprisingly, the various approaches
the post-2010 period, the early work of Demirplak and to STA have been described and used with inconsistent
Rice (Demirplak and Rice, 2003, 2005, 2008), and Berry terminologies by di!erent groups and communities.
(2009) on “counterdiabatic (CD) driving” has been par- Indeed the rapid growth of STA-related work and
ticularly influential, as well as methodologies such as “in- its extension across many disciplines has brought up
verse engineering”, “invariants”, “scaling laws”, “fast- di!erent uses for the same words (“superadiabaticity”
forward”, or “local adiabatic” methods. To add fur- and “fast forward” are clear examples of polysemic
ther flexibility to this already rich scenario of approaches, terms), and di!erent expressions for the same concept
some methods provide in general a multiplicity of control or method (for example “transitionless quantum driv-
protocols. Moreover, STA methods relate synergistically ing” and “counterdiabatic approach”). This review is
to or overlap partially with other control methods. In also intended to clarify some commonly found uses or
particular STA blend well with Optimal Control Theory expressions, making explicit our preference when the
(OCT), decoherence-free subspaces (DFS) (Wu et al., polysemy may lead to confusion.
2017e), linear response theory (Acconcia et al., 2015), or
perturbative and variational schemes (see Sec. II.H and Scope and related reviews. We intend the review to be
Sec. II.D). There is in summary a dense network of di!er- didactical for the non-initiated but also comprehensive
ent approaches and STA protocols available, frequently so that the experts in the di!erent subfields may find
hybridized. a good starting point for exploring other STA-related
Some of the basic STA techniques rely on specific for- areas. Several recent reviews on partial aspects or over-
malisms (invariants and scaling, CD driving, or fast- lapping topics are useful companions: Torrontegui et al.
forward) that, within specific domains, can be related to (2013a) is the previous most comprehensive review on
each other and be made potentially equivalent because the subject, but the number of new applications in
of underlying common structures. For example, a par- previously unexplored fields, experiments, and theoret-
ticular protocol to speed up the transport of a particle ical results since its publication clearly surpasses the
by defining a trap path, may be found as the result of work reviewed there. We shall mostly pay attention
“invariant-based engineering”, “fast-forward”, or “local- to the work done after Torrontegui et al. (2013a),
CD” approaches. This convergence for specific opera- but for presenting the key concepts some overlap is
tions and methods might be misleading because it does allowed. Work on the counterdiabatic method has been
not extend to all systems and circumstances. No single reviewed recently in Kolodrubetz et al. (2017) with
all-inclusive theory exists for all STA, and each of the emphasis on geometric aspects and classical-quantum
major methodologies carries di!erent limitations, di!er- relations. For the approaches to speed up adiabatic
ent construction recipes, and di!erent natural applica- computing see Albash and Lidar (2018) and Takahashi
tion domains. A widespread misconception is to identify (2019). For a review on STA to control quantum
“STA” with one particular approach, often CD driving, critical dynamics see del Campo and Sengupta (2015).
and even with one particular protocol within one ap- See also Menchon-Enrich et al. (2016) about spatial
proach. We shall indeed pay due attention to unifying adiabatic passage and Vitanov et al. (2017) about
concepts and connections among the STA formalisms, Stimulated Raman adiabatic passage (STIRAP), a tech-
which are of course useful and worth stressing, but at nique that has been often sped up with STA. Finally,
the same time it is hard to overemphasize that the diver- Masuda and Rice (2016) review the counterdiabatic and
sity of approaches is a powerful asset of the shortcuts to fast-forward methods focusing on applications to poly-
adiabaticity that explains their versatility. atomic molecules and Bose-Einstein condensates. Also,
New hybrid, or approximate methods are being a Focus issue of New Journal of Physics on Shortcuts to
created as we write and more will be devised to adapt to Adiabaticity provides a landscape of current tendencies
diverse needs and systems. The review is also intended (del Campo and Kim, 2019).
to map and characterize the options, help users to navi-
5
Structure. The review is organized into “Methods” of methods dealing with detailed dynamics beyond mean
STA in Sec. II and “Applications” from Sec. III to VII. values is given in Sec. II.A.3, after the two examples.
We address applications of STA to quantum science and
technology in Section III. This includes the main physical
platforms and the quantum system is mainly considered
as a closed quantum system. The connections between 1. Quantum transport
STA and quantum thermodynamic concepts, a topic be-
tween closed and open quantum systems, are reviewed in Finding the motion of a harmonic trap to transport
Sec. IV. STA and open quantum systems is the topic of a quantum particle so that it starts in the ground state
Sec. V. Sections VI and VII deal with results and pecu- and ends up in the ground state of the displaced potential
liarities of two fields that also o!er a promising arena for amounts to solving inversely a classical Newton equation
practical applications: optics in Section VI and classical (Schmiedl et al., 2009; Torrontegui et al., 2011). The
systems in Section VII. equation of motion of the particle position x inside the
We have tried to keep acronyms to a minimum but potential reads
some terms (among the most prominent: shortcuts to
adiabaticity, STA; or counterdiabatic, CD) appear so ẍ + ω02 x = ω02 x0 (t), (1)
many times that the use of the acronym is well justified.
Other acronyms are already of widespread use, such as where ω0 is the angular frequency of the harmonic trap,
OCT for Optical Control Theory. To facilitate reading, x0 (t) the instantaneous position of its center, and the
the full list of acronyms is provided in Appendix A. As for dots represent, here and in the following, time deriva-
notation, an e!ort towards consistency has been made, tives. Equation (1) describes a forced oscillator driven
so the symbols often di!er from the ones in the original by the time-dependent force F (t) = mω02 x0 (t). We can
papers. Beware of possible multiple uses of some symbols interpolate the trajectory x(t) between the initial posi-
(constants in particular). The context and text should tion of the particle and the desired final position d. In
help to avoid any confusion. addition, to ensure that the transport ends up at the
lowest energy state, one needs to cancel out the first and
second derivatives at the initial, t = 0, and final time
II. METHODS tf (Torrontegui et al., 2011). A simple polynomial inter-
polation of fifth degree can account for such boundary
A. Overview of inverse engineering approaches conditions (Torrontegui et al., 2011),
2. Spin manipulation conditions the functions |ψj (t)# at initial and final time
are usually chosen as the eigenstates of the corresponding
A similar approach can be used for designing the mag- Hamiltonians, but there is freedom to interpolate them,
netic field components to induce a given trajectory of the and therefore H(t), in between.
mean value of a spin 1/2 S(t) on the Bloch sphere (Berry, Several approaches depend on di!erent ways to choose
2009), the orthogonal basis functions |ψj (t)#: (a) in the counter-
diabatic driving approach they are instantaneous eigen-
1
B(t) = B0 (t)S(t) + S(t) × ∂t S(t), (3) states of a reference Hamiltonian H0 (t); (b) in invariant-
ε
based engineering, they are eigenstates of the invariant
where ε is the gyromagnetic ratio and B0 (t) any time- of an assumed Hamiltonian form; (c) more generally they
dependent function. This solution is found by inverse can be just convenient functions. In particular they can
engineering of the precession equation for the mean value be parameterized so that H(t) obeys certain constraints,
of the spin, such as making zero undesired terms or matrix elements.
Note that (a), (b), and (c) are in a certain sense equiv-
∂t S(t) = εB(t) × S(t). (4) alent, as they can be reformulated in each other’s lan-
guage, and they all rely on Eq. (6). For example, (b)
In practice, we usually define the initial and target state
or (c) do not explicitly need an H0 (t), and (a) or (c)
and build up the solution by interpolation as before. Such
do not explicitly need the invariants, but H0 (t) or the
an approach has been used for instance to manipulate a
invariants could be & found if needed. In particular, any
spin by defining the time evolution of the spherical an-
linear combination cj |ψj (t)#$ψj (t)| with constant co-
gle of the spin on the Bloch sphere (Vitanov and Shore,
e”cients cj is by construction an invariant of motion of
2015; Zhang et al., 2017a). The very same problem
H(t). Inverse engineering may also be based on par-
can be reformulated using other formalisms such as
tial information, such as e.g., using a single function
the Madelung representation (Zhang et al., 2017a) that
of the set, and imposing some additional condition on
yields an equation of motion that can be readily re-
the Hamiltonian, for example that the potential is lo-
versed. Other formulations of the inverse engineer-
cal (i.e., diagonal) and real in coordinate space. These
ing approach can be made by a proper shaping of
conditions are the essence of the (streamlined) version
the evolution operator (Jing et al., 2013; Kang et al.,
(Torrontegui et al., 2012c) of the fast-forward approach
2016c) or by time rescaling (Bernardo, 2019). This
(Masuda and Nakamura, 2008, 2010). The following ex-
method has been applied to two (Zhang et al., 2017a),
plores all these approaches in more detail.
three (Kang et al., 2016c, 2017b), and four level systems
(Li et al., 2018c). Inverse engineering has also been used
for open quantum systems (Impens and Guéry-Odelin,
B. Counterdiabatic driving
2017; Jing et al., 2013).
The basic idea of counterdiabatic driving is to add
3. Beyond mean values auxiliary interactions to some reference Hamiltonian
H0 (t) so that the dynamics follows exactly the (ap-
Suppose now that a more detailed specification of the proximate) adiabatic evolution driven by H0 (t). An
dynamics is needed and let us focus on closed, linear illustrative analogy is a flat, horizontal road turn (the
quantum systems. We shall design the unitary evolution reference) that is modified by inclining the roadway
operator U (t) by specifying a complete basis of dynam- surface about its longitudinal axis with a bank angle
ical states |ψj (t)# assumed to satisfy a time-dependent so that the vehicles can go faster without sliding o!
Schrödinger equation driven by a -to be determined- the road. After some precedents (Emmanouilidou et al.,
Hamiltonian, 2000; Unanyan et al., 1997), the counterdiabatic (CD)
% driving paradigm was worked out and developed system-
U (t) = |ψj (t)#$ψj (0)| (5) atically by Demirplak and Rice (Demirplak and Rice,
j 2003, 2005, 2008) for internal state transfer using control
fields, then rediscovered in a di!erent but equivalent way
(see other proposals for the form of U in Kang et al. as “Transitionless Tracking” by Berry (Berry, 2009), and
(2016c) and Santos (2018).). The corresponding Hamil- used to design many control schemes after Chen et al.
tonian is given from the assumed dynamics by (2010a), unaware of the work of Demirplak and Rice,
H(t) = i!U̇ U † . (6) employed Berry’s method to control two- and three-level
systems.
As in the previous examples, a typical scenario is that
the initial and final Hamiltonians are fixed by the exper- Berry’s formulation. We start with Berry’s formula-
iment or the intended operation. With these boundary tion because it is somewhat simpler. In Berry (2009),
7
the starting point is a reference Hamiltonian where ∆(t) is the detuning and ΩR (t) is the real Rabi fre-
% quency. The counterdiabatic Hamiltonian has the form
H0 (t) = |n(t)#En (t)$n(t)|. (7) " #
n
! 0 →iΩa (t)
HCD (t) = , (16)
2 iΩa (t) 0
We adopt for simplicity a notation appropriate for a
discrete (real) spectrum and no degeneracies.1 A state ˙
with Ωa (t) = [ΩR (t)∆(t) → Ω̇R (t)∆(t)]/Ω2 (t) and Ω(t) =
*
2 2
∆ (t) + ΩR (t). See further simple examples in Ap-
|n(0)# that is initially an eigenstate of H0 (0) will continue
to be so under slow enough driving, with the form pendix C.
Coming back to the general expression (13), we
|ψn (t)# = eiξn (t) |n(t)#, (8) note that HCD is orthogonal to H0 considering the
scalar product tr(A† B) of two operators. Using
where the adiabatic phases ξn (t) are found by substi-
d$n(t)|m(t)#/dt = 0 it can be seen that HCD is also
tuting Eq. (8) as an ansatz into the time-dependent
orthogonal to Ḣ0 (Petiziol et al., 2018). An alternative
Schrödinger equation driven by H0 (t),
form for HCD is found by di!erentiating H0 (t)|n(t)# =
' ' t En (t)|n(t)#,
1 t → →
ξn (t) = → dt En (t ) + i dt→ $n(t→ )|∂t! n(t→ )#. (9)
! 0 0 % % |m(t)#$m(t)|Ḣ0 |n(t)#$n(t)|
HCD = i! , (17)
We now seek a Hamiltonian H(t) for which the above n
En → Em
m"=n
approximate states |ψn (t)# become the exact evolving
states, which, using the scaled time s = t/tf , gives the scaling
HCD ∼ 1/tf . In general HCD (t) vanishes for t < 0 and
i!∂t |ψn (t)# = H(t)|ψn (t)#. (10) t > tf , either suddenly or continuously at the extreme
times, so that the |n(t)# become eigenstates of the full
H(t) is constructed using Eq. (6) from the unitary evo- Hamiltonian at the boundary times t = 0− and t = t+ f.
lution operator In terms of the phases the total Hamiltonian (13) can
% be written as (Chen et al., 2011a)
U (t) = eiξn (t) |n(t)#$n(0)|, (11) %
n H(t) = J(t) + i! |∂t n(t)#$n(t)|, (18)
n
which obeys i!∂t U (t) = H(t)U (t), so that an arbitrary
state evolves as with
% %
|ψ(t)# = |n(t)#eiξn (t) $n(0)|ψ(0)#. (12) J(t) = →! |n(t)#ξ˙n (t)$n(t)|. (19)
n n
is given by Eq. (18) with diagonal part (20), which An alternative useful form for K0 (t) is (Messiah, 1962)
defines H0 (t), and a coupling, non-diagonal part (14). % dPn (t)
Now, changing the phases ξn (t) modifies H0 (t), and has K0 (t) = i! Pn (t), (22)
an impact on the physical evolution of a general wave- n
dt
function |ψ(t)#. Of course the populations Pn (t) ≡ where Pn (t) = |n0 (t)#$n0 (t)| = |n(t)#$n(t)|. K0 may
|$n(t)|ψ(t)#|2 = Pn (0) driven by (18) are not a!ected as well be written in an arbitrary basis of eigenvectors
by phase shifts. The ξ˙n (t) can be optimized to minimize |n(t)#,
energy costs (Hu et al., 2018), robustness against deco- & i.e., not necessarily parallel transported, K0 (t) =
i! n |ṅ(t)#$n(t)| → |n(t)#$n(t)|ṅ#$n(t)| = HCD (t). This
herence (Santos and Sarandy, 2018), or intensity of the result proves that K0 is identical to HCD in Eq. (14).
extra CD controls (Santos et al., 2019). Since the projectors Pn (t) = |n0 (t)#$n0 (t)| = |n(t)#$n(t)|
A related procedure is to set the |n(t)# but consider are invariant with respect to phase choices of the
H0 (t) and the eigenvalues En (t) controllable elements eigenvectors, the form in which HCD is usually writ-
rather than given (Berry, 2009). For example, setting ten in Eq. (14) is invariant under di!erent choices
all En (t) = 0 cancels the dynamical phase. That of phases for the eigenstates. In particular this im-
means that for a given set of states |n(t)#, HCD (t) plies that K0 is purely non-diagonal (Kato’s condition
alone (without an H0 ) drives the same populations (Demirplak and Rice, 2008; Kato, 1950)) in the arbitrar-
than H(t) = H0 (t) + HCD (t) for any choice of En (t) ily chosen basis of eigenvectors of H0 (t), |n(t)#.
(Chen et al., 2010a). If we now return to the parallel transported basis in the
interaction (adiabatic) picture, the addition of A†0 K0 A0
The formulation of Demirplak and Rice. To fol- cancels the couplings so the dynamics is trivially solved
low some past and recent developments and generaliza- with dynamical phase factors. In the Schrödinger picture,
tions it is worth finding the auxiliary Hamiltonian HCD i
!t
En (t! )dt!
by the equivalent formulation of Demirplak and Rice |ψ0 (t)# = e− ! 0 |n0 (t)#$n0 (0)|ψ0 (0)#, (23)
(Demirplak and Rice, 2003, 2005, 2008), which is the ze-
which is exactly Eq. (12) as can be seen by using Eq.
roth iteration, j = 0, in Fig. 3.
(21).
In the following discussion we concentrate on j = 0. +
Among the possible phase choices for the eigenstates of &If, instead of A0 , a more general transformation A =
n |n(t)#$n(0)| is used, the coupling term in the interac-
H0 (t), we use now the one that satisfies the “parallel
tion +† + + + +̇ +†
transport” condition $n0 (t)|ṅ0 (0)# = 0. Regardless of the & picture becomes →A0 K0 A0 where K0 = i!A0 A0 =
“working” basis of eigenvectors |n(t)# one starts with, the n |ṅ(t)#$n(t)| = K0 + i!|n(t)#$n(t)|ṅ(t)#$n(t)| and, its
parallel transported basis is found as cancellation would lead in the laboratory picture to a
di!erent state,
!t
$n(t! )|ṅ%dt! % i !t
|n0 (t)# = e− 0 |n(t)#. (21) ! !
e− ! 0 En (t )dt |n(t)#$n(0)|ψ0 (0)#, (24)
n
Later on we shall see the consequences of applying or
not applying parallel transport. A dynamical solution although the probabilities are not a!ected.
driven by H0 (t) is written as |ψ0 (t)# and the instanta- Demirplak and Rice (2008) also pointed out that the
(0) operator
neous eigenvalues as En (t). The extra notational bur-
[n]
den of the index j = 0 may be ignored in many applica- HCD = i![dPn /dt, Pn ]− , (25)
tions, in particular for ordinary CD driving, but it will be
[n]
useful to cope with higher order suparadiabatic iterations which fulfils Pm HCD Pn = Pm HCD Pn and Pn HCD Pm =
[n] [n] →
later on. Pn HCD Pm for all m, as well as Pm HCD Pm = 0 for
→
The way to find the auxiliary driving term is to ex- m, m '= n, uncouples the dynamics of level n. For
[n]
press first the dynamics in an adiabatic frame. For H0 + HCD , eiξn (t) |n(t)# is an exact solution of the dy-
that we apply the transformation |ψ1 (t)# = A†0 (t)|ψ0 (t)# namics. This is an interesting simplification as we are
to the dynamical states driven by H0 (t), with A0 (t) =
& often only interested in one state, typically the ground
n |n0 (t)#$n0 (0)|. In the resulting adiabatic frame the state. The last condition imposed in Demirplak and Rice
coupling, diabatic terms are made obvious, →A†0 K0 A0 , [n]
(2008), Pm HCD Pm →
= 0 for m, m→ '= n, is not really
&
where K0 = i!Ȧ0 A†0 = n |ṅ0 (t)#$n0 (t)|. In this adia- necessary for the uncoupling of the n-th level. With-
batic frame we may (a) neglect the coupling (adiabatic out it, a broad set of “state-dependent” CD opera-
[n]
approximation), or (b) cancel the coupling by adding tors HCD + Qn BQn , where Qn = 1 → Pn and B is
A†0 K0 A to the Hamiltonian, see again Fig. 3. In the any hermitian operator, can be generated. This multi-
original, Schrödinger picture, also referred to as labo- plicity may be useful, and explains why di!erent aux-
ratory frame hereafter, this addition amounts to using iliary state-dependent CD terms have been proposed
H = H0 + K 0 . (Patra and Jarzynski, 2017b; Setiawan et al., 2017).
9
diabatic transitions to undesired levels in the context of If we set U (0) = U (tf ) = 1, then the wave functions
superconducting quantum devices. It has been recently coincide at the boundary times, |ψ(0)# = |ψ → (0)# and
reviewed in Theis et al. (2018) but we shall sketch the |ψ(tf )# = |ψ → (tf )#. If, in addition, U˙ (0) = U˙ (tf ) = 0,
main ideas here since it is related to the superadiabatic then also the Hamiltonians coincide at boundary times,
scheme as formulated e.g. in Ibáñez et al. (2013). A typ- H(0) = H → (0) and H(tf ) = H → (tf ).
(j)
ical scenario is that the (super)CD term Hcd = Bj Kj Bj† Note that here the alternative Hamiltonian form (26)
is not physically feasible and does not match the controls and the state |ψ → (t)# are not just convenient mathe-
in the lab. The DRAG approach addresses this problem matical transforms of H(t) or |ψ(t)# representing the
by decomposing the controllable & Hamiltonian that “cor- same physics, as in conventional interaction or Heisen-
rects” the dynamics as H ctrl = k uk (t)hk + h.c. with berg picture transformations. Instead, at intermediary
control fields uk (t) and coupling terms hk . In a given times, H → (t) and H(t) represent indeed di!erent (labora-
superadiabatic frame partial contributions to uk (t) are tory) drivings, and |ψ(t)# and |ψ → (t)# di!erent dynamical
(j)
found by projecting Hcd into the assumed Hamiltonian states. This was emphasized in Ibáñez et al. (2012) by
structure. This generates an approximation to the ex- calling the di!erent alternatives “multiple Schrödinger
act uncoupling term so the diabatic coupling, even if not pictures”.
cancelled exactly, is reduced. An important point is that The art is to find a useful U (t) to make H → (t)
further iterations, in contrast with the bare superadia- feasible. This approach has been applied in many
batic iterations, typically converge, so that the coupling works, see e.g. Agundez et al. (2017); Hollenberg (2012);
eventually vanishes. A variant of this approach applies Sels and Polkovnikov (2017); and Takahashi (2015); and
when the error terms are not independently controlled, several experiments (An et al., 2016; Bason et al., 2012;
because they all depend on some common control, e.g. a Du et al., 2016; Zhang et al., 2013a). De!ner et al.
single laser field. Di!erent perturbative approximations (2014) applied it to generate feasible (i.e., involving local
using power series in the inverse gap energies were worked potentials in coordinate space, independent of momen-
out systematically (Theis et al., 2018). tum) Hamiltonians for scale-invariant dynamical pro-
cesses.
When H(t) is a linear combination of generators Ga of
some Lie algebra,
2. Beyond the basic formalism
N
%
The CD Hamiltonian HCD often implies di!erent op- [Gb , Gc ] = ϕabc Ga , (28)
a=1
erators from those in H0 , that typically may be hard
or even impossible to generate in the laboratory. More- where the ϕabc are the structure constants, U may
over, a lot of spectral information is in principle used to be constructed by exponentiating elements of the alge-
build HCD , specifically the eigenvectors of H0 , so a num- bra and imposing the vanishing of the unwanted terms
ber of strategies, reviewed hereafter, are put forward to (Martı́nez-Garaot et al., 2014a). To carry out the trans-
avoid some terms in the auxiliary Hamiltonian, and/or formation an element G of the Lie algebra of the Hamil-
the spectral information needed. Changing the phases tonian is chosen,
ξn (t) without modifying the |n(t)# changes H0 but not
HCD , so it is not enough for these purposes (Ibáñez et al., U (t) = e−ig(t)G , (29)
2011a). where g(t) is a real function to be set. This type of uni-
tary operator U (t) constitutes a “Lie transform”. Note
that K in Eq. (27) becomes →!ġ(t)G and commutes with
a. “Physical” unitary transformations. A very useful G so H → is given by
method to generate alternative, physically feasible short-
U † (H → K)U = eigG (H → K)e−igG
cuts, from an existing shortcut generated by counterdia-
batic driving or otherwise, is to perform physical, rather g2
= H → !ġG + ig[G, H] → [G, [G, H]]
than formal, unitary transformations (Ibáñez et al., 2!
2012), or corresponding canonical transformations in g3
→i [G, [G, [G, H]]] + · · · (30)
classical systems (De!ner et al., 2014). Given a Hamil- 3!
tonian H(t) that drives the wave function |ψ(t)#, the uni- which depends only on G, H, and its nested commuta-
tarily transformed state |ψ → (t)# = U † (t)|ψ(t)# is driven tors with G, so it stays in the algebra. If we can choose
by the Hamiltonian (the primes here distinguish the pic- G and g(t) so that the undesired generator components
ture, they do not represent derivatives) in H(t) cancel out and the boundary conditions for U
are satisfied, the method provides a feasible, alternative
H → (t) = U † (H → K)U , (26) shortcut. A simple example for the two-level Hamilto-
K = i!U˙ U † . (27) nian is given in Appendix B. Kang et al. (2018) and
11
rally call this picture the “adiabatic frame”, with driv- where H̃0 is diagonal in the |n# basis and Ãλ is the adi-
ing Hamiltonian HI (t), see Table I. Then, a second ro- abatic “gauge potential” in the moving frame,
†
tating frame is &introduced as |ψII (t)# = V (t) |ψI (t)#, %
with V (t) = n |ñ(t)#$n|, driven by HII (t). {|ñ(t)#}
H̃0 [λ(t)] = U † H0 [λ(t)]U = En (λ)|n#$n|,
are called dressed states and it is assumed that V (0) = n
V (tf ) = 1. The method to generate shortcuts is to choose Ãλ = i!U † ∂λU. (32)
V (t), i.e., the functions |ñ(t)#, and Hc &
so that HII (t) is
diagonal in the basis {|n#}, HII (t) = n |n#EnII (t)$n|. All nonadiabatic transitions are produced by the gauge
Back to the Schrödinger picture this means that no tran- potential. In the counterdiabatic approach the system is
sitions occur among states U (t)V (t)|n# = U (t)|ñ(t)#. driven by the Hamiltonian
V (t) is chosen to ensure that Hc (t) is feasible. The two H(t) = H0 + λ̇Aλ , (33)
nested transformations make the method more involved
and less intuitive than standard CD driving. To gain in- where Aλ = U Ãλ U † = i!(∂λ U )U † such that, in the mov-
sight note that if V (t) = 1 for all t the method reduces to ing frame H0ef f = H̃0 is diagonal and no transitions are
standard CD driving. One can think of V as a way to add allowed. Up to now we have only introduced a new nota-
flexibility to the inverse engineering so as to drive states tion and terminology in Eqs. (31-33).2 In the adiabatic
in the Schrödinger picture along uncoupled U (t)V (t)|n# limit |λ̇| → 0 the Hamiltonian (33) reduces to the original
vectors rather than along vectors U (t)|n# = |n(t)#. The one H(t) = H0 (t). After di!erentiating the first equa-
latter are given, up to phases, once H0 (t) is specified, tion in Eq. (32), the gauge potential satisfies (Jarzynski,
whereas U (t)V (t)|n# may still be manipulated to find a 2013)
convenient Hc (t) and possibly minimize the occupancy
of some state to be avoided, e.g. because of spontaneous i!(∂λ H0 + Fad ) = [Aλ , H0 ], (34)
decay (Baksic et al., 2016). &
where Fad = → n ∂λ En (λ)|n(λ)#$n(λ)| is the adiabatic
For applications see Baksic et al. (2017); Coto et al. force operator. Since, by construction, Fad commutes
(2017); Liu et al. (2017); Wu et al. (2017b); Zhou et al. with H0 , Eq. (34) implies that
(2017a,b).
[i!∂λ H0 → [Aλ , H0 ], H0 ] = 0, (35)
Potential problems with the above scheme are that it amounts to setting dynamical invariants of motion, and
may be di”cult to know what local operators should the Hamiltonian may in principle be found from them.
be included in the variational basis, and moreover their This connection is quite general, and is also valid clas-
practical realizability is not guaranteed. To solve these sically (Lewis and Leach, 1982), but it is mostly applied
two di”culties, Claeys et al. (2019) expand the gauge po- for systems in which the Hamiltonian form and corre-
tential in terms of nested commutators of the Hamilto- sponding invariants are known explicitly as functions of
nian H0 and the driving term ∂λ H0 , even if these do not auxiliary parameters that satisfy auxiliary equations con-
close a Lie algebra. Since the commutators also arise in sistent with the dynamical equation and the invariant.
the Magnus expansion in Floquet systems, they can be
realized up to arbitrary order using Floquet-engineering,
i.e., periodical driving (Boyers et al., 2018). The expan- 1. Lewis-Riesenfeld Invariants
sion coe”cients can either be calculated analytically or
variationally. The method can be adapted to suppress Originally proposed in 1969, a Lewis–Riesenfeld invari-
excitations in a known frequency window. Application ant (Lewis Jr and Riesenfeld, 1969) for a Hamiltonian
examples were provided for a two- and a three-level sys- H(t) is a Hermitian operator I(t) which satisfies
tem, where one, respectively two terms returned the ex- dI ∂I i
act gauge potential, and to a many-body spin chain, = + [H, I] = 0, (37)
dt ∂t !
where a limited number of terms and an approximate
gauge potential resulted in a drastic increase in fidelity. so that the expectation values for states driven by H(t)
Further useful properties of the expansion are that it re- are constant in time. Since I(t) is a constant of mo-
lates the locality of the gauge potential to the order in tion it has time–independent eigenvalues. If |φn (t)#
the expansion, and that it remains well-defined in the is an instantaneous eigenstate of I(t), a solution of
thermodynamic and classical limits. the Schrödinger equation, i!∂t |ψn (t)# = H(t) |ψn (t)#,
can be constructed as |ψn (t)# = eiαn (t) |φn (t)#. Here
-t
ϕn (t) = (1/!) 0 $φn (s) |[i!∂s → H(s)]| φn (s)# ds is the
f. Counterdiabatic Born-Oppenheimer dynamics. Lewis–Riesenfeld phase. Hence a general solution to the
Duncan and del Campo (2018) propose to exploit Schrödinger equation can be written as
the separation of fast and slow variables using the %
Born-Oppenheimer approximation. Simpler CD terms |ψ(t)# = cn |ψn (t)# , (38)
n
(compared to the exact CD term) for the fast and
slow variables can be found in two steps avoiding the where the cn are independent of time.
diagonalization of the full Hamiltonian. The method is These invariants were originally used to solve for the
tested for two coupled harmonic oscillators and a system state driven by a known time-dependent Hamiltonian
of two charged particles. (Lewis Jr and Riesenfeld, 1969). In shortcuts to adia-
baticity this idea is reversed (Chen et al., 2010b) and the
Hamiltonian is found from a prescribed state evolution.
g. Constant CD-term approximation. Oh and Kais (2014) Formally, a time evolution operator of the form
proposed, in the context of the adiabatic Grover’s search %
U= eiαn (t) |φn (t)#$φn (0)| (39)
algorithm implemented by a two-level system, to substi-
n
tute the exact CD term by a constant term. This method
improves the scaling of the nonadiabatic transitions with implies a Hamiltonian H(t) = i!U̇ U † . This is the essence
respect to the running time. Zhang et al. (2018b) per- of invariant-based inverse engineering.
formed an experiment with a single trapped ion choosing For a given Hamiltonian there are many possible in-
the constant term with the aid of a numerical simulation. variants. For example, the density operator describ-
In a di!erent vein Santos and Sarandy (2018) discuss ing the evolution of a system is a dynamical invariant.
the conditions for H0 (t), and phase choice necessary in The choice of which particular invariant to use is made
the unitary evolution operator (11) to implement an ex- on the basis of mathematical convenience. Invariants
act constant driving. have also been generalized to non–Hermitian invariants
and Hamiltonians (Gao et al., 1992; Ibáñez et al., 2011a;
Lohe, 2009), as well as open systems (see Sec. [V]).
C. Invariants and scaling laws A connection to adiabaticity is asymptotic. In the
limit of long operation times (i.e. adiabatic), Eq. (37)
Dynamical invariants and invariant-based engineering becomes [H, I] ≈ 0 and the dynamics prescribed by
constitute a major route to design STA protocols. The invariant-based engineering will approach adiabatic dy-
basic reason, already sketched in Eqs. (5) and (6), is namics driven by H. Hence for long times, H(t) and I(t)
that, in linear systems, determining the desired dynamics have approximately a common eigenbasis for all times.
14
and an invariant of the form provided the functions ρ, qc , ω, and F satisfy the auxil-
" # iary equations
! cos [θ (t)] sin [θ (t)] e−iα(t)
I (t) = . (45)
2 sin [θ (t)] eiα(t) → cos [θ (t)] ω02
ρ̈ + ω 2 (t)ρ = ,
From the equation that defines the invariant, Eq. (37), ρ3
θ(t) and ϕ(t) must satisfy q¨c + ω 2 (t)qc = F (t)/m, (57)
θ̇ = ΩI cos ϕ → ΩR sin ϕ, (46) with ω0 a constant. The first equation is known as the
ϕ̇ = →∆ → cot θ (ΩR cos ϕ + ΩI sin ϕ) . (47) Ermakov equation (Ermakov, 1880) while the second is
the Newton equation of motion for a forced harmonic
The eigenvectors of I (t) are
" # oscillator. They can be found by inserting the quadratic-
cos (θ/2) e−iα/2 in-p invariant, Eq. (56), into Eq. (37). The properties
|φ+ (t)# = , (48)
sin (θ/2) eiα/2 of such invariants have also been formulated in terms of
" # Feynman propagators (Dhara and Lawande, 1984).
sin (θ/2) e−iα/2
|φ− (t)# = , (49) For this family of Hamiltonians we can explicitly cal-
→ cos (θ/2) eiα/2
culate the Lewis-Riesenfeld phase,
with eigenvalues ±!/2. The angles ϕ and θ can be
thought of as spherical coordinates on the Bloch sphere. ϕn (t) =
' ! $
2
The general solution of the Schrödinger equation is then 1 t → λn m[(q˙c ρ → qc ρ̇) → ω02 qc2 /ρ2 ]
a linear combination of the eigenvectors of I (t) i.e. → dt + + g ,(58)
! 0 ρ2 2ρ2
|Ψ (t)# = c+ eiκ+ (t) |φ+ (t)#+ c− eiκ− (t) |φ− (t)# where c± ∈
C and κ̇± (t) = !1 $φ± (t) |(i!∂t → H (t))| φ± (t)# . There- and the eigenvectors in coordinate representation,
fore, it is possible to construct a particular solution
φn (q, t) =
|ψ (t)# = |φ+ (t)# e−iγ(t)/2 (50) . 1 " #
im / 2 0 q → qc
exp ρ̇q /2ρ + (q˙c ρ → qc ρ̇) q/ρ ρ−1/2 &n ,
where ε = ±2κ± and ! ρ
1 (59)
ε̇ = (ΩR cos ϕ + ΩI sin ϕ) . (51)
sin θ
where &n (σ) is a solution of the stationary Schrödinger
Using Eqs. (46), (47) and (51) we can retrieve the phys- equation
ical quantities in terms of the auxiliary functions, ( )
!2 ∂ 2 1 2 2
ΩR = cos ϕ sin θ ε̇ → sin ϕ θ̇ , (52) → + mω 0 σ + U (σ) &n = λn &n , (60)
2m ∂σ 2 2
ΩI = sin ϕ sin θ ε̇ + cos ϕ θ̇ , (53)
∆ = → cos θ ε̇ → ϕ̇ . (54) with σ = (q → qc )/ρ. This quadratic invariant has been
instrumental in designing many of the schemes which ma-
If the functions ϕ, ε, and θ are chosen with the appro- nipulate trapping potentials for expansion/compressions,
priate boundary conditions, di!erent state manipulations transport, launching/stopping or combined processes.
are possible. For example θ (0) = 0 and θ (tf ) = π im- It is key, for example, to manipulate the motion of
ply perfect population inversion at a time tf . Note the trapped ions, see Sec. III.A, and in proposals to im-
freedom to interpolate along di!erent paths. plement STA-based interferometry (Dupont-Nivet et al.,
2016; Martı́nez-Garaot et al., 2018).
Designing first the function ρ(t) which determines
b. Lewis-Leach Family. Consider a one-dimensional the wavefunction width, and qc (t) (a classical particle
Hamiltonian H = p2 /2m + V (q, t) with potential trajectory), the force F (t) and ω(t) can be determined
(Lewis and Leach, 1982) using Eq. (57). The boundary values of the auxiliary
m functions at the time limits are fixed to satisfy physical
V (q, t) = →F (t)q + ω 2 (t)q 2
conditions and commutativity of H and the invariant.
( 2 )
1 q → qc (t) The non-unique interpolation is usually done with
+ U + g(t). (55) polynomials or trigonometric functions.
ρ(t)2 ρ(t)
These Hamiltonians have a quadratic in momentum in-
Expansions. Invariant based inverse engineering for
variant
Lewis-Leach Hamiltonians was first implemented in
1 2 (Chen et al., 2010b) to cool down a trapped atom by ex-
I= [ρ (p → mq˙c ) → mρ̇ (q → qc )]
2m panding the trap. Expansions using invariant-based engi-
" #2 " #
1 2 q → qc q → qc neering were first implemented with ultracold atoms in a
+ mω0 +U , (56)
2 ρ ρ pioneering experiment on STA techniques by Scha! et al.
16
(2011a, 2010). Such cooling protocols have also been De!ner et al. (2014) discussed more generally that for
envisioned to optimize sympathetic cooling (Choi et al., Hamiltonians of the form
2011; Onofrio, 2017). For very short processes, tf < " #
1/(2ωf ) where ωf is the trap frequency at the final time, p2 1 q→f
H0 = + U (62)
ω 2 (t) may become negative during some time interval. 2m ε 2 ε
While this implies a transient repulsive potential, the
the (nonlocal) CD term is
atoms always remain confined (Chen et al., 2010b). A
repulsive potential may or may not be di”cult to imple- ε̇
ment depending on the physical setting. For example, HCD = [(q → f )p + p(q → f )] + f˙p, (63)
2ε
the analysis in Torrontegui et al. (2018) suggests that it
is viable for trapped ions. and found the generic unitary transformation that pro-
Compared to the simplicity of invariant-based engi- vides the local auxiliary terms that appear in Eq. (55).
neering, the CD approach for expansions/compressions More general cases for multiparticle systems are dis-
provides, for an H0 characterized by some predeter- cussed in the following subsection.
mined time-dependent frequency ω(t), a non-local, cum- Tobalina et al. (2017) used the invariants to design
bersome counterdiabatic term HCD = →(pq + qp)ω̇/(4ω) shortcuts to adiabaticity for nonrigid driven transport
(Muga et al., 2010). However, a unitary transformation and to launch particles in harmonic and general poten-
produces a new shortcut with local potential and modi- tials. Compared to rigid transport, nonrigid transport re-
fied frequency (Ibáñez et al., 2012) quieres a more demanding manipulation, but it also pro-
vides a wider range of control opportunities, for example
( )1/2
→ 3ω̇ 2
2 ω̈ to achieve narrow velocity distributions in a launching
ω = ω → 2
+ , (61) process, suitable for accurate ion implantation or low-
4ω 2ω
energy scattering experiments.
see further connections among the two Hamiltonians in
del Campo (2013) and Mishima and Izumida (2017).
So far we have only considered one-dimensional 3. Scaling laws
motion. Formally, the three coordinates in an ideal
harmonic trap are uncoupled so expansion or transport For many-body systems constructing the Lewis-
processes can be treated independently. However, in Riesenfeld invariant is in general much more involved. In
many cold atom experiments changing the intensity of a Takahashi (2017b) this di”culty is avoided for an infinite-
laser beam a!ects simultaneously the longitudinal and range Ising model in a transverse field, by constructing
transversal frequencies (Torrontegui et al., 2012a). an invariant using a mean-field ansatz. However another
approach is to exploit scaling laws. If the Hamiltonian
Transport. Designing particle transport has been an- fulfills certain scaling laws one can determine the invari-
other major application of the invariant (56) (Ness et al., ant in a similar manner as in Sec. II.C.2.b. Specifically
2018; Tobalina et al., 2018; Torrontegui et al., 2011), see the Hamiltonian
also Secs. III.A and II.G. Note that U in Eq. (55) is %N . 2 1 %
pi
arbitrary. Setting ω = ω0 = 0, and ρ = 1, F = mq̈c H(t) = + U [qi , λ(t)] + /(t) V (qi → qj )
plays the role of a “compensating force” that cancels the i=1
2m i<j
inertial e!ects of a moving U [q → qc (t)] so that the wave- %N ( )
m ε̈
function stays at rest in the frame moving with qc .3 qc (t) + → 2
(qi → f ) → mf̈ · qi , (64)
can be chosen as an arbitrary function connecting the de- i=1
2 ε
sired initial and final trap positions. The same solution is
describing N interacting particles with the following scal-
reached applying fast forward (Masuda and Nakamura,
ing laws (De!ner et al., 2014)
2010), or using unitary transformations combined with
the CD approach (Ibáñez et al., 2012), which in princi- U [q, λ(t)] = U0 {[q → f (t)]/ε(t)}/ε(t)2 ,
ple provides the di”cult-to-realize term HCD = pq̇c .4
V (κq) = κ−α V (q),
/(t) = ε(t)α−2 , (65)
where U0 (q) = U [q, λ(0)], has the invariant optical lattice (Yuce, 2012), possibly pumped from a
reservoir (Ozcakmakli and Yuce, 2012).
1 2 32
%N
I= ε(pi → mḟ ) → mε̇(qi → f )
2m Fermi gas. In Papoular and Stringari (2015) a new
i=1
N " # % " # class of exact scaling solutions is put to work for 3D
% qi → f qi → qj “unitary” Fermi gases and 2D weakly interacting Bose
+ U0 + V . (66)
i=1
ε i<j
ε gases in anisotropic time-dependent harmonic traps with
initial and final traps having the same frequency ratios.
The method based on Lewis-Riesenfeld invariants is These solutions may be useful to implement a microscope
not applicable to non-linear equations such as the Gross- for quantum defects hosted by the cloud, avoiding the
Pitaevskii equation, but the presence of scaling laws can strong distortion due to free expansion. The proposal of
still prove beneficial for inverse engineering. Scaling solu- Papoular and Stringari (2015) is realized experimentally
tions for the Gross-Pitaevskii equation were first noticed in Deng et al. (2018a,b) for a 3D Fermi gas “at unitar-
in Castin and Dum (1996) and Kagan et al. (1996) and ity”.
were exploited to perform STA expansions in harmonic
traps in Muga et al. (2009). For example the 1D equa-
tion 4. Connection with Lax Pairs
a complete set of solutions for this non-linear equation Li et al. (2016) use this approach to control matter
can now be found. Based on these solutions, the exact waves in harmonic traps. Using as an ansatz a bright
counterdiabatic term for a particle in a hyperbolic Scarf solitary wave solution, approximate auxiliary equations
potential was determined, and unitary transformations analogous to equations (57) are found. The Newton equa-
were applied to generate feasible auxiliary Hamiltonians tion for the wave center remains the same, whereas the
avoiding the cubic-in-p term. The authors discussed a Ermakov equation is modified to include a term that de-
spin lattice as a second example. When considering in- pends on the non-linear coupling parameter. Using only
stead that the invariant takes the form ε 2 (t)H0 and HCD a time dependent control of this parameter via a Fes-
includes up to first orders in p, as in Eq. (63), the scale- chbach resonance, the soliton wavefunction can be com-
invariant potential (62) follows. It is also possible to pressed/expanded in non-adiabatic time scales with high
extend the approach to non-scale invariant systems. fidelity.
A di!erent but similar route is to regard Lewis- Applying the same concepts, an e”cient quantum heat
Riesenfeld invariants (Lewis Jr and Riesenfeld, 1969) engine running an Otto cycle with a condensate as its
and Lax pairs (the invariants were proposed one year working medium is proposed in Li et al. (2018a). The en-
after the Lax pairs) as two sides of the same coin gine strokes are done on a short timescale ensuring a large
(Kiely and Ruschhaupt, 2019), relating Eqs. (37) and power output and high e”ciency. Also, in Fogarty et al.
(74) by the alternative connection L = I and M = → !i H. (2019) the variational approach is applied to design the
This approach would facilitate to extend the domain of time-dependent interaction strength between two ultra-
invariant-based shortcuts, for example using cubic-in-p cold atoms so as to create entangled states.
invariants with feasible interactions.
E. Fast Forward
D. Variational methods
The so-called fast-forward (FF) approach was first de-
We have already discussed an STA variational ap- rived to accelerate a given quantum dynamics by mim-
proach in Sec. II.B.2.e (Kolodrubetz et al., 2017; icking the e!ect of an FF button in an audio or video
Sels and Polkovnikov, 2017) for CD driving. Here we re- player (Masuda and Nakamura, 2008). The original idea
view other variational proposals. was to use a scaling transformation τ = ϕt, for some con-
Takahashi (2013a, 2015) reformulated invariant-based stant ϕ (inhomogeneous scalings are also possible) so that
engineering or counterdiabatic approaches in terms of a the solutions ψ0 (τ ) of i!∂τ ψ0 (τ ) = H(τ )ψ0 (τ ) are just
quantum brachistochrone variational problem, with the scaled in time as ψ0 (τ ) = ψα (t) with respect of the solu-
action tions of i!∂t ψα (t) = ϕH(ϕt)ψα (t). This concept works
' T formally and in some discrete Hamiltonians it is experi-
S= dt (LT + LS + LC ) (75) mentally viable. However, if H includes a kinetic energy
0 it implies that the mass should be changed (Bernardo,
2019). Masuda and Nakamura (2008) solved this prob-
and Lagrangians corresponding to the constraints for
lem by modifying the potential but not the mass.
the process time (LT ), the Schrödinger equation (LS ),
and additional experimental constraints (LC ). This for-
mulation is used to examine the stability of the driv- 1. The original formalism
ing, noting that processes are stable against variations
in operators which commute with HCD and unstable Consider the time-dependent Schrödinger equation
against variations in those that anticommute with it.
This work has been extended to classical, stochastic ∂ψ0 (r, t) !2
i! =→ ∆ψ0 (r, t) + V0 (r, t)ψ0 (r, t) (76)
finite-sized systems described by a continuous-time mas- ∂t 2m
ter equation to find an optimal transition-rate matrix in a time interval [0, T ] with real potential V0 . To speed
(Takahashi and Ohzeki, 2016). up the dynamics keeping the potential real, a non trivial
A di!erent variational approach is worked out in phase factor that depends on the coordinates has to be
Li et al. (2018a, 2016). These works consider a Bose- added to the FF wavefunction,
Einstein condensate (BEC) trapped in a harmonic trap.
Quantum dynamical equations follow by minimizing the ψF F (r, t) = ψ0 (r, ’(t))eiϕ(r,t) , (77)
action defined from a Lagrangian density, using some driven by the FF potential
ansatz for the wave function. This allows one to cope
¨
VF F (r, t) = →!’((r, ’(t)) → 2![’˙ → 1]∂t ((r, ’(t))
with systems that would be otherwise di”cult to treat
(e.g. with no scaling laws available). However the qual- !2 ˙ 2
→ (’ → 1)(∂r ((r, ’(t)))2 + V0 (r, ’(t)).
ity of the approximate dynamics strongly depends on the 2m
ansatz chosen. (78)
19
The phase is given by ϕ(r, t) = [’˙ → 1]((r, ’(t)), where n. The fast-forward potential is now n-independent and
( is the phase of the reference wavefunction, ψ0 (r, t) = reads
ψ+0 (r, t) exp(i((r, t)). Imposing ’(0) = 0, ’(tf ) = T ,
˙
’(0) ˙ f ) = 1, and ’(0)
= ’(t ¨ ¨ f ) = 0 implies that
= ’(t VF F (x, t) = U (x → x0 (t)) → mxẍ0 , (84)
VF F (r, 0) = V0 (r, 0) and VF F (r, tf ) = V0 (r, T ). More-
over the additional phase ϕ(r, t) vanishes at the bound- with x0 (t) = ε’(t) and terms that only depend on time
ary of the time interval [0, tf ]. For ’˙ > 1, the dynamics have been dropped. This result is exactly the one found
by the “compensating force approach” within invariant-
is accelerated while it is slowed down for 0 < ’˙ < 1. A
based inverse engineering (Torrontegui et al., 2011), see
negative ’˙ corresponds to a time reversed evolution.
Sec. II.C.2.b: the inertial forces in the frame attached to
The transposition of these results to speed up an adia-
the moving potential are compensated for by an appro-
batic evolution is not direct because the adiabatic evolu-
priate uniform time-dependent force.
tion only holds for an infinitely slow process that needs
Let us underline some conceptual and methodological
infinite magnification factors. A first but too naive ap-
similarities and di!erences with the CD approach: even
proach would consist in considering the adiabatic wave
if the adiabatic states φn (r, λ(t)) are used as a refer-
function as a candidate for applying the previous fast-
ence in the construction, now the auxiliary potential in
forward formalism. If the system is in the nth eigenstate
general depends on the specific n-th wavefunction used
φn (r, λ) associated with the eigenvalue En (λ), where λ
(except in the previous example and for the Lewis-Leach
accounts for the parameters, the corresponding adiabatic
family as discussed below), and the dynamical wavefunc-
wave function reads
tion di!ers along the dynamics with the adiabatic func-
ψad (r, t, λ(t)) = φn (r, λ(t))e−iϕdyn (t)+iϕad (t) , (79) tion more strongly than just by a (constant in r) phase
factor, because of the position-dependent phases in Eq.
-t (81). Moreover, the FF method leads by construction
where ϕdyn (t) = 0 En (λ(t→ ))dt→ /! is the dynamical
phase. The direct route fails and a renormalization is to local and real potentials. By contrast, the CD recipe
needed modifying both the wave function and the Hamil- may lead to auxiliary non-local terms that depend on the
tonian in a consistent manner to ensure that the wave momentum.
function remains valid for a finite change of the parame-
ters (Masuda and Nakamura, 2010).
2. Streamlined fast-forward approach
To highlight the smallness of the change of param-
eter, Masuda and Nakamura (2010) introduce the con-
stant rate ε , 1 associated with λ → λ + δλ where The original fast-forward approach is somewhat in-
δλ = εt. A finite change of the parameter λ during the volved. A simpler, more direct “streamlined version” of
fast forward was proposed in Torrontegui et al. (2012c)
time interval [0, tf ] is given by
and developed further in Martı́nez-Garaot et al. (2016)
λ(’(tf )) → λ(0) = ε’(tf ). (80) and Torrontegui et al. (2013b) without making explicit
use of a slow reference adiabatic process. Kiely et al.
The expression for the FF potential to drive the regular- (2015) extended the streamlined version for a charged
ized wave function particle in an electromagnetic field.
This streamlined version is essentially inverse engi-
ψ (reg) (r, t, λ(t)) = φn (r, λ(t))e−iϕdyn (t)+iεδθ(r,t) (81) neering. For this discussion we use a 1D setting. The
key simplification is to inverse engineer directly the
finally reads (Masuda and Nakamura, 2010) potential V (x, t) from the given (desired) ψ(x, t) =
˙ ¨ ρ(x, t)eiφ(x,t) wavefunction in the Schrödinger equation,
VF F (r, t) = ’εδV [r, λ̃t ] + V0 [r, λ̃t ]!’εδθ[r, λ̃t ] imposing V (x, t) to be local,
4
∂δθ 4 ! 2
→ !’˙ 2 ε2 4 → ’˙ 2 ε2 (∇δθ)2 , (82) " #
∂λ 4r,λ̃t 2m0 1 ∂ψ(x, t) !2 ∂ 2 ψ(x, t)
V (x, t) = i! + . (85)
ψ(x, t) ∂t 2m ∂x2
with λ̃t = λ(’(t)), and
Using the representation (ρ and φ real)
2m
0 = |φn |2 ∆δθ + 2Re[φn ∇φ∗n ] · ∇δθ + Re [φn ∂λ φ∗n ] ,
( ) ( ) ! ψ(x, t) = ρ(x, t)eiφ(x,t) , (86)
∂λ φn !2 ∇φn
δV = →!Im → Im · ∇δθ. (83)
φn m φn and imposing Im[V (x, t)] = 0, we get a continuity equa-
tion
As an application, consider the 1D transport of a wave " #
function with a moving confining potential: V0 (x, t) = 1 ∂ρ ! 2 ∂φ ∂ρ ∂ 2 φ
+ + = 0, (87)
U (x → εt). We readily find δV = 0 and δθ = mx/! for all ρ ∂t 2m ρ ∂x ∂x ∂x2
20
Ω23 Ω23
Ω23
Ω12 Ω12
Ω12
j3i j3i j3i
Ω13
a) j1i b) j1i c) j1i
FIG. 8 (Color online) Different strategies for STA in three-level systems. (a) Apply counterdiabatic STA: initial couplings (red,
solid lines), additional required STA coupling (blue, dotted line). (b) Apply invariant-based inverse engineering STA: modified
STA couplings (green, solid lines). (c) Detuned couplings: use STA techniques after mapped to a 2-level system: modified STA
couplings (green, solid lines).
superconducting circuits) are easier to manipulate than interacting particles of di!erent species. Its connection
relativistic particles. In trapped ions, for example, the to flatness based control in mathematics is discussed in
e!ective (simulated) mass, speed of light, or electric field Sec. VII.B.2.
may be changed in time. This rich simulation scenario The use of perturbation theory or iterative methods
opens prospects for finding and implementing new or ex- is also avoided in Levy et al. (2018) and Zhang et al.
otic e!ects and carrying out fundamental studies. Short- (2017a). Using the fast-forward approach (see section
cuts to adiabaticity o!er a suitable framework for the II.E) a magnetic field is determined which prescribes
task (Muga et al., 2016). For example De!ner (2016) specific stable dynamics of a single or two interacting
used the fast-forward technique to suppress production spins (Zhang et al., 2017a). In Levy et al. (2018), pro-
of pairs (transitions among positive and negative energy tocols are designed for both a two-level system and a
solutions) in fast processes. harmonic oscillator, which are stable against Markovian
The goal of Song et al. (2017) is instead to induce a noise sources. They are designed using dynamical invari-
fast and robust population inversion among the bare lev- ants and are made robust by enforcing that the invariant
els on a 1+1-dimensional Dirac equation for a charged approximately commutes with the noise operator during
particle simulated by ultracold trapped ions, designing a the process.
simulated electric field ϕt . The problem is that the cou- The e!ect of the environment can be also reduced by
pling between momentum and internal levels in the Dirac choosing the & phases in the –noise-free– evolution oper-
equation changes with the momentum. For each plane ator U (t) = n eiξn (t) |n(t)#$n(0)| to design the driving
wave, there is a momentum-dependent Hamiltonian, Hamiltonian (Santos and Sarandy, 2018).
" # Boyers et al. (2018) propose protocols based on “Flo-
mc2 cp0 + ϕt
Hp0 = , (102) quet engineering”, with periodic drivings where the co-
cp0 + ϕt →mc2
e”cients are adjusted by matching an e!ective Floquet
but a robust population inversion should be independent Hamiltonian found by a Magnus expansion with CD-
of the momentum within the momentum spread of the driving Hamiltonians. For a qubit inversion the method
wave packet. This is achieved by considering the p0 - is resilent to noise because the spectral bandwidth of the
dependent part in Eq. (102) as a perturbation and de- protocol (centered around the Floquet frequency) is sep-
signing the time dependences of the other elements in arated from the spectral bandwidth of the noise around
the Hamiltonian using the approach in Ruschhaupt et al. zero, as long as the noise is perturbative with respect to
(2012). the driving.
In Guéry-Odelin and Muga (2014) a Fourier method is Few-level models are essential to understand and ma-
used to find transport protocols (for either a single par- nipulate actual or artificial atoms. We have presented
ticle or BEC) which are robust with respect to spring- several examples of shortcuts applied to two-level mod-
constant errors, see more details in Sec. VII.B.2. It ex- els and in this section we review three-level models.
ploits the fact that the final excitation energy can be STIRAP is a basic adiabatic method of reference, see
expressed as the Fourier transform of the trap acceler- Vitanov et al. (2017) for a recent review, to transfer pop-
ation (Reichle et al., 2006). It avoids perturbation ap- ulation among the two ground states of a ’-configuration
proximations and can also be applied to transport non- (or the extreme states in ladder systems) without pop-
26
ulating the excited state. Being an adiabatic process, b. Applying invariant-based inverse engineering shortcuts to
it can be sped up with STA techniques. Here are three the full three-level Λ system. A second strategy is to apply
possible STA approaches to STIRAP speedup, see Fig. the invariant-based inverse engineering to the ’ system.
8: Chen and Muga (2012b) apply this strategy to a Hamil-
tonian with resonant couplings that imply an SU (2) dy-
namical symmetry, and build di!erent protocols that may
or may not populate level |2#, without the need for an
a. Apply counterdiabatic shortcuts to the full three-level Λ additional coupling between |1# and |3#. Interestingly, to
system. We assume a three-level ’ system consisting achieve the same fidelity, less intensity is required when
of two “ground levels” |1# and |3# and a central ex- the intermediate level |2# is populated. This means that
cited level |2# coupled with time-dependent terms Ω12 protocols that populate level |2# may be considered as
and Ω23 . We refrain from specifying by now the ex- useful alternatives for certain systems and su”ciently
act nature of these couplings which will depend very short process times. Moreover, Chen and Muga (2012b)
much on the system. A first strategy is to apply put forward the concept of invariant-based “multimode
the counterdiabatic STA technique directly to this ’- driving”, where the dynamical state is a combination of
system to speed up the STIRAP transfer. This strat- invariant eigenstates rather than just one of them, as it
egy leads to an additional coupling between the two lev- had been customary in previous works.
els |1# and |3# (Chen et al., 2010a; Demirplak and Rice, Related to this approach are also the speeded-up STI-
2003; Unanyan et al., 1997). The improved robustness RAP protocols based on the dressed-state approach in
of STA schemes compared with di!erent STIRAP pro- Baksic et al. (2016), which were used in experiments with
tocols was shown in Giannelli and Arimondo (2014), nuclear spins (Coto et al., 2017; Zhou et al., 2017a).
and the e!ect of decay and dephasing was studied in
Issoufa and Messikh (2014), who observed that the lat-
ter has more e!ect on the final fidelity than the former.
c. Use STA techniques after mapping to a two-level system.
The robustness of this scheme with respect to energies
The third strategy is based on mapping or approximate
fluctuations, e.g. due to collisions of a solute with a sol-
the three-level system to a two-level system and then ap-
vent, was examined in Masuda and Rice (2015b).
plying two-level STA techniques. In particular when the
In practice the additional coupling Ω13 can be imple- middle level |2# is detuned it can be adiabatically elim-
mented in some but not in all systems, e.g. because of inated. The counterdiabatic techniques of STA can be
selection rules due to symmetry of the states or the nec- then applied to this e!ective two-level system and the
essary phase of the term. In fact Vitanov and Drewsen resulting pulses can be mapped back to the three-level
(2019) proposes a method for e”cient optical detection system. No additional coupling is required between the
and separation of chiral molecules based on the phase metastable states |1# and |3#, and the existing couplings
sensitivity of the approach. are only modified. This approach is exploited theoreti-
An example of a physical system to which this first cally in Li and Chen (2016) and, using cold 87 Rb atoms,
strategy has been applied is “Spatial Adiabatic Passage” it was experimentally implemented in Du et al. (2016).
(Menchon-Enrich et al., 2016) in which three wells play
the role of the three internal states. The additional imagi-
nary coupling may be implemented using a magnetic field J. Motional states mapped into a discrete system
that induces a complex tunneling term (Benseny et al.,
2017). In Nitrogen-Vacancy electronic spins, this ad- In trapped systems a simplifying route to apply short-
ditional coupling has been experimentally implemented cuts to control motional degrees of freedom is to dis-
mechanically via a strain field (Amezcua et al., 2017; cretize first the quantum system into a finite number of
Kölbl et al., 2019). In a superconducting transmon with localized states, that could be time dependent. Then the
a three-level ladder configuration, the auxiliary field to previous methods can be applied. Ideally the resulting
induce a fast transition from the ground to the sec- STA protocol should be translated to the original set-
ond excited state is achieved with a two-photon mi- ting to check its performance, or resistance to noise and
crowave pulse to circumvent the forbidden transition perturbations, although this step is not always realized.
(Vepsäläinen et al., 2018). We provide here some examples of approximations in
As a generalization, a discrete FF approach can be terms of two, three and four states:
set to accelerate the STIRAP protocol with an addi- -Two states: Wavepacket splitting operations
tional control parameter with respect to the CD solution were modeled by systems of two time-dependent
(Masuda and Rice, 2015a, 2016). The following para- states in Torrontegui et al. (2013b), and multiplex-
graphs discuss alternative STA routes when the new re- ing/demultiplexing of harmonic oscillator vibrational
quired coupling is not easy to implement or too weak, states in Martı́nez-Garaot et al. (2013). Two-level mod-
e.g. a magnetic dipole transition. els are also used to study spin dynamics in a quantum
27
q2
dot with spin-orbit coupling (Ban et al., 2012b).
-Three states: In “Spatial Adiabatic Passage”, analo- Q2
Q1
gous to STIRAP (Vitanov et al., 2017), a particle may
tunnel between three wells. The system is approximated
by a three-state system and shortcuts may be applied θ
●
(Benseny et al., 2017). Martı́nez-Garaot et al. (2014a) (0)
(q1 ,
(0)
q2 )
provides other examples, such as wavepacket splitting in
three wells or operations on two-interacting bosons in two
wells.
-Four states: Kiely et al. (2016, 2018) model the mo-
tion of an ultracold atom in a lattice by a four-state sys- q1
tem, and apply invariant-based STA techniques to cre-
ate exotic angular momentum states of ultra-cold atoms
in an optical lattice. In Li et al. (2018b) the four-level FIG. 9 (Color online) Schematic representation of isopo-
model takes into account both motional and internal as- tential curves of a mass-weighted potential in the two-
pects, representing up/down spin states in two di!erent dimensional configuration space of laboratory-frame coordi-
wells. nates q1 , q2 . These curves are ellipses centered at the mov-
(0) (0)
ing equilibrium position (q1 , q2 ) with the orientation of the
principal axes given by the angle θ. The dynamical normal
mode coordinates are Q1 , Q2 . From Lizuain et al. (2017).
III. APPLICATIONS IN QUANTUM SCIENCE AND
TECHNOLOGY
of an e!ective time-dependent harmonic oscillator. Dy-
This section is organized by system type. A number
namical normal modes help to describe the motion in a
of tables group together articles, otherwise disperse in
simple way but also to inverse engineer the potentials
di!erent subsections, according to transversal criteria:
to achieve fast motions without final excitation. The
“gates” in Table II, “transport” in Table IV, and “ex-
invariant-based engineering of the time-dependence of
periments” in Table V.
the potentials is a natural route for that end. An im-
portant di!erence with respect to inverse engineering a
single harmonic oscillator is that several time-dependent
A. Trapped ions
harmonic oscillators for the di!erent dynamical modes
have to be engineered simultaneously with common con-
Trapped ions constitute one of the most developed trol functions.
physical platforms to implement fundamental quantum For example, to transport a chain of two ions, the po-
phenomena and quantum information processing. Since sition of the external harmonic trap is a common control
many ions in a single trap are di”cult to control, a function, and we cannot engineer a di!erent trap position
way towards large-scale computations with many qubits for each mode. The way to solve this type of inversion
is a divide-and-conquer scheme (Kielpinski et al., 2002; problem is to increase the number of adjustable param-
Wineland et al., 1998), where ions are shuttled around eters in the ansatzes for the auxiliary functions, see Sec.
in multisegmented Paul traps, while keeping just a few II.C.2.b, so that all the boundary conditions of the aux-
ions in each processing site. Apart from shuttling, com- iliary functions of all modes are satisfied simultaneously,
plementary operations such as separating and merging either exactly or via minimization subroutines.
ion chains, trap rotations, and expansions or compres- Dynamical normal modes have been used to speed up,
sions of ion chains are needed. Coulomb interactions, via invariants, the transport of two or more (possibly dif-
and controllable external e!ective potentials created by ferent) ions (Lu et al., 2015; Palmero et al., 2014, 2013),
radio frequency or DC electrodes determine the motion of and to design trap expansions or compressions of ion
the ions and the corresponding Hamiltonians, which can chains in a common trap (Palmero et al., 2015a), ion sep-
be approximated by quadratic forms near equilibrium. aration (Palmero et al., 2015b), and two-ion phase gates
driven by spin-dependent forces (Palmero et al., 2017).
However, for some operations a point transformation5 to
1. Dynamical normal modes define the dynamical modes does not exist.
For 2D systems the condition that an uncoupling point
Dynamical normal modes are a useful generalization
of ordinary normal modes for time-dependent, quadratic
Hamiltonians (Palmero et al., 2014), or in the small-
5
oscillations regime for non-harmonic ones. They are inde- In a point transformation new coordinates depend only on old
pendent harmonic motions which describe the dynamics ones
28
transformation exists is simply that the principal axes of ditions for state-of-the-art miniaturized ion traps. Given
the equipotential ellipses, see Fig. 9, do not rotate in the the simplicity of the approach and results, they consid-
laboratory frame (Lizuain et al., 2017). If the ellipses are ered the compensating-force to be the method of choice
translated, expanded or compressed, dynamical normal for current experimental settings. Anharmonicity was
modes may be defined via point transformations. An op- found to play no significant role. This paper sets the re-
eration for which the point transformation does not exist lation between the desired trap trajectory and the volt-
in general is the separation of two di!erent ions in an ages applied in the control electrodes. The model was
external potential ϕ(t)x2 + β(t)x4 , except when the ratio later applied by Tobalina et al. (2018) to analyze the en-
β 3 (t)/ϕ5 (t) is a constant. Similarly, for the rotation of ergy cost of ion transport
a two-dimensional anisotropic trap holding one ion there
is no point transformation leading to normal modes. A Lu et al. (2014d, 2018) analyze the e!ect of di!erent
way out is to compensate for the inertial potential pro- colored noises on single-atom transport and how to mit-
portional to the angular momentum with an (e!ective) igate their e!ect. Dynamical and static sensitivities are
magnetic field. This is similar to the inertial force com- distinguished, according to their dependence or indepen-
pensation with a homogeneous force in transport, see Sec. dence with trap motion. They behave in opposite ways
II.C.2.b. Finally, it is also possible to consider general- with respect to transport duration, which implies a tran-
ized transformations mixing coordinates and momenta sition between the dominance of the dynamical sensitiv-
(Lizuain et al., 2019). ity at short times and of the static one at large times.
The crossover is important, as it demonstrates that the
widespread expectation that shorter STA times are al-
2. Ion transport ways more robust versus noise (a behavior that holds for
the static but not for the dynamic sensitivity) is not nec-
Among the di!erent operations on ions addressed essarily true, and that optimal times exist with respect
by STA methods, ion transport is the most studied to robustness. Li et al. (2017d) proposed trigonometric
both theoretically (Fürst et al., 2014; Li et al., 2017d; protocols that minimize the (classical) excitation due to
Lu et al., 2014d, 2015, 2018; Palmero et al., 2014, 2013; anharmonicities within a perturbative approach.
Pedregosa-Gutierrez et al., 2015; Tobalina et al., 2018)
and experimentally in Paul traps (Alonso et al., 2016; Two-ion transport was addressed in Palmero et al.
An et al., 2016; Bowler et al., 2012; Kamsap et al., 2015; (2014, 2013). Also, Lu et al. (2015) designed optimal
Kaufmann et al., 2018; Walther et al., 2012). The first transport of two ions under slow spring-constant drifts.
two experiments were done simultaneously in Boulder Designing fast transport of two di!erent ions is chal-
(Bowler et al., 2012), using a Fourier transform tech- lenging because the simple compensating force approach
nique, and Mainz (Walther et al., 2012), optimizing some is not possible if only forces induced by the electrodes
driving protocols, to transport one or two ions diabati- are applied. They only depend on the charges, whereas
cally for 300 to 400 µm on a 5 to 10 µs time scale (a few the compensating forces should depend on the mass
oscillation periods) achieving final excitations below one (Palmero et al., 2014). Dynamical normal modes can
motional quantum. Later, Kamsap et al. (2015) trans- however be defined so the problem is solved using in-
ported large ions cloud using numerical simulations to variants (Palmero et al., 2014). Two-ion transport may
control the dynamics. In 2016, other shortcut techniques also be performed with “spin-dependent” optically in-
were used to improve transport experiments, for example duced forces that may be di!erent for di!erent internal
the bang-bang method using nanosecond switching of the states. An interesting application is the implementation
trapping potentials in Alonso et al. (2016). The experi- of fast phase gates in which di!erent phases are imprinted
ment in An et al. (2016) simulated CD-driven transport depending on the internal states because of the di!er-
in an interaction picture with respect to the harmonic os- ent motions induced. Invariant-based design of the ion
cillation, and also performed the compensating force ap- trajectories guarantees a robust phase because of its geo-
proach as unitarily equivalent transport in the interaction metric nature and its independence on the motional state
picture. The driving forces were induced optically rather (Palmero et al., 2017). Similar ideas may be applied to
than by varying voltages of control electrodes. Finally design a single-ion driven interferometer to measure un-
Kaufmann et al. (2018) used recently invariant-based in- known small forces (Martı́nez-Garaot et al., 2018). Inter-
verse engineering to design ion transport, and measured ferometry driven by STA trajectories (using ions or neu-
internal infidelities less than 10−5 , an important prereq- tral atoms (Martı́nez-Garaot et al., 2018; Navez et al.,
uisite for the success of quantum-information-processing 2016)) o!ers, compared to the usual schemes where the
schemes that rely on ion transport. systems evolves freely along separated branches, the pos-
On the theoretical side, Fürst et al. (2014) used Op- sibility to control the timing and the sensitivity, absence
timal Control Theory and the compensating force ap- of wavepacket dispersion, and robustness versus initial
proach to analyze the transport of an ion in realistic con- motional states.
29
FIG. 10 Vibrational level inversion by STA processes based on trap deformations: demultiplexing, bias inversion, and multi-
plexing. From Martı́nez-Garaot et al. (2013)
3. Other operations
Rotations. Palmero et al. (2016) provided invariant-
based shortcuts to perform fast rotations of an ion in a
1D trap.6 Lizuain et al. (2019) design fast rotations of
Fast ion separation. Separating two ions, or more gen- a 2D anisotropic trap to produce a rotated version of an
erally a chain, is a delicate operation and STA-enhanced arbitrary initial state when the two normal frequencies
experiments (Bowler et al., 2012; Ruster et al., 2014) are commensurate.
provide excitations above one motional quantum per
ion. Bowler et al. (2012) used a FAQUAD approach,
and Ruster et al. (2014) optimized control parame- B. Double wells
ters. In theoretical works (Home and Steane, 2005;
Kaufmann et al., 2014; Nizamani and Hensinger, 2012; A double well is a useful potential to test funda-
Palmero et al., 2015b) the control process is modeled mental quantum physics and applications in interfer-
as a time-dependent evolution of the parameters in the ometry or quantum and classical information process-
external confinement potential ϕ(t)x2 + β(t)x4 . The ing. Shortcuts using invariants have been proposed for
di”culties come from the change of sign of ϕ(t) from several operations involving double wells and motional
positive (in the initial trap) to negative values (to form states, for example to split one-particle wavefunctions
the central barrier). When the harmonic confinement in linear or nonlinear settings (Martı́nez-Garaot et al.,
vanishes, the values of β are bounded by experimental 2016; Torrontegui et al., 2013b), to speed up the cotun-
limitations. Thus the confinement becomes weak, levels nelling of two interacting bosons (Martı́nez-Garaot et al.,
get close to each other, and the ions su!er heating. 2015b), to split ion chains as discussed in Sec. III.A.3,
If the ions are di!erent, further di”culties arise as a or to model the erasure of a bit with a Brownian particle
consequence of the general absence of normal modes (Boyd et al., 2018). Applications involving many-body
based on point transformations (Lizuain et al., 2017), as systems are reviewed in Sec. III.G. Other STA opera-
commented above, see Sec. III.A.1. tions in double wells are vibrational-state inversion and
multiplexing/demultiplexing.
Vibrational mode multiplexing is the spatial separa-
Ion expansions/compressions. Palmero et al. (2015a)
tion of the vibrational modes of a harmonic trap. For
analyzed by invariant-based inverse engineering how to
the first two modes the separation is done by transform-
expand/compress ion chains of equal or unequal ions,
ing smoothly the harmonic trap into a biased double
and Torrontegui et al. (2018) studied how to speed up a
well. Martı́nez-Garaot et al. (2013) maps the STA pro-
single-ion heat pump. This work analyzes the possibility
cess from a two-level model into a realizable potential in
to implement repulsive potentials. They are found to
coordinate space designing the time-dependence of two
be feasible in the radial direction by turning of the
control parameters. A fast inversion of the double-well
radiofrequency drive and relying on the Direct-Current
bias, so that the lower well becomes the upper one and
(cap) electrodes. Earnshaw’s theorem does not allow
viceversa, can be performed by noticing that the opera-
for absolute minima so that a minimum in the axial
tion, in an independent-well regime, amounts to a trans-
direction of the trap corresponds to a maximum in the
port process, so that the compensating force approach
radial direction.
can be applied (Martı́nez-Garaot et al., 2015a) to design
the time dependence of the bias. Combining sequentially
Penning traps. Shortcuts have been applied as well to
multiplexing, bias inversion, and demultiplexing, leads to
Penning traps: Kiely et al. (2015) designed via invariants
a fast inversion of vibrational levels using only a transient
a non-adiabatic change of the magnetic field strength
trap deformation and no excited internal states, see Fig.
to change the radial spread without final excitations,
and Cohn et al. (2018) implemented experimentally a
protocol to produce entangled states in a Dicke model
6 Video in https://www.youtube.com/watch?v=ToQXnd FdUw
realized in a two dimensional array of trapped ions.
30
10. Interestingly, there is no adiabatic path connecting crete and continuous interactions. Following Chen et al.
the ground and the excited states, but a combination of (2014b), many other papers have used the QZD approxi-
STA processes leads to the desired state. The explana- mation to decouple di!erent Hilbert subspaces by assum-
tion is that inverting the bias is in fact adiabatic within ing that the atom-cavity coupling is much larger than
the approximation of independent wells, in other words, the driving field Rabi frequencies. The simplified e!ec-
during a time scale which is short compared to the dura- tive Hamiltonians were controlled with the use of di!er-
tion of the process. ent STA techniques to design fast and robust protocols
Bücker et al. (2013, 2011) have independently per- against decoherence produced by atomic spontaneous
formed motional-state inversions by shaking anharmonic emission and cavity leakage, see for example Wu et al.
potentials guided by an OCT algorithm to produce (2017b). Chen et al. (2014c) extended the idea of com-
twin atom beams and interferometry applications, but bining QZD and STA methods to control the dynamics
a smooth STA-based deformation similar to Fig. 10 has of atoms trapped in distant cavities connected through a
not yet been implemented experimentally. fiber.
A requirement for the success of quantum mechan-
ics in information processing tasks is scalability towards
C. Cavity quantum electrodynamics multiparticle (N > 2) setups. The macroscopic charac-
ter of cavity QED setups favors the interaction among
Entangled state preparation in cavity quantum electro- qubits and thus scalability. Numerous setups and con-
dynamics. In cavity quantum electrodynamics atoms and trol designs have been proposed to generate large entan-
light are confined such that the quantum states of the gled states using STA methods and the QZD assumption,
atom are protected by allowing only controllable transi- in particular large-N entangled W states (Chen et al.,
tions compatible with the modes of the cavity and thus 2016b; Huang et al., 2016c, 2015; Kang et al., 2016a,b;
isolating the atom from any electromagnetic environment Song and Chen, 2016; Wang et al., 2016a; Yang et al.,
other than the cavity itself. These systems have recently 2018; Yu et al., 2017), or GHZ states (Chen et al., 2015b;
opened up new prospects to implement large-scale quan- Huang et al., 2016a,b; Shan et al., 2016; Xu et al., 2017;
tum computation and to generate nonclassical states. Ye et al., 2016; Zhang et al., 2017b). Moreover, using
An early proposal to produce entangled states faster the QZD scheme several authors presented various STA
than adiabatically by moving atoms in and out an opti- setups to create 3D-entanglement between atoms indi-
cal cavity is in Marr et al. (2003): the proposal was to vidually trapped in distant optical cavities connected by
use cavity leakage to stabilize the desired (adiabatic-like) a fiber (Liang et al., 2015c; Lin et al., 2016; Wu et al.,
time evolution by damping away population in unwanted 2016a,b) or between two atoms trapped in a single cav-
states. However a consequence is that the success rate ity (He et al., 2016; Yang et al., 2017).
decreases. Shortcuts have also been proposed to generate other
In the post-2010 era the use of shortcuts to inverse less common entangled states, such as large NOON
engineering the dynamics of two atoms inside a cav- states of two sets of ’-atoms in distant cavities using
ity was discussed first by Lu et al. (2014b). They used invariants (Song et al., 2016a), and, using CD driving,
the counterdiabatic driving formalism to create maximal a three-atom singlet in a common cavity (Chen et al.,
entanglement between the two atoms but, due to the 2016d), tree-type 3D entangled states (Wu et al., 2016a,
complexity of the resulting counterdiabatic Hamiltonian, 2017d), two-atom qutrit entanglement (Peng et al.,
they had to introduce an alternative, physically feasible 2017), or maximally entangled states of two Rydberg
Hamiltonian that needs auxiliary internal levels, an extra atoms (Zhao et al., 2017).
laser field, and an extra cavity mode. The same group
tried a di!erent strategy using invariants to accelerate Other applications. Di!erent STA-enhanced quan-
the state transfer between two three-level atoms in a cav- tum gates were designed within the QZD condition.
ity quantum electrodynamics (QED) system (Lu et al., For example, invariant-based inverse engineering was
2014a). used to develop To!oli gates (Song et al., 2014), phase
Chen et al. (2014b) used invariants combined quan- gates (Chen et al., 2015a; Liang et al., 2015d), CNOT
tum Zeno dynamics (QZD) to simplify the dynam- gates (Liang et al., 2015b), or swap gates (Liang et al.,
ics and speed up the population transfer between two 2015a). Wu et al. (2017a) use the dressed-state method
atoms trapped in a cavity. The quantum Zeno ef- (Baksic et al., 2016) to design a fast CNOT gate in a cav-
fect inhibits transitions by frequent measurements so ity QED system which consists of two identical five-level
that the system evolves in the so-called Zeno sub- atoms in two single-mode optical cavities connected by a
space (Facchi and Pascazio, 2002). This quantum Zeno fiber.
dynamics can be also achieved via a strong continu- As well, shortcuts have been proposed to produce
ous coupling (Facchi and Pascazio, 2002). In particu- single photons on demand in an atom-cavity system
lar Muga et al. (2008) discuss the mapping between dis- approximated by three levels (Shi and Wei, 2015). A
31
system of distant nodes in two-dimensional networks plied as well to optomechanical systems. One of the
(cavities with a ’-type atom) is approximated by a early applications of the invariant-based approach in
three-level ’ system in Zhong (2016) and then STA Chen et al. (2010b) was to cool down a mechanical res-
techniques are applied to achieve fast information onator in a cavity optomechanical system with external
transfer. optical fields (Li et al., 2011).7 For more recent applica-
tions see Chen et al. (2018c); Zhang et al. (2018a); and
Optomechanical systems. Shortcuts have been ap- Zhou et al. (2017b).
Other works apply the standard STA methods, in par- which the spin dynamics in a quantum dot with spin-
ticular CD driving, to transfer information between dis- orbit coupling and a weak magnetic field is controlled
tant nodes of flux qubits in annular and radial super- by time-dependent external electric fields only. The de-
conducting networks (Kang et al., 2017c); to complete pendence of the e!ective 2 × 2 Hamiltonian on the elec-
Bell-state analysis for two superconducting-quantum- tric field makes a CD approach non-viable with electric
interference-device qubits (Kang et al., 2017a); or to control. However invariant-based inverse engineering is
measure the Berry phase (Zhang et al., 2017c) in a phase applicable and circumvents the di”culty.
qubit. Two electrons in a double dot o!er more freedom
Further applications of CD shortcuts include the pro- since di!erent electric fields can be applied to each dot.
posal or realization of gates. Zhang et al. (2015a) pro- Thus CD driving combined with a unitary transformation
posed holonomic one and two-qubit gates based on could be applied to induce fast singlet-triplet transitions
four-level systems in superconducting transmons. Ex- (Ban and Chen, 2014), again within a 2 × 2 Hamiltonian
periments were performed to implement single-qubit modeling.
quantum gates in a superconducting Xmon system Synthetic spin-orbit coupling in ultracold atoms and
(Wang et al., 2018) with a hybrid CD+DRAG approach, condensates is also of interest to control internal and
and non-Abelian geometric gates with a ladder three- motional states. Invariant-based protocols to simultane-
level system (Yan et al., 2019a). Superconductors also ously control the internal (related to its pseudospin-1/2)
play a role as a possible platform to realize topologi- and motional states of a spin-orbit-coupled BEC in Morse
cal quantum information processing based on “braiding” potential are also studied in Ban et al. (2015) by a 2 × 2
non-Abelian quasiparticles. Karzig et al. (2015) explore e!ective Hamiltonian.
CD protocols to realize these braiding operations in finite A 4 × 4 Hamiltonian is used in Li et al. (2018b) to
time. model and design the transport of a qubit encoded in
Interfacing di!erent architectures to make better use the electron spin among two quantum dots, performing
of their optimal features may be important to jump from simultaneously an arbitrary qubit rotation (gate). The
proof-of-principle to practical technologies. In particu- transfer may be extended sequentially to a chain of
lar, superconducting circuits may be combined with opto- dots. These processes need time-dependent control of
mechanical systems producing hybrid quantum systems. the spin-orbit and inter-dot tunneling coupling. The
Zhou et al. (2017b) propose a protocol to e”ciently con- dynamical engineering of the four-level system applies
vert microwave to optical photons, enabling the transmis- the technique developed in Li et al. (2018c) based on
sion of information through optical fibers with minimal the geometry of 4D rotations.
loss. One more application of shortcuts in superconduct-
ing circuits is to create photonic cat states. Stored in Models with a continuum. Models that retain motional
high-Q resonators these states could lead to e”cient uni- (1D, in x direction) and internal degrees of freedom of the
versal quantum computing (Puri et al., 2017). electron without discretization began with Čadež et al.
(2013), who considered an electron with spin-orbit cou-
pling in a moving harmonic quantum dot,
E. Spin-orbit coupling
p2x m∗ ω 2
Discrete models. Coherent spin manipulation in quan- H(t) = + [x → ξ(t)]2 + px (ϕσy → βσx ), (103)
2m∗ 2
tum dots via electric, magnetic, and spin-orbit coupling
(SOC) control is one of the avenues to solid-state based where m∗ is the e!ective electron mass, ξ(t) is the time
quantum information. STA methods have been proposed dependent position of the harmonic trap, and ϕ and β
to speed up operations and fight decoherence also in are Rashba and Dresselhaus spin-orbit couplings. The
this context. In particular, STA are very welcome to dynamics of this model is exactly solvable via invariants,
speed up double quantum dots with SOC control, since and fast bang-bang trap trajectories leading to spin con-
strong fields nontrivially slow down the operations involv- trol (e.g. spin flip) without final excitation were found
ing spin-orbit coupling and tunneling (Khomitsky et al., for β = 0. In Čadež et al. (2014), β is fixed to zero while
2012). ϕ remains time dependent. The dynamics can still be
The interplay between motional and spin degrees of found exactly and expressions are given for dynamical
freedom is typically modeled by an e!ective discrete and geometrical phases in closed loop trajectories of the
Hamiltonian where STA techniques are applied. The control parameters. Chen et al. (2018a) translate these
physics behind the model, however, makes the exercise ideas to synthetic spin-orbit coupling in BECs and apply
nontrivial, as the di!erent matrix elements are not al- inverse engineering of ξ(t) and ϕ(t) (β = 0) from aux-
ways controllable independently by the available external iliary Newton-like equations for the center-of-mass posi-
manipulations. An example of these physical constraints tion of the condensate and its spin precession. Again spin
and a way out is provided in Ban et al. (2012a,b), in is flipped fast by proper design of the controls.
33
Quantum information processing with nitrogen- All the above sets a strong motivation for devel-
vacancy (NV) centers is appealing because of the possi- oping STA approaches in many-body systems. In
bility to operate with qubits at room temperature. Yet, some cases “exact” shortcuts may be found, for exam-
decoherence is still a problem and several STA protocols ple after having applied mean-field theories, or semi-
have been implemented in experiments or proposed the- classical approximations for large number of parti-
oretically. cles N , or due to exact solvability, as for self-similar
The counterdiabatic driving approach was applied to dynamics for specific interactions (del Campo, 2011,
design (“universal”) sets of fast and robust non-Abelian 2013; del Campo and Boshier, 2012; De!ner et al., 2014;
geometric gates: Song et al. (2016d) propose to use Muga et al., 2009). Rohringer et al. (2015) demon-
four NV centers around a whispering-gallery mode strated scaling behaviour and shortcuts for expansions
microsphere cavity; while Liang et al. (2016) make use and compressions of phase-fluctuating quasi-1D Bose
of a single NV center coupled to a 13 C nuclear spin both gases, and more recently Deng et al. (2018a,b) in a three-
modeled as two-level systems; and Du et al. (2017) a dimensional anisotropic “unitary Fermi gas”.
three-level scheme for the NV center where two of the
couplings are due to microwave fields, and the third Indeed, early STA experiments showed that many-
coupling is mechanically induced. body systems may benefit from STA techniques: ex-
pansions of clouds of cold thermal atoms were handled
Experiments have shown the flexibility of NV cen- via invariants in the independent-atom approximation
ters to implement STA protocols for discrete systems: (Scha! et al., 2010), and interacting Bose Einstein con-
Kleißler et al. (2018) implement 1-qubit holonomic gates densates could be expanded fast using scaling in the
proposed by Liang et al. (2016) in an e!ective two-level mean-field approximation (Scha! et al., 2011a,b).
system driven by a microwave field with controllable,
time-dependent detuning, Rabi frequency, and phase; However, adiabaticity is often problematic for many-
Liu et al. (2018) used the eigenbasis of the dynamical body systems making STA challenging. The di”culties
invariant I(t) associated with H(t) as the auxiliary ba- are illustrated by the “orthogonality catastrophe”: two
sis for constructing geometrical gates; and in Zhou et al. ground states for two slightly di!erent values of a control
(2017a), stimulated Raman adiabatic passage in a three- parameter λ may become orthogonal in the thermody-
level system was sped up using dressed state driving in namic limit so that “strict” adiabaticity breaks down in
terms of the original controls of the reference Hamilto- essentially zero time. For certain drivings this occurs
nian. even with a finite gap. Milder definitions of adiabatic-
The possibility of physically implementing two mi- ity are possible (Bachmann et al., 2017) refering to local
crowave couplings and one mechanical coupling among variables rather than to the global N -body wavefunction.
three levels is one of the interesting features of STA
applied to NV centers (Amezcua et al., 2017; Du et al., The di”culties to implement adiabatic drivings are
2017). Thanks to this structure Kölbl et al. (2019) use also evident in phase transitions across a quantum criti-
CD protocols experimentally to implement the initial- cal point, which lead to excitations for any finite crossing
ization, readout, and coherent control of 3-level dressed rate of the parameter. CD drivings can be found for the
states. These states o!er e”cient coherence protection, family of models which are solvable by a transformation
better than the one achieved by two-level systems. into independent fermions, as for the 1D Ising model in
34
TABLE III Works where STA methods are applied to LMG-like models
Reference Reference Hamiltonian Comment
Juliá-Dı́az et al. (2012) U (t)Jz2 − 2JJx Invariants, large N .
Yuste et al. (2013) U Jz2 − 2J(t)Jx Invariants, time-dep. mass
Takahashi (2013b) −(2/N )[Jx (t)Sx2 − Jy (t)Sy2 + γSy2 ] − 2h(t)Sz Large N , CD
Campbell et al. (2015) −(2/N )(Sx2 + γSy2 ) − 2h(t)Sz Approx. CD
Opatrnỳ et al. (2016) Ac (t)Hc + An (t)Hn ; Hc = )c · J), Hn = (Jz − nI)2 Approx. CD
Hatomura (2017) −[(2J)/N ]Sz2 − 2Γ(t)Sx − 2hSz Mean field, CD
Takahashi (2017b) f (t){−[(2J)/N ]Sz2 − 2hSz } − 2Γ(t)Sx Mean field, invariants
−f (t)[(2J)/N ]Sz2 − 2Γx (t)Sx − 2Γy (t)Sy
!
f (t)(− Jij σi σj2 − 2hSz ) − 2Γ(t)Sx
Hatomura (2018) −[(2J)/N ]Sz2 − 2Γx (t)Sx Mean field, CD
a traverse field (del Campo et al., 2012),8 particular, the aim of adiabatic computing is to find the
ground state, which encodes the solution of a computa-
N
% tional problem, by adiabatic following, precisely because
H=→ (σnx σn+1
x
+ gσnz ). (104) it cannot be calculated. Yoshimura and Freericks (2015)
n=1
proposed to apply a method to estimate the proba-
After a Jordan-Wigner transformation, the Hamiltonian bility to be in the ground state from time-dependent
is decomposed into a series of independent Landau- measurements without knowing the Hamiltonian or
Zener Hamiltonians for which the counterdiabatic driv- its eigenfunctions, in order to optimize approximate
ing is known. However in spin space HCD is highly shortcuts. Another phenomenological way out for some
non-local, it involves long-range, multi-body interac- applications may be to optimize control parameters
tions, increasingly important and divergent near the experimentally. For example Cohn et al. (2018) propose
critical point (del Campo, 2013; del Campo et al., 2012; an optimization of a bang-bang protocol for the external
del Campo and Sengupta, 2015; Damski, 2014, 2015; parameter to produce entangled states in a Dicke model
Duncan and del Campo, 2018). For specific mod- realized in a two-dimensional array of trapped ions in a
els the non locality may be circumvented. Thus Penning trap.
Okuyama and Takahashi (2016) achieve a local CD for
the Toda lattice using the machinery of Lax pairs, and Josephson junctions and Lipkin-Meshkov-Glick-like
Takahashi (2013b) for the XY model uses a “fixed-point models. Much work has been done to apply shortcuts
condition” where HCD = 0. to many-body models which are either similar to or par-
Systematic e!orts have been done to find approxi- ticular cases of the Lipkin-Meshkov-Glick (LMG) model
mate shortcuts based on truncation of the CD terms
(del Campo et al., 2012; Damski, 2014) by restricting HLMG = ![ΩJz + W (Jx2 + Jy2 ) + V (Jx2 → Jy2 )], (105)
the range of the interaction, imposing adiabaticity only
locally via local interactions (Mukherjee et al., 2016), where Jx = 21 (a† b + ab† ), Jy = 2i 1
(a† b → ab† ) Jz =
or optimizing an approximate ansatz for HCD based on 1 †
(a a → b †
b) are “pseudospin” operators, with a, b be-
2
simple (in particular two-body) auxiliary fields. This ing annihilation operators for two sites or two internal
optimization requires spectral and wavefunction knowl- states. The same type of Hamiltonian appears in spin
edge that is available for finite systems of experimental models where the operators Jα are to be interpreted as
interest (Saberi et al., 2014). Such detailed information global angular momentum operators, usually denoted in-
&
is however typically not available for larger systems so stead by Sα = 21 i σαi , ϕ = x, y, z, where σ i is the Pauli
another major research thread is to avoid using explicit spin operator for site i. Table III depicts some of the orig-
spectral information to construct the shortcut. A inal Hamiltonians for which shortcuts were developed.
variational approach proposed in Sels and Polkovnikov Bosonic Josephson junctions were treated in
(2017), see Sec II.B.2, moves in that direction. In Juliá-Dı́az et al. (2012) to generate spin-squeezed
states. The junction was modeled with a two-site Bose-
Hubbard Hamiltonian, see Table III. The ground state
8
for U > 0 (antiferromagnetic LMG model) is unique. In
Other solvable model where the CD driving involves as well
many-body interactions, is the one-dimensional Kitaev honey-
the large-N limit and in the Fock basis of boson imbal-
comb model (Kyaw and Kwek, 2018). It has been proposed to ance between the two wells the system may be treated
generate highly entangled “cluster states” needed to implement semiclassically i.e., considering a continuous rather than
“measured based quantum computation”. discrete population imbalance, for time dependent U (t)
35
A. Energy costs
H. Metrology
In human a!airs, shortcuts to reach a place or a goal
Quantum systems o!er, via interference, entangle- may cost money or consume energy, although there is
ment, and squeezing many interesting possibilities for no universal recipe or law on the costs applicable to all
metrological applications and for improving measure- circumstances. Some shortcuts are really for free, or al-
ment sensitivities. Allowing for time dependence in the most, so they save time and resources, but others need a
Hamiltonian can only enhance the possibilities to find toll. Finding the “energy cost” of shortcuts to adiabatic-
useful protocols (Pang and Jordan, 2017) so shortcuts to ity is a very relevant and indeed, lately, popular goal.
adiabaticity will also play an important role in metrology. It is tempting to consider shortcuts to be energetically
We have already seen along the review several examples: a free lunch since, by definition, the final energy is the
In Sec. III.A we mentioned how STA-enhanced interfer- same as for a slow adiabatic process. Many works, how-
ometry, in which the states are STA-driven along the in- ever put forward di!erent associated costs and imply that
terferometer branches, can increase sensitivities and de- STA driving can be hardly for free. In general the term
crease decoherence e!ects. Also, Secs. III.C, III.D, or “cost” has been used in a loose and heuristic way, with-
III.G provide examples where shortcuts are used to cre- out a fundamental analysis that justifies its suitability as
ate in di!erent platforms states of metrological interest an energy consumption. Actually most studies “define”
such as spin-squeezed states, NOON states, and other rather than “find” the cost so that di!erent definitions
entangled states. of “cost” given so far are not necessarily in conflict. As
Here we underline the strong link between CD driv- long as we leave aside the propriety of the term, we may
ing and optimal protocols for quantum metrology. regard them as di!erent aspects of the system energies or
Pang and Jordan (2017) pointed out that fundamental interactions, such as their evolution (transient values or
precision limits valid for time-independent Hamiltoni- time averages), excitations, fluctuations and flows, “in-
ans can be dramatically violated with appropriate time- tensities”, or inequalities for several times and energies
dependent control. In particular the Fisher information, involved.
whose inverse square root limits the precision to mea- In an early study on the expansion/compression
sure some parameter g in the Hamiltonian Hg for arbi- of a particle in a time-dependent harmonic oscillator
trary estimation strategies, can beat the limits valid for (Chen and Muga, 2010), the cost was related to the time
time-independent Hamiltonians. The information on g average of the particle energy. This average and its scal-
is transferred to a time evolution of a state measured at ing with process time tf depend strongly on the STA
some time T . The upper bound for the Fisher informa- applied. If the shortcut makes use of a properly chosen
tion can be realized for superpositions states whose com- ω(t) (e.g. designed via invariants) and no extra Hamil-
ponents evolve at all times along the maximal and min- tonian terms, it was found by Euler-Lagrange optimiza-
imal eigenvalues of ∂g Hg (t). Here a slight modification tion that for the n-th eigenstate the time averaged en-
of CD driving comes in handy. Similarly to Sec. II.B, a ergy obeys En > (2n + 1)!/(2ωf t2f ) for (ω0 /ωf )1/2 0 1
Hamiltonian term Hc (t) is added to Hg (t) so that the dy- and tf , (ω0 ωf )−1/2 , where ω0 and ωf are initial and
namics follows exactly the eigenstates |ψk (t)# of ∂g Hg (t) final (angular) trap frequencies. Realizing this bound
(rather than the eigenstates of a zeroth Hamiltonian is indeed possible but at the price of infinite instanta-
H0 (t) as in regular CD driving). Allowing for a freedom neous power at boundary times (Cui et al., 2016). The
to choose phases θ(t) for each mode Htot = Hg (t)+ Hc (t) bound is relevant even in anharmonic traps since the trap
37
depth D should be larger than En , which sets a scaling by setting ξ˙n (t) = →i$ṅ(t)|n(t)# (Santos and Sarandy,
tf ! [!/(ωf D)]1/2 for the minimal process time 10 . The 2018). In the framework of Eqs. (13-20) this amounts
time average of the standard deviation of the energy was to applying HCD alone, H = HCD .
found to scale also as tf −2 , tighter than the bound ! t−1
f Some authors (Campbell and De!ner, 2017;
that follows from the Anandan-Aharonov (AA) relation Zheng et al., 2016) define differential costs, instan-
(Anandan and Aharonov, 1990), taneous or accumulated, in terms of the CD term
only, ignoring H0 . In particular, existence problems
! are circumvented by considering the state-specific
τ≥ L, (107)
∆E [n]
counterdiabatic term HCD in Eq. (25). Note that
[n] *
setting τ = tf , where ||HCD || = ! 2$ṅ|ṅ# exists in systems where ||H|| does
not. Campbell and De!ner (2017) applied “quantum
L = arccos |$ψ(0)|ψ(τ )#|, (108) [n]
' speed-limit inequalities” to driving by H = H0 + HCD
1 τ
∆E = ($H 2 # → $H#2 )1/2 dt. (109) combining di!erent norm types (trace norm and Frobe-
τ 0 nius norm). Interestingly, Demirplak and Rice already
[n]
This is one of the first applications of “quan- considered ||HCD || and ||HCD || as a measure of the
tum speed limits” to shortcuts to adiabaticity,11 “intensity” of the couterdiabatic terms and used them
see for review De!ner and Campbell (2017). Many [n]
to find “minimal” CD terms. The state-specific HCD is
other applications have followed (Abah and Lutz, 2017; thus less intense (costly) than the general purpose HCD
Campbell and De!ner, 2017; Santos and Sarandy, 2015) (Demirplak and Rice, 2008).
using AA and/or a Margoulis-Levitin type of relation Other “di!erential costs” have been defined using dif-
(De!ner and Lutz, 2013b). To be noted is that a ferent references. In an STA protocol driven by H(t)
naive extension of the AA relation substituting ∆E by with instantaneous eigenvalues En (t) and an initial state
the time-averaged energy $H(t)# is not valid in gen- which is diagonal in the |n(t)# eigenbasis of H(t), with
eral for time-dependent Hamiltonians. Instead, a valid initial probabilities pn (0), del Campo et al. (2014) de-
Margoulis-Levitin-type relation is (De!ner and Lutz, fine a work distribution and the corresponding aver-
2013a; Santos and Sarandy, 2015) &
age work as $W # = k,n [Ek (t) → En (0)]ptnk p0n , which is
| cos L → 1| $H(t)# → $H(0)# for such states. ptnk = |$k(t)|U (t)|n(0)#|2
τ ≥ ! 1 -τ . (110) is the probability for the system to start at |n(0)# and be
τ 0 |$ψ(0)|H|ψ(t)#| found at |k(t)# at time t. & Similarly, they define the “adia-
As a more recent example of other definitions, the av- batic work” $Wad (t)# = (En (t) → En (0))p0n and suggest
erage power computed as the total work divided by the as a “pragmatic” definition of cost the time-average of the
process time was defined as the cost in Herrera et al. di!erential δW (t) = $W (t)# → $Wad (t)#. A lower bound
(2014). The cost has also been linked to the accumulated ∼ t2f for STA processes with inverse engineered time-
(Zheng et al., 2016) or time-averaged (Coulamy et al., dependent frequencies was found in Cui et al. (2016).
2016; Santos and Sarandy, 2015, 2018; Santos et al., In CD-driven processes, the eigenenergies of H(t),
2016) Frobenius norm of the Hamiltonian ||H(t)|| = En (t), di!er in general from the eigenenergies of H0 (t),
*
tr[H(t)2 ] or of some n-th power depending on the set- En (t). Similarly, eigenstates of H(t), |n(t)#, and H0 (t),
ting. This norm does not exist for many commonly found |n(t)#, di!er in general, although in most processes
Hamiltonians such as the one for the harmonic oscillator. HCD = 0 is imposed at t = 0 and tf , so that the initial
If it exists and- H *= H0 + HCD , the time average for H, and final eigenvalues and eigenvectors of H0 and & H coin-
t
(H (tf ) = t1f 0 f tr[H02 + HCD 2 ]dt, is larger than the cide. Funo et al. (2017) redefine $Wad (t)# = [En (t) →
-t * En (0)]p0n in terms of H0 eigenvalues (this would agree
one for the reference protocol (0 (tf ) = t1f 0 f tr[H02 ]dt,
with the previous definition at time tf ) and consider the
which suggests that CD driving always implies an addi- work distributions
tional cost. Choosing the phases ξn (t) of the evolved %
states in the unitary evolution operator (11) has an im- P [W (t)] = p0n ptn→k δ{W (t) → [Ek (t) → En (0)]},
pact on the energy cost. Specifically (H (t) is minimized k,n
% (n)
Pad [W (t)] = p0n δ[W (t) → Wad ], (111)
n
10 (n)
The energy in CD driving scales differently. For example, choos- where Wad (t) = En (t) → En (0). Since the initial state
ing a linear ramp for the reference ω(t), En is independent of tf , density operator is assumed diagonal in {|n(0)#} it will
whereas the time-averaged variance (for all monotonous ω(t))
goes as t−1 be diagonal in {|n(t)#} for all time because of the CD
f .
11 The AA relation has been later renamed a “Mandelstam-Tamm- driving. As $n(t)|H(t)|n(t)# = $n(t)|H0 (t)|n(t)# for all
type” relation, even if Mandelstam and Tamm did not consider times, it follows that $H(t)# = $H0 (t)# for all times
time-dependent Hamiltonians (Mandelstam and Tamm, 1945). and thus $W (t)# = $Wad (t)# during the process. As
38
!L [ρ(0), ρ(tf )]
tf ≥ , (112)
δ∆W
where now L is the Bures length between initial and
final (mixed) states. Funo et al. (2017) identify δ∆W
as the thermodynamic cost to implement the CD driv-
ing. The inequality (112) is tighter than the Aharonov-
Anandan relation, which involves instead the fluctuation
$H 2 (t)#→$H(t)#2 , although the latter is of broader appli-
cability, since it is not restricted to CD driving (neverthe-
FIG. 12 (Color online) Quantum Otto cycle for a particle in
less Bukov et al. (2019) conjecture, and validate for some a harmonic oscillator, adapted from Abah and Lutz (2018).
models, that the quantum speed limit for all protocols is The colors are intended to represent the temperature ordering
bounded by the quantum speed limit for CD protocols). as red (C) > orange (D) > light blue (B) > deep blue (A).
An experimental demonstration was carried out with an
Xmon qubit (Zhang et al., 2018c). These results were
also extended to classical systems (Bravetti and Tapias, time-averaged $HST A #. They also propose to add these
terms (one for the compression step, $HST1
2017). Funo et al. (2019b) study a quantum speed limit A #, and one
for open quantum systems described by the Lindblad 3
for the expansion, $HST A #) in the denominator of the
master equation. They find a “velocity term” that when e”ciency of an Otto cycle to the heat added,
the thermal relaxation is dominant compared to the uni-
tary dynamics of the system, is approximated by the en- work output
η= , (114)
1
heat added + $HST 3
ergy fluctuation of the counter-diabatic Hamiltonian. A # + $HST A #
A related trade-o! relation between time, entropy and
as an extra energy input. Thus this approach ignores the
state distance is worked out by Takahashi (2017a) con-
possible role of H0 (t) in actual energy costs and leads to
sidering a canonical equilibrium state in density opera-
some paradoxical results. In particular, choosing H(t) =
tor form ρ(0), corresponding to a Boltzmann distribu-
H0 (t) + HST A (t) as the new reference H0→ (t) = H(t),
tion with temperature T as the initial state. Removing
with frequency ω → (t) given by Eq. (61), no extra term
the contact with the thermal bath, this evolves unitar-
is needed since H0→ (t) is already a shortcut. The e”-
ily by H(t) = H0 (t) + HCD (t) into ρ(0 → t). Let ρ(t)
ciency, being of a di!erential nature, would then have
be the (instantaneous) equilibrium state corresponding
di!erent values for the same process depending on how
to H(t), and ρ0 (t) the equilibrium state for H0 , both
the Hamiltonian is partitioned (in one, H0→ = H, or two
at the same temperature as the initial state. Using the
pieces, H0 + HST A ).
Kullback-Leibler divergence, or relative entropy, from ρ1
If the unitary transformation on HCD is not performed
to ρ2 , DKL = trρ1 ln ρ1 → trρ1 ln ρ2 , Takahashi (2017a)
(Abah and Lutz, 2018; Abah and Paternostro, 2018), the
finds the “Pythagorean relation”
same type of modified e”ciency is proposed with the time
DKL (ρ(0 → t)||ρ(t)) averaged $HCD # playing the role of $HST A #. However,
= DKL (ρ(0 → t)||ρ0 (t)) + DKL (ρ0 ||ρ(t)), (113) $HCD (t)# is zero by construction at all times for states
diagonal in the eigenbasis of H0 (t), see Eq. (14). Ac-
which is interpreted as a decomposition of entropy pro- cordingly, all processes would have the same zero cost
duction. A trade-o! relation mentioned above follows independently of the H0 (t) chosen.
from setting a lower bound to it. Several papers analyze the e!ect of a control system
Abah and Lutz (2017) consider STA expansions and (CS) (also termed driving or auxiliary system) coupled
compressions of a harmonic trap holding a particle in to the primary system (PS) of interest to set the STA
the context of microscopic quantum engines and refriger- driving and its influence on the energy cost. Calzetta
ators, see Fig. 12, making use only of di!erent time- (2018) points out that the time-dependent driving Hamil-
dependences for ω(t). A reference Hamiltonian H0 (t) tonians in STA processes are typically semiclassical and
is complemented by some modification term HST A (t) thus approximate. For a simplified model with a par-
(found by unitarily equivalence from a CD term as ex- ticle in a harmonic oscillator whose frequency depends
plained e.g. in Ibáñez et al. (2012), see Sec. II.B.2.a and on a coordinate of a driving system and is subjected to
Eq. (61)), so that the resulting total H(t) drives an STA quantum fluctuations, Calzetta estimates the excitation
process. The authors associate the energy cost with the when the STA process is implemented on average. It
39
grows inversely with process time, but also vanishes as ample, in a simple harmonic transport of a particle with
the mass of the driving system increases. In a di!erent Hamiltonian p2 /(2m) + mω 2 [x → x0 (t)]2 /2 + g(t), driven
vein, Horowitz and Jacobs (2015), for a model in which by the control function x0 (t), the gauge function g(t)
the mesoscopic PS system of interest is coupled to dis- does not a!ect the dynamics and so it is frequently ig-
sipative Markovian noise processes and to an auxiliary nored, but it may a!ect strongly the PS energy and cor-
control system connected to a thermal bath, argue that responding power (Campisi et al., 2011; Tobalina et al.,
the minimal work to drive the system through a speci- 2019). A similar e!ect is found in expansions and com-
fied path of states is due to the need for the controller pressions of an ion in a Paul trap, where the gauge term
to compensate for the dissipation that tries to take the implies the opposite behavior to what could be naively
system away from the path. The exact formula depends expected, namely, an increase of energy during the ex-
on the Hamiltonian and state of the primary system for pansion, and a decrease during the compression. It re-
weak coupling but on the full Hamiltonian and state (in- mains to be seen if smart engineering and design can
cluding CS+PS) for strong coupling. equate the power of the external force to the PS power
Tobalina et al. (2018, 2019); and Torrontegui et al. (this implies unrealistic assumptions in the worked out
(2017) also stress the importance of the control system models, such as M = 0 and no friction), or at least
to find out true energy consumptions. The control sys- make them proportional, as approximately realized in
tem here is the equipment necessary to set the values some model examples (Tobalina et al., 2018, 2019). In
of the control parameters of the primary system. This any case further analysis of energy consumption, both
equipment is usually macroscopic and behaves classically. fundamental and for STA processes in di!erent systems
Even without direct dissipation of the primary system, (Impens and Guéry-Odelin, 2019) is needed.
implementing the driving will require energy consump-
tion due to an external force, invested to change the en-
ergy of the global system (PS+CS) and to combat friction B. Engines and refrigerators
of the control system, see Sec. VII.B.1 and Fig. 13. Since
STA processes are by definition fast, the arguments to A fundamental problem to design heat engine cycles
justify minimal energy consumptions neglecting friction is that maximal thermal e”ciency (output work divided
in the limit of slow motion (see e.g. Landauer (1961)) by the heat input from the hot bath) is achieved with
are not of much value.12 In a scenario with macroscopic slow processes that minimize losses but also imply negli-
control system and microscopic primary system, driving gible power output (output work divided by cycle time).
the control system along a predetermined path x(t) is Shortcuts appear at first sight to solve this problem as
likely to be the dominant source of consumption, with the adiabatic evolution can be mimicked in short times.
the energy and backaction of the primary system being STA-driven engines or refrigerators have been consid-
negligible in comparison, e.g. because of a large CS mass ered mostly for harmonic oscillators performing Otto
M compared to the PS mass m. These and other e!ects cycles, see Fig. 12, with two isochoric (constant fre-
are indeed shown explicitly with models for transporting quency) branches for contact with the hot and cold baths
a classical load (Torrontegui et al., 2017) or an ion in a and thermally isolated compression/expansion branches
multisegmented Paul trap (Tobalina et al., 2018, 2019). where STA driving, as developed e.g. in Chen et al.
A further relevant observation in these works is that in (2010a) and Salamon et al. (2009), is applied.13 For a
practice both positive and negative powers of the exter- recent review of the quantum Otto cycle for engines or
nal force typically imply consumption, i.e., the energy refrigerators see Koslo! and Rezek (2017).
given away by the system in “braking” time-segments Before the term “shortcuts to adiabaticity” existed,
with a negative power is not stored and recovered at will Ronnie Koslo!’s group had already worked out “fric-
in positive-power segments, although a phenomenological tionless” bang-bang protocols for the isochoric strokes in
parameter is introduced to account for the possibility to which the adiabatic state was recovered in the final time,
perform, at least partially, energy-e”cient regenerative- see e.g. Rezek et al. (2009) and Salamon et al. (2009).
braking. The models also show the importance of the After 2010, two early studies on shortcuts applied to cy-
control system to find the experimental gauge to deter- cles were Torrontegui and Koslo! (2013), which exam-
mine the PS energy and corresponding power. For ex- ined the performance of a refrigerator subject to noise,
and Deng et al. (2013), which addressed classical and
quantum systems to boost work characteristics and over- The third law of thermodynamics was formulated by
all heat engine performance. Nernst as the impossibility to reduce any system to ab-
Many other works followed and studied potential solute zero in a finite number of operations, see Koslo!
advantages or optimization of STA-driven processes (2013) for review. In the context of a quantum Otto heat
(Abah and Lutz, 2016, 2017; del Campo et al., 2014; pump it may be viewed as the vanishing of the cooling
Tu, 2014; Xiao and Gong, 2014). Some have tried rate when the temperature of the cold bath approaches
to enhance the power output by considering not zero (Rezek et al., 2009), and be quantified by the scaling
just STA but also many-body systems (Beau et al., law that relates the cooling rate and cold-bath tempera-
2016; Chotorlishvili et al., 2016; Deng et al., 2018a,b; ture. The fundamental bottleneck is the time needed for
Jaramillo et al., 2016), and nonlinear BECs (Li et al., the expansion branch. For a harmonic oscillator with a
2018a) driven by STA found with variational meth- time-dependent frequency, the temperature of the equi-
ods (Li et al., 2016). As well, Babajanova et al. (2018) librium states connected adiabatically (i.e. slowly) or by
find the equations of state for FF dynamics in ex- STA is proportional to the frequency !ω ∞ kT to keep
panding cavities that contain an ideal Fermi gas, and the average occupation number constant. Relevant ques-
Villazon et al. (2019) propose STA methods (unitarily tions are how fast we can lower ω and also finding scal-
transformed counterdiabatic driving) to manipulate both ings between the wanted times and the resources needed.
trap frequency and the coupling to the environment to The answers are not unique and depend on the method
realize fast approximate Otto engines operating near and constraints imposed. For expansions limited to a de-
Carnot e”ciency. signed protocol for ω(t) minimal times exist if ω(t) is real
The role and design of STA methods in quantum en- and bounded. Simple bang-bang solutions for real ω give
−1/2
gines and refrigerators is very much an open field where tf ∼ ω c (ωc being the extreme, target value of ω in
rather fundamental questions are still under scrutiny and the expansion) (Rezek et al., 2009; Salamon et al., 2009;
debate. (Further aspects are discussed in Secs. IV.C and Stefanatos, 2017b). If ω(t) is not restricted and allowed
V.) For example, most studies systematically focus on to be imaginary, the expansion times can be formally ar-
the primary system only so that e”ciencies and power bitrarily short for any ωc (Chen et al., 2010a). However
computed with usual PS-based formulae are idealized it is unrealistic to assume that arbitrarily fast processes
limits that ignore CS e!ects discussed in the previous are viable, as variously argued in Sec. IV.A. In particu-
subsection. Some tentative proposals exist to modify the lar, if the time average of the energy is supposed to be
denominator (energy input) in the e”ciency, e.g. tak- bounded, since the trap depth cannot be arbitrarily high,
ing into account time-averaged interactions of the terms the same type of scaling arises (Chen and Muga, 2010).
added to the reference Hamiltonian to perform the STA In fact more sophisticated bang-bang solutions, allowing
(Abah and Lutz, 2017), energy dissipated by noise in the for imaginary frequencies (Ho!mann et al., 2011), or an
controls (Koslo! and Rezek, 2017), or energy consump- arbitrary number of switches (Stefanatos, 2017a,b) lead
tions to set the CS parameters (Tobalina et al., 2019). to faster processes.
41
controlled location at the output using the invariant- demonstrating broadband silicon mode (de)multiplexers
based inverse engineering approach, interpreting the pho- with optimized tapers using the method in Ho and Tseng
tonic lattice as a quantum harmonic oscillator with (2015), and recently, the group of S.-Y. Tseng pro-
time-dependent mass. One year later, Pan and Tseng duced devices using the FAQUAD approach (Hung et al.,
(2015) applied the theory in Tseng et al. (2014) to 2019).
design silicon-based platforms with high refractive in-
dex contrast; Paul and Sarma (2015) used the CD ap-
proach to improve the design of a directional coupler; VII. EXTENSION TO CLASSICAL AND STATISTICAL
PHYSICS
and Ho and Tseng (2015) optimized the adiabaticity of
coupled-waveguides devices using invariant-based inverse
In this section, we review the di!erent STA methods
engineering.
which have been extended to classical mechanics and
Della Valle et al. (2016) developed an STA for ultra-
statistical physics, along with the presentation of a few
compact waveguide junctions inspired by the streamlined
proof-of-principle experiments that have been carried out
version of the fast-forward approach (Torrontegui et al.,
to demonstrate their e!ectiveness.
2012c). In this way they went beyond the coupled-mode
equation formalism by extending the optical STA to full-
wave problems for the Helmholtz equation, i.e., to an A. Counterdiabatic methods in classical mechanics
infinite-dimensional system.
In Chen et al. (2016a) the invariants were used to As already discussed in Sec. II.B, the counterdiabatic
design stable directional couplers against errors in term that we add to a time-dependent Hamiltonian in
input wavelength and coupling coe”cient simultane- quantum mechanics inhibits any excitation in the system.
ously. Later Martı́nez-Garaot et al. (2017) adapted A natural question is how we can transpose these ideas
the FAQUAD approach to the optical devices to de- to a classical system, and to what extent they are related
sign mode-sorting asymmetric Y-junctions. This ap- to their quantum counterpart.
proach is quite useful in this context because the in- We shall first address this question in the context
formation it requires is accessible, and the simplicity of one-body classical mechanics. The essence of the
of changing only one control parameter is ideal for method can be readily explained with a 1D integrable
device fabrication. Besides, Chung et al. (2017) de- system described by a Hamiltonian H0 (p, x, λ), where
signed a short and broadband silicon asymmetric Y- λ can be a multicomponent vector (for simplicity, we
junction two-mode (de)multiplexer using the theory in use a single-component). Using a canonical transforma-
Martı́nez-Garaot et al. (2017), Wu et al. (2017c) put for- tion, there exist angle-action coordinates (θ, I) such that
ward the generation of 3D entanglement using dressed H0 (p, x, λ) = H̃0 (I, λ), i.e. the Hamiltonian expressed in
states, and Huang et al. (2017) applied the counterdia- terms of the action-angle variables is independent of the
batic approach to design shorter and robust two- and angle θ as a result of its integrability. Assuming that the
three- waveguide couplers. Finally, Chen et al. (2018b) parameter is now time-dependent, the new Hamiltonian
used the Lie-transform theory in Martı́nez-Garaot et al. resulting from the canonical transformation in action-
(2014a) to design compact beam splitters. angle variables takes the form (Goldstein et al., 2002)
In some recent works dealing with silicon waveg-
H(I, θ, t) = H̃0 (I, λ) + ∂t F = H̃0 (I, λ) + λ̇∂λ F, (125)
uides with high index contrast, the scalar and parax-
ial approach is not accurate, so commercial soft- where F is a time-dependent generator whose “type” de-
ware is used to solve the dynamics. Specifically, in pends on its variables (De!ner et al., 2014; Deng et al.,
Martı́nez-Garaot et al. (2017) the shortcut was done us- 2013; Goldstein et al., 2002; Kolodrubetz et al., 2017).
ing the scalar Helmholtz equation without the parax- For instance, F = F1 (x, θ, t) for type-I. From Eq. (125),
ial approximation and in Chung et al. (2017) and it is clear that the counterdiabatic Hamiltonian that one
Chung and Tseng (2018) the FAQUAD approach was ap- may superimpose to keep I constant with fast changes in
plied without approximations, since it can incorporate λ is HCD = →∂t F (Deng et al., 2013). In the adiabatic
the vectorial fields into the calculations without resorting limit (λ̇ → 0), the Hamiltonian H boils down to H0 . The
to the coupled-mode equations. Moreover, in Della Valle counterdiabatic Hamiltonian, HCD , added to the original
(2018) shortcuts beyond the paraxial limit were used Hamiltonian ensures that the volume of the phase space
to achieve e”cient rejection of higher order modes enclosed by a given energy shell remains constant despite
in a broad wavelength range for any two-dimensional the variation in time of the parameters (Jarzynski, 2013).
multimode optical waveguide. Non-Hermitian systems We now present some illustrative examples. Consider
with gain and loss were also considered (Longhi, 2017; a 1D harmonic oscillator whose angular frequency, ω(t),
Torosov et al., 2013, 2014). is time-dependent:
The first experimental implementation of STA in op- p2 1
tical devices was worked out by Guo and Chu (2017) H0 (p, x, t) = + mω 2 (t)x2 . (126)
2m 2
45
For such a Hamiltonian, the adiabatic criterion is plays the role of an e!ective gravitational field whose am-
plitude is proportional to the acceleration ẍ0 , and com-
dω pensates for the inertial force in the frame attached to
, ω2. (127)
dt the potential.
Beyond the two specific examples detailed previously,
Using the type-I generating function, the action-angle
the formalism can be generalized to scale-invariant sys-
canonical transformation yields p = ∂x F1 , I = →∂θ F1
tems, i.e. Hamiltonians of the form (De!ner et al., 2014)
and H(I, θ, t) = H̃0 (I, λ) + ω̇∂ω F1 (Goldstein et al.,
2002). To get an expression of H0 independent of " #
p2 1 x → x0 (t)
θ, a natural choice is to search x and p in the form H0 (p, x, t) = + U , (129)
p = f (I) cos(θ) and x = [f (I) sin θ]/mω where the 2m ε 2 (t) ε(t)
function f (I) needs to be determined. We readily find
where ε(t) and x0 (t) are real functions depending on
f (I) = (2Imω)1/2 , F1 (x, θ, t) = (mωx2 cotθ)/2 = px/2
time. Shortcuts are not restricted to scale invariant sys-
and H0 (I, t) = Iω and deduce HCD (p, x, t) = →ω̇F1 /ω =
tems as explicitly shown in Patra and Jarzynski (2017a)
→ω̇px/(2ω). This result coincides perfectly with the
on a simple example. The counterdiabatic Hamiltonian
classical limit of the quantum results (see Sec. II.C.2)
is also not unique. For instance, we have worked out its
(Muga et al., 2010). The calculation performed here
form linear in p for transport, but other solutions, e.g.
on a harmonic potential can be readily generalized to
cubic in p, are also possible; they are related to the dis-
even-power-law potentials and to a particle in a one-
persionless Korteweg-de Vries hierarchy (see Sec. II.C.4
dimensional box (Jarzynski, 2013).
and Okuyama and Takahashi (2016, 2017)).
We now consider the example of the transport of a
Alternatively, one can construct a local dynamical in-
particle by moving a harmonic trap14 :
variant, or equivalently an extra potential to be added
p2 1 to the original Hamiltonian, to preserve the classical ac-
H0 (p, x, t) = + mω 2 [x → x0 (t)]2 . (128) tion for a fast time variation of the Hamiltonian pa-
2m 2
rameters. Such an approach is reminiscent of the fast-
We can again work out the canonical transformation forward method and can be solved implicitly as detailed
to recast the problem in terms of action-angle vari- in Jarzynski et al. (2017).
ables by replacing x by x → x0 (t) in the previous Finally, the counterdiabatic approach has been also
calculation. The transformed Hamiltonian now reads applied to classical spin dynamics (Hatomura and Mori,
H = H̃0 (I, λ) + ẋ0 ∂x0 F1 = H̃0 (I, λ) → pẋ0 . The 2018). The construction makes use of the CD term for
counterdiabatic Hamiltonian is therefore HCD (p, x, t) = each single spin and is much easier to implement than in
pẋ0 (Sels and Polkovnikov, 2017), as in the quan- the corresponding quantum system. Moreover it does not
tum result (Torrontegui et al., 2011). The quantum need knowledge of the instantaneous stationary states.
unitary transformation (Ibáñez et al., 2012) to find Starting from a stationary state of the initial Hamilto-
an alternative local interaction corresponds classically nian, it results in a stationary state of the final Hamilto-
to an additional canonical or gauge transformation. nian if there is no criticality. The method can be used to
This procedure is referred to as the local counterdia- solve combinatorial optimization problems.
batic driving (De!ner et al., 2014; Ibáñez et al., 2012;
Sels and Polkovnikov, 2017).
For a 1D Hamiltonian, a gauge transformation involves B. Mechanical Engineering
only a scalar potential χ(x, t). The momentum p is trans-
formed as p̃ = p + ∂x χ for the Hamiltonian H̃ = H + ∂t χ. We discuss hereafter the interest of STA techniques to
For our first example, the gauge function χ(x, t) = control a crane, then design robust solutions, and con-
ω̇mx2 /(4ω), yields a gauged transformed Hamiltonian clude with the link between STA and flatness based con-
H̃ which is that of a harmonic oscillator of e!ective trol in mathematics (Fliess et al., 1995).
time-dependent angular frequency ωeff = [ω 2 + ω̈/(2ω) →
3ω̇ 2 /(4ω 2 )]1/2 , which coincides with its quantum coun-
terpart, see Eq. (61) (Ibáñez et al., 2012). For the sec- 1. Cranes
ond example, the gauge function χ(x, t) = →mẋ0 x, yields
H̃(p, x, t) = p2 /(2m) + (1/2)mω 2 x2 → mẍ0 x. The extra The objective of mechanical cranes is to move loads
force F = mẍ0 superimposed to the static Hamiltonian fast avoiding final pendulations and large sway angles
on route that could compromise safety. Since a slow,
adiabatic operation avoids excitations but it takes an
impractical long time, cranes are a natural domain for
14 The same formalism still holds for an arbitrary transport poten- STA (González-Resines et al., 2017). Crane control is
tial. an important engineering field, see Kuo and Kang (2014)
46
and Sun et al. (2012) and references therein. Meth- tive of the mechanical energy of the load. P = P only
ods and ideas abound and many can be translated or under rather extreme, and even undesirable conditions.
adapted to other STA-driven processes in very di!erent First of all note that the shortcuts are by definition
systems. For example, the work on closed-loop methods fast processes, so that the friction can hardly be avoided
(in which measurements are performed on route to de- by the trick of slowing down the dynamics applied for
termine control operations) is an inspiring source to de- ideal reversible operations. Only the typically unreal-
velop feedback-based STA in the microscopic realm. In istic ε = 0 scenario would cancel the dissipation term.
reverse, existing STA methods may have quite an impact As for the M -dependent term, the limit M = 0 is again
on crane operation routines. Overhead cranes usually rather unrealistic, and in fact does not simplify matters,
operate under a small-oscillations regime so that sim- because the action of the engine would have to depend
ple operations such as horizontal transport and hoist- strongly on the initial conditions of the load; contrast
ing/lowering of the load are modeled by the same basic this to ideal state-independent STA operations that re-
(mass independent) equations that apply to the transport quire instead a large M/m ratio. Another interesting
or compression/expansion of an ion in a time-dependent aspect of the model is the analysis of possible negative
harmonic trap. González-Resines et al. (2017) provide values of P corresponding to braking. Di!erent scenarios
invariant-based STA protocols for the motion of the trol- (implying energy consumption or rather partial regener-
ley in a transport operation or for hoisting that guar- ative braking) are depicted in Torrontegui et al. (2017)
antee final adiabatic energies for the load. Further- and treated phenomenologically to examine the total en-
more these energies are shown to be minimal when av- ergy consumption.
eraging over a microcanonical ensemble of initial con- We have focused on cranes but clearly other mechan-
ditions, consistently with the minimal work principle ical machines and robots with moving parts can benefit
(Allahverdyan and Nieuwenhuizen, 2005, 2007). Indeed from shortcuts to adiabaticity (Stefanatos, 2018), as well
the possibility to design robust operations with respect as other areas of engineering. For example Faure et al.
to di!erent perturbations or errors (such as disper- (2018) have introduced inverse engineering to drive an
sion in the initial conditions, or in cable lengths) and RC circuit.
STA&OCT combinations to limit, for example, on-route
pendulations, o!er a great potential. The di!erent tech-
niques to enhance robustness, such as the Fourier method 2. Robustness issues
((Guéry-Odelin and Muga, 2014), see the next subsec-
tion) may be used to design trolley trajectories which In Sec. II.A, we have shown how the equation of
are robust with respect to di!erent errors, e.g. in the motion of a particle in a moving harmonic potential
cable length. The bridge to perform analogous inverse of angular frequency ω0 can be reversed. We pro-
engineering in quantum microscopic and classical macro- pose to extend this technique using a Fourier method
scopic systems is much facilitated by the fact that the (Guéry-Odelin and Muga, 2014). From the Newton
Lewis-Leach family of potentials implies the same classi- equation, one can directly relate the excess energy af-
cal (Lewis and Leach, 1982) and quantum formulations ter the transport ∆E(tf ) = m|F (ω0 ; {x0 (t)})|2 , to the
(Dhara and Lawande, 1984) for the invariants and auxil- motion of the trap x0 (t) with
iary equations. ' tf
A crane model that treats the trolley position as a F (ω; {x0 (t)}) =
!
ẍ0 (t→ )e−iωt dt→ . (131)
dynamical variable, instead of as a control function, sub- 0
jected to inertia, the engine pulling force Fa , dissipation,
An optimal trajectory {x̃0 (t)} for the transport shall
and the backaction of the load, is a neat, explicit testbed
therefore fulfill the relation F (ω0 ; {x̃0 (t)}) = 0. A sys-
to study energy consumptions and the implications of
tematic way to generate such trajectories is to define the
shortcuts to adiabaticity from the point of view of the
acceleration ẍ0 (t) through an auxiliary time-dependent
necessary external controls (Torrontegui et al., 2017). In
function g(t) as ẍ0 (t) = g̈(t) + ω02 g(t), where g(t) obeys
particular the power produced by the engine force is due
the boundary conditions g(0) = g(tf ) = ġ(0) = ġ(tf ) = 0
to the change of mechanical energy H0 of the whole sys-
and the relations
tem (load and trolley) plus the power needed to compen-
sate the e!ect of friction, P = Fa ẋ = dH 2 ' tf ' tf ' t!
dt + ε ẋ , where
0
→ d
x is the trolley’s position and ε the friction coe”cient. g(t)dt = 0 and dt g(t→→ )dt→→ = 2 . (132)
0 0 0 ω 0
In the harmonic approximation this becomes
P = (M ẍ → mqω 2 + ε ẋ)ẋ, (130) These conditions ensure that x0 (0) = 0, ẋ0 (0) = 0,
x0 (tf ) = d and ẋ0 (tf ) = 0. We then find
where M is the trolley’s mass and q the load horizontal
' tf
displacement with respect to the trolley, see Fig. 13. The !
F (ω; {x0 (t)}) = (ω02 →ω ) 2
g(t→ )e−iωt dt→ , (133)
second term is exactly the power P defined as the deriva- 0
47
which vanishes for ω = ω0 , as expected for an op- frequency ω(t) now reads
timal transport. Interestingly, using a fourth order
di!erential equation to relate ẍ0 and g(t), and with dω ω
, . (135)
appropriate boundary conditions for g(t), one can dt τ
factorize a polynomial in ω 2 in front of the Fourier Once this criterion is fulfilled, the quantity T (t)/ω(t) re-
transform of g(t) of the form (ω12 → ω 2 )(ω22 → ω 2 ) mains constant. The physical interpretation of this con-
(Guéry-Odelin and Muga, 2014). With such a solution, served quantity is clear, it ensures that the populations
the same trajectory of the trap would be optimal for πn ∞ exp(→!nω/kB T ) of the eigenstates are conserved
two di!erent angular frequencies, ω1 and ω2 . This would during a slow change of confining strength. Otherwise
apply for instance for two di!erent atoms transported stated, the transformation corresponds to a work and is
by the same moving optical tweezers (Couvert et al., not accompanied by heat (modifications of the popula-
2008). Alternatively, the protocol repeated for higher tions).
order polynomial with the same root ω0 provides a
generic method to enforce robustness against the exact
value of the angular frequency experienced by the atoms 1. Boltzmann equation
(Guéry-Odelin and Muga, 2014). For an application in
ion transport see An et al. (2016). The search for a shortcut on such transformations re-
quires a rigorous mathematical modeling of the out-of-
Flatness based control theory. From a more mathemat- equilibrium dynamics. Under the approximation of di-
ical point of view, the previous solution can also be recov- luteness, the evolution of the phase space distribution,
ered using flatness based control theory commonly used f (r , v , t), of the gas is well-described by the Boltz-
for steering a system from one state to another (Rouchon, mann equation where collisions are accounted for through
2005). This formalism applies to di!erential systems of the two-body collisional integral. In Guéry-Odelin et al.
the form (2014), an exact solution of this equation for a time-
dependent angular frequency ω(t) was worked out,
dx/dt = f (x, u), (134)
(ϕβ → ε 2 /4)3/2 −αr2 −βv2 −γr·v
where the vector u contains the control variables. The f (r , v , t) = e , (136)
π3
control problem is readily solved when
; there exists < a so-
called flat-output map h, y(t) = h x, u, u̇, ..., u(α) , such where ϕ(t), β(t) and ε(t) are functions that depend only
; < ; < on time. They are related through a linear set of dif-
that x = h1 y, ẏ, ..., y (β) and u = h2 y, ẏ, ..., y (β+1) ,
where ϕ and β are some finite numbers, and h1 and h2 ferential equations which can be recast as a single third
some smooth functions. For a given system described by order di!erential equation on the quantity β which plays
Eqs. (134) there is no algorithm to determine if a flat- the role of the inverse of an e!ective temperature,
output map h exists. However, many examples of engi- ...
β + 4ω 2 β̇ + 4ω ω̇β = 0. (137)
neering interest turn out to be flat including transport
(Rouchon, 2005) and cranes (Fliess et al., 1995). For a slow transformation, the third order derivative can
be neglected and the quantity T (t)/ω(t) ∞ (β(t)ω(t))−1
is conserved. Fast transformations can be designed by in-
C. STA for isolated dilute gases verse engineering, i.e., by fixing the boundary conditions
on β and its derivatives, interpolating the β function ac-
So far we have essentially considered one-body prob- cordingly, and inferring ω(t) from the equation obeyed
lems. One may wonder to what extent the results can by β. For very fast decompression, we find as in quan-
be generalized to an assembly of interacting atoms. We tum mechanics intervals of time over which the sign of
shall first consider a dilute gas trapped by a 3D isotropic the curvature of the potential is reversed. So far, we have
harmonic potential of angular frequency ω0 . The notion kept the trap isotropic. The extension of STA protocols
of adiabaticity shall be revisited in this new context. In- to anisotropic 2D Bose gas and 3D unitary Fermi gases
deed, the gas has a relaxation time τ that is related to including in the presence of topological defects such as
the collision rate εc = nσv̄ where n is the mean atomic soliton or vortices is discussed in Papoular and Stringari
density, σ the total cross section and v̄ ∞ (kB T /m)1/2 the (2015).
mean thermal velocity for a temperature T . The relation
between τ and εc depends on the collision regime: for
εc , ω0 , i.e. when there are few collisions per oscillation 2. Extension to Navier-Stokes equation
period, τ ∞ εc−1 , while εc 0 ω0 in the hydrodynamic
limit, τ ∞ εc /ω02 . The thermodynamical criterion for The solution outlined above hints at a related solution
adiabaticity associated with a slow change of the angular for hydrodynamics. Indeed, as originally demonstrated
48
by Chapman and Enskog (Chapman et al., 1970), the then obeys the Fokker-Planck equation
hydrodynamic equations can be derived from the Boltz-
mann equation. These equations relate the velocity field ∂t ρ(x, t) = ε −1 ∂x [ρ(x, t)U (x, t)] + D∂xx
2
ρ, (140)
v(r, t), the temperature field, T (r, t) and the density
with the di!usion constant D = kB T /mε. Two standard
n(r, t),
STA methods can be applied to accelerate the equilibra-
∂n tion: the transposition of the counterdiabatic ideas and
+ ∇ · (nv) = 0, the inverse engineering.
" ∂t # " #
∂ η For the first method, we consider an equilibrium so-
mn + v · ∇ u = →n∇U → ∇ P → (∇ · v) lution of Eq. (140), ρ0 (x, {λ}) that corresponds to the
∂t 3
η 2 potential energy U0 (x, {λ}), where {λ} refers to the con-
+ ∇ v, trol parameters of the potential. U1 is the extra poten-
ρ
" # tial that we have to add to the original potential U0 to
∂ T κ∇2 T
+ v · ∇ T = → (∇ · v) + , (138) compensate for the time variation of the parameters {λ}.
∂t cV mncV This potential is the solution of the equation
where η is the viscosity, cV the specific heat and κ
∂t ρ0 (x, {λ(t)}) = ε −1 ∂x [ρ0 (x, {λ(t)})U1 (x, t)]. (141)
the thermal conductivity. The exact solution for a 3D
isotropic harmonic trap with time-dependent angular For instance, with a potential U0 (x, t) = mω 2 (t)(x →
frequency ω(t) is found through the search of an ex- x0 (t))2 /2, we find
act scaling solution of the form n(r, t) = b−3 n0 (r/b),
v(r, t) = ḃr/b, and T (r, t) = β −1 (t). Remarkably, we mε ω̇(x → x0 (t))2
U1 (x, t) = →mε ẋ0 (x → x0 (t)) + . (142)
find that the inverse of the e!ective temperature param- 2ω
eter β and ω(t) are connected once again by Eq. (137).
The same STA strategy can therefore be applied in this The potential U1 (x, t) is nothing but the classical
context. counterdiabatic Hamiltonian determined in Sec.VII.A
(Li et al., 2017a).
The second strategy is to apply inverse engineer-
D. Shortcuts for systems in contact with a thermostat ing to the Fokker-Planck equation. For the compres-
sion/decompression of a harmonic oscillator from an
So far, we have considered only isolated systems. In angular frequency ωi to ωf , we use an exact scal-
this section, we answer the question of how a classical ing solution of the overdamped Fokker-Planck equation
system in contact with a thermal bath can benefit from (Martı́nez et al., 2016),
an accelerated equilibration protocol. Indeed, the con- =
trol in the presence of a thermostat is of general interest ϕ(t)
ρ(x, t) = exp[→ϕ(t)x2 ] (143)
with applications ranging from nano-oscillators, nanoth- π
ermal engines, to the driving of mesoscopic chemical or with
biological processes.
The one-body equation to be considered is therefore a ϕ̇ 2ω 2 (t) 4kB T ϕ
= → . (144)
stochastic di!erential equation, the Langevin equation, ϕ ε ε
whose noise is related to the temperature of the bath. In
For our purpose, we impose boundary conditions on the
its most general form, it is given by
ϕ parameter (ϕ(0) = mωi2 /2kB T , ϕ(tf ) = mωf2 /2kB T ,
mẍ = →∂x U (x, t) → mε ẋ + ξ(t), (139) ϕ̇(0) = 0 and ϕ̇(tf ) = 0), interpolate the ϕ(t) functions,
and infer from Eq. (144) how one shall shape ω(t). This
where we will consider the noise ξ(t) as a white noise delta solution has been successfully implemented experimen-
correlated in time, $ξ(t)ξ(t→ )# = 2mεkB T δ(t → t→ ). The tally for a compression using a 1 µm size microsphere
inverse engineering method cannot be readily applied di- trapped by an optical tweezer and immersed in a thermal-
rectly to a stochastic equation. Instead, the equation for ized fluid chamber (Martı́nez et al., 2016). The strength
the probability density ρ(x, t) function associated with of the confinement was simply increased by designing in
such a Brownian motion is used. time the intensity of the trap beam. In this manner,
the system has reached equilibrium 100 times faster than
the natural equilibration rate. Alternatively, the mini-
1. The overdamped regime mum time to perform transitions between thermal equi-
librium states has also been studied using Optimal Con-
First, we consider the overdamped regime for which trol Theory (see Sec. II.G) under di!erent constraints on
inertial e!ects become negligible. This amounts to van- the domain of variation of the time-dependent angular
ishing the mass in Eq. (139). The probability density frequency ω(t) (Plata et al., 2019; Stefanatos, 2017b).
49
As for the system described by the Boltzmann equa- VIII. OUTLOOK, OPEN QUESTIONS
tion or for the quantum counterpart, the protocol re-
quires for very fast decompression the transient use of Since the birth of the term in 2010 till today, “short-
a repulsive potential. In practice, this is arduous if not cuts to adiabaticity” have experienced a phenomenal
impossible depending on the system. However, and con- growth.15 We attribute this expansion to a double ap-
trary to the quantum case, an extra parameter can be peal, both practical and fundamental:
tuned in statistical physics, namely the temperature. In- The practical side is rooted in that adiabatic invariance
deed the temperature can be related to noise as explicitly is ubiquitous as a phenomenon and as a route for state
written in the Langevin equation (Martı́nez et al., 2013). preparation, in quantum physics and beyond. Shortcuts
By a proper shaping of the noise, it is therefore possible overcome adiabatic protocols, which imply long times
to accelerate dramatically the decompression keeping the and the concomitant accumulation of perturbations from
trap attractive as recently demonstrated experimentally the environment or the control system. Moreover a rich
(Chupeau et al., 2018a). network of di!erent pure or hybrid STA approaches pro-
vide a flexible toolbox that can be applied and adapted
to many systems and operations. Only in the quantum
arena proposals exist for STA-mediated cooling, inter-
2. Connection with free energy and irreversible work ferometers, photon production, enantiomer separation,
quantum gates, or information transfer. Methodological
A natural question arises: what is the work that can be progress in one area can be translated to others allowing
extracted from a given transformation? In the context of for synergies. Quantum physics has been indeed the main
an overdamped dynamics, this question has been theoret- field to develop STA methodology and applications so far.
ically addressed in Sekimoto and Sasa (1997). The mean As the control of microscopic systems improves, we get
work W done by the systems reads (Acconcia et al., 2015; closer to realize new quantum technologies. Yet, deco-
Li et al., 2017a; Martı́nez et al., 2016; Tu, 2014): herence remains a stumbling block to go beyond proof-
of-principle results. Shortcuts contribute to fight deco-
W = ∆F + Wirr , (145) herence via shorter process times and robust protocols.
An ideal quantum device is expected to operate fast and
where ∆F refers to the increment of the Helmholtz free accurately despite a noisy environment or perturbations,
energy associated with the transformation and Wirr > 0 and with minimal consumption of resources. These are
to the irreversible work. In the limit of slow variation all goals that fit into the agenda and capabilities of STA
of the control parameter the work done boils down to methods.
the variation of the Helmholtz free energy which be- The fundamental side rests on the fact that basic con-
comes independent of the path used for the transforma- cepts and physical quantities and phenomena such as
tion. If tf refers to the interval over which the trans- robustness, timing, energy and work, information, en-
formation is performed, one can show that the product tropy, needed resources, controllability, environment ef-
Wirr tf is bounded in the limit tf → ∞. For a com- fects, or classical/quantum borders and connections, all
pression/decompression, we find ∆F = kB T log(ωf /ωi ) play a role in shortcut design, so shortcuts motivate and
and Wirr = ηkB T (ωf2 /ωi2 )(τrelax /tf ) where the numer- contribute to the quest for their interrelations. Early
ical factor η depends upon the chosen protocol and work on the time-dependent harmonic oscillator made
τrelax = ε/mωf2 . clear that the process time and time-averaged energies
involved in the STA-driven process implied nontrivial in-
equalities and speed limits that helped to quantify cool-
ing speeds. The scrutiny of energy-time relations has
3. Extensions grown in di!erent directions, e.g. to analyze energy costs
and their scaling with process times. The fast nature of
The extension of the previous approach to the under- STA processes, makes some conventional estimates based
damped regime has been worked out in Chupeau et al. on slow reversible processes invalid. As well, fundamen-
(2018b); Cunuder et al. (2016); and Li et al. (2017a). tal questions on the meaning and appropriate definitions
The inverse engineering approach can be readily general- of work, heat, or e”ciencies arise. The counterdiabatic
ized to manipulate the phase space distribution ρ(x, v, t) Hamiltonian bridges the gap between actual and ideal
(Chupeau et al., 2018b). This technique has been used transitionless dynamics and so it enters in a number of
experimentally to accelerate the equilibration of a micro
mechanical oscillator (Cunuder et al., 2016). However,
the transposition of the counterdiabatic method provides 15 A Web-of-Science search including the main keywords gives 7
an auxiliary potential linear in p that is not relevant from citations in 2010, 359 in 2014, and 1543 in 2018; with an h index
an experimental point of view (Li et al., 2017a). ∼ 40.
50
fundamental inequalities to set speed limits, see Sec. IV, for specific experiments, for example to determine the ac-
but also as an aid to reach maximal precision limits as tual performance of STA-enhanced microscopic or meso-
discussed in Sec. III.H. Recent work demonstrates en- scopic engines and refrigerators.
ergy and time relations may be quite rich for open sys- - STA protocols can a priori be adapted to a large
tems bringing to the fore further elements such as en- class of other dynamical/di!erential equations e.g. in en-
tropy production, robustness, and/or information erasure gineering, plasma physics, optics, soft condensed matter
(Boyd et al., 2018; Funo et al., 2019b; Takahashi, 2017a). or biology.
In this review we have seen a number of problem- or
field-specific challenges. Here we want to underline a few
open questions we consider to be important along broader ACKNOWLEDGMENTS
conceptual or methodological lines:
- We have discussed examples for which the full spec- We thank P. Claeys, S. De!ner, C. Jarzynski, R.
tral information of the original Hamiltonian is not nec- Koslo!, E. Sherman, M. Sarandy, D. Sugny, K. Taka-
essary to perform the shortcuts. As well, approximate hashi, E. Trizac, and S.-Y. Tseng for clarifying com-
schemes are being developed. Improving approximations ments, or critical reading of the manuscript or sections
and spectral-information independence are of upmost im- of it.
portance for complex quantum systems such as many- Many colleagues and collaborators, too numerous to
body systems, multiple levels, or for adiabatic comput- mention individually, have contributed through the last
ing. The question of the minimum required information ten years to our work on shortcuts. We are deeply in-
for a given transformation that needs to be accelerated debted to all of them.
has not been investigated systematically so far. This work was supported by the Basque Country
- We have discussed the key role played by dynam- Government (Grant No. IT986-16); PGC2018-101355-
ical invariants and their link with other STA tech- B-100 (MCIU/AEI/FEDER, UE); MINECO/FEDER,
niques. Open questions are (a) to find further families UE FIS2015-70856-P; CAM/FEDER Project No.
of Hamiltonian-invariant pairs beyond the Lewis-Leach S2018/TCS-4342 (QUITEMAD-CM); and by Pro-
family, e.g. via Lax pairs; (b) in n-dimensional systems, gramme Investissements d’Avenir under the Grant
to find and implement e!ective schemes when the dynam- ANR-11-IDEX-0002-02, reference ANR-10-LABX-0037-
ical normal modes need a generalized transformation (in- NEXT, as well as the Grant ANR-18-CE30-0013
volving coordinates and momenta); (c) to explore the use
for STA design of di!erent generalizations of “invariant”
operators for non-Hermitian systems.
- Steering a dynamical quantum system from an ini-
tial to a final state in the presence of an environment
poses a challenge for quantum control on: controllabil-
ity, i.e. to which extent the target state is reachable;
and control design, possibly including reservoir engineer-
ing. A framework to draw the frontiers of controllability
is highly desirable for quantum control in open systems
(Glaser et al., 2015; Koch, 2016), but note that shortcuts
may be applied even if the system is not fully controllable
(Petiziol et al., 2018).
- We have provided examples of hybrid control ap-
proaches, for instance hybridation of shortcuts and Op-
timal Control Theory that allows for optimal proto-
col selection. From a control perspective, shortcuts to
adiabaticity have contributed to open-loop (with no-
feedback) design. One could also envision the hybrida-
tion of such feed-forward techniques with feedback ori-
ented techniques. Indeed, STA could help to approach
the target very fast and the final convergence could be
ensured by a feedback procedure. Such a strategy would
benefit from the advantages of both techniques: short
time processing and strong robustness.
- We need to clarify the energetic and resource cost of
STA approaches, and the associated trade o! relations.
This is of general interest both at fundamental level and
51
Chen, X., H.-W. Wang, Y. Ban, and Shuo-Yen (2014a), Damski, B. (2014), Journal of Statistical Mechanics: Theory and Experim
Opt. Express 22 (20), 24169. Damski, B. (2015), Sci. Rep. 5, 15779.
Chen, X., R.-D. Wen, J.-L. Shi, and S.-Y. Tseng (2018b), Dann, R., A. Levy, and R. Kosloff (2018a),
Journal of Optics 20 (4), 045804. Phys. Rev. A 98, 052129.
Chen, X., R.-D. Wen, and S.-Y. Tseng (2016a), Dann, R., A. Tobalina, and R. Kosloff (2018b), arXiv preprint
Optics Express 24 (16), 18322. arXiv:1812.08821.
Chen, Y.-H., B.-H. Huang, J. Song, and Y. Xia (2016b), Deffner, S. (2016), New Journal of Physics 18 (1), 012001.
Optics Communications 380 (Supplement C), 140. Deffner, S., and S. Campbell (2017),
Chen, Y.-H., Z.-C. Shi, J. Song, and Y. Xia (2018c), Journal of Physics A: Mathematical and Theoretical 50 (45), 453001.
Phys. Rev. A 97, 023841. Deffner, S., C. Jarzynski, and A. del Campo (2014),
Chen, Y.-H., Z.-C. Shi, J. Song, Y. Xia, and S.-B. Zheng Phys. Rev. X 4 (2), 021013.
(2017), Phys. Rev. A 95, 062319. Deffner, S., and E. Lutz (2013a),
Chen, Y.-H., Q.-C. Wu, B.-H. Huang, J. Song, Y. Xia, and S.- Journal of Physics A: Mathematical and Theoretical 46 (33), 335302.
B. Zheng (2018d), Annalen der Physik 530 (1), 1700247. Deffner, S., and E. Lutz (2013b),
Chen, Y.-H., Y. Xia, Q.-Q. Chen, and J. Song (2014b), Phys. Rev. Lett. 111, 010402.
Phys. Rev. A 89, 033856. Della Valle, G. (2018), Phys. Rev. A 98, 053861.
Chen, Y.-H., Y. Xia, Q.-Q. Chen, and J. Song (2014c), Della Valle, G., G. Perozziello, and S. Longhi (2016),
Laser Physics Letters 11 (11), 115201. Journal of Optics 18 (9), 09LT03.
Chen, Y.-H., Y. Xia, Q.-Q. Chen, and J. Song (2015a), Demirplak, M., and S. A. Rice (2003), The Journal of Phys-
Phys. Rev. A 91, 012325. ical Chemistry A 107 (46), 9937.
Chen, Y.-H., Y. Xia, J. Song, and Q.-Q. Chen (2015b), Demirplak, M., and S. A. Rice (2005), The Journal of Phys-
Sci. Rep. 5, 15616. ical Chemistry B 109 (14), 6838.
Chen, Y.-H., Y. Xia, Q.-C. Wu, B.-H. Huang, and J. Song Demirplak, M., and S. A. Rice (2008),
(2016c), Phys. Rev. A 93, 052109. The Journal of Chemical Physics 129 (15), 154111.
Chen, Z., Y.-H. Chen, Y. Xia, J. Song, and B.-H. Huang Deng, J., Q.-h. Wang, Z. Liu, P. Hänggi, and J. Gong (2013),
(2016d), Sci. Rep. 6, 22202. Phys. Rev. E 88 (6), 062122.
Choi, S., R. Onofrio, and B. Sundaram (2011), Deng, S., A. Chenu, P. Diao, F. Li, S. Yu, I. Coulamy,
Phys. Rev. A 84, 051601. A. del Campo, and H. Wu (2018a), Science advances 4 (4),
Choi, S., R. Onofrio, and B. Sundaram (2012), eaar5909.
Phys. Rev. A 86, 043436. Deng, S., P. Diao, Q. Yu, A. del Campo, and H. Wu (2018b),
Chotorlishvili, L., M. Azimi, S. Stagraczyński, Z. Tok- Phys. Rev. A 97, 013628.
likishvili, M. Schüler, and J. Berakdar (2016), Dhara, A. K., and S. V. Lawande (1984),
Phys. Rev. E 94, 032116. Journal of Physics A: Mathematical and General 17 (12), 2423.
Chung, H.-C., K.-S. Lee, and S.-Y. Tseng (2017), Diffo, J., M. Ateuafack, G. Fouokeng, L. Fai, and M. Tchoffo
Optics express 25 (12), 13626. (2017), Superlattices and Microstructures 111, 310.
Chung, H.-C., and S.-Y. Tseng (2018), Dorner, U., P. Fedichev, D. Jaksch, M. Lewenstein, and
Opt. Express 26 (8), 9655. P. Zoller (2003), Phys. Rev. Lett. 91, 073601.
Chupeau, M., B. Besga, D. Guéry-Odelin, E. Trizac, A. Pet- Dowdall, T., A. Benseny, T. Busch, and A. Ruschhaupt
rosyan, and S. Ciliberto (2018a), Phys. Rev. E 98, 010104. (2017), Phys. Rev. A 96 (4), 043601.
Chupeau, M., S. Ciliberto, D. Guéry-Odelin, and E. Trizac Du, Y.-X., Z.-T. Liang, Y.-C. Li, X.-X. Yue, Q.-X. Lv,
(2018b), arXiv preprint:1802.10512. W. Huang, X. Chen, H. Yan, and S.-L. Zhu (2016),
Claeys, P. W., M. Pandey, D. Sels, and A. Polkovnikov Nature Communications 7, 12479.
(2019), arXiv preprint arXiv:1904.03209. Du, Y.-X., B.-J. Liu, Q.-X. Lv, X.-D. Zhang, H. Yan, and
Cohn, J., A. Safavi-Naini, R. J. Lewis-Swan, J. G. Bohnet, S.-L. Zhu (2017), Phys. Rev. A 96, 012333.
M. Grttner, K. A. Gilmore, J. E. Jordan, A. M. Duncan, C. W., and A. del Campo (2018),
Rey, J. J. Bollinger, and J. K. Freericks (2018), New Journal of Physics 20 (8), 085003.
New Journal of Physics 20 (5), 055013. Dupont-Nivet, M., C. I. Westbrook, and S. Schwartz (2016),
Corgier, R., S. Amri, W. Herr, H. Ahlers, J. Rudolph, New Journal of Physics 18 (11), 113012.
D. Guéry-Odelin, E. M. Rasel, E. Charron, and N. Gaaloul Emmanouilidou, A., X.-G. Zhao, P. Ao, and Q. Niu (2000),
(2018), New Journal of Physics 20 (5), 055002. Phys. Rev. Lett. 85, 1626.
Coto, R., V. Jacques, G. Hétet, and J. R. Maze (2017), Ermakov, V. P. (1880), Universita Izvestia Kiev, Series III 9,
Phys. Rev. B 96, 085420. 1.
Coulamy, I. B., A. C. Santos, I. Hen, and M. S. Sarandy Facchi, P., and S. Pascazio (2002),
(2016), Frontiers in ICT 3, 19. Phys. Rev. Lett. 89, 080401.
Couvert, A., T. Kawalec, G. Reinaudi, and D. Guéry-Odelin Faure, S., S. Ciliberto, E. Trizac, and D. Guéry-Odelin
(2008), EPL (Europhysics Letters) 83 (1), 13001. (2018), arXiv preprint arXiv:1808.01321.
Cui, Y.-Y., X. Chen, and J. G. Muga (2016), Fliess, M., J. Lévine, P. Martin, and P. Rouchon (1995),
The Journal of Physical Chemistry A 120 (19), 2962, International journal of control 61 (6), 1327.
pMID: 26237328. Fogarty, T., L. Ruks, J. Li, and T. Busch (2019),
Cunuder, A. L., I. A. Martı́nez, A. Petrosyan, SciPost Phys. 6, 21.
D. Guéry-Odelin, E. Trizac, and S. Ciliberto (2016), Funo, K., N. Lambert, B. Karimi, J. Pekola, Y. Masuyama,
Applied Physics Letters 109 (11), 113502. and F. Nori (2019a), arXiv preprint arXiv:1905.03480.
Daems, D., A. Ruschhaupt, D. Sugny, and S. Guérin (2013), Funo, K., N. Shiraishi, and K. Saito (2019b),
Phys. Rev. Lett. 111 (5), 050404. New Journal of Physics 21 (1), 013006.
54
Funo, K., J.-N. Zhang, C. Chatou, K. Kim, M. Ueda, and Huang, X.-B., Y.-H. Chen, and Z. Wang (2016b),
A. del Campo (2017), Phys. Rev. Lett. 118 (10), 100602. Sci. Rep. 6, 25707.
Fürst, H. A., M. H. Goerz, U. G. Poschinger, M. Mur- Huang, X.-B., Y.-H. Chen, and Z. Wang (2016c),
phy, S. Montangero, T. Calarco, F. Schmidt- The European Physical Journal D 70 (8), 171.
Kaler, K. Singer, and C. P. Koch (2014), Huang, X.-B., Z.-R. Zhong, and Y.-H. Chen (2015),
New Journal of Physics 16 (7), 075007. Quantum Information Processing 14 (12), 4475.
Gao, X.-C., J.-B. Xu, and T.-Z. Qian (1992), Hung, Y.-J., Z.-Y. Li, H.-C. Chung, F.-C. Liang, M.-Y. Jung,
Phys. Rev. A 46, 3626. T.-H. Yen, and S.-Y. Tseng (2019), Opt. Lett. 44 (4), 815.
Garrido, L. (1964), Journal of Mathematical Physics 5 (3), Ibáñez, S., Y.-C. Li, X. Chen, and J. G. Muga (2015),
355. Phys. Rev. A 92, 062136.
Giannelli, L., and E. Arimondo (2014), Ibáñez, S., S. Martı́nez-Garaot, X. Chen, E. Torrontegui, and
Phys. Rev. A 89, 033419. J. G. Muga (2011a), Phys. Rev. A 84, 023415.
Glaser, S. J., U. Boscain, T. Calarco, C. P. Koch, Ibáñez, S., S. Martı́nez-Garaot, X. Chen, E. Torrontegui, and
W. Köckenberger, R. Kosloff, I. Kuprov, B. Luy, J. G. Muga (2012), Phys. Rev. A 86, 019901.
S. Schirmer, T. Schulte-Herbrüggen, et al. (2015), The Eu- Ibáñez, S., and J. G. Muga (2014), Phys. Rev. A 89, 033403.
ropean Physical Journal D 69 (12), 279. Ibáñez, S., A. Peralta Conde, D. Guéry-Odelin, and J. G.
Goldstein, H., C. Poole, and J. Safko (2002), Classical Me- Muga (2011b), Phys. Rev. A 84, 013428.
chanics (Pearson, Hoboken). Ibáñez, S., X. Chen, and J. G. Muga (2013),
González-Resines, S., D. Guéry-Odelin, A. Tobalina, Phys. Rev. A 87 (4), 043402.
I. Lizuain, E. Torrontegui, and J. G. Muga (2017), Ibáñez, S., X. Chen, E. Torrontegui, J. G. Muga, and
Phys. Rev. Applied 8, 054008. A. Ruschhaupt (2012), Phys. Rev. Lett. 109 (10), 100403.
Gritsev, V., P. Barmettler, and E. Demler (2010), Impens, F., and D. Guéry-Odelin (2017),
New Journal of Physics 12 (11), 113005. Phys. Rev. A 96 (4), 043609.
Guérin, S., V. Hakobyan, and H. R. Jauslin (2011), Impens, F., and D. Guéry-Odelin (2019), Sci. Rep. 9, 4048.
Phys. Rev. A 84, 013423. Issoufa, Y. H., and A. Messikh (2014),
Guérin, S., S. Thomas, and H. R. Jauslin (2002), Phys. Rev. A 90, 055402.
Phys. Rev. A 65, 023409. Jaramillo, J., M. Beau, and A. del Campo (2016),
Guéry-Odelin, D., and J. G. Muga (2014), New Journal of Physics 18 (7), 075019.
Phys. Rev. A 90 (6), 063425. Jarzynski, C. (2013), Phys. Rev. A 88 (4), 040101.
Guéry-Odelin, D., J. . Muga, M. J. Ruiz-Montero, and Jarzynski, C., S. Deffner, A. Patra, and Y. Subaşı (2017),
E. Trizac (2014), Phys. Rev. Lett. 112 (18), 180602. Phys. Rev. E 95 (3), 032122.
Güngördü, U., Y. Wan, M. A. Fasihi, and M. Nakahara Jing, J., L.-A. Wu, M. S. Sarandy, and J. G. Muga (2013),
(2012), Phys. Rev. A 86, 062312. Phys. Rev. A 88, 053422.
Guo, D., and T. Chu (2017), Optics express 25 (8), 9160. Juliá-Dı́az, B., E. Torrontegui, J. Martorell, J. G. Muga, and
Hartmann, A., and W. Lechner (2018), arXiv preprint A. Polls (2012), Phys. Rev. A 86, 063623.
arXiv:1807.02053. Kagan, Y., E. L. Surkov, and G. V. Shlyapnikov (1996),
Hatomura, T. (2017), Journal of the Physical Society of Japan 86 (9),
Phys.
094002.
Rev. A 54, R1753.
Hatomura, T. (2018), New Journal of Physics 20 (1), 015010. Kamsap, M. R., J. Pedregosa-Gutierrez, C. Champenois,
Hatomura, T., and T. Mori (2018), arXiv preprint D. Guyomarc’h, M. Houssin, and M. Knoop (2015),
arXiv:1806.00229. Phys. Rev. A 92 (4), 043416.
Hatomura, T., and K. Paw&lowski (2019), arXiv preprint Kang, Y.-H., Y.-H. Chen, Z.-C. Shi, B.-H. Huang, J. Song,
arXiv:1901.03519. and Y. Xia (2017a), Phys. Rev. A 96, 022304.
He, S., S.-L. Su, D.-Y. Wang, W.-M. Sun, C.-H. Kang, Y.-H., Y.-H. Chen, Z.-C. Shi, B.-H. Huang, J. Song,
Bai, A.-D. Zhu, H.-F. Wang, and S. Zhang (2016), and Y. Xia (2018), Phys. Rev. A 97, 033407.
Sci. Rep. 6 (1), 30929. Kang, Y.-H., Y.-H. Chen, Z.-C. Shi, J. Song, and Y. Xia
Hegerfeldt, G. C. (2013), Phys. Rev. Lett. 111 (26), 260501. (2016a), Phys. Rev. A 94, 052311.
Herrera, M., M. S. Sarandy, E. I. Duzzioni, and R. M. Serra Kang, Y.-H., Y.-H. Chen, Q.-C. Wu, B.-H. Huang, J. Song,
(2014), Phys. Rev. A 89, 022323. and Y. Xia (2016b), Sci. Rep. 6, 36737.
Ho, C.-P., and S.-Y. Tseng (2015), Opt. Lett. 40 (21), 4831. Kang, Y.-H., Y.-H. Chen, Q.-C. Wu, B.-H. Huang, Y. Xia,
Hoffmann, K. H., P. Salamon, Y. Rezek, and R. Kosloff and J. Song (2016c), Sci. Rep. 6, 30151.
(2011), EPL (Europhysics Letters) 96 (6), 60015. Kang, Y.-H., B.-H. Huang, P.-M. Lu, and Y. Xia (2017b),
Hollenberg, L. C. L. (2012), Nature Physics 8, 113. Laser Physics Letters 14 (2), 025201.
Home, J. P., and A. M. Steane (2005), arXiv preprint quant- Kang, Y.-H., Z.-C. Shi, B.-H. Huang, J. Song, and Y. Xia
ph/0411102. (2017c), Annalen der Physik 529 (9), 1700154, 1700154.
Horowitz, J. M., and K. Jacobs (2015), Karzig, T., F. Pientka, G. Refael, and F. von Oppen (2015),
Phys. Rev. Lett. 115 (13), 130501. Phys. Rev. B 91, 201102.
Hu, C.-K., J.-M. Cui, A. C. Santos, Y.-F. Huang, Kastberg, A., W. D. Phillips, S. L. Rolston, R. J. C. Spreeuw,
M. S. Sarandy, C.-F. Li, and G.-C. Guo (2018), and P. S. Jessen (1995), Phys. Rev. Lett. 74, 1542.
Opt. Lett. 43 (13), 3136. Kato, T. (1950), Journal of the Physical Society of Japan
Huang, B.-H., Y.-H. Chen, Q.-C. Wu, J. Song, and Y. Xia 5 (6), 435.
(2016a), Laser Physics Letters 13 (10), 105202. Kaufmann, H., T. Ruster, C. T. Schmiegelow,
Huang, W., L. Ang, and E. Kyoseva (2017), arXiv preprint F. Schmidt-Kaler, and U. G. Poschinger (2014),
arXiv:1711.05507. New Journal of Physics 16 (7), 073012.
55
Kaufmann, P., T. F. Gloger, D. Kaufmann, M. Johanning, Li, J., Q. Zhang, and X. Chen (2017d),
and C. Wunderlich (2018), Phys. Rev. Lett. 120, 010501. Physics Letters A 381 (38), 3272.
Khantoul, B., A. Bounames, and M. Maamache (2017), Li, Y., L.-A. Wu, and Z. D. Wang (2011),
The European Physical Journal Plus 132 (6), 258. Phys. Rev. A 83, 043804.
Khomitsky, D. V., L. V. Gulyaev, and E. Y. Sherman (2012), Li, Y.-C., and X. Chen (2016), Phys. Rev. A 94, 063411.
Phys. Rev. B 85, 125312. Li, Y.-C., X. Chen, J. G. Muga, and E. Y. Sherman (2018b),
Khujakulov, A., and K. Nakamura (2016), New Journal of Physics 20 (11), 113029.
Phys. Rev. A 93 (2), 022101. Li, Y.-C., D. Martı́nez-Cercós, S. Martı́nez-Garaot, X. Chen,
Kieferová, M., and N. Wiebe (2014), and J. G. Muga (2018c), Phys. Rev. A 97, 013830.
New Journal of Physics 16 (12), 123034. Liang, Y., X. Ji, H.-F. Wang, and S. Zhang (2015a),
Kielpinski, D., C. Monroe, and D. J. Wineland (2002), Laser Physics Letters 12 (11), 115201.
Nature 417 (6890), 709. Liang, Y., C. Song, X. Ji, and S. Zhang (2015b),
Kiely, A., A. Benseny, T. Busch, and A. Ruschhaupt (2016), Optics express 23 (18), 23798.
Liang,
Journal of Physics B: Atomic, Molecular and Optical Physics 49 (21),Y., S.-L. Su, Q.-C. Wu, X. Ji, and S. Zhang (2015c),
215003.
Kiely, A., J. P. L. McGuinness, J. G. Optics Express 23 (4), 5064.
Muga, and A. Ruschhaupt (2015), Liang, Y., Q.-C. Wu, S.-L. Su, X. Ji, and S. Zhang (2015d),
Journal of Physics B: Atomic, Molecular and Optical Physics 48 Phys.
(7), 075503.
Rev. A 91, 032304.
Kiely, A., J. G. Muga, and A. Ruschhaupt (2017), Liang, Z.-T., X. Yue, Q. Lv, Y.-X. Du, W. Huang, H. Yan,
Phys. Rev. A 95, 012115. and S.-L. Zhu (2016), Phys. Rev. A 93, 040305.
Kiely, A., J. G. Muga, and A. Ruschhaupt (2018), Lin, J.-B., Y. Liang, C. Song, X. Ji, and S. Zhang (2016),
Phys. Rev. A 98, 053616. J. Opt. Soc. Am. B 33 (4), 519.
Kiely, A., and A. Ruschhaupt (2014), Lin, T.-Y., F.-C. Hsiao, Y.-W. Jhang, C. Hu, and S.-Y. Tseng
Journal of Physics B: Atomic, Molecular and Optical Physics 47 (2012),
(11), 115501.
Opt. Express 20 (21), 24085.
Kiely, A., and A. Ruschhaupt (2019), . Liu, B.-J., Z.-H. Huang, Z.-Y. Xue, and X.-D. Zhang (2017),
Kirk, R. E. (2004), Optimal Control Theory An Introduction Phys. Rev. A 95, 062308.
(Dover Publications, New York). Liu, B.-J., X.-K. Song, Z.-Y. Xue, X. Wang, and M.-H. Yung
Kleißler, F., A. Lazariev, and S. Arroyo-Camejo (2018), npj (2018), arXiv preprint arXiv:1806.07904.
Quantum Information 4 (1), 49. Liu, Y.-H., and S.-Y. Tseng (2017),
Koch, C. P. (2016), Journal of Physics: Condensed Matter 28 (21), 213001.
Journal of Physics B: Atomic, Molecular and Optical Physics 50 (20),
Kölbl, J., A. Barfuss, M. S. Kasperczyk, L. Thiel, Lizuain, I., M. Palmero, and J. G. Muga (2017),
A. A. Clerk, H. Ribeiro, and P. Maletinsky (2019), Phys. Rev. A 95 (2), 022130.
Phys. Rev. Lett. 122, 090502. Lizuain, I., A. Tobalina, A. Rodriguez-Prieto, and J. G. Muga
Kolodrubetz, M., D. Sels, P. Mehta, and A. Polkovnikov (2019), arXiv preprint arXiv:1904.08987v2.
(2017), Physics Reports 697, 1. Lohe, M. A. (2009), Journal of Physics A: Mathematical and Theoretical 4
Kosloff, R. (2013), Entropy 15 (6), 2100. Longhi, S. (2009), Laser & Photonics Reviews 3 (3), 243.
Kosloff, R., and Y. Rezek (2017), Entropy 19 (4), 136. Longhi, S. (2017), Phys. Rev. A 95, 062122.
Kuo, T.-Y. T., and S.-C. J. Kang (2014), Lu, M., Y. Xia, L.-T. Shen, and J. Song (2014a),
Automation in Construction 42 (42), 25. Laser Physics 24 (10), 105201.
Kyaw, T. H., and L.-C. Kwek (2018), Lu, M., Y. Xia, L.-T. Shen, J. Song, and N. B. An (2014b),
New Journal of Physics 20 (4), 045007. Phys. Rev. A 89, 012326.
Lakehal, H., M. Maamache, and J. R. Choi (2016), Lu, X.-J., X. Chen, J. Alonso, and J. G. Muga (2014c),
Sci. Rep. 6, 19860. Phys. Rev. A 89, 023627.
Landauer, R. (1961), IBM journal of research and develop- Lu, X.-J., X. Chen, A. Ruschhaupt, D. Alonso, S. Guérin,
ment 5 (3), 183. and J. G. Muga (2013), Phys. Rev. A 88, 033406.
Lax, P. D. (1968), Communications on pure and applied Lu, X.-J., M. Li, Z. Y. Zhao, C.-L. Zhang, H.-P. Han, Z.-B.
mathematics 21 (5), 467. Feng, and Y.-Q. Zhou (2017), Phys. Rev. A 96, 023843.
Levy, A., A. Kiely, J. G. Muga, R. Kosloff, and E. Torrontegui Lu, X.-J., J. G. Muga, X. Chen, U. G. Poschinger,
(2018), New Journal of Physics 20 (2), 025006. F. Schmidt-Kaler, and A. Ruschhaupt (2014d),
Levy, A., E. Torrontegui, and R. Kosloff (2017), Phys. Rev. A 89 (6), 063414.
Phys. Rev. A 96, 033417. Lu, X.-J., M. Palmero, A. Ruschhaupt, X. Chen, and J. G.
Lewis, H. R., and P. G. L. Leach (1982), Muga (2015), Physica Scripta 90 (7), 074038.
Journal of Mathematical Physics 23 (12), 2371. Lu, X.-J., A. Ruschhaupt, and J. G. Muga (2018),
Lewis Jr, H. R., and W. Riesenfeld (1969), Phys. Rev. A 97, 053402.
Journal of Mathematical Physics 10 (8), 1458. Luo, D.-W., P. V. Pyshkin, C.-H. Lam, T. Yu, H.-Q. Lin, J. Q.
Li, G., H. T. Quan, and Z. C. Tu (2017a), You, and L.-A. Wu (2015), Phys. Rev. A 92, 062127.
Phys. Rev. E 96, 012144. Lv, Q.-X., H.-Z. Liu, J.-H. Liang, K.-Y. Liao, and Y.-X. Du
Li, G.-Q., G.-D. Chen, P. Peng, and W. Qi (2017b), (2019), arXiv preprint arXiv:1903.03397.
The European Physical Journal D 71 (1), 14. Ma, W., X. J. Cao, and S. L. Wu (2017),
Li, H., H. Z. Shen, S. L. Wu, and X. X. Yi (2017c), Opt. Express 25 (20), 23850.
Opt. Express 25 (24), 30135. Maamache, M., O. Kaltoum Djeghiour,
Li, J., T. Fogarty, S. Campbell, X. Chen, and T. Busch N. Mana, and W. Koussa (2017),
(2018a), New Journal of Physics 20 (1), 015005. The European Physical Journal Plus 132 (9), 383.
Li, J., K. Sun, and X. Chen (2016), Sci. Rep. 6 (1), 38258. Mandelstam, L., and I. Tamm (1945), J. Phys. USSR 9, 249.
56
Marr, C., A. Beige, and G. Rempe (2003), Muga, J. G., J. Echanobe, A. del
Phys. Rev. A 68, 033817. Campo, and I. Lizuain (2008),
Martı́nez, I. A., A. Petrosyan, D. Guéry-Odelin, E. Trizac, Journal of Physics B: Atomic, Molecular and Optical Physics 41 (17),
and S. Ciliberto (2016), Nature Physics 12 (9), 843. Muga, J. G., M. A. Simón, and A. Tobalina (2016),
Martı́nez, I. A., E. Roldán, J. M. R. Parrondo, and D. Petrov New Journal of Physics 18 (2), 021005.
(2013), Phys. Rev. E 87, 032159. Mukherjee, V., S. Montangero, and R. Fazio (2016),
Martı́nez-Garaot, S., J. G. Muga, and S.-Y. Tseng (2017), Phys. Rev. A 93 (6), 062108.
Optics Express 25 (1), 159. Nakamura, K., A. Khujakulov, S. Avazbaev, and S. Masuda
Martı́nez-Garaot, S., M. Palmero, D. Guéry-Odelin, and J. G. (2017), Phys. Rev. A 95 (6), 062108.
Muga (2015a), Phys. Rev. A 92 (5), 053406. Navez, P., S. Pandey, H. Mas, K. Poulios,
Martı́nez-Garaot, S., M. Palmero, J. G. Muga, and D. Guéry- T. Fernholz, and W. von Klitzing (2016),
Odelin (2016), Phys. Rev. A 94 (6), 063418. New Journal of Physics 18 (7), 075014.
Martı́nez-Garaot, S., A. Rodriguez-Prieto, and J. G. Muga Ndong, M., G. Djotyan, A. Ruschhaupt, and S. Gurin (2015),
(2018), Phys. Rev. A 98, 043622. Journal of Physics B: Atomic, Molecular and Optical Physics 48 (17),
Martı́nez-Garaot, S., A. Ruschhaupt, J. Gillet, T. Busch, and Nenciu, G., and G. Rasche (1992), Journal of Physics A:
J. G. Muga (2015b), Phys. Rev. A 92 (4), 043406. Mathematical and General 25 (21), 5741.
Martı́nez-Garaot, S., E. Torrontegui, X. Chen, M. Modugno, Ness, G., C. Shkedrov, Y. Florshaim, and Y. Sagi (2018),
D. Guéry-Odelin, S.-Y. Tseng, and J. G. Muga (2013), New Journal of Physics 20 (9), 095002.
Phys. Rev. Lett. 111 (21), 213001. Nishimura, K., and K. Takahashi (2018), SciPost Phys. 5, 29.
Martı́nez-Garaot, S., E. Torrontegui, X. Chen, and J. G. Nizamani, A. H., and W. K. Hensinger (2012), Applied
Muga (2014a), Phys. Rev. A 89 (5), 053408. Physics B 106 (2), 327.
Martı́nez-Garaot, S., S.-Y. Tseng, and J. G. Muga (2014b), Oh, S., and S. Kais (2014),
Optics Letters 39 (8), 2306. The Journal of Chemical Physics 141 (22), 224108.
Martinis, J. M., and M. R. Geller (2014), Okuyama, M., and K. Takahashi (2016),
Phys. Rev. A 90, 022307. Phys. Rev. Lett. 117 (7), 070401.
Masuda, S., and K. Nakamura (2008), Okuyama, M., and K. Takahashi (2017),
Phys. Rev. A 78, 062108. Journal of the Physical Society of Japan 86 (4), 043002.
Masuda, S., and K. Nakamura (2010), Onofrio, R. (2017), Physics-Uspekhi 59 (11), 1129.
Proceedings of the Royal Society A: Mathematical, Physical and Opatrnỳ,
EngineeringT.,Sciences 466 and
(2116),K.1135.Mølmer (2014),
Masuda, S., and K. Nakamura (2011), New Journal of Physics 16 (1), 015025.
Phys. Rev. A 84 (4), 043434. Opatrnỳ, T., H. Saberi, E. Brion, and K. Mølmer (2016),
Masuda, S., K. Nakamura, and A. del Campo (2014), Phys. Rev. A 93, 023815.
Phys. Rev. Lett. 113 (6), 063003. Oreshkov, O., and J. Calsamiglia (2010),
Masuda, S., K. Nakamura, and M. Nakahara (2018), Phys. Rev. Lett. 105, 050503.
New Journal of Physics 20 (2), 025008. Ozcakmakli, Z., and C. Yuce (2012),
Masuda, S., and S. A. Rice (2014), Phys. Rev. A 89, 033621. Physica Scripta 86 (5), 055001.
Masuda, S., and S. A. Rice (2015a), Palmero, M., R. Bowler, J. P. Gaebler, D. Leibfried, and
The Journal of Physical Chemistry A 119 (14), 3479. J. G. Muga (2014), Phys. Rev. A 90 (5), 053408.
Masuda, S., and S. A. Rice (2015b), Palmero, M., S. Martı́nez-Garaot, J. Alonso, J. P. Home, and
The Journal of Chemical Physics 142 (24), 244303. J. G. Muga (2015a), Phys. Rev. A 91 (5), 053411.
Masuda, S., and S. A. Rice (2015c), Palmero, M., S. Martı́nez-Garaot, D. Leibfried,
The Journal of Physical Chemistry B 119 (34), 11079. D. J. Wineland, and J. G. Muga (2017),
Masuda, S., and S. A. Rice (2016), Advances in Chemical Phys. Rev. A 95 (2), 022328.
Physics Volume 159, Advances in Chemical Physics , 51. Palmero, M., S. Martı́nez-Garaot, U. G. Poschinger,
Menchon-Enrich, R., A. Benseny, V. Ahufinger, A. D. A. Ruschhaupt, and J. G. Muga (2015b),
Greentree, T. Busch, and J. Mompart (2016), New Journal of Physics 17 (9), 093031.
Reports on Progress in Physics 79 (7), 074401. Palmero, M., E. Torrontegui, D. Guéry-Odelin, and J. G.
Messiah, A. (1962), Quantum Mechanics Volume II (North Muga (2013), Phys. Rev. A 88 (5), 053423.
Holland, Amsterdam). Palmero, M., S. Wang, D. Guéry-Odelin, J.-S. Li, and J. G.
Mishima, H., and Y. Izumida (2017), Muga (2016), New Journal of Physics 18 (4), 043014.
Phys. Rev. E 96, 012133. Pan, T.-H., and S.-Y. Tseng (2015),
Morita, S. (2007), Journal of the Physical Society of Japan 76 (10), Optics
104001.Express 23 (8), 10405.
Mortensen, H. L., J. J. Sørensen, K. Mølmer, and J. F. Sher- Pang, S., and A. N. Jordan (2017), Nature communications
son (2018), New Journal of Physics 20 (2), 025009. 8, 14695.
Motzoi, F., J. M. Gambetta, P. Rebentrost, and F. K. Wil- Papoular, D. J., and S. Stringari (2015),
helm (2009), Phys. Rev. Lett. 103, 110501. Phys. Rev. Lett. 115 (2), 025302.
Muga, J., J. Palao, B. Navarro, and I. Egusquiza (2004), Patra, A., and C. Jarzynski (2017a),
Physics Reports 395 (6), 357. The Journal of Physical Chemistry B 121 (15), 3403.
Muga, J. G., X. Chen, S. Ibáñez, Patra, A., and C. Jarzynski (2017b),
I. Lizuain, and A. Ruschhaupt (2010), New Journal of Physics 19 (12), 125009.
Journal of Physics B: Atomic, Molecular and Optical Physics 43 Paul, K.,
(8), 085509. and A. K. Sarma (2015),
Muga, J. G., X. Chen, A. Ruschhaupt, Phys. Rev. A 91 (5), 053406.
and D. Guéry-Odelin (2009), Pedregosa-Gutierrez, J., C. Champenois,
Journal of Physics B: Atomic, Molecular and Optical Physics 42 M. R.
(24), 241001.Kamsap, and M. Knoop (2015),
57
International Journal of Mass Spectrometry 381-382, 33. Sarandy, M. S., E. I. Duzzioni, and M. H. Y. Moussa (2007),
Pekola, J. P., V. Brosco, M. Möttönen, P. Solinas, and Phys. Rev. A 76, 052112.
A. Shnirman (2010), Phys. Rev. Lett. 105, 030401. Sarandy, M. S., and D. A. Lidar (2005),
Peng, R., Y. Zheng, S.-W. Liu, X.-P. Li, J.-L. Wu, and X. Ji Phys. Rev. A 71, 012331.
(2017), Quantum Information Processing 16 (7), 172. Schaff, J.-F., P. Capuzzi, G. Labeyrie, and P. Vignolo
Petiziol, F., B. Dive, S. Carretta, R. Mannella, F. Mintert, (2011a), New Journal of Physics 13 (11), 113017.
and S. Wimberger (2019), arXiv preprint arXiv:1901.07344. Schaff, J.-F., X.-L. Song, P. Capuzzi,
Petiziol, F., B. Dive, F. Mintert, and S. Wimberger (2018), P. Vignolo, and G. Labeyrie (2011b),
Phys. Rev. A 98, 043436. EPL (Europhysics Letters) 93 (2), 23001.
Pinch, E. R. (1993), Optimal Control and the Calculus of Schaff, J.-F., X.-L. Song, P. Vignolo, and G. Labeyrie (2010),
Variations (Oxford University Press, New York). Phys. Rev. A 82 (3), 033430.
Plata, C. A., D. Guéry-Odelin, E. Trizac, and A. Prados Schaller, G., S. Mostame, and R. Schützhold (2006),
(2019), Phys. Rev. E 99, 012140. Phys. Rev. A 73, 062307.
Puri, S., S. Boutin, and A. Blais (2017), Schloss, J., A. Benseny, J. Gillet, J. Swain, and T. Busch
npj Quantum Information 3 (1), 18. (2016), New Journal of Physics 18 (3), 035012.
Qi, S., and J. Jing (2019), arXiv preprint arXiv:1905.09524. Schmiedl, T., E. Dieterich, P.-S. Di-
Quan, H. T., and W. H. Zurek (2010), eterich, and U. Seifert (2009),
New Journal of Physics 12 (9), 093025. Journal of Statistical Mechanics: Theory and Experiment 2009 (07), P
Ran, D., Z.-C. Shi, J. Song, and Y. Xia (2017), Schutjens, R., F. A. Dagga, D. J. Egger, and F. K. Wilhelm
Phys. Rev. A 96, 033803. (2013), Phys. Rev. A 88, 052330.
Reichle, R., D. Leibfried, R. Blakestad, J. Britton, J. D. Sekimoto, K., and S.-i. Sasa (1997),
Jost, E. Knill, C. Langer, R. Ozeri, S. Seidelin, and Journal of the Physical Society of Japan 66 (11), 3326.
D. J. Wineland (2006), Fortschritte der Physik: Progress Sels, D., and A. Polkovnikov (2017),
of Physics 54 (8-10), 666. Proceedings of the National Academy of Sciences of the United States
Ren, F.-H., Z.-M. Wang, and Y.-J. Gu (2017), Setiawan, I., B. E. Gunara, S. Avazbaev, and K. Nakamura
Physics Letters A 381 (2), 70. (2019), Phys. Rev. A 99, 062116.
Rezakhani, A. T., A. K. Pimachev, and D. A. Lidar (2010), Setiawan, I., B. E. Gunara, S. Masuda, and K. Nakamura
Phys. Rev. A 82, 052305. (2017), Phys. Rev. A 96, 052106.
Rezek, Y., P. Salamon, K. H. Hoffmann, and R. Kosloff Shan, W.-J., Y. Xia, Y.-H. Chen, and J. Song (2016), Quan-
(2009), EPL (Europhysics Letters) 85 (3), 30008. tum Information Processing 15 (6), 2359.
Richerme, P., C. Senko, J. Smith, A. Lee, S. Korenblit, and Shen, C.-P., and S. Su (2018), arXiv preprint
C. Monroe (2013), Phys. Rev. A 88, 012334. arXiv:1807.02808.
Ritland, K., and A. Rahmani (2018), Shi, X., and L. F. Wei (2015),
New Journal of Physics 20 (6), 065005. Laser Physics Letters 12 (1), 015204.
Rohringer, W., D. Fischer, F. Steiner, I. E. Mazets, Simón, M. Á., Á. Buendı́a, and J. G. Muga (2018), Mathe-
J. Schmiedmayer, and M. Trupke (2015), Sci. Rep. 5, 9820. matics 6 (7), 111.
Roland, J., and N. J. Cerf (2002), Phys. Rev. A 65, 042308. Smith, A., Y. Lu, S. An, X. Zhang, J.-N. Zhang, Z. Gong,
Rouchon, P. (2005), ZAMM-Journal of Applied Mathemat- H. T. Quan, C. Jarzynski, and K. Kim (2018),
ics and Mechanics/Zeitschrift für Angewandte Mathematik New Journal of Physics 20 (1), 013008.
und Mechanik 85 (6), 411. Song, C., S.-L. Su, C.-H. Bai, X. Ji, and S. Zhang (2016a),
Ruschhaupt, A., X. Chen, D. Alonso, and J. G. Muga (2012), Quantum Information Processing 15 (10), 4159.
New Journal of Physics 14 (9), 093040. Song, J., Z.-J. Zhang, Y. Xia, X.-D. Sun, and Y.-Y. Jiang
Ruschhaupt, A., and J. Muga (2014), (2016b), Opt. Express 24 (19), 21674.
Journal of Modern Optics 61 (10), 828. Song, K.-H., and M.-F. Chen (2016),
Ruster, T., C. Warschburger, H. Kaufmann, C. T. Quantum Information Processing 15 (8), 3169.
Schmiegelow, A. Walther, M. Hettrich, A. Pfister, Song, L.-C., Y. Xia, and J. Song (2014),
V. Kaushal, F. Schmidt-Kaler, and U. G. Poschinger Journal of Modern Optics 61 (16), 1290.
(2014), Phys. Rev. A 90 (3), 033410. Song, X.-K., Q. Ai, J. Qiu, and F.-G. Deng (2016c),
Saberi, H., T. Opatrnỳ, K. Mølmer, and A. del Campo Phys. Rev. A 93 (5), 052324.
(2014), Phys. Rev. A 90, 060301. Song, X.-K., F.-G. Deng, L. Lamata, and J. G. Muga (2017),
Salamon, P., K. H. Hoffmann, Y. Rezek, and R. Kosloff Phys. Rev. A 95 (2), 022332.
(2009), Phys. Chem. Chem. Phys. 11, 1027. Song, X.-K., H. Zhang, Q. Ai, J. Qiu, and F.-G. Deng
Santos, A. C. (2018), Journal of Physics B: Atomic, Molecular and Optical
(2016d),Physics 51 (1), of
New Journal 015501.
Physics 18 (2), 023001.
Santos, A. C., A. Nicotina, A. M. de Souza, R. S. Sarthour, Stefanatos, D. (2013), Automatica 49 (10), 3079.
I. S. Oliveira, and M. S. Sarandy (2019), arXiv preprint Stefanatos, D. (2014), Phys. Rev. A 90 (2), 023811.
arXiv:1906.08065. Stefanatos, D. (2017a), Phys. Rev. E 96, 042103.
Santos, A. C., and M. S. Sarandy (2015), Sci. Rep. 5, 15775. Stefanatos, D. (2017b), IEEE Transactions on Automatic
Santos, A. C., and M. S. Sarandy (2018), Control 62 (8), 4290.
Journal of Physics A: Mathematical and Theoretical 51 (2), 025301.
Stefanatos, D. (2018), Journal of Applied Mathematics and
Santos, A. C., R. D. Silva, and M. S. Sarandy (2016), Bioinformatics 8, 17.
Phys. Rev. A 93, 012311. Stefanatos, D., and J.-S. Li (2014),
Sarandy, M., E. Duzzioni, and R. Serra (2011), IEEE Transactions on Automatic Control 59 (3), 733.
Physics Letters A 375 (38), 3343.
58
Stefanatos, D., and E. Paspalakis (2018a), arXiv preprint Torrontegui, E., S. Martı́nez-Garaot, M. Modugno, X. Chen,
arXiv:1805.07129. and J. G. Muga (2013b), Phys. Rev. A 87 (3), 033630.
Stefanatos, D., and E. Paspalakis (2018b), Torrontegui, E., S. Martı́nez-Garaot, and J. G. Muga (2014),
New Journal of Physics 20 (5), 055009. Phys. Rev. A 89 (4), 043408.
Stefanatos, D., and E. Paspalakis (2019a), Torrontegui, E., S. Martı́nez-Garaot, A. Ruschhaupt, and
Phys. Rev. A 100, 012111. J. G. Muga (2012c), Phys. Rev. A 86 (1), 013601.
Stefanatos, D., and E. Paspalakis (2019b), arXiv preprint Tseng, S.-Y. (2013), Opt. Express 21 (18), 21224.
arXiv:1907.00166. Tseng, S.-Y. (2014), Optics Letters 39 (23), 6600.
Stefanatos, D., J. Ruths, and J.-S. Li (2010), Tseng, S.-Y., and X. Chen (2012),
Phys. Rev. A 82 (6), 063422. Optics Letters 37 (24), 5118.
Sun, C., A. Saxena, and N. A. Sinitsyn (2017), Tseng, S.-Y., R.-D. Wen, Y.-F. Chiu, and X. Chen (2014),
Journal of Physics B: Atomic, Molecular and Optical Physics 50 Opt.
(17), Express
175501. 22 (16), 18849.
Sun, N., X. Zhang, Y. Fang, and Y. Yuan (2012), Tu, Z. C. (2014), Phys. Rev. E 89, 052148.
IET Control Theory & Applications 6 (10), 1410. Unanyan, R. G., L. P. Yatsenko, K. Bergmann, and B. W.
Sun, Z., L. Zhou, G. Xiao, D. Poletti, and J. Gong (2016), Shore (1997), Optics Communications 139 (1), 48.
Phys. Rev. A 93, 012121. Vacanti, G., R. Fazio, S. Montangero, G. M.
Takahashi, K. (2013a), Journal of Physics A: Mathematical and Theoretical
Palma, 46 M.(31),
Paternostro,
315304. and V. Vedral (2014),
Takahashi, K. (2013b), Phys. Rev. E 87, 062117. New Journal of Physics 16 (5), 053017.
Takahashi, K. (2014), Phys. Rev. A 89, 042113. Van-Damme, L., D. Schraft, G. T. Genov, D. Sugny, T. Half-
Takahashi, K. (2015), Phys. Rev. A 91 (4), 042115. mann, and S. Guérin (2017), Phys. Rev. A 96, 022309.
Takahashi, K. (2017a), New Journal of Physics 19 (11), 115007. Venuti, L. C., T. Albash, D. A. Lidar, and P. Zanardi (2016),
Takahashi, K. (2017b), Phys. Rev. A 95, 012309. Phys. Rev. A 93, 032118.
Takahashi, K. (2019), Journal of the Physical Society of Japan 88Vepsäläinen,
(6), 061002. A., S. Danilin, and G. Paraoanu (2018),
Takahashi, K., and M. Ohzeki (2016), Quantum Science and Technology 3 (2), 024006.
Phys. Rev. E 93, 012129. Vepsäläinen, A., S. Danilin, and G. S. Paraoanu (2019), Sci-
Theis, L. S., F. Motzoi, S. Machnes, and F. K. Wilhelm ence Advances 5 (2), eaau5999.
(2018), EPL (Europhysics Letters) 123 (6), 60001. Villazon, T., A. Polkovnikov, and A. Chandran (2019), arXiv
Theis, L. S., F. Motzoi, and F. K. Wilhelm (2016), preprint arXiv:1902.05964.
Phys. Rev. A 93, 012324. Vitanov, N. V., and M. Drewsen (2019),
Thunström, P., J. Åberg, and E. Sjöqvist (2005), Phys. Rev. Lett. 122, 173202.
Phys. Rev. A 72, 022328. Vitanov, N. V., A. A. Rangelov, B. W. Shore, and
Tian, L. (2018), arXiv preprint arXiv:1802.02285. K. Bergmann (2017), Rev. Mod. Phys. 89, 015006.
Tobalina, A., J. Alonso, and J. G. Muga (2018), Vitanov, N. V., and B. W. Shore (2015),
New Journal of Physics 20 (6), 065002. Journal of Physics B: Atomic, Molecular and Optical Physics 48 (17),
Tobalina, A., I. Lizuain, and J. G. Muga (2019), arXiv Čadež, T., J. H. Jefferson, and A. Ramšak (2014),
preprint arXiv:1906.07473. Phys. Rev. Lett. 112, 150402.
Tobalina, A., M. Palmero, S. Martı́nez-Garaot, and J. G. Walther, A., F. Ziesel, T. Ruster, S. T. Dawkins,
Muga (2017), Sci. Rep. 7 (1), 5753. K. Ott, M. Hettrich, K. Singer, F. Schmidt-Kaler, and
Torosov, B. T., G. Della Valle, and S. Longhi (2013), U. Poschinger (2012), Phys. Rev. Lett. 109 (8), 080501.
Phys. Rev. A 87, 052502. Wang, T., Z. Zhang, L. Xiang, Z. Jia, P. Duan, W. Cai,
Torosov, B. T., G. Della Valle, and S. Longhi (2014), Z. Gong, Z. Zong, M. Wu, J. Wu, L. Sun, Y. Yin, and
Phys. Rev. A 89, 063412. G. Guo (2018), New Journal of Physics 20 (6), 065003.
Torrontegui, E., X. Chen, M. Modugno, A. Ruschhaupt, Wang, Z., Y. Xia, Y.-H. Chen, and J. Song (2016a),
D. Guéry-Odelin, and J. G. Muga (2012a), The European Physical Journal D 70 (8), 162.
Phys. Rev. A 85, 033605. Wang, Z.-M., C. A. Bishop, J. Jing, Y.-J. Gu, C. Garcia, and
Torrontegui, E., X. Chen, M. Modugno, S. Schmidt, L.-A. Wu (2016b), Phys. Rev. A 93, 062338.
A. Ruschhaupt, and J. G. Muga (2012b), Wendin, G. (2017), Reports on Progress in Physics 80 (10), 106001.
New Journal of Physics 14 (1), 013031. Wiebe, N., and N. S. Babcock (2012),
Torrontegui, E., S. Dawkins, M. Göb, and K. Singer (2018), New Journal of Physics 14 (1), 013024.
New Journal of Physics 20 (10), 105001. Wineland, D. J., C. Monroe, W. M. Itano, D. Leibfried,
Torrontegui, E., and J. J. Garcı́a-Ripoll (2019), B. E. King, and D. M. Meekhof (1998),
EPL (Europhysics Letters) 125 (3), 30004. Journal of research of the National Institute of Standards and Technolo
Torrontegui, E., S. Ibáñez, X. Chen, A. Ruschhaupt, Wu, J.-L., X. Ji, and S. Zhang (2016a), Sci. Rep. 6, 33669.
D. Guéry-Odelin, and J. G. Muga (2011), Wu, J.-L., X. Ji, and S. Zhang (2017a), Quantum Information
Phys. Rev. A 83, 013415. Processing 16 (12), 294.
Torrontegui, E., S. Ibáñez, S. Martı́nez-Garaot, Wu, J.-L., X. Ji, and S. Zhang (2017b), Sci. Rep. 7, 46255.
M. Modugno, A. del Campo, D. Guéry-Odelin, Wu, J.-L., X. Ji, and S. Zhang (2017c),
A. Ruschhaupt, X. Chen, and J. G. Muga (2013a), Optics Express 25 (18), 21084.
Advances In Atomic, Molecular, and Optical Physics AdvancesWu, J.-L., Molecular,
In Atomic, C. Song, and
X. Optical
Ji, and S. Zhang
Physics, 62, 117.(2016b),
Torrontegui, E., and R. Kosloff (2013), J. Opt. Soc. Am. B 33 (10), 2026.
Phys. Rev. E 88 (3), 032103. Wu, J.-L., S.-L. Su, X. Ji, and S. Zhang (2017d),
Torrontegui, E., I. Lizuain, S. González-Resines, A. Tobalina, Annals of Physics 386, 34.
A. Ruschhaupt, R. Kosloff, and J. G. Muga (2017), Wu, Q.-C., Y.-H. Chen, B.-H. Huang, J. Song, Y. Xia, and
Phys. Rev. A 96 (2), 022133. S.-B. Zheng (2016c), Opt. Express 24 (20), 22847.
59
Wu, S. L., X. L. Huang, H. Li, and X. X. Yi (2017e), Zhong, Z.-R. (2016), Sci. Rep. 6 (1), 8.
Phys. Rev. A 96, 042104. Zhou, B. B., A. Baksic, H. Ribeiro, C. G. Yale, F. J. Here-
Wu, S. L., X. Y. Zhang, and X. X. Yi (2015), mans, P. C. Jerger, A. Auer, G. Burkard, A. A. Clerk, and
Phys. Rev. A 92, 062122. D. D. Awschalom (2017a), Nature Physics 13 (4), 330.
Xiao, G., and J. Gong (2014), Phys. Rev. E 90, 052132. Zhou, X., S. Jin, and J. Schmiedmayer (2018),
Xing-Xin, C., Z. Jun, N. Xi-Jing, and Z. Wen-Xian (2013), New Journal of Physics 20 (5), 055005.
Chinese Physics B 22 (9), 090310. Zhou, X., B.-J. Liu, L. Shao, X.-D. Zhang, and Z.-Y. Xue
Xu, J., L. Yu, J.-L. Wu, and X. Ji (2017), (2017b), Laser Physics Letters 14 (9), 095202.
Chinese Physics B 26 (9), 090301.
Yan, T., B.-J. Liu, K. Xu, C. Song, S. Liu, Z. Zhang, H. Deng,
Z. Yan, H. Rong, K. Huang, M.-H. Yung, Y. Chen, and
D. Yu (2019a), Phys. Rev. Lett. 122, 080501.
Yan, Y., Y. Li, A. Kinos, A. Walther, C. Shi,
L. Rippe, J. Moser, S. Kröll, and X. Chen (2019b),
Opt. Express 27 (6), 8267.
Yang, Y.-F., Y.-H. Chen, Q.-C. Wu, Y.-H.
Kang, B.-H. Huang, and Y. Xia (2017),
Quantum Information Processing 16 (1), 15.
Yang, Y.-F., Y.-H. Chen, Q.-C. Wu, Z.-C. Shi, J. Song, and
Y. Xia (2018), Canadian Journal of Physics 96 (1), 81.
Ye, L.-X., X. Lin, X. Chen, J. He, R.-C. Yang, and H.-Y. Liu
(2016), Quantum Information Processing 15 (7), 2785.
Yeih, C.-S., H.-X. Cao, and S.-Y. Tseng (2014),
IEEE Photonics Technology Letters 26 (2), 123.
Yi, X. X., D. M. Tong, L. C. Kwek, and C. H. Oh (2007),
Journal of Physics B: Atomic, Molecular and Optical Physics 40 (2), 281.
Yoshimura, B., and J. K. Freericks (2015),
Frontiers in Physics 3, 85.
Yu, L., J. Xu, J.-L. Wu, and X. Ji (2017),
Chinese Physics B 26 (6), 060306.
Yu, X.-T., Q. Zhang, Y. Ban, and X. Chen (2018),
Phys. Rev. A 97, 062317.
Yuce, C. (2012), Physics Letters A 376 (21), 1717.
Yuste, A., B. Juliá-Dı́az, E. Torrontegui, J. Martorell, J. G.
Muga, and A. Polls (2013), Phys. Rev. A 88, 043647.
Zhang, H., X.-K. Song, Q. Ai, H. Wang, G.-J. Yang, and
F.-G. Deng (2018a), arXiv preprint arXiv:1809.00102.
Zhang, J., T. H. Kyaw, D. M. Tong, E. Sjöqvist, and L.-C.
Kwek (2015a), Sci. Rep. 5, 18414.
Zhang, J., F.-G. Li, Y. Xie, C.-W. Wu, B.-Q. Ou, W. Wu,
and P.-X. Chen (2018b), Phys. Rev. A 98, 052323.
Zhang, J., J. H. Shim, I. Niemeyer, T. Taniguchi, T. Teraji,
H. Abe, S. Onoda, T. Yamamoto, T. Ohshima, J. Isoya,
and D. Suter (2013a), Phys. Rev. Lett. 110, 240501.
Zhang, J.-Q., Y. Li, and M. Feng (2013b),
Journal of Physics: Condensed Matter 25 (14), 142201.
Zhang, Q., X. Chen, and D. Guéry-Odelin (2015b),
Phys. Rev. A 92 (4), 043410.
Zhang, Q., X. Chen, and D. Guéry-Odelin (2017a),
Sci. Rep. 7 (7), 15814.
Zhang, Q., J. G. Muga, D. Guéry-
Odelin, and X. Chen (2016),
Journal of Physics B: Atomic, Molecular and Optical Physics 49 (12), 125503.
Zhang, X., Y.-H. Chen, Q.-C. Wu, Z.-C. Shi, J. Song, and
Y. Xia (2017b), Laser Physics 27 (1), 015202.
Zhang, Z., T. Wang, L. Xiang, Z. Jia, P. Duan, W. Cai,
Z. Zhan, Z. Zong, J. Wu, L. Sun, Y. Yin, and G. Guo
(2018c), New Journal of Physics 20 (8), 085001.
Zhang, Z., T. Wang, L. Xiang, J. Yao, J. Wu, and Y. Yin
(2017c), Phys. Rev. A 95, 042345.
Zhao, Y. J., B. Liu, Y. Q. Ji, S. Q. Tang, and X. Q. Shao
(2017), Sci. Rep. 7 (1), 16489.
Zheng, Y., S. Campbell, G. De Chiara, and D. Poletti (2016),
Phys. Rev. A 94 (4), 042132.
60