Single-piston quantum engine
Abstract
A single-piston quantum engine based on a harmonic oscillator acting as the working fluid is proposed. Using the fact that the interaction between the piston and the oscillator depends on the extent of the oscillator wavefunction, one can control this interaction by modifying the oscillator temperature. By retracting the piston when the interaction is weak (hot oscillator) and returning it to the original position when the coupling is strong (cold oscillator), useful work can be performed assuming the interaction is attractive. The cycle of the engine is simulated numerically using two different powering protocols: bath and measurement. Using the collision model for the baths, the engine is shown to reach a steady state with positive work output.
I Introduction
The purpose of an engine is to convert energy into work while operating cyclically. Although essentially all commonplace implementations are rooted in classical physics for their operation, there is a growing interest in quantum engines. [1, 2] Unlike their classical analogs, where the working fluid is typically a liquid or a gas, quantum engines employ quantum components. Some examples of these quantum “working fluids” are two-level systems [3, 4, 5, 6], single [7, 8, 9, 10, 11, 12, 13, 14] or multiple [15, 16] harmonic oscillators, or photons [17]. Another feature that sets quantum and classical varieties apart is how they are powered. In particular, classical implementations rely on hot reservoirs as energy sources and require cold baths to expel waste heat. Quantum versions, on the other hand, can also obtain the required energy from measurements, [18, 19, 20, 21, 22, 23, 24, 25, 26, 27] which act as an effective hot bath.
When discussing quantum engines, it is generally assumed that there is a way to transfer the work released during the power stroke of the cycle to some “piston” without explicitly focusing on this engine component. This paper proposes an implementation of a quantum engine in which the piston plays an integral role. A recent study [28] demonstrated that it is possible to modify the coupling strength between quantum engine components by controlling their energies. In particular, heating two interacting harmonic oscillators increases the extent of their probability distributions, leading to a greater separation and weakening their interaction. This temperature-dependent interaction strength is at the heart of the proposed cycle.

A cycle employing this energy-controlled coupling is shown in Fig. 1. The system consists of a harmonic oscillator, acting as the working fluid, and a moving piston. The two components are coupled via an attractive interaction. The cycle starts with the oscillator in a low-energy state and the piston positioned close to the oscillator’s equilibrium point. As the first step, the oscillator’s energy is increased by adding heat to it. This heating reduces the interaction strength between the oscillator and the piston due to an increased extent of the oscillator wavefunction, allowing the piston to be retracted from the oscillator in the second step of the cycle with a reduced energy cost. With the piston retracted, the oscillator is cooled down using a cold bath. Finally, the piston is returned to its initial position. Due to the enhanced interaction because of the narrower oscillator wavefunction in the final step, more work is released during this phase than was required to retract it, resulting in a net-positive work output.
As mentioned above, the heat required for quantum engine operation can originate either from heat baths or measurements. Therefore, after introducing the general model for the engine in Sec. II, two prototypical approaches using a hot bath and measurements are demonstrated in Sec. III. Summary and conclusions of the main results and the outlook for future research are found in Sec. IV.
II Model
As shown in Fig. 1, the engine consists of a harmonic oscillator, acting as the working fluid, coupled to an externally controlled piston. When the working fluid is decoupled from the environment, the corresponding time-dependent Hamiltonian, expressed in terms of the oscillator energy , is given by
(1) |
Here, the first term describes an independent oscillator using the second-quantization operators and is the interaction between the two engine components, where is the oscillator’s position operator and is the piston coordinate. In addition to using as the energy scale, it is convenient to express lengths in terms of the quantum oscillator length and time in terms of the oscillator periods so that .
For this study, the interaction is set to
(2) |
There are two reasons for choosing this form of . First, the amplitude and the extent of the Gaussian are easily tunable, making this type of interaction very convenient for illustrating the relevant behavior. Second, and are separable, simplifying the computational procedure. With this choice, the matrix elements of in the Fock space become
(3) |
The form of Eq. (3) indicates that the interaction matrix must be computed only once for a particular choice of and scaled based on as the piston moves. Although can be calculated analytically for the quantum oscillator wavefunctions, producing Gaussian hypergeometric functions, the integrals in the simulations are taken using Gaussian quadratures to avoid potential issues associated with the numerical implementation of these special functions. For simplicity, the piston is assumed to move at a constant speed so that for , where is the duration of the retraction and advancing phases.
With the interaction form chosen, it is now possible to demonstrate the key component of the engine operation: the temperature-dependent coupling between the working fluid and the piston. For this illustration, the oscillator is assumed to be in a thermal state, described by the density operator , where is the thermal frequency corresponding to temperature and is the Boltzmann constant. The interaction energy is then given by with matrix elements given by the second term of Eq. (3). Setting , the value that will be used in subsequent simulations, the energy is calculated as a function of and for several values of with the results given in Fig. 2. As expected, the system’s energy is the lowest for a wide interaction term (large ) when the piston is close to the oscillator and the temperature is low. Increasing either or reduces the magnitude of the interaction.

