Wigner's quantum-mechanical classification of particle-types in terms of irreducible representations of the Poincaré group has a classical analogue, which we extend in this paper. We study the compactness properties of the resulting phase spaces at fixed energy, and show that in order for a classical massless particle to be physically sensible, its phase space must feature a classical-particle counterpart of electromagnetic gauge invariance. By examining the connection between massless and massive particles in the massless limit, we also derive a classical-particle (...) version of the Higgs mechanism. (shrink)

This paper engages with the following closely related questions that have recently received some attention in the literature: what is the status of the equivalence principle in general relativity?; how does the metric field obtain its property of being able to act as a metric?; and is the metric of GR derivative on the dynamics of the matter fields? The paper attempts to complement these debates by studying the spin-2 approach to gravity. In particular, the paper argues that three lessons (...) can be drawn from the spin-2 approach: different from what is sometimes claimed in the literature, central aspects of the non-linear theory of GR are already derivable in classical spin-2 theory; in particular, ‘universal coupling’ can be considered a derived ‘theorem’ in both the classical and the quantum spin-2 approach; this provides new insights for the investigation of the equivalence principle; the ‘second miracle’ that Read et al. argue characterises GR is explained in the classical as well as in the quantum version of the spin-2 approach; the spin-2 approach allows for an ontological reduction of the metrical part of spacetime to the dynamics of matter fields. (shrink)

According to the Standard Model of particle physics, some gauge transformations are physical symmetries. That is, they are mathematical transformations that relate representatives of distinct physical states of affairs. This is at odds with the standard philosophical position according to which gauge transformations are an eliminable redundancy in a gauge theory's representational framework. In this paper I defend the Standard Model's treatment of gauge from an objection due to Richard Healey. If we follow the Standard Model in taking some gauge (...) transformations to be physical symmetries then we face the “strong CP problem”, but if we adopt the standard philosophical position on gauge then the strong CP problem dissolves. Healey offers this as a reason in favor of the standard philosophical view. However, as I argue here, following Healey's recommendation gives a theory that makes bad empirical predictions. (shrink)

This article suggests a fresh look at gauge symmetries, with the aim of drawing a clear line between the a priori theoretical considerations involved, and some methodological and empirical non-deductive aspects that are often overlooked. The gauge argument is primarily based on a general symmetry principle expressing the idea that a change of mathematical representation should not change the form of the dynamical law. In addition, the ampliative part of the argument is based on the introduction of new degrees of (...) freedom into the theory according to a methodological principle that is formulated here in terms of correspondence between passive and active transformations. To demonstrate how the two kinds of considerations work together in a concrete context, I begin by considering spatial symmetries in mechanics. I suggest understanding Mach's principle as a similar combination of theoretical, methodological and empirical considerations, and demonstrate the claim with a simple toy model. I then examine gauge symmetries as a manifestation of the two principles in a quantum context. I further show that in all of these cases the relational nature of physically significant quantities can explain the relevance of the symmetry principle and the way the methodology is applied. In the quantum context, the relevant relational variables are quantum phases. (shrink)

The elucidation of the gauge principle ‘‘is the most pressing problem in current philosophy of physics’’ said Michael Redhead in 2003. This paper argues for two points that contribute to this elucidation in the context of Yang–Mills theories. (1) Yang–Mills theories, including quantum electrodynamics, form a class. They should be interpreted together. To focus on electrodynamics is potentially misleading. (2) The essential role of gauge and BRST symmetries is to provide a local field theory that can be quantized and would (...) be equivalent to the quantization of the non-local reduced theory. If this is correct, the gauge symmetry is significant, not so much because it implies ontological consequences, but because it allows us to quantize theories that we would not be able to quantize otherwise. Thus, in the context of Yang–Mills theories, it is essentially a pragmatic principle. This does not seem to be the case for the gauge symmetry in general relativity. (shrink)

