This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

A many-body heat engine at criticality

Thomás Fogarty and Thomas Busch Quantum Systems Unit, Okinawa Institute of Science and Technology Graduate University, Onna, Okinawa 904-0495, Japan thomas.fogarty@oist.jp
(July 27, 2025)
Abstract

We show that a quantum Otto cycle in which the medium, an interacting ultracold gas, is driven between a superfluid and an insulating phase can outperform similar single particle cycles. The presence of an energy gap between the two phases can be used to improve performance, while the interplay between lattice forces and the particle distribution can lead to a many-body cooperative effect. Since finite time driving of this cycle can create unwanted non-equilibrium dynamics which can significantly impair the performance of the engine cycle, we also design an approximate shortcut to adiabaticity for the many-body state that can be used to achieve an efficient Otto cycle around a critical point.

\ioptwocol

1 Introduction

The almost unmatched precision of controlling and measuring cold atomic systems provided by recent experiments has made them forerunners in the area of quantum simulations [1, 2, 3]. In particular their many-body aspect and the ability to create out-of-equilibrium situations in a controlled way has led to paradigmatic results that are beyond even advanced numerical simulations [4]. They therefore offer an exciting testbed for exploring ideas in quantum thermodynamics [5], ranging from insights into the understanding of work and heat at the quantum level to the operation of quantum heat engines (QHE) and refrigerators [6, 7, 8, 9, 10, 11]. Describing such machines taking fundamental quantum effects into account has already led to a number of unexpected results and can allow one to achieve certain advantages over comparable classical systems. In recent years this has been shown for machines operating across quantum phase transitions [12, 13, 14, 15, 16, 17, 18], using squeezed baths as quantum environments [19, 20, 21, 22, 23], or exploiting the cooperative effects of many-body quantum systems [24, 25, 26, 27, 28, 29, 30, 31].

However, the description of interacting many-particle systems at finite temperatures is a non-trivial problem and solvable models only exist in restricted circumstances that are often not experimentally realistic. One notable exception to this are the recently realised Tonks-Girardeau (TG) gases of strongly interacting bosons in effectively one-dimensional settings [32, 33], where exact solutions can be found using the Bose-Fermi mapping theorem at finite temperatures [34, 35, 36, 37]. Therefore they lend themselves to exact studies of thermodynamical machines.

In this work we consider a Tonks-Girardeau gas in a box and realise the compression and expansion strokes a heat engine requires by the switching on and off of an optical lattice potential. This changes the one-dimensional volume the system has available and also leads to significant changes in the energy spectrum. Even more, in such a system the particle filling statistics plays an important role, as at low temperature and unit filling an insulating phase forms as soon as an infinitesimally weak lattice potential is applied [38, 39]. This phase transition is called the pinning-transition and it is signalled by the appearance of an energy gap in the spectrum. One can therefore drive a quantum Otto cycle between the superfluid and insulating phases by simply switching the lattice on and off. As the operation of the engine cycle is dependent on the energy spectrum of the particles, the presence of the energy gap at the quantum critical point can drastically change the engine performance. Furthermore, due to the competing influence of the lattice potential and the particle interactions, nontrivial energy spectra can be achieved that may exhibit a many-body cooperative effect on the engine cycle. This can be quantified by comparing the many-body quantum heat engine (mQHE) with an equivalently sized ensemble of non-interacting single particle quantum heat engines (sQHE) [27].

Of course, any realistic implementation of a QHE cycle must be carried out on a finite timescale, which can have a negative impact on the resulting engine performance. If the cycle is performed too quickly, the excitation of non-equilibrium states may act as a form of inner friction due to the irreversible nature of the dynamics, thereby reducing performance [40, 41]. While adiabatic dynamics preserve the reversibility of the cycle through the slow driving of the quantum state, the long timescales required result in negligible output power. To achieve both, engine cycles that are efficient and fast, one can employ the techniques of shortcuts to adiabaticity (STA), which allow for adiabatic dynamics on finite timescales [42, 43, 44, 8, 45, 46, 47, 48, 28, 49]. However, since the driven dynamics of our interacting many-particle system encompasses the quantum critical point at the pinning transition, standard STA approaches cannot be easily employed. We therefore derive and implement a many-body STA using a variational approach [50, 51], which, although approximate in nature, improves the performance of the engine when compared to a non-optimised cycle.

2 Methods

The system we consider consists of a gas of NN particles of mass mm which are trapped in an effectively one dimensional box potential, VB(x)V_{\text{B}}(x), of length LL with infinitely high walls. The single particle Hamiltonian is given by

H=22m2+VB(x)+Vl(x,t),H=-\frac{\hbar^{2}}{2m}\nabla^{2}+V_{\text{B}}(x)+V_{l}(x,t)\;, (1)

