Mathematicians, physicists, and philosophers of physics often look to the symmetries of an object for insight into the structure and constitution of the object. My aim in this paper is to explain why this practice is successful. In order to do so, I present a collection of results that are closely related to (and in a sense, generalizations of) Beth’s and Svenonius’ theorems.

Some physicists and philosophers argue that unitarily inequivalent representations in quantum field theory are mathematical surplus structure. Support for that view, sometimes called ‘algebraic imperialism’, relies on Fell’s theorem and its deployment in the algebraic approach to QFT. The algebraic imperialist uses Fell’s theorem to argue that UIRs are ‘physically equivalent’ to each other. The mathematical, conceptual, and dynamical aspects of Fell’s theorem will be examined. Its use as a criterion for physical equivalence is examined in detail and it is (...) proven that Fell’s theorem does not apply to the vast number of representations used in the algebraic approach. UIRs are not another case of theoretical underdetermination, because they make different predictions about ‘classical’ operators. These results are applied to the Unruh effect where there is a continuum of UIRs to which Fell’s theorem does not apply. _1_ Introduction _2_ Weak Equivalence and Physical Equivalence _3_ Mathematical Overview of Algebraic Quantum Field Theory _4_ Fell’s Theorem and Philosophical Responses to Weak Equivalence _5_ Weak Equivalence in C*-Algebras and W*-Algebras _6_ Classical Equivalence and Weak Equivalence _7_ Interlude: Is Weak Equivalence Really Physical Equivalence? _8_ The Unruh Effect _9_ Time Evolution and Symmetries _10_ Conclusions Appendix. (shrink)

I argue that the hole argument is based on a misleading use of the mathematical formalism of general relativity. If one is attentive to mathematical practice, I will argue, the hole argument is blocked. _1._ Introduction _2._ A Warmup Exercise _3._ The Hole Argument _4._ An Argument from Classical Spacetime Theory _5._ The Hole Argument Revisited.

In this article, I examine whether or not the Hamiltonian and Lagrangian formulations of classical mechanics are equivalent theories. I do so by applying a standard for equivalence that was recently introduced into philosophy of science by Halvorson and Weatherall. This case study yields three general philosophical payoffs. The first concerns what a theory is, while the second and third concern how we should interpret what our physical theories say about the world. 1Introduction 2When Are Two Theories Equivalent? 3Preliminaries on (...) Classical Mechanics 3.1Hamiltonian mechanics 3.2Lagrangian mechanics 4Are Hamiltonian and Lagrangian Mechanics Equivalent Theories? 4.1Tangent bundle versus cotangent bundle 4.2Tangent bundle versus symplectic manifold 4.3Lagrangian vector field versus Hamiltonian vector field 5Conclusion Appendix. (shrink)

We discuss ways in which category theory might be useful in philosophy of science, in particular for articulating the structure of scientific theories. We argue, moreover, that a categorical approach transcends the syntax-semantics dichotomy in 20th century analytic philosophy of science.

Since the beginning of the 20th century, philosophers of science have asked, "what kind of thing is a scientific theory?" The logical positivists answered: a scientific theory is a mathematical theory, plus an empirical interpretation of that theory. Moreover, they assumed that a mathematical theory is specified by a set of axioms in a formal language. Later 20th century philosophers questioned this account, arguing instead that a scientific theory need not include a mathematical component; or that the mathematical component need (...) not be specified by a set of axioms in a formal language. We survey various accounts of scientific theories entertained in the 20th century -- removing some misconceptions, and clearing a path for future research. (shrink)

I consider two usages of the expression "gauge theory". On one, a gauge theory is a theory with excess structure; on the other, a gauge theory is any theory appropriately related to classical electromagnetism. I make precise one sense in which one formulation of electromagnetism, the paradigmatic gauge theory on both usages, may be understood to have excess structure, and then argue that gauge theories on the second usage, including Yang-Mills theory and general relativity, do not generally have excess structure (...) in this sense. (shrink)

