There are two main theoretical frameworks in statistical mechanics, one associated with Boltzmann and the other with Gibbs. Despite their well-known differences, there is a prevailing view that equilibrium values calculated in both frameworks coincide. We show that this is wrong. There are important cases in which the Boltzmannian and Gibbsian equilibrium concepts yield different outcomes. Furthermore, the conditions under which equilibriums exists are different for Gibbsian and Boltzmannian statistical mechanics. There are, however, special circumstances under which it is true (...) that the equilibrium values coincide. We prove a new theorem providing sufficient conditions for this to be the case. (shrink)

Statistical mechanics is a strange theory. Its aims are debated, its methods are contested, its main claims have never been fully proven, and their very truth is challenged, yet at the same time, it enjoys huge empirical success and gives us the feeling that we understand important phenomena. What is this weird theory, exactly? Statistical mechanics is the name of the ongoing attempt to apply mechanics, together with some auxiliary hypotheses, to explain and predict certain phenomena, above all those described (...) by thermodynamics. This paper shows what parts of this objective can be achieved with mechanics by itself. It thus clarifies what roles remain for the auxiliary assumptions that are needed to achieve the rest of the desiderata. Those auxiliary hypotheses are described in another paper in this journal, Foundations of statistical mechanics: The auxiliary hypotheses. (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)

I prove a theorem on the precise connection of the time and phase-space average of the Boltzmann equilibrium showing that the behaviour of a dynamical system with a stationary measure and a dominant equilibrium state is qualitatively ergodic. Explicitly, I show that given a dynamical system with a stationary measure and a region of overwhelming phase-space measure, almost all trajectories spend almost all of their time in that region. Conversely, given that almost all trajectories spend almost all of their time (...) in a certain region, that region is of overwhelming phase-space measure. In total, the time and phase-space average of the equilibrium state approximately coincide. Consequently, equilibrium can be defined equivalently in terms of the time or the phase-space average. Moreover, since the two averages are almost equal, the behaviour of the system is essentially ergodic. While this does not explain the approach to equilibrium, it provides a means to estimate the fluctuation rates. (shrink)

Charlotte Werndl and Roman Frigg discuss the relationship between the Boltzmannian and Gibbsian framework of statistical mechanics, addressing, in particular, the question when equilibrium values calculated in both frameworks agree. This note points out conceptual confusions that could arise from their discussion, concerning, in particular, the authors’ use of “Boltzmann equilibrium.” It also clarifies the status of the Khinchin condition for the equivalence of Boltzmannian and Gibbsian equilibrium predictions and shows that it follows, under the assumptions proposed by Werndl and (...) Frigg, from standard arguments in probability theory. (shrink)

Can the second law of thermodynamics explain our mental experience of the direction of time? According to an influential approach, the past hypothesis of universal low entropy also explains how the psychological arrow comes about. We argue that although this approach has many attractive features, it cannot explain the psychological arrow after all. In particular, we show that the past hypothesis is neither necessary nor sufficient to explain the psychological arrow on the basis of current physics. We propose two necessary (...) conditions on the workings of the brain that any account of the psychological arrow of time must satisfy. And we propose a new reductive physical account of the psychological arrow of time compatible with time-symmetric physics, according to which these two conditions are also sufficient. Our proposal has some radical implications, for example, that the psychological arrow of time is fundamental, whereas the temporal direction of entropy increase in the second law of thermodynamics and the past hypothesis is derived from it, rather than the other way around. 1Introduction2A Physical Account of the Psychological Arrow of Time3Necessary Conditions for the Psychological Arrow of Time4The Psychological Arrow of Time via the Second Law of Thermodynamics and the Past Hypothesis5Why the Past Hypothesis Is Insufficient for the Psychological Arrow of Time5.1Stage 1, Version 1: From the past hypothesis to the psychological arrow via typicality5.2Stage 1, Version 2: From the past hypothesis to the psychological arrow via dynamical or causal considerations5.3Stage 2: From entropy gradient in the brain to the psychological arrow of time6Why the Past Hypothesis Is Unnecessary for the Psychological Arrow of Time7A New Reductive Account of the Psychological Arrow of Time. (shrink)

I argue that there are two distinct approaches to understanding reduction: the ontology-first approach and the theory-first approach. They concern the relation between ontological reduction and inter-theoretic reduction. Further, I argue for the significance of this distinction by demonstrating that either one or the other approach has been taken as an implicit assumption in, and has in fact shaped, our understanding of what statistical mechanics is. More specifically, I argue that the Boltzmannian framework of statistical mechanics assumes and relies on (...) the ontology-first approach, whereas the Gibbsian framework should assume the theory-first approach. -/- . (shrink)

Thermodynamic macro variables, such as the temperature or volume macro variable, can take on a continuum of allowable values, called thermodynamic macro values. Although referring to the same macro phenomena, the macro variables of Boltzmannian Statistical Mechanics (BSM) differ from thermodynamic macro variables in an important respect: within the framework of BSM the evolution of macro values of systems with finite available phase space is invariably modelled as discontinuous, due to the method of partitioning phase space into macro regions with (...) sharp, fixed boundaries. Conceptually, this is at odds with the continuous evolution of macro values as described by thermodynamics, as well as with the continuous evolution of the micro state assumed in BSM. This discrepancy I call the discontinuity problem. I show how it arises from BSM’s framework and demonstrate its consequences, in particular for the foundational project of reducing thermodynamics to BSM: thermodynamic macro values are shown to not supervene on the corresponding BSM macro values. With supervenience being a conditio sine qua non for the kind of reduction envisaged by the foundational project, the latter is in jeopardy. (shrink)

