This page gives plain-language summaries of physics papers. We draw no link to Dost or to any other text; reading side by side is the reader's own work.
Experiment: measured. Theory: calculated or proved. Interpretation: its meaning is disputed. The labels are our own classification; a paper may have more than one nature.
Main question: Can a heat engine work with the energy levels of a single atom, and do the limits of thermodynamics hold there too?
A heat engine is a device that converts part of the heat it takes from a hot source into work; the second law places an upper bound on its efficiency (the Carnot limit). Quantum heat engines do the same job with the discrete energy levels of very small systems such as atoms or molecules. The question asked here is whether the laws of thermodynamics also hold at this scale and whether quantum effects change the efficiency.
On this page32. Quantum Heat Engines · Scovil 1959 — Three-Level Masers as Heat · 33. Maxwell's Demon and the Thermodynami …
Scovil and Schulz-DuBois read a three-level maser (a microwave amplifier) as a heat engine and compared its efficiency with the thermodynamic limit.
A maser is a device that exploits transitions between the energy levels of atoms in a material to amplify microwave radiation. In a three-level maser, atoms are lifted from the lowest level to the highest level by a "pump" radiation; then, as they drop to the intermediate level, they give off the amplifier radiation.
The authors redefined this setup as a heat engine. The pump behaves like a source at high temperature: it fills the upper level. As the atoms drop to the intermediate level they produce the useful output, that is, microwave radiation; the remaining energy flows to a medium at low temperature, the lattice vibrations. In the setup, the work is the amplified radiation itself.
The main finding of the paper concerns efficiency. The efficiency of the three-level maser is the ratio of the frequency of the amplifier radiation to the frequency of the pump radiation; this ratio cannot exceed the Carnot efficiency, that of the best heat engine operating between the temperatures concerned, and in the best case equals it. In other words, a setup built on quantum levels and radiation has stayed within the limit set by classical thermodynamics.
The limit of the paper is brief: the work does not exploit effects such as quantum coherence or entanglement; it is done through the statistics of transitions between ordinary, discrete levels. Moreover, the system is not a single atom but the sum of a great many atoms.
The value of the paper lies in carrying the concept of the heat engine from classical steam engines to atomic levels: the heat source, the cold medium and the work are replaced in turn by the pump radiation, the lattice and the amplified microwave. With this mapping, it becomes possible to test the efficiency of a device against the laws of thermodynamics by renaming it a heat engine.
This summary was written without looking at the paper's own abstract or text, relying on a known account; it should be checked against the source.
Afterwards: In later years the same idea was carried to single atoms, trapped ions and circuit quantum electrodynamics setups; today this paper is cited as the first example in the field of 'quantum thermodynamics.'
33. Maxwell's Demon and the Thermodynamics of Information
Main question: Does gathering and erasing information carry a cost in heat and entropy; why can Maxwell's demon not break the second law?
Maxwell's demon (1867) imagines a tiny being that separates fast and slow molecules in a box: since a temperature difference is created for free, the second law seems to be violated. This contradiction was debated for over a hundred years. After the 1960s it was understood that information processing itself has a physical cost: erasing one bit of information gives off heat (the Landauer limit). Under this heading we look at quantum versions of the demon and the link between information and thermodynamics.
Bennett surveyed the thermodynamics of computation and set out clearly the view that resolves the Maxwell's demon puzzle through the cost of erasing information.
This paper presents neither a new experiment nor a quantum model; it is a review. Its question is: what is the least energy a computation must expend?
Bennett distinguishes between two things. Logically reversible operations (where the input can be reconstructed from the output) can in principle be carried out without giving off heat. Logically irreversible operations, for example resetting a bit, destroy some of the information, and the entropy of this destruction must flow into the environment as heat. This is Landauer's principle; the smallest cost is, per bit, temperature times the Boltzmann constant times the natural logarithm of two.
This framework is applied to Maxwell's demon. The demon measures the speed of a molecule and keeps it in its head. The gain exists only as long as this record is not erased: the demon's memory is not infinite, and to make it ready for reuse it has to erase it. During the erasure the Landauer cost is paid and the second law is preserved. Against the earlier claim that 'measurement necessarily gives off heat,' the paper argues that measurement can in principle be made reversibly, and that the real cost arises in erasure.
The review also summarizes models of reversible computation and the related historical debate. The paper itself is about classical information; the same costs for quantum states were treated separately in later work.
Another part of the review describes examples showing how reversible computation can be done: as a computation proceeds, the intermediate results are stored, and after the output is taken the steps are undone, returning to the start without any need to erase memory. Bennett presents this as a demonstration that giving off heat is not necessary as a lower bound of computation; in practical devices, however, the real costs are far greater than this lower bound.
This summary was written without looking at the paper's own abstract or text, relying on a known account; it should be checked against the source.
Afterwards: The Landauer limit was later measured in experiments, and quantum versions of the demon continue to be discussed as 'quantum demon' models that also take into account the back-action of measurement and entanglement.
34. Quantum Thermodynamics and Fluctuation Theorems
Main question: When work and heat fluctuate in small systems, can equilibrium quantities be extracted from nonequilibrium processes?
Thermodynamics is a theory written for systems of large mass; in a single molecule or atom, work and heat come out different in every trial. Fluctuation theorems show that the distribution formed by these random differences satisfies an exact relation even in a nonequilibrium process. The two papers under this heading are for classical systems; the quantum versions are built upon them.
Jarzynski derived an exact equality that gives the equilibrium free-energy difference from the distribution of work done in a rapidly driven system.
The free-energy difference gives the least work needed to take a system slowly (in equilibrium) between two configurations. Real experiments, however, are usually done quickly, and each repetition gives a different work result: work is a random variable.
The paper proposes a way to find the equilibrium free-energy difference from these repeated measurements. The equality is as follows: ⟨exp(−W/kT)⟩ = exp(−ΔF/kT). That is, the exponential average of the work is directly related to the free-energy difference. In words: even for a process carried out quickly and irreversibly, the work results give the equilibrium quantity if repeated enough times.
The author notes that the result is derived for classical systems and that two well-known equilibrium identities emerge as limiting cases of it. The equality also contains the inequality stating that the average work cannot be less than the free-energy difference; but by turning it into an equality it shows that, besides the average value, the tail of the distribution is also important: rare, low-work trials decide the result.
Its limit: in practice the method requires a great many repetitions, and capturing rare events is difficult.
The practical meaning of the equality is that the free-energy difference can be found from repeated rapid measurements instead of slow and long-lasting equilibrium measurements. This approach was later used in computational and experimental biophysics, in experiments pulling single molecules.
Afterwards: The equality was later tested in single-molecule experiments such as RNA folding; the definition of work for quantum systems is a separate subject of debate.
Crooks derived a more general fluctuation theorem and briefly proved the Jarzynski equality as a consequence of it.
Few exact relations are known for nonequilibrium processes. One is the fluctuation theorem, which places a condition on the distribution of entropy production; the other is Jarzynski's work equality. This paper brings the two together under the same roof.
Crooks derives a generalized version of the fluctuation theorem for microscopically reversible, random (stochastic) dynamics. The general result links the ratio of two probabilities: that a process takes place in the forward direction with a certain work, and that the time-reverse of the same process gives the same work in the backward direction. This ratio depends exponentially on the difference between the work and the free-energy difference.
This result gives the Jarzynski equality directly: summing the ratio on both sides, the exponential average of the forward work distribution reduces to the free-energy difference. For this reason the paper says it offers a 'short proof' of the equality. Beyond the equality, the theorem also makes it possible to read the free-energy difference from the point where the two distributions cross.
This paper too is for classical, stochastic systems; how to define the measurement of work in quantum systems is a separate question.
The paper also shows that this relation links not only the average but the whole work distribution; for this reason it carries more information than the Jarzynski equality itself. The proof rests on how the forward and backward paths of the processes pair up under microscopic reversibility.
Afterwards: After these two papers, the field expanded toward 'quantum fluctuation theorems,' which include definitions of quantum measurement and work.