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)

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)

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)

We often use symmetries to infer outcomes’ probabilities, as when we infer that each side of a fair coin is equally likely to come up on a given toss. Why are these inferences successful? I argue against answering this with an a priori indifference principle. Reasons to reject that principle are familiar, yet instructive. They point to a new, empirical explanation for the success of our probabilistic predictions. This has implications for indifference reasoning in general. I argue that a priori (...) symmetries need never constrain our probability attributions, even when it comes to our initial credences. (shrink)

An important contemporary version of Boltzmannian statistical mechanics explains the approach to equilibrium in terms of typicality. The problem with this approach is that it comes in different versions, which are, however, not recognized as such and not clearly distinguished. This article identifies three different versions of typicality‐based explanations of thermodynamic‐like behavior and evaluates their respective successes. The conclusion is that the first two are unsuccessful because they fail to take the system's dynamics into account. The third, however, is promising. (...) I give a precise formulation of the proposal and present an argument in support of its central contention. †To contact the author, please write to: Department of Philosophy, Logic, and Scientific Method, London School of Economics, Houghton Street, London WC2A 2AE, England; e‐mail: [email protected]. (shrink)

Gibbsian statistical mechanics (GSM) is the most widely used version of statistical mechanics among working physicists. Yet a closer look at GSM reveals that it is unclear what the theory actually says and how it bears on experimental practice. The root cause of the difficulties is the status of the Averaging Principle, the proposition that what we observe in an experiment is the ensemble average of a phase function. We review different stances toward this principle, and eventually present a coherent (...) interpretation of GSM that provides an account of the status and scope of the principle. (shrink)

Are the generalizations of classical equilibrium thermodynamics true of self-gravitating systems? This question has not been addressed from a foundational perspective, but here I tackle it through a study of the “paradoxes” commonly said to afflict such systems. My goals are twofold: (a) to show that the “paradoxes” raise many questions rarely discussed in the philosophical foundations literature, and (b) to counter the idea that these “paradoxes” spell the end for gravitational equilibrium thermodynamics.

Entropy is ubiquitous in physics, and it plays important roles in numerous other disciplines ranging from logic and statistics to biology and economics. However, a closer look reveals a complicated picture: entropy is defined differently in different contexts, and even within the same domain different notions of entropy are at work. Some of these are defined in terms of probabilities, others are not. The aim of this chapter is to arrive at an understanding of some of the most important notions (...) of entropy and to clarify the relations between them, After setting the stage by introducing the thermodynamic entropy, we discuss notions of entropy in information theory, statistical mechanics, dynamical systems theory and fractal geometry. (shrink)

This thesis makes the issue of reconciling the existence of thermodynamically irreversible processes with underlying reversible dynamics clear, so as to help explain what philosophers mean when they say that an aim of nonequilibrium statistical mechanics is to underpin aspects of thermodynamics. Many of the leading attempts to reconcile the existence of thermodynamically irreversible processes with underlying reversible dynamics proceed by way of discussions that attempt to underpin the following qualitative facts: (i) that isolated macroscopic systems that begin away from (...) equilibrium spontaneously approach equilibrium, and (ii) that they remain in equilibrium for incredibly long periods of time. These attempts standardly appeal to phase space considerations and notions of typicality. This thesis considers and evaluates leading typicality accounts, and, in particular, highlights their limitations. Importantly, these accounts do not underpin a large and important set of facts. They do not, for example, underpin facts about the rates in which systems approach equilibrium, or facts about the kinds of states they pass through on their way to equilibrium, or facts about fluctuation phenomena. To remedy these and other shortfalls, this thesis promotes an alternative, and arguably more important, line of research: understanding and accounting for the success of the techniques and equations physicists use to model the behaviour of systems that begin away from equilibrium. Accounting for their success would help underpin not just the qualitative facts the literature has focused on, but also many of the important quantitative facts that typicality accounts cannot. This thesis also takes steps in this promising direction. It outlines and examines a technique commonly used to model the behaviour of an interesting and important kind of system: a Brownian particle that's been introduced to an isolated homogeneous fluid at equilibrium. As this thesis highlights, the technique returns a wealth of quantitative and qualitative information. This thesis also attempts to account for the success of the model and technique, by identifying and grounding the technique's key assumptions. (shrink)

Policy-makers face an uncertain world. One way of getting a handle on decision-making in such an environment is to rely on evidence. Despite the recent increase in post-fact figures in politics, evidence-based policymaking takes centre stage in policy-setting institutions. Often, however, policy-makers face large volumes of evidence from different sources. Robustness analysis can, prima facie, handle this evidential diversity. Roughly, a hypothesis is supported by robust evidence if the different evidential sources are in agreement. In this thesis, I strengthen the (...) case for the use of robustness analysis in evidence-based policymaking by answering open research questions about this inference technique. First, I argue that existing taxonomies miss a fruitful category of robustness reasoning, that is predictive stability. Second, I claim that derivational robustness analysis – the investigation of whether the results of different models are in agreement – can yield interesting insights even if not the entire relevant model space is covered by available models or if the model results are only partially in agreement. Third, I claim that expert knowledge is necessary to address questions that arise when one applies measurement robustness analysis – the investigation into whether multiple means of measurement yield the same result. Finally, I argue that, in situations where evidence from different measurements is not in agreement, it can be advisable to no longer take all of the evidence into account. This can be done in a rationally defensible way by choosing the most adequate theory or model underlying parts of the evidence set. I discuss examples from climate, medical, and economic policy-making to establish my claims. (shrink)

Why do systems prepared in a non-equilibrium state approach, and eventually reach, equilibrium? An important contemporary version of the Boltzmannian approach to statistical mechanics answers this question by an appeal to the notion of typicality. The problem with this approach is that it comes in different versions, which are, however, not recognised as such, much less clearly distinguished, and we often find different arguments pursued side by side. The aim of this paper is to disentangle different versions of typicality-based explanations (...) of thermodynamic behaviour and evaluate their respective success. My conclusion will be that the boldest version fails for technical reasons, while more prudent versions leave unanswered essential questions. (shrink)