Erasing a majority-logic bit

نویسندگان

چکیده

Abstract We study finite-time bit erasure in the context of majority-logic decoding. In particular, we calculate minimum amount work needed to erase a when one has full control over system dynamics. show that although single unit is easier slow-driving limit, general outperforms fast-erasure limit. Our results also suggest optimal design principles for bits under limited control.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Cost/ Speed/ Reliability Trade-off in Erasing a Bit

We present a novel treatment of the fundamental problem of erasing a bit. We propose a cost function that extends to path space the principle due to Szilard and Landauer that erasing a bit requires at least kBT log 2 units of energy. We introduce notions of reliability of information storage via a reliability timescale τr, and speed of erasing via an erasing timescale τe. Our problem formulatio...

متن کامل

Majority Logic

We extend graded modal logic (GML) to a logic that captures the concept of majority. We provide an axiomatization for majority logic, MJL, and sketch soundness and completeness proofs. Along the way, we must answer the question what is a majority of an infinite set? Majority spaces are introduced as a solution to this question.

متن کامل

Learning by Erasing in Dynamic Epistemic Logic

This work provides a comparison of learning by erasing [1] and iterated epistemic update [2] as analyzed in dynamic epistemic logic (see e.g. [3]). We show that finite identification can be modelled in dynamic epistemic logic and that the elimination process of learning by erasing can be seen as iterated belief-revision modelled in dynamic doxastic logic.

متن کامل

Dependence logic with a majority quantifier

We study the extension of dependence logic D by a majority quantifier M over finite structures. Dependence logic [19] extends first-order logic by dependence atomic formulas =(t1, . . . , tn) the intuitive meaning of which is that the value of the term tn is completely determined by the values of t1, . . . , tn−1. While in first-order logic the order of quantifiers solely determines the depende...

متن کامل

Majority Logic: Axiomatization and Completeness

Graded modal logic, as presented in [5], extends propositional modal systems with a set of modal operators ♦n (n ∈ N) that express “there are more than n accessible worlds such that...”. We extend∗ GML with a modal operator W that can express “there are more than or equal to half of the accessible worlds such that...”. The semantics of W is straightforward provided there are only finitely many ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: EPL

سال: 2021

ISSN: ['0295-5075', '1286-4854']

DOI: https://doi.org/10.1209/0295-5075/133/30002