An attempt toward the operational formulation of quantum thermodynamics is made by employing the recently proposed operations forming positive operator-valued measures for generating thermodynamic processes. The quantity of heat as well as the von Neumann entropy monotonically increases under the operations. The fixed point analysis shows that repeated applications of these operations to a given system transform from its pure ground state at zero temperature to the completely random state in the high temperature limit with intermediate states being generically out of equilibrium. It is shown that the Clausius inequality can be violated along the processes, in general. A bipartite spin-1/2 system is analyzed as an explicit example.
Toward the formulation of the operational approach to quantum thermodynamics, the heat-up operator is explicitly constructed. This quantum operation generates for a generic system an irreversible transformation from a pure ground state at zero temperature to a state at finite temperature. The fixed point analysis shows that repeated applications of the operation map from an arbitrary state to the completely random state realized in the high-temperature limit. The change of the von Neumann entropy is evaluated for a simple bipartite spin-1/2 system. It is shown that remarkably, the second law o…
Nonunitary quantum operations generating thermostatistical states and forming positive operator-valued measures (POVMs) are of current interest as a useful tool for operational approach to quantum thermodynamics. Here, two different operations generating the same thermostatistical state are studied: one is related to thermofield dynamics and the other is the one proposed in a recent work [S. Abe, A. R. Usha Devi, A. K. Rajagopal, J. Phys. A: Math. Theor. 43 (2010) 045303]. A comparable study on them shows different behaviors of the von Neumann entropy under repeated applications of these two o…
Completely positive quantum operations are frequently discussed in the contexts of statistical mechanics and quantum information. They are customarily given by maps forming positive operator-values measures. To intuitively understand physical meanings of such abstract operations, the method of phase-space representations is examined. This method enables one to grasp the operations in terms of the classical statistical notions. As an example of physical importance, here, the phase-space representation of the completely positive quantum operation arising from the single-mode subdynamics of the t…
A microscopic definition of the thermodynamic entropy in an isolated quantum system must satisfy (i) additivity, (ii) extensivity and (iii) the second law of thermodynamics. We show that the diagonal entropy, which is the Shannon entropy in the energy eigenbasis at each instant of time, meets the first two requirements and that the third requirement is satisfied if an arbitrary external operation is performed at typical times. In terms of the diagonal entropy, thermodynamic irreversibility follows from the facts that the Hamiltonian dynamics restricts quantum trajectories under unitary evoluti…
Accurately describing work extraction from a quantum system is a central objective for the extension of thermodynamics to individual quantum systems. The concepts of work and heat are surprisingly subtle when generalizations are made to arbitrary quantum states. We formulate an operational thermodynamics suitable for application to an open quantum system undergoing quantum evolution under a general quantum process by which we mean a completely-positive and trace-preserving map. We derive an operational first law of thermodynamics for such processes and show consistency with the second law. We …
We set up a framework for quantum stochastic thermodynamics based solely on experimentally controllable, but otherwise arbitrary interventions at discrete times. Using standard assumptions about the system-bath dynamics and insights from the repeated interaction framework, we define internal energy, heat, work and entropy at the trajectory level. The validity of the first law (at the trajectory level) and the second law (on average) is established. The theory naturally allows to treat incomplete information and it is able to smoothly interpolate between a trajectory based and ensemble level de…
Second law of thermodynamics in closed quantum many-body systems
RIKEN（理化学研究所）；Center for Quantum Computing, RIKEN（理科大学量子计算中心）；RIKEN Center for Interdisciplinary Theoretical and Mathematical Sciences (iTHEMS)（理化学所交叉理论与数学科学中心）；Institute for Photon Science and Technology, The University of Tokyo（东京大学光子科学技术研究所）；Center for Quantum Information and Quantum Biology, The University of Osaka（大阪大学量子信息与量子生物学中心）
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 th…
Completely positive trace preserving maps are essential for the formulation of the second law of thermodynamics. The dynamics of quantum systems, correlated with their environments, are in general not described by such maps. We explore how this issue can be fixed by describing the classical analogue of this problem. We consider correlated probability distributions, whose subsequent system dynamics is ill-described by stochastic maps, and prescribe the correct way to describe the dynamics. We use this prescription to discuss the classical version of the second law, valid for correlated probabil…
Center for Gravitational Physics and Quantum Information, Yukawa Institute for Theoretical Physics, Kyoto University（京都大学汤川理论物理中心引力物理与量子信息）；Department of Physics, Kyoto University（京都大学物理学系）
In a recent paper [Mar05] it is argued that to properly understand the thermodynamics of Landauer's Principle it is necessary extend the concept of logical operations to include indeterministic operations. Here we examine the thermodynamics of such operations in more detail, extending the work of Landuaer[Lan61] to include indeterministic operations and to include logical states with variable entropies, temperatures and mean energies. We derive the most general statement of Landauer's Principle and prove it's universality, extending considerably the validity of previous proofs. This confirms c…
We study the role of the initial quantum coherence in coherent processes generated by an external control of some parameters by looking on the thermodynamic work done. We start by taking in exam an active state and we isolate the contribution to the ergotropy coming from the quantum coherence among the energy eigenstates. It is shown to be related to the quantum relative entropy of coherence through an inequality which involves the completely passive state connected to the initial state. Finally, we extend the analysis to a general out-of-equilibrium process and we show how to take in account …
Quantum work is usually determined from two projective measurements of the energy at the beginning and at the end of a thermodynamic process. However, this paradigm cannot be considered thermodynamically consistent as it does not account for the thermodynamic cost of these measurements. To remedy this conceptual inconsistency we introduce a novel paradigm that relies only on the expected change of the average energy given the initial energy eigenbasis. In particular, we completely omit quantum measurements in the definition of quantum work, and hence quantum work is identified as a thermodynam…
Adopting a resource theory framework of thermodynamics for quantum and nano systems pioneered by Janzing et al. [Int. J. Th. Phys. 39, 2717 (2000)], we formulate the cost in useful work of transforming one resource state into another as a linear program of convex optimization. This approach is based on the characterization of thermal quasiorder given by Janzing et al. and later by Horodecki and Oppenheim [Nat. Comm. 4, 2059 (2013)]. Both characterizations are related to an extended version of majorization studied by Ruch, Schranner, and Seligman under the name mixing distance [J. Chem. Phys. 6…
The typicality of the canonical state shows that majority of the states are indistinguishable from equilibrium, and thus the nonequilibrium states are exceptionally rare in the extremely high-dimensional Hilbert space. On the contrary, we can easily apply an external force acting on the system, and then the actual density matrix quantitatively deviates from the canonical state specified by the system Hamiltonian at each instance. To express how the external forcing amounts to the deviation from equilibrium, we give a universal thermodynamic expression of the lower bound of Hilbert-Schmidt dist…
Semi-Markov processes generalize Markov processes by adding temporal memory effects as expressed by a semi-Markov kernel. We recall the path weight for a semi-Markov trajectory and the fact that thermodynamic consistency in equilibrium imposes a crucial condition called direction-time independence for which we present an alternative derivation. We prove a thermodynamic uncertainty relation that formally resembles the one for a discrete-time Markov process. The result relates the entropy production of the semi-Markov process to mean and variance of steady-state currents. We prove a further ther…
For quantum spin systems in any spatial dimension with a local, translation-invariant Hamiltonian, we prove that asymptotic state convertibility from a quantum state to another one by a thermodynamically feasible class of quantum dynamics, called thermal operations, is completely characterized by the Kullback-Leibler (KL) divergence rate, if the state is translation-invariant and spatially ergodic. Our proof consists of two parts and is phrased in terms of a branch of the quantum information theory called the resource theory. First, we prove that any states, for which the min and max Rényi div…
Microcanonical thermodynamics studies the operations that can be performed on systems with well-defined energy. So far, this approach has been applied to classical and quantum systems. Here we extend it to arbitrary physical theories, proposing two requirements for the development of a general microcanonical framework. We then formulate three resource theories, corresponding to three different sets of basic operations: i) random reversible operations, resulting from reversible dynamics with fluctuating parameters, ii) noisy operations, generated by the interaction with ancillas in the microcan…
The second law of ordinary thermodynamics and the second law of steady state thermodynamics, as proposed by Oono and Paniconi, are investigated from the microscopic point of view for the open quantum system. Based on the H-theorem of Lindblad, we show that both second laws are consistent with the quantum dynamics generated by the completely positive map. In addition, microscopic expressions of entropy production and ``housekeeping heat'' are obtained for some classes of dynamical quantum systems.
Finite-Time Thermodynamics of an Autonomous Information Machine
School of Physics and Astronomy, Beijing Normal University（北京师范大学物理与天文学院）；Key Laboratory of Multiscale Spin Physics (Ministry of Education), Beijing Normal University（北京师范大学多尺度自旋物理教育部重点实验室）
Some of the oldest and most important applications of thermodynamics are operations of refrigeration as well as production of useful energy. Part of the efforts to understand and develop thermodynamics in the quantum regime have been focusing on harnessing quantum effects to such operations. In this review we present the recent developments regarding the role of quantum coherences in the performances of thermal machines --the devices realising the above thermodynamic operations. While this is known to be an intricate subject, in part because being largely model-dependent, the review of the rec…
We describe a single-level quantum dot in contact with two leads as a nanoscale finite-time thermodynamic machine. The dot is driven by an external stochastic force that switches its energy between two values. In the isothermal regime, it can operate as a rechargeable battery by generating an electric current against the applied bias in response to the stochastic driving, and re-delivering work in the reverse cycle. This behavior is reminiscent of the Parrondo paradox. If there is a thermal gradient the device can function as a work-generating thermal engine, or as a refrigerator that extracts…
Here we study the thermodynamic cost of computation and control using 'physically universal' cellular automata or Hamiltonians. The latter were previously defined as systems that admit the implementation of any desired transformation on a finite target region by first initializing the state of the surrounding and then letting the system evolve according to its autonomous dynamics. This way, one obtains a model of control where each region can play both roles the controller or the system to be controlled. In physically universal systems every degree of freedom is indirectly accessible by operat…
In the framework of quantum thermodynamics preparing a quantum system in a general state requires the consumption of two distinct resources, namely, work and coherence. It has been shown that the work cost of preparing a quantum state is determined by its free energy. Considering a similar setting, here we determine the coherence cost of preparing a general state when there are no restrictions on work consumption. More precisely, the coherence cost is defined as the minimum rate of consumption of systems in a pure coherent state, that is needed to prepare copies of the desired system. We show …
Operational quantum stochastic thermodynamics is a recently proposed theory to study the thermodynamics of open systems based on the rigorous notion of a quantum stochastic process or quantum causal model. In there, a stochastic trajectory is defined solely in terms of experimentally accessible measurement results, which serve as the basis to define the corresponding thermodynamic quantities. In contrast to this observer-dependent point of view, a `black box', which evolves unitarily and can simulate a quantum causal model, is constructed here. The quantum thermodynamics of this big isolated s…
Thermodynamic resources, beyond their well-known usefulness in work extraction and other thermodynamic tasks, are often important also in tasks that are not evidently thermodynamic. Here we develop a framework for identifying such resources in diverse applications of bosonic continuous-variable systems. Introducing the class of bosonic linear thermal operations to model operationally-feasible processes, we apply this model to identify uniquely quantum properties of bosonic states that refine classical notions of thermodynamic resourcefulness. Among these are (1) a suite of temperature-like qua…
It is a central question in quantum thermodynamics to determine how irreversible is a process that transforms an initial state $ρ$ to a final state $σ$, and whether such irreversibility can be thought of as a useful resource. For example, we might ask how much work can be obtained by thermalizing $ρ$ to a thermal state $σ$ at temperature $T$ of an ambient heat bath. Here, we show that, for different sets of resource-theoretic thermodynamic operations, the amount of entropy produced along a transition is characterized by how reversible the process is. More specifically, this entropy production …
Passive states, i.e., those states from which no work can be extracted via unitary operations, play an important role in the foundations and applications of quantum thermodynamics. They generalize the familiar Gibbs thermal states, which are the sole passive states being stable under tensor product. Here, we introduce a partial order on the set of passive states that captures the idea of a passive state being virtually cooler than another one. This partial order, which we build by defining the notion of relative passivity, offers a fine-grained comparison between passive states based on virtua…
We extend Jarzynski's work relation and the second law of thermodynamics to a heat conducting system which is operated by an external agent. These extensions contain a new non equilibrium contribution expressed as the violation of the (linear) response relation caused by the operation. We find that a natural extension of the minimum work principle involves information about the time-reversed operation, and is far from straightforward. Our work relation may be tested experimentally especially when the temperature gradient is small.
We study the mechanical and thermodynamic properties of different traffic models for kinesin which are relevant in biological and experimental contexts. We find that motor-motor interactions play a fundamental role by enhancing the thermodynamic efficiency at maximum power of the motors, as compared to the non-interacting system, in a wide range of biologically compatible scenarios. We furthermore consider the case where the motor-motor interaction directly affects the internal chemical cycle and investigate the effect on the system dynamics and thermodynamics.
We treat a quantum mechanical system with certain general properties which are expected to be common in macroscopic quantum systems. Starting from a PURE initial state (which may not describe an equilibrium) in which energy is mildly concentrated at a single value, we consider a time evolution determined by a time-dependent Hamiltonian as a model of an adiabatic operation in thermodynamics. We take a family of operations with the same procedure and various ``waiting times.'' Then the Minimum Work Principle is rigorously proved for almost all choices of the waiting time.
We consider the problem of constructing a thermodynamic theory of non-equilibrium steady states as a formal extension of the equilibrium theory. Specifically, studying a particular system, we attempt to construct a phenomenological theory describing the interplay between heat and mechanical work that takes place during operations through which the system undergoes transitions between non-equilibrium steady states. We find that, in contrast to the case of the equilibrium theory, apparently, there exists no systematic way within a phenomenological formulation to describe the work done by the sys…
The Third Law of Thermodynamics constrains the phase diagram of{systems with a first-order quantum phase transition. For zero conjugate field, the coexistence curve has an infinite slope at T=0. If a tricritical point exists at T>0, then the associated tricritical wings are perpendicular to the T=0 plane, but not to the zero-field plane. These results are based on the third law and basic thermodynamics only, and are completely general. As an explicit example we consider the ferromagnetic quantum phase transition in clean metals, where a first-order quantum phase transition is commonly observed…
We analyze the effect of impurity on the work output and efficiency of quantum Otto and quantum Carnot heat cycles, modeled as a single quantum particle in an infinite square well (ISW) potential, which is the working substance. We solve this quantum mechanical system perturbatively up to first and second order in strength of the impurity for strong and weak coupling regimes, respectively. We derive the analytical expressions of work and efficiency for the strong coupling regime to the first order in the strength parameter. The threshold value of the strength parameter in weak coupling is obta…
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 …
David Rittenhouse Laboratory, University of Pennsylvania（宾夕法尼亚大学大卫·里滕豪斯实验室）；Computational Neuroscience Initiative, University of Pennsylvania（宾夕法尼亚大学计算神经科学倡议）；IBM Research, Cambridge, MA, USA（美国马萨诸塞州剑桥市IBM研究院）；Santa Fe Institute, 1399 Hyde Park Road, Santa Fe, NM 87501, USA（圣塔菲研究所）
The heat engine, a machine that extracts useful work from thermal sources, is one of the basic theoretical constructs and fundamental applications of classical thermodynamics. The classical description of a heat engine does not include coherence in its microscopic degrees of freedom. By contrast, a quantum heat engine might possess coherence between its internal states. Although the Carnot efficiency cannot be surpassed, and coherence can be performance degrading in certain conditions, it was recently predicted that even when using only thermal resources, internal coherence can enable a quantu…
Landauer erasure seems to provide a powerful link between thermodynamics and information processing (logical computation). The only logical operations that require a generation of heat are logically irreversible ones, with the minimum heat generation being $kT \ln 2$ per bit of information lost. Nevertheless, it will be shown logical reversibility neither implies, nor is implied by thermodynamic reversibility. By examining thermodynamically reversible operations which are logically irreversible, it is possible to show that information and entropy, while having the same form, are conceptually d…
We study thermodynamic operations which bring a nonequilibrium steady state (NESS) to another NESS in physical systems under nonequilibrium conditions. We model the system by a suitable Markov jump process, and treat thermodynamic operations as protocols according to which the external agent varies parameters of the Markov process. Then we prove, among other relations, a NESS version of the Jarzynski equality and the extended Clausius relation. The latter can be a starting point of thermodynamics for NESS. We also find that the corresponding nonequilibrium entropy has a microscopic representat…
In quantum systems which satisfy the hypothesis of equal weights for eigenstates [4], the maximum work principle (for extremely slow and relatively fast operation) is derived by using quantum dynamics alone. This may be a crucial step in establishing a firm connection between macroscopic thermodynamics and microscopic quantum dynamics. For special models introduced in [4,5], the derivation of the maximum work principle can be executed without introducing any unproved assumptions.
The ribosome is one of the largest and most complex macromolecular machines in living cells. It polymerizes a protein in a step-by-step manner as directed by the corresponding nucleotide sequence on the template messenger RNA (mRNA) and this process is referred to as `translation' of the genetic message encoded in the sequence of mRNA transcript. In each successful chemo-mechanical cycle during the (protein) elongation stage, the ribosome elongates the protein by a single subunit, called amino acid, and steps forward on the template mRNA by three nucleotides called a codon. Therefore, a riboso…
An unified thermodynamical framework based in the use of a generalized Massieu-Planck thermodynamic potential is proposed and a new formulation of Boltzmann-Gibbs Statistical Mechanics is established. Under this philosophy a generalization of (classical) Boltzmann-Gibbs thermostatistics is suggested and connected to recent nonextensive statistics formulations. This is accomplished by defining a convenient squeezing function which restricts among the collections of Boltzmann-Gibbs configurations of the complete equilibrium closure. The formalism embodies Beck-Cohen superstatistics and a direct …
