Thermodynamics is a macroscopic physical theory whose two very general laws are independent of any underlying dynamical laws and structures. Nevertheless, its generality enables us to understand a broad spectrum of phenomena in physics, information science and biology. Recently, it has been realised that information storage and processing based on quantum mechanics can be much more efficient than their classical counterpart. What general bound on storage of quantum information does thermodynamics imply? We show that thermodynamics implies a weaker bound than the quantum mechanical one (the Holevo bound). In other words, if any post-quantum physics should allow more information storage it could still be under the umbrella of thermodynamics.
Here we clarify the assumptions made and conclusions reached in our paper "The thermodynamical cost of some interpretations of quantum theory" [Phys. Rev. A 94, 052127 (2016)], at the light of the criticisms of Prunkl and Timpson [Stud. Hist. Philos. Sci. Part B 63, 114 (2018)], and Davidsson (Master thesis, Stockholm University, 2018). We point out some misunderstandings and some weaknesses of the counterexample Prunkl and Timpson present to challenge our conclusion. We thus conclude, once more, that interpretations of quantum theory which consider the probabilities of measurement outcomes to…
The quantum measurement problem is revisited and discussed in terms of a new solvable measurement model which basic ingredient is the quantum model of a controlled single-bit memory. The structure of this model involving strongly coupled spin and quantum harmonic oscillator allows to define stable pointer states as well-separated Gaussian states of the quantum oscillator and analyze the transition from quantum to classical regime. The relations between accuracy of measurement, stability of pointer states, effective temperature of joint thermal and quantum noise and minimal work needed to perfo…
The interpretation of quantum theory is one of the longest-standing debates in physics. Type I interpretations see quantum probabilities as determined by intrinsic properties of the observed system. Type II see them as relational experiences between an observer and the system. It is usually believed that a decision between these two options cannot be made simply on purely physical grounds but requires an act of metaphysical judgment. Here we show that, under some assumptions, the problem is decidable using thermodynamics. We prove that type I interpretations are incompatible with the following…
Cabello et al. claim to have proven the existence of an empirically verifiable difference between two broad classes of quantum interpretations. On the basis of three seemingly uncontentious assumptions, (i) the possibility of randomly selected measurements, (ii) the finiteness of a quantum system's memory, and (iii) the validity of Landauer's principle, and further, by applying computational mechanics to quantum processes, the authors arrive at the conclusion that some quantum interpretations (including central realist interpretations) are associated with an excess heat cost and are thereby un…
Thermal channels -- the free processes allowed in the resource theory of quantum thermodynamics -- are generalised to thermal instruments, which we interpret as implementing thermodynamically free quantum measurements; a Maxwellian demon using such measurements never violates the second law of thermodynamics. Further properties of thermal instruments are investigated and, in particular, it is shown that they only measure observables commuting with the Hamiltonian, and they thermalise the measured system when performing a complete measurement, the latter of which indicates a thermodynamically i…
Correlations lie at the heart of almost all scientific predictions. It is therefore of interest to ask whether there exist general limitations to the amount of correlations that can be created at a finite amount of invested energy. Within quantum thermodynamics such limitations can be derived from first principles. In particular, it can be shown that establishing correlations between initially uncorrelated systems in a thermal background has an energetic cost. This cost, which depends on the system dimension and the details of the energy-level structure, can be bounded from below but whether t…
Modularity dissipation identifies how locally-implemented computation entails costs beyond those required by Landauer's bound on thermodynamic computing. We establish a general theorem for efficient local computation, giving the necessary and sufficient conditions for a local operation to have zero modularity cost. Applied to thermodynamically-generating stochastic processes it confirms a conjecture that classical generators are efficient if and only if they satisfy retrodiction, which places minimal memory requirements on the generator. This extends immediately to quantum computation: Any qua…
The amount of heat generated by computers is rapidly becoming one of the main problems for developing new generations of information technology. The thermodynamics of computation sets the ultimate physical bounds on heat generation. A lower bound is set by the Landauer Limit, at which computation becomes thermodynamically reversible. For classical computation there is no physical principle which prevents this limit being reached, and approaches to it are already being experimentally tested. In this paper we show that for quantum computation there is an unavoidable excess heat generation that r…
We analyze an engine whose working fluid consists of a single quantum particle, paralleling Szilard's construction of a classical single-particle engine. Following his resolution of Maxwell's Second Law paradox using the latter, which turned on physically instantiating the demon (control subsystem), the quantum engine's design mirrors the classically-chaotic Szilard Map that operates a thermodynamic cycle of measurement, thermal-energy extraction, and memory reset. Focusing on the thermodynamic costs to observe and control the particle and comparing these in the quantum and classical limits, w…
Quantum thermodynamics can be understood as a resource theory, whereby thermal states are free and the only allowed operations are unitary transformations commuting with the total Hamiltonian of the system. Previous literature on the subject has just focused on transformations between different state resources, overlooking the fact that quantum operations which do not commute with the total energy also constitute a potentially valuable resource. In this Letter, given a number of non-thermal quantum channels, we study the problem of how to integrate them in a thermal engine so as to distill a m…
Masking quantum information, which is impossible without randomness as a resource, is a task that encodes quantum information into bipartite quantum state while forbidding local parties from accessing to that information. In this work, we disprove the geometric conjecture about unitarily maskable states [K. Modi et al., Phys. Rev. Lett. 120, 230501 (2018)], and make an algebraic analysis of quantum masking. First, we show a general result on quantum channel mixing that a subchannel's mixing probability should be suppressed if its classical capacity is larger than the mixed channel's capacity. …
It is often claimed, that from a quantum system of d levels, and entropy S and heat bath of temperature T one can draw kT(ln d -S) amount of work. However, the usual arguments based on Szilard engine are not fully rigorous. Here we prove the formula within Hamiltonian description of drawing work from a quantum system and a heat bath, at a cost of entropy of the system. We base on the derivation of thermodynamical laws and quantities in [R. Alicki, J. Phys. A, 12, L103 (1979)] within a weak coupling limit. Our result provides fully physical scenario for extracting thermodynamical work from quan…
Irreversible information processing cannot be carried out without some inevitable thermodynamical work cost. This fundamental restriction, known as Landauer's principle, is increasingly relevant today, as the energy dissipation of computing devices impedes the development of their performance. Here we determine the minimal work required to carry out any logical process, for instance a computation. It is given by the entropy of the discarded information conditional to the output of the computation. Our formula takes precisely into account the statistically fluctuating work requirement of the lo…
Quantum operations provide a general description of the state changes allowed by quantum mechanics. The reversal of quantum operations is important for quantum error-correcting codes, teleportation, and reversing quantum measurements. We derive information-theoretic conditions and equivalent algebraic conditions that are necessary and sufficient for a general quantum operation to be reversible. We analyze the thermodynamic cost of error correction and show that error correction can be regarded as a kind of ``Maxwell demon,'' for which there is an entropy cost associated with information obtain…
Accurate information processing is crucial both in technology and in nature. To achieve it, any information processing system needs an initial supply of resources away from thermal equilibrium. Here we establish a fundamental limit on the accuracy achievable with a given amount of nonequilibrium resources. The limit applies to arbitrary information processing tasks and arbitrary information processing systems subject to the laws of quantum mechanics. It is easily computable and is expressed in terms of an entropic quantity, which we name reverse entropy, associated to a time reversal of the in…
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…
Identifying optimal thermodynamical processes has been the essence of thermodynamics since its inception. Here, we show that differentiable programming (DP), a machine learning (ML) tool, can be employed to optimize finite-time thermodynamical processes in a quantum thermal machine. We consider the paradigmatic quantum Otto engine with a time-dependent harmonic oscillator as its working fluid, and build upon shortcut-to-adiabaticity (STA) protocols. We formulate the STA driving protocol as a constrained optimization task and apply DP to find optimal driving profiles for an appropriate figure o…
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. W…
