Second law of thermodynamics under control restrictions

Optimizing Thermalization

We present a rigorous approach, based on the concept of continuous thermomajorization, to algorithmically characterize the full set of energy occupations of a quantum system accessible from a given initial state through weak interactions with a heat bath. The algorithm can be deployed to solve complex optimization problems in out-of-equilibrium setups and it returns explicit elementary control sequences realizing optimal transformations. We illustrate this by finding optimal protocols in the context of cooling, work extraction, and catalysis. The same tools also allow one to quantitatively assess the role played by memory effects in the performance of thermodynamic protocols. We obtained exhaustive solutions on a laptop machine for systems with dimension d≤7, but with heuristic methods one could access much higher d.

Dependence of integrated, instantaneous, and fluctuating entropy production on the initial state in quantum and classical processes

We consider the additional entropy production (EP) incurred by a fixed quantum or classical process on some initial state ρ, above the minimum EP incurred by the same process on any initial state. We show that this additional EP, which we term the "mismatch cost of ρ," has a universal information-theoretic form: it is given by the contraction of the relative entropy between ρ and the least-dissipative initial state φ over time. We derive versions of this result for integrated EP incurred over the course of a process, for trajectory-level fluctuating EP, and for instantaneous EP rate. We also show that mismatch cost for fluctuating EP obeys an integral fluctuation theorem. Our results demonstrate a fundamental relationship between thermodynamic irreversibility (generation of EP) and logical irreversibility (inability to know the initial state corresponding to a given final state). We use this relationship to derive quantitative bounds on the thermodynamics of quantum error correction and to propose a thermodynamically operationalized measure of the logical irreversibility of a quantum channel. Our results hold for both finite- and infinite-dimensional systems, and generalize beyond EP to many other thermodynamic costs, including nonadiabatic EP, free-energy loss, and entropy gain.

Entropy production given constraints on the energy functions

We consider the problem of driving a finite-state classical system from some initial distribution p to some final distribution p^{'} with vanishing entropy production (EP), under the constraint that the driving protocols can only use some limited set of energy functions E. Assuming no other constraints on the driving protocol, we derive a simple condition that guarantees that such a transformation can be carried out, which is stated in terms of the smallest probabilities in {p,p^{'}} and a graph-theoretic property defined in terms of E. Our results imply that a surprisingly small amount of control over the energy function is sufficient (in particular, any transformation p→p^{'} can be carried out as soon as one can control some one-dimensional parameter of the energy function, e.g., the energy of a single state). We also derive a lower bound on the EP under more general constraints on the transition rates, which is formulated in terms of a convex optimization problem.

Clock-Work Trade-Off Relation for Coherence in Quantum Thermodynamics

In thermodynamics, quantum coherences-superpositions between energy eigenstates-behave in distinctly nonclassical ways. Here we describe how thermodynamic coherence splits into two kinds-"internal" coherence that admits an energetic value in terms of thermodynamic work, and "external" coherence that does not have energetic value, but instead corresponds to the functioning of the system as a quantum clock. For the latter form of coherence, we provide dynamical constraints that relate to quantum metrology and macroscopicity, while for the former, we show that quantum states exist that have finite internal coherence yet with zero deterministic work value. Finally, under minimal thermodynamic assumptions, we establish a clock-work trade-off relation between these two types of coherences. This can be viewed as a form of time-energy conjugate relation within quantum thermodynamics that bounds the total maximum of clock and work resources for a given system.

Strong Coupling Corrections in Quantum Thermodynamics

Quantum systems strongly coupled to many-body systems equilibrate to the reduced state of a global thermal state, deviating from the local thermal state of the system as it occurs in the weak-coupling limit. Taking this insight as a starting point, we study the thermodynamics of systems strongly coupled to thermal baths. First, we provide strong-coupling corrections to the second law applicable to general systems in three of its different readings: As a statement of maximal extractable work, on heat dissipation, and bound to the Carnot efficiency. These corrections become relevant for small quantum systems and vanish in first order in the interaction strength. We then move to the question of power of heat engines, obtaining a bound on the power enhancement due to strong coupling. Our results are exemplified on the paradigmatic non-Markovian quantum Brownian motion.

Quantum thermodynamics with local control

We investigate the limitations that emerge in thermodynamic tasks as a result of having local control only over the components of a thermal machine. These limitations are particularly relevant for devices composed of interacting many-body systems. Specifically, we study protocols of work extraction that employ a many-body system as a working medium whose evolution can be driven by tuning the on-site Hamiltonian terms. This provides a restricted set of thermodynamic operations, giving rise to alternative bounds for the performance of engines. Our findings show that those limitations in control render it, in general, impossible to reach Carnot efficiency; in its extreme ramification it can even forbid to reach a finite efficiency or finite work per particle. We focus on the one-dimensional Ising model in the thermodynamic limit as a case study. We show that in the limit of strong interactions the ferromagnetic case becomes useless for work extraction, while the antiferromagnetic case improves its performance with the strength of the couplings, reaching Carnot in the limit of arbitrary strong interactions. Our results provide a promising connection between the study of quantum control and thermodynamics and introduce a more realistic set of physical operations well suited to capture current experimental scenarios.

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.

Energetics of correlations in interacting systems

A fundamental connection between thermodynamics and information theory arises from the fact that correlations exhibit an inherent work value. For noninteracting systems this translates to a work cost for establishing correlations. Here we investigate the relationship between work and correlations in the presence of interactions that cannot be controlled or removed. For such naturally coupled systems, which are correlated even in thermal equilibrium, we determine general strategies that can reduce the work cost of correlations, and illustrate these for a selection of exemplary physical systems.