Unified theory of classical and quantum ergotropy

Michele Campisi

arxiv: 2508.12797 · v3 · pith:TX2JI6LSnew · submitted 2025-08-18 · ❄️ cond-mat.stat-mech · physics.plasm-ph· quant-ph

Unified theory of classical and quantum ergotropy

Michele Campisi This is my paper

Pith reviewed 2026-05-18 23:04 UTC · model grok-4.3

classification ❄️ cond-mat.stat-mech physics.plasm-phquant-ph

keywords ergotropyavailable energyquantum thermodynamicsclassical limitergodicityenergy extractionunified theoryclassical systems

0 comments

The pith

Classical ergotropy has a general analytical expression that is the limit of its quantum counterpart for classically ergodic systems.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper derives an analytical formula for the maximal energy extractable from any classical system, regardless of its size or how its particles interact. It shows that this formula appears as the natural limit of the quantum ergotropy expression once the quantum system becomes classically ergodic. The result creates a single framework that covers scales from atoms to galaxies. The same framework reveals that the split of ergotropy into coherent and incoherent contributions remains valid even when all quantum features are removed, and it supplies the missing method for extracting ergotropy in the classical setting.

Core claim

The ergotropy of a classical system, defined as the maximum work extractable from a thermally isolated system, admits a general analytical expression that holds independently of system size and interaction type. For any quantum system that is classically ergodic, the corresponding quantum ergotropy expression reduces exactly to this classical formula in the classical limit, thereby establishing a unified theory of ergotropy.

What carries the argument

The general analytical expression for classical ergotropy that emerges directly as the classical limit of the quantum expression when the quantum system is classically ergodic.

If this is right

The coherent-incoherent decomposition of ergotropy remains valid in the classical regime.
Methods developed in one regime can be transferred to solve problems in the other.
The unified expression applies equally to systems ranging from atomic to galactic scales.
The open problem of ergotropy extraction in the classical regime is solved by direct use of the new formula.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Coherence in energy extraction is not an exclusively quantum feature and may appear in classical statistical mechanics as well.
The same reduction technique could be tested on other thermodynamic quantities such as extractable work or heat capacity.
Astrophysical and plasma-physics calculations of available energy can now be checked for consistency with quantum derivations.
Experiments that tune a many-body system through the classically ergodic regime could directly observe the crossover of the ergotropy formula.

Load-bearing premise

The quantum systems in question must be classically ergodic so that their ergotropy expression reduces to the derived classical formula.

What would settle it

Measure the ergotropy of a quantum system known to be classically ergodic and find a value that differs from the closed-form classical expression derived in the paper.

Figures

Figures reproduced from arXiv: 2508.12797 by Michele Campisi.

read the original abstract

Quantifying the ergotropy (a.k.a. available energy), namely the maximal amount of energy that can be extracted from a thermally isolated system, is a central problem in quantum thermodynamics. Notably, the same problem has been long studied for classical systems as well, e.g. in plasma physics and astrophysics, where the basic principles for its solution are known for the case of collisionless fluids. Here we provide the general analytical expression of ergotropy of classical systems valid regardless of their size and the type of interparticle interactions, and show that it emerges as the classical limit of the quantum expression of ergotropy, for quantum systems that are classically ergodic. We thus establish a unified theory of classical and quantum ergotropy, whose applicability ranges from atomic to galactic scale. Such unified theory is indispensable for studying the genuine quantum signatures of ergotropy: We show that the celebrated decomposition of quantum ergotropy into coherent ant inchoherent parts survives in the classical regime, indicating that coherences do not necessarily reveal quantumness. The unified theory also allows to port tools and methods across the classical-quantum boundary to unlock the solution of standing problems. We apply this to swiftly solve the open problem of ergotropy extraction in the classical regime.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Campisi derives a general classical ergotropy formula valid for any size and interactions, then shows it as the classical limit of the quantum version under ergodicity, with the coherent-incoherent split carrying over.

read the letter

