Shortcuts to Thermodynamic Computing: The Cost of Fast and Faithful Erasure

Similar documents
Second law, entropy production, and reversibility in thermodynamics of information

CHAPTER V. Brownian motion. V.1 Langevin dynamics

arxiv: v4 [cond-mat.stat-mech] 3 Mar 2017

Demon Dynamics: Deterministic Chaos, the Szilard Map, & the Intelligence of Thermodynamic Systems.

Statistical Complexity of Simple 1D Spin Systems

The physics of information: from Maxwell s demon to Landauer. Eric Lutz University of Erlangen-Nürnberg

The Free Energy Requirements of Biological Organisms; Implications for Evolution

PHYS 414 Problem Set 4: Demonic refrigerators and eternal sunshine

Entropy production fluctuation theorem and the nonequilibrium work relation for free energy differences

Quantum Thermodynamics

Information Theory in Statistical Mechanics: Equilibrium and Beyond... Benjamin Good

16. Working with the Langevin and Fokker-Planck equations

Information in Biology

Non-equilibrium phenomena and fluctuation relations

Stochastic thermodynamics

COARSE-GRAINING AND THERMODYNAMICS IN FAR-FROM-EQUILIBRIUM SYSTEMS

Thermodynamic entropy

Energy Fluctuations in Thermally Isolated Driven System

Information in Biology

ON BROWNIAN COMPUTATION

Introduction to Fluctuation Theorems

Optimum protocol for fast-switching free-energy calculations

LANGEVIN EQUATION AND THERMODYNAMICS

From time series to superstatistics

Scaling and crossovers in activated escape near a bifurcation point

MD Thermodynamics. Lecture 12 3/26/18. Harvard SEAS AP 275 Atomistic Modeling of Materials Boris Kozinsky

Quantum computation: a tutorial

EE376A - Information Theory Final, Monday March 14th 2016 Solutions. Please start answering each question on a new page of the answer booklet.

MACROSCOPIC VARIABLES, THERMAL EQUILIBRIUM. Contents AND BOLTZMANN ENTROPY. 1 Macroscopic Variables 3. 2 Local quantities and Hydrodynamics fields 4

Thermodynamics. 1.1 Introduction. Thermodynamics is a phenomenological description of properties of macroscopic systems in thermal equilibrium.

arxiv: v1 [cond-mat.stat-mech] 6 Mar 2008

Removing the mystery of entropy and thermodynamics. Part 3

The Kramers problem and first passage times.

A Simple Model s Best Hope: A Brief Introduction to Universality

Even if you're not burning books, destroying information generates heat.

Brownian Motion and Langevin Equations

Statistical Mechanics of Active Matter

PHYSICS 715 COURSE NOTES WEEK 1

PHYSICAL REVIEW LETTERS

Bayesian vs frequentist techniques for the analysis of binary outcome data

Title of communication, titles not fitting in one line will break automatically

New Physical Principle for Monte-Carlo simulations

UNDERSTANDING BOLTZMANN S ANALYSIS VIA. Contents SOLVABLE MODELS

Physics of switches. Luca Gammaitoni NiPS Laboratory

Entropy Decrease in Isolated Systems with an Internal Wall undergoing Brownian Motion

