David Wallace

`Quantum theory' is not a single physical theory but a framework in which many different concrete theories fit. As such, a solution to the quantum measurement problem ought to provide a recipe to interpret each such concrete theory, in a mutually consistent way. But with the exception of the Everett interpretation, the mainextant solutions either try to make sense of the abstract framework as if it were concrete, or else interpret one particular quantum theory under the fiction that it is fundamental and exact. In either case, these approaches are unable to help themselves to the very theory-laden, level-relative ways in which quantum theory makes contact with experiment in mainstream physics, and so are committed to major revisionary projects which have not been carried out even in outline. As such, only the Everett interpretation is currently suited to make sense of quantum physics as we find it.

I point out a radical indeterminism in potential-based formulations of Newtonian gravity once we drop the condition that the potential vanishes at infinity. This indeterminism, which is well known in theoretical cosmology but has received little attention in foundational discussions, can be removed only by specifying boundary conditions at all instants of time, which undermines the theory's claim to be fully cosmological, i.e., to apply to the Universe as a whole. A recent alternative formulation of Newtonian gravity due to Saunders pp.22-48) provides a conceptually satisfactory cosmology but fails to reproduce the Newtonian limit of general relativity in homogenous but anisotropic universes. I conclude that Newtonian gravity lacks a fully satisfactory cosmological formulation.

Philosophy of Physics: A Very Short Introduction explores the core topics of philosophy of physics through three key themes: the nature of space and time; the origin of irreversibility and probability in the physics of large systems; how we can make sense of quantum mechanics. Central issues discussed include: the scientific method as it applies in modern physics; the distinction between absolute and relative motion; the way that distinction changes between Newton's physics and special relativity; what spacetime is and how it relates to the laws of physics; how fundamental physics can make no distinction between past and future and yet a clear distinction exists in the world we see around us; why it is so difficult to understand quantum mechanics, and why doing so might push us to change our fundamental physics, to rethink the nature of science, or even to accept the existence of parallel universes.

In discussions of the foundations of statistical mechanics, it is widely held that the Gibbsian and Boltzmannian approaches are incompatible but empirically equivalent; the Gibbsian approach may be calculationally preferable but only the Boltzmannian approach is conceptually satisfactory. I argue against both assumptions. Gibbsian statistical mechanics is applicable to a wide variety of problems and systems, such as the calculation of transport coefficients and the statistical mechanics and thermodynamics of mesoscopic systems, in which the Boltzmannian approach is inapplicable. And the supposed conceptual problems with the Gibbsian approach are either misconceived, or apply only to certain versions of the Gibbsian approach, or apply with equal force to both approaches. I conclude that Boltzmannian statistical mechanics is best seen as a special case of, and not an alternatve to, Gibbsian statistical mechanics.

What is called ``orthodox'' quantum mechanics, as presented in standard foundational discussions, relies on two substantive assumptions --- the projection postulate and the eigenvalue-eigenvector link --- that do not in fact play any part in practical applications of quantum mechanics. I argue for this conclusion on a number of grounds, but primarily on the grounds that the projection postulate fails correctly to account for repeated, continuous and unsharp measurements and that the eigenvalue-eigenvector link implies that virtually all interesting properties are maximally indefinite pretty much always. I present an alternative way of conceptualising quantum mechanics that does a better job of representing quantum mechanics as it is actually used, and in particular that eliminates use of either the projection postulate or the eigenvalue-eigenvector link, and I reformulate the measurement problem within this new presentation of orthodoxy.

In this article, I briefly explain the quantum measurement problem and the Everett interpretation, in a way that is faithful to modern physics and yet accessible to readers without any physics training. I then consider the metaphysical lessons for ontology from quantum mechanics under the Everett interpretation. My conclusions are largely negative: I argue that very little can be said in full generality about the ontology of quantum mechanics, because quantum mechanics, like abstract classical mechanics, is a framework within which we can consider different physical theories which have very little in common at the level of ontology. Along the way I discuss, and criticise, several positive ontological proposals that have been made in the context of the Everett interpretation: ontologies based on the so-called "eigenstate-eigenvalue link", ontologies based on taking the "many-worlds" language seriously at the fundamental level, and ontologies that treat the wavefunction as a complex field on a high-dimensional space.

I criticize the widely-defended view that the quantum measurement problem is an example of underdetermination of theory by evidence: more specifically, the view that the unmodified, unitary quantum formalism (interpreted following Everett) is empirically indistinguishable from Bohmian Mechanics and from dynamical-collapse theories like the GRW or CSL theories. I argue that there as yet no empirically successful generalization of either theory to interacting quantum field theory and so the apparent underdetermination is broken by a very large class of quantum experiments that require field theory somewhere in their description. The class of quantum experiments reproducible by either is much smaller than is commonly recognized and excludes many of the most iconic successes of quantum mechanics, including the quantitative account of Rayleigh scattering that explains the color of the sky. I respond to various arguments to the contrary in the recent literature.

Brian Pitts has recently claimed to show via straightforward calculation that, at least in the case of Hamiltonian electromagnetism, an arbitrary first-class constraint ``generates not a gauge transformation, but a bad physical change'' (Annals of Physics 351 (2014) pp.382-406; arXiv:1310.2756). We show, via a straightforward calculation, that a transformation generated by an arbitrary first-class constraint relates gauge-equivalent phase space points, vindicating orthodoxy. Pitts, however, is primarily concerned with transformations of entire histories, rather than of instantaneous states. We show that, even in this context, a transformation generated by an arbitrary first-class constraint is also a gauge transformation, once the empirically observed electric field is correctly identified via its dynamical interactions with charge, and not simply given stipulatively as a certain combination of the potential and its derivatives.

According to Bayesian epistemology, the epistemically rational agent updates her beliefs by conditionalization: that is, her posterior subjective probability after taking account of evidence X, pnew, is to be set equal to her prior conditional probability pold(·|X). Bayesians can be challenged to provide a justification for their claim that conditionalization is recommended by rationality—whence the normative force of the injunction to conditionalize? There are several existing justifications for conditionalization, but none directly addresses the idea that conditionalization will be epistemically rational if and only if it can reasonably be expected to lead to epistemically good outcomes. We apply the approach of cognitive decision theory to provide a justification for conditionalization using precisely that idea. We assign epistemic utility functions to epistemically rational agents; an agent’s epistemic utility is to depend both upon the actual state of the world and on the agent’s credence distribution over possible states. We prove that, under independently motivated conditions, conditionalization is the unique updating rule that maximizes expected epistemic utility.

It is widely recognized that ‘global’ symmetries, such as the boost invariance of classical mechanics and special relativity, can give rise to direct empirical counterparts such as the Galileo-ship phenomenon. However, conventional wisdom holds that ‘local’ symmetries, such as the diffeomorphism invariance of general relativity and the gauge invariance of classical electromagnetism, have no such direct empirical counterparts. We argue against this conventional wisdom. We develop a framework for analysing the relationship between Galileo-ship empirical phenomena on the one hand, and physical theories that model such phenomena on the other, that renders the relationship between theoretical and empirical symmetries transparent, and from which it follows that both global and local symmetries can give rise to Galileo-ship phenomena. In particular, we use this framework to exhibit an analogue of Galileo’s ship for the local gauge invariance of electromagnetism. 1 Introduction2 Analogues of Galileo’s Ship? Faraday’s Cage and t’Hooft’s Beam-Splitter2.1 Faraday’s cage2.2 t’Hooft’s beam-splitter3 A Framework for Symmetries I: Systems and Subsystems4 An Example: Coulombic Electrostatics5 A Framework for Symmetries II: The Relationship between Theoretical and Empirical Symmetries6 Newtonian Gravity7 Local Symmetries that Are Not Boundary-Preserving: Classical Electromagnetism and Faraday’s Cage8 Local Boundary-Preserving Symmetries: Klein-Gordon-Maxwell Gauge Theory and t’Hooft’s Beam-Splitter9 Summary10 Conclusions

I develop an account of naturalness in physics which demonstrates that naturalness assumptions are not restricted to narrow cases in high-energy physics but are a ubiquitous part of how interlevel relations are derived in physics. After exploring how and to what extent we might justify such assumptions on methodological grounds or through appeal to speculative future physics, I consider the apparent failure of naturalness in cosmology and in the Standard Model. I argue that any such naturalness failure threatens to undermine the entire structure of our understanding of intertheoretic reduction, and so risks a much larger crisis in physics than is sometimes suggested; I briefly review some currently-popular strategies that might avoid that crisis.

I respond to the frequent objection that structural realism fails to sharply state an alternative to the standard predicate-logic, object / property / relation, way of doing metaphysics. The approach I propose is based on what I call a ‘math-first’ approach to physical theories (close to the so-called ‘semantic view of theories') where the content of a physical theory is to be understood primarily in terms of its mathematical structure and the representational relations it bears to physical systems, rather than as a collection of sentences that attempt to make true claims about those systems (a ‘language-first’ approach). I argue that adopting the math-first approach already amounts to a form of structural realism, and that the choice between epistemic and ontic versions of structural realism is then a choice between a language-first and math-first view of metaphysics; I then explore the status of objects (and properties and relations) in fundamental and non-fundamental physics for both versions of math-first structural realism.

What ontology does realism about the quantum state suggest? The main extant view in contemporary philosophy of physics is wave-function realism . We elaborate the sense in which wave-function realism does provide an ontological picture, and defend it from certain objections that have been raised against it. However, there are good reasons to be dissatisfied with wave-function realism, as we go on to elaborate. This motivates the development of an opposing picture: what we call spacetime state realism , a view which takes the states associated to spacetime regions as fundamental. This approach enjoys a number of beneficial features, although, unlike wave-function realism, it involves non-separability at the level of fundamental ontology. We investigate the pros and cons of this non-separability, arguing that it is a quite acceptable feature, even one which proves fruitful in the context of relativistic covariance. A companion paper discusses the prospects for combining a spacetime-based ontology with separability, along lines suggested by Deutsch and Hayden

It seems to be widely assumed that the only effect of the Ghirardi-Rimini-Weber dynamical collapse mechanism on the `tails' of the wavefunction is to reduce their weight. In consequence it seems to be generally accepted that the tails behave exactly as do the various branches in the Everett interpretation except for their much lower weight. These assumptions are demonstrably inaccurate: the collapse mechanism has substantial and detectable effects within the tails. The relevance of this misconception for the dynamical-collapse theories is debatable, though.

