Quantum approach to a derivation of the second law of thermodynamics

Typicality in random quantum scattering

We consider scattering processes where a quantum system comprises an inner subsystem and a boundary and is subject to Haar-averaged random unitaries acting on the boundary-environment Hilbert space only. We show that, regardless of the initial state, a single scattering event will disentangle the unconditional state (i.e., the scattered state when no information about the applied unitary is available) across the inner subsystem-boundary partition. Also, we apply Lévy's lemma to constrain the trace norm fluctuations around the unconditional state. Finally, we derive analytical formulas for the mean scattered purity for initial globally pure states and provide one with numerical evidence of the reduction of fluctuations around such mean values with increasing environmental dimension.

The Non-Equilibrium Thermodynamics of Natural Selection: From Molecules to the Biosphere

Evolutionary theory suggests that the origin, persistence, and evolution of biology is driven by the "natural selection" of characteristics improving the differential reproductive success of the organism in the given environment. The theory, however, lacks physical foundation, and, therefore, at best, can only be considered a heuristic narrative, of some utility for assimilating the biological and paleontological data at the level of the organism. On deeper analysis, it becomes apparent that this narrative is plagued with problems and paradoxes. Alternatively, non-equilibrium thermodynamic theory, derived from physical law, provides a physical foundation for describing material interaction with its environment at all scales. Here we describe a "natural thermodynamic selection" of characteristics of structures (or processes), based stochastically on increases in the global rate of dissipation of the prevailing solar spectrum. Different mechanisms of thermodynamic selection are delineated for the different biotic-abiotic levels, from the molecular level at the origin of life, up to the level of the present biosphere with non-linear coupling of biotic and abiotic processes. At the levels of the organism and the biosphere, the non-equilibrium thermodynamic description of evolution resembles, respectively, the Darwinian and Gaia descriptions, although the underlying mechanisms and the objective function of selection are fundamentally very different.

Entanglement of midspectrum eigenstates of chaotic many-body systems: Reasons for deviation from random ensembles

Eigenstates of local many-body interacting systems that are far from spectral edges are thought to be ergodic and close to being random states. This is consistent with the eigenstate thermalization hypothesis and volume-law scaling of entanglement. We point out that systematic departures from complete randomness are generically present in midspectrum eigenstates, and focus on the departure of the entanglement entropy from the random-state prediction. We show that the departure is (partly) due to spatial correlations and due to orthogonality to the eigenstates at the spectral edge, which imposes structure on the midspectrum eigenstates.

Common Environmental Effects on Quantum Thermal Transistor

Quantum thermal transistor is a microscopic thermodynamical device that can modulate and amplify heat current through two terminals by the weak heat current at the third terminal. Here we study the common environmental effects on a quantum thermal transistor made up of three strong-coupling qubits. It is shown that the functions of the thermal transistor can be maintained and the amplification rate can be modestly enhanced by the skillfully designed common environments. In particular, the presence of a dark state in the case of the completely correlated transitions can provide an additional external channel to control the heat currents without any disturbance of the amplification rate. These results show that common environmental effects can offer new insights into improving the performance of quantum thermal devices.

Dynamical Entanglement

Unlike the entanglement of quantum states, very little is known about the entanglement of bipartite channels, called dynamical entanglement. Here we work with the partial transpose of a superchannel, and use it to define computable measures of dynamical entanglement, such as the negativity. We show that a version of it, the max-logarithmic negativity, represents the exact asymptotic dynamical entanglement cost. We discover a family of dynamical entanglement measures that provide necessary and sufficient conditions for bipartite channel simulation under local operations and classical communication and under operations with positive partial transpose.

Taking snapshots of a quantum thermalization process: Emergent classicality in quantum jump trajectories

We investigate theoretically the emergence of classical statistical physics in a finite quantum system that is either totally isolated or otherwise subjected to a quantum measurement process. We show via a random matrix theory approach to nonintegrable quantum systems that the set of outcomes of the measurement of a macroscopic observable evolve in time like stochastic variables, whose variance satisfies the celebrated Einstein relation for Brownian diffusion. Our results show how to extend the framework of eigenstate thermalization to the prediction of properties of quantum measurements on an otherwise closed quantum system. We show numerically the validity of the random matrix approach in quantum chain models.

