Beyond heat baths: Generalized resource theories for small-scale thermodynamics

Erasure Tolerant Quantum Memory and the Quantum Null Energy Condition in Holographic Systems

Investigating principles for storage of quantum information at finite temperature with minimal need for active error correction is an active area of research. We bear upon this question in two-dimensional holographic conformal field theories via the quantum null energy condition that we have shown earlier to implement the restrictions imposed by quantum thermodynamics on such many-body systems. We study an explicit encoding of a logical qubit into two similar chirally propagating excitations of finite von Neumann entropy on a finite temperature background whose erasure can be implemented by an appropriate inhomogeneous and instantaneous energy-momentum inflow from an infinite energy memoryless bath due to which the system transits to a thermal state. Holographically, these fast erasure processes can be depicted by generalized AdS-Vaidya geometries described previously in which no assumption of specific form of bulk matter is needed. We show that the quantum null energy condition gives analytic results for the minimal finite temperature needed for the deletion which is larger than the initial background temperature in consistency with Landauer's principle. In particular, we find a simple expression for the minimum final temperature needed for the erasure of a large number of encoding qubits. We also find that if the encoding qubits are localized over an interval shorter than a specific localization length, then the fast erasure process is impossible, and furthermore this localization length is the largest for an optimal amount of encoding qubits determined by the central charge. We estimate the optimal encoding qubits for realistic protection against fast erasure. We discuss possible generalizations of our study for novel constructions of fault-tolerant quantum gates operating at finite temperature.

Quantum Thermodynamics of Holographic Quenches and Bounds on the Growth of Entanglement from the Quantum Null Energy Condition

The quantum null energy condition (QNEC) is a lower bound on the energy-momentum tensor in terms of the variation of the entanglement entropy of a subregion along a null direction. To gain insights into quantum thermodynamics of many-body systems, we study if the QNEC restricts irreversible entropy production in quenches driven by energy-momentum inflow from an infinite memoryless bath in two-dimensional holographic theories. We find that an increase in both entropy and temperature, as implied by the Clausius inequality of classical thermodynamics, is necessary but not sufficient to not violate QNEC in quenches leading to transitions between thermal states with momentums that are dual to Banados-Teitelboim-Zanelli geometries. For an arbitrary initial state, we can determine the lower and upper bounds on the increase of entropy (temperature) for a fixed increase in temperature (entropy). Our results provide explicit instances of quantum lower and upper bounds on irreversible entropy production whose existence has been established in literature. We also find monotonic behavior of the nonsaturation of the QNEC with time after a quench, and analytically determine their asymptotic values. Our study shows that the entanglement entropy of an interval of length l always thermalizes in time l/2 with an exponent 3/2. Furthermore, we determine the coefficient of initial quadratic growth of entanglement analytically for any l, and show that the slope of the asymptotic ballistic growth of entanglement for a semi-infinite interval is twice the difference of the entropy densities of the final and initial states. We determine explicit upper and lower bounds on these rates of growth of entanglement.

Reference Frames Which Separately Store Noncommuting Conserved Quantities

Even in the presence of conservation laws, one can perform arbitrary transformations on a system if given access to a suitable reference frame, since conserved quantities may be exchanged between the system and the frame. Here we explore whether these quantities can be separated into different parts of the reference frame, with each part acting as a "battery" for a distinct quantity. For systems composed of spin-1/2 particles, we show that the components of angular momentum S_{x}, S_{y}, and S_{z} (noncommuting conserved quantities) may be separated in this way, and also provide several extensions of this result. These results also play a key role in the quantum thermodynamics of noncommuting conserved quantities.

No-Go Theorems for Quantum Resource Purification

The manipulation of quantum "resources" such as entanglement, coherence, and magic states lies at the heart of quantum science and technology, empowering potential advantages over classical methods. In practice, a particularly important kind of manipulation is to "purify" the quantum resources since they are inevitably contaminated by noise and thus often lose their power or become unreliable for direct usage. Here we prove fundamental limitations on how effectively generic noisy resources can be purified enforced by the laws of quantum mechanics, which universally apply to any reasonable kind of quantum resource. More explicitly, we derive nontrivial lower bounds on the error of converting any full-rank noisy state to any target pure resource state by any free protocol (including probabilistic ones)-it is impossible to achieve perfect resource purification, even probabilistically. Our theorems indicate strong limits on the efficiency of distillation, a widely used type of resource purification routine that underpins many key applications of quantum information science. In particular, this general result induces the first explicit lower bounds on the resource cost of magic state distillation, a leading scheme for realizing scalable fault-tolerant quantum computation. Implications for the standard error-correction-based methods are specifically discussed.

