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)

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)

Ultrasociality refers to the social organization of a few species, including humans and some social insects, having a complex division of labor, city-states, and an almost exclusive dependence on agriculture for subsistence. We argue that the driving forces in the evolution of these ultrasocial societies were economic. With the agricultural transition, species could directly produce their own food and this was such a competitive advantage that those species now dominate the planet. Once underway, this transition was propelled by the selection (...) of within-species groups that could best capture the advantages of actively managing the inputs to food production, a more complex division of labor, and increasing returns to larger scale and larger group size. Together these factors reoriented productive life and radically altered the structure of these societies. Once agriculture began, populations expanded as these economic drivers opened up new opportunities for the exploitation of resources and the active management of inputs to food production. With intensified group-level competition, larger populations and intensive resource exploitation became competitive advantages, and the “social conquest of Earth” was underway. Ultrasocial species came to dominate the earth's ecosystems. Ultrasociality also brought a loss of autonomy for individuals within the group. We argue that exploring the common causes and consequences of ultrasociality in humans and the social insects that adopted agriculture can provide fruitful insights into the evolution of complex human society. (shrink)