Simple scheme for extracting work with a single bath

We propose a simple protocol exploiting the thermalization of a storage bipartite system S to extract work from a resource system R. The protocol is based on a recent work definition involving only a single bath. A general description of the protocol is provided without specifying the characteristics of S. We quantify both the extracted work and the ideal efficiency of the process, also giving maximum bounds for them. Then, we apply the protocol to two cases: two interacting qubits and the Rabi model. In both cases, for very strong couplings, an extraction of work comparable with the bare energies of the subsystems of S is obtained and its peak is reached for finite values of the bath temperature, T. We finally show, in the Rabi model at T=0, how to transfer the work stored in S to an external device, permitting thus a cyclic implementation of the whole work-extraction protocol. Our proposal makes use of simple operations not needing fine control.

Eigenstate Thermalization for Degenerate Observables

Under unitary time evolution, expectation values of physically reasonable observables often evolve towards the predictions of equilibrium statistical mechanics. The eigenstate thermalization hypothesis (ETH) states that this is also true already for individual energy eigenstates. Here we aim at elucidating the emergence of the ETH for observables that can realistically be measured due to their high degeneracy, such as local, extensive, or macroscopic observables. We bisect this problem into two parts, a condition on the relative overlaps and one on the relative phases between the eigenbases of the observable and Hamiltonian. We show that the relative overlaps are unbiased for highly degenerate observables and demonstrate that unless relative phases conspire to cumulative effects, this makes such observables verify the ETH. Through this we elucidate potential pathways towards proofs of thermalization.

Subsystem eigenstate thermalization hypothesis

Motivated by the qualitative picture of canonical typicality, we propose a refined formulation of the eigenstate thermalization hypothesis (ETH) for chaotic quantum systems. This formulation, which we refer to as subsystem ETH, is in terms of the reduced density matrix of subsystems. This strong form of ETH outlines the set of observables defined within the subsystem for which it guarantees eigenstate thermalization. We discuss the limits when the size of the subsystem is small or comparable to its complement. In the latter case we outline the way to calculate the leading volume-proportional contribution to the von Neumann and Renyi entanglment entropies. Finally, we provide numerical evidence for the proposal in the case of a one-dimensional Ising spin chain.

Decomposition of radiation energy into work and heat

We investigate energy transfer by the radiation from a cavity quantum electrodynamics system in the context of quantum thermodynamics. We propose a method of decomposing it into work and heat within the framework of quantum master equations. We find that the work and heat correspond, respectively, to the coherent and incoherent parts of the radiation. In the derivation of the method, it is crucial to investigate the dynamics of the system that receives the radiation from the cavity.

Information-theoretic equilibrium and observable thermalization

A crucial point in statistical mechanics is the definition of the notion of thermal equilibrium, which can be given as the state that maximises the von Neumann entropy, under the validity of some constraints. Arguing that such a notion can never be experimentally probed, in this paper we propose a new notion of thermal equilibrium, focused on observables rather than on the full state of the quantum system. We characterise such notion of thermal equilibrium for an arbitrary observable via the maximisation of its Shannon entropy and we bring to light the thermal properties that it heralds. The relation with Gibbs ensembles is studied and understood. We apply such a notion of equilibrium to a closed quantum system and show that there is always a class of observables which exhibits thermal equilibrium properties and we give a recipe to explicitly construct them. Eventually, an intimate connection with the Eigenstate Thermalisation Hypothesis is brought to light.

Entropy increase in K-step Markovian and consistent dynamics of closed quantum systems

We consider sequences of measurements implemented by positive operator valued measures (POVMs). Starting from the assumption that these sequences may be described as consistent and Markovian, even and especially for closed quantum systems, we identify properties of the equilibrium state that coincide with the properties of typical pure quantum states. We define a physical entropy that converges against the standard entropies in the approach to equilibrium. Furthermore, strict limits to its possible decrease are derived on the basis of Renyi entropies. It is demonstrated that Landauer's principle follows directly from these limits. Since the above assumptions are rather strong, we exemplify the fact that they may nevertheless apply by checking them numerically for some transition paths in a concrete model.

