Introduction

In the 1870-s, Ludwig Boltzmann published his celebrated kinetic equation and the H-theorem1,2 that gave the statistical foundation of the second law of thermodynamics3. The H-theorem states that if f(x; v; τ) is the distribution density of molecules of the ideal gas at the time τ, position x and velocity v, which satisfies the kinetic equation, then entropy defined as is non-diminishing, i.e. that . Boltzmann’s kinetic equation rests on the molecular chaos hypothesis which assumes that velocities of colliding particles are uncorrelated and independent of position. Striving to bypass molecular chaos hypothesis, unjustified within the classical mechanics, John von Neumann proposed4 pure quantum mechanical origin of the entropy growth. He defined entropy through quantum mechanical density matrix as , and offered a proof of non-decreasing entropy resting on the final procedure of macroscopic measurement. As this proof yet invoked concepts going beyond pure quantum mechanical treatment, the nonstop tireless search for the quantum mechanical foundation of the H-theorem have been continuing ever since, see ref. 5 for a review. At the same time there have been a remarkable progress in quantum information theory (QIT), which formulated several rigorous mathematical theorems about the conditions for a non-negative entropy gain6,7. In this communication we show how the results of QIT apply to physical quantum systems and phenomena establishing thus non-diminishing von Neumann’s entropy in physics and formulate the conditions under which the evolution accompanied by non-diminishing entropy arises within pure quantum mechanical framework.

To describe quantum dynamics of an open system, the quantum information theory introduces the so-called quantum channel (QC) defined as a trace-preserving completely positive map, , of a density matrix6. A remarkable general result of the QIT states that the entropy gain in a channel is8

where is the identity operator. This formula was derived from the monotonicity property9 of the relative entropy under the quantum channel Φ :  , where . There exists a wide class of channels, the so-called unital channels, defined by the relation , for which the right hand side of Eq. (1) vanishes, , so that the entropy gain is non-negative, . Then within the framework of the QIT one can formulate the quantum H-theorem as follows: the entropy gain during evolution is nonnegative if the system evolution can be described by the unital channel. Moreover, for a quantum system endowed with the finite N-dimensional Hilbert space, the unitality condition becomes not only a sufficient, but also the necessary condition for non-diminishing entropy. Indeed, let us assume that for any initial state of a system with N-dimensional Hilbert space, the entropy gain in a channel Φ is non-negative. It then follows that for the chaotic state that already has the maximal entropy, , the entropy cannot grow, . Thus , therefore, and the channel is unital. For an infinite-dimensional quantum system the entropy is not continuous10, and this situation requires special consideration. Finally, it is noteworthy that there exist certain classes of states that evolve with even if the channel is not unital11.

To connect the general result (1) and the related mathematical H-theorem formulation to the realm of physics note that any quantum system interacting with the reservoir generates a quantum channel. Indeed, let us consider joint evolution of the grand system, comprising a given quantum system and a reservoir initially prepared in a disentangled state, , where is the density matrix of the reservoir. Let be the unitary operator describing the temporal evolution of the grand system. Then, according to the Stinespring-Kraus dilation theorem6 is the quantum channel. Note that the evolution from an initially entangled state may be accompanied by the arbitrary gain in entropy. This demonstrates the necessity of the disentanglement condition. Examples of how the initially entangled system can evolve with the decreasing entropy are given e.g. in refs 12 and 13.

To compare how do the classical and quantum H-theorems work, note that for the former to hold, the classical distribution function of the system involved should obey the kinetic equation. The constraint imposed on the evolution of the density matrix of the quantum system is that the corresponding quantum channel is unital. This defines our task as to find out the necessary conditions under which the temporal dynamics of a quantum system endowed with the specific interaction with environment can be modeled by the unital quantum channel. Below, we formulate these conditions for the so called quasi-isolated quantum systems with the negligible energy exchange with environment and demonstrate how do they apply to generic exemplary physical realizations.

Quantum H-theorem

