Maxwell’s Demon is a thought experiment devised by J. C. Maxwell in 1867 in order to show that the Second Law of thermodynamics is not universal, since it has a counter-example. Since the Second Law is taken by many to provide an arrow of time, the threat to its universality threatens the account of temporal directionality as well. Various attempts to “exorcise” the Demon, by proving that it is impossible for one reason or another, have been made throughout the years, (...) but none of them were successful. We have shown (in a number of publications) by a general state-space argument that Maxwell’s Demon is compatible with classical mechanics, and that the most recent solutions, based on Landauer’s thesis, are not general. In this paper we demonstrate that Maxwell’s Demon is also compatible with quantum mechanics. We do so by analyzing a particular (but highly idealized) experimental setup and proving that it violates the Second Law. Our discussion is in the framework of standard quantum mechanics; we give two separate arguments in the framework of quantum mechanics with and without the projection postulate. We address in our analysis the connection between measurement and erasure interactions and we show how these notions are applicable in the microscopic quantum mechanical structure. We discuss what might be the quantum mechanical counterpart of the classical notion of “macrostates”, thus explaining why our Quantum Demon setup works not only at the micro level but also at the macro level, properly understood. One implication of our analysis is that the Second Law cannot provide a universal lawlike basis for an account of the arrow of time; this account has to be sought elsewhere. (shrink)

