The connection between logical and thermodynamic irreversibility

Abstract
There has recently been a good deal of controversy about Landauer's Principle, which is often stated as follows: The erasure of one bit of information in a computational device is necessarily accompanied by a generation of kTln2 heat. This is often generalised to the claim that any logically irreversible operation cannot be implemented in a thermodynamically reversible way. John Norton (2005) and Owen Maroney (2005) both argue that Landauer's Principle has not been shown to hold in general, and Maroney offers a method that he claims instantiates the operation Reset in a thermodynamically reversible way. In this paper we defend the qualitative form of Landauer's Principle, and clarify its quantitative consequences (assuming the second law of thermodynamics). We analyse in detail what it means for a physical system to implement a logical transformation L, and we make this precise by defining the notion of an L-machine. Then we show that logical irreversibility of L implies thermodynamic irreversibility of every corresponding L-machine. We do this in two ways. First, by assuming the phenomenological validity of the Kelvin statement of the second law, and second, by using information-theoretic reasoning. We illustrate our results with the example of the logical transformation 'Reset', and thereby recover the quantitative form of Landauer's Principle.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
 
Download options
PhilPapers Archive


Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 9,351
External links
  •   Try with proxy.
  •   Try with proxy.
  • Through your library Configure
    References found in this work BETA
    Charles H. Bennett (2003). Notes on Landauer's Principle, Reversible Computation, and Maxwell's Demon. Studies in History and Philosophy of Science Part B 34 (3):501-510.
    Jeffrey Bub (2001). Maxwell's Demon and the Thermodynamics of Computation. Studies in History and Philosophy of Science Part B 32 (4):569-579.
    J. Earman & D. J. (1998). Exorcist XIV: The Wrath of Maxwell's Demon. Part I. From Maxwell to Szilard. Studies in History and Philosophy of Science Part B 29 (4):435-471.

    View all 7 references

    Citations of this work BETA
    James Ladyman & Katie Robertson (2013). Landauer Defended: Reply to Norton. Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 44 (3):263-271.
    John D. Norton (2013). Author's Reply to Landauer Defended. Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 44 (3):272.
    Similar books and articles
    Analytics

    Monthly downloads

    Added to index

    2009-01-28

    Total downloads

    25 ( #58,686 of 1,088,384 )

    Recent downloads (6 months)

    1 ( #69,601 of 1,088,384 )

    How can I increase my downloads?

    My notes
    Sign in to use this feature


    Discussion
    Start a new thread
    Order:
    There  are no threads in this forum
    Nothing in this forum yet.