Attaining Carnot efficiency with quantum and nanoscale heat engines

A heat engine operating in the one-shot finite-size regime, where systems composed of a small number of quantum particles interact with hot and cold baths and are restricted to one-shot measurements, delivers fluctuating work. Further, engines with lesser fluctuation produce a lesser amount of deterministic work. Hence, the heat-to-work conversion efficiency stays well below the Carnot efficiency. Here we overcome this limitation and attain Carnot efficiency in the one-shot finite-size regime, where the engines allow the working systems to simultaneously interact with two baths via the semi-local thermal operations and reversibly operate in a one-step cycle. These engines are superior to the ones considered earlier in work extraction efficiency, and, even, are capable of converting heat into work by exclusively utilizing inter-system correlations. We formulate a resource theory for quantum heat engines to prove the results.


INTRODUCTION
Heat engines are the fundamental building blocks of modern technology. These were invented primarily to convert heat into mechanical work. To lay a theoretical framework and to uncover the laws governing the processes in the engines, the thermodynamics was empirically developed 1 . Later, it has been founded on statistical mechanics 2 assuming that the systems are large and composed of an asymptotically large number of particles (N → ∞) interacting with even larger baths, where the average fluctuation in energy approaches zero. This is termed usually as the asymptotic regime.
However, the situation changes completely for the systems of a finite, but moderate or even small number of quantum particles (N ≪ ∞) where the standard thermodynamics is not applicable. In such cases, from the very beginning, the fluctuations may play a much more important role. The situations may be classified in two regimes: many-shot finite-size regime, where repeated measurements (in time) are allowed on a system, is made up of moderate or a small number of particles, and one-shot finite-size regime, where only one-shot measurements are allowed on a system, composed of a single or a moderate number of particles. In the last decades, enormous efforts have been put forward to extend thermodynamics to these regimes, leading to two major approaches.
The first approach is based on fluctuation theorems, exploiting statistical mechanics and open quantum systems dynamics [3][4][5] . The other one is based on the quantum information theory [6][7][8][9][10][11][12][13][14][15][16][17][18][19] . Among others, the latter leads to a resource theory of quantum systems out of thermal equilibrium, which is commonly termed as the resource theory of quantum thermodynamics (RTQTh) 6,8,10 . The RTQTh stands out among the other approaches, as it exploits a rigorous mathematical framework similar to the resource theory of entanglement. Recently, the approaches based on fluctuation theory and resource theory have been interconnected for some cases [20][21][22] . All these investigations are majorly limited to the situations, where the quantum system is interacting with only one thermal bath at a fixed temperature. Apart from some efforts to quantify extractable work and engine efficiency in few special cases, and to study the finite-size effects and the quantum signatures [23][24][25][26][27][28][29][30][31][32] , there has been no major progress, so far, in formulating a resource theory for quantum heat engines.
One of the striking features is that the engines operating in the one-shot finite-size regime can only deliver fluctuating work 8,10 and the lesser the fluctuation lesser becomes the extractable deterministic or one-shot work. Further, a heat engine operating in this regime cannot in general achieve reversible transformation. As a consequence, it is not possible to attain the maximum allowed heat-to-work conversion efficiency (i.e., the Carnot efficiency) in a Carnot engine, unless the system interacting with the baths is made up of an asymptotically large number of particles where Carnot efficiency may at most be achieved on average.
In this work, we present quantum and nanoscale heat engines that attain the maximum possible heat-to-work conversion efficiency, i.e., the Carnot efficiency, in the one-shot finite-size regime. These engines are superior in work extraction efficiency compared to the traditional engines. To prove our results and to address quantum thermodynamics in the one-shot finite-size regime in general, we formulate a resource theory for quantum heat engines (see Supplementary Information) in which a system with few quantum particles interacts with two or multiple thermal baths. With the precise characterization of thermodynamic operations by introducing a first law for engines, we derive the second laws for quantum state transformation in presence two or multiple baths at different temperatures by using informationtheoretic tools. The newly introduced engine operations are more general in the sense that the system interacts with the baths simultaneously. We term these engine operations as "semi-local thermal operations" (SLTOs). The SLTOs not only enable us to build a Carnot heat engine operating with a one-step cycle but also enhances the work extraction efficiency in the one-shot finitesize regime-in this sense, the SLTOs are more powerful than the ones considered earlier. As revealed by this resource theoretic framework, the state transformations in the quantum engine are fundamentally irreversible and must obey many second laws. As an important result of this framework, we design a reversible engine transformation that attains the maximum possible efficiency for work extraction, i.e., the Carnot efficiency, there by demonstrating the supremacy of quantum heat engines.

