A general derivation and quantification of the third law of thermodynamics

Quantum non-Markovianity, quantum coherence and extractable work in a general quantum process

A key concept in quantum thermodynamics is extractable work, which specifies the maximum amount of work that can be extracted from a quantum system. Different quantities are used to measure extractable work, the most prevalent of which are ergotropy and the difference between the non-equilibrium and equilibrium quantum free energies. Using the latter, we investigate the evolution of extractable work when an open quantum system undergoes a general quantum process described by a completely-positive and trace-preserving dynamical map. We derive a fundamental equation of thermodynamics for such processes as a relation between the distinct sorts of energy change in such a way that the first and the second law of thermodynamics are combined. We then identify the contributions from the reversible and irreversible processes in this equation and demonstrate that they are respectively responsible for the evolution of heat and extractable work of the open quantum system. Furthermore, we show how this correspondence between irreversibility and extractable work has the potential to provide a clear explanation of how the quantum properties of a system affect its extractable work evolution. Specifically, we establish this by directly connecting the change in extractable work with the change in standard quantifiers of quantum non-Markovianity and quantum coherence during a general quantum process. We illustrate these results with two examples.

Testing the Minimum System Entropy and the Quantum of Entropy

Experimental and theoretical results about entropy limits for macroscopic and single-particle systems are reviewed. All experiments confirm the minimum system entropy S⩾kln2. We clarify in which cases it is possible to speak about a minimum system entropykln2 and in which cases about a quantum of entropy. Conceptual tensions with the third law of thermodynamics, with the additivity of entropy, with statistical calculations, and with entropy production are resolved. Black hole entropy is surveyed. Claims for smaller system entropy values are shown to contradict the requirement of observability, which, as possibly argued for the first time here, also implies the minimum system entropy kln2. The uncertainty relations involving the Boltzmann constant and the possibility of deriving thermodynamics from the existence of minimum system entropy enable one to speak about a general principle that is valid across nature.

Speed limit, dissipation bound, and dissipation-time trade-off in thermal relaxation processes

We investigate bounds on speed, nonadiabatic entropy production, and the trade-off relation between them for classical stochastic processes with time-independent transition rates. Our results show that the time required to evolve from an initial to a desired target state is bounded from below by the information-theoretical ∞-Rényi divergence between these states, divided by the total rate. Furthermore, we conjecture and provide extensive numerical evidence for an information-theoretical bound on the nonadiabatic entropy production and a dissipation-time trade-off relation that outperforms previous bounds in some cases..

Thermodynamics of the Ramsey Zone

We studied the thermodynamic properties such as the entropy, heat (JQ), and work (JW) rates involved when an atom passes through a Ramsey zone, which consists of a mode field inside a low-quality factor cavity that behaves classically, promoting rotations on the atomic state. Focusing on the atom, we show that JW predominates when the atomic rotations are successful, maintaining its maximum purity as computed by the von Neumann entropy. Conversely, JQ stands out when the atomic state ceases to be pure due to its entanglement with the cavity mode. With this, we interpret the quantum-to-classical transition in light of the heat and work rates. Besides, we show that, for the cavity mode to work as a Ramsey zone (classical field), several photons (of the order of 106) need to cross the cavity, which explains its classical behavior, even when the inside average number of photons is of the order of unity.

Controlling the uncontrollable: Quantum control of open-system dynamics

Control of open quantum systems is essential for the realization of contemporary quantum science and technology. We demonstrate such control using a thermodynamically consistent framework, taking into account the fact that the drive can modify the system's interaction with the environment. Such an effect is incorporated within the dynamical equation, leading to control-dependent dissipation. This relation serves as the key element for open-system control. The control paradigm is displayed by analyzing entropy-changing state-to-state transformations, such as heating and cooling. The difficult task of controlling quantum gates is achieved for nonunitary reset maps with complete memory loss. In addition, we identify a mechanism for controlling unitary gates by actively removing entropy from the system to the environment. We demonstrate a universal set of single- and double-qubit unitary gates under dissipation.