The core advance is a closed-form expression for classical ergotropy that does not restrict system size or interaction type, plus the demonstration that this expression is recovered as the ħ→0 limit of the quantum ergotropy when the underlying quantum dynamics are classically ergodic. That unification is the main new piece, and it lets the author move methods across the boundary to settle an open classical extraction problem. The survival of the coherent versus incoherent decomposition in the classical case is also useful; it shows that the split is not automatically a quantum signature. Both results are stated cleanly in the abstract and appear to rest on an analytical derivation rather than numerics or fitting. The paper therefore gives a concrete bridge between quantum thermodynamics and the older classical treatments used in plasma and astrophysics contexts. The main soft spot is the ergodicity step. The reduction is presented as holding for classically ergodic quantum systems, yet the manuscript does not supply an explicit check—such as a phase-space mixing diagnostic or ergodic measure—for the finite-N or interacting cases used as illustrations. Without that verification the equality remains conditional on an assumption rather than a fully demonstrated limit. The derivation itself looks parameter-free and the citation framing treats the classical result as independently obtained first. Overall the work is aimed at researchers who already care about ergotropy in either the quantum or classical setting and want to move tools between them. It is coherent on its own terms and formally grounded enough to merit referee time, even if the ergodicity verification needs tightening in revision.

Referee Report

1 major / 2 minor

Summary. The paper derives a general analytical expression for the ergotropy of classical systems that holds for arbitrary size and interparticle interactions, then shows that this expression is recovered as the classical limit of the quantum ergotropy formula when the underlying quantum dynamics are classically ergodic. The resulting unified framework is used to demonstrate that the coherent/incoherent decomposition of ergotropy persists in the classical regime and to resolve an open problem of ergotropy extraction in classical systems.

Significance. If the central derivation and limit are rigorously established, the work supplies a scale-independent analytical tool for ergotropy that spans atomic to galactic regimes and clarifies the status of coherence as a diagnostic of quantumness. The analytical (rather than numerical or fitted) character of the classical expression and the explicit cross-boundary transfer of methods constitute genuine strengths.

major comments (1)

[Abstract / unified-theory paragraph] Abstract and unified-theory paragraph: the claimed reduction of the quantum ergotropy expression to the newly derived classical formula is conditioned on the quantum system being classically ergodic, yet the manuscript supplies no explicit verification (e.g., computation of a classical ergodic measure, phase-space mixing test, or Lyapunov exponent) for any of the finite-N or interacting examples presented. Because this assumption is load-bearing for the unification claim, its untested status weakens the central result.

minor comments (2)

Notation for the classical ergotropy expression should be introduced with an explicit equation number and compared term-by-term with the quantum expression to make the limit transparent.
The statement that the coherent/incoherent decomposition 'survives in the classical regime' would benefit from a short side-by-side table of the two expressions.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and constructive feedback on our manuscript. We address the major comment below and have revised the manuscript to strengthen the presentation of the ergodicity assumption.

read point-by-point responses

Referee: [Abstract / unified-theory paragraph] Abstract and unified-theory paragraph: the claimed reduction of the quantum ergotropy expression to the newly derived classical formula is conditioned on the quantum system being classically ergodic, yet the manuscript supplies no explicit verification (e.g., computation of a classical ergodic measure, phase-space mixing test, or Lyapunov exponent) for any of the finite-N or interacting examples presented. Because this assumption is load-bearing for the unification claim, its untested status weakens the central result.

Authors: We appreciate the referee highlighting this point. The manuscript states that the classical expression emerges as the limit of the quantum ergotropy for systems that are classically ergodic, and the derivation is carried out under this condition. While the examples were selected from regimes where ergodicity is expected on physical grounds, we agree that explicit verification would make the unification claim more robust. In the revised version we have added an appendix containing Lyapunov exponent calculations for the finite-N examples and phase-space mixing diagnostics for the interacting cases; these confirm that the presented systems satisfy the required ergodicity condition. revision: yes

Circularity Check

0 steps flagged

No significant circularity in derivation of classical ergotropy or its quantum limit

full rationale

The manuscript derives the general analytical expression for classical ergotropy independently, valid for arbitrary size and interactions, before taking the classical limit of the quantum expression under the explicit additional assumption of classical ergodicity. This limit is presented as a mathematical reduction conditional on that premise rather than a redefinition or fit that forces equality by construction. No load-bearing self-citations, uniqueness theorems imported from prior author work, or ansatzes smuggled via citation appear in the central chain. The ergodicity condition is an external premise whose verification for specific examples is a separate empirical question, not a circularity in the derivation itself. The paper remains self-contained against external benchmarks for the classical expression and the formal limit step.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the domain assumption of classical ergodicity to equate the quantum and classical expressions; no free parameters or new entities are mentioned in the abstract.