This is a companion to another paper. Together they rebut two widespread philosophical doctrines about emergence. The first, and main, doctrine is that emergence is incompatible with reduction. The second is that emergence is supervenience; or more exactly, supervenience without reduction.In the other paper, I develop these rebuttals in general terms, emphasising the second rebuttal. Here I discuss the situation in physics, emphasising the first rebuttal. I focus on limiting relations between theories and illustrate my claims with four examples, each (...) of them a model or a framework for modelling, from well-established mathematics or physics.I take emergence as behaviour that is novel and robust relative to some comparison class. I take reduction as, essentially, deduction. The main idea of my first rebuttal will be to perform the deduction after taking a limit of some parameter. Thus my first main claim will be that in my four examples (and many others), we can deduce a novel and robust behaviour, by taking the limit N→∞ of a parameter N.But on the other hand, this does not show that the N=∞ limit is “physically real”, as some authors have alleged. For my second main claim is that in these same examples, there is a weaker, yet still vivid, novel and robust behaviour that occurs before we get to the limit, i.e. for finite N. And it is this weaker behaviour which is physically real.My examples are: the method of arbitrary functions (in probability theory); fractals (in geometry); superselection for infinite systems (in quantum theory); and phase transitions for infinite systems (in statistical mechanics). (shrink)

A normal state on a von Neumann algebra defines a countably additive probability measure over its projection lattice. The von Neumann algebras familiar from ordinary QM are algebras of all the bounded operators on a Hilbert space H, aka Type I factor von Neumann algebras. Their normal states are density operator states, and can be pure or mixed. In QFT and the thermodynamic limit of QSM, von Neumann algebras of more exotic types abound. Type III von Neumann algebras, for instance, (...) have no pure normal states; the pure states they do have fail to be countably additive. I will catalog a number of temptations to accord physical significance to non-normal states, and then give some reasons to resist these temptations: pure though they may be, non-normal states on non-Type I factor von Neumann algebras can't do the interpretive work we've come to expect from pure states on Type I factors; our best accounts of state preparation don't work for the preparation of non-normal states; there is a sense in which non-normal states fail to instantiate the laws of quantum mechanics. (shrink)

It is proposed that we use the term “approximation” for inexact description of a target system and “idealization” for another system whose properties also provide an inexact description of the target system. Since systems generated by a limiting process can often have quite unexpected, even inconsistent properties, familiar limit systems used in statistical physics can fail to provide idealizations, but are merely approximations. A dominance argument suggests that the limiting idealizations of statistical physics should be demoted to approximations.

According to the semantic view of scientific theories, theories are classes of models. I show that this view -- if taken seriously as a formal explication -- leads to absurdities. In particular, this view equates theories that are truly distinct, and it distinguishes theories that are truly equivalent. Furthermore, the semantic view lacks the resources to explicate interesting theoretical relations, such as embeddability of one theory into another. The untenability of the semantic view -- as currently formulated -- threatens to (...) undermine scientific structuralism. (shrink)

Robert Batterman examines a form of scientific reasoning called asymptotic reasoning, arguing that it has important consequences for our understanding of the scientific process as a whole. He maintains that asymptotic reasoning is essential for explaining what physicists call universal behavior. With clarity and rigor, he simplifies complex questions about universal behavior, demonstrating a profound understanding of the underlying structures that ground them. This book introduces a valuable new method that is certain to fill explanatory gaps across disciplines.

This paper discusses the alleged reduction of Thermodynamics to Statistical Mechanics. It includes an historical discussion of J. Willard Gibbs' famous caution concerning the connections between thermodynamic properties and statistical mechanical properties---his so-called ``Thermodynamic Analogies.'' The reasons for Gibbs' caution are reconsidered in light of relatively recent work in statistical physics on the existence of the thermodynamic limit and the explanation of critical behavior using the renormalization group apparatus. A probabilistic understanding of the renormalization group arguments allows for a kind (...) of unification of Gibbs' approach with contemporary understanding of the reduction problem. (shrink)

Four current accounts of theory reduction are presented, first informally and then formally: (1) an account of direct theory reduction that is based on the contributions of Nagel, Woodger, and Quine, (2) an indirect reduction paradigm due to Kemeny and Oppenheim, (3) an "isomorphic model" schema traceable to Suppes, and (4) a theory of reduction that is based on the work of Popper, Feyerabend, and Kuhn. Reference is made, in an attempt to choose between these schemas, to the explanation of (...) physical optics by Maxwell's electromagnetic theory, and to the revisions of genetics necessitated by partial biochemical reductions of genetics. A more general reduction schema is proposed which: (1) yields as special cases the four reduction paradigms considered above, (2) seems to be in better accord with both the canons of logic and actual scientific practice, and (3) clarifies the problems of meaning variance and ontological reduction. (shrink)