Heat engines with single-shot deterministic work extraction

We introduce heat engines working in the nanoregime that allow one to extract a finite amount of deterministic work. Using the resource theory approach to themodynamics, we show that the efficiency of these cycles is strictly smaller than Carnot's, and we associate this difference with a fundamental irreversibility that is present in single-shot transformations. When fluctuations in the extracted work are allowed there is a trade-off between their size and the efficiency. As the size of fluctuations increases so does the efficiency and optimal efficiency is attained for unbounded fluctuations, while a certain amount of deterministic work is drawn from the cycle. Finally, we show that when the working medium is composed of many particles, by creating an amount of correlations between the subsystems that scale logarithmically with their number, Carnot's efficiency can also be approached in the asymptotic limit along with deterministic work extraction.

Many-body quantum thermal machines

Thermodynamics of quantum systems and quantum thermal machines are rapidly developing fields, which have already delivered several promising results, as well as raised many intriguing questions. Many-body quantum machines present new opportunities stemming from many-body effects. At the same time, they pose new challenges related to many-body physics. In this short review we discuss some of the recent developments on technologies based on many-body quantum systems. We mainly focus on many-body effects in quantum thermal machines. We also briefly address the role played by many-body systems in the development of quantum batteries and quantum probes.

Channels, measurements, and postselection in quantum thermodynamics

We analyze the benefit, in terms of extracting work, of having a single use of a quantum channel or measurement in quantum thermodynamics. This highlights a connection between unital and catalytic channels, and some subtleties concerning the conditional work cost of implementing a measurement given that a certain result was obtained. We also consider postselected measurements and show that any nontrivial postselection leads to an unbounded work benefit.

Currencies in Resource Theories

How may we quantify the value of physical resources, such as entangled quantum states, heat baths or lasers? Existing resource theories give us partial answers; however, these rely on idealizations, like perfectly independent copies of states or exact knowledge of a quantum state. Here we introduce the general tool of “currencies” to quantify realistic descriptions of resources, applicable in experimental settings when we do not have perfect control over a physical system, when only the neighbourhood of a state or some of its properties are known, or when slight correlations cannot be ruled out. Currencies are a subset of resources chosen to quantify all the other resources—like Bell pairs in LOCC or a lifted weight in thermodynamics. We show that from very weak assumptions in the theory we can already find useful currencies that give us necessary and sufficient conditions for resource conversion, and we build up more results as we impose further structure. This work generalizes axiomatic approaches to thermodynamic entropy, work and currencies made of local copies. In particular, by applying our approach to the resource theory of unital maps, we derive operational single-shot entropies for arbitrary, non-probabilistic descriptions of resources.

The tight Second Law inequality for coherent quantum systems and finite-size heat baths

In classical thermodynamics, the optimal work is given by the free energy difference, what according to the result of Skrzypczyk et al. can be generalized for individual quantum systems. The saturation of this bound, however, requires an infinite bath and ideal energy storage that is able to extract work from coherences. Here we present the tight Second Law inequality, defined in terms of the ergotropy (rather than free energy), that incorporates both of those important microscopic effects - the locked energy in coherences and the locked energy due to the finite-size bath. The former is solely quantified by the so-called control-marginal state, whereas the latter is given by the free energy difference between the global passive state and the equilibrium state. Furthermore, we discuss the thermodynamic limit where the finite-size bath correction vanishes, and the locked energy in coherences takes the form of the entropy difference. We supplement our results by numerical simulations for the heat bath given by the collection of qubits and the Gaussian model of the work reservoir.

Fluctuations in Extractable Work Bound the Charging Power of Quantum Batteries

We study the connection between the charging power of quantum batteries and the fluctuations of the extractable work. We prove that in order to have a nonzero rate of change of the extractable work, the state ρ_{W} of the battery cannot be an eigenstate of a "free energy operator," defined by F≡H_{W}+β^{-1}log(ρ_{W}), where H_{W} is the Hamiltonian of the battery and β is the inverse temperature of a reference thermal bath with respect to which the extractable work is calculated. We do so by proving that fluctuations in the free energy operator upper bound the charging power of a quantum battery. Our findings also suggest that quantum coherence in the battery enhances the charging process, which we illustrate on a toy model of a heat engine.