RESULTS
A typical (Carnot) heat engine comprised two heat baths B 1 and B 2 with the inverse temperatures β 1 = 1/T 1 and β 2 = 1/T 2 , respectively, and a working system S, as shown in the Fig. 1. We assume β 1 < β 2 throughout this article. In our proposed quantum heat engine, we define a new engine operation where a working system (S 12 ) is composed of two non-interacting subsystems S 1 and S 2 . The Hamiltonian is H S12 ¼ H S1 þ H S2 H S1 I S2 þ I S1 H S2 . The Hamiltonians of the baths B 1 and B 2 are denoted as H B1 and H B2 respectively. The subsystems S 1 and S 2 semi-locally interact with the baths B 1 and B 2 , respectively. With this, the number of steps in the Carnot engine is reduced. For instance, consider that the subsystems S 1 and S 2 are in the states ρ and σ, respectively. Then the isothermal steps (C1) and (C3) can be combined to one step, as where the H S1 ¼ H and the H S2 ¼ H 0 . In this step, the subsystems swap their states without changing their Hamiltonian. Further, both the adiabatic steps (C2) and (C4) can be performed in one step as well, i.e., where the H 0 S1 ¼ H 0 and H 0 S2 ¼ H. Here, the subsystems swap their local Hamiltonians without modifying their states. In fact, the four steps in a Carnot heat engine can be further reduced to just one step (see Fig. 2), which enables one to attain maximum possible heat-to-work conversion efficiency, as we shall discuss later.