If a classical system has infinitely many degrees of freedom, its Hamiltonian quantization need not be unique up to unitary equivalence. I sketch different approaches (Hilbert space and algebraic) to understanding the content of quantum theories in light of this non‐uniqueness, and suggest that neither approach suffices to support explanatory aspirations encountered in the thermodynamic limit of quantum statistical mechanics.

Philosophers of quantum mechanics have generally addressed exceedingly simple systems. Laura Ruetsche offers a much-needed study of the interpretation of more complicated systems, and an underexplored family of physical theories, such as quantum field theory and quantum statistical mechanics, showing why they repay philosophical attention. She guides those familiar with the philosophy of ordinary QM into the philosophy of 'QM infinity', by presenting accessible introductions to relevant technical notions and the foundational questions they frame--and then develops and defends answers to (...) some of those questions. Finally, Ruetsche highlights ties between the foundational investigation of QM infinity and philosophy more broadly construed, in particular by using the interpretive problems discussed to motivate new ways to think about the nature of physical possibility and the problem of scientific realism. (shrink)

I review some recent work on applications of category theory to questions concerning theoretical structure and theoretical equivalence of classical field theories, including Newtonian gravitation, general relativity, and Yang-Mills theories.

I argue that a criterion of theoretical equivalence due to Glymour :227–251, 1977) does not capture an important sense in which two theories may be equivalent. I then motivate and state an alternative criterion that does capture the sense of equivalence I have in mind. The principal claim of the paper is that relative to this second criterion, the answer to the question posed in the title is “yes”, at least on one natural understanding of Newtonian gravitation.

This paper makes an observation about the ``amount of structure'' that different classical and relativistic spacetimes posit. The observation substantiates a suggestion made by Earman and yields a cautionary remark concerning the scope and applicability of structural parsimony principles.

Ruetsche argues that a problem of unitarily inequivalent representations arises in quantum theories with infinitely many degrees of freedom. I provide an algebraic formulation of classical field theories and show that unitarily inequivalent representations arise there as well. I argue that the classical case helps us rule out one possible response to the problem of unitarily inequivalent representations called Hilbert Space Conservatism.

A conventional wisdom about the progress of physics holds that successive theories wholly encompass the domains of their predecessors through a process that is often called reduction. While certain influential accounts of inter-theory reduction in physics take reduction to require a single "global" derivation of one theory's laws from those of another, I show that global reductions are not available in all cases where the conventional wisdom requires reduction to hold. However, I argue that a weaker "local" form of reduction, (...) which defines reduction between theories in terms of a more fundamental notion of reduction between models of a single fixed system, is available in such cases and moreover suffices to uphold the conventional wisdom. To illustrate the sort of fixed-system, inter-model reduction that grounds inter-theoretic reduction on this picture, I specialize to a particular class of cases in which both models are dynamical systems. I show that reduction in these cases is underwritten by a mathematical relationship that follows the broad prescriptions of Nagel/Schaffner reduction, and support this claim with several examples. Moreover, I show that this broadly Nagelian analysis of inter-model reduction encompasses several cases that are sometimes cited as instances of the "physicist's" limit-based notion of reduction. (shrink)

This paper examines the role of mathematical idealization in describing and explaining various features of the world. It examines two cases: first, briefly, the modeling of shock formation using the idealization of the continuum. Second, and in more detail, the breaking of droplets from the points of view of both analytic fluid mechanics and molecular dynamical simulations at the nano-level. It argues that the continuum idealizations are explanatorily ineliminable and that a full understanding of certain physical phenomena cannot be obtained (...) through completely detailed, non-idealized representations. (shrink)

The phenomenon of broken spacetime symmetry in the quantum theory of infinite systems forces us to adopt an unorthodox ontology. We must abandon the standard conception of the physical meaning of these symmetries, or else deny the attractive “liberal” notion of which physical quantities are significant. A third option, more attractive but less well understood, is to abandon the existing (Halvorson-Clifton) notion of intertranslatability for quantum theories.

Within the traditional Hilbert space formalism of quantum mechanics, it is not possible to describe a particle as possessing, simultaneously, a sharp position value and a sharp momentum value. Is it possible, though, to describe a particle as possessing just a sharp position value (or just a sharp momentum value)? Some, such as Teller, have thought that the answer to this question is No - that the status of individual continuous quantities is very different in quantum mechanics than in classical (...) mechanics. On the contrary, I shall show that the same subtle issues arise with respect to continuous quantities in classical and quantum mechanics; and that it is, after all, possible to describe a particle as possessing a sharp position value without altering the standard formalism of quantum mechanics. (shrink)