I consider exactly what is involved in a solution to the probability problem of the Everett interpretation, in the light of recent work on applying considerations from decision theory to that problem. I suggest an overall framework for understanding probability in a physical theory, and conclude that this framework, when applied to the Everett interpretation, yields the result that that interpretation satisfactorily solves the measurement problem. Introduction What is probability? 2.1 Objective probability and the Principal Principle 2.2 Three ways of satisfying the functional definition 2.3 Cautious functionalism 2.4 Is the functional definition complete? The Everett interpretation and subjective uncertainty 3.1 Interpreting quantum mechanics 3.2 The need for subjective uncertainty 3.3 Saunders' argument for subjective uncertainty 3.4 Objections to Saunders' argument 3.5 Subjective uncertainty again: arguments from interpretative charity 3.6 Quantum weights and the functional definition of probability Rejecting subjective uncertainty 4.1 The fission program 4.2 Against the fission program Justifying the axioms of decision theory 5.1 The primitive status of the decision-theoretic axioms 5.2 Holistic scepticism 5.3 The role of an explanation of decision theory Conclusion.

What would it mean to apply quantum theory, without restriction and without involving any notion of measurement and state reduction, to the whole universe? What would realism about the quantum state then imply? This book brings together an illustrious team of philosophers and physicists to debate these questions. The contributors broadly agree on the need, or aspiration, for a realist theory that unites micro- and macro-worlds. But they disagree on what this implies. Some argue that if unitary quantum evolution has unrestricted application, and if the quantum state is taken to be something physically real, then this universe emerges from the quantum state as one of countless others, constantly branching in time, all of which are real. The result, they argue, is many worlds quantum theory, also known as the Everett interpretation of quantum mechanics. No other realist interpretation of unitary quantum theory has ever been found. Others argue in reply that this picture of many worlds is in no sense inherent to quantum theory, or fails to make physical sense, or is scientifically inadequate. The stuff of these worlds, what they are made of, is never adequately explained, nor are the worlds precisely defined; ordinary ideas about time and identity over time are compromised; no satisfactory role or substitute for probability can be found in many worlds theories; they can't explain experimental data; anyway, there are attractive realist alternatives to many worlds. Twenty original essays, accompanied by commentaries and discussions, examine these claims and counterclaims in depth. They consider questions of ontology - the existence of worlds; probability - whether and how probability can be related to the branching structure of the quantum state; alternatives to many worlds - whether there are one-world realist interpretations of quantum theory that leave quantum dynamics unchanged; and open questions even given many worlds, including the multiverse concept as it has arisen elsewhere in modern cosmology. A comprehensive introduction lays out the main arguments of the book, which provides a state-of-the-art guide to many worlds quantum theory and its problems.