Figure 2 provides a convenient way of thinking about the cycle described by the schematic in Fig. 1. Let the state of the system be given by a point in the - plane, indicating that the working fluid is in a thermal state. Following Fig. 1, one starts at a small and and, by adding the heat to the system and assuming that the oscillator state remains in a thermal state, moves the point vertically. Next, with fixed, the piston is retracted and the point moves horizontally to the right. As the heat is removed from the system, the point moves down. Finally, the piston is advanced and the point returns to its starting position. An example of such a path is given in Fig. 2(a). If the piston is moved adiabatically, the state of the oscillator does not change and only the interaction energy is altered so that the amount of energy added to or removed from the system during these phases is proportional to the number of equicontours crossed by the path. Therefore, as long as more equicontours are crossed by the left-moving segment than the right-moving one, the engine outputs work.
It is useful to provide an estimate for the efficiency associated with this engine, given by , where corresponds to the heat added to the system during the first phase and is the work extracted from or added to the system during the second and the fourth phases. Let correspond to the oscillator’s density operator in its high/low energy state, and give the interaction when the piston is close to/far from the oscillator, and be the first term in Eq. (1). Assuming that the piston motion is adiabatic so that remains fixed, becomes
(4) |
where the approximation in the final line holds when .
Equation (4) indicates that, for a particular oscillator (fixed ), the efficiency is maximized by increasing . Using the diagram in Fig. 2(a), this requirement means that one should maximize the number of equicontour lines that the upwards-moving segment crosses. Thus, from Fig. 2, for the parameters chosen, is too wide as most of the energy delivered to the system comes from piston retraction rather than from heating. On the other hand, is inferior to , where the equicontours are denser. This non-monotonic dependence of on suggestes that one can improve the efficiency by exploring different interaction profiles not limited to a Gaussian form.
To estimate , the piston movement was taken to be adiabatic. If it is not, the energy is added to the oscillator in a thermal state during the piston movement and has to be either removed as waste heat (after the piston retraction) or results in a reduced work output (during the piston advance). Of course, for the engine to deliver a finite power, the individual phases have to take a finite amount of time. Therefore, it is useful to explore how slow is “slow enough” when it comes to the piston motion using the following procedure.
Starting with the Hamiltionians corresponding to retracted () and advanced () piston, denoted by and , respectively, one determines their ground states and . If the piston were retracted (advanced) adiabatically, the energy of the system would end up as () because the system would remain in its ground state. Conversely, for an instantaneous change of piston position, the state would not have time to evolve and the final energy would be (). Hence, the actual final energy is bounded by these two values.
To obtain the system energy for a finite , one uses the fact that the state evolves following the time-dependent Schrödinger equation
(5) |
where the factor of originates from the definition of . Solving Eq. (5) using the fifth order Runge-Kutta method starting with and , the final energy can be computed as a function of for a constant-speed piston with the results given in Fig. 3. As expected, the finite- energies lie between the adiabatic and instantaneous results for both retraction and advance of the piston. Figure 3 suggests that is sufficiently slow to avoid the non-adiabatic effects associated with the piston movement.

