---
title: Resource Theory of Engines
url: https://www.emergentmind.com/topics/resource-theory-of-engines
type: topic
---

# Resource Theory of Engines

Resource Theory of Engines denotes a class of resource-theoretic frameworks in which engine operation is formulated through constrained state transformations, specified free states and free operations, and monotones that quantify work, heat, advantage, or other operational gains. In the quantum setting, these frameworks extend single-bath resource theories of athermality to two-bath and multi-constraint settings; in broader thermodynamic settings, they also encompass finite-state information ratchets that exploit temporal correlations and microscopic devices driven by structured nonequilibrium noise. Across these variants, the central question is not only which state transitions are possible, but which cyclic transformations can be implemented, at what work yield, with what efficiency, and under which finite-size, catalytic, or memory constraints [1111.3882] [2304.09559] [1911.07003] [1606.08506] [2507.05699].

## 1. Conceptual foundations and scope

A standard point of departure is the resource theory of states out of thermal equilibrium. For a system with Hamiltonian \(H\) at inverse temperature \(\beta\), the Gibbs state \(\gamma=e^{-\beta H}/Z\) is free, thermal operations are free, and any state \(\rho\neq\gamma\) is a resource. In that setting, relative entropy to the Gibbs state yields the familiar nonequilibrium free energy, and asymptotic work extraction is quantified by \(\Delta F(\rho)=k_B T D(\rho\|\gamma)\) [1111.3882]. The chapter on thermal operations and second laws refines this picture by emphasizing that thermodynamic state conversion is governed not only by a single free-energy inequality, but by a family of generalized free energies \(F_\alpha\), which collapse to the ordinary free energy in the i.i.d. limit [1805.09564].

Resource engines generalize this single-constraint picture by fusing two resource theories. In the formulation of resource engines, a finite-dimensional system is passed back and forth between two agents, Alice and Bob, each with their own free states and free operations. The implementable operations are the alternating compositions generated by \(\mathcal O_A\cup\mathcal O_B\), and the free states of the fused theory are the convex hull of states reachable from \(F_A\cup F_B\) under such engine cycles. Thermodynamic two-bath engines arise as the special case in which Alice and Bob possess thermal operations at two different temperatures [2304.09559].

Czartowski and Bistroń formalize this synthesis as an engine theory \(\mathfrak E(\mathcal R_1,\mathcal R_2)\), where \(\mathcal R_i=(\mathcal F_i,\mathcal O_i,\mathcal M_i)\), the free-state set \(\mathfrak F\) is convex and contains \(\mathcal F_1\cup\mathcal F_2\), and the free-operation set \(\mathfrak O\) is convex, composition-closed, and contains \(\mathcal O_1\cup\mathcal O_2\). One admissible choice is
\[
\mathfrak O=\overline{\mathrm{conv}\Bigl\{\hat O_k\circ\hat O_{k-1}\circ\cdots\circ\hat O_1\ \Big|\ \hat O_j\in\mathcal O_1\cup\mathcal O_2,\ k\in\mathbb N\Bigr\}},
\]
with free states obtained as mixtures of images of \(\mathcal F_1\cup\mathcal F_2\) under \(\mathfrak O\) [2507.05699].

The scope of the framework is not restricted to thermal resource theories. In the coherence-engine example, Alice’s free operations are the diagonal unitaries \(\mathcal D\mathcal U_d\) in one basis and Bob’s are \(U^\dagger\mathcal D\mathcal U_d U\) in another basis. Under the support-matrix conditions labeled \((\mathrm H1)\) and \((\mathrm H2)\), the generated subgroup is all of \(U(d)\), so the engine becomes universal for unitary synthesis. The same analysis yields explicit stroke bounds, including the lower bound
\[
N\ge \frac{2\log(d-1)}{\log((d-2)c_U+1)}
\]
and, for even \(d\), the upper bound
\[
N\le 6d\,(N_F+1)+1 .
\]
This establishes that the engine picture is a general mechanism for fusing constraints, rather than a thermal construction alone [2304.09559].

## 2. Free states and free operations