where we have also included a time-dependent optical lattice potential of the form Vl(x,t)=V0(t)cos2(k0x+ϕ)V_{l}(x,t)=V_{0}(t)\cos^{2}(k_{0}x+\phi) (see Fig. 1(a)). The lattice vector is given by k0=Mπ/Lk_{0}=M\pi/L and MM is the number of wells. We choose ϕ=0\phi=0 for MM even and ϕ=π/2\phi=\pi/2 for MM odd to ensure that there are no half lattice sites at the edge of the box. We also choose to fix k0k_{0} and scale the size of the box potential to change the number of lattice sites.

Refer to caption
Figure 1: (a) Schematic of the setup for the mQHE and (b) the sQHE. (c) Schematic of the Otto cycle. (d) Single particle spectrum EjE_{j} of a lattice with M=100M=100 wells and V0=0V_{0}=0 (light grey), V0=5V_{0}=5 (black) and V0=25V_{0}=25 (red). (e) Efficiency and (f) work output for an adiabatic cycle as a function of the filling ratio N/MN/M, with TC=0T_{C}=0, TH=5T_{H}=5 and Vf=50V_{f}=50. Different values of ViV_{i} are shown, Vi=0V_{i}=0 (blue solid), Vi=1V_{i}=1 (red dotted), Vi=5V_{i}=5 (yellow dashed) and Vi=10V_{i}=10 (purple dot-dashed). The work output is scaled with the number of particles NN.

The eigenstates, ψn(x)\psi_{n}(x) (which we calculate through exact diagonalization), of the Hamiltonian (1) can be used to describe a gas of spinless fermions via the Slater determinant ΨF(x1,x2,,xN)=1N!detn,j=1N[ψn(xj)]\Psi_{F}(x_{1},x_{2},\dots,x_{N})=\frac{1}{\sqrt{N!}}\det^{N}_{n,j=1}[\psi_{n}(x_{j})], which can be mapped onto a TG gas of hard-core bosons after appropriate symmetrization as ΨB(x1,x2,,xN)=1i<jNsgn(xixj)ΨF(x1,x2,,xN)\Psi_{B}(x_{1},x_{2},\dots,x_{N})=\prod_{1\leq i<j\leq N}\mbox{sgn}(x_{i}-x_{j})\Psi_{F}(x_{1},x_{2},\dots,x_{N}) [34, 52]. This duality can be understood by realising that the spatial distribution of the fermions is governed by a pseudo-interaction implied by the Pauli exclusion principle (Fermi pressure), which has the same effect as the strongly repulsive interaction present in the TG gas. Their respective densities are therefore trivially identical, and this equivalence also extends to their thermodynamic behaviours which are governed by the Fermi-Dirac occupation factors, fn=[e(Enμ)/kBT+1]1f_{n}=[e^{(E_{n}-\mu)/k_{B}T}+1]^{-1} (with EnE_{n} the eigenenergies, μ\mu the chemical potential and kBk_{B} the Boltzmann constant) [35, 53, 37]. This implies that the engine cycles will be identical as well. In the following we will scale all energies in units of the lattice recoil energy, ER=2k02/(2m)E_{R}=\hbar^{2}k_{0}^{2}/(2m), and temperature in units of ER/kBE_{R}/k_{B}.

We consider a quantum Otto cycle (see Fig. 1(c)) driven between two lattice depths, V0={Vi,Vf}V_{0}=\{V_{i},V_{f}\}, at different lattice filling ratios, N/MN/M. The cycle consists of four strokes: (i) isentropic compression (lattice raising from depth ViV_{i} to VfV_{f}) over a time t1t_{1} at fixed temperature TCT_{C}; (ii) weak coupling to a thermal bath at temperature TH>TCT_{H}>T_{C} during a time t2t_{2}; (iii) isentropic expansion (lattice lowering from depth VfV_{f} to ViV_{i}) over a time t3t_{3}; and (iv) weak coupling to a thermal bath at temperature TCT_{C} for a time t4t_{4}. During the isentropic compression and expansion strokes we assume the system is isolated from the respective thermal reservoirs.

We consider a reversible cycle where the dynamics of the quantum state are sufficiently slow so as to be considered adiabatic (denoted by the subscript ADAD). The work done during the isentropic strokes can be calculated from the difference in energy between the many-body states at lattice depths ViV_{i} and VfV_{f} at the different temperatures, WC=HTC(Vf)HTC(Vi)\langle W_{C}\rangle=\langle H_{T_{C}}(V_{f})\rangle-\langle H_{T_{C}}(V_{i})\rangle and WH=HTH(Vi)HTH(Vf)\langle W_{H}\rangle=\langle H_{T_{H}}(V_{i})\rangle-\langle H_{T_{H}}(V_{f})\rangle, with H=Tr(Hρ)\langle H\rangle=\text{Tr}(H\rho) being the expectation value of the energy of the thermal states. The heat exchanged with the cold and hot baths is the given by QC=HTC(Vi)HTH(Vi)\langle Q_{C}\rangle=\langle H_{T_{C}}(V_{i})\rangle-\langle H_{T_{H}}(V_{i})\rangle and QH=HTH(Vf)HTC(Vf)\langle Q_{H}\rangle=\langle H_{T_{H}}(V_{f})\rangle-\langle H_{T_{C}}(V_{f})\rangle and the efficiency and output power can be calculated as