Why is gauge symmetry so important in modern physics, given that one must eliminate it when interpreting what the theory represents? In this paper we discuss the sense in which gauge symmetry can be fruitfully applied to constrain the space of possible dynamical models in such a way that forces and charges are appropriately coupled. We review the most well-known application of this kind, known as the 'gauge argument' or 'gauge principle', discuss its difficulties, and then reconstruct the gauge argument (...) as a valid theorem in quantum theory. We then present what we take to be a better and more general gauge argument, based on Noether's second theorem in classical Lagrangian field theory, and argue that this provides a more appropriate framework for understanding how gauge symmetry helps to constrain the dynamics of physical theories. (shrink)

Equilibrium is a central concept of statistical mechanics. In previous work we introduced the notions of a Boltzmannian alpha-epsilon-equilibrium and a Boltzmannian gamma-epsilon-equilibrium. This was done in a deterministic context. We now consider systems with a stochastic micro-dynamics and transfer these notions from the deterministic to the stochastic context. We then prove stochastic equivalents of the Dominance Theorem and the Prevalence Theorem. This establishes that also in stochastic systems equilibrium macro-regions are large in requisite sense.

The so-called ergodic hierarchy (EH) is a central part of ergodic theory. It is a hierarchy of properties that dynamical systems can possess. Its five levels are egrodicity, weak mixing, strong mixing, Kolomogorov, and Bernoulli. Although EH is a mathematical theory, its concepts have been widely used in the foundations of statistical physics, accounts of randomness, and discussions about the nature of chaos. We introduce EH and discuss how its applications in these fields.

This thesis develops a detailed account of the emergence of for all practical purposes continuous, quasi-classical world histories from the discontinuous, stochastic micro dynamics of Minimal Bohmian Mechanics (MBM). MBM is a non-relativistic quantum theory. It results from excising the guiding equation from standard Bohmian Mechanics (BM) and reinterpreting the quantum equilibrium hypothesis as a stochastic guidance law for the random actualization of configurations of Bohmian particles. On MBM, there are no continuous trajectories linking up individual configurations. Instead, individual configurations (...) are actualized independently of each other, carving out the decoherence-induced branching structure of the universal wave function. Yet, by contrast to the Everett interpretation, branches of the universal wave function are not actualized in parallel, i.e. all at the same time. Rather, world branches, on MBM, are actualized sequentially. -/- For an introduction to MBM, the transition from BM to MBM is described, and their empirical equivalence is established. I present the conditions under which MBM can be classified as a primitive ontology (PO) theory, regarded as crucial for the acceptance of a theory as Bohmian by many proponents of BM. While rendering MBM compatible with the PO approach, it must not fall prey to the problem of communication, arising from the two-space reading of BM. -/- The issue of temporal solipsism, identified by Bell as a serious problem for his “Everett (?) theory” – the historic predecessor of MBM – is discussed. I argue that Barbour’s time capsule approach does not provide a satisfactory solution. In particular, his adopting a more than minimal psychophysical parallelism between brain processes and experience of macroscopic change is argued to be reasonable in light of our current best neuroscience, yet problematic for theories relying solely on time capsules, understood as highly structured, individual, internally static configurations. As a solution, I introduce worlds, and world histories, as key concepts in providing a link between MBM’s micro dynamics and macroscopic phenomena. Worlds, other than time capsules, are coarse-grained regions in phase- or configuration space, defined as sets of possible micro states satisfying a relation of sufficient similarity from a macroscopic perspective, with respect to a given micro state. Hence, worlds may overlap. -/- I argue that worlds thus construed are a reasonable option for replacing the disjoint macro regions of phase space, resulting from the usual way of partitioning phase space in the standard framework of Boltzmannian statistical mechanics. This move solves the issue of discontinuous change of macro variables upon the micro state crossing the boundary between different macro regions. -/- I adapt this move for MBM’s discontinuous micro dynamics in configuration space. Issues revolving around the microscopic-macroscopic distinction, particle identity, impenetrability and haecceity in light of the desideratum of particle number conservation, etc., are discussed. I provide a detailed explanation of how overlapping worlds in MBM form world histories, thereby linking up macroscopically distinct worlds. Thus, the problem of temporal solipsism is resolved in a way that is compatible with a more than minimal psychophysical parallelism. (shrink)

The received wisdom in statistical mechanics is that isolated systems, when left to themselves, approach equilibrium. But under what circumstances does an equilibrium state exist and an approach to equilibrium take place? In this paper we address these questions from the vantage point of the long-run fraction of time definition of Boltzmannian equilibrium that we developed in two recent papers. After a short summary of Boltzmannian statistical mechanics and our definition of equilibrium, we state an existence theorem which provides general (...) criteria for the existence of an equilibrium state. We first illustrate how the theorem works with a toy example, which allows us to illustrate the various elements of the theorem in a simple setting. After a look at the ergodic programme, we discuss equilibria in a number of different gas systems: the ideal gas, the dilute gas, the Kac gas, the stadium gas, the mushroom gas and the multi-mushroom gas. In the conclusion we briefly summarise the main points and highlight open questions. (shrink)