Second law of thermodynamics in closed quantum many-body systems

TL;DR

This paper demonstrates that the second law of thermodynamics holds for quantum many-body systems in the thermodynamic limit by introducing concepts like iMATE and showing entropy non-decrease under macroscopic operations.

Contribution

It introduces the concept of infinite-observable macroscopic thermal equilibrium (iMATE) and proves the second law for quantum systems using macroscopic observables and operations.

Findings

No work can be extracted from iMATE states via macroscopic operations.

Quantum entropy density in iMATE states cannot be decreased by macroscopic operations.

The second law is established for quantum many-body systems in the thermodynamic limit.

Abstract

The second law of thermodynamics for adiabatic operations -- constraints on state transitions in closed systems under external control -- is one of the fundamental principles of thermodynamics. On the other hand, it is recently established that even pure quantum states can represent thermal equilibrium. However, pure quantum states do not satisfy the second law in that they are not passive, i.e., work can be extracted from them if arbitrary unitary operations are allowed. It therefore remains unresolved how quantum mechanics can be reconciled with thermodynamics. Here, based on our key quantum-mechanical notions of thermal equilibrium and adiabatic operations, we address the emergence of the second law for adiabatic operations in the thermodynamics limit. We first introduce infinite-observable macroscopic thermal equilibrium (iMATE); a quantum state, including pure states, is in iMATE if the expectation values of all additive observables agree with their equilibrium values. We also introduce a macroscopic operation as unitary evolution generated by a time-dependent additive Hamiltonian, which is regarded as corresponding to adiabatic operations. Employing these concepts, we show that no extensive work can be extracted from any quantum state in iMATE through any macroscopic operations. Furthermore, we introduce a quantum-mechanical form of entropy density such that it agrees with thermodynamic entropy density for any quantum state in iMATE. We then prove that for any initial state in iMATE, this entropy density cannot be decreased by any macroscopic operations, followed by a time-independent relaxation process. Our theory thus proves two different forms of the second law, by adopting macroscopically reasonable classes of observables, equilibrium states, and operations. We also discuss the time scales of macroscopic operations in these results.