ηAD=WC+WHQH,PAD=WC+WHτ,\eta_{AD}=-\frac{\langle W_{C}\rangle+\langle W_{H}\rangle}{\langle Q_{H}\rangle},\quad P_{AD}=-\frac{\langle W_{C}\rangle+\langle W_{H}\rangle}{\tau}\;, (2)

where Wext=(WC+WH)\langle W\rangle_{\text{ext}}=-\left(\langle W_{C}\rangle+\langle W_{H}\rangle\right) is the work output and τ=t1+t2+t3+t4\tau=t_{1}+t_{2}+t_{3}+t_{4} is the duration of the cycle.

3 Results

3.1 Adiabatic cycle

For the performance of the engine the filling fraction N/MN/M plays an important role. At TC=0T_{C}=0 and for an incommensurate filling, NMN\neq M, the particles are delocalized in the lattice and can move within the box. However, for a commensurate filling, N=MN=M, a pinning transition occurs for any infinitesimal lattice strength, whereby each particle becomes more strongly localized at an individual lattice site, which significantly restricts its motion [54, 55]. The behaviour of this insulating phase is then determined by the energy gap in the single particle spectrum (see Fig. 1(d)) which has a size of approximately V0/2V_{0}/2 for shallow lattices and 2V02\sqrt{V_{0}} for deep lattices [38]. The differences in the accessible single particle excitation spectrum for N/MN/M therefore lead to different behaviours when running the engine and in Fig. 1(e,f) one can clearly see that peak performance is achieved at unit filling. At this point the particles in the cold adiabat fill the lowest energy band and as V0V_{0} is increased the energy gap is widened. Thermal excitations induced by the hot bath then allow particles to jump the gap and therefore more energy can be extracted as the lattice depth is decreased along the hot adiabat. As the high performance regime is the interesting one for heat engines, we will focus on the case of unit filling in the following.

Refer to caption
Figure 2: (a) Efficiency ratio ηAD\eta^{*}_{AD} as a function of the initial lattice depth ViV_{i} and the final lattice depth VfV_{f}. The system is at unit filling with N=M=100N=M=100, while the temperatures of the cold and hot reservoirs are TC=0T_{C}=0 and TH=5T_{H}=5, respectively. The grey region indicates the parameter space where Vi>VfV_{i}>V_{f}, in which no work can be extracted from the cycle. (b) Numerical values for ηAD\eta^{*}_{AD} (red dotted line) and PADP^{*}_{AD} (black solid line) compared to the approximation given in Eq. (4) (yellow solid line) as function of VfV_{f} for TH=5T_{H}=5 with N=M=100N=M=100. The inset shows PADP^{*}_{AD} for TH=1T_{H}=1 (blue line) and TH=20T_{H}=20 (pink line). (c) Efficiency at maximum power (see text) and shown as a function of TC/THT_{C}/T_{H} for two temperatures of the cold adiabat: TC=0.01T_{C}=0.01 (light blue lines) and TC=0.1T_{C}=0.1 (dark red lines). The solid lines are for the mQHE, the dotted ones for the sQHE and the black line indicates the Curzon-Ahlborn limit. The inset shows the values of VfV_{f} which correspond to the maximum power for each respective cycle (in log-log scale as a function of TC/THT_{C}/T_{H}). (d) Dependence of ηAD\eta^{*}_{AD} (red dotted line) and PADP^{*}_{AD} (black solid line) as a function of NN at unit filling with TH=5T_{H}=5 and with Vf=200V_{f}=200. The numerical results are indistinguishable from Eq. (4). The inset shows ηAD\eta^{*}_{AD} and PADP^{*}_{AD} for TH=1T_{H}=1 and Vf=5V_{f}=5.

The advantage of exploiting the critical point in a many-body quantum heat engine (mQHE) with NN particles can be quantified by comparison with an ensemble of NN single-particle quantum heat engines (sQHE), see Fig. 1(b). Each sQHE obeys the Hamiltonian given by Eq. (1) with a box length of L=π/k0L=\pi/k_{0}, so that exactly one lattice well is present, Vl=V0cos(k0x+π/2)V_{l}=V_{0}\cos(k_{0}x+\pi/2). The Otto cycle is then carried out using the same lattice height and bath temperatures, however in the mQHE the final state is strongly influenced by the presence of the interparticle interactions and the periodicity of the optical lattice. To quantify the difference between the mQHE and the sQHE, we calculate the ratio of their respective efficiencies and powers

η(N)=η(N)η(1),P(N)=P(N)NP(1),\eta^{*}(N)=\frac{\eta(N)}{\eta(1)},\quad P^{*}(N)=\frac{P(N)}{NP(1)}\,, (3)