A systematic analysis is made of the relations between the symmetries of a classical field and the symmetries of the one-particle quantum system that results from quantizing that field in regimes where interactions are weak. The results are applied to gain a greater insight into the phenomenon of antimatter.

The constrained Hamiltonian formalism is recommended as a means for getting a grip on the concepts of gauge and gauge transformation. This formalism makes it clear how the gauge concept is relevant to understanding Newtonian and classical relativistic theories as well as the theories of elementary particle physics; it provides an explication of the vague notions of “local” and “global” gauge transformations; it explains how and why a fibre bundle structure emerges for theories which do not wear their bundle structure (...) on their sleeves; it illuminates the connections of the gauge concept to issues of determinism and what counts as a genuine “observable”; and it calls attention to problems which arise in attempting to quantize gauge theories. Some of the limitations and problematic aspects of the formalism are also discussed. (shrink)

I consider the question of how literally one can construe the “gauge argument,” which is the canonical means of understanding the putatively central import of local gauge symmetry principles for fundamental physics. As I argue, the gauge argument must be afforded a heuristic reading. Claims to the effect that the argument reflects a deep “logic of nature” must, for numerous reasons I discuss, be taken with a grain of salt.

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)

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)

This paper examines the so-called "gauge argument" sometimes used by physicists to motivate the introduction of gauge fields, here facilitated by an informal exposition of the fiber bundle formalism. The discussion suggests some preliminary ways of understanding the connection between gauge fields and interactions.

This article investigates and resolves the question whether gauge symmetry can display analogs of the famous Galileo’s ship scenario. In doing so, it builds on and clarifies the work of Greaves and Wallace on this subject.

Two approaches to understanding the idealizations that arise in the Aharonov–Bohm effect are presented. It is argued that a common topological approach, which takes the non-simply connected electron configuration space to be an essential element in the explanation and understanding of the effect, is flawed. An alternative approach is outlined. Consequently, it is shown that the existence and uniqueness of self-adjoint extensions of symmetric operators in quantum mechanics have important implications for philosophical issues. Also, the alleged indispensable explanatory role of (...) said idealizations is examined via a minimal model explanatory scheme. Last, the idealizations involved in the AB effect are placed in a wider philosophical context via a short survey of part of the literature on infinite and essential idealizations. (shrink)

The world appears to be well described by gauge theories; why? I suggest that gauge is more than mathematical redundancy. Gauge-dependent quantities can not be predicted, but there is a sense in which they can be measured. They describe “handles” though which systems couple: they represent real relational structures to which the experimentalist has access in measurement by supplying one of the relata in the measurement procedure itself. This observation leads to a physical interpretation for the ubiquity of gauge: it (...) is a consequence of a relational structure of physical quantities. (shrink)

In this paper, I propose a general framework for understanding renormalization by drawing on the distinction between effective and continuum Quantum Field Theories (QFTs), and offer a comprehensive account of perturbative renormalization on this basis. My central claim is that the effective approach to renormalization provides a more physically perspicuous, conceptually coherent and widely applicable framework to construct perturbative QFTs than the continuum approach. I also show how a careful comparison between the two approaches: (i) helps to dispel the mystery (...) surrounding the success of the renormalization procedure; (ii) clarifies the various notions of renormalizability; and (iii) gives reasons to temper Butterfield and Bouatta's claim that some continuum QFTs are ripe for metaphysical inquiry (Butterfield & Bouatta, 2014). (shrink)

Williams and J. Fraser have recently argued that effective field theory methods enable scientific realists to make more reliable ontological commitments in quantum field theory than those commonly made. In this paper, I show that the interpretative relevance of these methods extends beyond the specific context of QFT by identifying common structural features shared by effective theories across physics. In particular, I argue that effective theories are best characterized by the fact that they contain intrinsic empirical limitations, and I extract (...) from their structure one central interpretative constraint for making more reliable ontological commitments in different subfields of physics. While this is in principle good news, this constraint still raises a challenge for scientific realists in some contexts, and I bring the point home by focusing on Williams’s and J. Fraser’s defense of selective realism in QFT. (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)

