Related papers: The physical limit of logical compare operation
Using a thermodynamically consistent, mesoscopic model for modern complementary metal-oxide-semiconductor transistors, we study an array of logical circuits and explore how their function is constrained by recent thermodynamic uncertainty…
Linear programming is a powerful method in combinatorial optimization with many applications in theory and practice. For solving a linear program quickly it is desirable to have a formulation of small size for the given problem. A useful…
Higher-Order Fixpoint Logic (HFL) is a hybrid of the simply typed \lambda-calculus and the modal \lambda-calculus. This makes it a highly expressive temporal logic that is capable of expressing various interesting correctness properties of…
The study of feedback control inspired by Maxwell's demon is central to the understanding of the relationship between thermodynamics and information. In this paper, we establish fundamental lower limits on the work costs of system…
Maxwell's Demon is at the heart of the interrelation between quantum information processing and thermodynamics. In this thought experiment, a demon generates a temperature gradient between two thermal baths initially at equilibrium by…
Although there is not a complete "proof" of the second law of thermo- dynamics based on microscopic dynamics, two properties of Hamiltonian systems have been used to prove the impossibility of work extraction from a single thermal…
We present a physical implementation of a Maxwell demon which consists of a conventional single electron transistor (SET) capacitively coupled to another quantum dot detecting its state. Altogether, the system is described by stochastic…
Information-processing systems that coordinate multiple agents and objectives face fundamental thermodynamic constraints. We show that solutions with maximum utility to act as coordination focal points have a much higher selection pressure…
In thermal environments, information processing requires thermodynamic costs determined by the second law of thermodynamics. Information processing within finite time is particularly important, since fast information processing has…
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.…
A polarized version of Girard, Scedrov and Scott's Bounded Linear Logic is introduced and its normalization properties studied. Following Laurent, the logic naturally gives rise to a type system for the lambda-mu-calculus, whose derivations…
Maxwell refrigerator as a device that can transfer heat from a cold to hot temperature reservoir making use of information reservoir was introduced by Mandal et al. \cite{Mandal2013a}. The model has a two state demon and a bit stream…
According to Landauer's principle, erasure of information is the only part of a computation process that unavoidably involves energy dissipation. If done reversibly, such an erasure generates the minimal heat of $k_BT\ln 2$ per erased bit…
We study the average case complexity of a linear multivariate problem $(\lmp)$ defined on functions of $d$ variables. We consider two classes of information. The first $\lstd$ consists of function values and the second $\lall$ of all…
Scheduling with testing is a recent online problem within the framework of explorable uncertainty motivated by environments where some preliminary action can influence the duration of a task. Jobs have an unknown processing time that can be…
Max-Plus Linear (MPL) systems are an algebraic formalism with practical applications in transportation networks, manufacturing and biological systems. In this paper, we investigate the problem of automatically analyzing the properties of…
In the past decade several theoretical Maxwell's demon models have been proposed exhibiting effects such as refrigerating, doing work at the cost of information, and some experiments have been done to realise these effects. Here we propose…
After presenting possible motives for fighting against the second law of thermodynamics, several attempts to beat this law are analyzed. The second law wins, but an interesting interpretation of it emerges. This interpretation uses the…
In this paper a tight bound on the worst-case number of comparisons for Floyd's well known heap construction algorithm, is derived. It is shown that at most 2n-2{\mu}(n)-{\sigma}(n) comparisons are executed in the worst case, where {\mu}(n)…
Maxwell's demon (MD) has proven an instructive vehicle by which to explore the relationship between information theory and thermodynamics, fueling the possibility of information driven machines. A long standing debate has been the concern…