REVIEW 4 minor 55 references
For thermally isolated quantum systems, fluctuation theorems for two energy differences recover the nonadiabaticity parameter and excess work, yielding a stronger Second-Law bound than Jarzynski’s equality.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · grok-4.5
2026-07-13 01:42 UTC pith:UZDHWZQN
load-bearing objection Solid quantum extension of Jarzynski 2020 that finally interprets X and Y and derives the strong work bound from an IFT.
Fluctuation theorems for thermally isolated driven quantum systems: nonadiabaticity, excess work and strong inequalities
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The averages of the two stochastic quantities introduced by Jarzynski are identical to the nonadiabaticity parameter A = D[ρ(τ) ∥ ρ_ad(λ_τ)] and the excess work W_ex = W − W_ad. Consequently the work absorbed in the cyclic counterpart of any protocol satisfies W_c = β^{-1} A, and the integral fluctuation theorem for the rescaled Y at the isentropic temperature implies the strong bound W_th_ex ≥ 0.
What carries the argument
The pair of stochastic quantities X ≡ E_nf(λ_0) − E_ni(λ_0) and Y ≡ E_nf(λ_τ) − E_ni(λ_τ) together with their time-reversed counterparts; their fluctuation theorems follow from micro-reversibility once the reverse process is started from the adiabatic (respectively Gibbs) state, and their averages are evaluated by relating the two-point probabilities to the relative entropy and the energy difference between actual and adiabatic final states.
Load-bearing premise
Every energy eigenspace keeps a constant degree of degeneracy throughout the driving, so that no level crossings or degeneracy lifting occur.
What would settle it
Compute A and W_c independently for a driven quantum system that has no level crossings (for example a non-integrable Ising chain) and check whether β W_c equals A for a range of protocol durations; any systematic deviation would refute the claimed identity.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript expands Jarzynski's 2020 integral fluctuation theorem for thermally isolated systems by deriving the corresponding detailed fluctuation theorem for the stochastic quantity X, together with additional detailed and integral theorems for a second quantity Y, all within the quantum two-point measurement scheme under Hamiltonian evolution from a Gibbs state. It supplies a physical interpretation of X and Y by proving that their averages equal the nonadiabaticity parameter A = D[ρ(τ)∥ρ_ad(λ_τ)] and the excess work W_ex = W - W_ad, respectively, and shows that the work absorbed in the cyclic counterpart of a process satisfies W_c = β^{-1} A. From the IFT for Y evaluated at the isentropic inverse temperature eta-bar the authors obtain the strong inequality W_th_ex ≥ 0 (the thermodynamic minimal-work principle). Connections to Thomson's formulation, the minimal-work principle, time-reversal asymmetry and coherence/transition decompositions of irreversibility are discussed, and the results are illustrated numerically on a non-integrable Ising chain and analytically for systems with globally expanding/contracting spectra.
Significance. The central equalities β⟨X⟩ = A and ⟨Y⟩ = W_ex, the identification W_c = β^{-1} A, and the derivation of W_th_ex ≥ 0 from an integral fluctuation theorem constitute a clean and useful clarification of the thermodynamics of thermally isolated driven quantum systems. The work supplies the missing physical interpretation of the quantities introduced by Jarzynski, places them on the same footing as the familiar dissipated work, and shows how a stronger Second-Law bound than W - ΔF ≥ 0 follows directly from a fluctuation theorem once the isentropic reference is used. The derivations rest on standard tools (two-point measurements, micro-reversibility, the constant-degeneracy adiabatic theorem and relative entropy) and are corroborated by explicit numerical checks on a non-integrable Ising chain; these strengths make the paper a solid contribution to quantum fluctuation relations and non-equilibrium thermodynamics.
minor comments (4)
- [Sec. II and VIII] The constant-degeneracy assumption (no level crossings or degeneracy lifting) is stated clearly in Sec. II and used in Eqs. (8), (34) and (58), and is correctly flagged as a limitation for future work in Sec. VIII. A brief forward reference in the abstract or introduction would help readers immediately appreciate the scope.
- [Sec. VI A] In Sec. VI A the eight-point argument that A quantifies irreversibility is persuasive but somewhat lengthy; a short summary paragraph that isolates the operational definition (recoverability of all observables by a supplementary adiabatic process) would improve readability without changing the content.
- [Sec. VII] Figures 3–6 are clear, yet the captions could explicitly state that the linear fits recover the theoretically expected slopes (β J_m and 1) within numerical error, reinforcing the verification of the DFTs.
- [References] A few bibliographic entries contain minor typos (e.g., "terhmodynamics", "Stocahstic"); a final proof-reading pass would eliminate them.
Circularity Check
No significant circularity: central equalities and inequalities follow by direct calculation from two-point measurements, unitary evolution, and the constant-degeneracy adiabatic theorem.
full rationale
The paper defines stochastic quantities X and Y via the standard two-point energy measurement scheme (Eq. 4), proves the associated IFTs and DFTs by elementary manipulation of joint probabilities p(m,n) and their time-reversed counterparts under the chosen initial states (Secs. III–IV, Eqs. 13, 26, 36, 46), and then identifies the averages by expanding the definitions of relative entropy A ≡ D[ρ(τ)∥ρ_ad(λ_τ)] and excess work W_ex ≡ W − W_ad (Sec. V, Eqs. 52–58). These steps are self-contained algebraic identities that do not presuppose the target equalities; the adiabatic theorem is invoked only under the explicitly stated constant-degeneracy hypothesis (Eq. 8), which is a conventional external premise rather than a result derived from the paper’s own claims. The strong inequality W_th_ex ≥ 0 follows from Jensen’s inequality applied to the IFT for Y evaluated at the isentropic temperature (Eq. 83), again without circular input. Self-citations are limited to background fluctuation theorems (Tasaki–Crooks, Jarzynski 2020) that are independently established and not load-bearing for the new identifications. No fitted parameters, self-definitional loops, or uniqueness theorems imported from the authors appear. The derivation chain is therefore free of circularity under the paper’s stated assumptions.
Axiom & Free-Parameter Ledger
axioms (4)
- domain assumption Initial state is the Gibbs state Π_eta(λ_0); evolution is unitary under the time-dependent Hamiltonian H(λ_t).
- domain assumption Degree of degeneracy of each eigenspace is constant in time (no level crossings or degeneracy lifting).
- standard math Quantum adiabatic theorem for possibly degenerate spectra with constant degeneracy: U_ad(t,0) P_n(λ_0) U_ad†(t,0) = P_n(λ_t).
- standard math Micro-reversibility: the time-reversed evolution operator is Θ U†(τ,t) Θ†.
invented entities (1)
-
thermodynamic excess work W_th_ex ≡ W - W_ise
no independent evidence
read the original abstract
We expand on the ideas developed by C. Jarzynski in Physica A 552, 122077 (2020), where an integral fluctuation theorem was derived with the aim of obtaining thermodynamic inequalities stronger than those implied by the Jarzynski equality. Restricting ourselves to the quantum setting, we derive the corresponding detailed fluctuation theorem and additional detailed and integral fluctuation theorems; we also provide a clear physical interpretation of the stochastic quantities defined in the previous reference. Furthermore, we show that their averages are given by the nonadiabaticity parameter (i.e., the relative entropy between the final state after a finite-time driving protocol and the corresponding adiabatically evolved state) and the excess work (also known as inner friction). We elaborate on the inequalities derived from the fluctuation theorems and discuss their connection to irreversibility and formulations of the Second Law.
Figures
Reference graph
Works this paper leans on
-
[1]
to obtain it from fluctuation theorems. To this end, stochastic quantities were introduced and, although no clear physical interpretation could be given to them, an IFT was derived. However, the attempt to obtain the ∗ Contact author: joao.steimetz@dac.unicamp.br strong inequality from the IFT was only partially suc- cessful. Proper thermodynamic inequali...
Pith/arXiv arXiv 2026
-
[2]
The system is initially in the stateρ(0) = Π β(λ0), on which the first measurement of the scheme is performed
-
[3]
No measurement is per- formed between this step and the next one
A finite-time process is carried out with duration τ, taking the external parameter fromλ 0 toλ τ ac- cording to the protocolλ t. No measurement is per- formed between this step and the next one
-
[4]
thermodynamic excess work
The external parameter is taken back toλ 0 via adi- abatic driving. At the end of this step, the second measurement of the scheme is performed. In order to apply the Tasaki-Crooks relation to this cyclic process, define the time-reversed process as follows: ˜1. The initial state is ΘΠ β(λ0)Θ†. A projective mea- surement of ΘH(λ 0)Θ† is performed. ˜2. An a...
-
[5]
III A and app
Nonadiabaticity and work absorption From the definitions ofW c andw c, and from the fact thatw c =X(see Sec. III A and app. B), we haveW c = ⟨wc⟩=⟨X⟩. Therefore, the following equation holds 10: Wc ≡W+W back ad =β −1D[ρ(τ)||ρ ad(λτ)],(67) where we used Eq. (56). This means that the work ab- sorbed by the system under the imaginary cycle is pro- portional ...
-
[6]
imaginary cycles
Nonadiabaticity and time-reversal asymmetry It is known that the dissipated workW diss also satisfies the relation [29–31] βWdiss =D[ρ(t)||Θ † ˜ρ(τ−t)Θ],∀t∈[0, τ].(69) In the equation above, ˜ρ(τ−t) = ˜U(τ−t,0)˜ρ(0) ˜U †(τ− t,0) = ˜U(τ−t,0)ΘΠ β(λτ)Θ† ˜U †(τ−t,0) is the state at timeτ−tin the time-reversed process, which for this equation starts at ˜ρ(0) =...
-
[7]
unwanted
Nonadiabaticity, coherence and transitions Only in this section, we assume the projectorsP n(λ) satisfy Tr{Pn(λt)}= 1,∀t∈[0, τ], i.e., the spectrum is non-degenerate at all times. In this context, Ref. [32] clarifies the role of coherence and transitions in entropy production by showing that the dissipated workW diss = β−1D[ρ(τ)||Π β(λτ)] can be decompose...
-
[8]
The nonadiabaticity parameter as a quantifier of irreversibility In the last few subsections, we have been exploring the comparison between the dissipated work and the nonadi- abaticity parameter. The reason for this is that the dissi- pated work is a well-established quantifier of irreversibil- ity that yields the thermodynamic entropy production under c...
-
[9]
The nonadiabaticity parameterA=β⟨X⟩is the average of a quantity that satisfies both an inte- gral and a detailed fluctuation theorem, as shown in Sec. III. Since fluctuation theorems are strongly related to the idea of irreversibility, so are the quan- tities that satisfy them
-
[10]
VI A); 3.Ais equal to a measure of the time-reversal asymmetry of the imaginary cycles, as shown in Sec
The nonadiabaticity parameter is proportional to the work absorbed by the system during the imag- inary cycle, a quantity we argued quantifies irre- versibility (see Sec. VI A); 3.Ais equal to a measure of the time-reversal asymmetry of the imaginary cycles, as shown in Sec. VI A 2
-
[11]
Without appealing to any particular definition of entropy, one may define reversibility in the follow- ing way. A reversible process is such that, after it is carried out, there exists a supplementary process 12 that returns all physically relevant observables of the system and its surroundings to their initial val- ues. In the case of thermally isolated ...
-
[12]
Indeed, by its very definition, Asatisfies this requirement
A good quantifier of irreversibility should be able to capture the reversible case by yielding zero for adiabatic processes. Indeed, by its very definition, Asatisfies this requirement
-
[13]
The nonadiabaticity parameter measures the dis- tinguishability between the actual stateρ(τ) of the system and the stateρ ad(λτ) that would be achieved under a reversible process, i.e., it mea- sures the breaking of reversibility; 12 Of course, this supplementary process must follow the laws of Physics. For example, for a thermally isolated system, we can...
-
[14]
transitionless
Just asW diss, the nonadiabaticity parameter can be decomposed into a term due to coherence gen- eration and a term due to population mismatch (see Sec. VI A 3). However, the population mis- match forW diss is measured against a state that is generally never achieved by the unitary dynamics, while forAit is measured against the state achieved under adiaba...
-
[15]
unwanted
For slow processes, the leading contribution toA is the change in diagonal entropy [32], which has been shown under fairly general conditions to ex- hibit some properties of the entropy production from standard Thermodynamics [33]. However, the change in diagonal entropy corresponds only to the coherence termD[ρ(τ)||∆ρ(τ)], thus ignoring the contributions...
2023
-
[16]
Jarzynski, Nonequilibrium equality for free energy dif- ferences, Phys
C. Jarzynski, Nonequilibrium equality for free energy dif- ferences, Phys. Rev. Lett.78, 2690 (1997)
1997
-
[17]
G. E. Crooks, Entropy production fluctuation theorem and the nonequilibrium work relation for free energy dif- ferences, Phys. Rev. E60, 2721 (1999)
1999
-
[18]
M. Campisi, P. H¨ anggi, and P. Talkner, Colloquium: Quantum fluctuation relations: Foundations and applica- tions, Rev. Mod. Phys.83, 771 (2011), arXiv:1012.2268
Pith/arXiv arXiv 2011
-
[19]
Jarzynski, Fluctuation relations and strong inequal- ities for thermally isolated systems, Physica A552, 122077 (2020)
C. Jarzynski, Fluctuation relations and strong inequal- ities for thermally isolated systems, Physica A552, 122077 (2020). 15 The configuration considered is a system in contact with a heat bath at temperatureT
2020
-
[20]
A. E. Allahverdyan and T. M. Nieuwenhuizen, Minimal work principle: Proof and counterexamples, Phys. Rev. E71, 046107 (2005)
2005
-
[21]
Seifert, First and second law of terhmodynamics at strong coupling, Phys
U. Seifert, First and second law of terhmodynamics at strong coupling, Phys. Rev. Lett.116, 020601 (2016)
2016
-
[22]
Jarzynski, Stochastic and macroscopic thermodynam- ics of strongly coupled systems, Phys
C. Jarzynski, Stochastic and macroscopic thermodynam- ics of strongly coupled systems, Phys. Rev. X7, 011008 (2017)
2017
-
[23]
Strasberg and M
P. Strasberg and M. Esposito, Stocahstic thermodynam- ics in the strong coupling regime: an unambiguous ap- proach based on coarse graining, Phys. Rev. E95, 062101 (2017)
2017
-
[24]
Perarnau-Llobet, H
M. Perarnau-Llobet, H. Wilming, A. Riera, R. Gallego, and J. Eisert, Strong coupling corrections in quantum thermodynamics, Phys. Rev. Lett.120, 120602 (2018). 19
2018
-
[25]
Talkner and P
P. Talkner and P. H¨ anggi, Colloquium: Statistical me- chanics and thermodynamics at strong coupling: quan- tum and classical, Rev. Mod. Phys.92, 041002 (2020)
2020
-
[26]
O. Diba, H. J. D. Miller, J. Iles-Smith, and A. Nazir, Quantum work statistics at strong reservoir coupling, Phys. Rev. Lett.132, 190401 (2024)
2024
-
[27]
Strasberg and A
P. Strasberg and A. Winter, First and second law of quan- tum thermodynamics: a consistent derivation based on a microscopic definition of entropy, PRX Quantum2, 030202 (2021)
2021
-
[28]
Rigolin and G
G. Rigolin and G. Ortiz, Adiabatic theorem for quan- tum systems with spectral degeneracy, Phys. Rev. A85, 062111 (2012)
2012
-
[29]
Wang and M
Z. Wang and M. B. Plenio, Necessary and sufficient con- dition for quantum adiabatic evolution by unitary control fields, Physical Review A93, 052107 (2016)
2016
-
[30]
K. Xu, Y. Wang, M. B. Plenio, J. Du,et al., Break- ing the quantum adiabatic speed limit by jumping along geodesics, Science Advances7, eax3800 (2021)
2021
-
[31]
Rigolin and G
G. Rigolin and G. Ortiz, Adiabatic perturbation theory and geometric phases for degenerate systems, Phys. Rev. Lett.104, 170406 (2010)
2010
-
[32]
Rigolin and G
G. Rigolin and G. Ortiz, Degenerate adiabatic perturba- tion theory: Foundations and applications, Phys. Rev. A 90, 022104 (2014)
2014
-
[33]
Campisi, False onsager relations, EPL (Europhysics Letters)142, 30002 (2023)
M. Campisi, False onsager relations, EPL (Europhysics Letters)142, 30002 (2023)
2023
-
[34]
G. E. Crooks, Entropy production fluctuation theorem and the nonequilibrium work relation for free energy dif- ferences, Phys. Rev. E60, 2721–2726 (1999)
1999
-
[35]
H. Tasaki, Jarzynski relations for quantum systems and some applications, arXiv preprint cond-mat/0009244 https://doi.org/10.48550/arXiv.cond-mat/0009244 (2000)
-
[36]
P. Talkner and P. H¨ anggi, The tasaki–crooks quantum fluctuation theorem, J. Phys. A: Math. Theor.40, F569 (2007), arXiv:0705.1252
Pith/arXiv arXiv 2007
-
[37]
Campisi, P
M. Campisi, P. Talkner, and P. H¨ anggi, Fluctuation the- orems for continuously monitored quantum fluxes, Phys. Rev. Lett.105, 140601 (2010)
2010
-
[38]
Strasberg,Quantum Stochastic Thermodynamics: Foundations and Selected Applications, Oxford Graduate Texts (Oxford University Press, 2022)
P. Strasberg,Quantum Stochastic Thermodynamics: Foundations and Selected Applications, Oxford Graduate Texts (Oxford University Press, 2022)
2022
-
[39]
M. A. Nielsen and I. L. Chuang,Quantum Computation and Quantum Information(Cambridge University Press, 2011)
2011
-
[40]
Vedral, The role of relative entropy in quantum infor- mation theory, Rev
V. Vedral, The role of relative entropy in quantum infor- mation theory, Rev. Mod. Phys.74, 197 (2002)
2002
-
[41]
A. E. Allahverdyan and T. M. Nieuwenhuizen, A mathe- matical theorem as the basis for the second law: Thom- son’s formulation applied to equilibrium, Physica A305, 542 (2002)
2002
-
[42]
Vaikuntanathan and C
S. Vaikuntanathan and C. Jarzynski, Dissipation and lag in irreversible processes, Europhys. Lett.87, 60005 (2009)
2009
-
[43]
Esposito and C
M. Esposito and C. V. den Broeck, Second law and lan- dauer principle far from equilibrium, Europhys. Lett.95, 40004 (2011)
2011
-
[44]
Kawai, J
R. Kawai, J. M. R. Parrondo, and C. V. den Broeck, Dis- sipation: The phase-space perspective, Phys. Rev. Lett. 98, 080602 (2007)
2007
-
[45]
J. M. R. Parrondo, C. V. den Broeck, and R. Kawai, Entropy production and the arrow of time, New J. Phys. 11, 073008 (2009)
2009
-
[46]
Rubino, G
G. Rubino, G. Manzano, L. A. Rozema, P. Walther, J. M. R. Parrondo, and ˇC. Brukner, Inferring work by quantum superposing forward and time-reversal evolu- tions, Phys. Rev. Research4, 013208 (2022)
2022
-
[47]
Francica, J
G. Francica, J. Goold, and F. Plastina, Role of coher- ence in the nonequilibrium thermodynamics of quantum systems, Phys. Rev. E99, 042105 (2019)
2019
-
[48]
Polkovnikov, Microscopic diagonal entropy and its connection to basic thermodynamic relations, Ann
A. Polkovnikov, Microscopic diagonal entropy and its connection to basic thermodynamic relations, Ann. Phys. 326, 486 (2011)
2011
-
[49]
Campisi, Statistical mechanical proof of the second law of thermodynamics based on volume entropy, Studies in History and Philosophy of Modern Physics39, 181 (2008)
M. Campisi, Statistical mechanical proof of the second law of thermodynamics based on volume entropy, Studies in History and Philosophy of Modern Physics39, 181 (2008)
2008
-
[50]
H. Tasaki, Statistical mechanical derivation of the second law of thermodynamics, arXiv preprint cond- mat/0009206 https://doi.org/10.48550/arXiv.cond- mat/0009206 (2000)
-
[51]
O’Donovan, P
P. O’Donovan, P. Strasberg, K. Modi, J. Goold, and M. T. Mitchison, Quantum master equation from the eigenstate thermalization hypothesis, Phys. Rev. B112, 014312 (2025)
2025
-
[52]
M. E. J. Newman,Computational Physics(CreateSpace Independent Publishing Platform, 2013)
2013
-
[53]
J. J. Sakurai and J. Napolitano,Modern Quantum Me- chanics, 2nd ed. (Cambridge University Press, 2017)
2017
-
[54]
Messiah,Quantum Mechanics(Dover Publications, 1999)
A. Messiah,Quantum Mechanics(Dover Publications, 1999)
1999
-
[55]
Plastina, A
F. Plastina, A. Alecce, T. J. G. Apollaro, G. Falcone, G. Francica, F. Galve, N. Lo Gullo, and R. Zambrini, Irreversible work and inner friction in quantum thermo- dynamic processes, Phys. Rev. Lett.113, 260601 (2014)
2014
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.