Dynamics of thermalization and decoherence of a nanoscale system

We study the decoherence and thermalization dynamics of a nanoscale system coupled nonperturbatively to a fully quantum-mechanical bath. The system is prepared out of equilibrium in a pure state of the complete system. We propose a random matrix model and show analytically that there are two robust temporal regimes in the approach of the system to equilibrium-an initial Gaussian decay followed by an exponential tail, consistent with numerical results on small interacting lattices [S. Genway, A. F. Ho, and D. K. K. Lee, Phys. Rev. Lett. 105, 260402 (2010)]. Furthermore, the system decays towards a Gibbs ensemble in accordance with the eigenstate thermalization hypothesis.

Autonomous modular quantum systems: contextual Jarzynski relations

For autonomous quantum systems with modular structure we demonstrate that the Jarzynski relation can be reinterpreted to apply even locally: For this purpose certain contexts have to be introduced by selecting the system of interest versus its environment. The respective energy exchange is then divided into heat and work based on a generalized definition of these notions. In this way we are able to identify functional parts of the environment as either heat or work sources, respectively. We investigate different combinations of these functional parts with respect to contextual Jarzynski relations. Our analytical results are confirmed by numerical investigations on small multipartite systems.

Necessary condition for the thermalization of a quantum system coupled to a quantum bath

A system put in contact with a large heat bath normally thermalizes. This means that the state of the system ρS(t) approaches an equilibrium state ρ(eq)(S), the latter depending only on macroscopic characteristics of the bath (e.g., temperature) but not on the initial state of the system. The above statement is the cornerstone of the equilibrium statistical mechanics; its validity and its domain of applicability are central questions in the studies of the foundations of statistical mechanics. In the present paper we concentrate on one aspect of thermalization, namely, on the system initial state independence (ISI) of ρ(eq)(S). A necessary condition for the system ISI is derived in the quantum framework. We use the derived condition to prove the absence of the system ISI in a specific class of models. Namely, we consider a single spin coupled to a large bath, the interaction term commuting with the bath self-Hamiltonian (but not with the system self-Hamiltonian). Although the model under consideration is nontrivial enough to exhibit the decoherence and the approach to equilibrium, the derived necessary condition is not fulfilled and thus ρ(eq)(S) depends on the initial state of the spin.

Work exchange between quantum systems: the spin-oscillator model

With the development of quantum thermodynamics it has been shown that relaxation to thermal equilibrium and with it the concept of heat flux may emerge directly from quantum mechanics. This happens for a large class of quantum systems if embedded into another quantum environment. In this paper, we discuss the complementary question of the emergence of work flux from quantum mechanics. We introduce and discuss two different methods to assess the work source quality of a system, one based on the generalized factorization approximation, the other based on generalized definitions of work and heat. By means of those methods, we show that small quantum systems can, indeed, act as work reservoirs. We illustrate this behavior for a simple system consisting of a spin coupled to an oscillator and investigate the effects of two different interactions on the work source quality. One case will be shown to allow for a work source functionality of arbitrarily high quality.

Quantum solution to the arrow-of-time dilemma

The arrow-of-time dilemma states that the laws of physics are invariant for time inversion, whereas the familiar phenomena we see everyday are not (i.e., entropy increases). I show that, within a quantum mechanical framework, all phenomena which leave a trail of information behind (and hence can be studied by physics) are those where entropy necessarily increases or remains constant. All phenomena where the entropy decreases must not leave any information of their having happened. This situation is completely indistinguishable from their not having happened at all. In the light of this observation, the second law of thermodynamics is reduced to a mere tautology: physics cannot study those processes where entropy has decreased, even if they were commonplace.

Damped bounces of an isolated perfect quantum gas

The issue of the thermalization of an isolated quantum system is addressed by considering a perfect gas confined by gravity and initially trapped above a certain height. As we are interested in the behavior of truly isolated systems, we assume the gas is in a pure state of macroscopically well-defined energy. We show that, in general, for single-particle distributions, such a state is strictly equivalent to the microcanonical mixed state at the same energy. We derive an expression for the time-dependent gas density that depends on the initial gas state only via a few thermodynamic parameters. Though we consider noninteracting particles, the density relaxes into an asymptotic profile, but it is not the thermal equilibrium one determined by the gas energy and particle number.