III Engine operation
III.1 Operation protocol
Conceptually, the most straightforward way to heat up or cool down an oscillator mode is to connect it to a thermal bath. For the sake of illustration, this paper models the baths using single oscillator modes described by a density operator corresponding to a thermal state, as was done in Ref. [14]. Every time the working fluid is connected to a bath, the latter is reset to the appropriate thermal state. The process of resetting a relevant component to some predetermined configuration can be regarded as having the working fluid interact with a series of identical states, a scheme known as the collision model. [32] Naturally, using a single mode as a bath will not bring the working fluid to a thermal state with the bath temperature. [14] Therefore, the efficiency formula in Eq. (4) is not expected to hold. Nevertheless, as will be shown, the correct direction of the energy flow between the working fluid and the baths will be sufficient to demonstrate the engine operation.
To keep the discussion as streamlined as possible, the frequency of the bath oscillators is taken to be identical to that of the working fluid. In addition to eliminating a parameter, setting the oscillator frequencies to the same value facilitates the coupling between the modes. The bath coupling is Gaussian, just as the piston interaction term, given by
(6) |
where is the position of the bath oscillator. The offsets and mean that the equilibrium points of the two oscillators do not coincide in the plane and are introduced to allow modes with different parities to couple, which would be forbidden by a symmetric potential . Setting and using the separability of the interaction term, one can write down the full interaction matrix , where elements are given by with elements for all the Fock states in the single-oscillator basis. Just as the matrix elements in Eq. (3), these are computed using Guassian quadratures.
For simplicity, the interaction between the bath and the working fluid is assumed to be switched on and off instantaneously so that, when the piston is stationary, the Hamiltonian is time-independent, leading to
(7) |
where is the identity. The corresponding time evolution operator , where is the contact time between the fluid and the bath, taken to be the same for both hot and cold baths. The baths’ thermal states are given by , where is the bath temperature.
To move the piston, instead of working with the oscillator state as was done in Sec. II when studying the role of , it is better to calculate the time evolution operator from
(8) |
which is solved using the fifth order Runge-Kutta method with . To understand the advantage of , it is illustrative to consider a particular implementation, starting with the bath-powered setup.
III.2 Bath-powered setup
Following Fig. 1, the cycle begins with heat addition. Thus, if the state of the working fluid in the beginning of the th cycle is given by , the state of the fluid in the beginning of the following cycle is
(9) |
where corresponds to the operator describing the piston retraction. Equation (9) should be read from the inside outward to follow the cycle. First, the fluid is coupled to the hot bath in thermal state , as shown by the tensor product. After that, the composite system is allowed to evolve in time by applying operators and . To decouple the working fluid from the bath, a partial trace is performed with respect to the bath. Next, the piston is retracted by sandwiching the fluid state between and . Then, the fluid is coupled to a cold bath and the two-oscillator system is evolved using the same operator as was used for the hot bath, followed by a decoupling. Finally, the piston is advanced, as can be seen from the reversed application of and , completing the cycle. Thus, instead of evolving the state every time the piston moves, one needs to compute only once making a multi-cycle calculation more efficient.

