Quantum Mechanics Entropy and a Quantum Version of the H-Theorem

Abstract

Entropy is a fundamental concept which emerged along with other ideas during the development of thermodynamics and statistical mechanics Landau and Lifshitz (1978); Lieb and Yngvason (1999). Entropy has developed foremost out of phenomenological thermodynamical considerations such as the second law of thermodynamics in which it plays a prominent role Wehrl (1978). With the intense interest in the investigation of the physics of matter at the atomic and subatomic quantum levels, it maywell be askedwhether this concept can emerge out of the study of systems at a more fundamental level. In fact, it may be argued that a correct definition is only possible in the framework of quantum mechanics, whereas in classical mechanics, entropy can only be introduced in a rather limited and artificial way. Entropy relates macroscopic and microscopic aspects of nature, and ultimately determines the behavior of macroscopic systems. It is the intention here to present an introduction to this subject in a readable manner from the quantum point of view. There are many reasons for undertaking this. The intense interest in irreversible thermodynamics Grossing (2008), the statistical mechanics of astrophysical objects Padmanabhan (1990); Pathria (1977), quantum gravity and entropy of black holes Peres & al. (2004), testing quantum mechanics Ballentine (1970) and applications to condensed matter and quantum optics Haroche & al. (2006); Raimond & al. (2001) are just a few areas which are directly or indirectly touched on here. Let us begin by introducing the concept of entropy from the quantummechanical perspective, realizing that the purpose is to focus on quantum mechanics in particular. Quantum mechanics makes a clear distinction between observables and states. Observables such as position and momentum are mathematically described by self-adjoint operators in a Hilbert space. States, which are generally mixed, can be described by a density matrix, which is designated by ρ throughout. This operator ρ is Hermitean, has trace one and yields the expectation value of an observable A in the state ρ through the definition