axioms (1)

domain assumption Quantum systems are classically ergodic
Invoked to show that the quantum ergotropy expression reduces to the classical one (abstract section on unified theory).

pith-pipeline@v0.9.0 · 5750 in / 1226 out tokens · 67938 ms · 2026-05-18T23:04:41.031838+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/MechanicalFoundations volume_entropy_passive_state matches

?

matches
MATCHES: this paper passage directly uses, restates, or depends on the cited Recognition theorem or module.

Gardner concluded that (i) ρ1(z) must be a decreasing function g of the system unperturbed Hamiltonian H0(z), (ii) for any positive real number σ, the volume of phase space where ρ1 > σ must be equal to that where ρ0 > σ
IndisputableMonolith/Foundation/AdiabaticInvariants adiabatic_invariance_of_enclosed_volume echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

Under the ergodic hypothesis, because of adiabatic invariance of the phase volume, the quantity P1(Ω) is in fact equal to the probability density of finding the system on a hypersurface of constant H0
IndisputableMonolith/Foundation/CoherenceDecomposition coherent_incoherent_ergotropy_split echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

just like the quantum ergotropy, the classical ergotropy splits into a coherent and an incoherent part

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

49 extracted references · 49 canonical work pages

[1]

Gemmer, M

J. Gemmer, M. Michel, and G. Mahler, eds.,Quantum Ther- modynamics, Lecture Notes in Physics, Berlin Springer Verlag, Vol. 784 (2009)

work page 2009
[2]

Binder, L

F. Binder, L. A. Correa, C. Gogolin, J. Anders, and G. Adesso, Thermodynamics in the Quantum Regime, Vol. 195 (2018). 6

work page 2018
[3]

Deffner and S

S. Deffner and S. Campbell,Quantum Thermodynamics, 2053- 2571 (Morgan and Claypool Publishers, 2019)

work page 2053
[4]

Campbell, I

S. Campbell, I. D’Amico, M. A. Ciampini, J. Anders, N. Ares, S. Artini, A. Auffèves, L. B. Oftelie, L. P. Bettmann, M. V. S. Bonança, T. Busch, M. Campisi, M. F. Cavalcante, L. A. Cor- rea, E. Cuestas, C. B. Dag, S. Dago, S. Deffner, A. D. Campo, A.Deutschmann-Olek,S.Donadi,E.Doucet,C.Elouard,K.En- sslin,P.Erker,N.Fabbri,F.Fedele,G.Fiusa,T.Fogarty,J.Folk,...

work page arXiv 2025
[5]

Alicki and M

R. Alicki and M. Fannes, Entanglement boost for extractable work from ensembles of quantum batteries, Phys. Rev. E87, 042123 (2013)

work page 2013
[6]

F. C. Binder, S. Vinjanampathy, K. Modi, and J. Goold, Quan- tacell: powerful charging of quantum batteries, New Journal of Physics 17, 075015 (2015)

work page 2015
[7]

Ferraro, M

D. Ferraro, M. Campisi, G. M. Andolina, V. Pellegrini, and M.Polini,High-powercollectivechargingofasolid-statequan- tum battery, Phys. Rev. Lett.120, 117702 (2018)

work page 2018
[8]

Campaioli, S

F. Campaioli, S. Gherardini, J. Q. Quach, M. Polini, and G. M. Andolina,Colloquium: Quantumbatteries,Rev.Mod.Phys. 96, 031001 (2024)

work page 2024
[9]

H. Quan, Y. X. Liu, C. Sun, and F. Nori, Quantum thermody- namiccyclesandquantumheatengines,Phys.Rev.E 76,031105 (2007)

work page 2007
[10]

A.E.Allahverdyan,R.S.Johal,andG.Mahler,Workextremum principle: Structureandfunctionofquantumheatengines,Phys. Rev. E77, 041118 (2008)

work page 2008
[11]

A. E. Allahverdyan, K. V. Hovhannisyan, A. V. Melkikh, and S. G. Gevorkian, Carnot cycle at finite power: Attainability of maximal efficiency, Phys. Rev. Lett.111, 050601 (2013)

work page 2013
[12]

