In this second part of our two-part paper we review and analyse attempts since 1950 to use information theoretic notions to exorcise Maxwell’s Demon. We argue through a simple dilemma that these attempted exorcisms are ineffective, whether they follow Szilard in seeking a compensating entropy cost in information acquisition or Landauer in seeking that cost in memory erasure. In so far as the Demon is a thermodynamic system already governed by the Second Law, no further supposition about information and entropy (...) is needed to save the Second Law. In so far as the Demon fails to be such a system, no supposition about the entropy cost of information acquisition and processing can save the Second Law from the Demon. (shrink)

This book is an attempt to get to the bottom of an acute and perennial tension between our best scientific pictures of the fundamental physical structure of the ...

The final work of a distinguished physicist, this remarkable volume examines the emotive significance of time, the time order of mechanics, the time direction of thermodynamics and microstatistics, the time direction of macrostatistics, and the time of quantum physics. Coherent discussions include accounts of analytic methods of scientific philosophy in the investigation of probability, quantum mechanics, the theory of relativity, and causality. "[Reichenbach’s] best by a good deal."—Physics Today. 1971 ed.

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 kT ln 2 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. (shrink)

It has become something of a dogma in the philosophy of science that modern cosmology has completed Boltzmann's program for explaining the statistical validity of the Second Law of thermodynamics by providing the low entropy initial state needed to ground the asymmetry in entropic behavior that underwrites our inference about the past. This dogma is challenged on several grounds. In particular, it is argued that it is likely that the Boltzmann entropy of the initial state of the universe is an (...) ill-defined or severely hobbled concept. It is also argued that even if the entropy of the initial state of the universe had a well-defined, low value, this would not suffice to explain why thermodynamics works as well as it does for the kinds of systems we care about. Because the role of Boltzmann entropy in our inferences to the past has been vastly overrated, the failure of the Boltzmann program does not pose a serious problem for our knowledge of the past. But it does call a different explanation of why thermodynamics works as well as it does. A suggestion is offered for a different approach. (shrink)

This essay is the first act of a two-act play. My ultimate aim is to defend a simple proposition: time passes. To be more precise, I want to defend the claim that the passage of time is an intrinsic asymmetry in the structure of space-time itself, an asymmetry that has no spatial counterpart and is metaphysically independent of the material contents of space-time. It is independent, for example, of the entropy gradient of the universe. This view is part of common-sense, (...) but has been widely attacked by philosophers. The passage of time, we are told, is a myth, an illusion, even an incoherent notion. Because the notion that time passes is common sense, it perhaps requires little positive defence; if there are no weighty objections to the view, it ought to be accepted. So the first, and more important, act of the play is defusing the arguments which have been used to cast doubt on the passage of time. I have positive arguments to give, but not having space for them here, I will confine myself to an examination of the common philosophical arguments that have been used to cast doubt on the passage of time. (shrink)

David Albert and Barry Loewer have argued that the temporal asymmetry of our concept of causal influence or control is grounded in the statistical mechanical assumption of a low-entropy past. In this paper I critically examine Albert's and Loewer 's accounts.

Why is the future so different from the past? Why does the past affect the future and not the other way round? The universe began with the Big Bang - will it end with a `Big Crunch'? Now in paperback, this book presents an innovative and controversial view of time and contemporary physics. Price urges physicists, philosophers, and anyone who has ever pondered the paradoxes of time to look at the world from a fresh perspective, and throws fascinating new light (...) on some of the great mysteries of the universe. (shrink)

Landauer’s principle is the loosely formulated notion that the erasure of n bits of information must always incur a cost of k ln n in thermodynamic entropy. It can be formulated as a precise result in statistical mechanics, but for a restricted class of erasure processes that use a thermodynamically irreversible phase space expansion, which is the real origin of the law’s entropy cost and whose necessity has not been demonstrated. General arguments that purport to establish the unconditional validity of (...) the law fail. They turn out to depend on the illicit formation of a canonical ensemble from memory devices holding random data. To exorcise Maxwell’s demon one must show that all candidate devices—the ordinary and the extraordinary—must fail to reverse the second law of thermodynamics. The theorizing surrounding Landauer’s principle is too fragile and too tied to a few specific examples to support such general exorcism. Charles Bennett’s recent extension of Landauer’s principle to the merging of computational paths fails for the same reasons as trouble the original principle. (shrink)

It is generally accepted, following Landauer and Bennett, that the process of measurement involves no minimum entropy cost, but the erasure of information in resetting the memory register of a computer to zero requires dissipating heat into the environment. This thesis has been challenged recently in a two-part article by Earman and Norton. I review some relevant observations in the thermodynamics of computation and argue that Earman and Norton are mistaken: there is in principle no entropy cost to the acquisition (...) of information, but the destruction of information does involve an irreducible entropy cost. (shrink)

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. (shrink)

Landauer's principle, often regarded as the basic principle of the thermodynamics of information processing, 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. Conversely, it is generally accepted that any logically reversible transformation of information can in principle be accomplished by an appropriate physical mechanism operating in a (...) thermodynamically reversible fashion. These notions have sometimes been criticized either as being false, or as being trivial and obvious, and therefore unhelpful for purposes such as explaining why Maxwell's Demon cannot violate the second law of thermodynamics. Here I attempt to refute some of the arguments against Landauer's principle, while arguing that although in a sense it is indeed a straightforward consequence or restatement of the Second Law, it still has considerable pedagogic and explanatory power, especially in the context of other influential ideas in nineteenth and twentieth century physics. Similar arguments have been given by Jeffrey Bub. (shrink)

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 and Owen Maroney 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. 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. (shrink)

Twelve essays explore the philosophy of science in general and the physical sciences in particular A common theme unites all twelve essays: In discussing the ...

Philosophers of physics are very familiar with foundational problems in quantum mechanics and in the theory of relativity. In both fields, the puzzles, if not solved, are at least reasonably well formulated and possess well-characterized solution strategies. Sklar’s book Physics and Chance focuses on a pair of theories, thermodynamics and statistical mechanics, for which puzzles and foundational paradoxes abound, but where there is very little agreement upon the means with which they may best be approached. As he notes in the (...) introduction. (shrink)