Article | Open

Heat production and error probability relation in Landauer reset at effective temperature

  • Scientific Reports volume 6, Article number: 34039 (2016)
  • doi:10.1038/srep34039
  • Download Citation
Received:
Accepted:
Published:

Abstract

The erasure of a classical bit of information is a dissipative process. The minimum heat produced during this operation has been theorized by Rolf Landauer in 1961 to be equal to kBT ln2 and takes the name of Landauer limit, Landauer reset or Landauer principle. Despite its fundamental importance, the Landauer limit remained untested experimentally for more than fifty years until recently when it has been tested using colloidal particles and magnetic dots. Experimental measurements on different devices, like micro-mechanical systems or nano-electronic devices are still missing. Here we show the results obtained in performing the Landauer reset operation in a micro-mechanical system, operated at an effective temperature. The measured heat exchange is in accordance with the theory reaching values close to the expected limit. The data obtained for the heat production is then correlated to the probability of error in accomplishing the reset operation.

Introduction

The minimum energy required to reset one bit of information represents one of the fundamental limits of computation arising when one bit of information is erased or destroyed. Starting with a system encoding two possible states with the same probability and finishing the procedure with only one possible state, the variation of entropy in the system is equal to the difference of entropy between the final state and the initial one, ΔS = kBln1 − kBln2 = −kBln2. On average this reduction of entropy has to be accompanied with an increase of heat in the surrounding environment in order to not violate the second law of thermodynamics, QL ≥ kBT ln2. This limit takes the name of Landauer limit and was theorized by Rolf Landauer in the 60’s1, and remained untested for over fifty years. The development of computational methods allowed to evaluate tiny amounts of heat exchanged and recent technical advances in micro- and nano-fabrication made possible to recently test the validity of the Landauer principle. In particular, the first experimental verification of the Landauer principle has been carried out by Bérut et al. using a colloidal particle trapped in optical tweezers2. More recently Jun et al. presented similar results considering a colloidal particle in a feedback trap3. Finally, the last experimental verification of the Landauer limit has been performed by Hong et al. in a nanomagnetic system4. In this case information is encoded in the magnetization state of the system while an external magnetic field is used in order to flip between two preferred magnetization states. The evaluation of the heat produced during the reset operation was demonstrated to be compatible with the Landauer limit. Even if there is no doubt nowadays on the validity of the Landauer principle, the test on micro-mechanical systems is still missing. We have recently shown that it is possible to use electro-mechanical devices to accomplish basic5 and complex logic operations6 with an arbitrarily low energy expenditure. Therefore the possibility to use this class of devices for memory storage completes the logic architecture for a complete computing device.

In the following we show the measurement on heat production when performing the reset operation in a novel memory unit based on a bistable mechanical cantilever at effective temperature. The results are in good agreement with the Landauer limit. The dependence of the dissipation with the error rate is also investigated showing a trend in accordance with the theory7.

Results

Bistable micro-mechanical system

The mechanical system used to perform the experiment is depicted in Fig. 1(a). A triangular micro-cantilever, 200 μm long, is used to encode one bit on information. In order to obtain two stable states two magnets with opposite magnetization are placed on the tip of the cantilever and on a movable stage facing the cantilever. In this way, depending on the distance between the magnets, d, and the relative lateral alignment, Δx, it is possible to induce bistability on the system. Figure 1(b) shows the potential energy as a function of d reconstructed from the probability density function of the position of the cantilever at equilibrium, ρ(x, d) = Aexp(−U(x, d)/kBT), which implies that U(x, d) = −kBT lnρ(x, d) + U02. When the magnets are far away the effect of the repulsive force is negligible, the system is then monostable and can be approximated to a linear system. Decreasing the distance the repulsive force between magnets tends to soften the system up to the point where two stable positions appear. The effect of reducing even more d is to enlarge the separation of the rest states and to increase the potential barrier separating these two wells. Eventually, when the distance between the magnets is small enough, the system remains trapped in one well for a period of time larger than the relaxation time of the system. Logic states are encoded in the position of the cantilever tip: logic 0 for x < 0 and logic 1 for x > 0. The proposed system presents intrinsic dissipative processes that depend on the maximum displacement of the cantilever tip6. The minimum heat produced when performing a physical transformation of the system is proportional to . In our setup it is not possible to reduce the separation between the two potential wells to a value that bounds the heat produced by intrinsic dissipation below the Landauer limit. Increasing the effective temperature increases the value for the Landauer limit making possible to have negligible intrinsic dissipation. A piezoelectric shaker is used to excite the structure with a band limited white Gaussian noise to mimic the effect of an arbitrary temperature. In the present experiment the white noise is limited to 50 kHz, well above the resonance frequency of the free cantilever (f0 = 5.3 kHz). The dependence of the effective temperature with the root-mean-squared voltage supplied to the shaker is reported in Fig. 1(c). The red dot, corresponding to an effective temperature of Teff = 5 × 107 K, highlights the condition considered in the present case. The solid line represent the expected trend where T8. The effective temperature has been estimated computing the power spectral density (PSD) of the system at various piezoelectric noise excitation voltages. The obtained curves have been fitted with Lorenzian curves taking as reference for the calibration the one at room temperature (T = 300 K). The other curves have been used to extract the only varying parameter Teff, corresponding to the effective temperature of the system under external excitation. Finally two electrostatic probes, placed one on the left and the other on the right of the cantilever, are used to apply a negative and positive forces respectively. When a voltage different to zero is applied on one probe the cantilever feels an attractive electrostatic force toward the probe due to the polarization of the cantilever itself. The voltage on the probes, the distance between the magnets and their time evolution are used to specify the protocols used in order to change the bit stored in the system as described in the following subsection.