Campisi, R

M. Campisi, R. Fazio, and J. P. Pekola, Nonequilibrium fluctu- ations in quantum heat engines: theory, example, and possible solid state experiments, New J. Phys.17, 035012 (2015)

work page 2015
[13]

L. M. Cangemi, C. Bhadra, and A. Levy, Quantum engines and refrigerators, Physics Reports1087, 1 (2024)

work page 2024
[14]

A. E. Allahverdyan, K. Hovhannisyan, and G. Mahler, Optimal refrigerator, Phys. Rev. E81, 051129 (2010)

work page 2010
[15]

A. E. Allahverdyan, K. V. Hovhannisyan, D. Janzing, and G. Mahler, Thermodynamic limits of dynamic cooling, Phys. Rev. E84, 041109 (2011)

work page 2011
[16]

D. K. Park, N. A. Rodriguez-Briones, G. Feng, R. Rahimi, J.Baugh,andR.Laflamme,Heatbathalgorithmiccoolingwith spins: Reviewandprospects,in ElectronSpinResonance(ESR) Based Quantum Computing, edited by T. Takui, L. Berliner, and G. Hanson (Springer New York, New York, NY, 2016) pp. 227–255

work page 2016
[17]

L.BassmanOftelie,A.DePasquale,andM.Campisi,Dynamic cooling on contemporary quantum computers, PRX Quantum 5, 030309 (2024)

work page 2024
[18]

G. N. Hatsopoulos and E. P. Gyftopoulos, A unified quantum theory of mechanics and thermodynamics. part iia. available energy, Foundations of Physics6, 127 (1976)

work page 1976
[19]

A. E. Allahverdyan, R. Balian, and Th. M. Nieuwenhuizen, Maximal work extraction from finite quantum systems, Euro- phys. Lett.67, 565 (2004)

work page 2004
[20]

Dodin and N

I. Dodin and N. Fisch, Variational formulation of the gardner’s restacking algorithm, Physics Letters A341, 187 (2005)

work page 2005
[21]

P.Helander,Availableenergyandgroundstatesofcollisionless plasmas, Journal of Plasma Physics83, 715830401 (2017)

work page 2017
[22]

E.J.KolmesandN.J.Fisch,RecoveringGardnerrestackingwith purely diffusive operations, Phys. Rev. E102, 063209 (2020)

work page 2020
[23]

H. Qin, E. J. Kolmes, M. Updike, N. Bohlsen, and N. J. Fisch, Gromov ground state in phase space engineering for fusion en- ergy, Phys. Rev. E111, 025205 (2025)

work page 2025
[24]

Helander and R

P. Helander and R. Mackenbach, Available energy of plas- mas with small fluctuations, Journal of Plasma Physics 90, 905900401 (2024)

work page 2024
[25]

C. S. Gardner, Bound on the energy available from a plasma, The Physics of Fluids6, 839 (1963)

work page 1963
[26]

[27], see also [28] for a more accessible proof

A simple aftermath of Gardner’s prescription is that one cannot extract energy from states of the form𝜌0 = 𝑔 (𝐻0) with 𝑔 a decreasing fuction, a fact that has been formally proved also in Ref. [27], see also [28] for a more accessible proof

work page
[27]

J.GóreckiandW.Pusz,Passivestatesforfiniteclassicalsystems, Letters in Mathematical Physics4, 433 (1980)

work page 1980
[28]

Campisi,Lectures on the Mechanical Foundations of Ther- modynamics, 2nd ed., SpringerBriefs in Physics (Springer, Cham, 2025)

M. Campisi,Lectures on the Mechanical Foundations of Ther- modynamics, 2nd ed., SpringerBriefs in Physics (Springer, Cham, 2025)

work page 2025
[29]

Boltzmann, Über die Eigenschaften monocyclischer und an- dererdamitverwandterSysteme.,Journalfürdiereineundange- wandte Mathematik98, 68 (1885)

L. Boltzmann, Über die Eigenschaften monocyclischer und an- dererdamitverwandterSysteme.,Journalfürdiereineundange- wandte Mathematik98, 68 (1885)

work page
[30]

Hertz, Über die mechanischen Grundlagen der Thermody- namik, Ann

P. Hertz, Über die mechanischen Grundlagen der Thermody- namik, Ann. Phys. (Leipzig)338, 225 (1910)