Still Minding the Gap? Reflecting on Transitions between Concepts of Information in Varied Domains

This conceptual paper, a contribution to the tenth anniversary Special Issue of Information, gives a cross-disciplinary review of general and unified theories of information. A selective literature review is used to update a 2013 article on bridging the gaps between conceptions of information in different domains, including material from the physical and biological sciences, from the humanities and social sciences including library and information science, and from philosophy. A variety of approaches and theories are reviewed, including those of Brenner, Brier, Burgin and Wu, Capurro, Cárdenas-García and Ireland, Hidalgo, Hofkirchner, Kolchinsky and Wolpert, Floridi, Mingers and Standing, Popper, and Stonier. The gaps between disciplinary views of information remain, although there has been progress, and increasing interest, in bridging them. The solution is likely to be either a general theory of sufficient flexibility to cope with multiple meanings of information, or multiple and distinct theories for different domains, but with a complementary nature, and ideally boundary spanning concepts.

Steering Heat Engines: A Truly Quantum Maxwell Demon

We address the question of verifying the quantumness of thermal machines. A Szilárd engine is truly quantum if its work output cannot be described by a local hidden state model, i.e., an objective local statistical ensemble. Quantumness in this scenario is revealed by a steering-type inequality which bounds the classically extractable work. A quantum Maxwell demon can violate that inequality by exploiting quantum correlations between the work medium and the thermal environment. While for a classical Szilárd engine an objective description of the medium always exists, any such description can be ruled out by a steering task in a truly quantum case.

Unifying paradigms of quantum refrigeration: Fundamental limits of cooling and associated work costs

In classical thermodynamics the work cost of control can typically be neglected. On the contrary, in quantum thermodynamics the cost of control constitutes a fundamental contribution to the total work cost. Here, focusing on quantum refrigeration, we investigate how the level of control determines the fundamental limits to cooling and how much work is expended in the corresponding process. We compare two extremal levels of control: first, coherent operations, where the entropy of the resource is left unchanged, and, second, incoherent operations, where only energy at maximum entropy (i.e., heat) is extracted from the resource. For minimal machines, we find that the lowest achievable temperature and associated work cost depend strongly on the type of control, in both single-cycle and asymptotic regimes. We also extend our analysis to general machines. Our work provides a unified picture of the different approaches to quantum refrigeration developed in the literature, including algorithmic cooling, autonomous quantum refrigerators, and the resource theory of quantum thermodynamics.

An introductory review of the resource theory approach to thermodynamics

I give a self-contained introduction to the resource theory approach to quantum thermodynamics. I will introduce in an elementary manner the technical machinery necessary to unpack and prove the core statements of the theory. The topics covered include the so-called 'many second laws of thermodynamics', thermo-majorisation and symmetry constraints on the evolution of quantum coherence. Among the elementary applications, I explicitly work out the bounds on deterministic work extraction and formation, discuss the complete solution of the theory for a single qubit and present the irreversibility of coherence transfers. The aim is to facilitate the task of those researchers interested in engaging and contributing to this topic, presenting scope and motivation of its core assumptions and discussing the relation between the resource theory and complementary approaches.

Unifying Paradigms of Quantum Refrigeration: A Universal and Attainable Bound on Cooling

Cooling quantum systems is arguably one of the most important thermodynamic tasks connected to modern quantum technologies and an interesting question from a foundational perspective. It is thus of no surprise that many different theoretical cooling schemes have been proposed, differing in the assumed control paradigm and complexity, and operating either in a single cycle or in steady state limits. Working out bounds on quantum cooling has since been a highly context dependent task with multiple answers, with no general result that holds independent of assumptions. In this Letter we derive a universal bound for cooling quantum systems in the limit of infinite cycles (or steady state regimes) that is valid for any control paradigm and machine size. The bound only depends on a single parameter of the refrigerator and is theoretically attainable in all control paradigms. For qubit targets we prove that this bound is achievable in a single cycle and by autonomous machines.

