Quantum Szilard engine constitutes an adequate interplay of thermodynamics, information theory and quantum mechanics. Szilard engines are in general operated by a Maxwell's Demon where Landauer's principle resolves the apparent paradoxes. Here we propose a Szilard engine setup without featuring an explicit Maxwell's demon. In a demonless Szilard engine, the acquisition of which-side information is not required, but erasure and the related heat dissipation still take place implicitly by the very nature of the work extraction process. We see that the insertion of the partition in a quantum Szilard engine does not localize the particle to one side, instead it creates a superposition state of the particle being in both sides. To be able to extract work from the system, particle has to be localized at one side. The localization occurs as a result of quantum measurement on the particle, which shows the importance of the measurement process regardless of whether one uses the acquired information or not. In accordance with the Landauer's principle, localization by quantum measurement corresponds to a logically irreversible operation and for this reason it has to be accompanied by the corresponding heat dissipation. This shows the validity of the Landauer's principle even in quantum Szilard engines without Maxwell's demon. Furthermore, we take quantum confinement effects fully into account to analyze the Szilard cycle in the quantum regime thoroughly and obtain highly accurate analytical expressions for work and heat exchanges. Our results show that Landauer's principle holds the key role to understand the thermodynamics of the localization of the particle by quantum measurement, which explicitly saves the second law in demonless engines and shows that quantum-mechanical considerations are essential to reconcile thermodynamics and information theory.
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…
Erasure is fundamental for information processing. It is also key in connecting information theory and thermodynamics, as it is a logically irreversible task. We provide a new angle on this connection, noting that there may be an additional cost to erasure, that is not captured by standard results such as Landauer's principle. To make this point we use a model of irreversibility based on Constructor Theory - a recently proposed generalization of the quantum theory of computation. The model uses a machine called the "quantum homogenizer", which has the ability to approximately realise the trans…
In a classic thought experiment, Szilard suggested a heat engine where a single particle, for example an atom or a molecule, is confined in a container coupled to a single heat bath. The container can be separated into two parts by a moveable wall acting as a piston. In a single cycle of the engine, work can be extracted from the information on which side of the piston the particle resides. The work output is consistent with Landauers principle that the erasure of one bit of information costs the entropy kB ln 2, exemplifying the fundamental relation between work, heat and information. Here we…
We propose a new way of looking at the quantum Maxwell's demon problem in terms of conditional action. A "conditional action" on a system is a unitary time evolution, selected according to the result of a previous measurement, which can reduce the entropy of the system. However, any conditional action can be realized by an (unconditional) unitary time evolution of a larger system and a subsequent Lüders measurement, whereby the entropy of the entire system is either increased or remains constant. We give some examples that illustrate and confirm our proposal, including the erasure of $N$ qubit…
The Szilárd engine is a mechanism (akin to Maxwell's demon) for converting information into energy, which seemingly violates the second law of thermodynamics. Originally a classical thought experiment, it was extended to a quantized treatment by Zurek. Here, we examine a new, elegant model of a quantum Szilárd engine by replacing the traditional rigid box with a harmonic potential, extending the scope of the model. Remarkably, almost all calculations are exact. This article is suitable to students, researchers and educators interested in the conceptual links between information, entropy, and q…
The quantum Szilard engine (QSZE) is a conceptual quantum engine for understanding the fundamental physics of quantum thermodynamics and information physics. We generalize the QSZE to an arbitrary spin case, i.e., a spin QSZE (SQSZE), and we systematically study the basic physical properties of both fermion and boson SQSZEs in a low-temperature approximation. We give the analytic formulation of the total work. For the fermion SQSZE, the work might be absorbed from the environment, and the change rate of the work with temperature exhibits periodicity and even-odd oscillation, which is a general…
The so-called information-thermodynamics link created by a thought experiment of Szilard became a core of the modern orthodoxy in the field of quantum information and resources theory in quantum thermodynamics. We remind existing objections against standard interpretation of Szilard engine operation and illustrate them by two quantum models: particle in a box with time-dependent thin potential barrier and the spin-boson model. The consequences of the emerging superselection rules for thermodynamics and foundations of quantum mechanics are discussed. The role of non-ergodic systems as informati…
We propose and analyze a quantum version of Szilard's ``one-molecule engine.'' In particular, we recover, in the quantum context, Szilard's conclusion concerning the free energy ``cost'' of measurements: $ΔF \geq k_B T\ln2$ per bit of information.
The information-thermodynamics link is revisited, going back to the analysis of Szilard's engine. It is argued that instead of equivalence rather complementarity of physical entropy and information theoretical one is a correct concept. Famous Landauer's formula for a minimal cost of information processing is replaced by a new one which takes into account accuracy and stability of information encoding. Two recent experiments illustrating the information-energy conversion are critically discussed.
We present a complete-quantum description of multi-particle Szilard engine which consists of a working substance and a Maxwell's demon. The demon is modeled as a multi-level quantum system with specific quantum control and the working substance consists of identical particles obeying Bose-Einstein or Fermi-Dirac statistics. In this description, a reversible scheme to erase the demon's memory by a lower temperature heat bath is used. We demonstrate that (1) the quantum control of the demon can be optimized for single-particle Szilard engine so that the efficiency of the demon-assisted thermodyn…
A system in equilibrium does not evolve -- time independence is its telltale characteristic. However, in Newtonian physics the microstate of an individual system (a point in its phase space) evolves incessantly in accord with its equations of motion. Ensembles were introduced in XIX century to bridge that chasm between continuous motion of phase space points in Newtonian dynamics and stasis of thermodynamics: While states of individual classical systems inevitably evolve, a phase space distribution of such states -- an ensemble -- can be time-independent. I show that entanglement (e.g., with t…
The Szilard engine (SZE) is the quintessence of Maxwell's demon, which can extract the work from a heat bath by utilizing information. We present the first complete quantum analysis of the SZE, and derive an analytic expression of the quantum-mechanical work performed by a quantum SZE containing an arbitrary number of molecules, where it is crucial to regard the process of insertion or removal of a wall as a legitimate thermodynamic process. We find that more (less) work can be extracted from the bosonic (fermionic) SZE due to the indistinguishability of identical particles.
The Szilard engine is the simplest possible engine, composed only of one or more particles in a box. The box is then immersed in a heat bath and partitioned into two parts by a wall. It is known that in the cold temperature limit, one may extract more work out of elementary boson than out of elementary fermions. In this paper, we consider the amount of work that can be extracted out of a system of composite particles -- particles which are composed of two interacting elementary fermions of different species. We demonstrate that the amount of work extracted is closely tied to the amount of enta…
We study a quantum Szilard engine that is not powered by heat drawn from a thermal reservoir, but rather by projective measurements. The engine is constituted of a system $\mathcal{S}$, a weight $\mathcal{W}$, and a Maxwell demon $\mathcal{D}$, and extracts work via measurement-assisted feedback control. By imposing natural constraints on the measurement and feedback processes, such as energy conservation and leaving the memory of the demon intact, we show that while the engine can function without heat from a thermal reservoir, it must give up at least one of the following features that are s…
We study experimentally work fluctuations in a Szilard engine that extracts work from information encoded as the occupancy of an electron level in a semiconductor quantum dot. We show that as the average work extracted per bit of information increases towards the Landauer limit $k_BT \ln 2$, the work fluctuations decrease in accordance with the work fluctuation-dissipation relation. We compare the results to a protocol without measurement and feedback and show that when no information is used, the work output and fluctuations vanish simultaneously contrasting the information-to-energy conversi…
By considering level shifting during the insertion process we revisit the quantum Szilard engine (QSZE) with fully quantum consideration. We derive the general expressions of the heat absorbed from thermal bath and the total work done to the environment by the system in a cycle with two different cyclic strategies. We find that only the quantum information contributes to the absorbed heat, and the classical information acts like a feedback controller and has no direct effect on the absorbed heat. This is the first demonstration of the different effects of quantum information and classical info…
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 so-called information-thermodynamics link has been created in a series of works starting from Maxwell demon and established by the idea of transforming information into work in the though experiment of Szilard which then evolved into the vast field of research. The aim of this note is firstly to present two new models of the Szilard engine containing arbitrary number of molecules which show irrelevance of acquiring information for work extraction. Secondly, the difference between the definition of entropy for ergodic systems and systems with ergodicity breaking constraints is emphasized. T…
We address the question of verifying the quantumness of thermal machines. A Szilárd engine is truly quantum if its work output cannot be described by a local hidden state (LHS) model, i. e. an objective local statistical ensemble. Quantumness in this scenario is revealed by a steering-type inequality which bounds the classically extractable work. A quantum Maxwell demon can violate that inequality by exploiting quantum correlations between the work medium and the thermal environment. While for a classical Szilárd engine an objective description of the medium always exists, any such description…
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…
The thermodynamic cost of resetting an arbitrary initial state to a particular desired state is lower bounded by Landauer's bound. However, here we demonstrate that this lower bound is necessarily unachievable for nearly every initial state, for any reliable reset mechanism. Since local heating threatens rapid decoherence, this issue is of substantial importance beyond mere energy efficiency. For the case of qubit reset, we find the minimally dissipative state analytically for any reliable reset protocol, in terms of the entropy-flow vector introduced here. This allows us to verify a recent th…
We develop the full counting statistics of dissipated heat to explore the relation with Landauer's principle. Combining the two-time measurement protocol for the reconstruction of the statistics of heat with the minimal set of assumptions for Landauer's principle to hold, we derive a general one-parameter family of upper and lower bounds on the mean dissipated heat from a system to its environment. Furthermore, we establish a connection with the degree of non-unitality of the system's dynamics and show that, if a large deviation function exists as stationary limit of the above cumulant generat…
Machine learning techniques based on artificial neural networks have been successfully applied to solve many problems in science. One of the most interesting domains of machine learning, reinforcement learning, has natural applicability for optimization problems in physics. In this work we use deep reinforcement learning and Chopped Random Basis optimization, to solve an optimization problem based on the insertion of an off-center barrier in a quantum Szilard engine. We show that using designed protocols for the time dependence of the barrier strength, we can achieve an equal splitting of the …
One of the outstanding challenges to information processing is the eloquent suppression of energy consumption in execution of logic operations. Landauer principle sets an energy constraint in deletion of a classical bit of information. Although some attempts have been paid to experimentally approach the fundamental limit restricted by this principle, exploring Landauer principle in a purely quantum mechanical fashion is still an open question. Employing a trapped ultracold ion, we experimentally demonstrate a quantum version of Landauer principle, i.e., an equality associated with energy cost …
We look at certain thought experiments based upon the 'delayed choice' and 'quantum eraser' interference experiments, which present a complementarity between information gathered from a quantum measurement and interference effects. It has been argued that these experiments show the Bohm interpretation of quantum theory is untenable. We demonstrate that these experiments depend critically upon the assumption that a quantum optics device can operate as a measuring device, and show that, in the context of these experiments, it cannot be consistently understood in this way. By contrast, we then sh…
Information is physical but information is also processed in finite time. Where computing protocols are concerned, finite-time processing in the quantum regime can dynamically generate coherence. Here we show that this can have significant thermodynamic implications. We demonstrate that quantum coherence generated in the energy eigenbasis of a system undergoing a finite-time information erasure protocol yields rare events with extreme dissipation. These fluctuations are of purely quantum origin. By studying the full statistics of the dissipated heat in the slow driving limit, we prove that coh…
Classical and quantum error correction are presented in the form of Maxwell's demon and their efficiency analyzed from the thermodynamic point of view. We explain how Landauer's principle of information erasure applies to both cases. By then extending this principle to entanglement manipulations we rederive upper bounds on purification procedures thereby linking the ''no local increase of entanglement'' principle to the Second Law of thermodynamics.
We investigate the link between information and thermodynamics embodied by Landauer's principle in the open dynamics of a multipartite quantum system. Such irreversible dynamics is described in terms of a collisional model with a finite temperature reservoir. We demonstrate that Landauer's principle holds, for such a configuration, in a form that involves the flow of heat dissipated into the environment and the rate of change of the entropy of the system. Quite remarkably, such a principle for {\it heat and entropy power} can be explicitly linked to the rate of creation of correlations among t…
This article discusses the concept of information and its intimate relationship with physics. After an introduction of all the necessary quantum mechanical and information theoretical concepts we analyze Landauer's principle that states that the erasure of information is inevitably accompanied by the generation of heat. We employ this principle to rederive a number of results in classical and quantum information theory whose rigorous mathematical derivations are difficult. This demonstrates the usefulness of Landauer's principle and provides an introduction to the physical theory of informatio…
Following the rising interest in quantum information science, the extension of a heat engine to the quantum regime by exploring microscopic quantum systems has seen a boom of interest in the last decade. Although quantum coherence in the quantum system of the working medium has been investigated to play a nontrivial role, a complete understanding of the intrinsic quantum advantage of quantum heat engines remains elusive. We experimentally demonstrate that the quantum correlation between the working medium and the thermal bath is critical for the quantum advantage of a quantum Szilard engine, w…
Landauer's principle sets fundamental thermodynamical constraints for classical and quantum information processing, thus affecting not only various branches of physics, but also of computer science and engineering. Despite its importance, this principle was only recently experimentally considered for classical systems. Here we employ a nuclear magnetic resonance setup to experimentally address the information to energy conversion in a quantum system. Specifically, we consider a three nuclear spins $S=1/2$ (qubits) molecule ---the system, the reservoir and the ancilla--- to measure the heat dis…
We demonstrate the validity of Landauer's erasure principle in the strong coupling quantum regime by treating the system-reservoir interaction in a consistent way. We show that the initial coupling to the reservoir modifies both energy and entropy of the system and provide explicit expressions for the latter in the case of a damped quantum harmonic oscillator. These contributions are related to the Hamiltonian of mean force and dominate in the strong damping limit. They need therefore to be fully taken into account in any low-temperature thermodynamic analysis of quantum systems.
Landauer's principle states that erasure of each bit of information in a system requires at least a unit of energy $k_B T \ln 2$ to be dissipated. In return, the blank bit may possibly be utilized to extract usable work of the amount $k_B T \ln 2$, in keeping with the second law of thermodynamics. While in principle any collection of spins can be utilized as information storage, work extraction by utilizing this resource in principle requires specialized engines that are capable of using this resource. In this work, we focus on heat and charge transport in a quantum spin Hall device in the pre…
Landauer's principle laid the main foundation for the development of modern thermodynamics of information. However, in its original inception the principle relies on semiformal arguments and dissipative dynamics. Hence, if and how Landauer's principle applies to unitary quantum computing is less than obvious. Here, we prove an inequality bounding the change of Shannon information encoded in the logical quantum states by quantifying the energetic cost of Hamiltonian gate operations. The utility of this bound is demonstrated by outlining how it can be applied to identify energetically optimal qu…
Quantum discord was proposed as a measure of the "quantumness" of correlations. There are at least three different discord-like quantities, two of which determine the difference between the efficiencies of a Szilard's engine under different sets of restrictions. The three discord measures vanish simulataneosly. We introduce an easy way to test for zero discord, relate it to the Cerf-Adami conditional entropy and show that there is no relation between the discord and the local disitnguishability.
We propose a new inequality that we call the conditional ageing inequality (CAIN). The CAIN is a slight generalization to non-equilibrium situations of the Second Law of thermodynamics. The goal of this paper is to study the consequences of the CAIN. We use the CAIN to discuss Maxwell demon processes (i.e., thermodynamic processes with feedback.) In particular, we apply the CAIN to four cases of the Szilard engine: for a classical or a quantum system with either one or two correlated particles. Besides proposing this new inequality that we call the CAIN, another novel feature of this paper is …
We study the physical mechanism of Maxwell's Demon (MD) helping to do extra work in thermodynamic cycles, by describing measurement of position, insertion of wall and information erasing of MD in a quantum mechanical fashion. The heat engine is exemplified with one molecule confined in an infinitely deep square potential inserted with a movable solid wall, while the MD is modeled as a two-level system (TLS) for measuring and controlling the motion of the molecule. It is discovered that the the MD with quantum coherence or on a lower temperature than that of the heat bath of the particle would …
Here, we show the implementation of a complete cycle of a quantum engine fuelled by information. This engine is a quantum version of the Szilard engine, where information is used to extract heat from the environment and fully convert it into work. In our experiment, this work is used to make a weight, initially in the ground state, reach its excited state. We measure the energy and the state of each component of the engine, after each step of the cycle, and compare them with the theoretical prediction to show that the cycle is implemented with high precision. We also perform experiments to sho…
Maxwell's Demon, 'a being whose faculties are so sharpened that he can follow every molecule in its course', has been the centre of much debate about its abilities to violate the second law of thermodynamics. Landauer's hypothesis, that the Demon must erase its memory and incur a thermodynamic cost, has become the standard response to Maxwell's dilemma, and its implications for the thermodynamics of computation reach into many areas of quantum and classical computing. It remains, however, still a hypothesis. Debate has often centred around simple toy models of a single particle in a box. Despi…
We propose and analyze Maxwell's demon based on a single qubit with avoided level crossing. Its operation cycle consists of adiabatic drive to the point of minimum energy separation, measurement of the qubit state, and conditional feedback. We show that the heat extracted from the bath at temperature $T$ can ideally approach the Landauer limit of $k_BT\ln 2$ per cycle even in the quantum regime. Practical demon efficiency is limited by the interplay of Landau-Zener transitions and coupling to the bath. We suggest that an experimental demonstration of the demon is fully feasible using one of th…
We compare the Landauer, Kubo, and microcanonical [J. Phys. Cond. Matter {\bf 16}, 8025 (2004)] approaches to quantum transport for the average current, the entanglement entropy and the semiclassical full-counting statistics (FCS). Our focus is on the applicability of these approaches to isolated quantum systems such as ultra-cold atoms in engineered optical potentials. For two lattices connected by a junction, we find that the current and particle number fluctuations from the microcanonical approach compare well with the values predicted by the Landauer formalism and FCS assuming a binomial d…
Traditional form of the second law of thermodynamics is strongly restricted by three conditions: One is the initial joint state of the system and surroundings should be a product state, so that there exists no initial correlations. The second is the initial states of surroundings are in equilibrium thermodynamics. And the end is weak couplings between the system and surroundings. This formulation of the second law should be reexamined in order to understand the relations of thermodynamics and information theory, especially, when existing initial correlations. In this work, using the techniques…
We demonstrate an information erasure protocol that resets $N$ qubits at once. The method displays exceptional performances in terms of energy cost (it operates nearly at Landauer energy cost $kT \ln 2$), time duration ($\sim μs$) and erasure success rate ($\sim 99,9\%$). The method departs from the standard algorithmic cooling paradigm by exploiting cooperative effects associated to the mechanism of spontaneous symmetry breaking which are amplified by quantum tunnelling phenomena. Such cooperative quantum erasure protocol is experimentally demonstrated on a commercial quantum annealer and cou…
The interplay between thermal machines and quantum correlations is of great interest in both quantum thermodynamics and quantum information science. Recently, a quantum Szilárd engine has been proposed, showing that the quantum steerability between a Maxwell's demon and a work medium can be beneficial to a work extraction task. Nevertheless, this type of quantum-fueled machine is usually fragile in the presence of decoherence effects. We provide an example of the pure dephasing process, showing that the engine's quantumness can be degraded. Therefore, in this work, we tackle this question by i…
In a recent article, Chiang and Hsu [The Journal of Chemical Physics 153, 044103 (2020)] examine one and two site electronic junctions identically connected to finite reservoirs. For these two examples, they derive analytical solutions, as well as provide asymptotic analyses, for the steady-state current from the driven Liouville-von Neumann (DLvN) equation - an open system approach to transport in non-interacting systems where relaxation maintains a bias. The two site junction they examine has destructive interference, which they show leads to slow convergence of the DLvN to the Landauer limi…
Decompositional equivalence is the principle that there is no preferred decomposition of the universe into subsystems. It is shown here, by using simple thought experiments, that quantum theory follows from decompositional equivalence together with Landauer's principle. This demonstration raises within physics a question previously left to psychology: how do human - or any - observers agree about what constitutes a "system of interest"?
It is generally accepted, following Landauer and Bennett, that the process of measurement involves no minimum entropy cost, but the erasure of information in resetting the memory register of a computer to zero requires dissipating heat into the environment. This thesis has been challenged recently in a two-part article by Earman and Norton. I review some relevant observations in the thermodynamics of computation and argue that Earman and Norton are mistaken: there is in principle no entropy cost to the acquisition of information, but the destruction of information does involve an irreducible e…
We discuss a self-contained spin-boson model for a measurement-driven engine, in which a demon generates work from thermal excitations of a quantum spin via measurement and feedback control. Instead of granting it full direct access to the spin state and to Landauer's erasure strokes for optimal performance, we restrict this demon's action to pointer measurements, i.e. random or continuous interrogations of a damped mechanical oscillator that assumes macroscopically distinct positions depending on the spin state. The engine can reach simultaneously the power and efficiency benchmarks and opera…
According to Landauer's principle, erasing one bit of information incurs a minimum energy cost. Recently, Vaccaro and Barnett (VB) explored information erasure within the context of generalized Gibbs ensembles and demonstrated that for energy-degenerate spin reservoirs, the cost of erasure can be solely in terms of a minimum amount of spin angular momentum and no energy. As opposed to the Landauer case, the cost of erasure in this case is associated with the discrete variable. Here we study the {\it discrete} fluctuations in this cost and the probability of violation of the VB bound. We also o…
