Algebraic quantum field theory provides a general, mathematically precise description of the structure of quantum field theories, and then draws out consequences of this structure by means of various mathematical tools -- the theory of operator algebras, category theory, etc.. Given the rigor and generality of AQFT, it is a particularly apt tool for studying the foundations of QFT. This paper is a survey of AQFT, with an orientation towards foundational topics. In addition to covering the basics of the theory, (...) we discuss issues related to nonlocality, the particle concept, the field concept, and inequivalent representations. We also provide a detailed account of the analysis of superselection rules by Doplicher, Haag, and Roberts (DHR); and we give an alternative proof of Doplicher and Robert's reconstruction of fields and gauge group from the category of physical representations of the observable algebra. The latter is based on unpublished ideas due to J. E. Roberts and the abstract duality theorem for symmetric tensor *-categories, a self-contained proof of which is given in the appendix. (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.

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)

The relationship between classical and quantum theory is of central importance to the philosophy of physics, and any interpretation of quantum mechanics has to clarify it. Our discussion of this relationship is partly historical and conceptual, but mostly technical and mathematically rigorous, including over 500 references. For example, we sketch how certain intuitive ideas of the founders of quantum theory have fared in the light of current mathematical knowledge. One such idea that has certainly stood the test of time is (...) Heisenberg's `quantum-theoretical Umdeutung (reinterpretation) of classical observables', which lies at the basis of quantization theory. Similarly, Bohr's correspondence principle (in somewhat revised form) and Schroedinger's wave packets (or coherent states) continue to be of great importance in understanding classical behaviour from quantum mechanics. On the other hand, no consensus has been reached on the Copenhagen Interpretation, but in view of the parodies of it one typically finds in the literature we describe it in detail. On the assumption that quantum mechanics is universal and complete, we discuss three ways in which classical physics has so far been believed to emerge from quantum physics, namely in the limit h -> 0 of small Planck's constant (in a finite system), in the limit N goes to infinity of a large system with $N$ degrees of freedom (at fixed h), and through decoherence and consistent histories. The first limit is closely related to modern quantization theory and microlocal analysis, whereas the second involves methods of C*-algebras and the concepts of superselection sectors and macroscopic observables. In these limits, the classical world does not emerge as a sharply defined objective reality, but rather as an approximate appearance relative to certain ``classical" states and observables. Decoherence subsequently clarifies the role of such states, in that they are ``einselected", i.e. robust against coupling to the environment. Furthermore, the nature of classical observables is elucidated by the fact that they typically define (approximately) consistent sets of histories. This combination of ideas and techniques does not quite resolve the measurement problem, but it does make the point that classicality results from the elimination of certain states and observables from quantum theory. Thus the classical world is not created by observation (as Heisenberg once claimed), but rather by the lack of it. (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.

In the mid to late 1920s, the emerging theory of quantum mechanics had two main competing formalisms — the wave mechanics of E. Schrödinger [61] and the matrix mechanics of W. Heisenberg, M. Born and P. Jordan [27][2][3].1 Though a connection between the two was quickly pointed out by Schrödinger himself — see paper III in [61] — among others, the folk-theoretic “equivalence” between wave and matrix mechanics continued to generate more detailed study, even into our times.

Philosophical reflection on quantum field theory has tended to focus on how it revises our conception of what a particle is. However, there has been relatively little discussion of the threat to the "reality" of particles posed by the possibility of inequivalent quantizations of a classical field theory, i.e., inequivalent representations of the algebra of observables of the field in terms of operators on a Hilbert space. The threat is that each representation embodies its own distinctive conception of what a (...) particle is, and how a "particle" will respond to a suitably operated detector. Our main goal is to clarify the subtle relationship between inequivalent representations of a field theory and their associated particle concepts. We also have a particular interest in the Minkowski versus Rindler quantizations of a free Boson field, because they respectively entail two radically different descriptions of the particle content of the field in the *very same* region of spacetime. We shall defend the idea that these representations provide *complementary descriptions* of the same state of the field against the claim that they embody completely *incommensurable theories* of the field. (shrink)

An “intrinsically mixed” state is a mixed state of a system that is ‘orthogonal’ to every pure state of that system. Although the presence of such states in the quantum theories of infinite systems is well known to those who work with such theories, intrinsically mixed states are virtually unheralded in the philosophical literature. Rob Clifton was thoroughly familiar with intrinsically mixed states. I aim here to introduce them to a wider audience—and to encourage that audience to cultivate their acquaintance (...) by suggesting that intrinsically mixed states undermine assumptions framing standard discussions of the quantum measurement problem. (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.

We pose and resolve a puzzle about spontaneous symmetry breaking in the quantum theory of infinite systems. For a symmetry to be spontaneously broken, it must not be implementable by a unitary operator in a ground state's GNS representation. But Wigner's theorem guarantees that any symmetry's action on states is given by a unitary operator. How can this unitary operator fail to implement the symmetry in the GNS representation? We show how it is possible for a unitary operator of this (...) sort to connect the folia of unitarily inequivalent representations. This result undermines interpretations of quantum theory that hold unitary equivalence to be necessary for physical equivalence. (shrink)

Starting from the standard quantum formalism for a single spin 1/2 system (e.g., an electron), this essay develops a model rich enough not only to afford an explication of symmetry breaking but also to frame questions about how to circumscribe physical possibility on behalf of theories that countenance symmetry breaking.

The overaraching goal of this paper is to elucidate the nature of superselection rules in a manner that is accessible to philosophers of science and that brings out the connections between superselection and some of the most fundamental interpretational issues in quantum physics. The formalism of von Neumann algebras is used to characterize three different senses of superselection rules (dubbed, weak, strong, and very strong) and to provide useful necessary and sufficient conditions for each sense. It is then shown how (...) the Haag–Kastler algebraic approach to quantum physics holds the promise of a uniform and comprehensive account of the origin of superselection rules. Some of the challenges that must be met before this promise can be kept are discussed. The focus then turns to the role of superselection rules in solutions to the measurement problem and the emergence of classical properties. It is claimed that the role for “hard” superselection rules is limited, but “soft” (a.k.a. environmental) superselection rules or N. P. Landsman’s situational superselection rules may have a major role to play. Finally, an assessment is given of the recently revived attempts to deconstruct superselection rules. (shrink)

A theorem due to Bob Geroch and Pong Soo Jang ["Motion of a Body in General Relativity." Journal of Mathematical Physics 16, ] provides a sense in which the geodesic principle has the status of a theorem in General Relativity. I have recently shown that a similar theorem holds in the context of geometrized Newtonian gravitation [Weatherall, J. O. "The Motion of a Body in Newtonian Theories." Journal of Mathematical Physics 52, ]. Here I compare the interpretations of these two (...) theorems. I argue that despite some apparent differences between the theorems, the status of the geodesic principle in geometrized Newtonian gravitation is, mutatis mutandis, strikingly similar to the relativistic case. (shrink)

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. 1 Introduction2 Preliminaries3 Three Extremist Interpretations3.1 Algebraic imperialism3.2 Hilbert space conservatism3.3 Universalism4 Parochial (...) Observables4.1 Parochial observables for the imperialist4.2 Parochial observables for the universalist5 Conclusion. (shrink)