Like moths attracted to a bright light, philosophers are drawn to glitz. So in discussing the notions of ‘gauge’, ‘gauge freedom’, and ‘gauge theories’, they have tended to focus on examples such as Yang–Mills theories and on the mathematical apparatus of fibre bundles. But while Yang–Mills theories are crucial to modern elementary particle physics, they are only a special case of a much broader class of gauge theories. And while the fibre bundle apparatus turned out, in retrospect, to be the (...) right formalism to illuminate the structure of Yang–Mills theories, the strength of this apparatus is also its weakness: the fibre bundle formalism is very flexible and general, and, as such, fibre bundles can be seen lurking under, over, and around every bush. What is needed is an explanation of what the relevant bundle structure is and how it arises, especially for theories that are not initially formulated in fibre bundle language. Here I will describe an approach that grows out of the conviction that, at least for theories that can be written in Lagrangian/Hamiltonian form, gauge freedom arises precisely when there are Lagrangian/Hamiltonian constraints of an appropriate character. This conviction is shared, if only tacitly, by that segment of the physics community that works on constrained Hamiltonian systems. (shrink)

The purpose of the paper is to explore different aspects of the covariance of non-relativistic quantum mechanics. First, doubts are expressed concerning the claim that gauge fields can be 'generated' by way of imposition of gauge covariance of the single-particle wave equation. Then a brief review is given of Galilean covariance in the general case of external fields, and the connection between Galilean boosts and gauge transformations. Under time-dependent translations the geometric phase associated with Schrödinger evolution is non-invariant, and the (...) significance of this result is briefly analysed. The covariance properties of Schrödinger dynamics are then brought to bear on certain versions of the modal interpretation of quantum mechanics. The conclusion that it is only relational properties that can be considered coordinate- or gauge-independent elements of reality is reinforced by appeal to the theory of quantum reference frames due to Aharonov and Kauffher. , Cambridge University Press ; pp. 45-70.). (shrink)

The classical field theories that underlie the quantum treatments of the electromagnetic, weak, and strong forces share a peculiar feature: specifying the initial state of the field determines the evolution of some degrees of freedom of the theory while leaving the evolution of some others wholly arbitrary. This strongly suggests that some of the variables of the standard state space lack physical content-intuitively, the space of states of such a theory is of higher dimension than the corresponding space of genuine (...) physical possibilities. The structure of such theories can helpfully be characterized in terms of the action of symmetry groups on their space of states; and the conceptual problems surrounding their strange behavior can be sharpened in light of the observation that it is usually possible to eliminate the redundant variables associated with these symmetries-which turn out to be precisely those variables whose evolution is unconstrained by the dynamical laws of the theory. This paper discusses this approach, uses it to frame questions about the interpretation of classical gauge theories, and to reflect (pessimistically) on our prospects of reaching satisfactory answers to these questions. (shrink)

The idea that gauge theory has `surplus' structure poses a puzzle: in one much discussed sense, this structure is redundant; but on the other hand, it is also widely held to play an essential role in the theory. In this paper, we employ category-theoretic tools to illuminate an aspect of this puzzle. We precisify what is meant by `surplus' structure by means of functorial comparisons with equivalence classes of gauge fields, and then show that such structure is essential for any (...) theory that represents a rich collection of physically relevant fields which are `local' in nature. (shrink)

This article examines the implications of the holonomy interpretation of classical electromagnetism. As has been argued by Richard Healey and Gordon Belot, classical electromagnetism on this interpretation evinces a form of nonseparability, something that otherwise might have been thought of as confined to nonclassical physics. Consideration of the differences between this classical nonseparability and quantum nonseparability shows that the nonseparability exhibited by the classical electromagnetism on the holonomy interpretation is closer to separability than might at first appear.