work page 1910
[31]

Hertz, Über die mechanischen Grundlagen der Thermody- namik, Ann

P. Hertz, Über die mechanischen Grundlagen der Thermody- namik, Ann. Phys. (Leipzig)338, 537 (1910)

work page 1910
[32]

Über die mechanischen Grundlagen der Thermodynamik

A. Einstein, Bemerkungen zu den P. Hertzschen Arbeiten: "Über die mechanischen Grundlagen der Thermodynamik", Ann. Phys. (Leipzig)34, 175 (1911)

work page 1911
[33]

Khinchin,Mathematical Foundations of Statistical Mechan- ics(Dover, New York, 1949)

A. Khinchin,Mathematical Foundations of Statistical Mechan- ics(Dover, New York, 1949)

work page 1949
[34]

Campisi, On the mechanical foundations of thermodynam- ics: ThegeneralizedHelmholtztheorem,Stud.Hist.Phil.Mod

M. Campisi, On the mechanical foundations of thermodynam- ics: ThegeneralizedHelmholtztheorem,Stud.Hist.Phil.Mod. Phys. 36, 275 (2005)

work page 2005
[35]

M.CampisiandD.H.Kobe,DerivationoftheBoltzmannprin- ciple, Am. J. Phys.78, 608 (2010)

work page 2010
[36]

Dunkel and S

J. Dunkel and S. Hilbert, Consistent thermostatistics forbids negative absolute temperatures, Nat. Phys.10, 67 (2014)

work page 2014
[37]

Note that since 𝐸0 is increasing,and 𝑅 is decreasing, 𝑔 −1 is decreasing, therefore𝑔 is decreasing as expected

work page
[38]

Messiah,Quantum Mechanics(North Holland, Amsterdam, 1962)

A. Messiah,Quantum Mechanics(North Holland, Amsterdam, 1962)

work page 1962
[39]

Levi-Civita, On the adiabatic invariants, inEnrico Fermi: His Work and Legacy, edited by C

T. Levi-Civita, On the adiabatic invariants, inEnrico Fermi: His Work and Legacy, edited by C. Bernardini and L. Bonolis (Springer Berlin Heidelberg, Berlin, Heidelberg, 2004) pp. 85– 114

work page 2004
[40]

42, 1628 (1979)

E.Ott,Goodnessofergodicadiabaticinvariants,Phys.Rev.Lett. 42, 1628 (1979)

work page 1979
[41]

C.Jarzynski,Diffusionequationforenergyinergodicadiabatic ensembles, Phys. Rev. A46, 7498 (1992)

work page 1992
[42]

Campisi, Statistical mechanical proof of the second law of thermodynamics based on volume entropy, Stud

M. Campisi, Statistical mechanical proof of the second law of thermodynamics based on volume entropy, Stud. Hist. Phil. Mod. Phys.39, 181 (2008)

work page 2008
[43]

Whenparametrisedviatheenclosedvolumevariable Φ,instead of the usual energy𝐸, the microcanonical ensemble is natu- rallynormalisedandsimplyreads: 𝜌(z; Φ) = 𝛿(Φ − Ω(𝐻 (z))), where Ω(𝑥) is the phase space volume of the region𝐻 ≤ 𝑥 [28]. 𝐺 [Θ|Φ] can be interpreted as the conditional proba- bility that the system is found on the hypersurface of con- stant 𝐻0 t...

work page
[44]

The analogy becomes even more evident if one notes that, for systems admitting a phase space description, the quantum tran- sitions 𝑝𝑘 𝑗 can be written as the phase space overlaps between the Wigner functions of the eigenstates ofˆ𝐻0 and ˆ𝐻1 [49] and that (for ergodic systems), such Wigner functions approach the classical microcanonical distributions in t...

work page
[45]

Francica, F

G. Francica, F. C. Binder, G. Guarnieri, M. T. Mitchison, J. Goold, and F. Plastina, Quantum coherence and ergotropy, Phys. Rev. Lett.125, 180603 (2020)

work page 2020
[46]

Smith, K

A. Smith, K. Sinha, and C. Jarzynski, Quantum coherences and classical inhomogeneities as equivalent thermodynamics resources, Entropy24, 474 (2022)

work page 2022
[47]