I explore the reduction of thermodynamics to statistical mechanics by treating the former as a control theory: a theory of which transitions between states can be induced on a system by means of operations from a fixed list. I recover the results of standard thermodynamics in this framework on the assumption that the available operations do not include measurements which affect subsequent choices of operations. I then relax this assumption and use the framework to consider the vexed questions of Maxwell's demon and Landauer's principle. Throughout I assume rather than prove the basic irreversibility features of statistical mechanics, taking care to distinguish them from the conceptually distinct assumptions of thermodynamics proper.

I discuss the statistical mechanics of gravitating systems and in particular its cosmological implications, and argue that many conventional views on this subject in the foundations of statistical mechanics embody significant confusion; I attempt to provide a clearer and more accurate account. In particular, I observe that (i) the role of gravity in entropy calculations must be distinguished from the entropy of gravity, that (ii) although gravitational collapse is entropy-increasing, this is not usually because the collapsing matter itself increases in entropy, and that (iii) the Second Law of thermodynamics does not owe its validity to the statistical mechanics of gravitational collapse

I argue that the metaphysical import of the Aharonov-Bohm effect has been overstated: correctly understood, it does not require either rejection of gauge invariance or any novel form of nonlocality. The conclusion that it does require one or the other follows from a failure to keep track, in the analysis, of the complex scalar field to which the magnetic vector potential is coupled. Once this is recognised, the way is clear to a local account of the ontology of electrodynamics ; I sketch a possible such account.

I argue against the currently prevalent view that algebraic quantum field theory (AQFT) is the correct framework for philosophy of quantum field theory and that “conventional” quantum field theory (CQFT), of the sort used in mainstream particle physics, is not suitable for foundational study. In doing so, I defend that position that AQFT and CQFT should be understood as rival programs to resolve the mathematical and physical pathologies of renormalization theory, and that CQFT has succeeded in this task and AQFT has failed. I also defend CQFT from recent criticisms made by Doreen Fraser.

An extended analysis is given of the program, originally suggested by Deutsch, of solving the probability problem in the Everett interpretation by means of decision theory. Deutsch's own proof is discussed, and alternatives are presented which are based upon different decision theories and upon Gleason's Theorem. It is argued that decision theory gives Everettians most or all of what they need from `probability'. Contact is made with Lewis's Principal Principle linking subjective credence with objective chance: an Everettian Principal Principle is formulated, and shown to be at least as defensible as the usual Principle. Some consequences of (Everettian) quantum mechanics for decision theory itself are also discussed. [NB: this this long (70 pages) and occasionally rambling online-only paper has been almost entirely superseded by material in subsequent; if something is not included in them it usually means that I have had second thoughts. I include it for completeness only.