For thermal operations at fixed inverse temperature \(\beta\), the free states are Gibbs states
\[
\tau_X^\beta=\frac{e^{-\beta H_X}}{Z_X^\beta},\qquad Z_X^\beta=\mathrm{Tr}[e^{-\beta H_X}],
\]
and the free operations are channels of the form
\[
\mathcal E_{\rm TO}(\rho_S)=\mathrm{Tr}_R\!\Bigl[U\bigl(\rho_S\otimes\tau_R^\beta\bigr)U^\dagger\Bigr],
\]
where the ancillary system \(R\) is thermal and the unitary conserves total energy. On energy-incoherent states, this reduces to a Gibbs-preserving stochastic map. This TO structure is the basic free-operation set for the single-bath resource theory of athermality [1805.09564].

Two-bath engine theories require a broader free-operation set. In the semilocal thermal operations framework, a bipartite system \(AB\) interacts with local baths at \(\beta_A\) and \(\beta_B\), and the global unitary must satisfy both ordinary energy conservation and conservation of the weighted energy \(\beta_A(H_A+H_{B_A})+\beta_B(H_B+H_{B_B})\). On diagonal states, the criterion becomes thermo-majorization relative to \(\gamma^A\otimes\gamma^B\). Local thermal operations with classical communication enlarge this further by allowing rounds of local thermal operations, measurements, classical messages, and conditional local actions; in the diagonal setting, a two-round parallel stroke is represented by a four-index Gibbs-preserving tensor decomposition [1911.07003] [2507.05699].

The corresponding free states depend on the engine model. In the one-shot two-bath theory based on semilocal thermal operations, the free states are semi-Gibbs states \(\gamma_{S_1}\otimes\gamma_{S_2}\) at the two bath temperatures [1911.07003]. In the abstract engine framework, a natural free-state set for a cold–hot engine is
\[
\mathfrak F=\mathrm{conv}\Bigl\{\hat O\,f\ \Big|\ \hat O\in\mathfrak O,\ f\in\mathcal F_{\rm cold}\cup\mathcal F_{\rm hot}\Bigr\},
\]
and in the two-qubit case the exact characterization of \(\mathfrak F\) is sufficiently difficult that analytic inner approximations are introduced in the form of tree-states, obtained by repeated extremal two-level thermal protocols along a spanning tree of the joint energy graph [2507.05699].

A distinct line of work removes background temperature altogether. In that resource theory, no states are free. The only free operations are energy-preserving unitaries on many copies, optionally assisted by an ancilla of sublinear size and sublinear Hamiltonian spectrum. This places work and heat on equal footing and shifts the theory from a Gibbs-preserving paradigm to a purely kinematic classification by entropy and average energy [1607.01302].

## 3. Monotones, second laws, and state-conversion criteria

In the single-bath theory of athermality, relative entropy to the Gibbs state is monotonic under thermal operations:
\[
D(\rho\|\gamma)\ge D(\mathcal E(\rho)\|\gamma).
\]
Using
\[
D(\rho\|\gamma)=\beta[F(\rho)-F(\gamma)],
\]
the monotone becomes the nonequilibrium free energy
\[
F(\rho)=\mathrm{Tr}(H\rho)-k_B T\,S(\rho),
\qquad
\Delta F(\rho)=F(\rho)-F(\gamma)=k_B T\,D(\rho\|\gamma).
\]
Asymptotically, the maximal average work extractable per copy tends to \(\Delta F(\rho)\), and the reversible interconversion rate between resource states is
\[
R(\rho\to\sigma)=\frac{D(\rho\|\gamma)}{D(\sigma\|\gamma)}
=\frac{F(\rho)-F(\gamma)}{F(\sigma)-F(\gamma)}.
\]
The construction requires a sublinear amount of coherent superposition over energy levels for reversible formation [1111.3882].

