Nature | Letter
Experimental verification of Landauer’s principle linking information and thermodynamics
- Antoine Bérut,1,
- Artak Arakelyan,1,
- Artyom Petrosyan,1,
- Sergio Ciliberto,1,
- Raoul Dillenschneider2,
- & Eric Lutz3, 4,
- Journal name:
- Nature
- Volume:
- 483,
- Pages:
- 187–189
- Date published:
- DOI:
- doi:10.1038/nature10872
- Received
- Accepted
- Published online
In 1961, Rolf Landauer argued that the erasure of information is a dissipative process1. A minimal quantity of heat, proportional to the thermal energy and called the Landauer bound, is necessarily produced when a classical bit of information is deleted. A direct consequence of this logically irreversible transformation is that the entropy of the environment increases by a finite amount. Despite its fundamental importance for information theory and computer science2, 3, 4, 5, the erasure principle has not been verified experimentally so far, the main obstacle being the difficulty of doing single-particle experiments in the low-dissipation regime. Here we experimentally show the existence of the Landauer bound in a generic model of a one-bit memory. Using a system of a single colloidal particle trapped in a modulated double-well potential, we establish that the mean dissipated heat saturates at the Landauer bound in the limit of long erasure cycles. This result demonstrates the intimate link between information theory and thermodynamics. It further highlights the ultimate physical limit of irreversible computation.
Subject terms:
Main
The idea of a connection between information and thermodynamics can be traced back to Maxwell’s ‘demon’6, 7, 8. The demon is an intelligent creature able to monitor individual molecules of a gas contained in two neighbouring chambers initially at the same temperature. Some of the molecules will be going faster than average and some will be going slower. By opening and closing a molecular-sized trap door in the partitioning wall, the demon collects the faster (hot) molecules in one of the chambers and the slower (cold) ones in the other. The temperature difference thus created can be used to run a heat engine, and produce useful work. By converting information (about the position and velocity of each particle) into energy, the demon is therefore able to decrease the entropy of the system without performing any work himself, in apparent violation of the second law of thermodynamics. A simplified, one-molecule engine introduced later9 has been recently realized experimentally using non-equilibrium feedback manipulation of a Brownian particle10. The paradox of the apparent violation of the second law can be resolved by noting that during a full thermodynamic cycle, the memory of the demon, which is used to record the coordinates of each molecule, has to be reset to its initial state11, 12. Indeed, according to Landauer’s principle, any logically irreversible transformation of classical information is necessarily accompanied by the dissipation of at least kTln(2) of heat per lost bit (about 3 × 10−21 J at room temperature (300 K)), where k is the Boltzmann constant and T is the temperature.
A device is said to be logically irreversible if its input cannot be uniquely determined from its output13. Any Boolean function that maps several input states onto the same output state, such as AND, NAND, OR and XOR, is therefore logically irreversible. In particular, the erasure of information, the RESET TO ONE operation, is logically irreversible and leads to an entropy increase of kln(2) per erased bit14, 15, 16. This entropy cost required to reset the demon’s memory to a blank state is always larger than the initial entropy reduction, thus safeguarding the second law. Landauer’s principle hence seems to be a central result that not only exorcizes Maxwell’s demon, but also represents the fundamental physical limit of irreversible computation. However, its validity has been repeatedly questioned and its usefulness criticized17, 18, 19, 20, 21, 22. From a technological perspective, energy dissipation per logic operation in present-day silicon-based digital circuits is about a factor of 1,000 greater than the ultimate Landauer limit, but is predicted to quickly attain it within the next couple of decades23, 24. Moreover, thermodynamic quantities on the scale of the thermal energy kT have been measured in mesoscopic systems such as colloidal particles in driven harmonic25 and non-harmonic optical traps26.
To verify the erasure principle experimentally, we consider, following the original work of Landauer1, an overdamped colloidal particle in a double-well potential as a generic model of a one-bit memory. For this, we use a custom-built vertical optical tweezer that traps a silica bead (2 μm in diameter) at the focus of a laser beam27, 28. We create the double-well potential by focusing the laser alternately at two different positions with a high switching rate. The exact form of the potential is determined by the laser intensity and by the distance between the two focal points (Methods). As a result, the bead experiences an average potential U(x, t), whose measured form is plotted in Fig. 1 for different stages of the erasure cycle. When the barrier is high compared with the thermal energy, kT (Fig. 1a, f), the particle is trapped in one of the potential wells. By contrast, when the barrier is low (Fig. 1b), the particle can jump from one well to the other. The state of the memory is assigned the value 0 if the particle is in the left-hand well (x < 0) and 1 if the particle is in the right-hand well (x > 0). The memory is said to be erased when its state is reset to 1 (or alternatively 0) irrespective of its initial state.
In our experiment, we follow a procedure which is quite similar to that discussed in detail in ref. 12. We start with the theoretical configuration in which the two wells are occupied with an equal probability of one-half. The initial entropy of the system is thus Si = kln(2). The memory is reset to 1 by first lowering the barrier height (Fig. 1b) and then applying a tilting force that brings the particle into the right-hand well (Fig. 1c–e). Finally, the barrier is increased to its initial value (Fig. 1f). At the end of this reset operation, the information initially contained in the memory has been erased and the final entropy is zero: Sf = 0. Thus, the minimum entropy production of this erasure process is kln(2). The possibility of reaching this minimum depends on the timing of the procedure. The one used in our experiment is sketched in Fig. 2a. Specifically, we lower the barrier from a height larger than 8kT to 2.2kT over a time of 1 s by decreasing the power of the laser. This time is long compared with the relaxation time of the bead. We keep the barrier low for a time τ, during which we apply a linearly increasing force of maximal amplitude Fmax, which corresponds to the tilt of the potential. We generate this force by displacing the cell containing the single bead with respect to the laser with the help of a piezoelectric motor. We close the erasure cycle by switching off the tilt and bringing the barrier back to its original height in again 1 s (Fig. 2a). A particle initially in memory state 0 will then be brought into state 1. The total duration of the erasure protocol is τcycle = τ + 2 s. Our two free parameters are the duration of the tilt, τ, and its maximal amplitude, Fmax (Methods). The second cycle in Fig. 2a corresponds to the reversed protocol, which brings the particle from state 1 to state 0 (Methods).
We use a fast camera to record the successive positions of the bead during the erasure process. A typical measured trajectory of the particle for a transition 0 1 during a cycle is shown in Fig. 2c. A trajectory for the transition 1 1 is depicted in Fig. 2d. In this case there is an instantaneous jump to the other well induced by thermal noise, but the final state is 1.
Thermodynamic quantities are stochastic variables at the microscopic level of our experiment, because thermal fluctuations cannot be neglected. The dissipated heat along a given trajectory, x(t), is given by the integral29 . According to the laws of thermodynamics, the mean dissipated heat obtained by averaging over many trajectories is always larger than the entropy difference: Q ≥ −TΔS = kTln(2) = QLandauer. In practice, we average over situations in which the memory is either initially already in state 1 or is switched from state 0 to state 1. We typically average over more than 600 cycles. It is inconvenient to select randomly the initial configuration during two erasure cycles, so we treat the two cases independently. When the state of the memory is changed, we use a series of double cycles (Fig. 2a), which bring the bead from one well to the other, and back. In the opposite case, when the state of the memory is unmodified, we apply a series of double cycles containing a reinitialization phase (Fig. 2b). This series is useless in the erasure process itself, but is necessary to restart the measurement by keeping the bead in the initial well (Methods). We determine the dissipated heat during one erasure cycle as follows. We first note that the bead necessarily ends up in the initial state after completion of both double cycles. Because the modulation of the height of the barrier occurs on times much slower than the relaxation of the bead, it is quasi-reversible and does not contribute to the dissipated heat. We therefore only retain the contribution stemming from the external tilt, averaged over the cycles corresponding to the change of state and over the cycles in which the memory is unchanged.
A key characteristic of the erasure process is its success rate, that is, the relative number of cycles bringing the bead in the expected well. Figure 3a shows the dependence of the erasure rate on the tilt amplitude, Fmax. For definiteness, we have kept the product Fmaxτ constant. We observe that the erasure rate drops sharply at low amplitudes when the tilt force is too weak to push the bead over the barrier, as expected. For large values of Fmax, the erasure rate saturates at around 95%. This saturation reflects the finite size of the barrier and the possible occurrence of spontaneous thermal activation into the wrong well. An example of a distribution of the dissipated heat for the transition 0 1 is displayed in Fig. 3b. Owing to thermal fluctuations, the dissipated heat may be negative and maximum erasure below the Landauer limit may be achieved for individual realizations, but not on average16.
Figure 3c shows the average dissipated heat, Q, over a large number of erasure protocols as a function of the duration of the cycle, for various success rates. For each cycle duration, τ, we have set the amplitude, Fmax, of the tilt such that the erasure rate remains constant to a good approximation. For large durations, the mean dissipated heat does saturate at the Landauer limit. We observe, moreover, that incomplete erasure leads to less dissipated heat. For a success rate of r, the Landauer bound can be generalized to . Thus, no heat needs to be produced for r = 0.5. In that case, the state of the memory is left unchanged by the protocol and the transformation is quasi-reversible. For ideal quasi-static erasure processes (τ ∞), the dissipated heat is equal to the Landauer value. For large but finite τ, we can quantify the asymptotic approach to the Landauer limit by noting, following ref. 30, that Q = QLandauer + B/τ, where B is a positive constant (Methods). For shorter durations, we find excellent agreement with an exponential relaxation, Q = QLandauer + [Aexp(−t/τK) + 1]B/τ, with a relaxation time given by the Kramers time, τK, for the low barrier (Methods). Our experimental results indicate that the thermodynamic limit to information erasure, the Landauer bound, can be approached in the quasi-static regime but not exceeded. They hence demonstrate one of the fundamental physical limitations of irreversible computation. Owing to the universality of thermodynamics, this limit is independent of the actual device, circuit or material used to implement the irreversible operation.
Methods
Experimental set-up
We use a custom-built vertical optical tweezer made of an oil immersion objective (×63; numerical aperture, 1.4) that focuses a laser beam (wavelength, λ = 1,064 nm) to the diffraction limit for trapping glass beads27, 28 (2 μm in diameter). The beads are dispersed in bidistilled water at a very low concentration. The suspension is introduced in a disk-shaped cell (18 mm in diameter, 1 mm in depth), and a single bead is then trapped and moved away from the others. This step is important to stop the trapped bead being perturbed by other Brownian particles during the measurement. The position of the bead is tracked using a fast camera with a resolution of 108 nm per pixel, which after treatment gives the position with a precision greater than 10 nm. The trajectories of the bead are sampled at 502 Hz. The double-well potential is obtained by switching the laser at a rate of 10 kHz between two points by a distance df = 1.45 μm, which is kept fixed. The form of the potential, which is a function of df and the laser intensity, IL, can be determined in equilibrium by measuring the probability, P(x, IL) = Nexp[−U0(x, IL)/kT], of the bead being at position x, which implies that U0(x, IL) = −kTln[P(x, IL)/N] (Fig. 1a, b, f). The distribution P(x, IL) is estimated from about 106 samples. The measured U0(x, IL) are plotted in Fig. 1a, b, f and can be fitted by an eighth-order polynomial: . The distance between the two minima of the double-well potential is 0.9 μm. The two wells are nearly symmetrical, with a maximum energy difference of 0.4kT. The height of the barrier, ΔU, is modulated by varying the power of the laser from IL = 48 mW (barrier height, >8kT) to IL = 15 mW (barrier height, 2.2kT). In equilibrium for a barrier of 8kT, the characteristic jumping time (Kramers time), τK = τ0exp(ΔU/kT), between the two wells is about 3,000 s, which is much longer than any timescale in the experiment (τ0 ≈ 1 s in our experiment).
The external tilt is created by displacing the cell with respect to the laser with a piezoelectric motor, thus inducing a viscous flow. The viscous force is simply F = −γv, where γ = 1.89 × 10−10 N s m−1 is the coefficient of friction and v is the velocity of the cell. In the erasure protocol, the amplitude of the viscous force is increased linearly during time τ: F(t) = ±Fmaxt/τ. In Fig. 1c–e, we plot U(x, t) = U0(x, IL) − F(t)x for IL = 15 mW and for three different values of t. The reinitialization procedure shown in Fig. 2b is necessary to displace the cell to its initial position, but it does not contribute to the erasure process. We note that, unlike the useful erasure cycles, this reinitialization is performed when the barrier is high. Thus, the bead remains always in the same well.
Heat measurements
The heat dissipated by the tilt is
The velocity is computed using the discretization . To characterize the asymptotic approach to the Landauer bound we use the fact that, in the quasi-static limit (τ ∞), the mean work, W, can be expressed in terms of the free energy difference, ΔF, as . According to the first law of thermodynamics, ΔU = W − Q = 0 for a cycle, and we therefore find that ΔF = −TΔS and . This asymptotic result is generic and does not depend on the details of the potential. For shorter times, we find an exponential relaxation of the form Q = kTln(2) + [Aexp(−t/τK) + 1]B/τ, where τK is the Kramers time for the low barrier. The presence of the characteristic Kramers time can be understood by noting that cycles that last more than a few multiples of τK are very efficient for erasure because the probability that a jump to the right-hand well occurs by thermal activation is greatly increased.
References
- Landauer, R. Irreversibility and heat generation in the computing process. IBM J. Res. Develop. 5, 183–191 (1961)
- Landauer, R. Dissipation and noise immunity in computation and communication. Nature 335, 779–784 (1988)
- Lloyd, S. Ultimate physical limits to computation. Nature 406, 1047–1054 (2000)
- Meindl, J. D. & Davis, J. A. The fundamental limit on binary switching energy for terascale integration. IEEE J. Solid-state Circuits 35, 1515–1516 (2000)
- Plenio, M. B. & Vitelli, V. The physics of forgetting: Landauer’s erasure principle and information theory. Contemp. Phys. 42, 25–60 (2001)
- Brillouin, L. Science and Information Theory (Academic, 1956)
- Leff, H. S. & Rex, A. F. Maxwell’s Demon 2: Entropy, Classical and Quantum Information, Computing (IOP, 2003)
- Maruyama, K., Nori, F. & Vedral, V. The physics of Maxwell’s demon and information. Rev. Mod. Phys. 81, 1–23 (2009)
- Szilard, L. On the decrease of entropy in a thermodynamic system by the intervention of intelligent beings. Z. Phys. 53, 840–856 (1929)
- Toyabe, S., Sagawa, T., Ueda, M., Muneyuki, E. & Sano, M. Experimental demonstration of information-to-energy conversion and validation of the generalized Jarzynski equality. Nature Phys. 6, 988–992 (2010)
- Penrose, O. Foundations of Statistical Mechanics: A Deductive Treatment (Pergamon, 1970)
- Bennett, C. H. The thermodynamics of computation: a review. Int. J. Theor. Phys. 21, 905–940 (1982)
- Bennett, C. H. Logical reversibility of computation. IBM J. Res. Develop. 17, 525–532 (1973)
- Shizume, K. Heat generation required by information erasure. Phys. Rev. E 52, 3495–3499 (1995)
- Piechocinska, P. Information erasure. Phys. Rev. A 61, 062314 (2000)
- Dillenschneider, R. & Lutz, E. Memory erasure in small systems. Phys. Rev. Lett. 102, 210601 (2009)
- Earman, J. & Norton, J. D. EXORCIST XIV: The wrath of Maxwell’s demon. Part II. From Szilard to Landauer and beyond. Stud. Hist. Phil. Sci. B 30, 1–40 (1999)
- Shenker, O. R. Logic and entropy. Preprint at http://philsci-archive.pitt.edu/115/ (2000)
- Maroney, O. J. E. The (absence of a) relationship between thermodynamic and logical reversibility. Studies Hist. Phil. Sci. B 36, 355–374 (2005)
- Norton, J. D. Eaters of the lotus: Landauer’s principle and the return of Maxwell’s demon. Stud. Hist. Phil. Sci. B 36, 375–411 (2005)
- Sagawa, T. & Ueda, M. Minimal energy cost for thermodynamic information processing: measurement and information erasure. Phys. Rev. Lett. 102, 250602 (2009)
- Norton, J. D. Waiting for Landauer. Stud. Hist. Phil. Sci. B 42, 184–198 (2011)
- Frank, M. P. The physical limits of computing. Comput. Sci. Eng. 4, 16–26 (2002)
- Pop, E. Energy dissipation and transport in nanoscale devices. Nano Res. 3, 147–169 (2010)
- Wang, G. M., Sevick, E. M., Mittag, E., Searles, D. J. & Evans, D. J. Experimental demonstration of violations of the second law of thermodynamics for small systems and short time scales. Phys. Rev. Lett. 89, 050601 (2002)
- Blickle, V., Speck, T., Helden, L., Seifert, U. & Bechinger, C. Thermodynamics of a colloidal particle in a time-dependent nonharmonic potential. Phys. Rev. Lett. 96, 070603 (2006)
- Jop, P., Petrosyan, A. & Ciliberto, S. Work and dissipation fluctuations near the stochastic resonance of a colloidal particle. Europhys. Lett. 81, 50005 (2008)
- Gomez-Solano, J. R., Petrosyan, A., Ciliberto, S., Chetrite, R. & Gawedzki, K. Experimental verification of a modified fluctuation-dissipation relation for a micron-sized particle in a nonequilibrium steady state. Phys. Rev. Lett. 103, 040601 (2009)
- Sekimoto, K. Stochastic Energetics (Springer, 2010)
- Sekimoto, K. & Sasa, S. I. Complementarity relation for irreversible process derived from stochastic energetics. J. Phys. Soc. Jpn 6, 3326–3328 (1997)
Acknowledgements
This work was supported by the Emmy Noether Program of the DFG (contract no. LU1382/1-1), the Cluster of Excellence Nanosystems Initiative Munich (NIM), DAAD, and the Research Center Transregio 49 of the DFG.
Author information
Affiliations
-
Laboratoire de Physique, École Normale Supérieure, CNRS UMR5672 46 Allée d’Italie, 69364 Lyon, France
- Antoine Bérut,
- Artak Arakelyan,
- Artyom Petrosyan &
- Sergio Ciliberto
-
Physics Department and Research Center OPTIMAS, University of Kaiserslautern, 67663 Kaiserslautern, Germany
- Raoul Dillenschneider
-
Department of Physics, University of Augsburg, 86135 Augsburg, Germany
- Eric Lutz
-
Present address: Dahlem Center for Complex Quantum Systems, Freie Universität Berlin, 14195 Berlin, Germany.
- Eric Lutz
Contributions
All authors contributed substantially to this work.
Competing financial interests
The authors declare no competing financial interests.
Author details
Antoine Bérut
Search for this author in:
Artak Arakelyan
Search for this author in:
Artyom Petrosyan
Search for this author in:
Sergio Ciliberto
Search for this author in:
Raoul Dillenschneider
Search for this author in:
Eric Lutz
Search for this author in: