I analyse the conceptual and mathematical foundations of Lagrangian quantum field theory (QFT) (that is, the ‘naive’ (QFT) used in mainstream physics, as opposed to algebraic quantum field theory). The objective is to see whether Lagrangian (QFT) has a sufficiently firm conceptual and mathematical basis to be a legitimate object of foundational study, or whether it is too ill-defined. The analysis covers renormalisation and infinities, inequivalent representations, and the concept of localised states; the conclusion is that Lagrangian QFT (at least (...) as described here) is a perfectly respectable physical theory, albeit somewhat different in certain respects from most of those studied in foundational work. (shrink)

An examination is made of the way in which particles emerge from linear, bosonic, massive quantum field theories. Two different constructions of the one-particle subspace of such theories are given, both illustrating the importance of the interplay between the quantum-mechanical linear structure and the classical one. Some comments are made on the Newton-Wigner representation of one-particle states, and on the relationship between the approach of this paper and those of Segal, and of Haag and Ruelle.

The current status of localization and related concepts, especially localized statevectors and position operators, within Lorentz-invariant Quantum Theory (LIQT) is ambiguous and controversial.1 Ever since the early work of Newton & Wigner (1949), and the subsequent extensions of their work, particularly by Hegerfeldt (1974, 1985), it has seemed impossible to identify localized statevectors or position operators in LIQT that were not counterintuitive—strange—in one way or another; the most striking strange property being the superluminal propagation of the localized states. The ambiguous (...) and controversial status of these concepts arises from the varied reactions that workers have to the strange properties. Some regard them, particularly the superluminal propagation, as utterly unacceptable, and conclude that no precise concepts of localized statevectors and position operators exist in LIQT (Wigner 1973, p. 325-327; 1983, pp. 310-313; Malament 1996). Others downplay the whole issue, on the grounds that current theoretical and experimental practice has no need of sharply formulated concepts of localization, localized states etc. (Birrell & Davies 1984, pp. 48-59; Haag 1992, p. 34). Still others, including ourselves, believe that the superluminal propagation does not lead to causal contradictions, and is not in conflict with available empirical data: so that it should not be ruled out. We also believe that the other strange properties are merely unfamiliar novelties of LIQT which we must simply learn to accept. (Like the superluminal propagation, they do not lead to causal contradictions, nor conflict with available data.) So in this paper, we aim to help remove the ambiguous and controversial status of localization concepts in LIQT. Overall, our strategy will be to assess a number of localization concepts, and thereby clarify the often complex relationships among them. (shrink)

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. (shrink)

Structural realism first emerged as an epistemological thesis aimed to avoid the socalled pessimistic metainduction on the history of science. Some authors, however, have suggested that the preservation of structure across theory change is best explained by endorsing the metaphysical thesis that structure is all there is. Although the possibility of this latter, ‘ontic’ form of structural realism has been extensively debated, not much has been said concerning its justification. In this article, I distinguish between two arguments in favor of (...) ontic structural realism that can be reconstructed from the literature and find both of them wanting. (shrink)

The status of the vacuum in relativistic quantum field theory is examined. A sharp distinction arises between the global vacuum and the local vacuum. The concept of local number density is critically assessed. The global vacuum state implies fluctuations for all local observables. Correlations between such fluctuations in space-like separated regions of space-time are discussed and the existence of correlations which are maximal in a certain sense is remarked on, independently of how far apart those regions may be. The analogy (...) with the mirror-image correlations in the singlet state of two spin-1/2 particles is explained. The connection between these maximal correlations and the well-known violation of the Bell inequality in the vacuum state is discussed, together with the way in which the existence of these correlations might be exploited in developing a vacuum version of the Einstein-Podolsky-Rosen argument. The recent relativistic formulation of the Einstein-Podolsky-Rosen argument by Ghirardi and Grassi is critically assessed with particular reference to the vacuum case. (shrink)

It is argued that recent discussion of the principle of the identity of indiscernibles (PII) and quantum mechanics has lost sight of the broader philosophical motivation and significance of PII and that the `received view' of the status of PII in the light of quantum mechanics survives recent criticisms of it by Muller, Saunders, and Seevinck.

Every Thing Must Go aruges that the only kind of metaphysics that can contribute to objective knowledge is one based specifically on contemporary science as it ...

It is shown that the Hilbert-Bernays-Quine principle of identity of indiscernibles applies uniformly to all the contentious cases of symmetries in physics, including permutation symmetry in classical and quantum mechanics. It follows that there is no special problem with the notion of objecthood in physics. Leibniz's principle of sufficient reason is considered as well; this too applies uniformly. But given the new principle of identity, it no longer implies that space, or atoms, are unreal.

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)

Most philosophical discussion of the particle concept that is afforded by quantum field theory has focused on free systems. This paper is devoted to a systematic investigation of whether the particle concept for free systems can be extended to interacting systems. The possible methods of accomplishing this are considered and all are found unsatisfactory. Therefore, an interacting system cannot be interpreted in terms of particles. As a consequence, quantum field theory does not support the inclusion of particles in our ontology. (...) In contrast to much of the recent discussion on the particle concept derived from quantum field theory, this argument does not rely on the assumption that a particulate entity be localizable. (shrink)

After some suggestions about how to clarify the confused metaphysical distinctions between dispositional and non-dispositional or categorical properties, I review some of the main interpretations of QM in order to show that – with the relevant exception of Bohm’s minimalist interpretation – quantum ontology is irreducibly dispositional. Such an irreducible character of dispositions must be explained differently in different interpretations, but the reducibility of the contextual properties in the case of Bohmian mechanics is guaranteed by the fact that the positions (...) of particles play the role of the categorical basis, a role that in other interpretations cannot be filled by anything else. In Bohr’s and Everett-type interpretations, dispositionalism is instrumentalism in disguise. (shrink)

I examine some problems standing in the way of a successful `field interpretation' of quantum field theory. The most popular extant proposal depends on the Hilbert space of `wavefunctionals.' But since wavefunctional space is unitarily equivalent to many-particle Fock space, two of the most powerful arguments against particle interpretations also undermine this form of field interpretation. IntroductionField Interpretations and Field OperatorsThe Wavefunctional InterpretationFields and Inequivalent Representations 4.1. The Rindler representation 4.2. Spontaneous symmetry breaking 4.3. Coherent representations The Fate of Fields (...) in Interacting QFTConclusions. (shrink)

We demonstrate that the quantum-mechanical description of composite physical systems of an arbitrary number of similar fermions in all their admissible states, mixed or pure, for all finite-dimensional Hilbert spaces, is not in conflict with Leibniz's Principle of the Identity of Indiscernibles (PII). We discern the fermions by means of physically meaningful, permutation-invariant categorical relations, i.e. relations independent of the quantum-mechanical probabilities. If, indeed, probabilistic relations are permitted as well, we argue that similar bosons can also be discerned in all (...) their admissible states; but their categorical discernibility turns out to be a state-dependent matter. In all demonstrated cases of discernibility, the fermions and the bosons are discerned (i) with only minimal assumptions on the interpretation of quantum mechanics; (ii) without appealing to metaphysical notions, such as Scotusian haecceitas, Lockean substrata, Postian transcendental individuality or Adamsian primitive thisness; and (iii) without revising the general framework of classical elementary predicate logic and standard set theory, thus without revising standard mathematics. This confutes: (a) the currently dominant view that, provided (i) and (ii), the quantum-mechanical description of such composite physical systems always conflicts with PII; and (b) that if PII can be saved at all, the only way to do it is by adopting one or other of the thick metaphysical notions mentioned above. Among the most general and influential arguments for the currently dominant view are those due to Schrodinger, Margenau, Cortes, Dalla Chiara, Di Francia, Redhead, French, Teller, Butterfield, Giuntini, Mittelstaedt, Castellani, Krause and Huggett. We review them succinctly and critically as well as related arguments by van Fraassen and Massimi. (shrink)

The importance of the Unruh effect lies in the fact that, together with the related Hawking effect, it serves to link the three main branches of modern physics: thermal/statistical physics, relativity theory/gravitation, and quantum physics. However, different researchers can have in mind different phenomena when they speak of “the Unruh effect” in flat spacetime and its generalization to curved spacetimes. Three different approaches are reviewed here. They are shown to yield results that are sometimes concordant and sometimes discordant. The discordance (...) is disconcerting only if one insists on taking literally the definite article in “the Unruh effect.” It is argued that the role of linking different branches of physics is better served by taking “the Unruh effect” to designate a family of related phenomena. The relation between the Hawking effect and the generalized Unruh effect for curved spacetimes is briefly discussed. (shrink)

Th is paper looks at quantum theory and the Standard Model of elementary particles with a view to suggesting a detailed empirical implementation of trope ontology in harmony with our best physics.