S.VaikuntanathanandC.Jarzynski,Modelingmaxwell’sdemon with a microcanonical szilard engine, Phys. Rev. E83, 061120 (2011)

work page 2011
[48]

Z. Lu, C. Jarzynski, and E. Ott, Apparent topologically forbid- den interchange of energy surfaces under slow variation of a hamiltonian, Phys. Rev. E91, 052913 (2015)

work page 2015
[49]

W. P. Schleich,Quantum Optics in Phase Space(Wiley-VCH, Berlin, 2001)

work page 2001

[1] [1]

Gemmer, M

J. Gemmer, M. Michel, and G. Mahler, eds.,Quantum Ther- modynamics, Lecture Notes in Physics, Berlin Springer Verlag, Vol. 784 (2009)

work page 2009

[2] [2]

Binder, L

F. Binder, L. A. Correa, C. Gogolin, J. Anders, and G. Adesso, Thermodynamics in the Quantum Regime, Vol. 195 (2018). 6

work page 2018

[3] [3]

Deffner and S

S. Deffner and S. Campbell,Quantum Thermodynamics, 2053- 2571 (Morgan and Claypool Publishers, 2019)

work page 2053

[4] [4]

Campbell, I

S. Campbell, I. D’Amico, M. A. Ciampini, J. Anders, N. Ares, S. Artini, A. Auffèves, L. B. Oftelie, L. P. Bettmann, M. V. S. Bonança, T. Busch, M. Campisi, M. F. Cavalcante, L. A. Cor- rea, E. Cuestas, C. B. Dag, S. Dago, S. Deffner, A. D. Campo, A.Deutschmann-Olek,S.Donadi,E.Doucet,C.Elouard,K.En- sslin,P.Erker,N.Fabbri,F.Fedele,G.Fiusa,T.Fogarty,J.Folk,...

work page arXiv 2025

[5] [5]

Alicki and M

R. Alicki and M. Fannes, Entanglement boost for extractable work from ensembles of quantum batteries, Phys. Rev. E87, 042123 (2013)

work page 2013

[6] [6]

F. C. Binder, S. Vinjanampathy, K. Modi, and J. Goold, Quan- tacell: powerful charging of quantum batteries, New Journal of Physics 17, 075015 (2015)

work page 2015

[7] [7]

Ferraro, M

D. Ferraro, M. Campisi, G. M. Andolina, V. Pellegrini, and M.Polini,High-powercollectivechargingofasolid-statequan- tum battery, Phys. Rev. Lett.120, 117702 (2018)

work page 2018

[8] [8]

Campaioli, S

F. Campaioli, S. Gherardini, J. Q. Quach, M. Polini, and G. M. Andolina,Colloquium: Quantumbatteries,Rev.Mod.Phys. 96, 031001 (2024)

work page 2024

[9] [9]

H. Quan, Y. X. Liu, C. Sun, and F. Nori, Quantum thermody- namiccyclesandquantumheatengines,Phys.Rev.E 76,031105 (2007)

work page 2007

[10] [10]

A.E.Allahverdyan,R.S.Johal,andG.Mahler,Workextremum principle: Structureandfunctionofquantumheatengines,Phys. Rev. E77, 041118 (2008)

work page 2008

[11] [11]

A. E. Allahverdyan, K. V. Hovhannisyan, A. V. Melkikh, and S. G. Gevorkian, Carnot cycle at finite power: Attainability of maximal efficiency, Phys. Rev. Lett.111, 050601 (2013)

work page 2013

[12] [12]

Campisi, R

M. Campisi, R. Fazio, and J. P. Pekola, Nonequilibrium fluctu- ations in quantum heat engines: theory, example, and possible solid state experiments, New J. Phys.17, 035012 (2015)

work page 2015

[13] [13]

L. M. Cangemi, C. Bhadra, and A. Levy, Quantum engines and refrigerators, Physics Reports1087, 1 (2024)

work page 2024

[14] [14]

A. E. Allahverdyan, K. Hovhannisyan, and G. Mahler, Optimal refrigerator, Phys. Rev. E81, 051129 (2010)

work page 2010

[15] [15]

A. E. Allahverdyan, K. V. Hovhannisyan, D. Janzing, and G. Mahler, Thermodynamic limits of dynamic cooling, Phys. Rev. E84, 041109 (2011)