such that η(N)>1\eta^{*}(N)>1 and P(N)>1P^{*}(N)>1 indicate that the many-body state gives a performance boost [27].

In Fig. 2(a) we show the efficiency ratio for an adiabatic cycle as a function of the lattice depths ViV_{i} and VfV_{f}. For Vf>ViV_{f}>V_{i} the cycle produces positive work and therefore acts as an engine. One can see that large many-body cooperative effects can be achieved in the regime where both lattices are weak, and where therefore the particles in the mQHE are still partially overlapping. This results in a non-trivial, non-flat single-particle energy spectrum (see Fig. 1(d)) and therefore in enhanced efficiency and power output over the sQHE. When both lattices are deep, V030V_{0}\gtrsim 30, the particles are highly localized in individual lattice sites and the single particle energy spectrum becomes degenerate forming flat bands. In this limit all many-body cooperative effects are lost and the mQHE becomes equivalent to the sQHE. Since for weak initial lattice depths, Vi10V_{i}\lesssim 10, the mQHE shows enhanced performance for a range of values of VfV_{f}, we will focus on this region of the parameter space in what follows, specifically considering the limiting case of initially having free particles (Vi0V_{i}\rightarrow 0).

Indeed, for mQHE cycles which operate at low reservoir temperatures, θ=ERkBTHVf>1\theta=\frac{E_{R}}{k_{B}T_{H}}\sqrt{V_{f}}>1, and which ramp to deep lattices, Vf1V_{f}\gg 1, it is possible to find an approximate expression for the many-body performance boost,

ηAD(N)=PAD(N)1+11/NΔ32[coth(θ)+1],\eta^{*}_{AD}(N)=P^{*}_{AD}(N)\approx 1+\frac{1-1/N}{\Delta-\frac{3}{2}\left[\coth\left(\theta\right)+1\right]}\;, (4)

where Δ=2Vf1\Delta=2\sqrt{V_{f}}-1 is the energy gap (see Supplemental Material for details). From this one can immediately see that at unit filling the mQHE will always outperform the sQHE once Vf>4V_{f}>4. Furthermore, increasing the number of particles and reaching the state of double filling, N=2MN=2M, where the two lowest states of each lattice site are occupied, does not lead to improved performance. In the limits θ,M\theta,M\rightarrow\infty the efficiency ratio can be written as η(2M)η(2M)η(1)14(Δ1)113Δ1\eta^{*}(2M)\equiv\frac{\eta(2M)}{\eta(1)}\rightarrow\frac{1-4(\Delta-1)^{-1}}{1-3\Delta^{-1}}, showing that for Vf>1V_{f}>1 the efficiency of the sQHE is always larger than the mQHE at double filling, which is due to the anharmonicity of the individual lattice sites leading to reduced gaps between higher lying energy states.

In Fig. 2(b) we show the numerically obtained values of the ratios ηAD(N)\eta^{*}_{AD}(N) and PAD(N)P^{*}_{AD}(N) as a function of VfV_{f} in comparison to the approximation in Eq. (4). One can see that the exact ratios peak at lower values of VfV_{f}, which is due to the fact that the particles in the many-body state are still partially delocalized and therefore many-body cooperativity is stronger. For deeper lattices, Vf50V_{f}\gtrsim 50, both ratios head towards one, as stronger localisation makes the lattice sites become effectively independent. The decay of the many-body advantage is well described by the approximation in Eq. (4) (solid yellow line in Fig. 2(b)) and given by a 1/Δ1/\Delta dependence. While the decay is universal, the position and height of the maximum are depending on the other parameters of the system, in particular THT_{H} (see inset of Fig. 2(b)). In general, a significant many-body advantage exists by operating the mQHE in weak lattices and at low temperatures when the commensurate system remains close to the quantum critical point. At higher temperatures the existing thermal energies diminish the importance of energy gap and the quantum criticality is washed out. To demonstrate this we show in Fig. 2(c) the efficiency at maximum power (optimised over the lattice depth VfV_{f}, see inset in Fig. 2(c)) for two different temperatures of the cold adiabat: one deep in the quantum regime TC=0.01T_{C}=0.01, which ensures that the system is in its ground state and therefore close to the quantum critical point; the other at a slightly higher temperature TC=0.1T_{C}=0.1, where the effect of the quantum criticality is reduced. When THT_{H} is small, the mQHE with the lower TCT_{C} can be seen to be more efficient and close to the Curzon-Ahlborn efficiency, ηCA=1TC/TH\eta_{CA}=1-\sqrt{T_{C}/T_{H}}, which is a good indicator of the performance of the Otto cycle [56, 29, 46]. Furthermore, it is worth noticing that at higher TCT_{C} the mQHE is outperformed by the sQHE as the thermal energy leads to less localisation within the box potential and the energy gap is washed out. Therefore, this quantum critical mQHE only shows enhanced performance at low temperatures when the system is close to the critical point.