This paper expands on, and provides a qualified defence of, Arthur Fine's selective interactions solution to the measurement problem. Fine's approach must be understood against the background of the insolubility proof of the quantum measurement. I first defend the proof as an appropriate formal representation of the quantum measurement problem. The nature of selective interactions, and more generally selections, is then clarified, and three arguments in their favour are offered. First, selections provide the only known solution to the measurement problem (...) that does not relinquish any of the explicit premises of the insolubility proofs. Second, unlike some no-collapse interpretations of quantum mechanics, selections suffer no difficulties with non-ideal measurements. Third, unlike most collapse interpretations, selections can be independently motivated by an appeal to quantum propensities. IntroductionThe problem of quantum measurement2.1 The ignorance interpretation of mixtures2.2 The eigenstate–eigenvalue link2.3 The quantum theory of measurementThe insolubility proof of the quantum measurement3.1 Some notation3.2 The transfer of probability condition (TPC)3.3 The occurrence of outcomes condition (OOC)A defence of the insolubility proof4.1 Stein's critique4.2 Ignorance is not required4.3 The problem of quantum measurement is an idealisationSelections5.1 Representing dispositional properties5.2 Selections solve the measurement problem5.3 Selections and ignoranceNon-ideal selections6.1 No-collapse interpretations and non-ideal measurements6.2 Exact and approximate measurements6.3 Selections for non-ideal interactions6.4 Approximate selections6.5 Implications for ignoranceSelective interactions test quantum propensities7.1 Equivalence classes as physical ‘aspects’: a critique7.2 Quantum dispositions7.3 Selections as a propensity modal interpretation7.4 A comparison with Popper's propensity interpretation. (shrink)

We maximally extend the quantum‐mechanical results of Muller and Saunders ( 2008 ) establishing the ‘weak discernibility’ of an arbitrary number of similar fermions in finite‐dimensional Hilbert spaces. This confutes the currently dominant view that ( A ) the quantum‐mechanical description of similar particles conflicts with Leibniz’s Principle of the Identity of Indiscernibles (PII); and that ( B ) the only way to save PII is by adopting some heavy metaphysical notion such as Scotusian haecceitas or Adamsian primitive thisness. We (...) take sides with Muller and Saunders ( 2008 ) against this currently dominant view, which has been expounded and defended by many. *Received July 2008; revised May 2009. †To contact the authors, please write to: F. A. Muller, Faculty of Philosophy, Erasmus University Rotterdam, Burg. Oudlaan 50, H5–16, 3062 PA Rotterdam, The Netherlands; e‐mail: [email protected] , and Institute for the History and Foundations of Science, Utrecht University, Budapestlaan 6, IGG–3.08, 3584 CD Utrecht, The Netherlands; e‐mail: [email protected] . M. P. Seevinck, Institute for the History and Foundations of Science, Utrecht University, Budapestlaan 6, IGG–3.08, 3584 CD Utrecht, The Netherlands; e‐mail: [email protected]. (shrink)

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)

This paper reviews four attempts throughout the history of quantum mechanics to explicitly employ dispositional notions in order to solve the quantum paradoxes, namely: Margenau's latencies, Heisenberg's potentialities, Maxwell's propensitons, and the recent selective propensities interpretation of quantum mechanics. Difficulties and challenges are raised for all of them, and it is concluded that the selective propensities approach nicely encompasses the virtues of its predecessors. Finally, some strategies are discussed for reading similar dispositional notions into two other well-known interpretations of quantum (...) mechanics, namely the GRW interpretation and Bohmian mechanics. (shrink)

We discuss the intertwined topics of Fulling non‐uniqueness and the Unruh effect. The Fulling quantization, which is in some sense the natural one for an observer uniformly accelerated through Minkowski spacetime to adopt, is often heralded as a quantization of the Klein‐Gordon field which is both physically relevant and unitarily inequivalent to the standard Minkowski quantization. We argue that the Fulling and Minkowski quantizations do not constitute a satisfactory example of physically relevant, unitarily inequivalent quantizations, and indicate what it would (...) take to settle the open question of whether a satisfactory example exists. A popular gloss on the Unruh effect has it that an observer uniformly accelerated through the Minkowski vacuum experiences a thermal flux of Rindler quanta. Taking the Unruh effect, so glossed, to establish that the notion of particle must be relativized to a reference frame, some would use it to demote the particle concept from fundamental status. We explain why technical results do not support the popular gloss and why the attempted demotion of the particle concept is both unsuccessful and unnecessary. Fulling non‐uniqueness and the Unruh effect merit attention despite these negative verdicts because they provide excellent vehicles for illustrating key concepts of quantum field theory and for probing foundational issues of considerable philosophical interest. (shrink)

