Conditional Erasure and the Landauer Limit

Abstract

Quantum-dynamical proofs of dissipation bounds for Landauer erasure are presented, with emphasis on the crucial connection between conditioning in erasure protocols and fundamental limits on erasure costs. Bounds on erasure costs for conditional and unconditional erasure protocols are shown to follow from a very general and ecumenical physical description of Landauer erasure, a straightforward accounting of its energetic cost, refined definitions of what it means for physical system states to bear known and unknown data, and a transparent application of quantum dynamics and entropic inequalities. These results generalize and support the results of Landauer and Bennett for unconditional and conditional erasure, respectively, and do so using a theoretical methodology that sidesteps or otherwise withstands methodological objections that have been leveled against thermodynamic proofs and other theoretical arguments in the literature. The dissipation bounds obtained here coincide with those obtained elsewhere from an even more general approach that is based on a thoroughly physical conception of information and that clearly distinguishes information from entropy. This connection may help to clarify central issues in the debate over Landauer’s Principle, since the more general approach bounds dissipative costs of irreversible information loss in a range of scenarios that are both broader and less idealized than those typically considered in explorations of the Landauer limit.