Semi-local thermal operations
Let us now introduce the general form of thermodynamically allowed (semi-local) operations that a (bipartite) quantum system S 12 undergoes in a quantum heat engine, where the bipartite system S 12 can be in an arbitrary state. Even, the states may possess strong correlation, e.g., quantum entanglement, shared by the subsystems S 1 and S 2 .
Definition 1. SLTOs. In a quantum heat engine, the thermodynamic operations on system S 12 in a state ρ S12 are defined as with the condition that the global unitary U satisfies the commutation relations where the thermal states of the baths are denoted by γ Bx ¼ e Àβ x H Bx Tr½e Àβ x H Bx for x = 1, 2. The resultant operations on the system S 12 are semi-local in the sense that, even though the subsystems (S 1 and S 2 ) "selectively" interact with the baths (B 1 and B 2 ), the unitary U still allows certain interactions among them with the constraints (2) and (3). It should be noted that the commutation relations (2) and (3) together constitute the first law for quantum heat engines. The relation (2) guarantees strict conservation of the total energy E 12 = E 1 + E 2 , where E 1 and E 2 are the energies of the B 1 S 1 and  Generalized one-step engine operation. Consider initial state and the non-interacting Hamiltonian of the working system are ρ S12 and H S12 ¼ H S1 þ H S2 , respectively. The sub-systems S 1 and S 2 semilocally interact with the baths B 1 and B 2 with inverse temperatures β 1 and β 2 , respectively, where β 1 < β 2 . The engine operates in a cycle by implementing the step ρ S12 ; H S12 À Á À! σ 0 S12 ; H 0 S12 , with the modified system Hamiltonian H 0 S12 ¼ H 0 S1 þ H 0 S2 , so that it satisfies the conditions σ 0 S12 ¼ U SWAP S1$S2 ρ S12 À Á ; H 0 S1 ¼ H S2 ; and H 0 S2 ¼ H S1 , where the unitary U SWAP S1$S2 performs a SWAP operation between sub-systems S 1 and S 2 . It is noteworthy that all four steps in the traditional Carnot engine (comprising the steps (C1)-(C4) in Fig. 1) can be performed in one stroke with ρ S12 ¼ ρ σ, which is just a special case of above general operation. B 2 S 2 composites, respectively. In addition, the relation (3) ensures strict conservation of the total weighted-energy E β 1 β 2 12 ¼ β 1 E 1 þ β 2 E 2 and it signifies that any change in (one-shot) entropy of B 1 S 1 , due to an exchange of energy between B 1 S 1 and B 2 S 2 , must be compensated by a counter change in (one-shot) entropy of B 2 S 2 . It is interesting to note that the SLTOs converge to the (local) thermal operations that are introduced in the resource theory of quantum states beyond thermal equilibrium presented in refs. 6,8,10 , when both the baths are of the same temperature, i.e., for β 1 = β 2 . Several useful properties of SLTOs possess are outlined in the "Methods." The SLTOs can be further generalized with an access to a bipartite catalyst C 12 composed of two non-interacting subsystems C 1 and C 2 and the Hamiltonian Similarly, the C 2 is clubbed with the S 2 to form S 2 C 2 . Then, the composites S 1 C 1 and S 2 C 2 interacts with the baths B 1 and B 2 via SLTOs. Such operations are called catalytic semi-local thermal operations (cSLTOs) that satisfy where ρ C12 is a state of the catalyst. Note, the catalyst remains unchanged before and after the process. These catalytic operations form a larger set of thermodynamically allowed operations compared to SLTOs and respect all the properties satisfied by the SLTOs. The cSLTOs are the allowed thermodynamic operation in a quantum heat engine and constitute the free operation for the resource theory developed to prove the results presented in this article (see Supplementary Information). When the subsystems are locally in thermal equilibrium with the baths they are semi-locally interacting with, the joint uncorrelated state of the system S 12 becomes γ S12 We term these states as the semi-Gibbs states. The set of all such semi-Gibbs states is denoted by the set T S12 3 γ S12 . The cSLTOs map the set T S12 onto itself. The cSLTOs and the semi-Gibbs states are the precursors of a resource theory of heat engines that we develop in the Supplementary Information.
Engine with one-step cycle, second laws, and work extraction The first important result of this work is that the cSLTOs can be utilized to implement the cycle in a Carnot engine in one step, as shown in Fig. 2. At the end of a cycle, the initial state of the system is returned. Such a one-step engine cycle involves the transformation ρ S12 ; H S12 À Á À! σ 0 S12 ; H 0 S12 : Here, the system Hamiltonian is modified to and satisfies the conditions swaps the subsystems S 1 and S 2 . The next cycle starts by interchanging the interactions between subsystems and baths. In other words, the first engine cycle starts with the (semi-local) interactions as B 1 S 1 − S 2 B 2 , where the subsystems S 1 and S 2 semi-locally interact with the baths B 1 and B 2 , respectively. In the next cycle, engine interchanges the interactions as B 1 S 2 − S 1 B 2 , where the subsystem S 1 and S 2 semi-locally interact with the baths B 2 and B 1 , respectively, via a cSLTO, and the cycles continue.
Here we restrict ourselves to the states ρ S12 , which are blockdiagonal in the energy eigenbases of the system Hamiltonian H S12 , i.e., ½ρ S12 ; H S12 ¼ 0. The cSLTOs are time-translation symmetric with respect to the time translation driven by H S12 , and that is why the cSLTOs monotonically decrease the superpositions between different energy eigenbases (see Appendix). For a heat engine operates in an arbitrarily large number of cycles, it is therefore safe to assume that an arbitrary state will dephase to its block-diagonal form after some cycles. Then, the second laws that provide the necessary and sufficient conditions for such transformations are given in the theorem below. This theorem is proven, even for more general transformation, in the Supplementary Information. Theorem 2. Second laws for engines. Under cSLTOs, the transformation in Eq. (5) is possible if, and only if, where the α-free entropy of ρ S12 (and similarly for σ 0 S12 ) is defined, with the thermal states Here, the Rényi α-relative entropy is given by The α-free entropies quantify the thermodynamic resource present in the system S 12 and it vanishes for the semi-Gibbs states. Therefore, any transformation among the block-diagonal states under the cSLTOs must respect the above monotonic relation for the α-free entropies for all α. It is noteworthy that the second laws leading to these monotonic relations can also be derived for more general state transformations as allowed by non-cyclic engine operations (see Supplementary Information). Apart from dictating state transformations, the Theorem 2 delimits the amount of thermodynamic resource, i.e., free entropy or work, can be extracted using a state transformation in an engine. It also quantifies the amount of the free entropy required to be expended to make a transformation possible. For this, a bipartite battery W 12 is introduced that stores work in the form of pure energy. It is attached with the system S 12 and then jointly evolved with cSLTOs, as shown in Fig. 3. Now the free-entropy distance is introduced in Theorem 3 to quantify the extractable free entropy or the free-entropy cost in the one-shot finite-size regime, in terms of the works that can be stored in a battery. This in turn also Fig. 3 Extraction of free entropy. A battery S W12 , with two sub-systems S W1 and S W2 and the non-interacting Hamiltonian H SW 12 ¼ H SW 1 þ H SW 2 is attached with the system S 12 to store free entropy (or work) once extracted. Without loss of generality, the battery subsystems are considered to be two-level systems with the Hamiltonians , and these are restricted to remain in the eigenstates of the Hamiltonians always. The S W1 is tagged with subsystem S 1 and similarly the S W2 is with S 2 . The initial battery state is chosen to be the zero-energy state ρ i The composites S 1 S W1 and S 2 S W2 interact with the baths B 1 and B 2 (at different inverse temperatures β 1 and β 2 ), respectively, through semi-local thermal operations, so that the overall transformation is ρ S12 ρ i SW 12 ; H S12 þ H SW 12 ! σ 0 S12 ρ f SW 12 ; H 0 S12 þ H SW 12 , where the final state of the battery is ρ f It is noteworthy that the battery Hamiltonian remains unchanged in the transformation. The values of W 1 and W 2 depend on the very cSLTO under which the transformation happens.
quantifies the maximum extractable deterministic work from a quantum engine or the minimum deterministic work required to execute a refrigeration process.
Theorem 3. Free-entropy distance in each engine cycle. For the transformation in Eq. (5) via a cSLTO, the free-entropy distance between the initial and final states of the system is given by We refer to the Supplementary Information for the proof. As per the second laws, if the initial state possesses larger free entropy than the final one, i.e., S α ρ S12 ; γ S1 γ S2 À Á ! S α σ 0 S12 ; γ 0 S1 γ 0 S2 for all α ≥ 0, the transformation can take place spontaneously under cSLTOs. This we term as the forward process. Then, the guaranteed one-shot extractable work from the process is where W 1 > 0 and W 2 . To perform the reverse transformation ðσ 0 S12 ; H 0 S12 Þ ! ðρ S12 ; H S12 Þ, as for a refrigeration process, the Theorem 3 constrains that the minimum one-shot free entropy to be supplied to ascertain the transformation is S d ðσ 0 12 ! ρ 12 Þ. It is important to note that the free-entropy distance of a forward process is not in general equal to its reverse process and S d ðρ 12 ! σ 0 12 Þ ÀS d ðσ 0 12 ! ρ 12 Þ, where the equality holds for a few special cases. Therefore, the thermodynamic reversibility is no longer respected in the one-shot finite-size regime.
The one-step engine cycle also enables an engine to operate exclusively utilizing inter-system correlations. This is the second important result of this work. Consider that the subsystem S 1 (and S 2 ) is made up of two parties M 1 and N 1 (and M 2 and N 2 ) with Hamiltonian H S1 ¼ H M1 þ H N1 (and H S2 ¼ H M2 þ H N2 ). We further assume H M1 ¼ H M2 and H N1 ¼ H N2 . The cycle starts with the state ρ S12 ¼ ρ σ, where the state ρ of S 1 has no correlation between M 1 and N 2 , i.e., ρ ¼ ρ M1 ρ N1 with ρ M1 ¼ Tr N1 ρ and ρ N1 ¼ Tr M1 ρ. However, the state σ of S 2 has non-vanishing correlation between M 2 and N 2 , i.e., σ ≠ σ M2 σ N2 with σ M2 ¼ Tr N2 σ and σ N2 ¼ Tr M2 σ. The one-step engine cycle that exclusively utilizes correlation is ρ S12 ; H S12 À Á ! σ S12 ; H S12 ð Þ , where σ S12 ¼ σ ρ. Then, in each cycle, the extractable free-entropy distance is S d ðρ S12 ! σ S12 Þ ¼ β 1 W c 1 þ β 2 W c 2 , and the extractable work is W c ext ¼ W c 1 þ W c 2 . It is known that the inter-system correlation can store thermodynamic work potential and can lead to "anomalous" heat flow -a spontaneous heat transfer from a cooler to a warmer body 14 . However, the studies were restricted to the asymptotic regime. Now, we are able to characterize such thermodynamic potential and its role in anomalous heat flow in the one-shot finite-size regime. For instance, consider a system state ρ S12 , which has non-vanishing correlation shared by the subsystems S 1 and S 2 , i.e., ρ S12 ≠ ρ S1 ρ S2 , where ρ S1 ¼ Tr S2 ½ρ S12 and ρ S2 ¼ Tr S1 ½ρ S12 . Then, a (non-cyclic) state transformation ρ S12 ; H S12 À Á ! ρ S1 ρ S2 ; H S12 À Á leads to the free-entropy distance S d ðρ S12 ! ρ S1 ρ S2 Þ ¼ β 1 W 1 þ β 2 W 2 and the extractable work W ext = W 1 + W 2 . In fact, this work is responsible for the anomalous heat from or, equivalently, the refrigeration process.