In this paper questions about vacuum fluctuations in local measurements, and the correlations between such fluctuations, are discussed. It is shown that maximal correlations always exist between suitably chosen local projection operators associated with spacelike separated regions of space-time, however far apart these regions may be. The connection of this result with the well-known Fregenhagen bound showing exponential decay of correlations with distance is explained, and the relevance of the discussion to the question “What do particle detectors detect?” is addressed.

Further arguments are offered in defence of the position that the variant of quantum field theory (QFT) that should be subject to interpretation and foundational analysis is axiomatic quantum field theory. I argue that the successful application of renormalization group (RG) methods within alternative formulations of QFT illuminates the empirical content of QFT, but not the theoretical content. RG methods corroborate the point of view that QFT is a case of the underdetermination of theory by empirical evidence. I also urge (...) caution in extrapolating interpretive conclusions about QFT from the application of RG methods in other contexts (e.g., condensed matter physics). This paper replies to criticisms advanced by David Wallace, but aims to be self-contained. (shrink)

Although the philosophical literature on the foundations of quantum field theory recognizes the importance of Haag’s theorem, it does not provide a clear discussion of the meaning of this theorem. The goal of this paper is to make up for this deficit. In particular, it aims to set out the implications of Haag’s theorem for scattering theory, the interaction picture, the use of non-Fock representations in describing interacting fields, and the choice among the plethora of the unitarily inequivalent representations of (...) the canonical commutation relations for free and interacting fields. (shrink)

Quantum field theory (QFT) presents a genuine example of the underdetermination of theory by empirical evidence. There are variants of QFT—for example, the standard textbook formulation and the rigorous axiomatic formulation—that are empirically indistinguishable yet support different interpretations. This case is of particular interest to philosophers of physics because, before the philosophical work of interpreting QFT can proceed, the question of which variant should be subject to interpretation must be settled. New arguments are offered for basing the interpretation of QFT (...) on a rigorous axiomatic variant of the theory. The pivotal considerations are the roles that consistency and idealization play in this case. *Received June 2009; revised August 2009. †To contact the author, please write to: Department of Philosophy, University of Waterloo, 200 University Avenue West, Waterloo, ON N2L 3G1, Canada; e‐mail: [email protected]. (shrink)

Through the explicit introduction of hyperplane dependence as a form of relativistic dynamical evolution, we construct a manifestly covariant description of a single positive energy particle interacting with any one of a large class of “moving” external potentials. In1+1 dimensions, the simplified mathematics allows us to display a number of general properties of solutions to the equations of motion for evolution on hyperplanes.

Saunders has recently claimed that “identical quantum particles” with an anti-symmetric state (fermions) are weakly discernible objects, just like irreflexively related ordinary objects in situations with perfect symmetry (Black’s spheres, for example). Weakly discernible objects have all their qualitative properties in common but nevertheless differ from each other by virtue of (a generalized version of) Leibniz’s principle, since they stand in relations an entity cannot have to itself. This notion of weak discernibility has been criticized as question begging, but we (...) defend and accept it for classical cases likes Black’s spheres. We argue, however, that the quantum mechanical case is different. Here the application of the notion of weak discernibility indeed is question begging and in conflict with standard interpretational ideas. We conclude that the introduction of the conceptual resource of weak discernibility does not change the interpretational status quo in quantum mechanics. (shrink)

I argue that algebraic quantum field theory (AQFT) permits an undisturbed view of the right ontology for fundamental physics, whereas standard (or Lagrangian) QFT offers different mutually incompatible ontologies.My claim does not depend on the mathematical inconsistency of standard QFT but on the fact that AQFT has the same concerns as ontology, namely categorical parsimony and a clearly structured hierarchy of entities.

Field theories have been central to physics over the last 150 years, and there are several theories in contemporary physics in which physical fields play key causal and explanatory roles. This paper proposes a novel field trope-bundle (FTB) ontology on which fields are composed of bundles of particularized property instances, called tropes and goes on to describe some virtues of this ontology. It begins with a critical examination of the dominant view about the ontology of fields, that fields are properties (...) of a substantial substratum. (shrink)