Statistical thermodynamics of quantum Brownian motion: construction of perpetuum mobile of the second kind.

The Brownian motion of a quantum particle in a harmonic confining potential and coupled to harmonic quantum thermal bath is exactly solvable. Though this system presents at high temperatures a pedagogic example to explain the laws of thermodynamics, it is shown that at low enough temperatures the stationary state is non-Gibbsian due to an entanglement with the bath. In physical terms, this happens when the cloud of bath modes around the particle starts to play a nontrivial role, namely, when the bath temperature T is smaller than the coupling energy. Indeed, equilibrium thermodynamics of the total system, particle plus bath, does not imply standard equilibrium thermodynamics for the particle itself at low T. Various formulations of the second law are found to be invalid at low T. First, the Clausius inequality can be violated, because heat can be extracted from the zero point energy of the cloud of bath modes. Second, when the width of the confining potential is suddenly changed, there occurs a relaxation to equilibrium during which the entropy production is partly negative. In this process the energy put on the particle does not relax monotonically, but oscillates between particle and bath, even in the limit of strong damping. Third, for nonadiabatic changes of system parameters the rate of energy dissipation can be negative, and, out of equilibrium, cyclic processes are possible which extract work from the bath. Conditions are put forward under which perpetuum mobility of the second kind, having one or several work extraction cycles, enter the realm of condensed matter physics. Fourth, it follows that the equivalence between different formulations of the second law (e.g., those by Clausius and Thomson) can be violated at low temperatures. These effects are the consequence of quantum entanglement in the presence of the slightly off-equilibrium nature of the thermal bath, and become important when the characteristic quantum time scale variant Planck's over 2pi /k(B)T is larger than or comparable to other time scales of the system. They show that there is no general consensus between standard thermodynamics and quantum mechanics. The known agreements occur only due to the weak coupling limit, which does not pertain to low temperatures. Experimental setups for testing the effects are discussed.