Landauer's principle

From Infogalactic: the planetary knowledge core
Jump to: navigation, search

Landauer's principle, first argued in 1961[1] by Rolf Landauer of IBM, is a physical principle pertaining to the lower theoretical limit of energy consumption of computation. It holds that "any logically irreversible manipulation of information, such as the erasure of a bit or the merging of two computation paths, must be accompanied by a corresponding entropy increase in non-information-bearing degrees of freedom of the information-processing apparatus or its environment". (Bennett 2003)[2]

Landauer's principle asserts that there is a minimum possible amount of energy required to erase one bit of information, known as the Landauer limit:

kT ln 2,

where k is the Boltzmann constant (approximately 1.38×10−23 J/K), T is the temperature of the circuit in kelvins, and ln 2 is the natural logarithm of 2 (approximately 0.69315).

Another way of phrasing Landauer's principle is that if an observer loses information about a physical system, the observer loses the ability to extract work from that system.

At 20 °C (room temperature, or 293.15 K), the Landauer limit represents an energy of approximately 0.0172 eV, or 2.75 zJ. Theoretically, room‑temperature computer memory operating at the Landauer limit could be changed at a rate of one billion bits per second with only 2.85 trillionths of a watt of power being expended in the memory media. Modern computers use millions of times as much energy.[3][4][5]

If no information is erased, computation may in principle be achieved which is thermodynamically reversible, and require no release of heat. This has led to considerable interest in the study of reversible computing.

Recently, physical experiments have tested Landauer's principle and confirmed its predictions.[6][7]

Rationale

Landauer's principle can be understood to be a simple logical consequence of the second law of thermodynamics—which states that the entropy of an isolated system cannot decrease—together with the definition of thermodynamic temperature. For, if the number of possible logical states of a computation were to decrease as the computation proceeded forward (logical irreversibility), this would constitute a forbidden decrease of entropy, unless the number of possible physical states corresponding to each logical state were to simultaneously increase by at least a compensating amount, so that the total number of possible physical states was no smaller than originally (total entropy has not decreased).

Yet, an increase in the number of physical states corresponding to each logical state means that, for an observer who is keeping track of the logical state of the system but not the physical state (for example an "observer" consisting of the computer itself), the number of possible physical states has increased; in other words, entropy has increased from the point of view of this observer. The maximum entropy of a bounded physical system is finite. (If the holographic principle is correct, then physical systems with finite surface area have a finite maximum entropy; but regardless of the truth of the holographic principle, quantum field theory dictates that the entropy of systems with finite radius and energy is finite.)[citation needed] So, to avoid reaching this maximum over the course of an extended computation, entropy must eventually be expelled to an outside environment at some given temperature T, requiring that energy E = ST must be emitted into that environment if the amount of added entropy is S. For a computational operation in which 1 bit of logical information is lost, the amount of entropy generated is at least k ln 2, and so, the energy that must eventually be emitted to the environment is EkT ln 2.

This expression for the minimum energy dissipation from a logically irreversible binary operation was first suggested by John von Neumann, but it was first rigorously justified (and with important limits to its applicability stated) by Landauer. For this reason, it is sometimes referred to as being simply the Landauer bound or Landauer limit.

Challenges

The principle is widely accepted as physical law; but in recent years it has been challenged by several individuals, notably in Earman and Norton (1998), and subsequently in Shenker (2000)[8] and Norton (2004,[9] 2011[10]), and defended by Bennett (2003)[2] and Ladyman et al. (2007).[11]

Further, there is theoretical work showing that there can be information erasure at no energy cost[12] (instead, the cost can be taken in another conserved quantity like angular momentum). A point of this work is a broader principle regarding the fact that information erasure cannot happen without an increase in entropy, whether or not energy is expended.

In a 2012 article published in Nature, a team of physicists from the Ecole Normale Supérieure de Lyon, University of Augsburg and the University of Kaiserslautern described that for the first time they have measured the tiny amount of heat released when an individual bit of data is erased.[6]

See also

References

  1. Lua error in package.lua at line 80: module 'strict' not found.
  2. 2.0 2.1 Lua error in package.lua at line 80: module 'strict' not found.
  3. Lua error in package.lua at line 80: module 'strict' not found.
  4. Lua error in package.lua at line 80: module 'strict' not found.
  5. Lua error in package.lua at line 80: module 'strict' not found.
  6. 6.0 6.1 Lua error in package.lua at line 80: module 'strict' not found.
  7. Lua error in package.lua at line 80: module 'strict' not found.
  8. Logic and Entropy Critique by Orly Shenker (2000)
  9. Eaters of the Lotus Critique by John Norton (2004)
  10. Waiting for Landauer Response by Norton (2011)
  11. The Connection between Logical and Thermodynamic Irreversibility Defense by Ladyman et al. (2007)
  12. Lua error in package.lua at line 80: module 'strict' not found.

External links