In physics the positive entropy gain, according to the second law of thermodynamics, is ensured by the energy isolation of the evolving system. In contrast to the classical formulation of the second law where any isolated classical system evolves with the non-diminishing entropy, its literal extension onto the quantum case is meaningless since the entropy of any isolated quantum system does not change, . Hence, to bring the thermodynamic meaning to the consideration of quantum evolution one has to allow an interaction with the environment and establish the notion of the quasi-isolated system. However, letting an arbitrarily system-environment interaction causes immediate problem. The energy exchange ΔE between the system and environment at temperature T and its entropy gain are related in classical thermodynamics as ΔS = ΔE/kBT. One would expect that in a quantum case the similar relation also might hold provided the quantum system interacted with the macroscopic reservoir during the sufficiently long time. Moreover, long time evolution of a quantum system which exchanges energy with an environment can not, in general, be described by the unital channel at all. Indeed, consider a finite dimensional quantum system with N discrete non-degenerate energy states |En〉 initially prepared in the chaotic state . Then the long-time interaction with the low temperature environment drives the system into the low energy states and hence the resulting quantum channel becomes non-unital, . Therefore, one has to restrict allowable interactions to the class of interactions that provide the system’s entanglement with the environment, but yet keep the energy exchange with the environment negligible. Such an interaction, for example, is realized for a specific environment of nuclear spins which possesses a highly energy-degenerate ground state. For a general situation of the environment endowed with the low-energy excitations, one can employ the concept of the quasi-isolated system provided there is a time separation between the the dephasing time T2 of the off-diagonal elements of the density matrix and the relaxation time of its diagonal elements, T1. Then in the intermediate time evolution regime the system gets entangled with its environment but its energy exchange remains still negligible. Accordingly, in what follows we discuss the systems energy-isolated from the reservoir. Furthermore, we will be assuming that our systems are initially disentangled from the reservoir.

Let us consider a fixed energy subspace E of the system Hilbert space spanned by the orthonormal basis states |ψi,E〉, , where index i denotes all the remaining non-energy system’s degrees of freedom and is the system Hamiltonian. It is convenient to present the evolution operator, , of the grand system (a system plus reservoir) as

where sji,E are the components of the scattering matrix corresponding to the transition amplitude between the system’s quantum states |ψi,E〉 → |ψj,E〉 (without taking into account interaction with the reservoir) and operators are the family of operators acting in the reservoir Hilbert space, with the subscripts i, j, and E specifying the system’s states (for details see Supplementary Section S1). The factorization into sji,E and is not unique, so we will be choosing the most suitable one for each particular case.

For an energy-isolated quantum system the quantum states at different energies transform independently. To determine whether the evolution belongs in the class of the unitality channel, one has to check if the system obeys the relation. Using the unitarity of , one finds

where 〈…〉 is averaging with respect to the initial state of the reservoir, and (the proof is presented in Supplementary Section S2). This relation is our central result. It establishes the criterion for unitality of the energy-isolated system in terms of physical operators describing the interaction of the quantum system with the reservoir. Combining the concept of unitality and relation (3) we reformulate quantum H-theorem as follows.

Let the quantum system interacting with the reservoir be initially disentangled from it and be energy-isolated during the evolution. Let , where operators and coefficients sji,E are defined as in Eq. (2) , for energies E at which the system can be found with a finite probability, i.e. . Then the resulting quantum channel is unital in the subspace spanned by the states |ψE,iwith a finite and hence the quantum system evolves with a non-negative entropy gain .

There may be two major scenaria by which the right hand side of the Eq. (3) can vanish: (i) The ‘microscopic’ scenario where the reservoir operators commute individually, ; and (ii) The ‘macroscopic’ scenario where only the averaged commutators vanish, , while individual operators do not. Below we demonstrate that the scenario (i) is realized for the electron interacting with the phonon bath, under the condition of the quasi-elastic scattering, see Eq. (12). Here the unitality of the quantum channel appears already on a microscopic level for every electron-phonon collision event. The scenario (ii) realizes, for example, for an electron interacting with the random ensemble of 3D nuclear spins, so that the vanishing of the averaged commutators occurred at the macro-level in the thermodynamic limit of the large spin ensemble. Importantly, the above formulation of the H-theorem applies also to a situation where vanishing of the weighted commutators occurs only within certain energy range and does not hold for the arbitrary energies of the system. For example, in case of the electron-phonon interaction the dynamics of an electron can be described by the unital channel only at high electron energies exceeding the Debye energy, see below.

The obtained formulation of the quantum H-theorem enables us to reveal a fundamental difference in how the second law of thermodynamics manifests itself in quantum and classical physics. In classical thermodynamics the energy-isolated system inevitably evolves with non-diminishing entropy. We find that in quantum physics the situation is different. To demonstrate that, we construct an energy-isolated quantum system for which and which thus evolves with the negative entropy gain. Let us consider a charged particle moving in a three-lead conductor and interacting with the spin via the induced magnetic field, see Fig. 1, and, according to our general framework, initially disentangled from the spin. In the absence of the external magnetic field the energy exchange is absent and the particle is energy-isolated. The joint scattering states of the particle and spin have the form

Figure 1
figure 1

Scattering in a 3-lead setup.

A particle incident from the lead 1 is scattered into two other leads 2 and 3. Propagating particle induces magnetic field perpendicular to the lead direction. The spin is placed at the point where the respective fields induced by particles propagating along leads 2 and 3 are perpendicular to each other. To simplify consideration, we choose the set up design allowing to neglect the field induced by the particle in the lead 1.