Thermal operations also admit a full family of second-law constraints. For block-diagonal states, the generalized free energies are
\[
F_\alpha(\rho_S,H_S)=\beta^{-1}\Bigl[\ln Z_S^\beta+D_\alpha(\rho_S\|\tau_S^\beta)\Bigr].
\]
A transition \(\rho_S\to\rho_S'\) is possible by thermal operations, even with an uncorrelated catalyst, iff
\[
F_\alpha(\rho_S,H_S)\ge F_\alpha(\rho_S',H_S)\qquad \text{for all }\alpha\in(-\infty,\infty).
\]
In the many-copy limit, after smoothing and taking \(n\to\infty\), all \(F_\alpha^\varepsilon\) converge per copy to the ordinary free energy \(F_1\), recovering the standard thermodynamic second law as the sole nontrivial constraint in the i.i.d. regime [1805.09564].

For engines coupled to two baths, the monotone structure becomes explicitly multi-temperature. Under catalytic semilocal thermal operations, the allowed transformations are characterized by the non-increase of the \(\alpha\)-free entropies
\[
S_\alpha(\rho_{S_1S_2}\|\gamma_{S_1}\otimes\gamma_{S_2})
=
D_\alpha(\rho_{S_1S_2}\|\gamma_{S_1}\otimes\gamma_{S_2})-\log(Z_1Z_2),
\]
for all \(\alpha\ge 0\). These are equivalent to one-shot free energies \(F_\alpha\), and the stated theorem is necessary and sufficient for arbitrary state and Hamiltonian changes in the block-diagonal regime [1911.07003].

Without a background temperature, asymptotic equivalence is instead governed by the pair \((E,S)\). Two many-copy states are asymptotically interconvertible by energy-preserving unitaries iff they have the same average energy and von Neumann entropy. The set
\[
\mathcal D=\{(E(\rho),S(\rho))\}
\]
is a closed convex region in the energy–entropy plane, bounded below by \(x_S=0\) and above by the thermal curve \(\beta\mapsto(E(\tau_\beta),S(\tau_\beta))\). Equivalently,
\[
x_S\ge 0,\qquad A_\beta(x):=\beta x_E-x_S+\log Z_\beta\ge 0\quad \forall\beta,
\]
with \(A_\beta(x(\rho))=D(\rho\|\tau_\beta)\) interpreted as \(\beta\)-athermality. If discarding of unentangled subsystems is allowed, the preorder is determined by entropy together with all \(A_\beta\) monotones [1607.01302].

In the alternating two-stroke thermal-engine model, monotones can also be genuinely engine-specific. For an incoherent initial state \(p\), every achievable \(q\) satisfies
\[
q_d\le M(p):=\max\{p_d,\Gamma_d/\Gamma_{d-1}\},
\]
where \(\Gamma\) is the hot-bath Gibbs state. This gives an explicit upper-bound monotone for the fused theory. A matching lower-bound construction is obtained from the points \(f^b\), and in the infinite-temperature limit \(\beta\to 0\) the achievable set becomes the full probability simplex [2304.09559].

## 4. Work, heat, advantage, and efficiency

In the microscopic heat-engine model built from thermal operations, a cycle acts on a hot bath \(\tau_H\), a cold bath \(\tau_C^0\), a catalytic machine \(\omega_M\), and a battery with levels \(\ket{0}\) and \(\ket{W}\). Work extraction corresponds to lifting the battery from \(\ket{0}\) to \(\ket{W}\), with efficiency
\[
\eta=\frac{W}{Q_H}=\frac{W}{\Delta H_C}.
\]
Because the full transformation is a thermal operation, the generalized free-energy constraints must hold jointly for the cold bath and battery. The resulting nanoscale efficiency bound is
\[
\eta_{\rm nano}
=
\sup_{W>0}\frac{W}{\Delta H_C}
\quad\text{s.t.}\quad
F_\alpha(\tau_C^0)+F_\alpha(\ket{0})
\ge
F_\alpha(\rho_C^1)+F_\alpha(\ket{W}),
\ \forall \alpha\ge 0.
\]
For a finite cold bath consisting of \(n\) qubits, the quasi-static near-perfect-work efficiency is
\[
\eta_{\rm nano}
=
\begin{cases}
1-\beta_H/\beta_C, & \Omega\le 1,\\[1ex]
\left[1+\dfrac{\beta_H}{\beta_C-\beta_H}\Omega\right]^{-1}, & \Omega>1,
\end{cases}
\]
showing that Carnot efficiency can be attained for \(\Omega\le 1\) and is strictly unattainable for \(\Omega>1\) [1805.09564].

The semilocal two-bath theory gives a one-shot formulation of engine work. A one-step cycle may swap the two subsystems and, optionally, their Hamiltonians:
\[
(\rho,H_1\otimes I+I\otimes H_2)
\longrightarrow
(U^{\rm SWAP}\rho\,U^{\rm SWAP},\,H_2\otimes I+I\otimes H_1).
\]
The deterministic work in one cycle is governed by the free-entropy distance
\[
S_d(\rho\to\sigma)=\inf_{\alpha\ge 0}[S_\alpha(\rho)-S_\alpha(\sigma)]
=\beta_1 W_1+\beta_2 W_2\ge 0.
\]
For equality-saturating reversible choices of input and output energy eigenstates,
\[
\beta_1Q_1+\beta_2Q_2=0,\qquad W_{\rm ext}=Q_1+Q_2,
\]
and hence
\[
\eta=\frac{W_{\rm ext}}{Q_1}=1-\frac{\beta_1}{\beta_2}=\eta_{\rm Carnot}.
\]
The same framework also allows work extraction exclusively from inter-system correlations [1911.07003].

In the no-background-temperature theory, work and heat are both read off from additive monotones on the energy–entropy diagram. If \(\beta_{\rm eff}(\beta_1,\beta_2)\) is the effective inverse temperature associated with two finite reservoirs, then
\[
W_{\beta_1,\beta_2}(\rho\to\sigma)
=
\beta_{\rm eff}^{-1}\bigl[A_{\beta_{\rm eff}}(\rho)-A_{\beta_{\rm eff}}(\sigma)\bigr],
\]
and
\[
Q_{\beta_1,\beta_2}(\rho\to\sigma)
=
\beta_{\rm eff}^{-1}\bigl[S(\sigma)-S(\rho)\bigr].
\]
For finite reservoir changes, the engine efficiency is
\[
\eta_{\rm engine}
=
1-
\frac{\beta_{\rm eff}(\beta_{\rm hot},\beta_{\rm hot}')}
{\beta_{\rm eff}(\beta_{\rm cold},\beta_{\rm cold}')},
\]
which is strictly below Carnot, while the large-reservoir limit recovers the Carnot value [1607.01302].

The abstract engine-theory formalism also introduces task-based performance measures. Given a benefit function \(\mathcal B(\rho)\), the relative advantage and free-state-referenced advantage are
\[
\mathfrak A_r(\rho;\mathcal B)=
\max_{\hat O\in\mathfrak O}
\frac{\mathcal B(\hat O\rho)-\mathcal B(\rho)}{\mathcal B(\rho)},
\qquad
\mathfrak A_f(\rho;\mathcal B)=
\max_{\hat O\in\mathfrak O}
\min_{f\in\mathcal F_{\rm other}}
\frac{\mathcal B(\hat O\rho)-\mathcal B(f)}{\mathcal B(f)}.
\]
From these, engine efficiency is defined by
\[
\eta(\rho)=
\max_{i=1,2}
\frac{\mathfrak A_f(\rho;\mathcal M_i)}
{\max_{f\in\mathfrak F}\mathfrak A_f(f;\mathcal M_i)}
-1.
\]
For semilocal thermal-operation engines, a faithful monotone is
\[
\mathcal M_0(\mathbf p)=\max\{p_{dd}-e^{-\beta_h\Delta E},\,0\},
\qquad \Delta E=E_d-E_{d-1},
\]
with the lemma \(p_{dd}^{\rm out}\le \max\{p_{dd}^{\rm in},e^{-\beta_h\Delta E}\}\) under any SLTO-engine stroke [2507.05699].

## 5. Correlations, memory, and self-correcting information engines

The resource-theoretic engine perspective is not limited to quantum heat engines. Boyd, Mandal, and Crutchfield analyze a finite-state information engine, or ratchet, that interacts sequentially with an input tape. The ratchet has internal state \(X\in\mathcal X\), input symbols \(Y_n\in\mathcal Y\), output symbols \(Y_n'\in\mathcal Y\), and detailed-balanced transition kernel
\[
M_{x\otimes y\to x'\otimes y'}
=
\Pr(X_{n+1}=x',Y_n'=y' \mid X_n=x,Y_n=y).
\]
In the stationary long-time limit, the average work per symbol is
\[
\langle W\rangle
=
\sum_{x,y}\sum_{x',y'}
\pi_{x\otimes y}\,
M_{x\otimes y\to x'\otimes y'}\,
\Delta E_{x\otimes y\to x'\otimes y'},
\]
where
\[
\pi_{x\otimes y}=\lim_{n\to\infty}\Pr(X_n=x,Y_n=y).
\]
A key structural result is that if the ratchet has only one internal state, then \(\langle W\rangle\) depends only on the single-symbol distribution of the input; temporal correlations beyond alphabet bias are invisible. Hence any engine that leverages temporal correlations must have internal memory, at least two states [1606.08506].

The explicit example is a three-state ratchet \(\mathcal X=\{A,B,C\}\) driven by an unbiased, perfectly correlated period-2 input. Because there is no single-bit bias, a memoryless engine cannot extract work and \(\Delta H_1=0\). The three-state design splits into two dynamical modes: a counterclockwise dissipative mode on \(\{A\otimes 0,B\otimes 1\}\) with net work \(-k_B T\) per bit, and a clockwise generative mode on \(\{A\otimes 1,B\otimes 0\}\) with net work \(+k_B T/e\) per bit. By allowing transitions through the synchronizing state \(C\), the clockwise mode becomes the unique attractor. In that asymptotic regime,
\[
\langle W\rangle=\frac{k_B T}{e}(1-\delta),\qquad \Delta H_1=0,\qquad
\Delta h_\mu=H\!\Bigl(\frac{1-\delta}{e}\Bigr)>0,
\]
so the engine is powered solely by an increase in entropy rate rather than by single-symbol bias [1606.08506].

The same construction yields an autonomous self-correction mechanism. If the period-2 input is corrupted by phase slips with probability \(c\), then for optimal \(\gamma=1\),
\[
\langle W\rangle(\delta,c)
=
k_B T\,
\frac{(1-\delta)\,[\delta+c-(2\delta+e)c]}
{2ec+e\delta(1-c)}.
\]
The zero-work curve is
\[
\delta^*(c)=\frac{(e-1)c}{1-2c},
\qquad
c^*=\frac{1}{1+e},
\]
and \(c^*=1/(1+e)\) is the critical corruption level above which no choice of \(\delta\) yields positive work. The thermodynamic-function phase diagram contains engine, eraser, and dud regions. The physical interpretation is explicitly nonergodic: the dissipative and generative phases are disconnected attractors, while the transient bridge \(C\) breaks the nonergodicity just enough to synchronize the ratchet to the correct phase. This is presented as a nonergodicity-based thermodynamic mechanism for autonomous error correction [1606.08506].

## 6. Catalysis, trade-offs, and constructive protocols

Constructive control of engine performance often proceeds through catalytic or combinatorial protocols. In the thermal engine framework of Czartowski and Bistroń, tree-states provide analytic inner approximations to the set of free states. A spanning tree on the \(d^2\) joint energy levels selects \(d^2-1\) two-level couplings, and repeated application of extremal two-level thermal protocols fixes edge-population ratios to the corresponding cold–hot endpoints. In the two-qubit case, this yields closed-form lower bounds on attainable ground- and excited-state populations. The same framework also proves a catalytic advantage: with a two-qubit catalyst prepared in its local ground state, any diagonal joint state can be reached in the infinite-stroke limit, so all states are free in the SLTO-catalytic engine [2507.05699].

A different resource-theoretic construction appears in the analysis of reversible computers sharing resources. There the relevant currency is the computational bias
\[
b:=\frac{[\oplus]-[\ominus]}{[\oplus]+[\ominus]},
\qquad
\frac{p}{q}=\frac{1+b}{1-b},
\qquad
\Delta h:=\log(p/q)=2\,\mathrm{arctanh}(b),
\]
where \(\oplus\) and \(\ominus\) are bias species that earn or pay one unit of free energy. For a reaction of affinity \(\Delta h\), attaching \(n\) bias-mediating transitions requires
\[
n>\frac{|\Delta h|}{2\,\mathrm{arctanh}\,b}
\]
to overcome the unfavorable direction. EP-III then constructs a sequestration-klona bank \(X_k^{(n)}\) that dynamically allocates the required bias to an arbitrary reaction of unknown cost \(\Delta h\), automatically adapting when the favorable direction changes. The overhead is quantitatively controlled: the sequestration-bank concentration is suppressed by \(\sim\sqrt{\pi b}\) when \(\Delta h=0\), giving overhead \(\sim b^{-1/2}\), and by \(O(2b)\) far from equilibrium, giving overhead \(\sim b^{-1}\). Since a raw mona transition already runs at \(O(b\lambda)\), the net time-penalty becomes \(b^{-3/2}\) in the best case and \(b^{-2}\) in the worst case. The resulting three-way frontier is among raw reversible-computation rate, free-energy cost per operation, and interaction overhead [2012.05655].

These constructions make explicit a recurrent theme of engine resource theories: catalytic flexibility is operationally powerful, but it typically introduces concentration, rate, or control overheads. This suggests that “free” cyclic composability and “cheap” asymptotic reversibility need not coincide once metrological precision, resource sharing, or unknown reaction costs are included.

## 7. Generalized thermodynamic resources

Recent work broadens the notion of an engine resource beyond temperature difference or athermality. In the nonlinear Landauer–Büttiker framework with Haldane–Wu exclusion statistics, the working medium is characterized by an exclusion parameter \(0\le g\le 1\). For optimal step-function transmission, the maximum power has the universal form
\[
P_g^{\max}=\xi(g)\,\frac{k_B^2(T_L-T_R)^2}{h},
\]
with
\[
\xi(1)=0.0321\,\pi^2,\qquad \xi(0)=(\ln 2)^2.
\]
Accordingly,
\[
P_{\rm fermion}^{\max}\simeq 0.0321\,\pi^2\,\frac{k_B^2(T_L-T_R)^2}{h},
\qquad
P_{\rm boson}^{\max}=(\ln 2)^2\,\frac{k_B^2(T_L-T_R)^2}{h},
\]
and the bosonic bound exceeds the fermionic one by a factor of approximately \(1.52\). The derivative \(d\xi/dg<0\) shows strict monotonic decrease of the power bound with increasing exclusion parameter. In the resource-theoretic interpretation, free operations are those that engineer the transmission function without changing \(g\), while monotones include \(P_g^{\max}\), the optimal bias cost \(\Delta\mu_{\rm opt}(g)\), and efficiency-at-fixed-power curves. A concrete realization is magnon transport through a ferromagnetic spin chain, where realistic parameters achieve more than \(90\%\) of the ideal bosonic power bound and surpass the fermionic bound by about \(50\%\) [2606.19310].

Gaussian white noise has likewise been identified as a thermodynamic resource. In an overdamped ratchet with state-dependent friction \(\gamma_i\), periodic asymmetric potential \(U(x)\), equilibrium bath at temperature \(T\), and additive Gaussian white noise of intensity \(D\), the effective temperatures become
\[
T_i=T+\frac{D}{\gamma_i}.
\]
The extra noise drives the system to a nonequilibrium steady state with finite current when the potential is asymmetric. Under a small opposing load \(F_0\), the extracted power is \(P_{\rm ext}\), the noise-injection rate is \(\dot E_{\rm noise}\), and the efficiency is defined by
\[
\eta=\frac{P_{\rm ext}}{\dot E_{\rm noise}},
\qquad
\eta^*=\frac{P_{\rm ext}^*}{\dot E_{\rm noise}}
\]
at maximum power. In the small-\(D\) regime, \(P_{\rm ext}^*\propto D^4\) while \(\dot E_{\rm noise}\propto D\), so \(\eta^*\propto D^3\to 0\); in the slow-switching limit \(\eta^*\propto r^2\), while in the fast-switching limit \(\eta^*\propto r^{-2}\). The resource-theoretic interpretation given in the paper is that Gaussian white noise beyond the fluctuation–dissipation value acts as an athermal work resource, equivalently a weakly coupled high-temperature reservoir with \(D=\gamma^*T^*\) [1609.09633].

Taken together, these developments show that the resource theory of engines is not a single formalism but a layered family of frameworks. In one layer, it extends the resource theory of athermality from states to cyclic engine operation; in another, it fuses distinct resource theories into a common engine theory; and in yet another, it treats temporal correlation, catalytic structure, computational bias, exclusion statistics, or nonequilibrium noise as explicit engine resources. The unifying feature is the same: engine performance is characterized by constrained transformations, complete or partial monotones, and precise trade-offs among extractable work, efficiency, memory, control, and robustness [2507.05699] [2304.09559].

Source: https://www.emergentmind.com/topics/resource-theory-of-engines