Given its importance in modern physics, philosophers of science have paid surprisingly little attention to the subject of symmetries and invariances, and they have largely neglected the subtopic of symmetry breaking. I illustrate how the topic of laws and symmetries brings into fruitful interaction technical issues in physics and mathematics with both methodological issues in philosophy of science, such as the status of laws of physics, and metaphysical issues, such as the nature of objectivity.

I address the view that the classical electromagnetic potentials are shown by the Aharonov–Bohm effect to be physically real. I give a historico-philosophical presentation of this view and assess its prospects, more precisely than has so far been done in the literature. Taking the potential as physically real runs prima facie into ‘gauge-underdetermination’: different gauge choices represent different physical states of affairs and hence different theories. This fact is usually not acknowledged in the literature, neither by proponents nor by opponents (...) of the potentials view. I then illustrate this theme by what I take to be the basic insight of the AB effect for the potentials view, namely that the gauge equivalence class that directly corresponds to the electric and magnetic fields is too wide, i.e., the Narrow Equivalence Class encodes additional physical degrees of freedom: these only play a distinct role in a multiply-connected space. There is a trade-off between explanatory power and gauge symmetries. On the one hand, this narrower equivalence class gives a local explanation of the AB effect in the sense that the phase is incrementally picked up along the path of the electron. On the other hand, locality is not satisfied in the sense of signal locality, viz. the finite speed of propagation exhibited by electric and magnetic fields. It is therefore intellectually mandatory to seek desiderata that will distinguish even within these narrower equivalence classes, i.e. will prefer some elements of such an equivalence class over others. I consider various formulations of locality, such as Bell locality, local interaction Hamiltonians, and signal locality. I show that Bell locality can only be evaluated if one fixes the gauge freedom completely. Yet, an explanation in terms of signal locality can be accommodated by the Lorenz gauge: the potentials propagate in waves at finite speed. I therefore suggest the Lorenz gauge potentials theory—an even narrower gauge equivalence relation—as the ontology of electrodynamics. (shrink)

It is often said that the Aharonov-Bohm effect shows that the vector potential enjoys more ontological significance than we previously realized. But how can a quantum-mechanical effect teach us something about the interpretation of Maxwell's theory—let alone about the ontological structure of the world—when both theories are false? I present a rational reconstruction of the interpretative repercussions of the Aharonov-Bohm effect, and suggest some morals for our conception of the interpretative enterprise.

Haag's theorem has been interpreted as establishing that quantum field theory cannot consistently represent interacting fields. Earman and Fraser have clarified how it is possible to give mathematically consistent calculations in scattering theory despite the theorem. However, their analysis does not fully address the worry raised by the result. In particular, I argue that their approach fails to be a complete explanation of why Haag's theorem does not undermine claims about the empirical adequacy of particular quantum field theories. I then (...) show that such empirical adequacy claims are protected from Haag's result by the techniques that are required to obtain theoretical predictions for realistic experimental observables. I conclude by showing how Haag's theorem is illustrative of a general tension between the foundational significance of results that can be obtained in perturbation theory and non-perturbative characterizations of the content of quantum field theory. (shrink)

Haag’s theorem has been interpreted as establishing that quantum field theory cannot consistently represent interacting fields. Earman and Fraser have clarified how it is possible to give mathematically consistent calculations in scattering theory despite the theorem. However, their analysis does not fully address the worry raised by the result. In particular, I argue that their approach fails to be a complete explanation of why Haag’s theorem does not undermine claims about the empirical adequacy of particular quantum field theories. I then (...) show that such empirical adequacy claims are protected from Haag’s result by the techniques that are required to obtain theoretical predictions for realistic experimental observables. I conclude by showing how Haag’s theorem is illustrative of a general tension between the foundational significance of results that can be obtained in perturbation theory and non-perturbative characterizations of the content of quantum field theory. 1 Introduction2 Haag’s Theorem and the Interaction Picture3 Earman and Fraser on the Success of Scattering Theory4 Haag’s Theorem and Empirical Adequacy5 Conclusion. (shrink)