Novel Technique for Robust Optimal Algorithmic Cooling

Heat-bath algorithmic cooling provides algorithmic ways to improve the purity of quantum states. These techniques are complex iterative processes that change from each iteration to the next and this poses a significant challenge to implementing these algorithms. Here, we introduce a new technique that on a fundamental level, shows that it is possible to do algorithmic cooling and even reach the cooling limit without any knowledge of the state and using only a single fixed operation, and on a practical level, presents a more feasible and robust alternative for implementing heat-bath algorithmic cooling. We also show that our new technique converges to the asymptotic state of heat-bath algorithmic cooling and that the cooling algorithm can be efficiently implemented; however, the saturation could require exponentially many iterations and remains impractical. This brings heat-bath algorithmic cooling to the realm of feasibility and makes it a viable option for realistic application in quantum technologies.

Correlations as a resource in quantum thermodynamics

The presence of correlations in physical systems can be a valuable resource for many quantum information tasks. They are also relevant in thermodynamic transformations, and their creation is usually associated to some energetic cost. In this work, we study the role of correlations in the thermodynamic process of state formation in the single-shot regime, and find that correlations can also be viewed as a resource. First, we show that the energetic cost of creating multiple copies of a given state can be reduced by allowing correlations in the final state. We obtain the minimum cost for every finite number of subsystems, and then we show that this feature is not restricted to the case of copies. More generally, we demonstrate that in the asymptotic limit, by allowing a logarithmic amount of correlations, we can recover standard results where the free energy quantifies this minimum cost.

Correlations in quantum thermodynamics are usually regarded as a useful but expensive resource. Here, the authors prove that the work cost of generating multiple copies of a state is lower if the copies are correlated, pointing out at the irreversibility of the process in the single-shot regime.

Von Neumann Entropy from Unitarity

The von Neumann entropy is a key quantity in quantum information theory and, roughly speaking, quantifies the amount of quantum information contained in a state when many identical and independent (i.i.d.) copies of the state are available, in a regime that is often referred to as being asymptotic. In this Letter, we provide a new operational characterization of the von Neumann entropy which neither requires an i.i.d. limit nor any explicit randomness. We do so by showing that the von Neumann entropy fully characterizes single-shot state transitions in unitary quantum mechanics, as long as one has access to a catalyst-an ancillary system that can be reused after the transition-and an environment which has the effect of dephasing in a preferred basis. Building upon these insights, we formulate and provide evidence for the catalytic entropy conjecture, which states that the above result holds true even in the absence of decoherence. If true, this would prove an intimate connection between single-shot state transitions in unitary quantum mechanics and the von Neumann entropy. Our results add significant support to recent insights that, contrary to common wisdom, the standard von Neumann entropy also characterizes single-shot situations and opens up the possibility for operational single-shot interpretations of other standard entropic quantities. We discuss implications of these insights to readings of the third law of quantum thermodynamics and hint at potentially profound implications to holography.

Finite-bath corrections to the second law of thermodynamics

The second law of thermodynamics states that a system in contact with a heat bath can undergo a transformation if and only if its free energy decreases. However, the "if" part of this statement is only true when the effective heat bath is infinite. In this article we remove this idealization and derive corrections to the second law in the case where the bath has a finite size, or equivalently finite heat capacity. This can also be translated to processes lasting a finite time, and we show that thermodynamical reversibility is lost in this regime. We do so in full generality, without assuming any particular model for the bath; the only parameters defining the bath are its temperature and heat capacity. We find connections with second order Shannon information theory, in particular, in the case of Landauer erasure. We also consider the case of nonfluctuating work and derive finite-bath corrections to the min and max free energies employed in single-shot thermodynamics.

Energy-temperature uncertainty relation in quantum thermodynamics

