Abstract
Shortcuts to adiabaticity (STA) are relevant in the context of quantum systems, particularly regarding their control when they are subjected to time-dependent external conditions. In this paper, we investigate the completion of a nonadiabatic evolution into a shortcut to adiabaticity for a quantum field confined within a one-dimensional cavity containing two movable mirrors. Expanding upon our prior research, we characterize the field’s state using two Moore functions that enables us to apply reverse engineering techniques in constructing the STA. Regardless of the initial evolution, we achieve a smooth extension of the Moore functions that implements the STA. This extension facilitates the computation of the mirrors’ trajectories based on the aforementioned functions. Additionally, we draw attention to the existence of a comparable problem within nonrelativistic quantum mechanics.
1. Introduction
Quantum thermodynamics constitutes a burgeoning research field that explores the interplay between thermodynamic principles and quantum systems [1]. By merging the foundational tenets of quantum mechanics with classical thermodynamics, it seeks to unravel the intricacies of thermal phenomena manifested at the microscopic scale. Within this insight, quantum thermal machines have emerged as pioneering devices capable of harnessing quantum effects to execute thermodynamic operations such as work extraction from heat reservoirs and refrigeration. Operating in the quantum regime, these machines exploit the distinctive attributes of quantum coherence and entanglement, thus surpassing the limitations imposed by their classical counterparts. However, to this end, it is crucial to isolate these systems from the interaction with their surroundings in order to maintain quantum correlation or even cool atoms to absolute zero.
Quantum open systems investigate the dynamics and interactions of quantum systems under the influence of an environment, accounting the reasons for which it is often challenging to isolate or completely control the quantum system [2]. These interactions introduce complexities that can lead to undesired effects, such as decoherence, dissipation, and errors. A comprehensive understanding and characterizing of the open dynamics of a system is essential for controlling it effectively and minimizing sources of errors. This knowledge allows for the design of strategies to manipulate and engineer quantum systems while mitigating the impact of unwanted interactions. In quantum thermodynamics, where precision and accuracy are of utmost importance, controlling and reducing errors is critical to achieving reliable and efficient operations.
Quantum machines play a crucial role in quantum thermodynamics by enabling the manipulation and control of quantum states and energy exchanges at the microscopic level [3,4,5]. They serve as experimental platforms for studying fundamental aspects of quantum thermodynamics. Most of the research in this area has been conducted on qubits [3] or harmonic oscillators [4] subjected to different thermodynamic cycles. In [5], a thermal machine using a quantum field subjected to an Otto cycle, implemented with a superconducting circuit (consisting of a transmission line terminated by a superconducting quantum interference device), has been considered. The performance of this machine has been studied when acting as both a heat engine and a refrigerator. It has been shown that in a nonadiabatic regime, the efficiency of the quantum cycle is affected by the dynamical Casimir effect (DCE) [6,7,8,9,10], which induces a kind of quantum friction that diminishes the efficiency. Superconducting qubits, the building blocks of circuit QED systems, provide long coherence times and high-fidelity operations and therefore offer a versatile platform for implementing thermodynamic protocols and studying quantum heat engines and refrigerators [11].
In some cases of discrete stroke quantum machines, such as a quantum harmonic oscillator or a quantum field undergoing an Otto cycle, it has been shown that the efficiency of the resulting machine is maximum for adiabatic (i.e., infinitely slow) driving [5,12]. The problem is that these conditions imply a slow evolution that can be impractical and inefficient in terms of time. Furthermore, it can lead to the loss of efficiency of a heat engine. In this scenario, a shortcut to adiabaticity (STA) appears as a promising technique to overcome the efficiency loss associated with finite-time operations and achieve results comparable to adiabatic processes. Adiabatic shortcuts is a technique that allows a system to evolve rapidly between two adiabatic states without violating the adiabatic constraints. In general, this means that for an adiabatic shortcut, no new excitations will be generated in the final state; however, it is worth noting that some STA methods, such as transitionless quantum driving [13,14], also ensure that nonadiabatic excitations are suppressed even at intermediate times. Other methods for implementing shortcuts to adiabaticity include the use of invariants [15], fast forward techniques [16], optimal protocols [17], fast quasiadiabatic (FAQUAD), etc. [18].
STA has been considered from a theoretical and/or an experimental point of view for different physical systems: trapped ions [19], cold atoms [20], ultracold Fermi gases [21], Bose–Einstein condensates in atom chips [22], spin systems [23], etc. STA has been also proposed to relieve the trade-off of efficiency and power [24,25,26], both in single-particle quantum heat engines (QHEs) [27] and in many-particle QHEs [28,29,30].
In a previous work [31], we explored the possibility of applying STA in quantum field theory. Particularly, we showed how to implement an STA for a massless scalar field inside a cavity with a moving wall in () dimensions. The approach is based on the already known solution to the problem by exploiting the conformal symmetry. The shortcuts take place whenever the solution matches the adiabatic Wentzel–Kramers–Brillouin (WKB) solution [32] and there is no DCE. In [33], we generalized the results of a quantum scalar field in a one-dimensional optomechanical cavity to two moving mirrors. We showed that given the trajectories for the left and right mirrors, it is possible to find an STA ruled by the effective trajectories of the mirrors. When implemented in finite time, these trajectories result in the same state as if the original ones had been evolved adiabatically. This protocol has the advantage that it can be easily implemented experimentally using either an optomechanical cavity or superconducting circuits, as it does not require additional exotic potentials. Moreover, the effective trajectory can be computed from the original one quite simply, paving the way for more efficient quantum field thermal machines.
In this context, herein, we find a general approach to complete an STA in the optomechanical cavity. By completing an STA, we refer to the following scenario: let us consider the system initially in its ground state; then, subject it to a time-dependent, nonadiabatic transformation. As a result of this transformation, the system transitions to an excited state. The arising question is if it is feasible to carry out a subsequent transformation in a manner that leads the system back to its ground state. If such a possibility exists, we refer to it as an STA completion. This completion provides an additional tool for the control of quantum systems.
The paper is organized as follows. In Section 2, we review the main results for the quantization of a massless scalar field in a cavity with two moving boundaries. The excitation of the system can be described in terms of the so-called Moore’s functions [6,34], which are the main tools to construct the STA for the field. Before discussing the STA completion for this system, and as a warm-up, in Section 3, we describe a simple analogy using a quantum harmonic oscillator with time-dependent frequency. We see that there is a simple way to unfold the evolution and construct an STA by an inverse engineering method based on a smooth continuation of the so-called Ermakov function [35]. The striking similarity between the Ermakov and Moore functions is used in Section 4 to construct the STA completion in the optomechanical cavity. We show that there is a general procedure to build up STA completions and that in some particular cases, the protocol is extremely simple and shows time-inversion invariance. Section 5 contains the conclusions of our work.
2. The Optomechanical Cavity
The system we consider is a scalar field, , inside a one-dimensional cavity delimited by a moving mirror at each end whose positions are given by and , respectively (see Figure 1). The evolution of the field is determined by the wave equation inside the cavity
and Dirichlet boundary conditions on each mirror
Figure 1.
Schematics of the one-dimensional cavity with a scalar quantum field inside and two moving mirrors with trajectories and : The red and green curves illustrate two of the infinite modes of the field in the cavity.
Here, and in the rest of the paper, we use units where .
It is known that the time evolution of the field is solved by expanding the field in modes
where the modes are given by [34]
Here, and are functions determined by the so-called Moore’s equations
The functions and implement the conformal transformation
such that, in the new coordinates, the left and right mirrors are static at and . In the particular case in which the left mirror is static at , we have and a single nontrivial Moore equation.
The description of the dynamics of the quantum field in the presence of moving mirrors is therefore reduced to solving the Moore’s equations. Once this is achieved, the renormalized energy density of the field can be obtained from [34]
where
and is the initial length of the cavity. The above result is valid when the state of the field is initially in a thermal state at temperature T and is related to the initial mean energy
The expression for the renormalized energy–momentum tensor above can be obtained using the standard approach based on point-splitting regularization (see for instance [36]). It can also be derived using the conformal anomaly associated with the conformal transformation Equation (7) [37]. In the rest of the paper, we consider the case, in which the field is initially in the vacuum state.
It is important to note that for a static cavity with , , the general solution for and is
where is a constant, and is a -periodic function. However, a closer look at Equation (8) shows that the renormalized energy density reduces to the vacuum energy (the static Casimir energy density) if and only if , in other words, if the Moore functions are linear. Thus, it is the initial state of the cavity that determines this function, and the phenomenon of particle creation appears when and are nonlinear functions. The periodic function contains all the information of the excited state of the field.
2.1. STA for the Field
It is particularly challenging to find an STA for the quantum field in the cavity, since the only parameters that we can control and that affect the time evolution of the field are the positions of the left and right walls, and , respectively. However, in previous papers [31,33], we have shown that this is indeed possible and can be achieved as follows. First, we find the adiabatic Moore functions
which correspond to the infinitely slow evolution of the field for reference trajectories and . Then, we look for effective trajectories and such that they give rise to the adiabatic Moore functions previously found
The effective trajectories obtained produce an evolution of the field in finite time that at the end replicates the adiabatic one for the reference trajectories; hence, they constitute an STA.
This protocol has the potential to dramatically improve the efficiency of a thermodynamical cycle, but the energy cost of the shortcut should be taken into account [24,25,26,32]. Although there is no universal consensus on exactly how to measure this cost, one possible metric in standard quantum mechanics is given by
where is the Hamiltonian that implements a shortcut to the adiabatic evolution for a reference Hamiltonian , and protocols have a duration . However, in quantum field theory, the reference and effective protocols have different durations, and , respectively, and so the previous measure should be adapted. The simplest possible generalization of the energy cost to QFT would be
but further investigations are needed in order to understand whether this is in fact a faithful measure.
We discuss STA completions for this system in Section 4. Before doing that, we analyze the same problem in a simpler context that serves to illustrate the reverse engineering method used to build the STA completions.
3. A Simple Analogue: The Ermakov Equation for the Harmonic Oscillator with Time-Dependent Frequency
In this Section, we describe a simple analogue of the STA in QFT using a quantum harmonic oscillator. As we see, the excitation of the harmonic oscillator caused by the time dependence of the frequency can be described by the so-called Ermakov function. This function exhibits a behavior similar to that of the Moore functions for the scalar field in the optomechanical cavity.
The dynamics of a harmonic oscillator with a time-dependent frequency are given by
The position operator can be written in terms of annihilation and creation operators ( and ) as
where is a solution of Equation (18) with Wronskian given by
The Wronskian condition implies that the solutions can be written in terms of a real function as
that satisfies the equation
which is equivalent to Equation (18).
For a slowly varying function , we have , and Equation (21) gives the usual lowest-order WKB solution. Equation (22) can be used to obtain the higher-order corrections by solving it recursively using an expansion in the number of derivatives of . Alternatively, one can use an inverse engineering approach and think of Equation (21) as the exact solution of the problem with a frequency given by Equation (22).
Assuming that the frequency tends to constants values for , and that the oscillator is in the ground state for , in the case of a nonadiabatic evolution the oscillator will be excited for , that is . The and basis are the solutions of Equation (21) that satisfy
The Bogoliubov transformation that connects the and basis and and Fock spaces, when nontrivial, is an indication of the excitation of the system due to the external time dependence:
As is well known, and described in more detail below, the vacuum can be written as a squeezed state in terms of the states.
A frequency that leads to an evolution that does not produce an excitation of the harmonic oscillator constitutes an STA. It is important to remark that the evolution at intermediate times is in general nonadiabatic, but the system returns to the initial state when the effective frequency becomes constant at . The system is excited at intermediate times and subsequently returns to its ground state.
3.1. The Lewis-Riesenfeld Approach and the Ermakov Equation
In the Lewis–Riesenfeld approach, the solutions to Equation (18) are written in terms of the so-called Ermakov function that satisfies the Ermakov equation
which is equivalent to Equation (22).
It is possible to show that within a temporal interval where is constant, the general solution of the Ermakov equation reads [38,39]
where and are arbitrary constants. For , we have the usual solution for the harmonic oscillator with frequency . If the frequency is for , time-dependent in the interval , and then stops at , for we will have , and at the end of the motion, for , is given by Equation (26) with . The values of and will depend on the whole temporal evolution of the frequency. In general, the oscillator will end up in a squeezed state. In ref. [40], it has been shown that for the particular case , different evolutions may lead to the same Ermakov function for and therefore to the same excited state. If the evolution is such that is also constant for , then we have an unexciting evolution.
One can use reverse engineering to find effective unexciting evolutions by an adequate choice of ; indeed, assuming that is constant both for and , and plugging this "reference" Ermakov function into Equation (25), one can obtain the effective evolution as
Note that for this effective evolution the function evolves as the adiabatic solution for the reference frequency in a finite time. The system may admit, or not, situations where ; so, one should choose appropriately in models where this is physically unacceptable.
3.2. De-Excitation of the Harmonic Oscillator
Now, we address the following question: assume that the frequency is equal to for and evolves from to during the interval in such a way that the evolution “generates particles”, that is, that the oscillator is in an excited state for . We denote by the function that interpolates between and . Is it possible to find a subsequent time evolution of the frequency, , in an interval such that the final frequency is and that the final state of the oscillator is ? In other words, we are looking for a complementary time-dependent function such that the joint effective protocol
converts an initially nonadiabatic evolution into an STA.
After the initial evolution (described by ), one can prove that the initial vacuum state becomes a squeezed state. That is, for , we have [41]
where and are the coefficients of the Bogoliubov transformation. The mean occupation number of the + states reads
In order to unfold the evolution and generate the corresponding antisqueezing, one could choose an adequate Ermakov function as follows: for is determined by . It is an oscillating function for . We can now consider a smooth continuation of this function that starts at and becomes constant for . From the complete Ermakov function, one can determine the evolution of the “de-exciting frequency” in the interval that interpolates between and . The combination of the two evolutions implements the STA.
When , the second evolution can be chosen to be the time reversal of the first evolution . This symmetric trajectory always exists and can be constructed as follows. After the first evolution, for , the square of the Ermakov function is given by Equation (26). At any time that corresponds to a maximum or minimum of this periodic function, one can extend the Ermakov function symmetrically, that is for . From the Ermakov Equation (25), one can easily show that the whole evolution of the frequency is time-symmetric around .
It is worth remarking that the temporal reverse of an adiabatic shortcut is also an adiabatic shortcut, as can be easily checked using the Ermakov equation. We show a similar property for the moving mirrors in the next section.
Finally, we point out that for a general state, the unfolding would not be possible, i.e., given an arbitrary state with the same , an unitary evolution will not lead to a vacuum state. Note that a given value of only gives the mean occupation number but does not have the information about the full quantum state of the oscillator.
4. Completing an STA in the Optomechanical Cavity
In this section, we come back to the STA in the optomechanical cavity. We present different alternatives for completing a given trajectory into an STA for the quantum field. That is, we assume the cavity was initially in a vacuum state (zero temperature) at position and has suffered a perturbation that moved the right wall according to the trajectory with an associated Moore function . Our goal will be to find a second trajectory such that the joint trajectory has a Moore function that is linear at early and late times, which will result in an adiabatic evolution of the field. We present different strategies to achieve this based on the same ideas described in the previous section for the quantum harmonic oscillator.
Before proceeding, we need to establish a magnitude to decide whether an STA has been achieved and measure how far we are from one. Hence, we define the adiabaticity coefficient
where is the total energy in the cavity
while the adiabatic energy is given by
where is the length of the cavity. We are assuming that the field is initially in the vacuum state.
Once the effective trajectories that complete a shortcut and the associated Moore functions are obtained, the energy and adiabaticity coefficients can then be calculated using Equations (8) and (32).
4.1. Reverse Engineering
We now present a first method for completing a trajectory to be an adiabatic shortcut. The method is theoretically quite simple and works for an arbitrary final position. Its practical implementation is not so simple, and it involves three steps: the computation of the Moore functions associated with the initial evolution, the extension of them smoothly into linear functions, and the computation of the effective trajectory using inverse engineering.
As mentioned, our goal here is to complete an adiabatic shortcut for a cavity that was initially in a vacuum state and was perturbed by an arbitrary trajectory of one of the mirrors that left it in an excited state. Because of the initial condition, we know that the associated Moore function was a linear function before the motion started and, since an STA is achieved by having a Moore function that is linear at early and late times, we can theoretically complete an adiabatic shortcut by simply extending the Moore function continuously to a linear function at late times and computing the associated effective trajectory. Notice that this method for completing an STA is completely analogous to the one previously presented for the harmonic oscillator.
In order to illustrate this strategy, let us consider an initial trajectory for the mirrors given by
where is given by the following polynomial
which verifies and . The choice of the polynomial that defines ensures that and its first three derivatives are continuous. This is needed to avoid spurious divergences in the energy–momentum tensor (see Equation (9)).
Using this trajectory, we can compute the associated Moore function , which is oscillating at late times due to the creation of photons, and extend it continuously into a linear function with any desired slope (which in turn determines the final position of the boundary). Then, we can recover the corresponding trajectory of the mirror for the extended function by solving Equation (6) (Figure 2).
Figure 2.
(a) Initial trajectory for the right mirror in magenta and its completion to an adiabatic shortcut in blue. (b) Moore functions for the corresponding trajectories. The parameters employed for the first trajectory are , and .
The resulting trajectory is a well-defined continuous function that starts at the final position of the initial perturbation and ends at the position set by us through the slope of the linear function at late times. The speed can be seen to be below the speed of light. We can also check that the end-to-end trajectory constitutes a shortcut, since the adiabaticity parameter starts and ends at 1 (Figure 3).
Figure 3.
(a) Velocity for the initial trajectory of the mirror and for its completion to an adiabatic shortcut in blue. (b) Adiabaticity parameters for the corresponding trajectories. The parameters employed for the first trajectory are , and .
The disadvantage of this method is that in order to erase the photons generated by the initial motion, one needs to compute the Moore function of the field, then extend it smoothly, and subsequently compute the trajectory that completes an adiabatic shortcut by solving Moore’s equation.
4.2. Short Pulses
In this section, we explore how to complete an STA using the idea of the previous section, now applied to an arbitrary short pulse. In other words, we show how to erase the photons generated by any brief motion of one of the cavity mirrors and reset the cavity to its initial state.
We again consider an initial trajectory given by Equations (34) and (35) such that . It can be seen that in this case, the derivative of the Moore function, , has a simple structure. This is given by an initial constant, , followed by a pulse that starts at and ends at . From there, and up to , the function again takes the value of the initial constant. This structure is repeated periodically with period (Figure 4).
Figure 4.
Structure of the derivative of the Moore function for a brief pulse trajectory in dashed magenta and the completion to an adiabatic shortcut in solid blue line.
In order to show this, we consider the derivative of the Moore Equation (6)
Using the initial condition and , we have
from which we conclude that the derivative of the Moore function is constant up to
Additionally, we can use Equation (37) to show that if , then , and we have
This equation sets the shape of for . Lastly, once the trajectory has stopped, we have
which relates the at late times to its value at an earlier time. Indeed, we can rewrite
and this sets the periodicity at late times. We can use this to find the value of the derivative for using Equation (38) to find
which establishes that the derivative of the Moore function is constant in that interval.
From this structure, it is very easy to find an extension of the Moore function that is linear at late times, taking advantage of the fact that the derivative of the Moore function is constant in the interval . The natural extension is to complete the derivative of the Moore function, assuming that is constant for . Therefore, for . The extended Moore function will give rise to a trajectory that will coincide with initially; then, the trajectory will be constant, and finally, there will be an erasing trajectory which will have to come back to to satisfy the final slope of the Moore function.
This erasing trajectory will satisfy Equation (36)
where we used the extension condition for . Of course, this equation should be coupled with the condition that the erasing trajectory begins where ended, i.e.,
The previous equation can be solved exactly in terms of the initial trajectory by taking
where .
This can be seen by replacing in Equation (43)
which is satisfied because it is simply Equation (37) evaluated at .
It is worth mentioning a couple of generalizations that can be derived from the previous result. The first one is that since the initial Moore function is -periodic, it can be extended to a linear function at for any natural n, which corresponds to applying the erasing trajectory at . Therefore, so far, we have shown that any given initial trajectory with a small enough duration () can be completed to an adiabatic shortcut by following the protocol
with set by Equation (45).
A second generalization that can also illustrate the mechanism behind shortcut completion for short pulses is allowing the erasing trajectory to be executed by the left mirror. In this case, since initially the left mirror is at rest, we have . Equations (5) and (6) then imply that and
Therefore, the derivative of F satisfies Equation (37), and we can thus extend it smoothly in the same manner as before.
However, now the erasing trajectory has a static right mirror, , and a nontrivial trajectory for the left mirror, , to be determined by the Moore equations
The second equation implies which, by replacing in the first one and taking the time derivative, leads to
This equation determines the erasing trajectory for the left mirror and can be solved by taking
where for any natural number n. This can be seen simply by replacing it in the previous equation and comparing again with Equation (37).
In order to illustrate these results, we consider an initial trajectory given by Equation (34) with
where A and are fixed parameters. As in the previous example, this choice ensures the continuity of and its first derivatives. In Figure 5, we can see that by following the protocol given by Equation (47), i.e., executing the trajectory at the precise time , the derivative Moore function remains constant, thereby erasing the photons generated by the pulse and producing an adiabatic shortcut.
Figure 5.
(a) Trajectory for the initial velocity of the mirror in blue and for its completion to an adiabatic shortcut in magenta. (b) Derivative of the Moore function for the corresponding trajectories. The parameters employed for the first trajectory are , and .
To have a better understanding of how this is actually achieved, we can look at the energy density inside the cavity in Figure 6. There, we can observe that a pulse of energy is emitted, it then reflects off the left mirror and comes back to the right mirror precisely when the erasing trajectory begins and reabsorbs it by moving in the opposite direction of the photons propagation. This mechanism can also be seen in the case of two moving mirrors. Once again, we see that the destructive interference necessary to erase the initially generated photons requires that during the second trajectory, the mirror should move in a direction opposite to the propagation of the pulse at the precise time when the pulse reaches that boundary (see Equation (52)). Therefore, one would expect that the adiabaticity parameter and thus the final state of the cavity would be highly dependent on the time . This is indeed the case, as can be seen in Figure 6, where although we have for , at intermediate times, Q deviates greatly from adiabaticity.
Figure 6.
(a) Energy density of the field inside the cavity for the effective trajectory composed of an initial trajectory followed by an erasing trajectory at . (b) Adiabaticity parameter obtained when by implementing the erasing trajectory Equation (45) at different times . Note that for and . The parameters employed for the first trajectory are , , , .
The advantage of this method over the previously presented is clear: for short pulses, one does not need to compute the Moore function; it is enough to apply the erasing trajectory for the right mirror (or for the left mirror) at any of the precise times . This will annihilate the particles and execute an STA that will return the state of the cavity to the ground state with the same initial length.
4.3. Time Inversion
In this section, we present a third method for completing STA by taking advantage of a time-inversion symmetry of the system. As a byproduct of this approach, we show that the time reversal of an STA is also an STA, which is a result that may be useful when considering thermodynamic cycles.
First, we note that although the physical theory does not have time-inversion invariance due to the moving boundary condition, the theory in the conformal variables Equation (7) is symmetric with respect to the time inversion . It is simple to see that this symmetry in the conformal variables generates a symmetry in the physical theory given by the transformation , i.e., a time reversal, and . We call this conformal time-reversal symmetry.
From this, we can establish two results. One is that even when a trajectory is not an STA for the field, if there are constants such that the Moore functions satisfy
then there are times at which implementing followed by its temporal reverse , generates an STA. This is because, under these conditions, it is possible to smoothly continue the Moore functions of the trajectories with those associated with their temporal reverse. Since the former are initially linear, the latter must also be linear at late times. Therefore, a smooth continuation of the first Moore function into the other generates an STA formed by the trajectory followed by its temporal reversal.
In the case that , we have , and the previous condition can be expressed more simply as
meaning that the derivative of the Moore function at late times should be an even function for some suitable choice of the origin. In fact, since the Moore function is -periodic if satisfies this condition, then also does, and so to complete a shortcut the time-reversed trajectory has to be implemented at certain discrete times .
This method works only when the complete shortcut starts and ends at the same position. However, it works for any initial evolution, i.e., it does not need to be a short pulse. It can have any duration as long as the Moore function verifies the condition given by Equation (54).
In order to check this result numerically, we consider the initial trajectories given by Equations (34) and (35), and then we apply it to the cavity followed by the time-reversed trajectory at times , carefully chosen so that the two Moore functions coincide to form a longer trajectory . As we can see in Figure 7, acting on the time-reverse trajectory at discrete times, we manage to take the adiabaticity parameter Q from back to 1, signaling a successful adiabatic shortcut.
Figure 7.
(a) First trajectory for the mirror in magenta and the effective trajectories using its temporal reverse at different times in blue. (b) Adiabaticity parameters for the corresponding trajectories. The parameters employed for the first trajectory are , and .
A second result that can be obtained from the conformal time-reversal symmetry is that if the trajectories constitute an STA, then the time-reversed trajectories are also an STA. To see that this is the case, note that the Moore functions of the original STA are linear both at early and late times
Therefore, applying a conformal time-reversal transformation, we can conclude that the time-reversed trajectories have reverse Moore functions given by
and so these trajectories are also adiabatic shortcuts but with initial and final positions exchanged. This property is particularly useful when considering thermodynamic cycles, in which we need not only an STA for the position of the boundaries to change from to but also during a second stroke that returns the mirrors to their original positions.
We can illustrate this numerically considering a reference trajectory given by Equations (34) and (35) and use them to calculate the corresponding effective STA following Section 2.1, , which starts at and ends at . We then compute the temporal reverse and the adiabaticity coefficient . We can clearly see from Figure 8 that starts equal to 1, oscillates, and goes back to unity when the motion stops signaling that the evolution was indeed an adiabatic shortcut.
Figure 8.
(a) Trajectories for the right mirror for an adiabatic shortcut in magenta and its temporal reverse in blue. (b) Adiabaticity parameters for the adiabatic shortcut and its temporal reverse. The parameters employed for the effective shortcut trajectory aew , and .
As already mentioned, this property is also valid for a harmonic oscillator with time-dependent frequency: the temporal reverse of an STA is also an STA.
5. Discussion
The fast manipulation of micromachines can result in excessive losses in the form of quantum friction, which reduces its efficiency. Thus, finding an STA is of paramount importance in quantum thermodynamics since, even after considering the energy cost associated, STA-enhanced thermal machines have the potential for greatly enhanced efficiency.. It also allows for the design of rapid quantum gates, which makes it useful for quantum information processing as well. Here, we propose an additional application of an STA for state preparation. Once an initial state has been prepared, if a perturbation of the parameters of the system change suddenly, it will greatly reduce the fidelity of the desired state; however, knowing how they have been changed, we can complete this time variation into an STA which, by definition, will restore the state of the system to the initial one. This method can then allow for longer times between the preparation of a state and its processing [42].
In this paper, we addressed the problem of how to transform an initially nonadiabatic evolution into an STA, for a quantum field confined within a one-dimensional cavity featuring two moving mirrors. As outlined in our previous studies, the state of the field is determined by two Moore functions, F and G. In a time interval where the cavity remains static, these functions can be expressed as the sum of a linear and a periodic function. The presence of a nonzero periodic component indicates an excited state of the field. By characterizing the field’s state using F and G, we can employ reverse engineering techniques to construct an STA. Regardless of the initial evolution, it is possible to smoothly extend the Moore functions to asymptotically linear functions, from which we can compute the mirrors trajectories.
We identified an inspiring similarity between the Moore functions that describe the state of the field in the one-dimensional cavity and the Ermakov function that provides a formal solution for the quantum harmonic oscillator with a time-dependent frequency. Within a time interval of constant frequency, can be expressed as the sum of a constant and a periodic function. When the periodic component is nonzero, it describes an oscillator in a squeezed state. The STA completion can be constructed by extending the Ermakov function in such a manner that tends to a constant as time approaches infinity.
We presented three different methods for completing an STA for the optomechanical cavity. All of them are based on the fact that the Moore functions should be linear before and after the perturbation in order for a trajectory of the mirrors to comprise an adiabatic shortcut.
The first method, presented in Section 4.1, consists of three steps: (1) computing the Moore functions, (2) extending them smoothly into a linear functions, and then (3) using them to compute the trajectory using inverse engineering. This method is conceptually simple, it can be used for any perturbation and executes an STA for any final position of the mirror; however, the three steps require implementing precise measurements or demand challenging computations.
The second method, described in Section 4.2, addresses these problems and solves them in the case that the perturbation consists of a short pulse. In that case, the second trajectory, which erases the excitations and restores the state of the system, can be given explicitly in terms of the initial perturbation. This allows us to avoid the computation and inversion of the Moore function entirely. The only restrictions are that perturbation time must be short and the final length of the cavity should be the same as the initial one.
The third method, presented in Section 4.3, takes advantage of a symmetry of the system to show that the time-reversed trajectory of the perturbation can be used to complete an adiabatic shortcut if the derivative of the Moore function of the perturbation is even for late times. In this case, the perturbation can have an arbitrary duration, but it is not necessary to compute its Moore function to check the parity. Nonetheless, when comparing this method with the first one, we avoid extending it smoothly and inverting it to compute the trajectory, which constitutes a great simplification.
With regard to the possible experimental implementation, it should be noted that the dynamical Casimir effect has been effectively demonstrated in superconducting circuits more than a decade ago [43]. In that case, a SQUID was used instead of a mechanical moving mirror, which simulated a time-dependent boundary condition for the field. The protocols presented here could be implemented in this type of setup by making use of two SQUIDs at both ends of a superconducting cavity in a way similar to [44]. Additionally, it was recently proposed to measure the dynamical Casimir effect due to true mechanical motion by using film bulk acoustic resonators in the GHz spectral range [45], which could also lead to an implementation of the schemes proposed here.
Further investigations should be conducted in order to establish how the different methods discussed here to complete an STA can be adapted for other systems, as well as how much they could improve the time delay between state preparation and processing under experimental conditions.
Author Contributions
N.F.D.G., F.C.L., F.D.M. and P.I.V. have contributed equally to the work. All authors have read and agreed to the published version of the manuscript.
Funding
This research was funded by Agencia Nacional de Promoción Científica y Tecnológica (ANPCyT), Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET), Universidad de Buenos Aires (UBA) and Universidad Nacional de Cuyo (UNCuyo).
Institutional Review Board Statement
Not applicable.
Informed Consent Statement
Not applicable.
Data Availability Statement
Not applicable.
Acknowledgments
P.I.V. acknowledges the ICTP-Trieste Associate Program.
Conflicts of Interest
The authors declare no conflict of interest.
References
- Binder, F.; Correa, L.A.; Gogolin, C.; Anders, J.; Adesso, G. (Eds.) Thermodynamics in the Quantum Regime; Springer: Berlin/Heidelberg, Germany, 2019. [Google Scholar]
- Zurek, W.H. Environment-assisted invariance, entanglement, and probabilities in quantum physics. Rev. Mod. Phys. 2003, 75, 715. [Google Scholar] [CrossRef]
- Karimi, B.; Pekola, J.P. Otto refrigerator based on a superconducting qubit: Classical and quantum performance. Phys. Rev. B 2016, 94, 184503. [Google Scholar] [CrossRef]
- Kosloff, R.; Rezek, Y. The quantum harmonic Otto cycle. Entropy 2017, 19, 136. [Google Scholar] [CrossRef]
- Del Grosso, N.F.; Lombardo, F.C.; Mazzitelli, F.D.; Villar, P.I. Quantum Otto cycle in a superconducting cavity in the nonadiabatic regime. Phys. Rev. A 2022, 105, 022202. [Google Scholar] [CrossRef]
- Moore, G.T.J. Quantum theory of the electromagnetic field in a variable-length one-dimensional cavity. Math. Phys. 1970, 11, 2679. [Google Scholar] [CrossRef]
- Dodonov, V.V. Current status of the dynamical Casimir effect. Phys. Scr. 2010, 82, 038105. [Google Scholar] [CrossRef]
- Dalvit, D.A.R.; Neto, P.A.M.; Mazzitelli, F.D. Fluctuations, dissipation and the dynamical casimir effect. Lect. Notes Phys. 2011, 834, 419. [Google Scholar]
- Nation, P.D.; Johansson, J.R.; Blencowe, M.P.; Nori, F. Colloquium: Stimulating uncertainty: Amplifying the quantum vacuum with superconducting circuits. Rev. Mod. Phys. 2012, 84, 1. [Google Scholar] [CrossRef]
- Dodonov, V.V. Fifty years of the dynamical Casimir effect. Physics 2020, 2, 67–104. [Google Scholar] [CrossRef]
- Blais, A.; Grimsmo, A.L.; Girvin, S.M.; Wallraff, A. Circuit quantum electrodynamics. Rev. Mod. Phys. 2021, 93, 025005. [Google Scholar] [CrossRef]
- Gluza, M.; Sabino, J.; Ng, N.H.Y.; Vitagliano, G.; Pezzutto, M.; Omar, Y.; Mazets, I.; Huber, M.; Schmiedmayer, J.; Eisert, J. Quantum field thermal machines. PRX Quantum 2021, 2, 030310. [Google Scholar] [CrossRef]
- Berry, M.V.J. Transitionless quantum driving. Phys. A 2009, 42, 365303. [Google Scholar] [CrossRef]
- del Campo, A. Shortcuts to adiabaticity by counterdiabatic driving. Phys. Rev. Lett. 2013, 111, 100502. [Google Scholar] [CrossRef] [PubMed]
- Chen, X.; Ruschhaupt, A.; Schmidt, S.; del Campo, A.; Guéry-Odelin, D.; Muga, J.G. Fast optimal frictionless atom cooling in harmonic traps: Shortcut to adiabaticity. Phys. Rev. Lett. 2010, 104, 063002. [Google Scholar] [CrossRef] [PubMed]
- Masuda, S.; Nakamura, K. Fast-forward problem in quantum mechanics. Phys. Rev. A 2008, 78, 062108. [Google Scholar] [CrossRef]
- Torrontegui, E.; Chen, X.; Modugno, M.; Schmidt, S.; Ruschhaupt, A.; Muga, J.G. Fast transport of Bose–Einstein condensates. New J. Phys. 2012, 14, 013031. [Google Scholar] [CrossRef]
- Guéry-Odelin, D.; Ruschhaupt, A.; Kiely, A.; Torrontegui, E.; Martínez-Garaot, S.; Muga, J.G. Shortcuts to adiabaticity: Concepts, methods, and applications. Rev. Mod. Phys. 2019, 91, 045001. [Google Scholar] [CrossRef]
- Palmero, M.; Bowler, R.; Gaebler, J.P.; Leibfried, D.; Muga, J.G. Fast transport of mixed-species ion chains within a Paul trap. Phys. Rev. A 2014, 90, 053408. [Google Scholar] [CrossRef]
- Torrontegui, E.; Chen, X.; Modugno, M.; Ruschhaupt, A.; Guéry-Odelin, D.; Muga, J.G. Fast transitionless expansion of cold atoms in optical Gaussian-beam traps. Phys. Rev. A 2012, 85, 033605. [Google Scholar] [CrossRef]
- Dowdall, T.; Benseny, A.; Busch, T.; Ruschhaupt, A. Fast and robust quantum control based on Pauli blocking. Phys. Rev. A 2017, 96, 043601. [Google Scholar] [CrossRef]
- Amri, S.; Corgier, R.; Sugny, D.; Rasel, E.M.; Gaaloul, N.; Charron, E. Optimal control of the transport of Bose-Einstein condensates with atom chips. Sci. Rep. 2019, 9, 5346. [Google Scholar] [CrossRef] [PubMed]
- Cakmak, B.; Mustecaplioulu, O.E. Spin quantum heat engines with shortcuts to adiabaticity. Phys. Rev. E 2019, 99, 032108. [Google Scholar] [CrossRef]
- Abah, O.; Abah, M. Paternostro Shortcut-to-adiabaticity Otto engine: A twist to finite-time thermodynamics. Phys. Rev. E 2019, 99, 022110. [Google Scholar] [CrossRef] [PubMed]
- Abah, O.; Lutz, E. Performance of shortcut-to-adiabaticity quantum engines. Phys. Rev. E 2018, 98, 032121. [Google Scholar] [CrossRef]
- Abah, O.; Lutz, E. Energy efficient quantum machines. Europhys. Lett. 2017, 118, 40005. [Google Scholar] [CrossRef]
- del Campo, A.; Goold, J.; Paternostro, M. More bang for your buck: Super-adiabatic quantum engines. Sci. Rep. 2014, 4, 6208. [Google Scholar] [CrossRef]
- Beau, M.; Jaramillo, J.; del Campo, A. Scaling-Up Quantum Heat Engines Efficiently via Shortcuts to Adiabaticity. Entropy 2016, 18, 168. [Google Scholar] [CrossRef]
- Keller, T.; Fogarty, T.; Li, J.; Busch, T. Feshbach engine in the Thomas-Fermi regime. Phys. Rev. Res. 2020, 2, 033335. [Google Scholar] [CrossRef]
- Li, J.; Fogarty, T.; Campbell, S.; Chen, X.; Busch, T. An efficient nonlinear Feshbach engine. New J. Phys. 2018, 20, 015005. [Google Scholar] [CrossRef]
- Del Grosso, N.F.; Lombardo, F.C.; Mazzitelli, F.D.; Villar, P.I. Shortcut to adiabaticity in a cavity with a moving mirror. Phys. Rev. A 2022, 105, 052217. [Google Scholar] [CrossRef]
- Calzetta, E. Not-quite-free shortcuts to adiabaticity. Phys. Rev. A 2018, 98, 032107. [Google Scholar] [CrossRef]
- Del Grosso, N.F.; Lombardo, F.C.; Mazzitelli, F.D.; Villar, P.I. Fast adiabatic control of an optomechanical cavity. Entropy 2023, 25, 18. [Google Scholar] [CrossRef] [PubMed]
- Dalvit, D.A.; Mazzitelli, F.D. Creation of photons in an oscillating cavity with two moving mirrors. Phys. Rev. A 1999, 59, 3049. [Google Scholar] [CrossRef]
- Lewis, H.R., Jr. Classical and quantum systems with time-dependent harmonic-oscillator-type Hamiltonians. Phys. Rev. Lett. 1967, 18, 510. [Google Scholar] [CrossRef]
- Davies, P.C.W.; Fulling, S.A. Radiation from a moving mirror in two-dimensional space-time: Conformal anomaly. Proc. Roy. Soc. Lond. A 1976, 348, 393. [Google Scholar]
- Birrell, N.D.; Davies, P.C.W. Quantum Fields in Curved Space; Cambridge University Press: Cambridge, UK, 1984. [Google Scholar]
- Lewis, H.R., Jr.; Riesenfeld, W.B. An exact quantum theory of the time-dependent harmonic oscillator and of a charged particle in a time-dependent electromagnetic field. J. Math. Phys. 1969, 10, 1458. [Google Scholar] [CrossRef]
- Gjaja, I.; Bhattacharjee, A. Asymptotics of reflectionless potentials. Phys. Rev. Lett. 1992, 68, 2413. [Google Scholar] [CrossRef]
- Coelho, S.S.; Queiroz, L.; Alves, D.T. Squeezing equivalence of quantum harmonic oscillators under different frequency jumps. arXiv 2023, arXiv:2306.05577. [Google Scholar]
- Hu, B.L.; Kang, G.; Matacz, A. Squeezed vacua and the quantum statistics of cosmological particle creation. Int. J. Mod. Phys. A 1994, 9, 991. [Google Scholar] [CrossRef]
- Theis, L.S.; Motzoi, F.; Machnes, S.; Wilhelm, F.K. Counteracting systems of diabaticities using DRAG controls: The status after 10 years. Europhys. Lett. 2018, 123, 60001. [Google Scholar] [CrossRef]
- Wilson, C.M.; Johansson, G.; Pourkabirian, A.; Simoen, M.; Johansson, J.R.; Duty, T.; Nori, F.; Delsing, P. Observation of the dynamical Casimir effect in a superconducting circuit. Nature 2011, 479, 376–379. [Google Scholar] [CrossRef] [PubMed]
- Svensson, I.M.; Pierre, M.; Simoen, M.; Wustmann, W.; Krantz, P.; Bengtsson, A.; Johansson, G.; Bylander, J.; Shumeiko, V.; Delsing, P. Microwave photon generation in a doubly tunable superconducting resonator. J. Phys. Conf. Ser. 2011, 969, 012146. [Google Scholar] [CrossRef]
- Sanz, M.; Wieczorek, W.; Gröblacher, S.; Solano, E. Electro-mechanical Casimir effect. Quantum 2018, 2, 91. [Google Scholar] [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content. |
© 2023 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).