Richard Healey argues that the Aharonov- Bohm effect demands the recognition of either nonlocal or nonseparable physics in much the way that violations of Bell's inequality do. A careful examination of the effect and the arguments, though, shows that Healey's interpretation of the Aharonov- Bohm effect depends critically on his interpretation of gauge theories, and that the analogy with violations of Bell's inequalities fails.

Richard Healey argues that the Aharonov-Bohm effect demands the recognition of either nonlocal or nonseparable physics in much the way that violations of Bell's inequality do. A careful examination of the effect and the arguments, though, shows that Healey's interpretation of the Aharonov-Bohm effect depends critically on his interpretation of gauge theories, and that the analogy with violations of Bell's inequalities fails.

I consider the question of how literally one can construe the “gauge argument,” which is the canonical means of understanding the putatively central import of local gauge symmetry principles for fundamental physics. As I argue, the gauge argument must be afforded a heuristic reading. Claims to the effect that the argument reflects a deep “logic of nature” must, for numerous reasons I discuss, be taken with a grain of salt.

The aim of this paper is twofold: First, to present an examination of the principles underlying gauge field theories. I shall argue that there are two principles directly connected to the two well-known theorems of Emmy Noether concerning global and local symmetries of the free matter-field Lagrangian, in the following referred to as "conservation principle" and "gauge principle". Since both these express nothing but certain symmetry features of the free field theory, they are not sufficient to derive a true interaction (...) coupling to a new gauge field. For this purpose it is necessary to advocate a third, truly empirical principle which may be understood as a generalization of the equivalence principle. The second task of the paper is to deal with the ontological question concerning the reality status of gauge potentials in the light of the proposed logical structure of gauge theories. A nonlocal interpretation of topological effects in gauge theories and, thus, the non-reality of gauge potentials in accordance with the generalized equivalence principle will be favoured. (shrink)

At first sight the Aharonov- Bohm effect appears nonlocal, though not in the way EPR/Bell correlations are generally acknowledged to be nonlocal. This paper applies an analysis of nonlocality to the Aharonov- Bohm effect to show that its peculiarities may be blamed either on a failure of a principle of local action or on a failure of a principle of separability. Different interpretations of quantum mechanics disagree on how blame should be allocated. The parallel between the Aharonov- Bohm effect and (...) violations of Bell inequalities turns out to be so close that a balanced assessment of the nature and significance of quantum nonlocality requires a detailed study of both effects. (shrink)