Figure 1: Schematic of the whole system and measurement setup.
Figure 1

Lateral view of the whole system and measurement setup. Two magnets with opposite magnetic orientations are used to induce bistability in the system. Two electrodes are used to apply electrostatic forces on the mechanical structure: VL and VR to force the cantilever to bend to the left (negative x) and to the right (positive x) respectively. The magnetic interaction can be engineered by changing geometric parameters such as d and Δx. (b) Color-map of the reconstructed potential energy as function of the distance between the magnets, d. The distance is expressed in arbitrary units proportional to the voltage applied to the piezoelectric stage. Decreasing the distance between the magnets the potential energy softens and eventually two stable states appear. (c) Dependence of the effective temperature, Teff, with the root mean square of the white Gaussian voltage applied to the piezoelectric shaker. The red dot represents the condition accounted for the experimental data presented.

Reset protocol

Varying the magnets distance d the barrier separating the two stable wells varies from the minimum value B0 for d = 3.65 a.u. to Bmax for d = 2.8 a.u. Applying a voltage on one probe corresponds to apply a force toward the probe itself. Thus a voltage on the left probe corresponds to a negative force and a voltage on the right probe corresponds to a positive force. Details of the force calibration are presented in methods section. In Fig. 2(a) the protocol followed to reset the bit to the state 0 and 1 is presented. The procedure is similar to the ones presented in refs 2 and 9. Initially the barrier separating the two stable states is removed moving the magnet away (red curve in the first panel) making the system monostable. Once the barrier is removed we apply a negative (positive) force to reset the bit status to 0 (1) applying a finite voltage VL (VR) on the left (right) probe. This is represented by the magenta curve in Fig. 2(a). Once the force is applied we restore the barrier to its original value. Finally, we remove the lateral force finishing in the original parameters configuration. At the end of the operation, if there are no errors the cantilever position encodes the desired bit of information. In order to be sure to perform the operation starting from both initial states, we mimic a statistical ensemble where the initial probability is 50% to start in the left well and 50% in the right well. A trace of the cantilever tip position, x, is shown in Fig. 2(a) (black line), where the dashed blue lines represent the two stable positions once the barrier is restored. When the barrier is removed the system goes from the local prepared state to an undefined state with a free expansion, the entropy on the system thus increases in a irreversible manner9,10. This increment is related to uncontrollable transitions from one well to the other once the barrier height is close to kBT. These large excursions of the cantilever can be seen in the time series of position. Figure 2(b) shows a representation of the time evolution of the potential energy during the set of the bit to the logic state 1. In a first step the barrier is removed allowing the system to oscillate in a monostable potential landscape. Then the potential is slightly tilted and when the barrier is restored the system is confined in the desired state. After these stages the bit is set to the state 1. In order to have a reliable measure of the heat produced during the considered operations, reset protocols are repeated for 800 times in order to have a large enough statistic.

Figure 2: Reset protocol.
Figure 2