(a)-(d) System energy at each phase of the cycle as a function of cycle number. For the fast engine (top row), the time of each stroke is 5, while for the slow one (bottom row) it is 10. (e) Efficiency for each of the engines as a function of the cycle number, computed by dividing the total work output by heat input. (f) The power of the engines, obtained by dividing the total work output by the duration of a cycle.
To demonstrate the engine operation, the four phases of the cycle are assumed to have the same duration . Two different ’s ( and ) and ’s (5 and 10) are used for a total of four configurations. The bath temperatures are set to and , and the Fock basis for each oscillator contains 51 states. For each configuration, the working fluid is initialized in the thermal state at with the piston in the advanced position. It is taken 80 times through the cycle described by Eq. (9). At the end of each stroke, the energy of the working fluid is computed by taking the trace of the product of its density operator with for the appropriate value of . The computed energies for the four realizations are given in Fig. 4(a)-(d). The -coordinate labels the cycle and, for each cycle, the order of the points is “advanced cold” “advanced hot” “retracted hot” “retracted cold,” after which one moves to “advanced cold” of the next cycle.
Figure 4 demonstrates that even the single-oscillator bath, where the working fluid does not actually reach a thermal state, is sufficient for the engine to output work as it reaches a steady state. One can see that the faster cycle shows a small creep in energy, more substantial for . This creep can be attributed to the non-adiabatic effects of the piston movement: according to Fig. 3, smaller ’s are more susceptible to this effect. In an experimental setup, this parasitic behavior can be mitigated by having the working fluid interact with a real baths which are able to absorb more heat from the oscillator than a single mode used as a bath here.
Figure 4(e) plots the cycle-resolved efficiency for each setup, shown to also reach a steady state. Theoretical efficiency obtained from Eq. (4), where are taken to be thermal states with , is plotted along with the simulation results. Because the working fluid does not reach a thermal state, the result does not agree quantitatively with the numerics. Nevertheless, as discussed after Eq. (4), delivers a better efficiency than for both theoretical and numerical results.
Curiously, the efficiency of the fast cycles is higher than the slow ones. This efficiency gain, however, comes at the expense of the work performed. Figure 4(f) provides the cycle-resolved power for each engine configuration obtained by dividing the net work output by . Even though the fast cycle takes half the time compared to the slow one, its power is not doubled, indicating that the slow cycle delivers more work. One can confirm this statement by comparing the separation between red markers for each cycle to that of the blue markers. The former corresponds to the work done on the engine, while the latter is the work done by the engine. The greater the difference, the more net work the engine outputs. It is evident that the difference is larger for the slow cycles for both ’s.

