Related papers: The physical limit of logical compare operation
By developing and leveraging an explicit molecular realisation of a measurement-and-feedback-powered Szilard engine, we investigate the extraction of work from complex environments by minimal machines with finite capacity for memory and…
`What more than its truth do we know if we have a proof of a theorem in a given formal system?' We examine Kreisel's question in the particular context of program termination proofs, with an eye to deriving complexity bounds on program…
The common saying, that information is power, takes a rigorous form in stochastic thermodynamics, where a quantitative equivalence between the two helps explain the paradox of Maxwell's demon in its ability to reduce entropy. In the present…
We implement a Szilard engine using a 2-bit logical unit consisting of inductively coupled quantum flux parametrons (QFPs) -- Josephson-junction superconducting circuits with applications in both the classical and quantum information…
The limit of energy saving in the control of small systems has recently attracted much interest due to the concept refinement of the Maxwell demon. Inspired by a newly proposed set of fluctuation theorems, we report the first experimental…
A Szilard Engine is a hypothetical device which is able to extract work from a single thermal reservoir by measuring the position of particles within the engine. We derive the amount of work that can be extracted from such a device in the…
The second law of thermodynamics is probabilistic in nature. Its formulation requires that the state of a system be described by a probability distribution. A natural question, thereby, arises as to whether a prior knowledge about the state…
Resolution of the century-long paradox on Maxwell's demon reveals a deep connection between information theory and thermodynamics. Although initially introduced as a thought experiment, Maxwell's demon can now be implemented in several…
We prove that \Omega(n log(n)) comparisons are necessary for any quantum algorithm that sorts n numbers with high success probability and uses only comparisons. If no error is allowed, at least 0.110nlog_2(n) - 0.067n + O(1) comparisons…
The paradox of Maxwell's demon motivated the development of information thermodynamics and the creation of nanoscale information engines. We now understand that machines such as the molecular motors within cells can in principle harvest…
Sorting has a natural generalization where the input consists of: (1) a ground set $X$ of size $n$, (2) a partial oracle $O_P$ specifying some fixed partial order $P$ on $X$ and (3) a linear oracle $O_L$ specifying a linear order $L$ that…
Szil\'ard's information engine is a canonical example in the field of thermodynamics of information. We realize experimentally a macroscopic many-particle Szil\'ard engine that consists of active particles and use it to lift a mass against…
While Kolmogorov complexity is the accepted absolute measure of information content in an individual finite object, a similarly absolute notion is needed for the information distance between two individual objects, for example, two…
It is nearly 150 years since Maxwell challenged the validity of the second law of thermodynamics by imagining a tiny creature who could sort the molecules of a gas in such a way that would decrease entropy without exerting any work. The…
We investigate the extraction of thermodynamic work by a Maxwell's demon in a multipartite quantum correlated system. We begin by adopting the standard model of a Maxwell's demon as a Turing machine, either in a classical or quantum setup…
Motivated by the recent work by Mandal and Jarzynski on autonomous Maxwell demon information engine, we have extended their model by introducing two different heat baths. The system (demon) is coupled to a memory register (tape) and a work…
We investigate the complexity of algorithms counting ones in different sets of operations. With addition and logical operations (but no shift) $O(\log^2(n))$ steps suffice to count ones. Parity can be computed with complexity $O(\log(n))$,…
Information-theoretic approaches provide a promising avenue for extending the laws of thermodynamics to the nanoscale. Here, we provide a general fundamental lower limit, valid for systems with an arbitrary Hamiltonian and in contact with…
The Szilard engine stands as a compelling illustration of the intricate interplay between information and thermodynamics. While at thermodynamic equilibrium, the apparent breach of the second law of thermodynamics was reconciled by Landauer…
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…