Attaining Carnot efficiency
The state transformations in the one-shot finite-size regime are very restrictive as these need to obey many second laws simultaneously. Moreover, thermodynamics is irreversible in general. This raises the question if there can be a heat engine that attains the maximum possible heat-to-work conversion efficiency (i.e., the Carnot efficiency) in the one-shot finite-size regime. Here we give an affirmative answer to this question that also vindicates the superiority of the quantum heat engines operating in the one-step cycle using SLTOs. The Carnot efficiency of a work extraction process is attained when the transformations occurring in an engine are reversible. In the one-shot finite-size regime, such a reversible engine transformation can be achieved if we consider initial and final states of the (working) system to be the energy eigenstates of the Hamiltonian.
Let us present one such engine transformation that attains maximum possible heat-to-work conversion efficiency, i.e., the Carnot efficiency. Without loss of generality, we consider a twoqubit (working) system S 12 with the Hamiltonian H S12 ¼ H S1 þ H S2 . The subsystem Hamiltonians are given by H S1 ¼ a 1 j i 1 h j S1 and H S2 ¼ a 1 j i 1 h j S2 . The engine undergoes a one-step cycle following the transformation ðρ S12 ; H S12 Þ ! ðσ S12 ; H S12 Þ using SLTO, where the initial and final states, respectively, are The Hamiltonians of the subsystems S 1 and S 2 do not change under this transformation. The transformation is reversible because α-free entropies for such pure states are α independent. As a consequence, free-entropy distances satisfy S d ðρ S12 ! σ S12 Þ ¼ S d ðρ S12 σ S12 Þ, where The net extracted work in each engine cycle is given by To understand the conversion of heat into work and how it attains the Carnot efficiency, let us explore the state transformation in the engine considering baths-system-battery composite all together. As the system battery S 12 S W12 is in a block-diagonal state, the initial state of baths-system-battery composite can be expressed in the block-diagonal form as