No-broadcasting theorem and its classical counterpart

Although it is widely accepted that "no-broadcasting"-the nonclonability of quantum information-is a fundamental principle of quantum mechanics, an impossibility theorem for the broadcasting of general density matrices has not yet been formulated. In this Letter, we present a general proof for the no-broadcasting theorem, which applies to arbitrary density matrices. The proof relies on entropic considerations, and as such can also be directly linked to its classical counterpart, which applies to probabilistic distributions of statistical ensembles.

Joule expansion of a pure many-body state

We derive the Joule expansion of an isolated perfect gas from the principles of quantum mechanics. Contrary to most studies of irreversible processes which consider composite systems, the interesting and ignored degrees of freedom are here described by operators acting in the same many-body Hilbert space. Moreover, the expansion of the gas into the entire accessible volume is obtained for pure states. Still, the number particle density is characterized by a chemical potential and a temperature. We discuss the special case of a boson gas below the Bose condensation temperature.

Explanation of the Gibbs paradox within the framework of quantum thermodynamics

The issue of the Gibbs paradox is that when considering mixing of two gases within classical thermodynamics, the entropy of mixing appears to be a discontinuous function of the difference between the gases: it is finite for whatever small difference, but vanishes for identical gases. The resolution offered in the literature, with help of quantum mixing entropy, was later shown to be unsatisfactory precisely where it sought to resolve the paradox. Macroscopic thermodynamics, classical or quantum, is unsuitable for explaining the paradox, since it does not deal explicitly with the difference between the gases. The proper approach employs quantum thermodynamics, which deals with finite quantum systems coupled to a large bath and a macroscopic work source. Within quantum thermodynamics, entropy generally loses its dominant place and the target of the paradox is naturally shifted to a decrease of the maximally available work before and after mixing (mixing ergotropy). In contrast to entropy this is an unambiguous quantity. For almost identical gases the mixing ergotropy continuously goes to zero, thus resolving the paradox. In this approach the concept of "difference between the gases" gets a clear operational meaning related to the possibilities of controlling the involved quantum states. Difficulties which prevent resolutions of the paradox in its entropic formulation do not arise here. The mixing ergotropy has several counterintuitive features. It can increase when less precise operations are allowed. In the quantum situation (in contrast to the classical one) the mixing ergotropy can also increase when decreasing the degree of mixing between the gases or when decreasing their distinguishability. These points go against a direct association of physical irreversibility with lack of information.

Non-Markovian quantum dynamics: correlated projection superoperators and Hilbert space averaging

The time-convolutionless (TCL) projection operator technique allows a systematic analysis of the non-Markovian quantum dynamics of open systems. We present a class of projection superoperators that project the states of the total system onto certain correlated system-environment states. It is shown that the application of the TCL technique to this class of correlated superoperators enables the nonperturbative treatment of the dynamics of system-environment models for which the standard approach fails in any finite order of the coupling strength. We demonstrate further that the correlated superoperators correspond to the idea of a best guess of conditional quantum expectations, which is determined by a suitable Hilbert-space average. The general approach is illustrated by means of the model of a spin that interacts through randomly distributed couplings with a finite reservoir consisting of two energy bands. Extensive numerical simulations of the full Schrödinger equation of the model reveal the power and efficiency of the method.

Application of the Hilbert space average method on heat conduction models

We analyze closed one-dimensional chains of weakly coupled many level systems, by means of the so-called Hilbert space average method (HAM). Subject to some concrete conditions on the Hamiltonian of the system, our theory predicts energy diffusion with respect to a coarse-grained description for almost all initial states. Close to the respective equilibrium, we investigate this behavior in terms of heat transport and derive the heat conduction coefficient. Thus, we are able to show that both heat (energy) diffusive behavior as well as Fourier's law follows from and is compatible with a reversible Schrödinger dynamics on the complete level of description.

Global and local relaxation of a spin chain under exact Schrödinger and master-equation dynamics