The fourth law of thermodynamics: steepest entropy ascent

When thermodynamics is understood as the science (or art) of constructing effective models of natural phenomena by choosing a minimal level of description capable of capturing the essential features of the physical reality of interest, the scientific community has identified a set of general rules that the model must incorporate if it aspires to be consistent with the body of known experimental evidence. Some of these rules are believed to be so general that we think of them as laws of Nature, such as the great conservation principles, whose 'greatness' derives from their generality, as masterfully explained by Feynman in one of his legendary lectures. The second law of thermodynamics is universally contemplated among the great laws of Nature. In this paper, we show that in the past four decades, an enormous body of scientific research devoted to modelling the essential features of non-equilibrium natural phenomena has converged from many different directions and frameworks towards the general recognition (albeit still expressed in different but equivalent forms and language) that another rule is also indispensable and reveals another great law of Nature that we propose to call the 'fourth law of thermodynamics'. We state it as follows: every non-equilibrium state of a system or local subsystem for which entropy is well defined must be equipped with a metric in state space with respect to which the irreversible component of its time evolution is in the direction of steepest entropy ascent compatible with the conservation constraints. To illustrate the power of the fourth law, we derive (nonlinear) extensions of Onsager reciprocity and fluctuation-dissipation relations to the far-non-equilibrium realm within the framework of the rate-controlled constrained-equilibrium approximation (also known as the quasi-equilibrium approximation). This article is part of the theme issue 'Fundamental aspects of nonequilibrium thermodynamics'.

Coherence distillation machines are impossible in quantum thermodynamics

The role of coherence in quantum thermodynamics has been extensively studied in the recent years and it is now well-understood that coherence between different energy eigenstates is a resource independent of other thermodynamics resources, such as work. A fundamental remaining open question is whether the laws of quantum mechanics and thermodynamics allow the existence of a coherence distillation machine, i.e., a machine that, by possibly consuming work, obtains pure coherent states from mixed states, at a nonzero rate. This is related to another fundamental question: Starting from many copies of noisy quantum clocks which are (approximately) synchronized with a reference clock, can one distill synchronized clocks in pure states, at a non-zero rate? Surprisingly, we find that the answer to both questions is negative for generic (full-rank) mixed states. However, at the same time, it is possible to distill a sub-linear number of pure coherent states with a vanishing error.

Macroscopic Thermodynamic Reversibility in Quantum Many-Body Systems

The resource theory of thermal operations, an established model for small-scale thermodynamics, provides an extension of equilibrium thermodynamics to nonequilibrium situations. On a lattice of any dimension with any translation-invariant local Hamiltonian, we identify a large set of translation-invariant states that can be reversibly converted to and from the thermal state with thermal operations and a small amount of coherence. These are the spatially ergodic states, i.e., states that have sharp statistics for any translation-invariant observable, and mixtures of such states with the same thermodynamic potential. As an intermediate result, we show for a general state that if the gap between the min- and the max-relative entropies to the thermal state is small, then the state can be approximately reversibly converted to and from the thermal state with thermal operations and a small source of coherence. Our proof provides a quantum version of the Shannon-McMillan-Breiman theorem for the relative entropy and a quantum Stein's lemma for ergodic states and local Gibbs states. Our results provide a strong link between the abstract resource theory of thermodynamics and more realistic physical systems as we achieve a robust and operational characterization of the emergence of a thermodynamic potential in translation-invariant lattice systems.

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.

One-Shot Operational Quantum Resource Theory

A fundamental approach for the characterization and quantification of all kinds of resources is to study the conversion between different resource objects under certain constraints. Here we analyze, from a resource-nonspecific standpoint, the optimal efficiency of resource formation and distillation tasks with only a single copy of the given quantum state, thereby establishing a unified framework of one-shot quantum resource manipulation. We find general bounds on the optimal rates characterized by resource measures based on the smooth max- or min-relative entropies and hypothesis testing relative entropy, as well as the free robustness measure, providing them with general operational meanings in terms of optimal state conversion. Our results encompass a wide class of resource theories via the theory-dependent coefficients we introduce, and the discussions are solidified by important examples, such as entanglement, coherence, superposition, magic states, asymmetry, and thermal nonequilibrium.

Quantum reference frames and their applications to thermodynamics