(a)-(d) System energy at each phase of the cycle as a function of cycle number. For the fast engine (top row), the time of each stroke is 5, while for the slow one (bottom row) it is 10. (e) Efficiency for each of the engines as a function of the cycle number, computed by dividing the total work output by heat input. (f) The power of the engines, obtained by dividing the total work output by the duration of a cycle.
III.3 Measurement-powered setup
Changing to power source from a hot bath to measurements while keeping everything else the same amounts to replacing in Eq. (9), corresponding to the measurement. means that the off-diagonal elements (coherence terms) are set to zero, giving a classical probability. Hence, the cycle expression becomes
(10) |
The results for a set of four simulations using the same two values of and phase duration as above are given in Fig. 5. While the setup looks qualitatively similar to the corresponding configurations in Fig. 4, including the energy creep in the fast cycle, is drastically different, showing virtually no work output. This outcome is attributable to the fact that the piston-generated potential is wide on the scale of the the oscillator’s wavefunctions, resulting in a very weak harmonic mixing. Therefore, the measurement does not result in a substantial transfer of energy to the oscillator since the oscillator does not transition to higher energy states.
The efficiency for the measurement-powered cycle is similar to the bath-powered one, as seen by comparing Figs. 4(e) and 5(e). To compute the power, the net work output is divided by since the measurement is assumed to be an instantaneous process. The power for is comparable to the bath-powered setup. In the case, on the other hand, the vanishing work output results in negligible power.
The key takeaway of this section is that, despite the restricted and artificial form of the baths, the engine reaches a steady state and is able to output useful work. Enhancing the oscillator’s ability to expel the waste heat by using a real reservoir and optimizing the piston and bath interaction profiles will improve the work output.
IV Summary
This work has introduced and simulated a realization of a single-piston quantum engine, where the role of the working fluid is played by a harmonic oscillator. By taking advantage of the fact that the interaction between the working fluid and the piston can be controlled by modifying the oscillator’s energy, it has been shown that by following a cycle comprised of heating/cooling of the oscillator and piston motion towards and away from the oscillator, the engine can output work. Two general protocols of engine fueling have been discussed: bath-powered and measurement-powered with both successfully demonstrating stable work output over multiple cycles, indicating a steady state of operation. For simplicity, the heat reservoirs used here comprised of single thermal harmonic oscillator modes. Even though these modes do not function as true thermodynamic baths, the fact that the engine produces work suggests that the engine operation scheme is robust and will perform better in the presence of real thermodynamic reservoirs.
There are several research directions that naturally flow from this study. For an experimental realization of this system, the harmonic oscillator component could be implemented using cold atoms in an optical trap. To extract the waste heat, one could employ laser cooling. Therefore, a theoretical study could explore the operation of the proposed engine where the role of the working fluid is played by a harmonic oscillator with a controllable damping. In a similar vein, powering the engine using resonant driving is an option. Naturally, when the piston is in the advanced position, the oscillator Fock states are no longer the eigenstates, simply driving at the natural oscillator frequency might not be optimal in every case. Finally, a two-piston setup could be explored, where some of the waste heat expelled by one of the “cylinders” goes to heating the other one.
Acknowledgements.
The author acknowledges the National Research Foundation, Prime Minister Office, Singapore, under its Medium Sized Centre Programme and the support by Yale-NUS College (through Start-up Grant).References
- Bhattacharjee and Dutta [2021] S. Bhattacharjee and A. Dutta, Quantum thermal machines and batteries (2021).
- Myers et al. [2022] N. M. Myers, O. Abah, and S. Deffner, Quantum thermodynamic devices: From theoretical proposals to experimental reality, AVS Quantum Sci. 4, 027101 (2022).
- Huang et al. [2012] X. L. Huang, T. Wang, and X. X. Yi, Effects of reservoir squeezing on quantum systems and work extraction, Phys. Rev. E 86, 051105 (2012).
- Chand and Biswas [2017a] S. Chand and A. Biswas, Single-ion quantum otto engine with always-on bath interaction, EPL 118, 60003 (2017a).
- Thomas et al. [2018] G. Thomas, N. Siddharth, S. Banerjee, and S. Ghosh, Thermodynamics of non-markovian reservoirs and heat engines, Phys. Rev. E 97, 062108 (2018).
- Chand et al. [2021] S. Chand, S. Dasgupta, and A. Biswas, Finite-time performance of a single-ion quantum otto engine, Phys. Rev. E 103, 032144 (2021).
- Campo et al. [2014] A. D. Campo, J. Goold, and M. Paternostro, More bang for your buck: Super-adiabatic quantum engines, Sci. Rep. 4, 6208 (2014).
- Roßnagel et al. [2014] J. Roßnagel, O. Abah, F. Schmidt-Kaler, K. Singer, and E. Lutz, Nanoscale heat engine beyond the carnot limit, Phys. Rev. Lett. 112, 030602 (2014).
- Kosloff and Rezek [2017] R. Kosloff and Y. Rezek, The quantum harmonic otto cycle (2017).
- Reid et al. [2017] B. Reid, S. Pigeon, M. Antezza, and G. D. Chiara, A self-contained quantum harmonic engine, EPL 120, 60006 (2017).
- Cavaliere et al. [2022] F. Cavaliere, M. Carrega, G. D. Filippis, V. Cataudella, G. Benenti, and M. Sassetti, Dynamical heat engines with non-markovian reservoirs, Phys. Rev. Res. 4, 033233 (2022).
- Fei et al. [2022] Z. Fei, J. F. Chen, and Y. H. Ma, Efficiency statistics of a quantum otto cycle, Phys. Rev. A 105, 022609 (2022).
- Cavaliere et al. [2023] F. Cavaliere, L. Razzoli, M. Carrega, G. Benenti, and M. Sassetti, Hybrid quantum thermal machines with dynamical couplings, iScience 26, 106235 (2023).
- Rodin [2024] A. Rodin, Three-dimensional harmonic oscillator as a quantum otto engine, Phys. Rev. Res. 6, 013180 (2024).
- Boubakour et al. [2023] M. Boubakour, T. Fogarty, and T. Busch, Interaction-enhanced quantum heat engine, Phys. Rev. Res. 5, 013088 (2023).
- Carrega et al. [2023] M. Carrega, L. Razzoli, P. A. Erdman, F. Cavaliere, G. Benenti, and M. Sassetti, Dissipation-induced cooperative advantage in a quantum thermal machine, arXiv:2310.01938 [quant-ph] (2023).
- Zhang et al. [2014] K. Zhang, F. Bariani, and P. Meystre, Quantum optomechanical heat engine, Phys. Rev. Lett. 112, 150602 (2014).
- Chand and Biswas [2017b] S. Chand and A. Biswas, Measurement-induced operation of two-ion quantum heat machines, Phys. Rev. E 95, 032111 (2017b).
- Elouard et al. [2017a] C. Elouard, D. Herrera-Martí, B. Huard, and A. Auffèves, Extracting work from quantum measurement in maxwell’s demon engines, Phys. Rev. Lett. 118, 260603 (2017a).
- Elouard et al. [2017b] C. Elouard, D. A. Herrera-Martí, M. Clusel, and A. Auffèves, The role of quantum measurement in stochastic thermodynamics, Npj Quantum Inf. 3, 1 (2017b).
- Chand and Biswas [2018] S. Chand and A. Biswas, Critical-point behavior of a measurement-based quantum heat engine, Phys. Rev. E 98, 052147 (2018).
- Elouard and Jordan [2018] C. Elouard and A. N. Jordan, Efficient quantum measurement engines, Phys. Rev. Lett 120, 260601 (2018).
- Das and Ghosh [2019] A. Das and S. Ghosh, Measurement based quantum heat engine with coupled working medium, Entropy 21, 1131 (2019).
- Bresque et al. [2021] L. Bresque, P. A. Camati, S. Rogers, K. Murch, A. N. Jordan, and A. Auffèves, Two-qubit engine fueled by entanglement and local measurements, Phys. Rev. Lett. 126, 120605 (2021).
- Manikandan et al. [2022] S. K. Manikandan, C. Elouard, K. W. Murch, A. Auffèves, and A. N. Jordan, Efficiently fueling a quantum engine with incompatible measurements, Phys. Rev. E 105, 044137 (2022).
- Alam and Venkatesh [2022] M. S. Alam and B. P. Venkatesh, Two-stroke quantum measurement heat engine, arXiv:2201.06303 (2022).
- Étienne Jussiau et al. [2023] Étienne Jussiau, L. Bresque, A. Auffèves, K. W. Murch, and A. N. Jordan, Many-body quantum vacuum fluctuation engines, Phys. Rev. Res. 5, 033122 (2023).
- Rodin [2023] A. Rodin, Advantages of non-hookean coupling in a measurement-fueled two-oscillator engine, arXiv:2311.04446 [quant-ph] (2023).
- Bezanson et al. [2017] J. Bezanson, A. Edelman, S. Karpinski, and V. B. Shah, Julia: A fresh approach to numerical computing *, Society for Industrial and Applied Mathematics 59, 65 (2017).
- Danisch and Krumbiegel [2021] S. Danisch and J. Krumbiegel, Makie.jl: Flexible high-performance data visualization for julia, Journal of Open Source Software 6, 3349 (2021).
- Wong [2011] B. Wong, Color blindness, Nature Methods 8, 441 (2011).
- Ciccarello et al. [2022] F. Ciccarello, S. Lorenzo, V. Giovannetti, and G. M. Palma, Quantum collision models: Open system dynamics from repeated interactions, Phys. Rep. 954, 1 (2022).