We solve the Schrödinger equation for an interacting spin chain locally coupled to a quantum environment with a specific degeneracy structure. The reduced dynamics of the whole spin chain as well as of single spins is analyzed. We show that the total spin chain relaxes to a thermal equilibrium state independently of the internal interaction strength. In contrast, the asymptotic states of each individual spin are thermal for weak but nonthermal for stronger spin-spin coupling. The transition between both scenarios is found for couplings of the order of 0.1 x deltaE , with deltaE denoting the Zeeman splitting. We compare these results with a master-equation treatment; when time averaged, both approaches lead to the same asymptotic state and finally with analytical results.

Minimal work principle: proof and counter-examples

The minimal work principle states that work done on a thermally isolated equilibrium system is minimal for adiabatically slow (reversible) realization of a given process. This principle, one of the formulations of the second law, is studied here for finite (possibly large) quantum systems interacting with macroscopic sources of work. It is shown to be valid as long as the adiabatic energy levels do not cross. If level crossing does occur, counter-examples are discussed, showing that the minimal work principle can be violated and that optimal processes are neither adiabatically slow nor reversible. The results are corroborated by an exactly solvable model.

Work extraction in the spin-boson model

We show that work can be extracted from a two-level system (spin) coupled to a bosonic thermal bath. This is possible due to different initial temperatures of the spin and the bath, both positive (no spin population inversion), and is realized by means of a suitable sequence of sharp pulses applied to the spin. The extracted work can be of the order of the response energy of the bath, therefore much larger than the energy of the spin. Moreover, the efficiency of extraction can be very close to its maximum, given by the Carnot bound, at the same time the overall amount of the extracted work is maximal. Therefore, we get a finite power at efficiency close to the Carnot bound. The effect comes from the back-reaction of the spin on the bath, and it survives for a strongly disordered (inhomogeneously broadened) ensemble of spins. It is connected with generation of coherences during the work-extraction process, and we deduced it in an exactly solvable model. All the necessary general thermodynamical relations are deduced from the first principles of quantum mechanics and connections are made with processes of lasing without inversion and with quantum heat engines.

Local versus global thermal states: correlations and the existence of local temperatures

We consider a quantum system consisting of a regular chain of elementary subsystems with nearest neighbor interactions and assume that the total system is in a canonical state with temperature T . We analyze under what condition the state factors into a product of canonical density matrices with respect to groups of n subsystems each, and when these groups have the same temperature T. While in classical mechanics the validity of this procedure only depends on the size of the groups n, in quantum mechanics the minimum group size n(min) also depends on the temperature T! As examples, we apply our analysis to a harmonic chain and different types of Ising spin chains. We discuss various features that show up due to the characteristics of the models considered. For the harmonic chain, which successfully describes thermal properties of insulating solids, our approach gives a quantitative estimate of the minimal length scale on which temperature can exist: This length scale is found to be constant for temperatures above the Debye temperature and proportional to T-3 below.

Liouville dynamics and the conservation of classical information

We show that the invariance of entropic distances under Liouville dynamics yields classical analogues of information-related, quantum mechanical impossible operations. By recourse to Fisher's information measure, we also establish a connection between such classically forbidden operations and statistical estimation theory.

Classical no-cloning theorem

A classical version of the no-cloning theorem is discussed. We show that an arbitrary probability distribution associated with a (source) system cannot be copied onto another (target) system while leaving the original distribution of the source system unperturbed. For classical dynamical systems such a perfect cloning process is not permitted by the Liouvillian (ensemble) evolution associated with the joint probability distribution of the composite source-target-copying machine system.

Thermalizing quantum machines: dissipation and entanglement

We study the relaxation of a quantum system towards the thermal equilibrium using tools developed within the context of quantum information theory. We consider a model in which the system is a qubit, and reaches equilibrium after several successive two-qubit interactions (thermalizing machines) with qubits of a reservoir. We characterize completely the family of thermalizing machines. The model shows a tight link between dissipation, fluctuations, and the maximal entanglement that can be generated by the machines. The interplay of quantum and classical information processes that give rise to practical irreversibility is discussed.