Beginning with Anderson, spontaneous symmetry breaking in infinite quantum systems is often put forward as an example of emergence in physics, since in theory no finite system should display it. Even the correspondence between theory and reality is at stake here, since numerous real materials show ssb in their ground states, although they are finite. Thus against what is sometimes called ‘Earman's Principle’, a genuine physical effect seems theoretically recovered only in some idealisation, disappearing as soon as the idealisation is (...) removed.We review the well-known arguments that no finite system can exhibit ssb, using the formalism of algebraic quantum theory in order to control the thermodynamic limit and unify the description of finite- and infinite-volume systems. Using the striking mathematical analogy between the thermodynamic limit and the classical limit, we show that a similar situation obtains in quantum mechanics versus classical mechanics.This discrepancy between formalism and reality is quite similar to the measurement problem, and hence we address it in the same way, adapting an argument of the Landsman and Reuvers that was originally intended to explain the collapse of the wave-function within conventional quantum mechanics. Namely, exponential sensitivity to perturbations of the dynamics as the system size increases causes symmetry breaking already in finite but very large quantum systems. This provides continuity between finite- and infinite-volume descriptions of quantum systems featuring ssb and hence restores Earman's Principle. (shrink)

Stephen Hawking, among others, has proposed that the topological stability of a property of space-time is a necessary condition for it to be physically significant. What counts as stable, however, depends crucially on the choice of topology. Some physicists have thus suggested that one should find a canonical topology, a single ‘right’ topology for every inquiry. While certain such choices might be initially motivated, some little-discussed examples of Robert Geroch and some propositions of my own show that the main candidates—and (...) each possible choice, to some extent—faces the horns of a no-go result. I suggest that instead of trying to decide what the ‘right’ topology is for all problems, one should let the details of particular types of problems guide the choice of an appropriate topology. (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.

The physical, mathematical, and philosophical foundations of the quantum theory of free Bose fields in fixed general relativistic spacetimes are examined. It is argued that the theory is logically and mathematically consistent whereas semiclassical prescriptions for incorporating the back-reaction of the quantum field on the geometry lead to inconsistencies. Still, the relations and heuristic value of the semiclassical approach to canonical and covariant schemes of quantum gravity-plus-matter are assessed. Both conventional and rigorous formulations of the theory and of its principal (...) predictions, cosmological particle creation and horizon radiation, are expounded and compared. Special attention is devoted to spacetime properties needed for the existence or uniqueness of the relevant theoretical elements , renormalization of the stress tensor). The emergence of unitarily inequivalent representations in a single dynamical context is used as motivation for the introduction of the abstract $\rm C\sp{\*}$-algebraic axiomatic formalism. The operationalist and conventionalist claims of the original abstract algebraic program are criticized in favor of its tempered outgrowth, local quantum physics. The interpretation of the theory as a wave mechanics of classical field configurations, deriving from the Schrodinger representations of the abstract algebra, is discussed and is found superior, at least on the level of analogy, to particle or harmonic oscillator interpretations. Further, it is argued that the various detector results and the Fulling nonuniqueness problem do not undermine the particle concept in the ways commonly claimed. In particular, arguments are offered against the attribution of particle status to the Rindler quanta, against the physical realizability of the Rindler vacuum, and against the more general notion of observer-dependence as to the definition of 'particle' or 'vacuum'. However, the question of the ontological status of particles is raised in terms of the consistency of quantum field theory with non-reductive realism about particles, the latter being conceived as entities exhibiting attributes of discreteness and localizability. Two arguments against non-reductive realism about particles, one from axiomatic algebraic local quantum theory in Minkowski spacetime and one from quantum field theory in curved spacetime, are developed. (shrink)