What is a quantum computer? Quantum Architecture. Quantum Mechanics. Quantum Superposition. Quantum Entanglement. What is a Quantum Computer (contd.

ELEC546 Review of Information Theory

On the Asymptotic Convergence. of the Transient and Steady State Fluctuation Theorems. Gary Ayton and Denis J. Evans. Research School Of Chemistry

Capacity of the Discrete Memoryless Energy Harvesting Channel with Side Information

Comparative analysis of non-equilibrium quantum Landauer bounds

If we want to analyze experimental or simulated data we might encounter the following tasks:

Superstatistics and temperature fluctuations. F. Sattin 1. Padova, Italy

arxiv: v2 [cond-mat.stat-mech] 18 Jun 2009

The Effects of Coarse-Graining on One- Dimensional Cellular Automata Alec Boyd UC Davis Physics Deparment

The dynamics of small particles whose size is roughly 1 µmt or. smaller, in a fluid at room temperature, is extremely erratic, and is

Chapter 2 Thermodynamics

Minimum Fuel Optimal Control Example For A Scalar System

Beyond the Second Law of Thermodynamics

arxiv: v3 [cond-mat.stat-mech] 7 Nov 2018

Effective dynamics for the (overdamped) Langevin equation

Treatment of Error in Experimental Measurements

Thermodynamics of Correlations and Structure in Information Engines

The Toric-Boson model and quantum memory at finite temperature

Lecture 11: Continuous-valued signals and differential entropy

2.3 Damping, phases and all that

Hierarchical Thermodynamics

Copyrighted Material. 1.1 Large-Scale Interconnected Dynamical Systems

Quantum measurement theory and micro-macro consistency in nonequilibrium statistical mechanics

Avalanches, transport, and local equilibrium in self-organized criticality

Information and Physics Landauer Principle and Beyond

2. SPECTRAL ANALYSIS APPLIED TO STOCHASTIC PROCESSES

Thermodynamical cost of accuracy and stability of information processing

Source Coding. Master Universitario en Ingeniería de Telecomunicación. I. Santamaría Universidad de Cantabria

Introduction. Statistical physics: microscopic foundation of thermodynamics degrees of freedom 2 3 state variables!

A Simple Model of Quantum Trajectories. Todd A. Brun University of Southern California

arxiv: v2 [cond-mat.stat-mech] 16 Mar 2012

Exercises. Chapter 1. of τ approx that produces the most accurate estimate for this firing pattern.

Experimental Rectification of Entropy Production by Maxwell s Demon in a Quantum System

X 1 : X Table 1: Y = X X 2

AC&ST AUTOMATIC CONTROL AND SYSTEM THEORY SYSTEMS AND MODELS. Claudio Melchiorri

Averaging II: Adiabatic Invariance for Integrable Systems (argued via the Averaging Principle)

Transmitting and Hiding Quantum Information

5/6/ :41 PM. Chapter 6. Using Entropy. Dr. Mohammad Abuhaiba, PE

Physics, Time and Determinism

Transient Dissipation and Structural Costs of Physical Information Transduction

Nonequilibrium thermodynamics at the microscale

arxiv: v3 [quant-ph] 23 Jun 2011

Derivation of the GENERIC form of nonequilibrium thermodynamics from a statistical optimization principle

Thermodynamically reversible generalization of diffusion limited aggregation

On the Quantum Langevin Equation

Lecture 12: Detailed balance and Eigenfunction methods

Mechanics IV: Oscillations

Dynamic force matching: Construction of dynamic coarse-grained models with realistic short time dynamics and accurate long time dynamics

Multivariate Distribution Models

Dissipative nuclear dynamics

Advanced sampling. fluids of strongly orientation-dependent interactions (e.g., dipoles, hydrogen bonds)

arxiv: v1 [cs.lg] 2 Feb 2018

Introduction to Stochastic Thermodynamics: Application to Thermo- and Photo-electricity in small devices

IV. Classical Statistical Mechanics

arxiv:cond-mat/ v1 [cond-mat.stat-mech] 6 Feb 2004

Transcription:

Shortcuts to Thermodynamic Computing: The Cost of Fast and Faithful Erasure arxiv.org:8.xxxxx [cond-mat.stat-mech] Alexander B. Boyd,, Ayoti Patra,, Christopher Jarzynski,, 3, 4, and James P. Crutchfield, Complexity Sciences Center and Physics Department, University of California at Davis, One Shields Avenue, Davis, CA 9566 Department of Physics, University of Maryland, College Park, Maryland 74, USA 3 Department of Chemistry and Biochemistry, University of Maryland, College Park, Maryland 74, USA 4 Institute for Physical Science and Technology, University of Maryland, College Park, Maryland 74, USA (Dated: December 8, 8) Landauer s Principle states that the energy cost of information processing must exceed the product of the temperature and the change in Shannon entropy of the information-bearing degrees of freedom. However, this lower bound is achievable only for quasistatic, near-equilibrium computations that is, only over infinite time. In practice, information processing takes place in finite time, resulting in dissipation and potentially unreliable logical outcomes. For overdamped Langevin dynamics, we show that counterdiabatic potentials can be crafted to guide systems rapidly and accurately along desired computational paths, providing shortcuts that allows for the precise design of finitetime computations. Such shortcuts require additional work, beyond Landauer s bound, that is irretrievably dissipated into the environment. We show that this dissipated work is proportional to the computation rate as well as the square of the information-storing system s length scale. As a paradigmatic example, we design shortcuts to erase a bit of information metastably stored in a double-well potential. Though dissipated work generally increases with erasure fidelity, we show that it is possible perform perfect erasure in finite time with finite work. We also show that the robustness of information storage affects the energetic cost of erasure specifically, the dissipated work scales as the information lifetime of the bistable system. Our analysis exposes a rich and nuanced relationship between work, speed, size of the information-bearing degrees of freedom, storage robustness, and the difference between initial and final informational statistics. PACS numbers: 5.7.Ln 89.7.-a 5..-y 5.45.-a Keywords: transducer, intrinsic computation, Information Processing Second Law of Thermodynamics I. INTRODUCTION Information processing requires work. For example, no less than k B T ln of work must be supplied in order to erase a single bit of information at temperature T []. More generally, Landauer s Principle bounds the work investment by the change in the memory s Shannon entropy []: W k B T ln (H[Y ] H[Y τ ]). () Here, Y and Y τ are random variables describing initial and final memory states, and H[Y ] y Pr(Y y) log Pr(Y y) denotes the uncertainty in bits of a random variable Y. Mathematically, information processing is described by a communication channel [3] that maps an initial distribution Pr(Y ) to a final distribution Pr(Y τ ). Physically, a memory is realized by a system whose thermodynamically-metastable states encode logical abboyd@ucdavis.edu ayotipatra@gmail.com cjarzyns@umd.edu chaos@ucdavis.edu states {y}. The simplest example is a Brownian particle in a double-well potential, with two deep wells representing the y and y states of a single bit of information. More generally, the collection of all possible memory states Y {y} represents a mesoscopic coarsegraining of the space of explicit physical microstates X {x} of the memory device. Information processing is implemented by varying the system s energy landscape so as to drive the flow of probability between memory states in a controlled fashion, to achieve a desired computation. A computation can be implemented to achieve the Landauer bound, Eq. (), by varying the energy landscape infinitely slowly, so that the system remains in metastable equilibrium from beginning to end [4, 5]. Such quasistatic computations, however, take infinitely long to implement. For computations performed in finite time the underlying physical system is driven out of equilibrium, resulting in the irretrievable dissipation of energy into thermal surroundings. The problem of minimizing this dissipation has recently been explored in the linear response regime, using the tools of geometric thermodynamic control [6 9]. In the present work, we consider the separate problem of how to implement a computation rapidly and reliably. That is, we study how to design protocols for varying

the energy landscape of a system, so as to produce a desired computation in a given time interval, no matter how short its duration τ. In effect, we place a premium on speed of computation rather than energy efficiency, although we then proceed to analyze the energetic costs of rapid computation. To achieve rapid and precisely-controlled information processing, we use recently developed tools from the field of shortcuts to adiabaticity []. Specifically, we apply generic methods of counterdiabatic control of classical overdamped systems [], which were inspired by pioneering experiments on the engineered swift equilibration of a Brownian particle []. The results we obtain are not limited to the linear response regime they remain valid even when the system is driven far from equilibrium during the information processing. For concreteness, we show how to apply counterdiabatic control to erase a single bit of information rapidly and accurately, but our approach generalizes to other cases of information processing. To embed the memory states Y physically, we consider a one-dimensional position space X governed by overdamped Fokker-Planck dynamics. The energy landscape at the beginning and end of the protocol is the double-well potential shown in Fig., with a barrier sufficiently high to prevent the leakage of probability between the two wells. Thus, the landscape provides a means of storing information in metastable mesoscopic states. As we will show, counterdiabatic control of the potential can be used to drive any initial distribution over the memory states to any desired final distribution in finite time in fact, arbitrarily rapidly. Mirroring results in geometric control, we show that the work required to perform this counterdiabatic process decomposes into a change in free energy, which captures Landauer s change in state space, plus an additional contribution that scales as the rate of computation and the square of the length scale of the informationstoring potential [7]. This additional work is proportional to the global entropy production and so quantifies thermodynamic inefficiency. Our approach reveals additional trade-offs beyond that between computation rate, length scale, and thermodynamic efficiency. We show that dissipation also increases with the difference between initial and final bit distributions of the computation and with the robustness of information storage. In this way, we give a more complete picture of information processing beyond Landauer s bound. Rather than a tradeoff between information and energy, more complex tradeoffs are revealed between information, energy, statistical bit-bias difference, speed, size of the memory states, and information robustness. II. THERMODYNAMIC COMPUTING What is physical computing? At the outset, information must be encoded in collections of microscopic states X of a physical system. Let Y denote these information-containing microstate groups the accessible memory states [3, 4]. By manipulating the physical system, a microstate collection evolves, transforming the information it contains. Generally, an information processor has only partial control over and knowledge of the underlying microstates of its physical implementation. We now consider how such information processing can be modeled by stochastic dynamics governed by a controlled potential. A. Memory States and Symbolic Dynamics There are many ways to form memory states out of physical microstates. Here, we choose a framework for information erasure and general information processing in which the physical degrees of freedom X participate in metastable equilibria. Each metastable equilibrium is a microstate distribution that corresponds to a memory state y Y. For example, we can have memory states Y {, }, such that they are stable for intermediate, if not asymptotically long, time scales. The coarse-graining c : X Y of physical states to form the informational states specifies the memory alphabet Y {c(x) x X }. This translates a distribution Pr(X t ) over physical microstates x X to a distribution Pr(Y t ) over informational states y Y. In this way, controlling a physical system determines not only its raw physical dynamics, but also the symbolic dynamics of the informational states [5]. We use random variable notation, Pr(X t ) {(x, Pr(X t x)), x X }, common in symbolic dynamics [6], rather than ρ(x, t), which is more standard in stochastic thermodynamics, due to its specificity and flexibility. The probability of being in microstate x at time t is expressible in both notations Pr(X t x) ρ(x, t), but the random variable notation works with many different distributions over the same microstate space X. And so, rather than specify many different probability functions, we specify their random variables. Other advantages of this choice is that it readily expresses joint probabilities, such as Pr(X t x, X t+τ x ), and entropies: H[X t ] x X Pr(X t x) log Pr(X t x). () While not all of the potential functionality is used in the following, a number of benefits will follow in due course.

3 B. Overdamped Fokker-Planck Dynamics The first challenge of thermodynamic computing is to control a system s Hamiltonian over the physical degrees of freedom X such that the induced microstate distribution Pr(X t ) at time t matches a desired distribution Pr(Xt d ), where X t and Xt d are the random variables for the actual physical distribution and desired physical distribution, respectively, at time t, each realizing states x X. The second challenge, which we come to later, is to associate the microstate distributions with mesostate distributions that support the desired information-storing and -processing. We consider a Hamiltonian controlled via a potential energy landscape V (x, t) over the time interval t (, τ), where x X. We will demonstrate that one can exactly guide an overdamped Fokker-Planck dynamics in one dimension along the desired time sequence of distributions Pr(Xt d x), resulting in a powerful tool for thermodynamic control and information processing. In fact, overdamped stochastic systems are a promising and now common framework for elementary thermodynamic information processing [7, 8]. With a single physical degree of freedom X R, one information processing task is to change the initial distribution to a final distribution in finite time. The actual microstate distribution Pr(X t ) obeys the Fokker-Planck equation: Pr(X t x) t µ ( ) V (x, t) Pr(X t x) x x + µk B T Pr(X t x) x, (3) where V (x, t) is the potential energy landscape at time t, T is the temperature of the thermal environment, and µ is the inverse friction coefficient. Recall that the Boltzmann equilibrium distribution: Pr(X eq t x) e V (x,t)/kbt Z(t), (4) is a stationary distribution for the Fokker-Planck equation if the potential is held fixed at time t. That is, substituting into the righthand side of Eq. (3) yields: Pr(X eq t x). t III. WORK PRODUCTION DURING COUNTERDIABATIC PROTOCOLS Next, we identify how the evolution of the physical distribution yields useful changes in memory states that robustly store a computation s result. We break the development into two parts. This section considers counterdiabatic Hamiltonian control of the physical states x X such that they follow specified distributions Pr(Xt d ) over the time interval t (, τ) []. For the resulting finite-time protocol, we determine the work production and show that it increases with both the size of the memory states and the speed of operation, if the overall computational task is fixed. This holds for any counterdiabatically-controlled computation. The subsequent section then addresses the particular computational task of information erasure in a bistable potential well. While the analytical and numerical results there do not explicitly generalize to other computational tasks, they introduce general relationships between dissipated work, information storage robustness, and computation fidelity that hold broadly. A. Inverse Problem for Thermodynamic Control For a specified potential V (x, t), the Fokker-Planck equation Eq. (3) evolves an initial distribution Pr(X ) to a density Pr(X t ) at any later time in the control interval t (, τ). Together, the probability density and potential determine the average energy expended as work W by the protocol on the physical system [4]: W dt dx Pr(X t x) t V (x, t). (5) What if, rather than starting with an initial distribution and control protocol, we are given a desired trajectory of probability distributions Pr(Xt d ) over some time interval t [, τ], a distribution trajectory, and are tasked to determine the control protocol that yields the trajectory? This challenge the inverse problem of reconstructing dynamical equations of motion from distributions over trajectories falls within purview of statespace reconstruction [9, ] and computational mechanics [] which provide principled approaches for inferring generators of observed time series. Broadly speaking, our challenge here is to reconstruct dynamical equations of motion for evolving distributions that perform computations and, then, to show how the work cost relates to the computation s effectiveness. The setting here is both more constrained and more challenging than state-space reconstruction. Generally, as with most inverse problems, determining the control protocol from a distribution trajectory does not lead to a unique solution. Many alternate dynamics can generate the same observed distributions []. However, Appendix A shows, for the specific case of overdamped Fokker-Planck dynamics in a single dimension

4 X R, that the distribution trajectory Pr(Xt d ) uniquely determines the control protocol V (x, t) up to a baseline energy E(t) that is constant in position and so adds no force. Moreover, if Pr(Xt d ) characterizes our desired computation then, up to a readily-recovered change in baseline energy E(τ) E(), the work is uniquely determined for that computation. Thus, by designing a single protocol that guides the system along the desired distribution trajectory, we find both the unique protocol and the unique work investment required for that trajectory. When τ is much larger than the system s relaxation timescale τ eq, a control protocol can be determined by assuming the system remains approximately in equilibrium at all times: Pr(X t x) Pr(X eq t x). This quasistatic (adiabatic) control protocol is determined from the quasistatic potential: is not the equilibrium distribution corresponding to the total potential V (x, t) given by Eq. (9). Thus, when the system evolves under the counterdiabatic protocol, it is out of equilibrium with respect to the instantaneous potential V (x, t) at intermediate times t (, τ). However, to ensure that the system starts and ends in equilibrium, we choose Pr(Xt d ) such that t Pr(Xt d ) vanishes at the start and end of the protocol. This way the counterdiabatic potential vanishes at the endpoints of the protocol: V CD (x, t, τ). And so, the potential energy becomes the quasistatic potential V (x, t, τ) V Q (x, t, τ), as shown in Fig.. V Q (x, t) F eq (t) k B T ln Pr(X d t x), (6) where the equilibrium free energy: F eq (t) k B T ln Z(t) k B T ln dxe V Q (x,t)/k BT (7) is the baseline energy E(t). Note that Pr(Xt d ) is the equilibrium distribution corresponding to V Q (x, t), see Eq. (4). In the large-τ case, the system follows this equilibrium distribution, as shown in Fig., and the quasistatic protocol provides the unique solution to our control problem. Moreover, the work invested is the change in equilibrium free energy: W Q F eq. (8) If, however, τ is not much larger than τ eq, then evolution under the quasistatic potential V Q (x, t), defined by Eq. (6), does not drive the system along the desired trajectory distribution Pr(X d t ). Rather, the actual distribution Pr(X t ) deviates from the desired distribution as the system is pushed away from equilibrium. Recent work [] describes how to construct a counterdiabatic protocol that achieves the desired evolution, Pr(X t ) Pr(X d t ), for all t (, τ). In this approach the overdamped system evolves under a potential: V (x, t) V Q (x, t) + V CD (x, t), (9) which consists of both the quasistatic term V Q (x, t) and a counterdiabatic potential V CD (x, t), constructed to guarantee that the actual distribution tracks the desired distribution, Pr(X t ) Pr(X d t ), as illustrated in Fig.. By Eq. (6) Pr(X d t ) is the equilibrium distribution corresponding to the quasistatic potential V Q (x, t), but it B. Counterdiabatic Control of Stochastic Systems Reference [] showed that the counterdiabatic potential V CD (x, t) is constructed from the desired distribution Pr(X d t ) by integrating a velocity flow field v(x, t), defined shortly: V CD (x, t) µ x v(x, t)dx. The lower limit of integration is set to for convenience. In fact, it may take any value, as the physics is unchanged by the addition of an arbitrary function f(t) to the potential. The velocity flow field: v(x, t) x t tc Cconst x C is the velocity of constant values of the cumulative distribution function: C(x, t) x Pr(X d t x )dx. Combining results, we have, explicitly: V CD (x, t) µ x x t Pr(X d t x ) Pr(X d t x ) dx dx, () for t (, τ). For t / (, τ) we set V CD (x, t), hence V (x, t) V Q (x, t) outside of the control interval. As a result, the system begins in the equilibrium distribution at t and it ends (and subsequently remains) in equilibrium at t τ. Since the potential energy V (x, t) consists of quasistatic and counterdiabatic terms, we can similarly de-

5 (B) < t < <latexit sha_base64"cdqpsj5rfggeftrhnmo6efojfu">aaacjnicbvdjsgnbeoxjxglehivjugilrgbd4cphimyjzibnct6esnolz6k4jhih6nyin/rnvit78cs9lommfhs8eq8ef8saqntvplsvrk6tpzbsmvbo7uzvfqdmpfocjdgaq6xzrieuafbuqorwqy7moef3rsv4bgniido5wgehtz9adarnakhw5tbfumckvzodqdqyukplkcsuttfppogicgygszvbmw+3xbiyx8c5jjp3xdscjsjuyi4hfhajtvejpdzfxogbswh3uwmxxjre8oasdupgoke/a3ig+kpfm5s+w56e8bkfojxs5lmxfbfcmefhqoeukir3nqdtcauc5nibxjcxbke8xxtianluxjguktpmbsoeuqavl3afzob5cgyje5qzh8siqj7lhtvv3j5ni6vzzclyri5jjjjkghtjdsmtcuhkktyrf/jqpvtvrvmvdsmaea/knrk8f3k+kqw</latexit> sha_base64"zu+kpj7leavefetc3gxlupvwk">aaacjnicbvdjsgnbekxn5xuyixxidojzkrqq8egl48rjaqzelo6vsswehuyyyhujxcj7t7yjepmrpnuz5obwupdqvxpu9wssjq57rsznj4xotu9muym9yxcour5ybonuc6yjwsb4mueeli6ytjiwxiuyebgovgpvjgx7rrwkhjrl8fmyk8izgck6vaxxwf8jay7aodprtjljtkznsnnrakjbfs5sx+am8estuykvwkn767vikiuykfdem4bkjntousqqf/ykfgky4uofxlaw4igazpz/oc+lnnmnvjbjojl7hdhxknjemfgnno+a3nid/xopdq6amyysldaswodvdgksappyabamebvxoad/kxdxxxjbnrednxqxsn3aqwcefanfryrohydqo3bolzfsfwf57tlzy7p3ul6tewmzibddiebfbgh6pwajwog4b7eianehyenrfnxkbro45i88q/cjn4wtcsqsx</latexit> Pr(Xt x) <latexit sha_base64"vzp85mcyfqly78bfopahuqpp+g8">aaacghicbvdlsgmxfm3uv6vqks3wsluttsjgm6eohuxfewdokpjphfagrmtdlfmvq7bff6j+7ertt/xlvpowttpra495x7yox4mwdk/axlvtzxvvfyg8wtrz3dvek+wdnfswsqongpjjtnyjglisgzppdo5zahm+h5q9vpn5rbfkxklzx4xg8qfohcxglkiew5fldlfjk/x4wugws3bfngeveycjjzsh3i+u7ijgjcttlrqupysfzsijwjhcyfneqezokfegyghibyktnr/wivf6oiikeahgm/v3iivcqbhwzaygeqawvan4n9djdhdppsymewhnx8ujbzrce8bwdmgwo+norqycytma6ijfsbngruljhwg8pmvwneqqokrvibzvb9caojkcpzrgwznm8qjlx7s5lteussjw6qseojbxgwroftvrahgj7qc3qnq36936mk/mrcxzip7a+vwbmucfhw</latexit> sha_base64"lzoo5bqlgyhiiujlcxr5kplqeg">aaacghicbvc7sgnbfl3rm8zxfhqggitbirgjzcmyygnlasotzyuyzpbhzgwwlpkowur/xe5s7fwrayebfjp4yodcc+5hlselbffatr+spewvbxzezct7zze3t9tyswzvlkoqtnwqelba6xqrguionu9wtwvchnxk8pusoebvd6fkhr7au5xrbss3vzgfrlutk/j4mm3n8nbrtkewitmj+fihpkic9+ttshihwpnbfwq6dirdhmqnwccx9lwrdcibeb7dqod4qnmphpmto3rin5tmbzqk6u9eqnlrr5nnnq+rem4j/ecydy/dhadrrdfg4+6ssa6jjmgsidlzfqmdkfmcnmryxqkdompwrdsalqjjtyrihkinjssxhm3iexohyfoxm7jiamdfxy46d+f58vwmcjaerxdary4gdlcqgwqwoabnuafxqn686tz6mqvwlhmafb9/gay5/b</latexit> <latexit sha_base64"fozgp4jobogfypfjlkzdu4fy3ja">aaackxicbvdlsgmxfm3ud3vxeoiwaqfawdekxujcsk9ggdujlpnty8yc5uqgfggiv9e3fqn9wbvq7uoubwlnn3eos48vsalttnyu3slivlk6ll/fnzaluzsnwuka4hslintmqyoqaihqqjnwwajpqsmbxe/8xhcuflf4h+myghrhcixnkgrooudemp/xjsmezomg4ykmmkk9c7ldwpfurpqeejmynfmkou/huxfpagirs6zy7fjbkdmoeassrybaigzh7aetawnwqc6nu5/kdejo3sphylzqqrt9wcizyhw48azmwhdvv7rtct/vfac/mu7fwgciit8+yi/krqjoqmedoucjnjsconkmlds3memfjtf5dpmc3xtjnkxohwste5ggywfmuddntlpo3lnlspys5dsm5ps9evwavrzj9ckioiumuybw5ivvsi5zckwfyrj6tr+vferxevdziyzr37b+vgcjom/w</latexit> sha_base64"bgaiaxn4shuybaudnhyfbp4ao">aaackxicbvdpsxtbgpqqpttzg9dgxbbklptmdglzamdgqdwf8myzpyhm9+ghguv/wsknvq/8aa99n/w3mnggyfdlzvve8xmy9ilttkuvdozepn5tut7z3qu999/udwddkrayeckktg9gbtumsyosvlyszxykfb4gux/lp3lgwojk/icfikoij6ozsgfjysna5/9uhordxvzezou8unqj5xtflawi6i6rnxdplucvstei6m3pgj8htwr8lioswjqg4mx3ptwmqcskcyqfmyw5wlkx9i3noyrmkfe/qjgryzstdr9stesvvpiuermysosjsrp4lz95bia4/o/d7ijdxmhhgynvrmclgcvtwwkzsoycsiqllebmzhwwwvz4qp+gcxbhwonljuszjatesedggcjbpcfuwt/ksde+bntvfntt89wjcehmixaiah36anp+ecoidgn/yba7hxrpxb5875uqtoi+zj/amzr//uc6nuw</latexit> - - V (x, t) kb T - Nonequilibrium <latexit sha_base64"dsg69zl+blkipyxj6jncaiu64q">aaacinicbvdjsgnbfoxxjxgliicvghwlmyiomegf8swsyqhndteymnvyzdb4jhymcinvrpviknwe/wbgc5agjbq7qv/sjolhwihw6sslivrgbwsusbmvbuz3dqtwjyvbhwmhtj6gfwrvukkoaemyaykhalbq/hpmphjltbrfqqwtsxukdzmj6krbr+j8ijptvbwkhdbi8mtowzn8kehgmofj+gu5mku5xbuu9nrljggkalqbsmmymylcbnaobzzmihpuye9qdhqkisbcsdnz/j5zs8bvaukfqh6u/eymvg5k5dylxts7643e/7xggt3zvspvncaonvmomwgftt/qwu9wawzfwbhkdhe3+uyogsrqnzztjonpswldvhsgtkvrwjfjcemugeipigpna5knzncgbtcm9n86wjawyyckenytejyrkrkiprjhtcskifyql69z+/ne/c+jqsl3jszr/7a+/obunylww</latexit> sha_base64"q5s3ahcj8esoqxytkgyurdif">aaacinicbvdlsitbfdzj6p85fpyurkmgqtkrotrmlw3rktbqjcenm5cz+jnngmhixwiu9e/cisvb73btz+lcvfdnapt9kgsvaphufqstexotc/8mzrzs8slix/66copnzjguplhncxmohcygczj4nlpkkpf4llztj/yzplonjd6hqyptxs66anoyeud8nql8ibyq6pxohnsjfzkatgpv6jqvcd8seipuqmvqygjtvmttu8u6ijs+zcm45saufmkuash6vw5jbl/ipdynntzrs6dl6cpwy3vnine8b6pyksm+jncnnbirxm4rrpfvujctfvgzgvblnsaewo+/qixyzbmoooi7aqlnotae8at8leg/jjzxsk3vmovwbzwch6qeco4mro8xhx6iuks9kdfxd9r+ulod6pxvipdyv/+pgybyyboiyz/uicdoiigcmjhfu7hibglhoon4hm8ohf8zfbhc4lxd9bopa8</latexit> <latexit sha_base64"eqqa5p7sii7t7fkn7tut5hndy">aaacsnicbvbnbxmxepwmkqphrsoxcyislxidqsiekgqyivjkpepkrsirznjrphjswcrotxz/txihgce3+dqyxebw+saysmzonne/pg9ktskryg4y+gcla9fhbueg/fnty+enj9gnfmcxy6hejjrmzieugnooumiwtcbuimgqldulprgb64trh3cvwlixuryzwrl6atj4gyplaoyeoix6gcn8xhw+fbdlxfhoesux/un3tgzrrbtwrjv5v9migrxbddb9ew9ak+pogvfxpbmguyumxojkptrcb9oglfpc4cpiwvrxghmqmwi3z9tcleuazkzz649gumb/durmobdsiz9udbduvyvj/mjdgex4zonepqfhprljmudszonhgancecc4ff6tlc+yzdyh4tetjxm753zx9ojxbwd5myvwtzjyucl8unfulpugf96kwlzfdg8erenreaekxfkjynig3jf3pmu6rfo7sgx8o8d74gp4nfwe/nacxyep6rf6ps/qnrrto</latexit> sha_base64"pyh6njct89cgkgq/cqhamplbg">aaacsnicbvdlbhnbeoweee8mi8blesjc6xdynqucbz5mixsdij5hwsxe7gxkeyxvhlvafoavqekunpgndkiic7prhcbjsynvv3xzfswk+kpjn9erqcrqvrgw/bmvbo486j58ces4gunhlxwngfeopmehsvj4mjvkoln4kspa/3kepxnykry5jzc+nnenbkvctztuuemfslzwrvlk+jlk/fr9qstnr3uvcxq3l/shlqyhmqebbuopnon+7ftbg7ilkb3cezaopovmvtqonbosins/sukwvuqurfnytdpcy87fnj/jkeddnfpxxyzyi8cmuz68ixxbrxfjtfclnyvjzenc39zq8j5tvndszbiuji8ijvhencsui8vqznhuohskfgfw4wr4kxmx3herwgibgmpzh/rq9yngfd87rcaq5nldi+refryo5a74hi/l8s95mor7uddmjhygoewcy8hgqmywhs4giei+arf4aquo+/rz+h39gc5opupe/hvqt/axmru8</latexit> eq Counterdiabatic Equilibrium <latexit sha_base64"+9ijw/s+/mu7u67ck/6xrftb">aaach3icbvbdswjbfjl7mvs8delitosxcjqecpgh4n8gnuzha86udm7jzzv5tfvxlvp+kt+jvp9jzs7oppryopece5jl8ulbntro3mpsbg5t7r3c3v7b4dh+encxqerylbjgqhu6mabpehhhwfnemfvhocgt7olvebycab/4ttkposdrwez8zikbq5gtthang988rf9xtpjkzbr7oljwf7hxipqriuls7+e9lcrbb+zofq3xcfetkwvcizglmthgklkrnqalun9kkf34sxtm/vckd7hyjzflqx6u9etkxwu+mztulxqfe9rpzpaxyv+ne3a8jbj8tp+phwsbatoqwewbqzehdlfzagjfgzq6cufmc7xtjnkxghwstwzhlm4hkkxklr7mot66r+wxkdkvt4vazcppvlysk5ixfejdekqh5ildqiixpyqt7iu/vqfviftdynwolmrpyb9b8b6xzo/i</latexit> sha_base64"pecs6/th3tglxmdhwmmsuzhw">aaach3icbvdlsgnbeozgemrrm9efopgkdkvqy9betxgmbpiqpiddhrwzned6qjs35f8kr/4k85kc8o9nkomacgeqqlqapijbckoennyxfpewvdxafnjcu7sfo8nvgiodz5jcpdcjhbkukskycjjvgju4heu+dxyulf9vebeyu3niyxrdh9khqcm7jspbseq4ovxxkhbsbfokadqolr+xlcoejpyol6h5kqhukx6uxbofixhjjgn6xkztlgksxoio3omxow/sntswhoyhaadzrep3eordnepolyc3un4mukwogkrcbitgd+etnxp+8zkk9s3yqwjghdpno4ixyrcsrfuvjkjiewmk6fvdxldwztraufcslppw6svpfgpgpgmrxkedgkbjfku/7ewexj7xpa9sn99uqqetxudhozdarybd6dqhsuoqr4doazxuhnexhenq/nc7q64mwyu/alzvgbi+6krg</latexit> (A) t <latexit sha_base64"ilxxaazk6rf6vmowlbvs/snoo">aaach3icbvdjsgnbfoxxjxeb49flyxdijzkrqs9civhcgabjisezkvspgeh+igokncj7t7yj/yizzvlqrmlgupvvaif5uvsahscibwvrg5tz3ase/u7r8ckezig5jxahmqxmqmscsbfagqvkqeukmo9jqhr9+6lfhydsigyecbrbfdqhqeziklppiawxydej+kzrxpdnzaddflodhsvuausjquuwvz3ox3yicauwranwmbcfaouyzxuxboixvusc3vda+adbiaz8fzchtgmveqhsmfo7ktbf65hvmufyu8vepxp68ey+e6myggihecpv+oeukizwqdtcauc5morxjcytlpeyyhxnxengljguytpmbwoeuqavl3afzob5cgzju5s7xmsqqvzkxsfvpl5mi3elyllkhjyshhhjfsmsbiizcljklyqn/juvvofqfnv9dsxazy/ihuqhjhohw</latexit> sha_base64"6sghzncaqtdmzlewttz7p6hzno">aaach3icbvdlsgnbeozgemrpm5ebomql8muchorol48rjaasekynxrcpbbtg9iwokncj7t7yjv3/es5nndr4kbqqrupim/fhjq6774czmzsvloaw8ssrqvrhy3naxmlwmbdrcrsdz8bvdleoklsig8sbxeopfn4/9mz5qi6pwioyxtgn+g8qefjysclstgghljzo9fsgre7yw6nuhtlbgbl3htuqxuq4zap/dz6kyictakobgxtc+nqzytviohovbicgyi3t+ilqx6gaafz7soz5uu6xavpbypn5ppdwwzhj4djpgdgd+epxp6+zuo+4ncowtghdmfmolyhgersxwbpsoyatiqllettnxxzqxzuvktljhw6szofwtepmkqiga7ed7gvsjw5t3u5a/5pqg7lll7/kwwdbnay5ifdkiehrcfc6hbhqqm4bge4cv5cl6dn+d9sjrjtdnb8apoxxej/6iv</latexit> <latexit sha_base64"jpn4rxejv7vpccflfvwku4yiok">aaacrxicbvdltgjbejzifha9ehlipf4exanro9glx4hetvhkcwodu6cftjtsyqb+bs/xsst3vib4arzgihrtuzplqqo9vtfiyfrsd5tzm5+yxfnnl+ewvbvepzskej4ldjkyzujc8sbfcdqvkuikvsmcxco3fnf6dreuflf4ibygghrhkitoendnetivuqhjgtjkwbopzvufv949iboslg8haq5zqr9ohgbgdd8ndvkxnjizkvoxubnqijoqnoh4p4ekcixdkt665jlfkmjkoeft5lnmsm37moamwqc6ky5+ke7hmnrdqtmc5goj8bkqu7gw+mqwy3ulplsp/+ojtk8aqqjjbchky6niilgniultoqcjrjnaonkmfspvokctsh5r3rylquadovjrdpsla8zamwje8r6gzbudox/avxbyxxkbnvw8lpssyhnkmospuosynjiluiewsktesav5m6st6sts4hpxjjtb5fdzx9/yblma</latexit> sha_base64"phqycc5mgop+gwidmd+6pegxp4">aaacrxicbva9bxnbej3lpmgxei6ncssojtydyhrxfrqunpshefygwtvpxzw3vvi7pyfdbj/sn4nelxo+rfkc3zo7uahjfwevpejn7scmldxnetdjct7z7eyv33x8tx+a/fgzzvjmiwkxkv6ouqgqyxi5junidaurrqlaxtj8vem+gsgkvqr5iooiti5loktpyzu84qfhf8p7tcwdtliuq9n+fpzsoniyxy4b4xoljhbxgyoybxddt+bvvblyc+cvqabgwh+5dmepefmfmqnfj+r5nlxkurapcrtxidkzctpke+xbgpeizymsfltg7y4zyonhxcrk9u+nnefgzkpqtkacbsxtrsd/p/uzgjchuyztjdawk6nxphglriiljargqwpuardaluzuogac7khvonymw9jeavkhmwjrebhajgwzoqg/kexpadxh+q+v/c7z7xwxviuifjeaun4mmftoaztkelau7gg9zdd+e788v57tysrjec9c4h/fpondwz7nu</latexit> - Quasistatic eq (C) t <latexit sha_base64"q73prr/ltgfo+zajml3ugcstisy">aaacinicbvdjsgnbfoyjw4xbvdx5aqxcvcqziuhfcobimyjzibnct+cladkzpmgib4l4in/rnv4knwozzbwq6awnbqr+ov/sgvkkkjbx9aqzxvtfwn9gzma3tndy+7fdtyaw4vhkoq9xwmaypaqiiqamnsahzpqlbce+puhkc3c4b5hebr8gtev3cgrmpnjyebzy5bmxfarir6mllg5nc3bbnoiuedocmsosjv77xzchvsqijdm66zjr9hkmelbjywzbqwhynzaetanga+6fyypx9mt43sodqmrcgnaq/ewnztr75ntngfbojcr//oamxavwokiohgh4lopurgkgnjjf7qjfhcuimyv8lcsnmfkcbrnjzxp8gkwnvmkhojewtejh7yabpuzacm6kcxvqwse84ngf5+4iv7qzv5ymx+se5ildlkmj3jikqrjoevjexsir9wy9we/wxwzczh+qprk8ffajcq</latexit> sha_base64"o8wmavuj5od7xh/nornvy3pj">aaacinicbvdlsgnbeozgemrvk5ebooglrxbliqs8efywjzeoynxrcpbbtg8wlpffbe/6j97ek+b3ehay8ecrykc6qotpkkiunos6b87e5ntzgxhrji/slixfpzvtrxqgxwraxi3qy4qsujrjmkhceiw8dhy3g5mtkn/qojyyjcxoka75vsr7uncyuqe4rpeurzzsjtkd4zyefojp5sa4odhf4nrcmdcpxsh9+nxzpibejxypew5c7yxrkklhsoinbhmubvgvtiyneiimnexnd9mvbqsfv7imk5+jr8dcyqrjyzzdttfntjct/vfzkvcnjqmkjyze+kneqhjfbnqf6qngttaei6tlcyccfqbk/p5mkvwjzqohnwhrfshaiqg9oeko93lx/j5v7fcyve+x65djxudaqwcvuwax4cqao4qzqiccde3iej+fbexzennfx6otzlvmdh3depwgvuqpf</latexit> - - - - - - - - FIG.. Counterdiabatic control of the energy landscape V (x, t) (solid gray curve) at times along the interval t [, τ ] guides the probability distribution Pr(Xt x) (dashed blue curve) along a desired trajectory Pr(Xtd x) in finite time τ. The system starts in equilibrium in stage (A) and ends in equilibrium at stage (C), meaning that V (x, ) V Q (x, ) and V (x, τ ) V Q (x, τ ) are the quasistatic potentials for the initial and final distributions, respectively. However, at intermediate times, in stage (B), the necessary control protocol V (x, t) required to guide the system along the desired distribution changes as we change the speed of the protocol. If the timescale of equilibration is relatively very small τ eq τ, then the control protocol must be in equilibrium with the desired distribution, such that the control potential is described by the quasistatic potential V (x, t) V Q (x, t), as shown in the lower half of stage (B). Otherwise, an additional counterdiabatic term V CD (x, t) is added to the potential energy, which pushes the system out of equilibrium, as shown in the upper half of stage (B). compose the work in Eq. (5) into two contributions: hw i Z τ Z dx Pr(Xt x) t V Q (x, t) Z τ dt dx Pr(Xt x) t V CD (x, t) dt Z + Q CD eq CD hw i + hw F + hw i i. () The first term hw Q i is the amount of work that would be performed if the protocol were executed quasistatically, i.e., reversibly. This quasistatic work is simply the change in equilibrium free energy, as follows by direct substitution of Eq. (6) into the first line above. This contribution depends only on the initial and final potential and not on either (i) the sequence of intermediate distributions or (ii) the duration of the protocol. The second contribution hw CD i is the counterdiabatic work, and it is proportional to the global entropy production hσi. Specifically, when the system begins and ends in equilibrium we have [3]: T hσi hw i F eq hw CD i, () where hσi quantifies the net change in the entropy of the system and its thermal surroundings. In Eq. (), the quasistatic work is fixed and the coun-

6 terdiabatic work gives the path-dependent dissipated work required to complete the transformation in finite time. Thus, all dependence on intermediate details is captured by W CD. This quantity is our principal focus and, as we now show, it scales particularly simply with system size and computation time. We note that Eqs. () and (), along with the inequality Σ, generalize to transformations between nonequilibrium states, with F eq replaced by the recoverable nonequilibrium free energy, F neq ; see Refs. [, 4, 5] for details. We will use this generalized result in Sec. IV when discussing counterdiabatic erasure. C. System-Size and Computation-Rate Dependence A protocol s duration τ is the time over which the Hamiltonian varies. For our one-dimensional system, we define a characteristic system length L reflecting the extent of the desired probability distribution s support. Since we wish to capture only the distribution s bulk and not the support s absolute extent, there are many ways to define this length. A candidate is the initial variance: ( ) L dx Pr(X d x)x dx Pr(X d x)x. The particular form is somewhat arbitrary. All we ask is that L scale appropriately when transforming the distribution. With these definitions in hand, we can analyze how the protocol and dissipation change under rescalings. Consider the probability trajectory {Pr(X d t x) : t (, τ)} and a system of length L, yielding the control protocol V (x, t) V Q (x, t) + V CD (x, t). To preserve the probability trajectory shape while changing the duration to τ and length to L, we introduce a new desired trajectory: Pr(X d t x) Pr(X d τt/τ Lx/L ) L L. This stretches the original distribution s support by a factor L /L and increases the computation rate by a factor τ/τ. In the expression for the resulting counterdiabatic control protocol: The associated equilibrium free energy is expressed in terms of the original free energy: F eq (t) k B T ln Z (t) k B T ln k B T ln dxe V Q (x,t)/k BT dx L Q L e V (x,τt/τ )/k BT k B T ln L L + F eq (τt/τ ), (3) where the third line comes from substituting x x L /L. Equation (3) implies: F eq F eq (τ ) F eq () F eq, hence the quasistatic work is the same for protocols with different durations and lengths: W Q W Q. The counterdiabatic contributions, however, yield meaningful differences when changing system length or protocol duration. Substituting the rescaled probability trajectory into the expression for counterdiabatic potential in Eq. (), we find: V CD (x, t) µ µ x x L µ L x x t Pr(Xt d x ) Pr(Xt d x ) dx dx t Pr(Xτt/τ d Lx /L ) Pr(Xτt/τ d Lx /L ) dx dx Lx/L x τl τ L V CD (Lx/L, τt/τ ), t Pr(Xt d x ) t t Pr(Xt d dx dx x ) using the substitutions t τt/τ, x Lx /L, and x Lx /L. Thus, the counterdiabatic potential scales as the square of the length of the information storage device and as the inverse of the protocol duration. Equivalently, the additional nonequilibrium force F CD (x, t) x V CD (x, t) applied to the system scales as the computation rate and square of the system size. V (x, t) V Q (x, t) + V CD (x, t), we define a new quasistatic potential as the similarlyscaled version of the original: V Q (x, t) V Q (Lx/L, τt/τ ).

7 For the counterdiabatic work we similarly find: minimum work: W CD τl τ L τl τ L dt dt τ τ dt τl τ L τ τ ( tt ) τl τ L W CD. dx Pr(Xt d x) t V CD (x, t) dx L L Pr (X d τ L ) ( LL τ t L x t V CD x, ττ ) t L L dx L L Pr(Xd t x ) t V CD (x, t ) dt dx Pr(Xt d x ) t V CD (x, t ) And so, too, the dissipated counterdiabatic work scales as system length squared and linearly with computation rate. This work, in turn, is proportional to the entropy production, so we find that the entropy production obeys a similar scaling: Σ W CD T τl τ L Σ. D. Efficient Protocols When changing the protocol duration τ τ and system length L L of a desired distribution trajectory {Pr(X d t )}, the counterdiabatic control becomes: ( L V (x, t) V Q L x, τ ) ( τ t + τl L τ L V CD L x, τ ) τ t where V Q (x, t) and V CD (x, t) are the original quasistatic and counterdiabatic potential energies. This leads to the work investment: W F eq + τl τ L W CD, where F eq is the original change in free energy and W CD is the original nonequilibrium addition to work. Since protocols are uniquely determined by the distribution trajectory, the above scaling relations apply directly to maximally efficient computations as well. Since a computation maps an initial equilibrium distribution Pr(X ) to a final one Pr(X τ ), there are many compatible distribution trajectories that evolve continuously from the initial to the final distribution. A minimally dissipative distribution trajectory Pr(X t,min ) has a corresponding V min (x, t) V Q CD min (x, t) + Vmin (x, t) that yields the, W CD min min{ W CD : Pr(X d,τ ) Pr(X,τ )}. Since quasistatic work is identical for all such protocols, up to an instantly recoverable additional energy, this condition also minimizes invested work. Changing protocol duration τ τ and initial and final system length viz., Pr(X x) Pr(X Lx/L ) and Pr(X τ x) Pr(X τ Lx/L ) we can determine how the minimally dissipative distribution trajectory changes, as well the minimum dissipation. A natural guess for the minimally dissipative trajectory is to take the scaled minimal distribution: Pr(X t x) Pr(X τt/τ,min Lx/L ) L L, which satisfies: W CD τl τ L W CD min. (See Sec. III C.) If this proposed trajectory is not minimally dissipative, then there is another trajectory {Pr(X t,min )} that dissipates work W CD min < W CD. However, if this were the case, then we could reverse the duration and size scalings τ τ and L L on that trajectory to generate the dissipation: τ L τl W CD min < τ L τl W CD τ L τl τl τ L W CD min W CD min. This is a contradiction, since it states that it is possible to dissipate less than the minimal dissipation for the original computation that evolves the distribution between Pr(X ) and Pr(X τ ). We conclude that the spatially- and temporally-scaled minimally dissipative distribution trajectories are themselves minimally dissipative. While this does not provide a method for discovering the minimally dissipative protocol, paralleling other approaches in the restricted linear regime [7, 6], it shows how to achieve maximal efficiency given other constraints on space and time, if one finds the minimally dissipative protocol in one setting. Moreover, it gives the temporal scaling of the minimally dissipative control protocol: V min(x, t) V Q min (Lx/L, τt/τ ) + τl τ L V CD min (Lx/L, τt/τ ),

8 and of the minimum work production: W min F eq + τl τ L W CD min. This matches independent analyses on the scaling of dissipated work for optimal control [7]. In contrast, as we see, the present results apply more generally: without restricting control parameters all potential landscapes are allowed and beyond linear response. This perhaps explains the puzzle that the results derived assuming linear response [6, 7] appeared to work outside of those constraints. Moreover and constructively, counterdiabatic protocols allow a control engineer to specify exact start and ending distributions. The latter must be inferred from dynamics in other treatments. In short, counterdiabatic control of Fokker-Planck dynamics in one dimension gives precise control over distributions and yields constructive methods for designing control protocols. The resulting energetic costs depend simply on overall system temporal and spatial scales, revealing a tradeoff beyond that between a computation s information processing and energy cost. IV. COUNTERDIABATIC ERASURE We now apply the counterdiabatic approach to the paradigmatic example of erasing a bit of information in a metastable system. The analysis exposes new elements in the resource tradeoffs that arise in thermodynamic computing. A. Nonequilibrium Information Storage The ability to quickly shift probability distributions in one-dimensional nonlinear Langevin systems gives a physical way to implement fast logical operations. For instance, erasure is an essential part of most computations and can be achieved by controlling a double-well potential landscape [7, 8]. Landauer stated that erasure requires dissipating at least k B T ln of work a cost deriving from the microstate space contraction induced by the logically irreversible operation []. This bound is indeed achievable in the present setting, but only in the limit of quasistatic operations, where zero entropy is produced globally. That is, it is achievable only in infinite time. For finite-time processes, there is additional dissipation and, thus, additional work required for erasing a bit of information [7, 7, 8]. We will now derive the same additional cost for finite-time erasure but, departing from prior treatments, we determine the initial and final distributions and thus exactly specify the fidelity of erasure, instead of merely recreating it. This provides a detailed analysis of thermodynamic resources for a given accuracy level of information processing. Additionally, we will design a protocol that gives perfect erasure in finite time and at finite cost. The expression for the counterdiabatic potential Eq. () specifies how to design a protocol V (x, t) that maintains the distribution Pr(X t ) exactly in a desired distribution Pr(Xt d ) over the interval t (, τ). However, we must also consider how to use the map to informational states c : X Y to perform useful and robust computation. One strategy is to design the energy landscape such that physical states x X in one informational state y Y rarely transition to different informational states y y. This allows the information processing device to remain in a passive default state while retaining the information of its computation for long times, regardless of the outcome. In contrast, if a computation is designed such that the equilibrium distribution Pr(X eq t ) exactly matches the desired distribution Pr(Xt d ) after the computation, with t > τ, then the energy landscape is given by V (x, t) F eq (t) k B T ln Pr(Xt d ) for t τ. The potential energy characterizes the external configuration of our memory storage device, and it is through control of this external configuration that V (x, t) has time dependence. Thus, the relevant information about the computation is stored in the external configuration of the memory device V (x, t) (our control), rather than the actual physical distribution Pr(X t ). By choosing a default energy landscape that stores metastable physical distributions, the computational device can robustly store information without explicitly encoding the outcome distribution of the computation in the energy landscape and thus the external configuration. With metastable information, a memory device can store information about its input that is not explicitly encoded in the control parameters. To experimentally test Landauer s prediction [], Ref. [8] employed a protocol that starts and ends in a symmetric double-well potential, where each well is interpreted as a distinct mesoscopic informational state: Y t or Y t. Such a potential stores informational states determined by the probability Pr(Y t ) to realize the informational state. Following this setup, if we start and end in a symmetric bistable potential: V (x, ) V (x, τ) αx 4 βx, (4) then, at a temperature T, the equilibrium distribution: p(x) Pr(X eq (x,)/kbt e V {,τ} x) Z, (5) is bimodal; see the blue dashed curve in Fig.. While

9 - - - - Pr(X x) : Pr(X x) : V (x, ) V (x, ) k B T k B T : x b() /, and the final distribution is totally biased b(τ). The energy barrier between informational states and inhibits large probability flow between the two local equilibria. That is, these distributions relax to a global equilibrium very slowly, depending on barrier height relative to k B T [3]. Thus, these metastable states robustly store nonequilibrium informational states and provide a basis for information processing by a controlled double-well potential. -3 B. Counterdiabatic Information Processing Y t Y t FIG.. Default energy landscape: A double-well potential that stores many different distributions Pr(Y t) over the informational states Y t {, }. For protocols that process the information in the distributions over the times t (, τ), the energy landscape is set to be the same at the beginning and end, shown by the gray curve V (x, ) V (x, τ). The equilibrium distribution, delineated by the dashed blue curve, gives equal probabilities for the informational states: Pr(Y ) Pr(Y ) /. This is the initial distribution for the system Pr(X ) in this case. It stores H[Pr(Y )] bit of information, where H[Z] is the Shannon information of random variable Z [9]. The red curve Pr(X τ x) gives unit probability of informational state (Pr(Y τ ) ) and is the distribution of the system after an effective erasure protocol. Its Shannon information vanishes and so the initial and final distributions represent bit erasure. The final distribution Pr(X τ ) is out of equilibrium, but the energy barrier between the two informational states keeps it nearly fixed for short times. This distribution, as well as many other nonequilibrium distributions, are metastable, and will eventually, slowly relax to equilibrium. this distribution is exactly stationary (when the potential is held fixed), we can construct other distributions that are (temporarily) effectively stationary, such as that given by the dotted red curve shown in Fig.. This has the same shape as the equilibrium distribution over the interval (, ), but vanishes outside. By specifying a time-dependent bit bias probability Pr(Y t ) b(t), we fully specify a metastable physical distribution [3]: Pr(X met t x) { p(x) b(t) if x p(x) ( b(t)) if x >. (6) We take this distribution to be our desired distribution Pr(X d t ), which in turn defines the quasistatic potential V Q (x, t). Figure shows the metastable distributions before (blue dashed curve) and after (red dotted curve) an erasure protocol, where the initial distribution is unbiased We now consider how to use counterdiabatic driving to steer the system through a sequence of metastable states specified by a given time-dependent bit bias b(t), with the symmetric initial and final energy landscape of Eq. (4). Despite the symmetric initial and final configurations of the memory device, this modified counterdiabatic control allows for b() / and b(τ) /. Since the initial and final metastable states are out of equilibrium with respect to the symmetric potential V (x, ) V (x, τ) αx 4 βx (Fig. ), we must modify the counterdiabatic protocol described in Sec. III B, which was developed for transitions between initial and final equilibrium distributions. Two additional steps are needed, each a quench, as shown in Fig. 3. (Quench here means a nearly instantaneous change in the Hamiltonian [3], as opposed to a nearly instantaneous change in temperature, as often intended.) These quenches are added to make the quasistatic potential V Q (x, t) match the equilibrium distribution of the desired metastable distribution Pr(Xt met ) over the open time interval t (, τ). Specifically, for t (, τ) we set: V Q (x, t) F eq (t) k B T ln Pr(X met t x). Hence, at t the energy landscape undergoes a quench from the symmetric potential V (x, ) to the asymmetric potential V Q (x, ). We then add the counterdiabatic term: V CD (x, t) µ x x such that the overall potential becomes: t Pr(Xt met x ) Pr(Xt met x ) dx dx, V (x, t) V Q (x, t) + V CD (x, t). For t (, τ) the system evolves through the desired sequence Pr(Xt met x), corresponding to the equilibrium states of V Q (x, t). At the end of the protocol the system undergoes another quench, from the asymmetric potential V Q (x, τ ) to the symmetric potential V (x, τ).

(C) + < t < (A) t (E) t <latexit sha_base64"jud55iiu6dgnwtddjjqtalbqba">aaacfnicbvdlsgmxfm3uv6vqks3wsluttsjgm6eqhuxfewdliy6znjkmsazqhvoxgiv9e3fiq/4tpowxgice8493jvjr5xp47pftmzldw9i7uz9red3l7x/utywvhrqvxkqmtzrwfklnmmohgskgwufq8ie3u7xaqwzdb/moikoipqbywsy6lw8foupkdr7dbzrfckpswxgbehbtqvkrd/he7jksidsue6bnhuztkkuyztdjneonusedkkfwhagridujonje3ximr4oplivndhlfzssirqec99ocmigelgbkv9prdgel5ehvfsikszruhmszf4+n/cywqo4wmlcfxm3orpgchcjup6nsbmmbvegtrlrwizcrcn7ysytwxq3misy6b+vvlcknd/xqjczcploinjiriqxeogu5qfduqrri9orf6jw7b8678zebzthzzyh6u87ndntnks</latexit> sha_base64"/jcgjlqdfyjjplhcnb7ofemse">aaacfnicbva9swnbej3z/gvpzqbxsdejrktqrshammzwstc5zc9zcqsbs9dveecmr/ivjpp7etwv/ilwbswodiy8ew8em/vcrhbtxpftmzmdm9yxfourkyurw8un7eawqakyynjidvnsdukhmpdccpwjlfiobgk+xfjptwpsrnzxxtbgkgeblezczaizll88oyamx5js4t8wsw3hzitpam4bsbqfyqt8wv9odydiiy8medr33mqegvwgm4hdqjvvmfdwp3fowxjtchwq5scpyb5loqqrlxxitn75hrsotbfnrjijqe/qunyp8pzxdkydjcziajnl4utcvxegy+j/pcixmiieflclubywsrxvlxqzuaofgrnrqtqtaqeqqvqzkirrngcq8h9qgvl+xtipmycvzk97vualpk4mlmax9qamhhxdds6hdggioernuhfexjentfnftw64w8/crni9v9menw</latexit> <latexit sha_base64"4uakb5/nhanuibputlpztlnnq">aaachhicbvbnsjbfj3xp9mhvssqxlyrt+lodabfeflg54kkjjvvorgva9m7hpkyx8kafx/pfdfojrrvluo7mhduofcwl+nfumi7s9rzxvtfwmzs5xd3tndy+x3do6jbuhl4cyvapazaiabcfsmhecpjvsah7w5upxx+biimhnacqdtn/udbgdope4+v7w9pfsririlwrxj+ws/ymdjk4ksmqfnvo/rvvdxnsq4bcmqbjhhoekbzcwybzidrhjq9ahpqeb8g3k9nhe3pilc7thcq8aolm/zimk/pfmps9wobe9qfif4yxd9lorbdfcagff9sljcwqtlugxagaoxwbwrgs5lbkbwxjqarbgswtmqunlpzgkeua8xl3aczej6ccqu5szwskxqzyxhljn354xkdvpzhhyryikdrkgfxjhqsqlnmtkibyqv+vzerpery/56oqvzg7jhifpxmod4</latexit> sha_base64"pgionp4gzksai8e6xvtlbeyu">aaachhicbvdlsgnbeozgemj8xhzmhieeelrdclebtbywsjgsseulhbcfzpqgwhj/rpckf+jnvar+igcnmxx8fqxuv3uxtfmxkozc98ozmzbxjmlewxvbxcsxjsstjvpgqqqkfgqyxazjutimnflav3jt35o/esbaioj8jkgmxycfhpkvhscrnqtfspne4zdmlhre86rzlbsxnwp4sbpkts3iuo8wp9u9scqbhiqun6blutfuq5jcowjfdsxghnxx+wzwniazsdndt8xhatmp9snsxesvu74mub8yma99ubpxuzw9vlp7ntrlqh3vsgcyjysgmh/utxshi4xzytoupiawckglvzwjw665intvvpfrdklqjchujrzveaadff/jygsl8n7x8pdc7vc8t+jdhjrqj5pgiafbsanl8oaqanaodwiagaqe4amenufnxxl3iarm84swk/4lx/azr4oji</latexit> <latexit sha_base64"gzannyad7oehnu4ix+wgrhs6os">aaaci3icbvdlsgnbejzbxytcl68dazbezndeftgizilxwjmaukms5nommtwuyvenb4myin/rnv4swdv+hzsbihjtyvfdu5krqahefdmpmdm9yxfrorkyurw/ymsvhcakq5mhmlqjmqioaycprqixqw35nq9frfkv69a6vfgnzgiikmz7qb6ajofate+egeegfqhn7rc8omm4gi+pw3bwytnjon+bm4issavusr8a7zdhpgtijdo67jornhomuhajwwjhax3mddqbsymb9mxn/p6t7hmnttqhmbjh7e9hwnytb75nnngpttjcj/thqmnfnmioiorgj45fanlhrdogqdtoucjnjgaonkmf8p7zhfojrimoxmcmxtznyrghxiue5z6ywfmu3anuo5lh9b5stnojn3+jrbuewjwyk7zi8cejeckqk5iivsjpzckfytf6sj+vverpej6szvurzjr/k+vwg676iiq</latexit> sha_base64"gxgopewhc98to9aes4vzhg6l">aaaci3icbvdjsgnbekxn5xwyuxxiaoyjijgh48bl4jgbusglo6vrmy89cd4qxvgxgif9e/ixyo/4dnojae3gojx79wjiufhshpy3xdnzhrsfgjyajo3mzs3v5bfxdo3uaifvkwkin3pc4nkhlglsqovy488bve+dfhff3ifrwruxhg3rgbab8ozvsktpzq5lc3j7fypxovttkhi9t4snvtjnfcituvuwv8iaguf6brcrn/ge9fykkwjce4sbupdemrsosagwl6snbmmubvgiwmeycmkwb/99igzvqshwnbibgm/e5iewbmn/dtzscpy35rffi/rzzq+6cryjbocemxonrofkoi9cnglalrkopawiww9lcmolxzqtayxdzpqwqsvpjcpepgskika7+l7g54nyvsdy9wvlv3kj3ulcohwsgylyg3xyba/oqwnuieqclidb3icz+frexfenbfb6ogz9czdj3i+vgbpuaj</latexit> - - - - - - - - eq hwt:!+ i Ft + neq Ft hwt:! i neq Ft eq Ft <latexit Non- Quen Counterdiabatic <latexit sha_base64"afqkzktktpuywbyuudqybcqjq+q">aaacghicbvdjsgnbekxn5xuxkzdiknzeyepqa9edtgrcezse+njmnss9hdewxdvkpwph/itbx68c85l4cctoepvepar6hzkumhzn3zqznztfwfxarqysrqvvde3jrnfueppzjvyhtkewchgmsejpzheo8socne3qyeqldlkkkyzbjhrjsisnjghap/wjopwjgnvj+qnafulgx/be4xqdv3okylm+qh35hmncxdkto66tuvawryjlhff8xgpg+idsgngwmluqveepbb3ddooszl5bdst8dbyuhswhmywz9fvvbul+p3vyik6cqirztuzbvrlmk7ukcdlco5crhbjcuhlnv5nmgcetu8uvjuxd6zrgchvda4g8domjbuojwe5f6o5s9oh9zdp+6jmrnlisas7sach4mixnoeclsaddrdwd4/wzdyz9al9todnbg+pnvwo6y3tkcob8</latexit> sha_base64"lcmlgaxzugtkoit+vd7f57aig">aaacghicbvdlssnafj3uv6vqks3wsk4ahirdfl47if+4almnph6ethzuyyh3yg4j9xj7d+sounazzaoufgxppuyd753ix4apt+8sorkvbg4vts7u3v7b+xdo5akesmgysiryy5hfqgeqhm5cujeemjgcwh749u53p6avdwk73eagxvqych9zihqyuhpglascbkom/xlgrdlbmknbyucf5fvl794gykkaitjbleo6doxusivyjmbw6iukysrgdahddumaghlt7oizeaazgelhur8qzyz97uhponq8prkqhgklru5+z/wtdc/dlmexgnqbyw+ykwmtlnczgdloghmgpamet6vponqkqmdu6lxmzmrabsnawfsflkmosfobvpkzczb+usx7ikwhdvx646jctk7saprehoyck5jw65ijvyr+qksrh5ie/khbwaz8ab8w58leylru45jn/k+pwbxkghaw</latexit> ch Equilibrium <latexit sha_base64"obivwtuoafrsb5wg6tg6a66m">aaaci3icbvbns8naen34wetxvpdijvgetigh6lvxisynpcw8pmoxbnbd7qzyyv+m4en/itfx4sg/4dlnoodiy8ew/e7pdcmfglpe/twlldw9/ylgwvt3d9/btg8o6eokkebdbhgygwagjhajnnynmlafhiyngokpmemmmulhb7/ukhk6eb5zkchauf37uk3hqadvkxanskdxaaqy7dolr+zl5swdfw5kaf6rv3d7gmsrmayviplu/fupniabyxmbbbiyiykxeeqmtajinqnts/f+qcgabn9iujsnz387uhwpnylcmxlhpvslwkb+p7us3b/upjthiqzozh/e+zo4wrhodqgwgmqatsctdhliiynjwmzkjakbkno5rhdkvzk4jalthkgecrauvxjlmqhflhv7n9dlio388gk6asdonpkoytuqbeohgjecn6qi/oxq3qx36mumlnpufotlfp+aapam</latexit> sha_base64"++3cga3dop6ngdw7mdnwfcgf88">aaaci3icbvbns8naej3u7/ovp/dijvgetigh6lxjwqgcupwyu6q7mkj/tocj/n3sslb/+gzzdpdodwhjz3rzz4uujz9r4/odtmpmdm9yxcovr6yurbsbm9dapopiscwx6iyigjktgbpmon4kckkccwxe/bncbwxqasbflrkmi7jrwa9romxvmfdarm8n9mztivbwuksgidddykx/wl8qzbmagv+jyuddfxvpdsdmyhagcanm/msm6lsno6jcivvmbdaj7fytfcqghu7k+4fefuw6xo9qewtxivyn46mxfop48hoxstc6b9atv6nnvptolntcspquhhh/vs7hnp5wf4xaaqgj6gfdf7kevsokujuf3vqysqobvezgtqrwinxmibkfi4yimk/syyda4pq4ffds6pkvxtcwkwcluwbwcqwdhu4rwuiaqkd/aiz/dipdmvzpvzph4torppfvwq5/mbzhul9w</latexit> <latexit sha_base64"+9ijw/s+/mu7u67ck/6xrftb">aaach3icbvbdswjbfjl7mvs8delitosxcjqecpgh4n8gnuzha86udm7jzzv5tfvxlvp+kt+jvp9jzs7oppryopece5jl8ulbntro3mpsbg5t7r3c3v7b4dh+encxqerylbjgqhu6mabpehhhwfnemfvhocgt7olvebycab/4ttkposdrwez8zikbq5gtthang988rf9xtpjkzbr7oljwf7hxipqriuls7+e9lcrbb+zofq3xcfetkwvcizglmthgklkrnqalun9kkf34sxtm/vckd7hyjzflqx6u9etkxwu+mztulxqfe9rpzpaxyv+ne3a8jbj8tp+phwsbatoqwewbqzehdlfzagjfgzq6cufmc7xtjnkxghwstwzhlm4hkkxklr7mot66r+wxkdkvt4vazcppvlysk5ixfejdekqh5ildqiixpyqt7iu/vqfviftdynwolmrpyb9b8b6xzo/i</latexit> sha_base64"pecs6/th3tglxmdhwmmsuzhw">aaach3icbvdlsgnbeozgemrrm9efopgkdkvqy9betxgmbpiqpiddhrwzned6qjs35f8kr/4k85kc8o9nkomacgeqqlqapijbckoennyxfpewvdxafnjcu7sfo8nvgiodz5jcpdcjhbkukskycjjvgju4heu+dxyulf9vebeyu3niyxrdh9khqcm7jspbseq4ovxxkhbsbfokadqolr+xlcoejpyol6h5kqhukx6uxbofixhjjgn6xkztlgksxoio3omxow/sntswhoyhaadzrep3eordnepolyc3un4mukwogkrcbitgd+etnxp+8zkk9s3yqwjghdpno4ixyrcsrfuvjkjiewmk6fvdxldwztraufcslppw6svpfgpgpgmrxkedgkbjfku/7ewexj7xpa9sn99uqqetxudhozdarybd6dqhsuoqr4doazxuhnexhenq/nc7q64mwyu/alzvgbi+6krg</latexit> hwt:+! i - eq Ft: + hw CD i +! Pr(Xt x) : V (x, t) : kb T - ch sha_base64"afqkzktktpuywbyuudqybcqjq+q">aaacghicbvdjsgnbekxn5xuxkzdiknzeyepqa9edtgrcezse+njmnss9hdewxdvkpwph/itbx68c85l4cctoepvepar6hzkumhzn3zqznztfwfxarqysrqvvde3jrnfueppzjvyhtkewchgmsejpzheo8socne3qyeqldlkkkyzbjhrjsisnjghap/wjopwjgnvj+qnafulgx/be4xqdv3okylm+qh35hmncxdkto66tuvawryjlhff8xgpg+idsgngwmluqveepbb3ddooszl5bdst8dbyuhswhmywz9fvvbul+p3vyik6cqirztuzbvrlmk7ukcdlco5crhbjcuhlnv5nmgcetu8uvjuxd6zrgchvda4g8domjbuojwe5f6o5s9oh9zdp+6jmrnlisas7sach4mixnoeclsaddrdwd4/wzdyz9al9todnbg+pnvwo6y3tkcob8</latexit> sha_base64"lcmlgaxzugtkoit+vd7f57aig">aaacghicbvdlssnafj3uv6vqks3wsk4ahirdfl47if+4almnph6ethzuyyh3yg4j9xj7d+sounazzaoufgxppuyd753ix4apt+8sorkvbg4vts7u3v7b+xdo5akesmgysiryy5hfqgeqhm5cujeemjgcwh749u53p6avdwk73eagxvqych9zihqyuhpglascbkom/xlgrdlbmknbyucf5fvl794gykkaitjbleo6doxusivyjmbw6iukysrgdahddumaghlt7oizeaazgelhur8qzyz97uhponq8prkqhgklru5+z/wtdc/dlmexgnqbyw+ykwmtlnczgdloghmgpamet6vponqkqmdu6lxmzmrabsnawfsflkmosfobvpkzczb+usx7ikwhdvx646jctk7saprehoyck5jw65ijvyr+qksrh5ie/khbwaz8ab8w58leylru45jn/k+pwbxkghaw</latexit> equilibrium <latexit sha_base64"dqmnnrwbcdtoyib5bgovezdkarm">aaaclnicbvc7sgnbfj3bxxflwwgjjsiuclqknlsgye8igmdu5mupmsc7cfcosq8rrprpbaux9qusncqtffyoi97mjktj4jbdiixbx8ynjqemamde/slhuxf65tdodkpmc3qmbuguiiqchrqtwxqgquoxb3jov+7awo5vhfyt6ap6zxihc4ooqlvxn+keg4xo9vqzxbfoyprlaseg57kqatycsrbapy/imxbierzip+rg3nugkkmadwnsigwwzgdximyfciugsjzt6bqhfzvgm9nokwn/yltv6onowr9kfo9kvfpbv/gblns7nrf3ld8zukdlozlwlkyjixxduugj9oe9+gugkhoocz4e6tputsqxm69grrkjhvqtaxijorvjdkkyci3fs4gzyvpi7lr/gcrccbuxwfk9ejrxnkpwyabzjihzj4fkhjyrkmhkjtytr/lkpxjp3qv39ru65uwzvfjjvpdpogaqhq</latexit> sha_base64"7aajy8mtjpvfkr/l3y+glgdivi">aaaclnicbvc7thtbfllbigtwdw6mivwea3boresisvihigjc8lju7voar57gzuytirvzznuip4e+qkfbavoa647ulhrnssodxjbmpjkujqloiziznfswv7d4sflp89lysnv7dsz3hjscsonpu+zqyktkiqxppmilopxlncddz67qomhcqz7chouvfceze6la3thpc3qcgb7spipw+5kckilejbruwanywvcgnojacwpkoe5wn5oe4blctvwy59pxlfgnyjyelziqjlndjpebu8ch5opdji/moo/oqvxtg3h9nyam+tbrmotduqd9ujc7dw8s/s9r59t/3imeznjczscx9xmzkgnhvyq9yzgthhraubx+rsg/zjzx8uvkjjynfros4y3jgs4yxtcosdpavfqxft8tpb34prbpy7q8c+9wvphpdfyhe34ajsqwz44rcooqucruegbueu+bpcb4/b38nqtddnrmorcz7+ar5hqne</latexit> Quen - - - - - (B) t + (D) t <latexit sha_base64"nxlordehivj7lks/zvs6aror4i">aaachxicbvdjsgnbfoyjw4zbqecvjugib5mzefqibpxgmyjziimhp/osnolz6h4tcep8esgt/ok38sr+igc7yetcxrqvbih+vfumhnc8rtbs8srqwxs9sbg5t79i7exudxopdmycyvdwpazaigdiklfclfddfkd+tdjvzoapuuy3omwgqbpuohocm7qsc3bztcek9jikmupjy76+sdcegicwcksyotezvrjvksq8bcsmrrtohmekrrcwijtidvejpdzf+qgbswh3uwml4/okvhatbmq8wkke/v3img+kpfm5s+w56e98bif49xs5fmxfbfcmefpprj5yuqzqugbafao5yaajjsphbke8xxtiasjknstapllwzcsyiduerxua+mmhzfaxgpih3vpzfujnnu7evtvlfq9mlaxjatkkoekscikt6reyostaxkil+tverberhfry7qasmazffihucp+a+gsg</latexit> sha_base64"jyecsy8kemwwl4bgb3if73sea">aaachxicbvdlsgnbeozbxytj5uxwsdowwrxbliqt4jgbusgkynxrcpbbtg8glpflbe/6j97eq/gjnpscvbvmfbdcufsrkgvk8ddsfgjyanpmtja3v7c45c6vxjg4qjrilaxvgq4qsujrjekhvejrh4gci+du+obf9lfbwqcnvmvwwbibylzkyktlvquu3wyze4zsupwij5e77tcolfycrc/xb+rymunclrb7mejhysxiie4sbufs+hzsysagwxikbhmu7vgnineiimmewx99mmvdqsev7imk5+jr8dcyxhjyzzdtrfntdct/vhpknynmjqmkjyze8knoqhjfbfadaungltpei6tlcyccsftlkjtyyfaugtuvrrgbstgilekqxbo7pztuf7vwv6si9s75x8s7i5wjygmzaomzafviwdxu4hsruqeaxhuajnph58v5dd6gqpoklmkp+c8fwfcqeg</latexit> <latexit sha_base64"7hhcuor3qngws/zn9mc+jctzu">aaacghicbvdlsgmxfm34rpvvdekmwiskm6iobuhi3lck5bamesse+ozmhsazqhvobgiv9e3fip/4tpogttpra495x7yow4ewdsmeaxsbs8srqntvib5t7+ww9vybmowfbzugpbqtljglabbmcwhfqkgvsuh6q6vp35zbekymlht4wgcn/qd5jfkljacuuepkfr7b5f9otfmymqiveisjrzsh3i8d3ohjxifoveyrzlrspjifcmcpjko7geinah6unb4d4ijkpxqcj7xsw4o9asuttxfiyt4uo59v/6ra3kvdcv//pasfiunyqfuawgolopvjhjfejpa7jhbfdfx5oqkpi+fdmbeyqq3vo+kwatii3vnfgkctsarqq+ukauvz87uskszztllu5svrlksuhq3sesshcf6ikbladyiib/sextcr8wy8ge/gxxycgyb+gpjm8fjhge6q</latexit> sha_base64"yvzdwkfnyykdf5xllfmzdb4ldyo">aaacghicbvdlsgnbeoyn7/ikj5uxwsaoqrirgl6eobepedwkkkwyo+nvwdmhm7ncwojvcj7t7yjv/+igcnmxwswcguqqlacppbffatr+swttzozc/ejxcwl5zbwtt5qcsozuiwwswz5vkhgebqaa4gtrcinfyfn/+5s4dcfucoer5e6l6axpuib5xrbsrv93sppbjntoh9tx9dktsvowezjm6ilgubkkn+xfrudgowhhhpjqhsbcdotjdrqtktc9uoujzxfbtugrjre5wx5xyy5qucwjpxqrjrv5ozdruqhf6zjok+lanewpxp6+d6udyy3iupbojnvwosaxrmrkqlpcitoizwhlkptbcbulkjjteip8mbwdzwzqsaivvvjvmuhmsh3jt7tvhoectphfqceykc3fyrpog4n5ijtauhjqag5ahfxjcwxo8wkvblz79bhclvgjtib8afw5w8mdj89</latexit> FIG. 3. Counterdiabatic information processing in three steps: Distribution Pr(Xt x) shown with blue dashed curves and energy landscapes V (x, t) shown by the gray curves. First, the information landscape is instantaneously changed to fit the starting distribution from stage (A) to stage (B). These share the same distribution but have different energy landscapes. Second, the counterdiabatic protocol is applied to take the system from the equilibrium distribution at stage (B) to that shown in stage (D), passing through nonequilibrium distributions driven from equilibrium by the counterdiabatic potential; such as that shown in stage (C). Third, the last quench step instantaneously takes the system from equilibrium stage (D) to the nonequilibrium metastable stage (E). All three transitions are labeled with the associated work investment. In this way, we drive the system through a sequence of metastable distributions with precise control of the bit bias b(t). Although the protocol just described pertains to the specific case of a double well, the procedure of quenching, controlling counterdiabatically, and then quenching again is a general technique for evolving between nonequilibrium distributions in finite time. For such a computation, the total work simplifies to the net change in nonequilibrium free energy plus the counterdiabatic work: Since hw CD i T hσi (see Sec. III B), Eqs. (7) and (8) lead immediately to a generalized form of Landauer s bound: hw i F neq + hw CD i, hw i kb T ln (H[Y ] H[Yτ ]), (7) as shown in Fig. 3. The change in nonequilibrium free energy is given by the sum of the quasistatic work and the quenching work [, 4]. For the metastable distributions we discussed, where each informational state contributes the same local free energy, F neq reduces to the change in the Shannon entropy of the information variable []: F neq kb T ln (H[Y ] H[Yτ ]). (8) (9) which takes on the familiar form, hw i kb T ln, when starting with fully randomized bits, b() / and when

the operation s fidelity is perfect, b(τ). As we shall see, while the Landauer bound cannot be achieved in finite time, perfect fidelity can be achieved in finite time with finite work. The amount of entropy produced, Σ W CD /T, reflects the additional cost beyond Landauer s bound of implementing a computation in finite time. For metastable erasure in a symmetric double well, this additional cost depends on duration, system length scale, bit bias difference, and information lifetime a measure of information storage robustness. We have already seen that the value of Σ scales as the inverse of the protocol duration τ and the square of the system characteristic length scale L (Sec. III C). We now show how bit bias difference and information lifetime lead to additional energy costs. Metastability simplifies the expression for the counterdiabatic potential, leading to simple relationships between the work, bit bias difference, and robustness of information storage. As shown in Appendix B, the counterdiabatic potential can be expressed as a product of a piecewise-continuous function and a function that depends only on the equilibrium distribution: V CD (x, t) h(x) where: h(x) µ x { t ln b(t) if x t ln( b(t)) if x >, () dx p(x ) x dx p(x ) and p(x) Pr(X eq x) is the equilibrium distribution for the symmetric, bistable potential of Eq. (5). This result allows us to design protocols for evolving a metastable distribution from an initial bit bias b() b i to any final bit bias b(τ) b f, given a bistable potential. For instance, the choices b i / and b f correspond to perfect erasure, where the system ends entirely in the left well. C. Tradeoffs in Metastable Symmetric Erasure As discussed above, the equilibrium distribution p(x) and bit bias b(t) determine both the desired metastable distribution trajectory of Eq. (6) and the counterdiabatic potential of Eq. () that generates this evolution. In Appendix B we show that the functions p(x) and b(t) are multiplicatively separable in the expression for counterdiabatic work. Specifically: W CD f [p( )]f [b( )], where: f [p( )] µ f [b( )] dx p(x) x dx x p(x dx p(x ) ) dt ( tb(t)) b(t) b(t). () This separability entails additional tradeoffs between dissipation, bit bias difference, and information lifetime. Functional f depends on the equilibrium distribution p(x) which in turn is determined by the bistable potential V (x, ). The shape of this potential (e.g., the height of the barrier relative to the left and right minima) determines the expected lifetime of a stored bit, in the absence of external driving. Thus, f contains all the dependence of the counterdiabatic work on information storage robustness. Functional f depends on the bit bias trajectory b(t). One can now entertain a variety of bias trajectories, using this functional to determine how the counterdiabatic work changes. However, note that one must restrict to paths for which the initial and final time-derivative vanishes t b(t) t {,τ}, since t Pr(X t x) t {,τ} must vanish for the counterdiabatic potential itself to be zero initially and finally. Note too that f and f contain the system length and protocol duration dependence, respectively. If we rescale the system spatially and the protocol temporally, we obtain the new equilibrium distribution and bias trajectory: p (x) L L p(lx/l ) and b (t) b(τt/τ ). Plugging these in, we find the new functionals: f [p ( )] L L f [p( )] and f [b ( )] τ τ f [b( )]. To further separate dependencies, we introduce unitless functionals of both bias and the default equilibrium distribution: F [p( )] f [p( )]/L and F [b( )] f [b( )]τ. F captures the difference between initial and final bias without dependence on computation rate. F captures the depth between left and right wells without dependence on the spatial scale, which also affects how long a bistable system can robustly store information. In short, the counterdiabatic work is expressed as the product of

. b f t/.8.6 b(t).4 b i V CD (x, t)/k B T.....4.6.8. t/ FIG. 4. Nonlinear protocol for driving between initial bit bias b() b i and final bias b(τ) b f. The nonlinear protocol b(t) (blue curve) has zero slope initially and finally such that the counterdiabatic potential vanishes at the protocol s beginning and end. four terms: W CD L τ F [p( )]F [b( )]. Since F and F are independent of duration and system length, this implies a five-way tradeoff between the main dependencies of computation: dissipation, duration, length, F, and F. We next study how F and F depend on properties of the erasure protocol, leading to a practical consequence. D. Perfect Erasure in Finite Time with Finite Work Let us consider control protocols for which the bit bias trajectory is given by: b(t) b i cos (πt/τ) + b f sin (πt/τ). () This schedule takes the system monotonically from b() b i to b(τ) b f, as shown in Fig. 4. Since t b at t and t τ, the counterdiabatic potential vanishes at the initial and final times, except in the special cases that b i or b f are either or. The counterdiabatic potential in this case is: V CD (x, t) h(x) (3) τ { (b f b i)π sin(πt/τ) b i cos(πt/τ) +b f sin(πt/τ) if x (b f b i)π sin(πt/τ) b i cos(πt/τ) b f sin(πt/τ) if x >. Note that the explicit dependence on duration factors out, yielding the prefactor τ, as expected. Calculating x FIG. 5. Counterdiabatic potential for the nonlinear erasure protocol of Fig. 4 which takes a bistable potential well from an initial bias b().5 to a final bias b(τ).95. For this protocol we set τ, µ, k BT, α, and β. The counterdiabatic potential vanishes at the beginning and end, so that the system begins and ends in equilibrium. h(x) numerically, Fig. 5 plots the counterdiabatic potential V CD (x, t). The nonlinear protocol begins and ends with zero counterdiabatic potential, hence the distribution begins and ends in equilibrium. This guarantees that when instantaneously changing back to the default bistable potential landscape, the work investment beyond the counterdiabatic work equals the change in nonequilibrium free energy. Equation () indicates that any protocol ending with all probability in a single well, such that b f or b f, has divergent counterdiabatic potentials, since either b(t) or b(t) vanishes. A vanishing numerator ḃ(t) is no compensation, since under any number of applications of L Hopital s rule to evaluate convergence the numerator becomes nonzero first; it is the derivative of the denominator. Despite this, through numerical calculations, we find that a counterdiabatic potential V CD (x, t) that starts and ends at zero can perform perfect erasure in finite time with finite work. If the thermodynamiccomputing designer wishes to avoid a divergent final potential, they can approach perfectly faithful erasure asymptotically while keeping the final state in equilibrium, because V CD (x, τ) for all b f,. As the final bias b f approaches, the resulting work approaches a constant value but the system approaches perfect erasure, as shown in the rightmost plot of Fig. 6. To study the dependence of dissipated work on initial and final bias, b i and b f, we substitute the nonlinear bias function, Eq. (), into functional F [b( )]. This functional is proportional the dissipated work with the default distribution p(x) and duration fixed. As Fig. 6 shows, starting with an unbiased state b i.5, then increasing the final bias towards b f., the required