Related papers: The physical limit of logical compare operation
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…
We introduce a deterministic chaotic system---the Szilard Map---that encapsulates the measurement, control, and erasure protocol by which Maxwellian Demons extract work from a heat reservoir. Implementing the Demon's control function in a…
Isothermal information engines operate by extracting net work from a single heat bath through measurement and feedback control. In this work, we analyze a realistic active Szilard engine operating on a single active particle by means of…
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…
As temperature drops, molecular systems may undergo spontaneous ordering, moving from random behavior to orderly structure. This research demonstrates a direct analogy between this type of thermodynamic ordering in molecular systems and the…
Standpoint linear temporal logic SLTL is a recent formalism able to model possibly conflicting commitments made by distinct agents, taking into account aspects of temporal reasoning. In this paper, we analyse the computational properties of…
We propose and theoretically investigate a novel Maxwell's demon implementation based on the spin-momentum locking property of topological matter. We use nuclear spins as a memory resource which provides the advantage of scalability. We…
We consider the quantum complexities of the following three problems: searching an ordered list, sorting an un-ordered list, and deciding whether the numbers in a list are all distinct. Letting N be the number of elements in the input list,…
To induce transport, detailed balance must be broken. A common mechanism is to bias the dynamics with a thermodynamic fuel, such as chemical energy. An intriguing, alternative strategy is for a Maxwell demon to effect the bias using…
This paper studies the average complexity on the number of comparisons for sorting algorithms. Its information-theoretic lower bound is $n \lg n - 1.4427n + O(\log n)$. For many efficient algorithms, the first $n\lg n$ term is easy to…
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.…
We present a thermodynamic analysis of a quantum engine that uses a single quantum particle as its working fluid, inspired by Szilard's classical single-particle engine. Our design is modeled after the classically-chaotic Szilard Map and…
The standard relations between information theory and thermodynamics are challenged. The Szilard engine is revisited and the bound proposed by Landauer is replaced by a different one which includes errors in information processing. Instead…
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…
Information-driven engines that rectify thermal fluctuations are a modern realization of the Maxwell-demon thought experiment. We introduce a simple design based on a heavy colloidal particle, held by an optical trap and immersed in water.…
Rational verification refers to the problem of checking which temporal logic properties hold of a concurrent multiagent system, under the assumption that agents in the system choose strategies that form a game-theoretic equilibrium.…
This chapter provides an overview of the methods and results for quantum thermodynamic experiments with single-electron devices. The experiments with a single-electron box on Jarzynski equality and Crooks relation, two-temperature…
Nearly all theoretical analyses of the Maxwell's demon focus on its energetic and entropic costs of operation. Here, we focus on its rate of operation. In our model, a demon's rate limitation stems from its finite response time and gate…
We investigate thermodynamics of feedback processes driven by measurement. Regarding system and memory device as a composite system, mutual information as a measure of correlation between the two constituents contributes to the entropy of…
Framing computation as the transformation of metastable memories, we explore its fundamental thermodynamic limits. The true power of information follows from a novel decomposition of nonequilibrium free energy derived here, which provides a…