Related papers: The physical limit of logical compare operation
We study how correlations affect the performance of the simulator of a Maxwell's demon demonstrated in a recent optical experiment [Vidrighin et al., Phys. Rev. Lett. 116, 050401 (2016)]. The power of the demon is found to be enhanced or…
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…
Courcelle's famous theorem from 1990 states that any property of graphs definable in monadic second-order logic (MSO) can be decided in linear time on any class of graphs of bounded treewidth, or in other words, MSO is fixed-parameter…
We present an experimental realization of an autonomous Maxwell's Demon, which extracts microscopic information from a System and reduces its entropy by applying feedback. It is based on two capacitively coupled single electron devices,…
Competition complexity formalizes a compelling intuition: rather than refining the mechanism, how much additional competition is sufficient for a simple mechanism to compete with an optimal one? We begin the study of this question in…
The Lorentz lattice gas is studied from the perspective of computational complexity theory. It is shown that using massive parallelism, particle trajectories can be simulated in a time that scales logarithmically in the length of the…
Model checking linear-time properties expressed in first-order logic has non-elementary complexity, and thus various restricted logical languages are employed. In this paper we consider two such restricted specification logics, linear…
Maxwellian ratchets are autonomous, finite-state thermodynamic engines that implement input-output informational transformations. Previous studies of these "demons" focused on how they exploit environmental resources to generate work: They…
A tantalizing version of Maxwell's demon is presented which appears to operate reversibly. A container of hard core disks is separated into two chambers of equal volume by a membrane that selects which disk can penetrate depending on the…
We study the efficiency of a single particle Szilard and Carnot engine. Within a first order correction to the quasi-static limit, the work distribution is found to be Gaussian and the correction factor to average work and efficiency only…
We discuss the definability of finite graphs in first-order logic with two relation symbols for adjacency and equality of vertices. The logical depth $D(G)$ of a graph $G$ is equal to the minimum quantifier depth of a sentence defining $G$…
In this paper we examine the Maxwell Demon problem from an information theoretic and computational point-of-view. In particular we calculate the required capacity of a communication channel that transports information to and from the Demon.…
In apparent contradiction to the laws of thermodynamics, Maxwell's demon is able to cyclically extract work from a system in contact with a thermal bath exploiting the information about its microstate. The resolution of this paradox…
We study the reduction in total entropy, and associated conversion of environmental heat into work, arising from the coupling and decoupling of two systems followed by processing determined by suitable mutual feedback. The scheme is based…
As early as 1867, two years after the introduction of the concept of entropy by Clausius, Maxwell showed that the limitations imposed by the second law of thermodynamics depend on the information that one possesses about the state of a…
We study the problem of policy optimization (PO) with linear temporal logic (LTL) constraints. The language of LTL allows flexible description of tasks that may be unnatural to encode as a scalar cost function. We consider LTL-constrained…
Measurements --- interactions which establish correlations between a system and a recording device --- can be made thermodynamically reversible. One might be concerned that such reversibility will make the second law of thermodynamics…
To maximize the information gained from a single execution when verifying a concurrent system, one can derive all concurrency-aware equivalent executions and check them against linear specifications. This paper offers an alternative…
Language models are now capable of solving tasks that require dealing with long sequences consisting of hundreds of thousands of tokens. However, they often fail on tasks that require repetitive use of simple rules, even on sequences that…
We study a clean machine model for external memory and stream processing. We show that the number of scans of the external data induces a strict hierarchy (as long as work space is sufficiently small, e.g., polylogarithmic in the size of…