Local gauge theories are in a complicated relationship with boundaries. Whereas fixing the gauge can often shave off unwanted redundancies, the coupling of different bounded regions requires the use of gauge-variant elements. Therefore, coupling is inimical to gauge-fixing, as usually understood. This resistance to gauge-fixing has led some to declare the coupling of subsystems to be the \textit{raison d'\^etre} of gauge \cite{RovelliGauge2013}. Indeed, while gauge-fixing is entirely unproblematic for a single region without boundary, it introduces arbitrary boundary conditions on the (...) gauge degrees of freedom themselves---these conditions lack a physical interpretation when they are not functionals of the original fields. Such arbitrary boundary choices creep into the calculation of charges through Noether's second theorem, muddling the assignment of physical charges to local gauge symmetries. The confusion brewn by gauge at boundaries is well-known, and must be contended with both conceptually and technically. It may seem natural to replace the arbitrary boundary choice with new degrees of freedom, for using such a device we resolve some of these confusions while leaving no gauge-dependence on the computation of Noether charges \cite{DonnellyFreidel}. But, concretely, such boundary degrees of freedom are rather arbitrary---they have no relation to the original field-content of the field theory. How should we conceive of them? Here I will explicate the problems mentioned above and illustrate a possible resolution: in a recent series of papers \cite{GomesRiello2016, GomesRiello2018, GomesHopfRiello} the notion of a connection-form was put forward and implemented in the field-space of gauge theories. Using this tool, a modified version of symplectic geometry---here called `horizontal'---is possible. Independently of boundary conditions, this formalism bestows to each region a physically salient, relational notion of charge: the horizontal Noether charge. Meanwhile, as required, the connection-form mediates an irenic composition of regions, one compatible with the attribution of horizontal Noether charges to each region. Thes aims of this paper are to highlight the boundary issues in the treatment of gauge, and to discuss how gauge theory may be conceptually clarified in light of a resolution to these issues. (shrink)

The article proposes a novel approach to the much discussed question of which symmetries have ‘direct empirical significance’ and which do not. The approach is based on a development of a recently proposed framework by Hilary Greaves and David Wallace, who claim that, contrary to the standard folklore among philosophers of physics, ‘local’ symmetries may have direct empirical significance no less than ‘global’ ones. Partly vindicating the standard folklore, a result is derived here from a number of plausible assumptions, that (...) states that local symmetries can indeed have no direct empirical significance. Ways to interpret the result are considered and possible morals are outlined. 1 Introduction2 Greaves and Wallace on Interior versus Non-interior Symmetries3 Elaborating on the Greaves/Wallace Framework4 The Result5 Problems with ’t Hooft’s Beam Splitter6 Summary and Conclusion. (shrink)

The perturbative approach to quantum field theory has long been viewed with suspicion by philosophers of science. This article offers a diagnosis of its conceptual problems. Drawing on Norton’s discussion of the notion of approximation I argue that perturbative QFT ought to be understood as producing approximations without specifying an underlying QFT model. This analysis leads to a reassessment of common worries about perturbative QFT. What ends up being the key issue with the approach on this picture is not mathematical (...) rigour, or the threat of inconsistency, but the need for a physical explanation of its empirical success. 1Three Worries about Perturbative Quantum Field Theory2The Perturbative Formalism 2.1Expanding the S-matrix2.2Perturbative renormalization3Approximations and Models4Perturbative Quantum Field Theory Produces Approximations5The Real Problem. (shrink)

Elay Shech and John Earman have recently argued that the common topological interpretation of the Aharonov–Bohm (AB) effect is unsatisfactory because it fails to justify idealizations that it presupposes. In particular, they argue that an adequate account of the AB effect must address the role of boundary conditions in certain ideal cases of the effect. In this paper I defend the topological interpretation against their criticisms. I consider three types of idealization that might arise in treatments of the effect. First, (...) Shech takes the AB effect to involve an idealization in the form of a singular limit, analogous to the thermodynamic limit in statistical mechanics. But, I argue, the AB effect itself features no singular limits, so it doesn’t involve idealizations in this sense. Second, I argue that Shech and Earman’s emphasis on the role of boundary conditions in the AB effect is misplaced. The idealizations that are useful in connecting the theoretical description of the AB effect to experiment do interact with facts about boundary conditions, but none of these idealizations are presupposed by the topological interpretation of the effect. Indeed, the boundary conditions for which Shech and demands justification are incompatible with some instances of the AB effect, so the topological interpretation ought not justify them. Finally, I address the role of the non-relativistic approximation usually presumed in discussions of the AB effect. This approximation is essential if—as the topological interpretation supposes—the AB effect constrains and justifies a relativistic theory of the electromagnetic interaction. In this case the ends justify the means. So the topological view presupposes no unjustified idealizations. (shrink)

We analyze the geometric foundations of classical Yang-Mills theory by studying the relationships between internal relativity, locality, global/local invariance, and background independence. We argue that internal relativity and background independence are the two independent defining principles of Yang-Mills theory. We show that local gauge invariance -heuristically implemented by means of the gauge argument- is a direct consequence of internal relativity. Finally, we analyze the conceptual meaning of BRST symmetry in terms of the invariance of the gauge fixed theory under general (...) local gauge transformations. (shrink)