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)

Not all symmetries are on a par. For instance, within Newtonian mechanics, we seem to have a good grasp on the empirical significance of boosts, by applying it to subsystems. This is exemplified by the thought experiment known as Galileo’s ship: the inertial state of motion of a ship is immaterial to how events unfold in the cabin, but is registered in the values of relational quantities such as the distance and velocity of the ship relative to the shore. But (...) the significance of gauge symmetries seems less clear. For example, can gauge transformations in Yang-Mills theory—taken as mere descriptive redundancy—exhibit a similar relational empirical significance as the boosts of Galileo’s ship? This question has been debated in the last fifteen years in philosophy of physics. I will argue that the answer is ‘yes’, but only for a finite subset of gauge transformations, and under special conditions. Under those conditions, we can mathematically identify empirical significance with a failure of supervenience: the state of the Universe is not uniquely determined by the intrinsic state of its isolated subsystems. Empirical significance is therefore encoded in those relations between subsystems that stand apart from their intrinsic states. (shrink)

We develop some ideas about gauge symmetry in the context of Maxwell’s theory of electromagnetism in the Hamiltonian formalism. One great benefit of this formalism is that it pairs momentum and configurational degrees of freedom, so that a decomposition of one side into subsets can be translated into a decomposition of the other. In the case of electromagnetism, this enables us to pair degrees of freedom of the electric field with degrees of freedom of the vector potential. Another benefit is (...) that the formalism algorithmically identifies subsets of the equations of motion that represent time-dependent symmetries. For electromagnetism, these two benefits allow us to define gauge-fixing in parallel to special decompositions of the electric field. More specifically, we apply the Helmholtz decomposition theorem to split the electric field into its Coulombic and radiative parts, and show how this gives a special role to the Coulomb gauge (i.e. div \((\mathbf{A}) = 0\) ). We relate this argument to Maudlin’s (Entropy, 2018. https://doi.org/10.3390/e20060465 ) discussion, which advocated the Coulomb gauge. (shrink)

in Dirac's classical theory of the electron—is causally non-local. I distinguish two distinct causal locality principles and argue, using Dirac's theory as my main case study, that neither can be reduced to a non-causal principle of local determinism.

The paper investigates possible readings of the later Heisenberg's remarks on the nature of quantum states. It discusses, in particular, whether Heisenberg should be seen as a proponent of the epistemic conception of states – the view that quantum states are not descriptions of quantum systems but rather reflect the state assigning observers' epistemic relations to these systems. On the one hand, it seems plausible that Heisenberg subscribes to that view, given how he defends the notorious "collapse of the wave (...) function" by relating it to a sudden change in the epistemic situation of the observer registering a measured result. On the other hand, his remarks on quantum probabilities as "potentia" or "objective tendencies" are difficult to reconcile with such a reading. The accounts that are attributed to Heisenberg by the different possible readings considered are subjected to closer scrutiny; at the same time, their respective virtues and problems are discussed. _German_ Diese Arbeit untersucht mögliche Lesarten von Heisenbergs späten Bemerkungen über die Natur von Quantenzuständen. Insbesondere wird die Frage diskutiert, ob Heisenberg als Vertreter der epistemischen Auffassung von Quantenzuständen gelten kann – der Idee, dass Quantenzustände nicht Beschreibungen der objektiven Eigenschaften von Quantensystemen sind sondern die epistemischen Beziehungen von Beobachtern zu diesen Systemen widerspiegeln. Einerseits erscheint es plausibel, dass Heisenberg dieser Sichtweise zustimmt, wenn man sich ansieht, wie er den berüchtigten,,Kollaps der Wellenfunktion" verteidigt, indem er ihn mit einer plötzlichen Änderung in der Kenntnis des ein Messergebnis registrierenden Beobachters in Zusammenhang bringt. Andererseits sind seine Bemerkungen über quantenmechanische Wahrscheinlichkeiten als,,Potentia" oder,,objektive Tendenzen" mit einer solchen Lesart nur schwer in Einklang zu bringen. Die Positionen, die Heisenberg den verschiedenen möglichen Lesarten zufolge vertritt, werden eingehenden Untersuchungen unterzogen; gleichzeitig werden ihre jeweiligen Vorzüge und Probleme diskutiert. (shrink)

Based on three common interpretive commitments in general relativity, I raise a conceptual problem for the usual identification, in that theory, of timelike curves as those that represent the possible histories of particles in spacetime. This problem affords at least three different solutions, depending on different representational and ontological assumptions one makes about the nature of particles, fields, and their modal structure. While I advocate for a cautious pluralism regarding these options, I also suggest that re-interpreting particles as field processes (...) offers the most promising route for natural integration with the physics of material phenomena, including quantum theory. (shrink)

In discussions of the Aharonov-Bohm effect, Healey and Lyre have attributed reality to loops $\sigma_0$ (or hoops $[\sigma_0]$), since the electromagnetic potential $A$ is currently unmeasurable and can therefore be transformed. I argue that $[A]=[A+d\lambda]_{\lambda}$ and the hoop $[\sigma_0]$ are related by a meaningful duality, so that however one feels about $[A]$ (or any potential $A\in[A]$), it is no worse than $[\sigma_0]$ (or any loop $\sigma_0\in[\sigma_0]$): no ontological firmness is gained by retreating to the loops, which are just as flimsy (...) as the potentials. And one wonders how the unmeasurability of one entity can invest another with physical reality; would an eventual observation of $A$ dissolve $\sigma_0$, consigning it to a realm of incorporeal mathematical abstractions? The reification of loops rests on the potential's ''gauge dependence''; which in turn rests on its unmeasurability; which is too shaky and arbitrary a notion to carry so much weight. (shrink)

In the philosophical literature on Yang-Mills theories, field formulations are taken to have more structure and to be local, while curve-based formulations are taken to have less structure and to be nonlocal. I formalize the notion of locality at issue and show that theories with less structure are nonlocal. However, the amount of structure had by some formulation is independent of whether it uses fields or curves. The relevant difference in structure is not a difference in set-theoretic structure. Rather, it (...) is a difference in the structure of the category of models of the theory. (shrink)

This paper criticizes the traditional philosophical account of the quantization of gauge theories and offers an alternative. On the received view, gauge theories resist quantization because they feature distinct mathematical representatives of the same physical state of affairs. This resistance is overcome by a sequence of ad hoc modifications, justified in part by reference to semiclassical electrodynamics. Among other things, these modifications introduce "ghosts": particles with unphysical properties which do not appear in asymptotic states and which are said to be (...) purely a notational convenience. I argue that this sequence of modifications is unjustified and inadequate, making it a poor basis for the interpretation of ghosts. I then argue that gauge theories can be quantized by the same method as any other theory. On this account, ghosts are not purely notation: they are coordinates on the classical configuration space of the theory—specifically, on its gauge structure. This interpretation does not fall prey to the standard philosophical arguments against the significance of ghosts, due to Weingard. Weingard’s argumentative strategy, properly applied, in fact tells in favor of ghosts’ physical significance. (shrink)

I argue that, contrary to the recent claims of physicists and philosophers of physics, general relativity requires no interpretation in any substantive sense of the term. I canvass the common reasons given in favor of the alleged need for an interpretation, including the difficulty in coming to grips with the physical significance of diffeomorphism invariance and of singular structure, and the problems faced in the search for a theory of quantum gravity. I find that none of them shows any defect (...) in our comprehension of general relativity as a physical theory. I conclude by comparing general relativity with quantum mechanics, a theory that manifestly does stand in need of an interpretation in an important sense. Although many aspects of the conceptual structure of general relativity remain poorly understood, it suffers no incoherence in its formulation as a physical theory that only an ‘interpretation’ could resolve. *Received November 2007; revised February 2009. †To contact the author, please write to: Center for Philosophy of Science, University of Pittsburgh, 817 Cathedral of Learning, Pittsburgh, PA 15260; e‐mail: [email protected] . When science starts to be interpretive it is more unscientific even than mysticism. (D. H. Lawrence, “Self‐Protection”). (shrink)

It has sometimes been suggested that quantum phenomena exhibit a characteristic holism or nonseparability, and that this distinguishes quantum from classical physics. One puzzling quantum phenomenon arises when one performs measurements of spin or polarization on certain separated quantum systems. The results of these measurements exhibit patterns of statistical correlation that resist traditional causal explanation. Some have held that it is possible to understand these patterns as instances or consequences of quantum holism or nonseparability. Just what holism and nonseparability are (...) supposed to be has not always been made clear, though, and each of these notions has been understood in different ways. Moreover, while some have taken holism and nonseparability to come to the same thing, others have thought it important to distinguish the two. Any evaluation of the significance of quantum holism and/or nonseparability must rest on a careful analysis of these notions. (shrink)

In this paper I wish to make some headway on understanding what \emph{kind} of problem the ``problem of time'' is, and offer a possible resolution---or, rather, a new way of understanding an old resolution. The response I give is a variation on a theme of Rovelli's \emph{evolving constants of motion} strategy. I argue that by giving correlation strategies a \emph{structuralist} basis, a number of objections to the standard account can be blunted. Moreover, I show that the account I offer provides (...) a suitable ontology for time in both classical and quantum canonical general relativity. (shrink)

There is a philosophical tradition of arguing against presentism, the thesis that only presently existing things exist, on the basis of its incompatibility with fundamental physics. I grant that presentism is incompatible with special and general relativity, but argue that presentism is not incompatible with quantum gravity, because there are some theories of quantum gravity that utilize a fixed foliation of spacetime. I reply to various objections to this defense of presentism, and point out a flaw in Gödel's modal argument (...) for the ideality of time. This paper provides an interesting case study of the interplay between physics and philosophy. (shrink)

In a recent paper in this journal, Kosso ([2000]) discussed the observational status of continuous symmetries of physics. While we are in broad agreement with his approach, we disagree with his analysis. In the discussion of the status of gauge symmetry, a set of examples offered by 't Hooft ([1980]) has influenced several philosophers, including Kosso; in all cases the interpretation of the examples is mistaken. In this paper, we present our preferred approach to the empirical significance of symmetries, re-analysing (...) the cases of gauge symmetry and general covariance. Direct and indirect empirical significance Global and local continuous symmetries Gauge symmetry 3.1 Local gauge symmetry 3.1.1 Discussion of the first claim 3.1.2 Discussion of the second claim 3.2 Global gauge symmetry Space-time symmetries Direct and indirect empirical significance again Conclusion. (shrink)

The rotating discs argument against perdurantism has been mostly discussed by metaphysicians, though the argument of course appeals to ideas from classical mechanics, especially about rotation. In contrast, I assess the RDA from the perspective of the philosophy of physics. I argue for three main conclusions. The first conclusion is that the RDA can be formulated more strongly than is usually recognized: it is not necessary to ‘imagine away’ the dynamical effects of rotation. The second is that in general relativity, (...) the RDA fails because of frame-dragging. The third conclusion is that even setting aside general relativity, the strong formulation of the RDA can after all be defeated, namely, by the perdurantist taking objects in classical mechanics to have only temporally extended temporal parts, which immediately blocks the RDA. Admittedly, this version of perdurantism defines persistence in a weaker sense of ‘definition’ than pointilliste versions that aim to define persistence assuming only instantaneous temporal parts. But I argue that temporally extended temporal parts can do the jobs within the endurantism– perdurantism debate that the perdurantist wants temporal parts to do and are supported by both classical and quantum mechanics. Introduction The story so far 2.1 The RDA 2.2 Intrinsic properties and the idea of velocity 2.2.1 The intrinsic–extrinsic distinction 2.2.2 Velocity to the rescue? 2.3 ‘Naturalism’ 2.4 The accompaniments of rotation 2.5 Two kinds of reply: against the consensus Describing rotation 3.1 Rotation is kinematic 3.2 Beware of rigidity 3.3 An improved RDA: allowing the actual accompaniments 3.4 The RDA fails in general relativity Perdurantism without tears: the classical case 4.1 Rejecting instantaneous temporal parts 4.2 Replying to the RDA 4.2.1 ‘Kinematics’ 4.2.2 ‘Dynamics’ 4.2.3 An ‘anti-pointilliste’ objection and reply 4.3 Intrinsic properties of non-instantaneous temporal parts 4.3.1 Can the perdurantist appeal to them? 4.3.2 Temporal intrinsicality at an instant is rare 4.3.3 A better reason for temporal intrinsicality 4.4 Non-instantaneous parts can do the jobs 4.4.1 Humean supervenience revisited 4.4.2 The problem of change 4.4.3 Puzzles of coincidence 4.5 Instantaneous velocity is hardly extrinsic Support from decoherence in quantum theory 5.1 Classical and quantum: relativizing the intrinsic–extrinsic distinction 5.1.1 Unitarity: momentum as temporally intrinsic 5.2 Position and existence as nomically extrinsic. (shrink)

This paper forms part of a wider campaign: to deny pointillisme, the doctrine that a physical theory's fundamental quantities are defined at points of space or of spacetime, and represent intrinsic properties of such points or point-sized objects located there; so that properties of spatial or spatiotemporal regions and their material contents are determined by the point-by-point facts. More specifically, this paper argues against pointillisme about the concept of velocity in classical mechanics; especially against proposals by Tooley, Robinson and Lewis. (...) A companion paper argues against pointillisme about -geometry, as proposed by Bricker. To avoid technicalities, I conduct the argument almost entirely in the context of "Newtonian" ideas about space and time, and the classical mechanics of point-particles, i.e. extensionless particles moving in a void. But both the debate and my arguments carry over to relativistic physics. Introduction The wider campaign 2.1 Connecting physics and metaphysics 2.1.1 Avoiding controversy about the intrinsic–extrinsic distinction 2.1.2 Distinction from three mathematical distinctions 2.2 Classical mechanics is not pointilliste, and can be perdurantist 2.2.1 Two versions of pointillisme 2.2.2 Two common claims 2.2.3 My contrary claims 2.3 In more detail... 2.3.1 Four violations of pointillisme 2.3.2 For perdurantism Velocity as intrinsic? 3.1 Can properties represented by vectors be intrinsic to a point? 3.2 Orthodox velocity is extrinsic but local 3.2.1 A question and a debate 3.2.2 The verdict 3.3 Against intrinsic velocity 3.3.1 A common view—and a common problem 3.3.2 Tooley's proposal and his arguments 3.3.3 Tooley's further discussion "Shadow velocities": Lewis and Robinson 4.1 The proposal 4.2 Criticism: the vector field remains unspecified 4.3 Avoiding the presupposition of persistence, using Hilbert's symbol 4.4 Comparison with Robinson and Lewis. (shrink)

This paper forms part of a wider campaign: to deny pointillisme. That is the doctrine that a physical theory's fundamental quantities are defined at points of space or of spacetime, and represent intrinsic properties of such points or point-sized objects located there; so that properties of spatial or spatiotemporal regions and their material contents are determined by the point-by-point facts. More specifically, this paper argues against pointillisme about the structure of space and-or spacetime itself, especially a paper by Bricker (1993). (...) A companion paper argues against pointillisme in mechanics, especially about velocity; it focusses on Tooley, Robinson and Lewis. To avoid technicalities, I conduct the argument almost entirely in the context of ``Newtonian'' ideas about space and time. But both the debate and my arguments carry over to relativistic, and even quantum, physics. (shrink)

Quantum field theories are notoriously difficult to understand, physically as well as philosophically. The aim of this paper is to contribute to a better conceptual understanding of gauge quantum field theories, such as quantum chromodynamics, by discussing a famous physical limit, the ’t Hooft limit, in which the theory concerned often simplifies. The idea of the limit is that the number N of colours goes to infinity. The simplifications that can happen in this limit, and that we will consider, are: (...) the theory’s Feynman diagrams can be drawn on a plane without lines intersecting ; and the theory, or a sector of it, becomes integrable, and indeed corresponds to a well-studied system, viz. a spin chain. Planarity is important because it shows how a quantum field theory can exhibit extended, in particular string-like, structures; in some cases, this gives a connection with string theory, and so with its representation of gravity. Previous philosophical literature about how one theory might be emergent from, and-or reduced to, another one has tended to emphasize cases, such as occur in statistical mechanics, where the system before the limit has finitely many degrees of freedom. But here, our quantum field theories, including those on the way to the ’t Hooft limit, will have infinitely many degrees of freedom. Nevertheless, we will show how a recent schema by Butterfield and taxonomy by Norton apply to the quantum field theories we consider; and we will classify three physical properties of our theories in these terms. These properties are planarity and integrability, as in and above; and the behaviour of the beta-function reflecting, for example, asymptotic freedom. Our discussion of these properties, especially the beta-function, will also relate to recent philosophical debate about the propriety of assessing quantum field theories, whose rigorous existence is not yet proven. (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)

I argue that the conviction, widespread among philosophers, that substantivalism enjoys a clear superiority over relationalism in both Newtonian and relativistic physics is ill-founded. There are viable relationalist approaches to understanding these theories, and the substantival-relational debate should be of interest to philosophers and physicists alike, because of its connection with questions about the correct space of states for various physical theories.

This paper addresses issues surrounding the concept of geometric phase or "anholonomy". Certain physical phenomena apparently require for their explanation and understanding, reference to toplogocial/geometric features of some abstract space of parameters. These issues are related to the question of how gauge structures are to be interpreted and whether or not the debate over their "reality" is really going to be fruitful.

What distinguishes causation from grounding? One suggestion is that causation, but not grounding, occurs over time. Recently, however, counterexamples to this simple temporal criterion have been offered. In this paper, we situate the temporal criterion within a broader framework that focuses on two aspects: locational overlapping in space and time and the presence of intermediaries in space and time. We consider, and reject, the idea that the difference between grounding and causation is that grounding can occur without intermediaries. We go (...) on to use the fact that grounding and causation both involve intermediaries to develop a better temporal criterion for distinguishing causation from grounding. The criterion is this: when a cause and effect are spatially disjoint, there is always a chain of causal intermediaries between the cause and the effect that are extended in time. By contrast, when the grounds and the grounded are spatially disjoint, there is always a chain of grounding intermediaries, but the chain need not be extended in time, it can be purely spatial. The difference between grounding and causation, then, is that causation requires time for chaining in a way that grounding does not. (shrink)

I advance a stipulational account of symmetry-to-reality inference, according to which symmetries are part of the content of theories. For a theory to have a certain symmetry is for the theory to stipulate that models related by the symmetry represent the same possibility. I show that the stipulational account compares positively with alternatives, including Dasgupta’s epistemic account of symmetry, Møller-Nielsen’s motivational account, and so-called formal and ontic accounts. In particular, the stipulational account avoids the problems Belot and Dasgupta have raised (...) against formal and ontic accounts of symmetry while retaining many of the advantages of these otherwise-attractive frameworks. (shrink)

The transference theory reduces causation to the transmission of physical conserved quantities, like energy or momenta. Although this theory aims at applying to all felds of physics, we claim that it fails to account for a quantum electrodynamic effect, viz. the Aharonov-Bohm effect. After having argued that the Aharonov-Bohm effect is a genuine counter-example for the transference theory, we offer a new physicalist approach of causation, ontic and modal, in which this effect is embedded.

It is often claimed that one can avoid the kind of underdetermination that is a typical consequence of symmetries in physics by stipulating that symmetry-related models represent the same state of affairs (Leibniz Equivalence). But recent commentators (Dasgupta 2011; Pooley 2021; Pooley and Read 2021; Teitel 2021a) have responded that claims about the representational capacities of models are irrelevant to the issue of underdetermination, which concerns possible worlds themselves. In this paper I distinguish two versions of this objection: (1) that (...) a theory’s formalism does not (fully) determine the space of physical possibilities, and (2) that the relevant notion of possibility is not physical possibility. I offer a refutation of each. (shrink)

Recently, Dewar (2019) has suggested that one can apply the strategy of 'sophistication' - as exemplified by sophisticated substantivalism as a response to the diffeomorphism invariance of General Relativity - to gauge theories such as electrodynamics. This requires a shift to the formalism of fibre bundles. In this paper, I develop and defend this suggestion. Where my approach differs from previous discussions is that I focus on the metaphysical picture underlying the fibre bundle formalism. In particular, I aim to affirm (...) the physical reality of gauge properties. I argue that this allows for a local and separable explanation of the Aharonov-Bohm effect. Its puzzling features are explained by a form of holism inherent to fibre bundles. (shrink)

What does it take to understand a phenomenon ideally, or to the highest conceivable extent? In this paper, we answer this question by arguing for five necessary conditions for ideal understanding: (i) representational accuracy, (ii) intelligibility, (iii) truth, (iv) reasonable endorsement, and (v) fitting. Even if one disagrees that there is some form of ideal understanding, these five conditions can be regarded as sufficient conditions for a particularly deep level of understanding. We then argue that grasping, novel predictions, and transparency (...) are not reasonable conditions for ideal understanding. (shrink)

Gauge symmetries play a central role, both in the mathematical foundations as well as the conceptual construction of modern (particle) physics theories. However, it is yet unclear whether they form a necessary component of theories, or whether they can be eliminated. It is also unclear whether they are merely an auxiliary tool to simplify (and possibly localize) calculations or whether they contain independent information. Therefore their status, both in physics and philosophy of physics, remains to be fully clarified. In this (...) overview we review the current state of affairs on both the philosophy and the physics side. In particular, we focus on the circumstances in which the restriction of gauge theories to gauge invariant information on an observable level is warranted, using the Brout-Englert-Higgs theory as an example of particular current importance. Finally, we determine a set of yet to be answered questions to clarify the status of gauge symmetries. (shrink)

The presence of symmetries in physical theories implies a pernicious form of underdetermination. In order to avoid this theoretical vice, philosophers often espouse a principle called Leibniz Equivalence, which states that symmetry-related models represent the same state of affairs. Moreover, philosophers have claimed that the existence of non-trivial symmetries motivates us to accept the Invariance Principle, which states that quantities that vary under a theory’s symmetries aren’t physically real. Leibniz Equivalence and the Invariance Principle are often seen as part of (...) the same package. I argue that this is a mistake: Leibniz Equivalence and the Invariance Principle are orthogonal to each other. This means that it is possible to hold that symmetry-related models represent the same state of affairs whilst having a realist attitude towards variant quantities. Various arguments have been presented in favour of the Invariance Principle: a rejection of the Invariance Principle is inter alia supposed to cause indeterminism, undetectability or failure of reference. I respond that these arguments at best support Leibniz Equivalence. (shrink)

Ruetsche ([2011]) argues that the occurrence of unitarily inequivalent representations in quantum theories with infinitely many degrees of freedom poses a novel interpretational problem. According to Ruetsche, such theories compel us to reject the so-called ideal of pristine interpretation; she puts forward the ‘coalescence approach’ as an alternative. In this paper I offer a novel defence of the coalescence approach. The defence rests on the claim that the ideal of pristine interpretation already fails before one considers the peculiarities of QM∞: (...) there are pre-QM∞ parallels to coalescence. Despite this departure from pristinism, the ‘modest’ view that emerges poses no threat to scientific realism. (shrink)

I argue that a common philosophical approach to the interpretation of physical theories—particularly quantum field theories—has led philosophers astray. It has driven many to declare the quantum field theories employed by practicing physicists, so-called ‘effective field theories’, to be unfit for philosophical interpretation. In particular, such theories have been deemed unable to support a realist interpretation. I argue that these claims are mistaken: attending to the manner in which these theories are employed in physical practice, I show that interpreting effective (...) field theories yields a robust foundation for a more refined approach to scientific realism in the context of quantum field theory. The paper concludes by briefly sketching some general morals for interpretive practice in the philosophy of physics. (shrink)

I articulate and discuss a geometrical interpretation of Yang–Mills theory. Analogies and disanalogies between Yang–Mills theory and general relativity are also considered.

Einstein’s “point-coincidence argument'” as a response to the “hole argument” is usually considered as an expression of “Leibniz equivalence,” a restatement of indiscernibility in the sense of Leibniz. Through a historical-critical analysis of Logical Empiricists' interpretation of General Relativity, the paper attempts to show that this labeling is misleading. Logical Empiricists tried explicitly to understand the point-coincidence argument as an indiscernibility argument of the Leibnizian kind, such as those formulated in the 19th century debate about geometry, by authors such as (...) Poincaré, Helmholtz or Hausdorff. However, they clearly failed to give a plausible account of General Relativity. Thus the point-coincidence/hole argument cannot be interpreted as Leibnizian indiscernibility argument, but must be considered as an indiscernibility argument of a new kind. Weyl's analysis of Leibniz's and Einstein's indiscernibility arguments is used to support this claim. (shrink)

In discussions of the Aharonov-Bohm effect, Healey and Lyre have attributed reality to loops $\sigma_0$ (or hoops $[\sigma_0]$), since the electromagnetic potential $A$ is currently unmeasurable and can therefore be transformed. I argue that $[A]=[A+d\lambda]_{\lambda}$ and the hoop $[\sigma_0]$ are related by a meaningful duality, so that however one feels about $[A]$ (or any potential $A\in[A]$), it is no worse than $[\sigma_0]$ (or any loop $\sigma_0\in[\sigma_0]$): no ontological firmness is gained by retreating to the loops, which are just as flimsy (...) as the potentials. And one wonders how the unmeasurability of one entity can invest another with physical reality; would an eventual observation of $A$ dissolve $\sigma_0$, consigning it to a realm of incorporeal mathematical abstractions? The reification of loops rests on the potential's ''gauge dependence''; which in turn rests on its unmeasurability; which is too shaky and arbitrary a notion to carry so much weight. (shrink)

This paper shows how the study of surpluses of structure is an interesting philosophical task. In particular I explore how local gauge symmetry in quantized Yang-Mills theories is the by-product of the specific dynamical structure of interaction. It is shown how in non relativistic quantum mechanics gauge symmetry corresponds to the freedom to locally define global features of gauge potentials. Also discussed is how in quantum field theory local gauge symmetry is replaced by BRST symmetry. This last symmetry is apparently (...) the result of the fact that we do not know how to define quantum Yang-Mills theories without unphysical gauge boson states. Since Yang-Mills theories describe successfully three of the four fundamental interactions the elucidation of this symmetry is a pressing philosophical question. (shrink)

Some recent philosophical debate about persistence has focussed on an argument against perdurantism that discusses rotating perfectly homogeneous discs. The argument has been mostly discussed by metaphysicians, though it appeals to ideas from classical mechanics, especially about rotation. In contrast, I assess the RDA from the perspective of the philosophy of physics. After introducing the argument and emphasizing the relevance of physics, I review some metaphysicians' replies to the argument, especially those by Callender, Lewis, Robinson and Sider. Thereafter, I argue (...) for three main conclusions. They all arise from the fact, emphasized in Section 2, that classical mechanics is both more subtle, and more problematic, than philosophers generally realize. The first conclusion is that the RDA can be formulated more strongly than is usually recognized: it is not necessary to ``imagine away'' the dynamical effects of rotation. The second is that in general relativity, the RDA fails because of frame-dragging. The third is that even setting aside general relativity, the strong formulation of the RDA can after all be defeated. Namely, by the perdurantist taking objects in classical mechanics to have only temporally extended, i.e. non-instantaneous, temporal parts: which immediately blocks the RDA. Admittedly, this version of perdurantism defines persistence in a weaker sense of `definition' than pointilliste versions that aim to define persistence assuming only instantaneous temporal parts. But I argue that temporally extended temporal parts: can do the jobs within the endurantism- perdurantism debate that the perdurantist wants temporal parts to do; and are supported by both classical and quantum mechanics. (shrink)

Philosophers of physics have spent much effort unpacking the structure of gauge theories. But surprisingly, little attention has been devoted to the question of why we should require our best theories to be locally gauge invariant in the first place. Drawing on Steven Weinberg's works in the mid-1960s, I argue that the principle of local gauge invariance follows from Lorentz invariance and other natural assumptions in the context of perturbative relativistic quantum field theory. On this view, gauge freedom is a (...) mere accidental feature of an already highly constrained set of quantities; the distinctive structure of our best gauge theories, in turn, traces back to the peculiar space-time transformation properties of particles like photons, gluons, and gravitons. I conclude by drawing a few interpretative lessons for the philosophy of gauge theories. (shrink)

The ‘cosmological constant problem’ has historically been understood as describing a conflict between cosmological observations in the framework of general relativity and theoretical predictions from quantum field theory, which a future theory of quantum gravity ought to resolve. I argue that this view of the CCP is best understood in terms of a bet about future physics made on the basis of particular interpretational choices in GR and QFT, respectively. Crucially, each of these choices must be taken as itself grounded (...) in the sucesses of the respective theory for this bet to be justified. 1 Introduction 2 The Cosmological Constant Problem 2.1 The physics that anticipates ‘vacuum energy’ 2.2 Getting to zero-point energies 2.3 Getting to the cosmological constant 3 The Epistemology of Physical Interpretation 4 The View from High-Energy Physics 5 Concluding Remarks. (shrink)

In this essay, I provide an overview of the debate on infinite and essential idealizations in physics. I will first present two ostensible examples: phase transitions and the Aharonov– Bohm effect. Then, I will describe the literature on the topic as a debate between two positions: Essentialists claim that idealizations are essential or indispensable for scientific accounts of certain physical phenomena, while dispensabilists maintain that idealizations are dispensable from mature scientific theory. I will also identify some attempts at finding a (...) middle ground between the essentialists and dispensabilists camps. Finally, I will raise questions for future research on essential and infinite idealizations via the notion of exploration. (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.

All change involves temporal variation of properties. There is change in the physical world only if genuine physical magnitudes take on different values at different times. I defend the possibility of change in a general relativistic world against two skeptical arguments recently presented by John Earman. Each argument imposes severe restrictions on what may count as a genuine physical magnitude in general relativity. These restrictions seem justified only as long as one ignores the fact that genuine change in a relativistic (...) world is frame-dependent. I argue on the contrary that there are genuine physical magnitudes whose values typically vary with the time of some frame, and that these include most familiar measurable quantities. Frame-dependent temporal variation in these magnitudes nevertheless supervenes on the unchanging values of more basic physical magnitudes in a general relativistic world. Basic magnitudes include those that realize an observer's occupation of a frame. Change is a significant and observable feature of a general relativistic world only because our situation in such a world naturally picks out a relevant class of frames, even if we lack the descriptive resources to say how they are realized by the values of basic underlying physical magnitudes. (shrink)

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)

This paper formulates generalized versions of the general principle of relativity and of the principle of equivalence that can be applied to general abstract spaces. It is shown that when the principles are applied to the Hilbert space of a quantum particle, its law of coupling to electromagnetic fields is obtained. It is suggested to understand the Aharonov-Bohm effect in light of these principles, and the implications for some related foundational controversies are discussed.

In recent years, philosophers of science have explored categorical equivalence as a promising criterion for when two theories are equivalent. On the one hand, philosophers have presented several examples of theories whose relationships seem to be clarified using these categorical methods. On the other hand, philosophers and logicians have studied the relationships, particularly in the first order case, between categorical equivalence and other notions of equivalence of theories, including definitional equivalence and generalized definitional equivalence. In this article, I will express (...) some skepticism about categorical equivalence as a criterion of physical equivalence, both on technical grounds and conceptual ones. I will argue that “category structure” likely does not capture the structure of a theory, and discuss some recent work in light of this claim. (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.

This paper is an analysis of the geometrical interpretation of local gauge symmetry for theories of the Yang-Mills type.