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.
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.
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 T ∝ 8. 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.
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.
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:
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.
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%.
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.
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(ω)|.
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
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.
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).
Landauer, R. Irreversibility and heat generation in the computing process. IBM journal of research and development 5, 183–191 (1961).
Bérut, A. et al. Experimental verification of Landauer’s principle linking information and thermodynamics. Nature 483, 187–189 (2012).
Jun, Y., Gavrilov, M. & Bechhoefer, J. High-precision test of Landauer’s principle in a feedback trap. Physical review letters 113, 190601 (2014).
Hong, J., Lambson, B., Dhuey, S. & Bokor, J. Experimental test of Landauer’s principle in single-bit operations on nanomagnetic memory bits. Science Advances 2 (2016).
Lopez-Suarez, M., Neri, I. & Gammaitoni, L. 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).
Lopez-Suarez, M., Neri, I. & Gammaitoni, L. Sub kBT micro electromechanical irreversible logic gate. Nature Communication 7 12068 (2016).
Gammaitoni, L., Chiuchiú, D., Madami, M. & Carlotti, G. Towards zero-power ICT. Nanotechnology 26, 222001 (2015).
Venstra, W. J., Westra, H. J. & van der Zant, H. S. Stochastic switching of cantilever motion. Nature communications 4 (2013).
Bennett, C. H. The thermodynamics of computation—a review. International Journal of Theoretical Physics 21, 905–940 (1982).
Crooks, Gavin E. Entropy production fluctuation theorem and the nonequilibrium work relation for free energy differences. Physical Review E 60(3), 2721 (1999).
Sagawa, T. Thermodynamic and logical reversibilities revisited. Journal of Statistical Mechanics: Theory and Experiment 2014(3), P03025 (2014).
NanoWorld - AFM tip - PNP-TR-TL - Pyrex-Nitride. http://www.nanoworld.com/pyrex-nitride-triangular-silicon-nitride-tipless-cantilever-afm-tip-pnp-tr-tl. Accessed: 2016-05-30.
Ma, B. et al. Recent development in bonded NdFeB magnets. Journal of magnetism and magnetic materials 239, 418–423 (2002).
Seifert, U. Stochastic thermodynamics, fluctuation theorems and molecular machines. Reports on Progress in Physics 75, 126001 (2012).
Douarche, F., Ciliberto, S., Petrosyan, A. & Rabbiosi, I. An experimental test of the Jarzynski equality in a mechanical experiment. EPL (Europhysics Letters) 70, 593 (2005).
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).
The authors declare no competing financial interests.
About this article
Cite this article
Neri, I., López-Suárez, M. Heat production and error probability relation in Landauer reset at effective temperature. Sci Rep 6, 34039 (2016). https://doi.org/10.1038/srep34039