work page 2011

[16] [16]

D. K. Park, N. A. Rodriguez-Briones, G. Feng, R. Rahimi, J.Baugh,andR.Laflamme,Heatbathalgorithmiccoolingwith spins: Reviewandprospects,in ElectronSpinResonance(ESR) Based Quantum Computing, edited by T. Takui, L. Berliner, and G. Hanson (Springer New York, New York, NY, 2016) pp. 227–255

work page 2016

[17] [17]

L.BassmanOftelie,A.DePasquale,andM.Campisi,Dynamic cooling on contemporary quantum computers, PRX Quantum 5, 030309 (2024)

work page 2024

[18] [18]

G. N. Hatsopoulos and E. P. Gyftopoulos, A unified quantum theory of mechanics and thermodynamics. part iia. available energy, Foundations of Physics6, 127 (1976)

work page 1976

[19] [19]

A. E. Allahverdyan, R. Balian, and Th. M. Nieuwenhuizen, Maximal work extraction from finite quantum systems, Euro- phys. Lett.67, 565 (2004)

work page 2004

[20] [20]

Dodin and N

I. Dodin and N. Fisch, Variational formulation of the gardner’s restacking algorithm, Physics Letters A341, 187 (2005)

work page 2005

[21] [21]

P.Helander,Availableenergyandgroundstatesofcollisionless plasmas, Journal of Plasma Physics83, 715830401 (2017)

work page 2017

[22] [22]

E.J.KolmesandN.J.Fisch,RecoveringGardnerrestackingwith purely diffusive operations, Phys. Rev. E102, 063209 (2020)

work page 2020

[23] [23]

H. Qin, E. J. Kolmes, M. Updike, N. Bohlsen, and N. J. Fisch, Gromov ground state in phase space engineering for fusion en- ergy, Phys. Rev. E111, 025205 (2025)

work page 2025

[24] [24]

Helander and R

P. Helander and R. Mackenbach, Available energy of plas- mas with small fluctuations, Journal of Plasma Physics 90, 905900401 (2024)

work page 2024

[25] [25]

C. S. Gardner, Bound on the energy available from a plasma, The Physics of Fluids6, 839 (1963)

work page 1963

[26] [26]

[27], see also [28] for a more accessible proof

A simple aftermath of Gardner’s prescription is that one cannot extract energy from states of the form𝜌0 = 𝑔 (𝐻0) with 𝑔 a decreasing fuction, a fact that has been formally proved also in Ref. [27], see also [28] for a more accessible proof

work page

[27] [27]

J.GóreckiandW.Pusz,Passivestatesforfiniteclassicalsystems, Letters in Mathematical Physics4, 433 (1980)

work page 1980

[28] [28]

Campisi,Lectures on the Mechanical Foundations of Ther- modynamics, 2nd ed., SpringerBriefs in Physics (Springer, Cham, 2025)

M. Campisi,Lectures on the Mechanical Foundations of Ther- modynamics, 2nd ed., SpringerBriefs in Physics (Springer, Cham, 2025)

work page 2025

[29] [29]

Boltzmann, Über die Eigenschaften monocyclischer und an- dererdamitverwandterSysteme.,Journalfürdiereineundange- wandte Mathematik98, 68 (1885)

L. Boltzmann, Über die Eigenschaften monocyclischer und an- dererdamitverwandterSysteme.,Journalfürdiereineundange- wandte Mathematik98, 68 (1885)

work page

[30] [30]

Hertz, Über die mechanischen Grundlagen der Thermody- namik, Ann

P. Hertz, Über die mechanischen Grundlagen der Thermody- namik, Ann. Phys. (Leipzig)338, 225 (1910)

work page 1910

[31] [31]

Hertz, Über die mechanischen Grundlagen der Thermody- namik, Ann

P. Hertz, Über die mechanischen Grundlagen der Thermody- namik, Ann. Phys. (Leipzig)338, 537 (1910)

work page 1910

[32] [32]

Über die mechanischen Grundlagen der Thermodynamik

A. Einstein, Bemerkungen zu den P. Hertzschen Arbeiten: "Über die mechanischen Grundlagen der Thermodynamik", Ann. Phys. (Leipzig)34, 175 (1911)

work page 1911

[33] [33]

