Thermodynamic work from operational principles

In recent years we have witnessed a concentrated effort to make sense of thermodynamics for small-scale systems. One of the main difficulties is to capture a suitable notion of work that models realistically the purpose of quantum machines, in an analogous way to the role played, for macroscopic machines, by the energy stored in the idealisation of a lifted weight. Despite of several attempts to resolve this issue by putting forward specific models, these are far from capturing realistically the transitions that a quantum machine is expected to perform. In this work, we adopt a novel strategy by considering arbitrary kinds of systems that one can attach to a quantum thermal machine and seeking for work quantifiers. These are functions that measure the value of a transition and generalise the concept of work beyond the model of a lifted weight. We do so by imposing simple operational axioms that any reasonable work quantifier must fulfil and by deriving from them stringent mathematical condition with a clear physical interpretation. Our approach allows us to derive much of the structure of the theory of thermodynamics without taking as a primitive the definition of work. We can derive, for any work quantifier, a quantitative second law in the sense of bounding the work that can be performed using some non-equilibrium resource by the work that is needed to create it. We also discuss in detail the role of reversibility and correlations in connection with the second law. Furthermore, we recover the usual identification of work with energy in degrees of freedom with vanishing entropy as a particular case of our formalism. Our mathematical results can be formulated abstractly and are general enough to carry over to other resource theories than quantum thermodynamics.Comment: 22 pages, 4 figures, axioms significantly simplified, more comprehensive discussion of relationship to previous approache

Single-shot holographic compression from the area law

The area law conjecture states that the entanglement entropy of a region of space in the ground state of a gapped, local Hamiltonian only grows like the surface area of the region. We show that, for any state that fulfills an area law, the reduced quantum state of a region of space can be unitarily compressed into a thickened boundary of the region. If the interior of the region is lost after this compression, the full quantum state can be recovered to high precision by a quantum channel only acting on the thickened boundary. The thickness of the boundary scales inversely proportional to the error for arbitrary spin systems and logarithmically with the error for quasifree bosonic systems. Our results can be interpreted as a single-shot operational interpretation of the area law. The result for spin systems follows from a simple inequality showing that any probability distribution with entropy S can be approximated to error ϵ by a distribution with support of size exp(S/ϵ), which we believe to be of independent interest. We also discuss an emergent approximate correspondence between bulk and boundary operators and the relation of our results to tensor network states

Work and entropy production in generalised Gibbs ensembles

Recent years have seen an enormously revived interest in the study of thermodynamic notions in the quantum regime. This applies both to the study of notions of work extraction in thermal machines in the quantum regime, as well as to questions of equilibration and thermalisation of interacting quantum many-body systems as such. In this work we bring together these two lines of research by studying work extraction in a closed system that undergoes a sequence of quenches and equilibration steps concomitant with free evolutions. In this way, we incorporate an important insight from the study of the dynamics of quantum many body systems: the evolution of closed systems is expected to be well described, for relevant observables and most times, by a suitable equilibrium state. We will consider three kinds of equilibration, namely to (i) the time averaged state, (ii) the Gibbs ensemble and (iii) the generalised Gibbs ensemble (GGE), reflecting further constants of motion in integrable models. For each effective description, we investigate notions of entropy production, the validity of the minimal work principle and properties of optimal work extraction protocols. While we keep the discussion general, much room is dedicated to the discussion of paradigmatic non-interacting fermionic quantum many-body systems, for which we identify significant differences with respect to the role of the minimal work principle. Our work not only has implications for experiments with cold atoms, but also can be viewed as suggesting a mindset for quantum thermodynamics where the role of the external heat baths is instead played by the system itself, with its internal degrees of freedom bringing coarse-grained observables to equilibrium.Comment: 22 pages, 4 figures, improvements in presentatio

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 always 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 situation of non-Markovian quantum Brownian motion.Comment: 20 pages, 3 figures, version two is substantially revised and contains new result

Lieb-Robinson bounds imply locality of interactions

Discrete lattice models are a cornerstone of quantum many-body physics. They arise as effective descriptions of condensed matter systems and lattice-regularized quantum field theories. Lieb-Robinson bounds imply that if the degrees of freedom at each lattice site only interact locally with each other, correlations can only propagate with a finite group velocity through the lattice, similarly to a light cone in relativistic systems. Here we show that Lieb-Robinson bounds are equivalent to the locality of the interactions: a system with k-body interactions fulfills Lieb-Robinson bounds in exponential form if and only if the underlying interactions decay exponentially in space. In particular, our result already follows from the behavior of two-point correlation functions for single-site observables and generalizes to different decay behaviours as well as fermionic lattice models. As a side-result, we thus find that Lieb-Robinson bounds for single-site observables imply Lieb-Robinson bounds for bounded observables with arbitrary support.Comment: 4.5 + 7 pages, 1 figure; v2: Changed title, added references, improved presentatio

What it takes to avoid equilibration

Numerous works have shown that under mild assumptions, unitary dynamics inevitably leads to equilibration of physical expectation values if many energy eigenstates contribute to the initial state. Here, we consider systems driven by arbitrary time-dependent Hamiltonians as a protocol to prepare systems that do not equilibrate. We introduce a measure of the resilience against equilibration of such states, and we show, under natural assumptions, that in order to increase the resilience against equilibration of a given system, one needs to possess a resource system that itself has a large resilience. In this way, we establish a link between the theory of equilibration and resource theories by quantifying the resilience against equilibration and the resources that are needed to produce it. We connect these findings with insights into local quantum quenches, and we investigate the (im)possibility of formulating a second law of equilibration by studying how resilience can be either only redistributed among subsystems, if these remain completely uncorrelated, or in turn created in a catalytic process if subsystems are allowed to build up some correlations

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