It is known that temperature estimates of macroscopic systems in equilibrium are most precise when their energy fluctuations are large. However, for nanoscale systems deviations from standard thermodynamics arise due to their interactions with the environment. Here we include such interactions and, using quantum estimation theory, derive a generalised thermodynamic uncertainty relation valid for classical and quantum systems at all coupling strengths. We show that the non-commutativity between the system's state and its effective energy operator gives rise to quantum fluctuations that increase the temperature uncertainty. Surprisingly, these additional fluctuations are described by the average Wigner-Yanase-Dyson skew information. We demonstrate that the temperature's signal-to-noise ratio is constrained by the heat capacity plus a dissipative term arising from the non-negligible interactions. These findings shed light on the interplay between classical and non-classical fluctuations in quantum thermodynamics and will inform the design of optimal nanoscale thermometers.

Attraction Controls the Entropy of Fluctuations in Isosceles Triangular Networks

We study two-dimensional triangular-network models, which have degenerate ground states composed of straight or randomly-zigzagging stripes and thus sub-extensive residual entropy. We show that attraction is responsible for the inversion of the stable phase by changing the entropy of fluctuations around the ground-state configurations. By using a real-space shell-expansion method, we compute the exact expression of the entropy for harmonic interactions, while for repulsive harmonic interactions we obtain the entropy arising from a limited subset of the system by numerical integration. We compare these results with a three-dimensional triangular-network model, which shows the same attraction-mediated selection mechanism of the stable phase, and conclude that this effect is general with respect to the dimensionality of the system.

Exponential bound in the quest for absolute zero

In most studies for the quantification of the third law of thermodynamics, the minimum temperature which can be achieved with a long but finite-time process scales as a negative power of the process duration. In this article, we use our recent complete solution for the optimal control problem of the quantum parametric oscillator to show that the minimum temperature which can be obtained in this system scales exponentially with the available time. The present work is expected to motivate further research in the active quest for absolute zero.

Optimal performance of generalized heat engines with finite-size baths of arbitrary multiple conserved quantities beyond independent-and-identical-distribution scaling

In quantum thermodynamics, effects of finiteness of the baths have been less considered. In particular, there is no general theory which focuses on finiteness of the baths of multiple conserved quantities. Then, we investigate how the optimal performance of generalized heat engines with multiple conserved quantities alters in response to the size of the baths. In the context of general theories of quantum thermodynamics, the size of the baths has been given in terms of the number of identical copies of a system, which does not cover even such a natural scaling as the volume. In consideration of the asymptotic extensivity, we deal with a generic scaling of the baths to naturally include the volume scaling. Based on it, we derive a bound for the performance of generalized heat engines reflecting finite-size effects of the baths, which we call fine-grained generalized Carnot bound. We also construct a protocol to achieve the optimal performance of the engine given by this bound. Finally, applying the obtained general theory, we deal with simple examples of generalized heat engines. As for an example of non-independent-and-identical-distribution scaling and multiple conserved quantities, we investigate a heat engine with two baths composed of an ideal gas exchanging particles, where the volume scaling is applied. The result implies that the mass of the particle explicitly affects the performance of this engine with finite-size baths.

Work extraction from quantum systems with bounded fluctuations in work

In the standard framework of thermodynamics, work is a random variable whose average is bounded by the change in free energy of the system. This average work is calculated without regard for the size of its fluctuations. Here we show that for some processes, such as reversible cooling, the fluctuations in work diverge. Realistic thermal machines may be unable to cope with arbitrarily large fluctuations. Hence, it is important to understand how thermodynamic efficiency rates are modified by bounding fluctuations. We quantify the work content and work of formation of arbitrary finite dimensional quantum states when the fluctuations in work are bounded by a given amount c. By varying c we interpolate between the standard and minimum free energies. We derive fundamental trade-offs between the magnitude of work and its fluctuations. As one application of these results, we derive the corrected Carnot efficiency of a qubit heat engine with bounded fluctuations.