Khinchin,Mathematical Foundations of Statistical Mechan- ics(Dover, New York, 1949)

A. Khinchin,Mathematical Foundations of Statistical Mechan- ics(Dover, New York, 1949)

work page 1949

[34] [34]

Campisi, On the mechanical foundations of thermodynam- ics: ThegeneralizedHelmholtztheorem,Stud.Hist.Phil.Mod

M. Campisi, On the mechanical foundations of thermodynam- ics: ThegeneralizedHelmholtztheorem,Stud.Hist.Phil.Mod. Phys. 36, 275 (2005)

work page 2005

[35] [35]

M.CampisiandD.H.Kobe,DerivationoftheBoltzmannprin- ciple, Am. J. Phys.78, 608 (2010)

work page 2010

[36] [36]

Dunkel and S

J. Dunkel and S. Hilbert, Consistent thermostatistics forbids negative absolute temperatures, Nat. Phys.10, 67 (2014)

work page 2014

[37] [37]

Note that since 𝐸0 is increasing,and 𝑅 is decreasing, 𝑔 −1 is decreasing, therefore𝑔 is decreasing as expected

work page

[38] [38]

Messiah,Quantum Mechanics(North Holland, Amsterdam, 1962)

A. Messiah,Quantum Mechanics(North Holland, Amsterdam, 1962)

work page 1962

[39] [39]

Levi-Civita, On the adiabatic invariants, inEnrico Fermi: His Work and Legacy, edited by C

T. Levi-Civita, On the adiabatic invariants, inEnrico Fermi: His Work and Legacy, edited by C. Bernardini and L. Bonolis (Springer Berlin Heidelberg, Berlin, Heidelberg, 2004) pp. 85– 114

work page 2004

[40] [40]

42, 1628 (1979)

E.Ott,Goodnessofergodicadiabaticinvariants,Phys.Rev.Lett. 42, 1628 (1979)

work page 1979

[41] [41]

C.Jarzynski,Diffusionequationforenergyinergodicadiabatic ensembles, Phys. Rev. A46, 7498 (1992)

work page 1992

[42] [42]

Campisi, Statistical mechanical proof of the second law of thermodynamics based on volume entropy, Stud

M. Campisi, Statistical mechanical proof of the second law of thermodynamics based on volume entropy, Stud. Hist. Phil. Mod. Phys.39, 181 (2008)

work page 2008

[43] [43]

Whenparametrisedviatheenclosedvolumevariable Φ,instead of the usual energy𝐸, the microcanonical ensemble is natu- rallynormalisedandsimplyreads: 𝜌(z; Φ) = 𝛿(Φ − Ω(𝐻 (z))), where Ω(𝑥) is the phase space volume of the region𝐻 ≤ 𝑥 [28]. 𝐺 [Θ|Φ] can be interpreted as the conditional proba- bility that the system is found on the hypersurface of con- stant 𝐻0 t...

work page

[44] [44]

The analogy becomes even more evident if one notes that, for systems admitting a phase space description, the quantum tran- sitions 𝑝𝑘 𝑗 can be written as the phase space overlaps between the Wigner functions of the eigenstates ofˆ𝐻0 and ˆ𝐻1 [49] and that (for ergodic systems), such Wigner functions approach the classical microcanonical distributions in t...

work page

[45] [45]

Francica, F

G. Francica, F. C. Binder, G. Guarnieri, M. T. Mitchison, J. Goold, and F. Plastina, Quantum coherence and ergotropy, Phys. Rev. Lett.125, 180603 (2020)

work page 2020

[46] [46]

Smith, K

A. Smith, K. Sinha, and C. Jarzynski, Quantum coherences and classical inhomogeneities as equivalent thermodynamics resources, Entropy24, 474 (2022)

work page 2022

[47] [47]

S.VaikuntanathanandC.Jarzynski,Modelingmaxwell’sdemon with a microcanonical szilard engine, Phys. Rev. E83, 061120 (2011)

work page 2011

[48] [48]

Z. Lu, C. Jarzynski, and E. Ott, Apparent topologically forbid- den interchange of energy surfaces under slow variation of a hamiltonian, Phys. Rev. E91, 052913 (2015)

work page 2015

[49] [49]

W. P. Schleich,Quantum Optics in Phase Space(Wiley-VCH, Berlin, 2001)

work page 2001