(a) Protocol used to perform the reset operation. In order to account for all the possible transitions we considered the reset to 1 (first two columns) and reset to 0 (last two columns) starting from both 0 and 1 states. The first row depict the protocol used for removing the barrier. Once the barrier is removed a lateral force is applied (second row). The resulting displacement of the cantilever tip is represented in the third row. Once all the forces are removed and the barrier is restored the cantilever tip encodes the final state. (b) Schematic time evolution of the potential energy and state of the system for the case presented in the first column of panel (a). The operation starts from a double well potential and in the first step of the protocol the barrier is removed. During the next step the potential is tilted and the barrier is restored to its initial value. Finally, the lateral force is removed recovering the initial condition where the barrier between wells is at its maximum and the electrostatic forces are equal to zero.

Heat vs error probability

In the optimal case the initial configuration is a mixed logical 0 and 1 where both states have the same probability while the final configuration is the selected state with a 100% probability. This corresponds to an entropy variation of ΔS = −kB ln(2) and a minimum heat produced of Q ≥ −TΔS = QL. It has been shown that the bound QL = −kBT ln(2) applies only for symmetric potentials. Considering asymmetries on the system the minimum produced heat can be lowered below QL11. In our setup the system is slightly asymmetric and we have evaluated the variation of entropy from the initial to the final state from the probability density function of the tip position, ρ(x), being ΔSG = −0.61kB and ΔSS = −0.68kB for the Gibbs and Shannon entropy respectively, both close to −kBln(2).

If we consider the possibility to commit errors during the reset operation the heat produced becomes a function of the probability of success7:

where Ps is the probability of success or success rate. When Ps is 0.5 no reset operation is performed and thus there is no minimum heat to be produced during the operation3,7.

In Fig. 3(a) we present the average heat produced for the reset operation as function of the lateral alignment of the counter magnet Δx. When the system is aligned closely to perfection (i.e., Δx ≈ 0) we estimate a heat production slightly above kBT and below two times QL. Asymmetrizing the potential, by means of setting Δx ≠ 0, the heat produced tends to decrease reaching values this time below QL. However, in this conditions the error rate in performing the reset operation have a major role, in fact in this configuration the probability of success, Ps, decrease rapidly. This is represented by the color map of dots in Fig. 3(a), where green represents higher success rate while blue represents a higher probability of error. In Fig. 3(b) the success rate of the reset operation is reported as function of the lateral alignment. Solid violet circles represent the overall success rate while red and black symbols represent the error rate for resetting to 1 or to 0 respectively. Circles are used to report the error probability for the same initial and final state while crosses are used for 0 to 1 and 1 to 0 transitions. For instance let us consider the case where Δx < 0: the counter magnet is moved towards the right and as a consequence the 0 state is more favorable respect the 1 state. From Fig. 3(b) we can see that for Δx < 0 the probability of resetting toward 0 is almost 100% while the probability of resetting toward 1 decreases rapidly reaching values below 50%. The same behavior is present in the case Δx > 0, where the counter magnet is moved to the left, where the state 1 is more favorable.

Figure 3: Produced heat and probability of success for the reset operation.
Figure 3

(a) Average heat produced during the reset operation as function of the lateral alignment Δx. For Δx < 0 the counter magnet is moved to the right and the 0 state (x < 0) is favorable. Accordingly, for Δx > 0 the 1 state is more favorable. Introducing an asymmetry on the potential Q decreases, which is accounted to the probability of success, Ps, that tends to decrease (Ps is encoded in the color map). (b) Success rate of the reset operation as function of lateral alignment. Solid violet circles represent the overall success rate while black and red symbols account for the success rate resetting to 0 and 1 state respectively. The maximum overall success rate is present when the system is almost symmetric, Δx ≈ 0. (c) Relation between success rate and heat dissipated. Red circles correspond to the resetting to 1 case while black ones correspond to the resetting to 0. (d) Dependence of Q with the protocol time duration, τp. As τp is increased the effects of frictional phenomena becomes negligible and the produced heat should approach the thermodynamic limit. However, for large τp the reset operation fails giving a wrong logic output. In these cases, where the error probability is high, the produced heat is clearly below the Landauer limit. Inset shows the obtained relation between error probability (1 − Ps) and produced heat. The data are compatible with the minimum energy required for a given error probability as predicted by Eq. 1, represented by dashed line.