E1þE2
is the part of the global state that resides in the total energy block E 1 + E 2 . Here E 1 ¼ E S1 þ E B1 is the sum of energies belonging to S 1 and B 1 , and similarly for E 2 ¼ E S2 þ E B2 . A global unitary U is applied jointly on the composite conserves total energy and the total weighted-energy of the baths-system composite due to the constraints (2) and (3), and has the block-diagonal structure, given by U¼ L E1þE2 U E1þE2 (see Supplementary Information). The unitary U E1þE2 applies to the total energy block E 1 + E 2 and is allowed transfer populations within the block so that total weighted-energy β 1 E 1 + β 2 E 2 is strictly conserved. In the block of total energy E 1 + E 2 , the transformation becomes is the final battery state, and Tr B1B2 σ B1B2S12 ¼ σ S12 . Here, the bipartite battery Hamiltonian is . Now the conservation of the total weighted-energy and the total energy ensure that where The Eqs. (12) and (13), along with Eq. (11), lead to where we have identified the heat as the change in energy of the bath B 1 given by bath B 2 . The Eq. (14) represents the Clausius equality for the cyclic process. The Eq. (15) quantifies the extracted work in each one-step cycle. The other total energy blocks will result in identical Clausius equality and the same amount of extracted work. Therefore, the efficiency for the heat-to-work conversion is now reduced to which is exactly the Carnot efficiency. As a result, the Carnot's efficiency can be attained for an engine operating in the one-shot finite-size regime. A refrigerator can also be constructed just by reversing engine cycle, i.e., ðσ S12 ; H S12 Þ ! ðρ S12 ; H S12 Þ, and that achieves maximum possible coefficient of performance in the oneshot finite-size regime. The example for the two-qubit system we have considered above can automatically be generalized to arbitrary dimensional (working) systems where the subsystems are also allowed to update their Hamiltonians. The only requirement to attain the Carnot efficiency is that the initial and final states of the system have to be in the eigenstates of the initial and final Hamiltonians.