The standard view is that the Lagrangian and Hamiltonian formulations of classical mechanics are theoretically equivalent. Jill North, however, argues that they are not. In particular, she argues that the state-space of Hamiltonian mechanics has less structure than the state-space of Lagrangian mechanics. I will isolate two arguments that North puts forward for this conclusion and argue that neither yet succeeds. 1 Introduction2 Hamiltonian State-space Has less Structure than Lagrangian State-space2.1 Lagrangian state-space is metrical2.2 Hamiltonian state-space is symplectic2.3 Metric > (...) symplectic3 Hamiltonian State-space Does Not Have Less Structure than Lagrangian State-space3.1 Lagrangian state-space has less than metric structure3.1.1 A potential worry3.1.2 General Lagrangians3.2 Hamiltonian state-space has more than symplectic structure3.2.1 A dual structure on the Hamiltonian state-space3.2.2 Simple Hamiltonians3.3 Comparing Lagrangian and Hamiltonian structures3.3.1 Counting mathematical structure3.3.2 Symplectic and metric structure are incomparable4 An Alternative Argument for LS4.1 The argument for P3*4.2 Symplectic manifold vs. tangent bundle structure4.3 Trying to patch up the argument for P3*5 Interpreting Mathematical Structure5.1 State-space realism5.2 Model isomorphism and theoretical equivalence6 Conclusion. (shrink)

Philosophical accounts of quantum theory commonly suppose that the observables of a quantum system form a Type-I factor von Neumann algebra. Such algebras always have atoms, which are minimal projection operators in the case of quantum mechanics. However, relativistic quantum field theory and the thermodynamic limit of quantum statistical mechanics make extensive use of von Neumann algebras of more general types. This chapter addresses the question whether interpretations of quantum probability devised in the usual manner continue to apply in the (...) more general setting. Features of non-type I factor von Neumann algebras are cataloged. It is shown that these novel features do not cause the familiar formalism of quantum probability to falter, since Gleason's Theorem and the Lüders Rule can be generalized. However, the features render the problem of the interpretation of quantum probability more intricate. (shrink)

This is one of two papers about emergence, reduction and supervenience. It expounds these notions and analyses the general relations between them. The companion paper analyses the situation in physics, especially limiting relations between physical theories. I shall take emergence as behaviour that is novel and robust relative to some comparison class. I shall take reduction as deduction using appropriate auxiliary definitions. And I shall take supervenience as a weakening of reduction, viz. to allow infinitely long definitions. The overall claim (...) of this paper will be that emergence is logically independent both of reduction and of supervenience. In particular, one can have emergence with reduction, as well as without it; and emergence without supervenience, as well as with it. Of the subsidiary claims, the four main ones are: : I defend the traditional Nagelian conception of reduction ; : I deny that the multiple realizability argument causes trouble for reductions, or ``reductionism'' ; : I stress the collapse of supervenience into deduction via Beth's theorem ; : I adapt some examples already in the literature to show supervenience without emergence and vice versa. (shrink)

Thermodynamics and Statistical Mechanics are related to one another through the so-called "thermodynamic limit'' in which, roughly speaking the number of particles becomes infinite. At critical points (places of physical discontinuity) this limit fails to be regular. As a result, the "reduction'' of Thermodynamics to Statistical Mechanics fails to hold at such critical phases. This fact is key to understanding an argument due to Craig Callender to the effect that the thermodynamic limit leads to mistakes in Statistical Mechanics. I discuss (...) this argument and argue that the conclusion is misguided. In addition, I discuss an analogous example where a genuine physical discontinuity---the breaking of drops---requires the use of infinite idealizations. (shrink)

The availability of unitarily inequivalent representations of the canonical commutation relations constituting a quantization of a classical field theory raises questions about how to formulate and pursue quantum field theory. In a minimally technical way, I explain how these questions arise and how advocates of the Hilbert space and of the algebraic approaches to quantum theory might answer them. Where these answers differ, I sketch considerations for and against each approach, as well as considerations which might temper their apparent rivalry.

In this article, I examine the relationship between physical quantities and physical states in quantum theories. I argue against the claim made by Arageorgis that the approach to interpreting quantum theories known as Algebraic Imperialism allows for “too many states.” I prove a result establishing that the Algebraic Imperialist has very general resources that she can employ to change her abstract algebra of quantities in order to rule out unphysical states.

ABSTRACT Ruetsche claims that an abstract C*-algebra of observables will not contain all of the physically significant observables for a quantum system with infinitely many degrees of freedom. This would signal that in addition to the abstract algebra, one must use Hilbert space representations for some purposes. I argue to the contrary that there is a way to recover all of the physically significant observables by purely algebraic methods. 1Introduction 2Preliminaries 3Three Extremist Interpretations 3.1Algebraic imperialism 3.2Hilbert space conservatism 3.3Universalism 4Parochial (...) Observables 4.1Parochial observables for the imperialist 4.2Parochial observables for the universalist 5Conclusion. (shrink)