[Paper Review] Jarzynski Equality with Maxwell's Demon

Takahiro Sagawa, Masahito Ueda|arXiv (Cornell University)|Sep 5, 2006

Advanced Thermodynamics and Statistical Mechanics2 references3 citations

TL;DR

This paper generalizes the Jarzynski equality to include Maxwell's demon by formulating a quantum measurement-based thermodynamic process where the demon gains information and performs work. It derives a generalized Jarzynski equality and inequalities showing that work extracted from a single heat bath is bounded by the demon's information gain and measurement accuracy, independent of the demon's initial or final state, even when out of equilibrium.

ABSTRACT

We propose a new thermodynamic equality and several inequalities concerning the relationship between work and information for an isothermal process with Maxwell's demon. Our approach is based on the formulation a la Jarzynski of the thermodynamic engine and on the quantum information-theoretic characterization of the demon. The lower bound of each inequality, which is expressed in terms of the information gain by the demon and the accuracy of the demon's measurement, gives the minimum work that can be performed on a single heat bath in an isothermal process. These results are independent of the state of the demon, be it in thermodynamic equilibrium or not.

Motivation & Objective

• To establish a thermodynamic equality connecting work, free energy, and information in isothermal processes involving Maxwell’s demon.
• To resolve the consistency between information gain and the second law when the demon is not in thermodynamic equilibrium.
• To generalize the Jarzynski equality to include quantum measurements and information-theoretic control by the demon.
• To derive inequalities showing the minimum work that can be extracted from a single heat bath using information from the demon.
• To clarify the conditions under which the generalized equality holds, particularly regarding the final state of the system.

Proposed method

• Formulates an isothermal process involving a system S, heat bath B, and a demon that performs quantum measurements and unitary operations based on outcomes.
• Uses the Jarzynski equality framework, extending it to include the demon’s action as a measurement and conditional unitary transformation.
• Characterizes the demon’s information gain via quantum measurement outcomes and defines an effective information content based on the measurement process.
• Introduces a weak assumption (Eq. 16) on the final state of the system, requiring that the demon cannot distinguish the final state from a canonical equilibrium state via its measurements.
• Derives a generalized Jarzynski equality (Eq. 18) and a thermodynamic inequality (Eq. 22) relating work, free energy difference, and information gain.
• Analyzes the robustness of the equality under small deviations from the final state assumption, bounding the error via Eq. (29).

Experimental results

Research questions

• RQ1 How can the Jarzynski equality be generalized to include the role of Maxwell’s demon in isothermal processes?
• RQ2 What is the minimum work that can be extracted from a single heat bath using information gained by a demon, regardless of the demon’s initial or final state?
• RQ3 Under what conditions does the generalized Jarzynski equality hold when the demon performs quantum measurements and unitary operations?
• RQ4 How does the demon’s measurement accuracy and information gain affect the thermodynamic bounds on work extraction?
• RQ5 What is the role of the final state of the system in ensuring consistency with thermodynamic equilibrium, and how weak can the required assumptions be?

Key findings

• The generalized Jarzynski equality (Eq. 18) holds for any initial and final state of the demon, even when the demon is out of thermodynamic equilibrium.
• The inequality ⟨exp(−βW)⟩ ≥ exp(−βΔF − β⟨I⟩) (Eq. 22) shows that work greater than −ΔF can be extracted from a single heat bath due to information gain ⟨I⟩ by the demon.
• The lower bound of the work is determined by the demon’s information gain and measurement accuracy, quantified via the effective information content.
• The assumption (16) on the final state is significantly weaker than requiring ρ_f = ρ_f^can, as it only requires consistency of measurement outcomes with the canonical state.
• Deviations from the ideal final state are bounded: |Δη/η| ≤ (d′/p)ε, where ε quantifies the difference between the actual and canonical final state in measurement expectation values.
• The results are robust under small deviations from the ideal final state, indicating practical feasibility in real physical systems.