DISCUSSION
In this work, we have designed a heat engine that attains Carnot efficiency in the one-shot finite-size regime. These engines are superior in work extraction compared with the other engines so far considered in the literature. To prove our result, we have developed a resource theory of quantum heat engines to systematically study thermodynamics in the presence of two or more baths in the finitesize one-shot regime (see Supplementary Information). We stress that the earlier works focus on how the a-thermal (or out-of-equilibrium) properties of a system transform into thermodynamic work and do not consider the conversion of heat into work. For such considerations, one thermal bath is sufficient. On the contrary, the resource theory developed for quantum heat engines, with two or more thermal baths, is the only framework to systematically address how and to what extent the heat can be converted into work in the quantum heat engines operating in the one-shot finite-size regime. We have proceeded with the precise characterizations of thermodynamic operations, i.e., the SLTOs, by introducing the first law for engines, where the system simultaneously interacts with both the baths. In addition to strict total energy conservation, the first law also ensures a strict weighted-energy conservation. Then, we have defined semi-Gibbs states as resource-free states and free entropies as the measure of thermodynamic resource applicable in the oneshot finite-size regime. With this, we have formulated the second laws for state transformations in a quantum engine. Our formulation reveals that the state transformations in a quantum engine are irreversible, in general, and are dictated by many second laws (see Supplementary Information). In addition, the framework enables us to design a Carnot heat engine operating with a one-step cycle that can enhance work extraction efficiency in the one-shot finite-size regime (see "Methods"). Most importantly, we have presented the reversible engine operations that result in the maximum possible heat-to-work conversion efficiency, i.e., the Carnot efficiency, in the one-shot finite-size regime.
Although the framework for resource theory of heat engines is mathematically rigorous and clean in the theoretical sense, the SLTOs are difficult to implement in experiments. It is noteworthy that there have been various proposals exploring possible physical realizations of (local) thermal operations in the presence of a single bath, see for example [33][34][35] . Following a similar track, it can also be possible to implement SLTOs. In particular, the proposed engine operation that results in higher efficiency in the conversion of heat into work can be implemented without much difficulties.
This will certainly open up the possibility to experimentally realize quantum heat engines operating in a one-step cycle with higher one-shot efficiencies in the finite-size regime, even a possibility of attaining Carnot efficiency.
In summary, our work achieves: • An engine with a one-step cycle leading to higher heat-to-work conversion efficiency, even attaining Carnot efficiency in the one-shot finite-size regime for the first time. The results in turn demonstrate the superiority of the proposed engines over other engines operating in the one-shot finite-size regime.
• A quantum heat engine that converts heat into work by exclusively utilizing inter-system correlations.
• A fundamental gain, i.e., a concrete mathematical framework leading to a resource theory and a novel theoretical understanding of quantum and nanoscale heat engine, and, in particular, the conversion of heat into work in quantum heat engines operating in the one-shot finite-size regime and the role of inter-system correlations in such processes.
• Possibilities of new experimental avenues for quantum heat engines that attain higher or even Carnot efficiency in the oneshot finite-size regime.

