[Paper Review] Refined Carnot's Theorem; Asymptotics of Thermodynamics with Finite-Size Heat Baths

Hiroyasu Tajima, Masahito Hayashi|arXiv (Cornell University)|May 26, 2014

Advanced Thermodynamics and Statistical Mechanics3 citations

TL;DR

This paper refines Carnot's theorem by deriving a microscopically grounded upper bound on heat engine efficiency for finite-size heat baths composed of $ n $ particles. Using asymptotic expansion in $ 1/n $, it constructs a heat engine that achieves this bound up to second order, proving the Carnot efficiency is asymptotically attainable and providing a computable, quantitative efficiency limit across all scales, including mesoscopic.

ABSTRACT

The derivation of the Carnot efficiency as the upper limit of the efficiency of heat engines is known as one of the most exciting points of thermodynamics. The achievability of the Carnot efficiency, however, had never been proven by the methods of statistical mechanics. Here, we show refined Carnot's theorem for finite-size systems. For heat engines attached on finite-size heat baths composed of $n$ particles, we microscopically derive an upper bound of the efficiency. We asymptotically expand the upper bound in terms of $1/n$ and explicitly construct a heat engine which achieves the upper bound up to the second order. The constant first-order term is the Carnot efficiency; therefore our result includes the achievability of the Carnot efficiency as a corollary. Our achievable upper bound is easily computable for any $n$; it gives a quantitative understanding not only in the microscopic and macroscopic limits, but also in mesoscopic scales.

Motivation & Objective

• To resolve the long-standing gap in statistical mechanics by proving the achievability of Carnot efficiency for finite-size heat baths.
• To derive a computable, microscopically grounded upper bound on heat engine efficiency that depends on the number of particles $ n $ in the heat bath.
• To provide a quantitative description of thermodynamic efficiency across all scales—microscopic, mesoscopic, and macroscopic—using asymptotic expansion in $ 1/n $.
• To construct a physical heat engine model that asymptotically achieves the derived upper bound up to second order in $ 1/n $.

Proposed method

• Derives the efficiency upper bound using statistical mechanical principles applied to finite-size heat baths with $ n $ particles.
• Performs an asymptotic expansion of the upper bound in powers of $ 1/n $, isolating the leading-order term as the Carnot efficiency.
• Constructs a specific heat engine model that achieves the upper bound up to second order in $ 1/n $, demonstrating feasibility.
• Uses microcanonical ensemble methods to model the finite heat bath and compute thermodynamic quantities precisely.
• Establishes a connection between the microscopic dynamics of the bath and the macroscopic efficiency limit via statistical mechanics.
• Demonstrates that the upper bound is explicitly computable for any finite $ n $, enabling quantitative analysis at mesoscopic scales.

Experimental results

Research questions

• RQ1 Can the Carnot efficiency be microscopically achieved in finite-size heat baths, and if so, under what conditions?
• RQ2 What is the precise form of the efficiency upper bound for a heat engine coupled to a finite heat bath of $ n $ particles?
• RQ3 How does the efficiency bound behave asymptotically as $ n \to \infty $, and what corrections arise at finite $ n $?
• RQ4 Can a physical heat engine model be constructed that asymptotically achieves the derived upper bound up to second order in $ 1/n $?
• RQ5 How does the efficiency limit transition across scales—from microscopic to mesoscopic to macroscopic—within a unified framework?

Key findings

• The upper bound on efficiency is explicitly derived using statistical mechanics for finite-size heat baths with $ n $ particles.
• The asymptotic expansion of the upper bound in $ 1/n $ reveals the Carnot efficiency as the leading-order (constant) term.
• A heat engine model is constructed that achieves the upper bound up to second order in $ 1/n $, proving the achievability of Carnot efficiency in the asymptotic limit.
• The upper bound is computable for any finite $ n $, enabling quantitative analysis of efficiency at mesoscopic scales.
• The result provides a unified description of thermodynamic efficiency across all scales, from microscopic to macroscopic, with finite-size corrections.
• The derivation closes a longstanding gap by showing that Carnot's theorem is not only a theoretical upper limit but also microscopically achievable in the thermodynamic limit of finite baths.