We construct a quantum reference frame, which can be used to approximately implement arbitrary unitary transformations on a system in the presence of any number of extensive conserved quantities, by absorbing any back action provided by the conservation laws. Thus, the reference frame at the same time acts as a battery for the conserved quantities. Our construction features a physically intuitive, clear and implementation-friendly realization. Indeed, the reference system is composed of the same types of subsystems as the original system and is finite for any desired accuracy. In addition, the interaction with the reference frame can be broken down into two-body terms coupling the system to one of the reference frame subsystems at a time. We apply this construction to quantum thermodynamic set-ups with multiple, possibly non-commuting conserved quantities, which allows for the definition of explicit batteries in such cases.This article is part of a discussion meeting issue 'Foundations of quantum mechanics and their impact on contemporary society'.

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.

Mathematical and information-geometrical entropy for phenomenological Fourier and non-Fourier heat conduction

The second law of thermodynamics governs the direction of heat transport, which provides the foundational definition of thermodynamic Clausius entropy. The definitions of entropy are further generalized for the phenomenological heat transport models in the frameworks of classical irreversible thermodynamics and extended irreversible thermodynamics (EIT). In this work, entropic functions from mathematics are combined with phenomenological heat conduction models and connected to several information-geometrical conceptions. The long-time behaviors of these mathematical entropies exhibit a wide diversity and physical pictures in phenomenological heat conductions, including the tendency to thermal equilibrium, and exponential decay of nonequilibrium and asymptotics, which build a bridge between the macroscopic and microscopic modelings. In contrast with the EIT entropies, the mathematical entropies expressed in terms of the internal energy function can avoid singularity paired with nonpositive local absolute temperature caused by non-Fourier heat conduction models.

A general derivation and quantification of the third law of thermodynamics

The most accepted version of the third law of thermodynamics, the unattainability principle, states that any process cannot reach absolute zero temperature in a finite number of steps and within a finite time. Here, we provide a derivation of the principle that applies to arbitrary cooling processes, even those exploiting the laws of quantum mechanics or involving an infinite-dimensional reservoir. We quantify the resources needed to cool a system to any temperature, and translate these resources into the minimal time or number of steps, by considering the notion of a thermal machine that obeys similar restrictions to universal computers. We generally find that the obtainable temperature can scale as an inverse power of the cooling time. Our results also clarify the connection between two versions of the third law (the unattainability principle and the heat theorem), and place ultimate bounds on the speed at which information can be erased.

Axiomatic Relation between Thermodynamic and Information-Theoretic Entropies

Thermodynamic entropy, as defined by Clausius, characterizes macroscopic observations of a system based on phenomenological quantities such as temperature and heat. In contrast, information-theoretic entropy, introduced by Shannon, is a measure of uncertainty. In this Letter, we connect these two notions of entropy, using an axiomatic framework for thermodynamics [E. H. Lieb and J. Yngvason Proc. R. Soc. 469, 20130408 (2013)]. In particular, we obtain a direct relation between the Clausius entropy and the Shannon entropy, or its generalization to quantum systems, the von Neumann entropy. More generally, we find that entropy measures relevant in nonequilibrium thermodynamics correspond to entropies used in one-shot information theory.

Microcanonical and resource-theoretic derivations of the thermal state of a quantum system with noncommuting charges

The grand canonical ensemble lies at the core of quantum and classical statistical mechanics. A small system thermalizes to this ensemble while exchanging heat and particles with a bath. A quantum system may exchange quantities represented by operators that fail to commute. Whether such a system thermalizes and what form the thermal state has are questions about truly quantum thermodynamics. Here we investigate this thermal state from three perspectives. First, we introduce an approximate microcanonical ensemble. If this ensemble characterizes the system-and-bath composite, tracing out the bath yields the system's thermal state. This state is expected to be the equilibrium point, we argue, of typical dynamics. Finally, we define a resource-theory model for thermodynamic exchanges of noncommuting observables. Complete passivity-the inability to extract work from equilibrium states-implies the thermal state's form, too. Our work opens new avenues into equilibrium in the presence of quantum noncommutation.

Thermodynamics of quantum systems with multiple conserved quantities

Recently, there has been much progress in understanding the thermodynamics of quantum systems, even for small individual systems. Most of this work has focused on the standard case where energy is the only conserved quantity. Here we consider a generalization of this work to deal with multiple conserved quantities. Each conserved quantity, which, importantly, need not commute with the rest, can be extracted and stored in its own battery. Unlike the standard case, in which the amount of extractable energy is constrained, here there is no limit on how much of any individual conserved quantity can be extracted. However, other conserved quantities must be supplied, and the second law constrains the combination of extractable quantities and the trade-offs between them. We present explicit protocols that allow us to perform arbitrarily good trade-offs and extract arbitrarily good combinations of conserved quantities from individual quantum systems.