[Paper Review] Defining work from operational principles

R. Gallego, Jens Eisert+1 more|arXiv (Cornell University)|Apr 20, 2015

Advanced Thermodynamics and Statistical Mechanics20 references8 citations

TL;DR

This paper proposes an operational, resource-theoretic definition of work in quantum thermodynamics by deriving mathematical properties that any valid work quantifier must satisfy. It shows that the difference in non-equilibrium free energy between initial and final states of a work-storage system uniquely fulfills these properties, leading to a quantitative second law that bounds extractable work by the work needed to create a resource.

ABSTRACT

In recent years we have witnessed a concentrated effort to make sense of thermodynamics for small-scale systems. One of the main difficulties is that, at the nano-scale, thermal fluctuations of energy in general render it conceptually difficult to distinguish work from heat. Despite of several attempts to resolve this issue, many of which inspired by quantum information theory, there is still remarkable little consensus on it. In this work, we attempt to define work in a strictly operational way. In our resource-theoretic approach, agents wish to agree upon how much work needs to be invested to effect a transition from one state of an arbitrary quantum work-storage device to another. We introduce basic operational principles, and deduce from them a strict set of mathematical properties that any reasonable function quantifying such work has to fulfil. One of those generalises strong sub-additivity, a key property in quantum information theory, to the domain of thermodynamics. We show that one work quantifier fulfilling all the required properties is the difference of the non-equilibrium free energy of the initial and final state of the work-storage system. More generally, for any work quantifier fulfilling the stated properties, we can derive a quantitative second law in the sense of bounding the work that can be performed using some non-equilibrium resource by the work that is needed to create it. We furthermore discuss the role of path dependence for work quantifiers and the connection to the concept of probability-distributions of work. Our mathematical results can be formulated abstractly and carry over to other resource theories than quantum thermodynamics.

Motivation & Objective

• To resolve the conceptual ambiguity in defining work at the nano-scale, where thermal fluctuations blur the distinction between work and heat.
• To establish a consensus on work quantification by grounding it in operational principles rather than thermodynamic intuition.
• To derive a set of mathematical properties that any physically reasonable work quantifier must satisfy in a resource-theoretic framework.
• To show that the difference in non-equilibrium free energy satisfies all derived properties and thus provides a uniquely valid work quantifier.
• To generalize the second law of thermodynamics in a quantitative form, bounding extractable work by the work required to prepare a resource.

Proposed method

• Formalizing work as the amount of energy that must be invested to achieve a transition between two states of a quantum work-storage device.
• Introducing a set of basic operational principles that any work quantifier must satisfy, including consistency with state transitions and monotonicity under allowed operations.
• Deriving a generalized form of strong sub-additivity from these principles, extending a key concept from quantum information theory to thermodynamics.
• Demonstrating that the non-equilibrium free energy difference between initial and final states satisfies all derived properties.
• Analyzing path dependence in work quantification and linking it to the probability distribution of work in stochastic processes.
• Formulating the results in an abstract framework to ensure applicability beyond quantum thermodynamics to other resource theories.

Experimental results

Research questions

• RQ1 What mathematical properties must a work quantifier satisfy to be operationally consistent in a quantum thermodynamic framework?
• RQ2 Can the non-equilibrium free energy difference be uniquely identified as the correct work quantifier under these operational principles?
• RQ3 How can a quantitative second law be derived that bounds the work extractable from a resource by the work needed to create it?
• RQ4 What is the role of path dependence in work quantification, and how does it relate to the distribution of work values?
• RQ5 To what extent can these results be generalized to other resource theories beyond quantum thermodynamics?

Key findings

• The difference in non-equilibrium free energy between the initial and final states of a work-storage system is the unique function that satisfies all derived operational properties of a work quantifier.
• A generalized form of strong sub-additivity emerges as a necessary condition for any valid work quantifier, extending a cornerstone of quantum information theory to thermodynamics.
• A quantitative second law is established, stating that the maximum work extractable from a non-equilibrium resource is bounded by the work required to create it.
• Path dependence in work quantification is formally characterized, and its implications for the probability distribution of work are clarified.
• The mathematical framework is abstract enough to apply to other resource theories beyond quantum thermodynamics, suggesting broad applicability.
• The work quantifier based on free energy difference is operationally robust and consistent with the physical intuition of work as a resource that can be stored and extracted.