In deep lattices the power and efficiency ratios are equivalent for any number of lattice sites at unit filling (N=MN=M) and they are exactly described by Eq. (4) (see Fig. 2(d)). As the many-body advantage is proportional to (11/N)(1-1/N), one can see a rapid increase in both quantities for increasing particle number until N10N\sim 10, after which it asymptotically approaches 1+(Δ3)11+\left(\Delta-3\right)^{-1} in the thermodynamic limit. In more shallow lattices the efficiency and power ratios asymptotically reach different, but overall larger values, while the dependence on NN remains consistent with the behaviour observed for deep lattices (see inset of Fig. 2(d)). Indeed, one does not need to create large many-body states to see a marked improvement in engine performance, rather only a few dozen particles are sufficient for observing the effects of many-body cooperativity in this system.

3.2 Finite time cycle

While all the results above are obtained for a reversible cycle with undergoes adiabatic dynamics, this results in negligible power output due to the long timescales for each cycle, therefore necessitating fast engine cycles for finite power-output. However, fast driving through a critical point will inevitably result in non-adiabatic dynamics and irreversible work being produced, with the latter being defined as the difference between the average work of the non-adiabatic (NANA) and adiabatic driving, Wirr=WNAWAD\langle W_{irr}\rangle=\langle W\rangle_{NA}-\langle W\rangle_{AD}. This ultimately leads to reduced performance of the QHE [57, 58, 59]. To explore the effect of irreversible work on the engine performance we numerically calculate the unitary dynamics of the single particle states during the compression and expansion strokes, ψn(x,t)=ei0tH(t)𝑑tψn(x,0)\psi_{n}(x,t)=e^{-\frac{i}{\hbar}\int_{0}^{t}H(t^{\prime})dt^{\prime}}\psi_{n}(x,0), describing the insertion and removal of the optical lattice over a finite time tft_{f} (in units of 2π/ER2\pi/E_{R}). We parametrise the lattice strength as Vλ(t)=λ(t)Vfcos2(k0x)V_{\lambda}(t)=\lambda(t)V_{f}\cos^{2}(k_{0}x), with λ(t)=t3/tf3[1+3(1t/tf)+6(1t/tf)2]\lambda(t)=t^{3}/t_{f}^{3}[1+3(1-t/t_{f})+6(1-t/t_{f})^{2}], which is sufficient to explore the dynamical properties of a finite time engine stroke, but is not necessarily optimal for the system [60, 61, 62, 63]). As our focus is on the non-adiabatic dynamics initiated by the lattice ramp we will neglect the dynamics during the coupling to the different heat baths and assume that the thermalization times t2t_{2} and t4t_{4} are much shorter than the times for the work strokes t1t_{1} and t3t_{3} [42, 64]. Taking t1=t3tft_{1}=t_{3}\equiv t_{f}, the total time for the cycle is τ2tf\tau\approx 2t_{f}.

Refer to caption
Figure 3: (a) Efficiency ratio η\eta^{*} as a function of ramp time tft_{f} for M=30M=30 with Vf=25V_{f}=25 and TH=5T_{H}=5 (PP^{*} behaves similarly and is not shown) at the pinning transition point (N=30N=30) and away from it (N=20N=20). (b-c) Irreversible work created during a process with a ramp time of tf=2t_{f}=2 as a function of total particle number NN. (b) Wirr\langle W_{irr}\rangle for ramping on the lattice at TC=0T_{C}=0, (c) Wirr\langle W_{irr}\rangle for ramping off the lattice at TH=0T_{H}=0 (blue), TH=0.5T_{H}=0.5 (yellow) and TH=5T_{H}=5 (red). Efficiency ratio for (d) Vf=5V_{f}=5 and TH=0.5T_{H}=0.5 and (e) Vf=25V_{f}=25 and TH=5T_{H}=5 after implementing the non-optimised ramp Vλ(t)V_{\lambda}(t) (grey dot dashed), and the STAs VSTA(t)\langle V^{\text{STA}}(t)\rangle (red) and VM1STA(t)V_{M-1}^{\text{STA}}(t) (black). Insets: energy difference between the non-adiabatic and adiabatic single particle energies after each ramp, ΔEn=EnNAEnAD\Delta E_{n}=E_{n}^{NA}-E_{n}^{AD}, taking tf=15t_{f}=15 and with the color code matching that of the larger panels.

For a finite time cycle at commensurate filling the efficiency only slowly approaches the adiabatic efficiency (see Fig. 3(a)) due to the large amount of irreversible work created when driving the system at the pinning transition (see Fig. 3(b-c)). In comparison, incommensurate fillings produce significantly less irreversible work as excitations are far from the energy gap and therefore the adiabatic efficiency can be reached for significantly shorter ramp times. Also note that more irreversibility is created during the raising of the barrier compared to the lowering, as the opening of the energy gap adds to the nonequilibrium excitations.