where is the particle’s incoming/outgoing state in the lead α, sβα are the components of the scattering matrix of the three lead set up, |σ0〉 is the initial state of the spin and is the unitary spin-1/2 rotation of the spin due to outgoing (incoming) electron in the lead α. Then the operators of Eq. (3) are defined as .

Let us recall now that rotations of a spin about different axis in general do not commute. We choose spin-1/2 rotations as , and , where and are the Pauli matrices, so that . Accordingly, , and the resulting quantum channel is non-unital. The explicit calculation gives (for details of derivation Supplementary Section S3)

Let the initial state of the spin be a pure state , so that all the in the Eq. (5) are equal to 1/3. Hence all off-diagonal elements of appear finite. Taking all s = 2/3, at some energy E0, we construct the normalized initial state of the particle as , with f(E) being the normalized to unity distribution function centered around E = 0 and rapidly decaying as |E| → ∞, and obtain ΔS ≈ −0.05kB. We thus demonstrated that even the energy isolation does not guarantee the evolution with the non-diminishing entropy. Note that in the discussed example the reservoir acts as some quantum analogue of the classical Maxwell demon. Namely, having been prepared in a special state, the reservoir is able to decrease the entropy of the system without the energy exchange with it, and can be referred to as a ‘quantum Maxwell demon’ discussed in ref. 14 in the context of the work extraction in nano-devices. An extension of the Second Law, accounting for the classical correlation between the system and an information reservoir, i.e. classical Maxwell demon, has recently been considered in refs 15 and 16. In what was discussed above, an electron interaction with the quantum spin does not induce any correlations between the electron and the spin and, therefore, no classical correlations are present. Hence an important distinction between how do quantum and classical Maxwell’s demons operate.

Elastic scattering

As a first example of a system satisfying quantum H-theorem, we consider an electron elastically scattered by the one-dimensional (1D) potential barrier, see Fig. 2. Let the electron reflection be accompanied by the change of the reservoir state (e.g. let the reflection to imply emission of the low energy photon via braking radiation, or scattering of the photon), see Fig. 2b, and the electron transmission to retain the state of the reservoir, see Fig. 2a. Accordingly, the joint scattering states of the particle with the fixed energy assume the form,

Figure 2
figure 2

Braking radiation in 1D.

(a) A scattering where electron is transmitted without photon emission. (b) A backward scattering event accompanied by the emission of photons.

where indices {L, R} denote the incident (scattered) states in the left and right leads, respectively, |n〉 is the initial reservoir state, and |n′〉 and |n″〉 are the reservoir states resulting from the backscattering to the left and to the right, respectively. The unitality of the corresponding channel follows now from general Eq. (3). However, for illustrative purpose we derive unitality straightforwardly using the explicit form of Eqs (6) and (7) (for details please see Supplementary Section S4). Namely, calculating in the basis of left and right scattering channels, i, j {L, R}, we obtain

and taking into account the unitarity of the overall transformation, we arrive at . Since this condition holds for any E, then for any state the system evolves with . The above consideration with some minor modifications holds for the grand system where the role of the reservoir is taken up by a single spin located near the scatterer. Then the spin remains intact if the particle is reflected and is rotated by the magnetic field induced by the transmitted particle.

Let us generalize the above consideration onto the particle propagating along the two-dimensional array of scatterers and spins (comprising the reservoir) located in the xy-plane. The magnetic field induced by the propagating particle is perpendicular to the plane, and all spins experience the commuting unitary rotations around the perpendicular z-axis. All the rotations commute, hence the condition of the quantum H-theorem is satisfied and .

Remarkably, the property of unitality of the grand system with the spin reservoir preserves in the 3D case. As we mentioned above, the rotations experienced by an individual spin may appear, in general, non-commuting. Note, however, that operators in Eq. (3) acquire the form

where is a unitary rotation of a spin a by the electron experienced a scattering process from the state |i〉 to the state |j〉. Then

where is the total number of spins. For most of the spins, the factors that appear upon averaging Eq. (10) are small, . We arrive at the estimate

therefore, as N → ∞. We see that in the macroscopic limit of the number of spins, the averaged commutators appearing in the condition for the H-theorem vanish in spite of the fact that the commutators for the individual spins could remain finite. Thus the evolution of the considered 3D system occurs with .

To proceed further, we note, that if one can find a basis in the reservoir Hilbert space where all -operators are diagonal, then the operators commute. Below we present two generic physical examples where this basis can be found explicitly: (i) an electron interacting with adiabatic two-level impurities and (ii) electron-phonon interaction in solids.

Scattering on two-level systems