Roughly speaking, classical statistical physics is the branch of theoretical physics that aims to account for the thermal behaviour of macroscopic bodies in terms of a classical mechanical model of their microscopic constituents, with the help of probabilistic assumptions. In the last century and a half, a fair number of approaches have been developed to meet this aim. This study of their foundations assesses their coherence and analyzes the motivations for their basic assumptions, and the interpretations of their central concepts. (...) The most outstanding foundational problems are the explanation of time-asymmetry in thermal behaviour, the relative autonomy of thermal phenomena from their microscopic underpinning, and the meaning of probability. A more or less historic survey is given of the work of Maxwell, Boltzmann and Gibbs in statistical physics, and the problems and objections to which their work gave rise. Next, we review some modern approaches to (i) equilibrium statistical mechanics, such as ergodic theory and the theory of the thermodynamic limit; and to (ii) non-equilibrium statistical mechanics as provided by Lanford's work on the Boltzmann equation, the so-called Bogolyubov-Born-Green-Kirkwood-Yvon approach, and stochastic approaches such as `coarse-graining' and the `open systems' approach. In all cases, we focus on the subtle interplay between probabilistic assumptions, dynamical assumptions, initial conditions and other ingredients used in these approaches. (shrink)

It is often said that the world is explained by laws of nature together with initial conditions. But does that mean initial conditions don’t require further explanation? And does the explanatory role played by initial conditions entail or require that time has a preferred direction? This chapter looks at the use of the ‘initialness defence’ in physics, the idea that initial conditions are intrinsically special in that they don’t require further explanation, unlike the state of the world at other times. (...) Such defences commonly assume a primitive directionality of time to distinguish between initial and final conditions. Using the case study of the time-asymmetry of thermodynamics and the so-called ‘past hypothesis’ — the hypothesis that the early universe was in a state of very low entropy —, I outline and support a deflationary account of the initialness defence that does not pre- suppose a basic directionality of time, and argue that there is a relevant explanatory asymmetry between initial conditions and the state of systems at other times only if certain causal conditions are satisfied. Hence, the initialness defence is available to those who reject a fundamental direction of time. (shrink)

The recent surge of interest in the origin of the temporal asymmetry of thermodynamical systems (including the accessible part of the universe itself) has put forward two possible explanatory approaches to this age-old problem. Hereby we show that there is a third possible alternative, based on the generalization of the classical (“Boltzmann–Schuetz”) anthropic fluctuation picture of the origin of the perceived entropy gradient. This alternative (which we dub the Acausal-Anthropic approach) is based on accepting Boltzmann's statistical measure at its face (...) value, and accomodating it within the quantum cosmological concept of the multiverse. We argue that conventional objections raised against the Boltzmann–Schuetz view are less forceful and serious than it is usually assumed. A fortiori, they are incapable of rendering the generalized theory untenable. On the contrary, this analysis highlights some of the other advantages of the multiverse approach to the thermodynamical arrow of time. (shrink)

[Accepted for publication in Lakatos's Undone Work: The Practical Turn and the Division of Philosophy of Mathematics and Philosophy of Science, special issue of Kriterion: Journal of Philosophy. Edited by S. Nagler, H. Pilin, and D. Sarikaya.] Lakatos’s analysis of progress and degeneration in the Methodology of Scientific Research Programmes is well-known. Less known, however, are his thoughts on degeneration in Proofs and Refutations. I propose and motivate two new criteria for degeneration based on the discussion in Proofs and Refutations (...) – superfluity and authoritarianism. I show how these criteria augment the account in Methodology of Scientific Research Programmes, providing a generalized Lakatosian account of progress and degeneration. I then apply this generalized account to a key transition point in the history of entropy – the transition to an information-theoretic interpretation of entropy – by assessing Jaynes’s 1957 paper on information theory and statistical mechanics. (shrink)

In a previous work (M. Campisi. Stud. Hist. Phil. M. P. 36 (2005) 275-290) we have addressed the mechanical foundations of equilibrium thermodynamics on the basis of the Generalized Helmholtz Theorem. It was found that the volume entropy provides a good mechanical analogue of thermodynamic entropy because it satisfies the heat theorem and it is an adiabatic invariant. This property explains the ``equal'' sign in Clausius principle ($S_f \geq S_i$) in a purely mechanical way and suggests that the volume entropy (...) might explain the ``larger than'' sign (i.e. the Law of Entropy Increase) if non adiabatic transformations were considered. Based on the principles of microscopic (quantum or classical) mechanics here we prove that, provided the initial equilibrium satisfy the natural condition of decreasing ordering of probabilities, the expectation value of the volume entropy cannot decrease for arbitrary transformations performed by some external sources of work on a insulated system. This can be regarded as a rigorous quantum mechanical proof of the Second Law. We discuss how this result relates to the Minimal Work Principle and improves over previous attempts. The natural evolution of entropy is towards larger values because the natural state of matter is at positive temperature. Actually the Law of Entropy Decrease holds in artificially prepared negative temperature systems. (shrink)

This paper discusses the mistake of understanding the laws and concepts of thermodynamics too literally in the foundations of statistical mechanics. Arguing that this error is still made in subtle ways, the article explores its occurrence in three examples: the Second Law, the concept of equilibrium and the definition of phase transitions.

This paper investigates what the source of time-asymmetry is in thermodynamics, and comments on the question whether a time-symmetric formulation of the Second Law is possible.

We present a Gedankenexperiment that leads to a violation of detailed balance if quantum mechanical transition probabilities are treated in the usual way by applying Fermi’s “golden rule”. This Gedankenexperiment introduces a collection of two-level systems that absorb and emit radiation randomly through non-reciprocal coupling to a waveguide, as realized in specific chiral quantum optical systems. The non-reciprocal coupling is modeled by a hermitean Hamiltonian and is compatible with the time-reversal invariance of unitary quantum dynamics. Surprisingly, the combination of non-reciprocity (...) with probabilistic radiation processes entails negative entropy production. Although the considered system appears to fulfill all conditions for Markovian stochastic dynamics, such a dynamics violates the Clausius inequality, a formulation of the second law of thermodynamics. Several implications concerning the interpretation of the quantum mechanical formalism are discussed. (shrink)

This paper deals with the dependence of directionality in the course of events-or our claims concerning such directionality-on the modes of description we use in speaking of the events in question. I argue that criteria of similarity and individuation play a crucial role in assessments of directionality. This is an extension of Davidson's claim regarding the difference between causal and explanatory contexts. The argument is based on a characterisation of notions of necessity and contingency that differ from their modal logic (...) counterparts on the one hand, and from causality and chance on the other. I show that some types of directionality are perfectly compatible with both determinism and indeterminism at the microscopic level, and that there is no likelihood of, or advantage to, reducing such directionality to other laws or causal processes. (shrink)

Can Brownian motion arise from a deterministic system of particles? This paper addresses this question by analysing the derivation of Brownian motion as the limit of a deterministic hard-spheres gas with Lanford’s theorem. In particular, we examine the role of the Boltzmann-Grad limit in the loss of memory of the deterministic system and compare this derivation and the derivation of Brownian motion with the Langevin equation.

Nous partageons, au sujet de la nature du temps, l’intuition fondamentale selon laquelle le futur est ouvert tandis que le passé est fermé. Par exemple, alors que nous pensons pouvoir influencer le cours du futur, nous savons qu’aucune de nos actions ne peut influencer le cours du passé. Cependant, bien que cette intuition soit largement partagée, identifier la nature de l’asymétrie qu’elle reflète n’est pas chose aisée. Dans cet article, j’explore différentes manières de caractériser l’asymétrie entre le ‘futur ouvert’ et (...) le ‘passé fermé’ dans le but de rendre justice à notre intuition. En particulier, je discute la question de savoir si cette asymétrie doit être caractérisée de façon sémantique, épistémique, métaphysique ou ontologique. Je conclus que, bien que plusieurs de ces caractérisations contribuent à une compréhension globale du phénomène, une caractérisation ontologique de l’asymétrie doit être préférée, car elle s’avère supérieure en termes de pouvoir explicatif, d’intelligibilité, ainsi que dans sa capacité à inclure différents sens que l’on peut prêter au concept d’ouverture. (shrink)

Intentionalism about visual experiences is the view according to which the phenomenal character of a visual experience supervenes on the content of this experience. One of the most influential objections to this view is about blur: seeing a fuzzy contour clearly and seeing a sharp contour blurrily have different phenomenal character but the same content. I argue that this objection does not work if we understand perceptual content simply, and not particularly controversially, as partly constituted by the sum total of (...) perceptually attributed properties, some determinable, some determinate. (shrink)

Two categories of life are currently recognized—chemosynthetic and photosynthetic—indicating their principal free energy resource as either chemicals or electromagnetic radiation. Building on recent developments in thermodynamics, we posit a third category of life—thermosynthetic life (TL)—which relies on environmental heat rather than traditional free energy sources. Since thermal energy is more abundant than chemicals or light in many settings, thermosynthesis offers compelling evolutionary possibilities for new life forms. Based on variants of standard cellular machinery, a physical model is proposed for the (...) conversion of thermal energy into biochemical work. Conditions favorable to thermosynthetic life and prospects for its discovery are assessed. Terrestrially, deep-subsurface unicellular anaerobic superthermophiles are deduced to be likely TL candidates. (shrink)

. The origin and history of Landauer’s principle is traced through the development of the thermodynamics of computation at IBM from 1959 to 1982. This development was characterized by multiple conceptual shifts: memory came to be seen not as information storage, but as delayed information transmission; information itself was seen not as a disembodied logical entity, but as participating in the physical world; and logical irreversibility was connected with physical, thermodynamic, irreversibility. These conceptual shifts were characterized by an ambivalence opposing (...) strong metaphysical claims to practical considerations. Three sorts of practical considerations are discussed. First, these conceptual shifts engaged materials central to IBM’s business practice. Second, arguments for metaphysical certainties were made with reference to the practical functioning of typical computers. Third, arguments for metaphysical certainties were made in the context of establishing the thermodynamics of information as a sub-discipline of physics. (shrink)

In Boltzmannian statistical mechanics macro-states supervene on micro-states. This leads to a partitioning of the state space of a system into regions of macroscopically indistinguishable micro-states. The largest of these regions is singled out as the equilibrium region of the system. What justifies this association? We review currently available answers to this question and find them wanting both for conceptual and for technical reasons. We propose a new conception of equilibrium and prove a mathematical theorem which establishes in full generality (...) -- i.e. without making any assumptions about the system's dynamics or the nature of the interactions between its components -- that the equilibrium macro-region is the largest macro-region. We then turn to the question of the approach to equilibrium, of which there exists no satisfactory general answer so far. In our account, this question is replaced by the question when an equilibrium state exists. We prove another -- again fully general -- theorem providing necessary and sufficient conditions for the existence of an equilibrium state. This theorem changes the way in which the question of the approach to equilibrium should be discussed: rather than launching a search for a crucial factor, the focus should be on finding triplets of macro-variables, dynamical conditions, and effective state spaces that satisfy the conditions of the theorem. (shrink)

Boltzmannian statistical mechanics partitions the phase space of a sys- tem into macro-regions, and the largest of these is identified with equilibrium. What justifies this identification? Common answers focus on Boltzmann’s combinatorial argument, the Maxwell-Boltzmann distribution, and maxi- mum entropy considerations. We argue that they fail and present a new answer. We characterise equilibrium as the macrostate in which a system spends most of its time and prove a new theorem establishing that equilib- rium thus defined corresponds to the largest (...) macro-region. Our derivation is completely general in that it does not rely on assumptions about a system’s dynamics or internal interactions. (shrink)

This paper examines some common measures of complexity, structure, and information, with an eye toward understanding the extent to which complexity or information‐content may be regarded as objective properties of individual objects. A form of contextual objectivity is proposed which renders the measures objective, and which largely resolves the puzzle of Maxwell's Demon.

Every process studied in any science other than physics defines an arrow of time – to say nothing for the directedness of the processes of causation, inference, memory, control, and counterfactual dependence that occur in everyday life. The discussion in this chapter is confined to the arrow of time as it occurs in physics. The chapter briefly discusses those features of microscopic physics, which seem to conflict with time asymmetry. It explains just how this conflict plays out in the important (...) context of thermodynamics and statistical mechanics. The chapter then reviews the main strategies available for resolving the conflict between reversible microdynamics and irreversible macrodynamics, working within the context of the quantitative, time‐irreversible evolution laws that seem to apply to large‐scale phenomena. Finally, it offers a broad the discussion covering other arrows of time within physics. (shrink)

The reversibility problem (better known as the reversibility objection) is usually taken to be an internal problem in the kinetic theory of gases, namely the problem of how to account for the second law of thermodynamics within this theory. Historically, it is seen as an objection that was raised against Boltzmann's kinetic theory of gases, which led Boltzmann to a statistical approach to the kinetic theory, culminating in the development of statistical mechanics. In this paper, I show that in the (...) late nineteenth century, the reversibility problem had a much broader significance - it was widely discussed and certainly not only as an objection to Boltzmann's kinetic theory of gases. In this period, there was a conflict between mechanism and irreversibility in physics which was tied up with central issues in philosophy of science such as materialism, empiricism and the need for mechanistic foundations of physical theories, as well as with concerns about the heat death of the universe. I discuss how this conflict was handled by the major physicists of the period, such as Maxwell, Kelvin, Duhem, Poincaré, Mach and Planck, as well as by a number of lesser-known authors. (shrink)

This paper discusses an argument by Norton to the effect that reversible processes in thermodynamics have paradoxical character, due to the infinite-time limit. For Norton, one can “dispel the fog of paradox” by adopting a distinction between idealizations and approximations, which he himself puts forward. Accordingly, reversible processes ought to be regarded as approximations, rather than idealizations. Here, we critically assess his proposal. In doing so, we offer a resolution of his alleged paradox based on the original work by Tatiana (...) Ehrenfest-Afanassjeva on the foundations of thermodynamics. (shrink)

The special composition question, which asks under which conditions objects compose a further object, establishes a central debate in modern metaphysics. Recent successes of inductive metaphysics, which studies the implications of the natural sciences for metaphysical problems, suggest that insights into the SCQ can be gained by investigating the physics of composite systems. In this work, I show that the minus first law of thermodynamics, which is concerned with the approach to equilibrium, leads to a new approach to the SCQ, (...) the thermodynamic composition principle : Multiple systems in thermal contact compose a single system. This principle, which is justified based on a systematic classification of possible mereological models for thermodynamic systems, might form the basis of an inductive argument for universalism. A formal analysis of the TCP is provided on the basis of mereotopology, which is a combination of mereology and topology. Here, “thermal contact” can be analyzed using the mereotopological predicate “self-connectedness”. Self-connectedness has to be defined in terms of mereological sums to ensure that scattered objects cannot be self-connected. (shrink)

Is there anything more to temperature than the ordering of things from colder to hotter? Are there also facts, for example, about how much hotter (twice as hot, three times as hot...) one thing is than another? There certainly are---but the only strong justification for this claim comes from statistical mechanics. What we knew about temperature before the advent of statistical mechanics (what we knew about it from thermodynamics) provided only weak reasons to believe it.

Information, entropy, probability: these three terms are closely interconnected in the prevalent understanding of statistical mechanics, both when this field is taught to students at an introductory level and in advanced research into the field’s foundations. This paper examines the interconnection between these three notions in light of recent research in the foundations of statistical mechanics. It disentangles these concepts and highlights their differences, at the same time explaining why they came to be so closely linked in the literature. In (...) the literature the term ‘information’ is often linked to entropy and probability in discussions of Maxwell’s Demon and its attempted exorcism by the Landauer-Bennett thesis, and in analyses of the spin echo experiments. The direction taken in the present paper is a different one. Here we discuss the statistical mechanical underpinning of the notions of probability and entropy, and this constructive approach shows that information plays no fundamental role in these concepts, although it can be conveniently used in a sense that we shall specify. (shrink)

Statistical mechanics is the name of the ongoing attempt to explain and predict certain phenomena, above all those described by thermodynamics on the basis of the fundamental theories of physics, in particular mechanics, together with certain auxiliary assumptions. In another paper in this journal, Foundations of statistical mechanics: Mechanics by itself, I have shown that some of the thermodynamic regularities, including the probabilistic ones, can be described in terms of mechanics by itself. But in order to prove those regularities, in (...) particular the time asymmetric ones, it is necessary to add to mechanics assumptions of three kinds, all of which are under debate in contemporary literature. One kind of assumptions concerns measure and probability, and here, a major debate is around the notion of “typicality.” A second assumption concerns initial conditions, and here, the debate is about the nature and status of the so-called past hypothesis. The third kind of assumptions concerns the dynamics, and here, the possibility and significance of “Maxwell's Demon” is the main topic of discussions. This article describes these assumptions and examines the justification for introducing them, emphasizing the contemporary debates around them. (shrink)

The search for the statistical mechanical underpinning of thermodynamic irreversibility has so far focussed on the spontaneous approach to equilibrium. But this is the search for the underpinning of what Brown and Uffink have dubbed the ‘minus first law’ of thermodynamics. In contrast, the second law tells us that certain interventions on equilibrium states render the initial state ‘irrecoverable’. In this article, I discuss the unusual nature of processes in thermodynamics, and the type of irreversibility that the second law embodies. (...) I then search for the microscopic underpinning or statistical mechanical ‘reductive basis’ of the second law of thermodynamics by taking a functionalist strategy. First, I outline the functional role of the thermodynamic entropy: for a thermally isolated system, the thermodynamic entropy is constant in quasi-static processes, but increasing in non-quasi-static processes. I then search for the statistical mechanical quantity that plays this role—rather than the role of the traditional ‘holy grail’ as described by Callender. I argue that in statistical mechanics, the Gibbs entropy plays this role. (shrink)

This paper investigates Jaynes’ “unbelievably short proof” of the 2nd law of thermodynamics. It assesses published criticisms of the proof and concludes that these criticisms miss the mark by demanding results that either import expectations of a proof not consistent with an information-theoretic approach, or would require assumptions not employed in the proof itself, as it looks only to establish a weaker conclusion. Finally, a weakness in the proof is identified and illustrated. This weakness stems from the fact the Jaynes’ (...) assumption of unitary evolution is too strong given his perspective, rather than too weak to provide the desired results. (shrink)

Standard descriptions of thermodynamically reversible processes attribute contradictory properties to them: they are in equilibrium yet still change their state. Or they are comprised of non-equilibrium states that are so close to equilibrium that the difference does not matter. One cannot have states that both change and no not change at the same time. In place of this internally contradictory characterization, the term “thermodynamically reversible process” is here construed as a label for a set of real processes of change involving (...) only non-equilibrium states. The properties usually attributed to a thermodynamically reversible process are recovered as the limiting properties of this set. No single process, that is, no system undergoing change, equilibrium or otherwise, carries those limiting properties. The paper concludes with an historical survey of characterizations of thermodynamically reversible processes and a critical analysis of their shortcomings. (shrink)

1. Approximations of arbitrarily large but finite systems are often mistaken for infinite idealizations in statistical and thermal physics. The problem is illustrated by thermodynamically reversible processes. They are approximations of processes requiring arbitrarily long, but finite times to complete, not processes requiring an actual infinity of time.2. The present debate over whether phase transitions comprise a failure of reduction is confounded by a confusion of two senses of “level”: the molecular versus the thermodynamic level and the few component versus (...) the many component level. (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)

Review of Stefano Bordoni, Taming Complexity: Duhem’s Third Pathway to Thermodynamcis, Editrice Montefeltro, Urbino, 2012.

The problem of the irreversibility’s origin in thermodynamic processes occupies a distinguished place among many and lasting attempts by researchers to derive irreversibility from molecular-mechanical principles. However, this problem is still open and no universally accepted solution may be given during any course. In this paper, I shall try to show that the examining of Maxwell’s demon thought experiment may provide insight into the difficulties that emerge, looking for this origin because: (i) it is connected with the notion of irreversibility, (...) and (ii) one of its functions is that of the “reversibility objection.” In order to illustrate this point, I study Boltzmann’s approach to the problem of a molecular-mechanical interpretation of irreversibility and I show that an auxiliary assumption (the selected direction of time) is responsible for producing irreversibility. But this result is accordant with the predictions of Maxwell’s demon thought experiment: the assumptions of this kind are not dictated by molecular-mechanical principles but are separate input in the model-systems used. (shrink)

The problem of the irreversibility's origin in thermodynamic processes occupies a distinguished place among many and lasting attempts by researchers to derive irreversibility from molecular-mechanical principles. However, this problem is still open and no universally accepted solution may be given during any course. In this paper, I shall try to show that the examining of Maxwell's demon thought experiment may provide insight into the difficulties that emerge, looking for this origin because: it is connected with the notion of irreversibility, and (...) one of its functions is that of the "reversibility objection." In order to illustrate this point, I study Boltzmann's approach to the problem of a molecular-mechanical interpretation of irreversibility and I show that an auxiliary assumption is responsible for producing irreversibility. But this result is accordant with the predictions of Maxwell's demon thought experiment: the assumptions of this kind are not dictated by molecular-mechanical principles but are separate input in the model-systems used. (shrink)

If the density matrix is treated as an objective description of individual systems, it may become possible to attribute the same objective significance to statistical mechanical properties, such as entropy or temperature, as to properties such as mass or energy. It is shown that the de Broglie--Bohm interpretation of quantum theory can be consistently applied to density matrices as a description of individual systems. The resultant trajectories are examined for the case of the delayed choice interferometer, for which Bell [Int. (...) J. Quantum chem. 155--159, (1980)] appears to suggest that such an interpretation is not possible. Bell’s argument is shown to be based upon a different understanding of the density matrix to that proposed here. (shrink)

I highlight that the aim of using statistical mechanics to underpin irreversible processes is, strictly speaking, ambiguous. Traditionally, however, the task of underpinning irreversible processes has been thought to be synonymous with underpinning the Second Law of thermodynamics. I claim that contributors to the foundational discussion are best interpreted as aiming to provide a microphysical justification of the Minus First Law, despite the ways their aims are often stated. I suggest that contributors should aim at accounting for both the Minus (...) First Law and Second Law. (shrink)

When considering controversial thermodynamic scenarios such as Maxwell's demon, it is often necessary to consider probabilistic mixtures of states. This raises the question of how, if at all, to assign entropy to them. The information-theoretic entropy is often used in such cases; however, no general proof of the soundness of doing so has been given, and indeed some arguments against doing so have been presented. We offer a general proof of the applicability of the information-theoretic entropy to probabilistic mixtures of (...) macrostates, making clear the assumptions on which it depends, in particular a probabilistic version of the Kelvin statement of the Second Law. We briefly discuss the interpretation of our result. (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)

Ladyman, Presnell, and Short proposed a model of the implementation of logical operations by physical processes in order to clarify the exact statement of Landauer's Principle, and then offered a new proof of the latter based on the construction of a thermodynamic cycle, arguing that if Landauer's Principle were false it would be possible to harness a machine that violated it to produce a violation of the second law of thermodynamics. In a recent paper in this journal, John Norton directly (...) challenges the consistency of that proof. In the present paper we defend the proof given by Ladyman et al. against his critique. In particular, contrary to what Norton claims, we argue that the processes used in the proof cannot be used to construct a cycle that enacts erasure in a thermodynamically reversible way, and that he does not show that the processes used in the proof violate the Second Law of Thermodynamics. (shrink)

The relationship between statistical mechanics and population genetics has a long history. Both take advantage of statistics to address the behavior of large groups of entities. The main objective of this article is to assess the obstacles population genetics is meeting in its claim to explain biological phenomena from the conceptual apparatus of statistical mechanics according to two recent articles. Several tools available to the latter are missing in the former. Thus, in the absence of an adequate justification of the (...) relevance of the analogy and without the satisfaction of certain basic assumptions, I argue that the explanatory strategy of the analogously based model is seriously compromised. La relation entre mécanique statistique et génétique des populations a une longue histoire. À l’instar de la première, la seconde tire profit des statistiques afin de traiter le comportement des grands ensembles d’entités. L’objectif principal du présent article est d’identifier les obstacles que rencontre la génétique des populations dans sa prétention d’explication des phénomènes biologiques à partir de l’appareillage conceptuel de la mécanique statistique selon deux articles récents. Or, plusieurs outils dont dispose cette dernière manque à la première. Ainsi, en l’absence d’une justification adéquate de la pertinence de l’analogie et sans la satisfaction de certaines hypothèses fondamentales, je soutiens que la stratégie explicative du modèle analogue est sérieusement compromise. (shrink)

There is a widely extended viewpoint about physical possibility, what we will call Standard Approach, which holds that the physically possible is delimited by the nomological structure of physical theories: to be physically possible is to be in accordance with the physical laws, to be physically impossible is to be prohibited by physical laws and to be physically necessary is to be demanded by the physical laws. However, it is possible to show that this approach is too relaxed and permissive (...) when it comes to collecting and systematizing many of the modal intuitions present in the physical community. In this work we will argue, on the one hand, that the notion of physical possibility is more complex and richer than suggested by the standard approach and, on the other hand, that it is necessary to add some extra elements to the characterization of physical possibility in order to that it is adequate in scientific contexts. (shrink)

It is commonly thought that there is some tension between the second law of thermodynam- ics and the time reversal invariance of the microdynamics. Recently, however, Jos Uffink has argued that the origin of time reversal non-invariance in thermodynamics is not in the second law. Uffink argues that the relationship between the second law and time reversal invariance depends on the formulation of the second law. He claims that a recent version of the second law due to Lieb and Yngvason (...) allows irreversible processes, yet is time reversal invariant. In this paper, I attempt to spell out the traditional argument for incompatibility between the second law and time reversal invariant dynamics, making the assumptions on which it depends explicit. I argue that this argument does not vary with different versions of the second law and can be formulated for Lieb and Yngvason's version as for other versions. Uffink's argument regarding time reversal invariance in Lieb and Yngvason is based on a certain symmetry of some of their axioms. However, these axioms do not constitute the full expression of the second law in their system. (shrink)