Even with the advantage gained from the energy gap, the resulting irreversible dynamics on short timescales set a limit on the performance of the engine cycle. In fact, this problem does not just appear in dynamics about a critical point, but is present in any non-adiabatic driving of quantum heat engines. To improve engine performance on finite timescales different shortcut to adiabaticity (STA) approaches have been suggested [42, 65, 28, 66, 43, 46, 67]. However, while STAs have been successfully developed for non-interacting and mean-field systems, designing them for strongly interacting many-body systems poses new challenges when scale invariance can not be exploited [50], and is especially difficult due to the orthogonality catastrophe in larger systems [48, 68]. We therefore employ a variational approach which can find the optimal driving amplitude VnSTA(t)V^{\text{STA}}_{n}(t) for each of the single particle functions ψn(x,t)\psi_{n}(x,t) which are used in the Slater determinant to construct the many-body state [51]. However, while this in principle can optimise the dynamics of each ψn(x,t)\psi_{n}(x,t) individually, in practice a single lattice ramp must act on the entire many-body state and the chosen VnSTA(t)V^{\text{STA}}_{n}(t) may create unwanted excitations in different ψm(x,t)\psi_{m}(x,t), for mnm\neq n.

We therefore consider two different approximate STAs to optimize the many-body dynamics. First, we choose the average of the STA pulses for all states up to the energy gap, VSTA(t)=n=1MVnSTA(t)/M\langle V^{\text{STA}}(t)\rangle=\sum_{n=1}^{M}V^{\text{STA}}_{n}(t)/M, and numerically time evolve the single particle states with this finite time ramp. While this shows an improvement over the non-optimized ramp Vλ(t)V_{\lambda}(t) for all timescales (see Fig. 3(d-e)), it is only marginal as the optimization is averaged over the whole system. We therefore also consider the ramp VM1STA(t)V^{\text{STA}}_{M-1}(t), which specifically optimizes the most irreversible single particle state, ψM1(x)\psi_{M-1}(x), which sits just below the gap and possesses the most excess energy after the VλV_{\lambda} ramp (see insets in Fig. 3(d-e)). This STA results in a larger efficiency gain as excitations of this state are mostly suppressed, and the adiabatic limit is quickly reached when the lattice is weak. However, this STA becomes ineffective for fast cycles, as large modulations in the approximate STA ramp can induce excitations in the rest of the system, which is a limitation of using these approximate techniques to design STAs for many-body states.

4 Conclusions

In summary, we have described the operation of a quantum Otto cycle about a critical point in a strongly interacting many-particle system. We have shown that such a setup can yield increased performance due to the presence of an energy gap and cooperative many-body effects which arise due to competition between interactions and lattice forces. Using the particular cold-atom setup we have chosen, which has already been experimentally studied [39], clearly highlights the dynamical effects stemming from the ordering when going through the critical point and the complex dynamics that arises during non-trivial shortcut driving. Furthermore, recent experiments have shown that many-particle heat engines can be realized with two-component ultracold gases [69], whereby inelastic spin-exchange collisions are used to transfer heat between the engine and the bath. Accordingly, our work lays foundations for the further exploration of STA techniques for interacting many-body systems and their potential applications in quantum heat engines.

We thank Blaithín Power, John Goold and Steve Campbell for efficient discussions. This work was supported by the Okinawa Institute of Science and Technology Graduate University and JSPS KAKENHI-18K13507.

References

5 Supplementary Material

5.1 Efficiency and power ratios

In following we will describe how the efficiency and power ratios, ηAD(N)\eta_{AD}^{*}(N) and PAD(N)P_{AD}^{*}(N), can be approximated in the deep lattice (Vf1V_{f}\gg 1) and low temperature (θ=ERkBTHVf>1\theta=\frac{E_{R}}{k_{B}T_{H}}\sqrt{V_{f}}>1) regime as given in Eq. 4 in the main text.

For this we first look at the compression stroke for a system with NN particles at zero temperature (TC=0T_{C}=0). At the beginning of the compression stroke the particles fill a box of length LL which has single particle energies given by ϵnB=(n+1)2\epsilon^{B}_{n}=(n+1)^{2}. The groundstate energy of the NN-particle system is therefore simply

H0(0)=n=0N1ϵnB=(N+1)(2N+1)/6N.\langle H_{0}(0)\rangle=\sum_{n=0}^{N-1}\epsilon^{B}_{n}=(N+1)(2N+1)/6N. (5)

At the end of the compression stroke the lattice has a depth VfV_{f} and at unit filling the lowest band is fully populated with one particle per lattice site. We can therefore treat this as NN isolated single particles confined to individual wells whose potential can be approximated by

Vcos2(kx+π/2)Vk2x2V3k4x4+𝒪(x6).V\cos^{2}(kx+\pi/2)\approx Vk^{2}x^{2}-\frac{V}{3}k^{4}x^{4}+\mathcal{O}(x^{6})\;. (6)

Treating the quartic term as a perturbation then gives the single particle energy spectrum in one deep lattice site as