Consider the electron scattering on impurities that fluctuate between two positions with nearly equal energies. To be concrete we focus on the random walk of the electron along the ensemble of TLS (see the description of the similar systems in refs 17 and 18) as shown in Fig. 3. Assume for simplicity that (i) the dynamics of a TLS is slow hence its state does not change during the interaction with the electron and that (ii) each TLS which is in the state |↑〉 (|↓〉), scatters the electron via elastic unitary matrix . Then the global unitary transformation is given by where describes the scattering on the n-th impurity. Denote the scattering state of the electron moving in a direction k by |k〉. Then the reservoir operator with , see Eq. (2), commute with each other and, therefore, the second term in Eq. (3) vanishes. Hence, in each particular scattering event the entropy of the particle is non-diminishing.

Figure 3
figure 3

1D random walk of an electron.

Two-level systems (TLSs) shown as double well potentials are located equidistantly along the wire. Each TLS forms an effective potential for the electron, which depends on the TLS’s quantum state. For simplicity we consider a completely transparent (open) or completely reflective (closed) effective scattering potential depending on the TLS state. At each scattering event the set of TLSs is replaced by a new (unentangled) one.

The question that now arises is whether the non-diminishing entropy maintains for the sequence of scatterings. Recall that in order for the entropy to grow monotonously, an electron should be disentangled from the TLS with which it is going to interact. Since in the course of the evolution an electron may return to the TLS on which it have scattered and, with which, therefore, it could have been getting entangled in the past, these returns would violate this ‘initial non-entanglement condition.’ Thus to guarantee the evolution with non-diminishing entropy the TLS should have interacted with some other degrees of freedom that would lead to the memory loss of this TLS prior to the possible return of the electron. This memory loss is the manifestation of the so-called monogamy of entanglement19 which is a specific property of the entanglement distribution between quantum systems: if a TLS is already entangled with an electron and later it becomes entangled with another degree of freedom then the initial entanglement with the electron vanishes. Thus the process of sequential scattering of an electron satisfies the H-theorem if the typical entanglement time for the TLS is less than the typical return time of an electron to the particular TLS.

The interaction of a quantum system with a memoryless environment can be described by Markovian (or equivalently Lindblad) master equation20. The system’s dynamics governed by Lindblad master equation can be described within the so called collision model21 where a quantum system (electron) interacts locally in time with the different environmental degrees of freedom or sub-environments. In a situation, where different sub-environments are initially uncorrelated and the system interacts with the given sub-environment at most once, the resulting quantum channel possesses a divisibility property: , where Φi is a quantum channel corresponding to the scattering on ith TLS followed by a free unitary evolution. In a more realistic situation, the TLSs may retain the partial entanglement with the electron that induces finite time memory effects in the environment. In this situation while the quantum channel is not divisible and hence cannot be described by the Lindblad master equation any more, it still can be described within in the collision model framework22,23,24. This may result, in general, in a non-monotonic entropy evolution. This issue requires a separate study and will be a topic of a forthcoming work.

Electron-phonon interaction

Now we demonstrate that the electron-phonon interaction leads to the electron evolution which satisfies the conditions of the quantum H-theorem. In a standard electron-phonon interaction model, a representative test electron ‘sees’ a screened short-range ionic potential. Since the resulting scattering time is short and the ion is much heavier than the electron, the position of a given ion remains nearly unchanged during the interaction with the electron, see Fig. 4. Then the standard consideration of the electron-phonon interaction25 results in a conclusion that at high temperatures where the typical energy of an electron is relatively high (i.e. it exceeds the Debye energy, the maximal energy of phonons), the electron-phonon collisions are quasi-elastic. This allows us to apply the same arguments as for the model of an electron interacting with two-level impurities considered above. Indeed, the slow ion-dynamics preserves the classical distribution function, ρion({r}), for the ions positions {r} = {r1, r2, …} and hence the induced -operators are diagonal in the ion coordinate basis,

Figure 4
figure 4

Electrons and phonons in an atomic lattice.

The scattering state of an electron depends strongly on the position of the scattering atom in the lattice. Importantly, the position of the scatterer remains almost unchanged during the scattering process because of the significant mass difference between the scattered electron and the scattering atom.

where sji({r}) are electron scattering matrix on the potential defined by the ions positions {r}. Therefore the conditions of the quantum H-theorem hold for electrons with energies exceeding the Debye energy. The initial disentanglement of the electron from the ionic reservoir is ensured either by the fact that a given ion did not participate in the previous collisions with the electron, or has already ‘forgotten’ about such an event due to the monogamy of entanglement.

It is noteworthy that unlike the other systems discussed in previous sections, the evolution of the electron-phonon system does not occur in the unital channel. Nevertheless, it satisfies the condition of the H-theorem thus illustrating a mathematical result establishing that for some classes of initial states even the evolution defined by non-unital channels may occur with the non-diminishing entropy11. The technical details and additional examples are given in the supplementary information.

Additional Information

How to cite this article: Lesovik, G. B. et al. H-theorem in quantum physics. Sci. Rep. 6, 32815; doi: 10.1038/srep32815 (2016).