We can now correlate the heat produced to the probability of success for resetting to 0 and 1 as presented in Fig. 3(c). Dashed lines represent the Landauer limit for a 100% of success rate (≈0.7kBT). While in both cases the heat produced is above the Landauer limit, in the reset to 0 case the obtained values are very close to QL. As expected, decreasing the success rate the obtained values goes below the Landauer limit for both cases accordingly to Eq. 1.

As it is well known the adiabatic limit in presence of dissipation mechanisms like viscous damping can be only reached if the operation is performed slowly when these mechanisms are negligible. We increased the protocol time for the reset operation from 0.25 s up to 3.5 s. The results are presented in Fig. 3(d). Increasing the protocol time decreases the heat production reaching values well below the Landauer limit. Notice that in these cases where Q < QL the Ps is well below 1 since the system has more time to relax and therefore tends to thermalize before the reset operation is correctly performed. In fact for protocols lasting more than 1 s the success rate is below 75%.

Discussion

We have measured the intrinsic minimum energy dissipation during the reset of one bit of information in a micro-mechanical system. We have considered a completely different physical system respect to the existing literature, i.e., micro-electro-mechanical system. To achieve these results we have performed the experiment at an effective temperature of 5 × 107 K in order to make the intrinsic dissipation of the mechanical structure negligible respect to the thermodynamic contribution. In these conditions we have reached values of heat produced consistent with the Landauer limit approaching it closely. Moreover we presented experimental data relating the minimum heat produced with the probability of success of resetting one bit of information. Nowadays where there is a lot of attention on micro-electro-mechanical systems able to perform computation at arbitrary low energy, the achieved results have a significant importance in the development of new computing paradigms based on systems different from the well established CMOS technology.

Methods

Setup preparation and calibration

The micro-cantilever used is a commercial atomic force microscopy (AFM) probe (NanoWorld PNP-TR-TL12). It is long 200 μm, with a nominal stiffness k = 0.08 N m−1 and a nominal resonace frequency of 17 kHz. A fragment of NdFeB (neodymium) magnet is attached to the cantilever tip with bi-component epoxy resin. To set the magnetization to a known direction the system is heated up to 670 K, above its Curie temperature13 in the presence of a strong external magnetic field with the desired orientation. With this additional mass the resonance frequency decreases to 5.3 kHz. The quality factor of the system has been estimated from the power spectral density of the displacement, x, fitted with a Lorenzian curve, giving a value of Qf = 320. The deflection of the cantilever, x, is determined by means of an AFM-like laser optical lever. A small bend of the cantilever provokes the deflection of a laser beam incident to the cantilever tip that can be detected with a two quadrants photo detector. The laser beam is focused on the cantilever tip with an optical lens (focal length f = 50 mm). For small deflections the response of the photo detector remains linear, thus x = rxΔVPD, where VPD is the voltage difference generated by the two quadrants of the photo detector. In order to determine rx we look at the frequency response of the system as in ref. 6 under thermal excitation. The relation between the measured voltage and the expected displacement gives rx = 1.8365 × 10−5 m V−1. The system is placed in a vacuum chamber and isolated from seismic vibrations to maximize the signal-to-noise ratio. All measurements were performed at pressure P = 4.7 × 10−2 mbar.

Effective temperature estimation

As the system is modeled as a harmonic oscillator with one degree of freedom, according to the Equipartition Theorem the thermal energy present in the system is simply related to the cantilever fluctuations as . According to Parseval’s theorem where G(ω) stands for the PSD of the system. This takes the form of a Lorenzian function

where ω = 2πf. Once the system has been calibrated at room temperature we estimated the effective temperatures fitting the only free parameter, T, from the measured PSDs to the expected function |G(ω)|.

Force calibration

A set of two electrodes (see Fig. 1(a)) is used in order to polarize the cantilever producing a bend on the mechanical structure. Electrostatic forces depend on the voltage applied to the electrodes, i.e. VL and VR for the left and right electrode respectively. Since the restoring force of the cantilever can be expressed as Fk = −kx, the relation between applied voltage to the probe and the force acting on the cantilever has been estimated in static conditions assuming Fk = Fel. The relation between the applied voltages, VL and VR, and the electrostatic force Fel is then fitted with a 9th degree polynomial.

Heat production evaluation

The work performed on the system along a given trajectory x(t) is given by the integral14,15:

where τp is the protocol time duration, U(x, λ) is the total potential energy of the system and λ is a vector containing all the M control parameters. In our case we have two control parameters, the voltage applied to the piezoelectric stage to control the energy barrier, and the electrostatic forces. To obtain the heat produced Q we have to consider the variation in internal energy, ΔE. Ideally the potential energy at both the bottom wells is the same, however considering asymmetries on the system ΔE can be different from zero. The evaluation of the total energy variation ΔE is obtained from the reconstructed potential energy, U, and the variation of the kinetic energy. The latter quantity is however negligible even for the shortest τp, where the total kinetic energy variation is one order of magnitude lower than QL (1.4 ×10−17 Joule versus 5.3 × 10−16 Joule). Finally the heat produced is obtained from Q = W − ΔE.

Additional Information

How to cite this article: Neri, I. and López-Suárez, M. Heat production and error probability relation in Landauer reset at effective temperature. Sci. Rep. 6, 34039; doi: 10.1038/srep34039 (2016).

References

  1. 1.

    Irreversibility and heat generation in the computing process. IBM journal of research and development 5, 183–191 (1961).

  2. 2.

    et al. Experimental verification of Landauer’s principle linking information and thermodynamics. Nature 483, 187–189 (2012).

  3. 3.

    , & High-precision test of Landauer’s principle in a feedback trap. Physical review letters 113, 190601 (2014).

  4. 4.

    , , & Experimental test of Landauer’s principle in single-bit operations on nanomagnetic memory bits. Science Advances 2 (2016).

  5. 5.

    , & Operating micromechanical logic gates below kBT: Physical vs logical reversibility. In Energy Efficient Electronic Systems (E3S), 2015 Fourth Berkeley Symposium on 1–2 (IEEE, 2015).

  6. 6.

    , & Sub kBT micro electromechanical irreversible logic gate. Nature Communication 7 12068 (2016).

  7. 7.

    , , & Towards zero-power ICT. Nanotechnology 26, 222001 (2015).

  8. 8.

    , & Stochastic switching of cantilever motion. Nature communications 4 (2013).

  9. 9.

    The thermodynamics of computation—a review. International Journal of Theoretical Physics 21, 905–940 (1982).

  10. 10.

    Entropy production fluctuation theorem and the nonequilibrium work relation for free energy differences. Physical Review E 60(3), 2721 (1999).

  11. 11.

    Thermodynamic and logical reversibilities revisited. Journal of Statistical Mechanics: Theory and Experiment 2014(3), P03025 (2014).

  12. 12.

    NanoWorld - AFM tip - PNP-TR-TL - Pyrex-Nitride. . Accessed: 2016-05-30.

  13. 13.

    et al. Recent development in bonded NdFeB magnets. Journal of magnetism and magnetic materials 239, 418–423 (2002).

  14. 14.

    Stochastic thermodynamics, fluctuation theorems and molecular machines. Reports on Progress in Physics 75, 126001 (2012).

  15. 15.

    , , & An experimental test of the Jarzynski equality in a mechanical experiment. EPL (Europhysics Letters) 70, 593 (2005).

Download references

Acknowledgements

The authors gratefully acknowledge useful discussion with L. Gammaitoni. The authors acknowledge financial support from the European Commission (FPVII, Grant agreement no: 318287, LANDAUER and Grant agreement no: 611004, ICT- Energy).

Author information

Author notes

    • Igor Neri
    •  & Miquel López-Suárez

    These authors contributed equally to this work.

Affiliations

  1. NiPS Laboratory, Dipartimento di Fisica e Geologia, Università degli Studi di Perugia, 06123 Perugia, Italy

    • Igor Neri
    •  & Miquel López-Suárez
  2. INFN Sezione di Perugia, via Pascoli, 06123 Perugia, Italy

    • Igor Neri

Authors

  1. Search for Igor Neri in:

  2. Search for Miquel López-Suárez in:

Contributions

M.L.-S. and I.N. designed the experiment, performed the measurements, analyzed the measured data and contributed to the writing of the manuscript.

Competing interests

The authors declare no competing financial interests.

Corresponding authors

Correspondence to Igor Neri or Miquel López-Suárez.

Comments

By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.

Creative Commons BYThis work is licensed under a Creative Commons Attribution 4.0 International License. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in the credit line; if the material is not included under the Creative Commons license, users will need to obtain permission from the license holder to reproduce the material. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/