Characterization of the SLTOs
The SLTOs, introduced in the Definition 1, possess several important properties. We outline them below.
(P1) For an arbitrary initial semi-Gibbs state γ S12 2 T S12 , the SLTOs satisfy Λ S12 γ S12 À Á 2 T S12 . Therefore, the SLTOs map semi-Gibbs states onto itself. This is a consequence of the very definition of operation in Definition 1, in particular the constraint (3). If the local states of the subsystems S 1 and S 2 are in thermal equilibrium, the SLTOs cannot bring them away from their local equilibrium, despite the fact that the SLTOs are semi-local in nature and allow an exchange of energy among the subsystems. This happens despite the fact that the operation is global in nature and justifies the semi-local character of the SLTOs. Therefore, under the SLTOs, the semi-Gibbs states represent the fixed points. This is one of the required properties the allowed operations should possess to formulate a resource theory.
(P2) Action of an operation that satisfies Λ S12 γ S12 À Á 2 T S12 , on a system state ρ S12 can be simulated by an SLTO, given that ½ρ S12 ; H S12 ¼ 0. A detailed proof is given in the Supplementary Information. It is noteworthy that these operations are termed as the semi-Gibbs preserving operations and form a larger set of operation than that of the SLTOs.
(P3) The SLTOs can implement the changes in the system Hamiltonians. For instance, an initial non-interacting Hamiltonian of S 12 can be updated to a new one, as H S12 ¼ H S1 þ H S2 ! H 0 S12 ¼ H 0 S1 þ H 0 S2 , with the help of clocks (see Supplementary Information). These operations are nothing but the (semi-local) adiabatic transformations in a typical heat engine.
(P4) It is interesting to note that the SLTOs, as well as the cSLTOs, are time-translation symmetric operations with respect to the time evolution generated by the Hamiltonian H S12 ¼ H S1 þ H S2 . In other words, if there is a time translation of the system driven by unitary VðtÞ ¼ e ÀitHS 12 =_ for any given time t, then VðtÞ Λ S12 ðρ S12 Þ Â Ã V y ðtÞ ¼ Λ S12 VðtÞðρ S12 ÞV y ðtÞ Â Ã ; i.e., the order of the time-translation operations and the SLTO commute. Because of this symmetric property, the SLTOs monotonically decrease the superpositions between different eigenbases of H S12 or, in other words, among the energy eigenbases. It is worth noting that the SLTOs are also time-translation symmetric with respect to the system's weighted Hamiltonian H β 1 β 2 S12 ¼ β 1 H S1 þ β 2 H S2 , as ½H β 1 β 2 S12 ; H S12 ¼ 0. Equation (17) further implies that the SLTOs commute with the dephasing operations in the eigenbases of the Hamiltonian of the system H S12 ¼ Λ S12 P S12 ðρ S12 Þ ¼ P S12 Λ S12 ðρ S12 Þ; where P S12 ðρ S12 Þ ¼ P ij ijjρ S12 jij ij j i ij h j is the dephasing operation. Also the dephasing operation can be achieved by time-averaging time-translated state for a long enough time T, P S12 ðρ S12 Þ ¼ 1 T VðtÞ ðρ S12 Þ VðtÞdt: M.L. Bera et al.
Equation (18) signifies that the diagonal elements in the eigenbases of H S12 , i.e., P S12 ðρ S12 Þ, evolve independently of the off-diagonal elements. Further, the amount of asymmetry present in a state due to the superposition between different energy eigenbases monotonically decreases under the SLTOs. We use these properties to understand the free-entropy locking in superpositions and to add more conditions to supplement the second laws for state transformations (see Supplementary Information).

More extractable work using cSLTOs
Here we show how the semi-local character in the cSLTOs can lead to a higher amount of extractable work compared to the engine that operates using (local) thermal operations. Consider that the working system is initially in an uncorrelated state ρ S12 ¼ ρ σ in an engine. Then the one-step engine transformation, given in Eq. (5), reduces to ðρ σ; H S12 Þ ! ðσ ρ; H 0 S12 Þ: (20) In this transformation, there are two sub-transformations happening simultaneously via a cSLTO: (i) forward sub-transformation, ðρ; H S1 Þ ! ðσ; H S2 Þ, in presence of the bath B 1 at inverse temperature β 1 , and (ii) the reverse sub-transformation ðσ; H S2 Þ ! ðρ; H S1 Þ while interacting with bath B 2 at inverse temperature β 2 .
The second laws, considering the sub-transformations (i) and (ii) simultaneously occur via a cSLTO, imply where the W ðαÞ x quantifies the change in α-work due to the transformation in the presence of the bath at inverse temperature β x . In terms of the α-free energies 10 , we express these α-works as 2 > 0; 8α ! 0. Let us now show that the one-shot efficiency of the Carnot engine operating via cSLTOs is larger, in general, compared to the case considered in Fig. 1, where the system locally interacts with individual baths at a time. Suppose that the system locally interacts with the baths using local thermal operations 6,8,10 and undergoes two sub-transformations (i) and (ii) in separate steps to complete the Carnot cycle, as discussed earlier. For these sub-transformations (i) and (ii), the one-shot extractable work and the work cost under local thermal operations, respectively, are The net one-shot extracted work using local thermal operations is W ext ¼ W 1 þ W 2 , where W 1 ! 0 and W 2 0. It is easy to check that W ext ! W ext which is satisfied for arbitrary engine cycle in general.

DATA AVAILABILITY
Data sharing not applicable to this article, as no datasets were generated or analyzed during the current study.