ϵnl(n+12)2Vf+14(2(n+1)2(n+1)21),\epsilon^{l}_{n}\approx\left(n+\frac{1}{2}\right)2\sqrt{V_{f}}+\frac{1}{4}\left(2(n+1)-2(n+1)^{2}-1\right), (7)

where n={0,1,2,}n=\{0,1,2,\dots\}. Here the first term is the harmonic oscillator energy, ω=2VER\hbar\omega=2\sqrt{VE_{R}} with the rescaled Vf=VERV_{f}=VE_{R}, and the second term is the correction due to the anharmonicity of the lattice site. The energy gap is the difference between two lowest single particle states, Δ=ϵ1lϵ0l=2Vf1\Delta=\epsilon^{l}_{1}-\epsilon^{l}_{0}=2\sqrt{V_{f}}-1 and the total energy of NN particles in the lowest energy band is

H0(Vf)=Nϵ0l=N(Vf14).\langle H_{0}(V_{f})\rangle=N\epsilon^{l}_{0}=N\left(\sqrt{V_{f}}-\frac{1}{4}\right). (8)

Next we calculate the energy of the many-body state during the expansion stroke at temperature THT_{H}. At the start of this stroke the lattice depth is fixed at VfV_{f} and the partition function is well approximated by that of the harmonic oscillator

𝒵=n=0e(2n+1)θ=csch(θ)2,\mathcal{Z}=\sum_{n=0}^{\infty}e^{-(2n+1)\theta}=\frac{\text{csch}(\theta)}{2}\;, (9)

which is justified when Vf1/4\sqrt{V_{f}}\gg 1/4. Alternatively, one may use the partition function as calculated from the energies given in Eq. (7), resulting in

𝒵~=csch(θ)2+θcoth2(θ)csch(θ)8Vf,\tilde{\mathcal{Z}}=\frac{\text{csch}(\theta)}{2}+\frac{\theta\coth^{2}(\theta)\text{csch}(\theta)}{8\sqrt{V_{f}}}, (10)

which will yield qualitatively similar results to the low temperature harmonic oscillator approximation, however leads to more complex expressions. The total energy of the NN particle system is therefore NN-times the single particle energy, HTH(Vf)=N𝒵m=0ϵmle(2m+1)θ\langle H_{T_{H}}(V_{f})\rangle=\frac{N}{\mathcal{Z}}\sum_{m=0}^{\infty}\epsilon^{l}_{m}e^{-(2m+1)\theta}. This gives

HTH(Vf)=N(Vfcoth(θ)14coth2(θ)),\langle H_{T_{H}}(V_{f})\rangle=N\left(\sqrt{V_{f}}\coth(\theta)-\frac{1}{4}\coth^{2}(\theta)\right), (11)

where the first term describes the thermal state of a harmonic oscillator and the second term is the correction due to the anharmonicity of the lattice site.

Finally, at the end of the expansion stroke the lattice is removed and we must describe the thermal state of NN particles in the box potential. As the thermal statistics of the particles are still described by the lattice band structure we need to evaluate the total energy as a distribution over the each band. Since each band can contain NN particles which have single particle energies described by (n+1)2(n+1)^{2}, the total energy of the mthm^{th} band is given by

ϵ~mB=16N[1+3N(2m+1)+2N2(3m2+3m+1)].\tilde{\epsilon}^{B}_{m}=\frac{1}{6N}\left[1+3N\left(2m+1\right)+2N^{2}\left(3m^{2}+3m+1\right)\right]\;. (12)

Therefore, the total energy for NN particles is given by HTH(0)=1𝒵m=0ϵ~mBe(2m+1)θ\langle H_{T_{H}}(0)\rangle=\frac{1}{\mathcal{Z}}\sum_{m=0}^{\infty}\tilde{\epsilon}^{B}_{m}e^{-(2m+1)\theta} which gives

HTH(0)=16N(1+2N2+3Ncoth(θ)+3N2csch2(θ)).\langle H_{T_{H}}(0)\rangle=\frac{1}{6N}\left(1+2N^{2}+3N\coth(\theta)+3N^{2}\text{csch}^{2}(\theta)\right)\;. (13)

The average work done during the compression and expansion strokes can then be calculated from WC=H0(Vf)H0(0)\langle W_{C}\rangle=\langle H_{0}(V_{f})\rangle-\langle H_{0}(0)\rangle and WH=HTH(0)HTH(Vf)\langle W_{H}\rangle=\langle H_{T_{H}}(0)\rangle-\langle H_{T_{H}}(V_{f})\rangle respectively, while the heat exchange with the hot bath is QH=HTH(Vf)H0(Vf)\langle Q_{H}\rangle=\langle H_{T_{H}}(V_{f})\rangle-\langle H_{0}(V_{f})\rangle. With these quantities the efficiency and power of the adiabatic mQHE can be calculated as in the main text.

