REVIEW
A Quantum Fluctuation Theorem
Statistical Mechanics · Submitted 24 Jul 2000 · 17 references
Pith's verdict: The isolated-system theorem is a clean, correct piece of algebra; the thermostated half is a formal identity plus two physics assumptions that are asserted, not proved, and the abstract doesn't say so.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
A driven quantum system's chance of gaining energy $e$ exceeds its chance of losing $e$ by exactly $e^{βe}$ — with no free parameters.
The reading
What carries the argument
The load-bearing object is the KMS-like identity $Q_D(λ)=Q_D(-λ-β)$, obtained by transposition, cyclic permutation of the trace, and the time-reversal property $U^{†}=U^{*}$ of the cycle evolution operator. It is not the ratio itself but the analyticity strip that makes the identity bite: the bound $|Q(λ)|^2 ≤ 2(Tr e^{-2{Re(λ)+β}D})(Tr e^{2Re(λ)D})$ keeps $Q$ finite between $Re(λ)=-β$ and $Re(λ)=0$, so the contour in the Laplace representation of $P(e)$ can be deformed onto the line where the identity converts $P(e)$ into $P(-e)e^{βe}$. In the thermostated case the same bound splits into a bath trace, which is just a partition function, and a system trace, which requires $∑_α p_α^{2μ}$ to be finite for $0<μ<1$ — a mild condition on the tail of the initial distribution.
Extended reading notes
Core claim
The paper establishes a quantum fluctuation theorem for a system governed by a time-dependent Hamiltonian whose explicit time dependence is periodic and symmetric under time reversal, $H(t)=H(-t)$, and whose matrix elements are real at every instant. Under those conditions the evolution operator over a whole number of cycles satisfies $U^{†}=U^{*}$. From that single symmetry Kurchan derives a KMS-like identity for any real symmetric operator $D$, $Q_D(λ)=Q_D(-λ-β)$ with $Q_D(λ)=Tr[U^{†}e^{λD}Ue^{-(λ+β)D}]$, and then shows that $Q$ is analytic in the strip $-β<Re(λ)<0$ by bounding it with traces of $e^{±2Re(λ)D}$. Since the distribution $P(e)$ is a Laplace transform of $Q$, the analyticity lets him slide the integration contour from $Re(λ)=0$ to $Re(λ)=-β$, and the ratio $P(e)/P(-e)=e^{βe}$ falls out. The thermostated version replaces $D$ by bath energy plus an arbitrary real symmetric system observable $O$, with the initial state a product of canonically distributed bath and system wavefunctions; the same identity then governs the joint energy change, and for long times, provided $O$ stays bounded and the bath energy grows linearly in the number of cycles, it becomes a statement about the entropy produced in the bath.
Load-bearing premise
The whole derivation rests on the evolution operator over a cycle obeying $U^{†}=U^{*}$, which requires the Hamiltonian to have real matrix elements at every instant and the drive to be symmetric in time, $H(t)=H(-t)$; systems with magnetic fields or spin-orbit coupling fall outside that condition, and the paper states the restriction without exploring how far it reaches.
Editorial extensions
If this is right
- A quantum Jarzynski work relation follows directly: averaging $e^{-βe}$ over the distribution gives one, $⟨e^{-βe}⟩=1$, for any number of drive cycles and any strength of the drive.
- The second law appears as a corollary of that identity, in the form $⟨e⟩ ≥ 0$, i.e. the average energy transferred to the bath cannot be negative over a cycle.
- For a thermostated system at long times, the theorem becomes a statement about the entropy produced in the bath per cycle, so a measured ratio of forward and backward energy-transfer probabilities tests a property of the asymptotic periodic quantum state.
- Because no model parameters enter the ratio, the relation is a parameter-free benchmark for experiments on driven quantum devices, such as the shot-noise measurements that motivated the work.
Reading between the lines
- The theorem as written covers only Hamiltonians with real matrix elements, which excludes magnetic fields and spin-orbit coupling; extending the argument to the antiunitary time-reversal operator of spinful systems would be the natural next step, and the ratio's fate there is a live question the paper leaves open.
- The derivation needs no assumption that the drive is slow, so the relation is a rare exact statement in a strongly driven regime where linear response is unavailable; that makes it a candidate calibration tool for numerics on periodically kicked quantum systems, where $P(e)$ can be computed exactly for small systems.
- The classical limit of the same construction should recover the known work and entropy fluctuation relations, which suggests the quantum ratio could be used to identify where a driven system stops behaving classically rather than as an independent postulate.
- The paper's own footnote flags that the long-time thermostated statement requires the absence of energy localization, which can occur in isolated kicked systems; that is a real boundary on the extension, and quantifying when a driven system localizes in energy would tell experimenters which drive parameters keep the theorem usable.
Original abstract
We consider a quantum system strongly driven by forces that are periodic in time. The theorem concerns the probability $P(e)$ of observing a given energy change $e$ after a number of cycles. If the system is thermostated by a (quantum) thermal bath, $e$ is the total amount of energy transferred to the bath, while for an isolated system $e$ is the increase in energy of the system itself. Then, we show that $P(e)/P(-e)=e^{\beta e}$, a parameter-free, model-independent relation.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
We consider a quantum system strongly driven by forces that are periodic in time. The theorem concerns the probability $P(e)$ of observing a given energy change $e$ after a number of cycles. If the system is thermostated by a (quantum) thermal bath, $e$ is the total amount of energy transferred to the bath, while for an isolated system $e$ is the increase in energy of the system itself. Then, we show that $P(e)/P(-e)=e^{\beta e}$, a parameter-free, model-independent relation.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We consider a quantum system strongly driven by forces that are periodic in time. | background 0.80 | 0.34 | 0.02 | asserted 0.89 |
| s1 | The theorem concerns the probability $P(e)$ of observing a given energy change $e$ after a number of cycles. | contribution 0.71 | 0.31 | 0.04 | asserted 0.98 |
| s2 | If the system is thermostated by a (quantum) thermal bath, $e$ is the total amount of energy transferred to the bath, while for an isolated system $e$ is the increase in energy of the system itself. | interpretation 0.41 | 0.15 | 0.03 | asserted 1.00 |
| s3 | Then, we show that $P(e)/P(-e)=e^{\beta e}$, a parameter-free, model-independent relation. | result 0.99 | 0.94 | 0.94 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v2
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
References
How later papers used it
253 later papers cite it
1 later paper by other authors is listed below: 1 used its method or tool.
Uses its method or tool 1 of 19 papers with this label
-
Used the definition due to this paper and another work, which has a transparent physical meaning as the energy change in the system.
From Quantum Chaos and Eigenstate Thermalization to Statistical Mechanics and Thermodynamics (2015) · 0.95 · paraphrased: the licence does not allow quoting
How the literature uses it
253 arXiv papers cite this in 423 sentences
Papers citing it · 243 sentences without a confident label
Contests it 1 paper
-
This result demands us to change the derivation of the quantum Jarzynski equality from the previous ones [ref] based on the conventional approach, which employed the internal unitary time evolution and regarded the measured value of the energy loss of the internal system as the “work”, whereas the energy gain of the external system is the actual work that we can use.
Quantum Jarzynski equality of measurement-based work extraction · Introduction · contest 0.81
Builds on it 3 papers
-
Specifically, we present generalised versions of the Tasaki-Crooks relation (TCR) [ref] and the quantum Jarzynski equality (QJE) [ref] suitable to describe fluctuations in systems with an arbitrary, and possibly variable, number of charges.
Revealing missing charges with generalised quantum fluctuation relations · Introduction · 1.00
-
The above relation is a quantum version of the Jarzynski equation [ref] (see also [ref] ) adapted to our initial state in the form of a grand-canonical equilibrium state.
Response theory for quantum fields in isolation · Quantum version of Jarzynski equation · 0.80
-
We note that the same argument is also valid for quantum systems that obey unitary dynamics [ref] , by replacing the Shannon entropy by the von Neumann one.
Thermodynamic and Logical Reversibilities Revisited · Thermodynamic Reversibility · 0.80
Uses its method or tool 19 papers
-
Based on the two-point measurement scheme [ref] , the probability distribution function of a quantum work at time $t$ is written as P(W, t) = ∑_nkδ(W-δE_kn(t))P_kn(t)
Experimental demonstration of work fluctuations along a shortcut to adiabaticity with a superconducting Xmon qubit · Statistics of STA Work · 0.89
-
Under these assumptions, we can then take advantage of a formal mathematical apparatus recently developed to study the thermodynamics of quantum systems driven out of equilibrium by unitary evolution [ref] .
Quantum thermodynamics for a model of an expanding universe · Introduction · 0.99
-
Therefore we will use the two energy measurement approach as an operational definition of work [ref] and heat [ref] .
Measurement driven single temperature engine · Introduction · 0.87
Compares with it 9 papers
-
Since we apply a time reversal rule which exactly reverses the quantum state dynamics, and the arrow of time is computed without any projective end point measurement, the resulting FT with absolute irreversibility is different from its previous appearences [ref] , and from other quantum generalizations of FTs in general [ref] .
Fluctuation Theorems for Continuous Quantum Measurement and Absolute Irreversibility · Introduction · 0.99
-
Hence, we obtain the same form as the previous derivations [ref] of the Jarzynski equality under the cyclic process.
Quantum Jarzynski equality of measurement-based work extraction · Cyclic process · 0.95
-
Our calculation is structurally similar to the others in the literature [ref] .
Verifying detailed fluctuation relations for discrete feedback-controlled quantum dynamics · Without feedback control · 0.89
Cites it as support 1 paper
-
However, it can be shown that if one imposes that the statistics of work is consistent with the standard fluctuation theorems, the distribution of work should be defined by the two-point measurement protocol [ref] .
A Wigner quasiprobability distribution of work · Work Statistics · 0.97
Cites it as background 123 papers
-
We now review the quantum Jarzynski equality (QJE) [ref] in order to establish the necessary background for the rest of the paper.
Quantum fluctuation relations in first-detection processes · Quantum JE · 1.00
-
In this case the work $W$ is defined as a difference between the final and initial energies of the quantum system [ref] .
Work fluctuation theorem for a classical circuit coupled to a quantum conductor · introduction · 0.83
-
In the theoretical investigations of the transient quantum fluctuation theorems [ref] , these measurements are projective [ref] .
Transient quantum fluctuation theorems and generalized measurements · Introduction · 0.86
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.