Similarly the energies for the sQHE cycle can be straightforwardly calculated, with the energy of a single particle in the lattice potential simply given by H01(Vf)=H0(Vf)/N\langle H_{0}^{1}(V_{f})\rangle=\langle H_{0}(V_{f})\rangle/N and HTH1(Vf)=HTH(Vf)/N\langle H_{T_{H}}^{1}(V_{f})\rangle=\langle H_{T_{H}}(V_{f})\rangle/N, while in the box potential they are

H01(0)\displaystyle\langle H_{0}^{1}(0)\rangle =1,\displaystyle=1\;, (14)
HTH1(0)\displaystyle\langle H_{T_{H}}^{1}(0)\rangle =12coth(θ)[1+coth(θ)].\displaystyle=\frac{1}{2}\coth(\theta)\left[1+\coth(\theta)\right]\;. (15)

As above, the efficiency and power of the sQHE can then be calculated.

Finally, to compare the performance of the mQHE to the sQHE we calculate the ratios of the efficiency η=η(N)/η(1)\eta^{*}=\eta(N)/\eta(1) and power P=P(N)/(NP(1))P^{*}=P(N)/(NP(1)). Using the above approximations for an engine operating in the deep lattice and low temperature regime we find that we can write both ratios as

ηAD(N)=PAD(N)=1+11/NΔ32[coth(θ)+1].\eta^{*}_{AD}(N)=P^{*}_{AD}(N)=1+\frac{1-1/N}{\Delta-\frac{3}{2}\left[\coth\left(\theta\right)+1\right]}\;. (16)

5.2 Shortcut to adiabaticity

To design an STA for the time-dependent ramp acting on the whole system we use a variational approach [66, 50, 51]. This method relies on minimizing the Lagrangian and finding the optimal Vn(t)V_{n}(t) ramp for each single particle state individually. The success of this approach depends strongly on the choice of the ansatz for the time evolution of the corresponding single particle state. For our work we choose a simple ansatz of the form of a superposition between the the initial and the target state [50]

Φnc(x,t)\displaystyle\Phi_{n}^{c}(x,t) =Ψn(x,t)eib(t)x2\displaystyle=\Psi_{n}(x,t)e^{ib(t)x^{2}} (17)
=𝒩(t)[(1ε(t))ψnI(x)+ε(t)ψnF(x)]eib(t)x2\displaystyle=\mathcal{N}(t)\left[(1-\varepsilon(t))\psi_{n}^{I}(x)+\varepsilon(t)\psi_{n}^{F}(x)\right]e^{ib(t)x^{2}} (18)

where ψnI(x,t)\psi_{n}^{I}(x,t) is the initial nthn^{th} single particle state and ψnF(x,t)\psi_{n}^{F}(x,t) is the corresponding target state, with b(t)b(t) being a dynamical phase. We use the time dependent parameter ε(t)\varepsilon(t) to switch the single particle state from its initial to the target state. To be able to obey the boundary conditions ε(0)=0\varepsilon(0)=0, ε(tf)=1\varepsilon(t_{f})=1, and ε˙(0)=ε˙(tf)=ε¨(0)=ε¨(tf)=0\dot{\varepsilon}(0)=\dot{\varepsilon}(t_{f})=\ddot{\varepsilon}(0)=\ddot{\varepsilon}(t_{f})=0, we choose a functional form of the switching parameter of ε(t)=j=05ajtj\varepsilon(t)=\sum_{j=0}^{5}a_{j}t^{j}.

The resulting optimised lattice ramp is then given by

VnSTA(t)=ξ2ε(bt+2b2)+12βεαε,V^{\text{STA}}_{n}(t)=-\frac{\frac{\partial\xi^{2}}{\partial\varepsilon}\left(\frac{\partial b}{\partial t}+2b^{2}\right)+\frac{1}{2}\frac{\partial\beta}{\partial\varepsilon}}{\frac{\partial\alpha}{\partial\varepsilon}}\;, (19)

where the variables are given by

ξ2\displaystyle\xi^{2} =L/2L/2x2|Ψn(x,t)|2𝑑x,\displaystyle=\int_{-L/2}^{L/2}x^{2}|\Psi_{n}(x,t)|^{2}dx\;, (20)
α\displaystyle\alpha =L/2L/2cos2(kx)|Ψn(x,t)|2𝑑x,\displaystyle=\int_{-L/2}^{L/2}\cos^{2}(kx)|\Psi_{n}(x,t)|^{2}dx\;, (21)
β\displaystyle\beta =L/2L/2|Ψn(x,t)x|2𝑑x,\displaystyle=\int_{-L/2}^{L/2}\left|\frac{\partial\Psi_{n}(x,t)}{\partial x}\right|^{2}dx\;, (22)
b\displaystyle b =14ξ2ξ2t.\displaystyle=\frac{1}{4\xi^{2}}\frac{\partial\xi^{2}}{\partial t}\;. (23)

Here ξ2\xi^{2} is the width of the single particle state, α\alpha is the contribution from the lattice, β\beta the kinetic energy and bb is the chirp.