Why is gauge symmetry so important in modern physics, given that one must eliminate it when interpreting what the theory represents? In this paper we discuss the sense in which gauge symmetry can be fruitfully applied to constrain the space of possible dynamical models in such a way that forces and charges are appropriately coupled. We review the most well-known application of this kind, known as the 'gauge argument' or 'gauge principle', discuss its difficulties, and then reconstruct the gauge argument (...) as a valid theorem in quantum theory. We then present what we take to be a better and more general gauge argument, based on Noether's second theorem in classical Lagrangian field theory, and argue that this provides a more appropriate framework for understanding how gauge symmetry helps to constrain the dynamics of physical theories. (shrink)

I critically examine the assumption that the theoretical structure that varies under theoretical symmetries is redundant and should be eliminated from a metaphysical picture of the universe, following a ‘symmetry to reality’ inference. I do so by analysing the status of coordinate change symmetries taking a pragmatic approach. I argue that coordinate systems function as indexical devices, and play an important pragmatic role for representing concrete physical systems. I examine the implications of considering this pragmatic role seriously, taking what I (...) call a perspectivist stance. My conclusion is that under a perspectivist stance, all symmetries (including local gauge symmetries) potentially have a direct empirical status: they point to dynamical aspects that are invariant under changes of operationalisation, and they constitute a guide not to reality, but to nomology and kinship. (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 recent debate about whether gauge symmetries can be empirically significant has focused on the possibility of 'Galileo's ship' types of scenarios, where the symmetries effect relational differences between a subsystem and the environment. However, it has gone largely unremarked that apart from such Galileo's ship scenarios, Greaves and Wallace (2014) proposed that gauge transformations can also be empirically significant in a 'non-relational' manner that is analogous to a Faraday-cage scenario, where the subsystem symmetry is related to a change in (...) a charged boundary state. In this paper, we investigate the question of whether such non-relational scenarios are possible for gauge theories. Remarkably, the answer to this question turns out to be closely related to a foundational puzzle that has driven a host of recent developments at the frontiers of theoretical physics. By drawing on these recent developments, we show that a very natural way of elaborating on Greaves and Wallace's claim of non-relational empirical significance for gauge symmetry is incoherent. However, we also argue that much of what they suggest is correct in spirit: one can indeed construct non-relational models of the kind they sketch, albeit ones where the empirical significance is not witnessed by a gauge symmetry but instead by a superficially similar boundary symmetry. Furthermore, the latter casts doubt on whether one really abandons Galileo's ship in such scenarios. (shrink)

The study of the ontology of theoretical symmetries in physics has long being the question of choice between the usual Newtonian and Leibnizian interpretations. These were saying respectively that a theoretical symmetry corresponds to unobservable changes or is a mere mathematical surplus. But recently the notions of direct empirical status and indirect empirical status were introduced in addition. DES is usually defined as a status that a theoretical symmetry has when it is matched with an empirical symmetry in the world. (...) IES is usually described as an empirical status opposed to DES and exemplified by the fact for theoretical symmetries to entail conservation laws via Noether's theorems. In this contribution I provide a framework for thinking of the ontology of theoretical symmetries in terms of their components, describe with its help the usual Newtonian and Leibnizian interpretations of theoretical symmetries, compare with them the ontological significance bestowed on theoretical symmetries by DES and IES, and generalise these empirical statuses further. I also pay a particular attention to whether global/local distinctions matter to any of the ontological interpretations and statuses considered, and the conclusion is that they do not. (shrink)

Symmetries in physics are a guide to reality. That much is well known. But what is less well known is why symmetry is a guide to reality. What justifies inferences that draw conclusions about reality from premises about symmetries? I argue that answering this question reveals that symmetry is an epistemic notion twice over. First, these inferences must proceed via epistemic lemmas: premises about symmetries in the first instance justify epistemic lemmas about our powers of detection, and only from those (...) epistemic lemmas can we draw conclusions about reality. Second, in order to justify those epistemic lemmas, the notion of symmetry must be defined partly in epistemic terms. 1 Symmetry-to-Reality Reasoning1.1 A rough introduction to symmetry1.2 The symmetry-to-reality inference1.3 Two questions1.4 Two answers1.5 Preliminary clarifications2 Against Redundancy2.1 Redundancy2.2 Is absolute velocity redundant?2.3 Some redundancies3 Against Objectivity4 From Symmetry to Detection4.1 The epistemic approach4.2 The Occamist norm4.3 From symmetry to detection5 The Meaning of ‘Symmetry’5.1 A framework5.2 Formal definitions5.3 Ontic definitions6 Epistemic Definitions6.1 Taking observation seriously6.2 How things look6.3 Observation sentences6.4 Observational equivalence7 Symmetry as an Epistemic Notion 7.1 Observational equivalence and metaphysics7.2 The Occamist norm revisted7.3 Consequences8 Conclusion. (shrink)

Much recent philosophy of physics has investigated the process of symmetry breaking. Here, I critically assess the alleged symmetry restoration at the fundamental scale. I draw attention to the contingency that gauge symmetries exhibit, that is, the fact that they have been chosen from an infinite space of possibilities. I appeal to this feature of group theory to argue that any metaphysical account of fundamental laws that expects symmetry restoration up to the fundamental level is not fully satisfactory. This is (...) a symmetry argument in line with Curie’s first principle. Further, I argue that this same feature of group theory helps to explain the ‘unreasonable’ effectiveness of mathematics in physics, and that it reduces the philosophical significance that has been attributed to the objectivity of gauge symmetries. (shrink)

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.

It is widely recognized that ‘global’ symmetries, such as the boost invariance of classical mechanics and special relativity, can give rise to direct empirical counterparts such as the Galileo-ship phenomenon. However, conventional wisdom holds that ‘local’ symmetries, such as the diffeomorphism invariance of general relativity and the gauge invariance of classical electromagnetism, have no such direct empirical counterparts. We argue against this conventional wisdom. We develop a framework for analysing the relationship between Galileo-ship empirical phenomena on the one hand, and (...) physical theories that model such phenomena on the other, that renders the relationship between theoretical and empirical symmetries transparent, and from which it follows that both global and local symmetries can give rise to Galileo-ship phenomena. In particular, we use this framework to exhibit an analogue of Galileo’s ship for the local gauge invariance of electromagnetism. 1 Introduction2 Analogues of Galileo’s Ship? Faraday’s Cage and t’Hooft’s Beam-Splitter2.1 Faraday’s cage2.2 t’Hooft’s beam-splitter3 A Framework for Symmetries I: Systems and Subsystems4 An Example: Coulombic Electrostatics5 A Framework for Symmetries II: The Relationship between Theoretical and Empirical Symmetries6 Newtonian Gravity7 Local Symmetries that Are Not Boundary-Preserving: Classical Electromagnetism and Faraday’s Cage8 Local Boundary-Preserving Symmetries: Klein-Gordon-Maxwell Gauge Theory and t’Hooft’s Beam-Splitter9 Summary10 Conclusions. (shrink)

Dispositional essentialists argue that physical properties have their causal roles essentially. This is typically taken to mean that physical properties are identical to dispositions. I argue that this is untenable, and that we must instead say that properties bestow dispositions. I explore what it is for a property to have such a role essentially. Dispositional essentialists argue for their view by citing certain epistemological and metaphysical implications, and I appeal to these implications to place desiderata on the concept of essence (...) involved. I argue that the traditional modal theory of essence meets these desiderata, but that the resulting theory wrongly implies that certain dispositions essential to mass are essential to charge, thereby offering a new argument against modal theories of essence. I argue that dispositional essentialism requires a primitive notion of essence, and develop a primitivist theory based on Kit Fine's views. I show that the primitivist theory has all the virtues of the modal alternative, and none of the vices. I develop a novel way of thinking about the relationship between properties, laws and dispositions, and argue that it has distinct advantages over standard dispositional essentialist formulations. (shrink)

In this paper, I argue that symmetry principles in physics (in particular, in quantum mechanics) have a methodological character, rather than an ontological or an epistemological one. First, I provide a framework to address three related issues regarding the notion of symmetry: (i) how the notion can be characterized; (ii) one way of discussing the nature of symmetry principles, and (iii) a tentative account of some types of symmetry in physics. To illustrate how the framework functions, I then consider the (...) case of the early formulation of quantum mechanics, examining the different roles played by symmetry in this context. Finally, I raise difficulties for ontological and purely episte. (shrink)

This thesis analyses the ontological nature of quantum particles. In it I argue that quantum particles, despite their indistinguishability, are objects in much the same way as classical particles. This similarity provides an important point of continuity between classical and quantum physics. I consider two notions of indistinguishability, that of indiscernibility and permutation symmetry. I argue that neither sort of indistinguishability undermines the identity of quantum particles. I further argue that, when we understand in distinguishability in terms of permutation symmetry, (...) classical particles are just as indistinguishable as quantum particles; for classical physics also possesses permutation symmetry. (shrink)

After decades of neglect philosophers of physics have discovered gauge theories--arguably the paradigm of modern field physics--as a genuine topic for foundational and philosophical research. Incidentally, in the last couple of years interest from the philosophy of physics in structural realism--in the eyes of its proponents the best suited realist position towards modern physics--has also raised. This paper tries to connect both topics and aims to show that structural realism gains further credence from an ontological analysis of gauge theories--in particular (...) U(1) gauge theory. In the first part of the paper the framework of fiber bundle gauge theories is briefly presented and the interpretation of local gauge symmetry will be examined. In the second part, an ontological underdetermination of gauge theories is carved out by considering the various kinds of non-locality involved in such typical effects as the Aharonov-Bohm effect. The analysis shows that the peculiar form of non-separability figuring in gauge theories is a variant of spatiotemporal holism and can be distinguished from quantum theoretic holism. In the last part of the paper the arguments for a gauge theoretic support of structural realism are laid out and discussed. (shrink)

While empirical symmetries relate situations, theoretical symmetries relate models of a theory we use to represent them. An empirical symmetry is perfect if and only if any two situations it relates share all intrinsic properties. Sometimes one can use a theory to explain an empirical symmetry by showing how it follows from a corresponding theoretical symmetry. The theory then reveals a perfect symmetry. I say what this involves and why it matters, beginning with a puzzle that is resolved by the (...) subsequent analysis. I conclude by pointing to applications and implications of the ideas developed earlier in the paper. (shrink)

Symmetry, intended as invariance with respect to a transformation (more precisely, with respect to a transformation group), has acquired more and more importance in modern physics. This Chapter explores in 8 Sections the meaning, application and interpretation of symmetry in classical physics. This is done both in general, and with attention to specific topics. The general topics include illustration of the distinctions between symmetries of objects and of laws, and between symmetry principles and symmetry arguments (such as Curie's principle), and (...) reviewing the meaning and various types of symmetry that may be found in classical physics, along with different interpretative strategies that may be adopted. Specific topics discussed include the historical path by which group theory entered classical physics, transformation theory in classical mechanics, the relativity principle in Einstein's Special Theory of Relativity, general covariance in his General Theory of Relativity, and Noether's theorems. In bringing these diverse materials together in a single Chapter, we display the pervasive and powerful influence of symmetry in classical physics, and offer a possible framework for the further philosophical investigation of this topic. (shrink)

Highlighting main issues and controversies, this book brings together current philosophical discussions of symmetry in physics to provide an introduction to the subject for physicists and philosophers. The contributors cover all the fundamental symmetries of modern physics, such as CPT and permutation symmetry, as well as discussing symmetry-breaking and general interpretational issues. Classic texts are followed by new review articles and shorter commentaries for each topic. Suitable for courses on the foundations of physics, philosophy of physics and philosophy of science, (...) the volume is a valuable reference for students and researchers. (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 relevance of symmetry to today's physics is a widely acknowledged fact. A significant part of recent physical inquiry – especially the physics concerned with investigating the fundamentalbuilding blocks of nature – is grounded on symmetry principles andtheir many and far-reaching consequences. But where these symmetries come from and what their real meaning is are open questions, at the center of a developing debate among physicists and philosophers of science. To tackle the problems arising in considering the symmetry issue is (...) the main purpose of this paper. Starting with briefly recalling the bases for the discussion – how symmetry enters and operates in physics, its special effectiveness in the quantum domain and the many relevant functions it performs (Sections 1–3), the paper then focus on the general interpretative questions that arise and the sorts of answers that have been given (Section 4). (shrink)

We study a long-recognised but under-appreciated symmetry called dynamical similarity and illustrate its relevance to many important conceptual problems in fundamental physics. Dynamical similarities are general transformations of a system where the unit of Hamilton’s principal function is rescaled, and therefore represent a kind of dynamical scaling symmetry with formal properties that differ from many standard symmetries. To study this symmetry, we develop a general framework for symmetries that distinguishes the observable and surplus structures of a theory by using the (...) minimal freely specifiable initial data for the theory that is necessary to achieve empirical adequacy. This framework is then applied to well-studied examples including Galilean invariance and the symmetries of the Kepler problem. We find that our framework gives a precise dynamical criterion for identifying the observables of those systems, and that those observables agree with epistemic expectations. We then apply our framework to dynamical similarity. First we give a general definition of dynamical similarity. Then we show, with the help of some previous results, how the dynamics of our observables leads to singularity resolution and the emergence of an arrow of time in cosmology. (shrink)

In the recent philosophical literature, several counterexamples to the interpretative principle that symmetry-related models are physically equivalent have been suggested The Oxford handbook of philosophy of physics, Oxford University Press, Oxford, 2013, Noûs 52:946–981, 2018; Fletcher in Found Phys 50:228–249, 2020). Arguments based on these counterexamples can be understood as arguments from scientific practice of roughly the following form: because in scientific practice such-and-such symmetry-related models are treated as representing distinct physical situations, these models indeed represent distinct physical situations. In (...) this paper, a strategy for analysing arguments of this type is presented and applied to the examples that can be found in the literature. I argue that if we are exclusively interested in models understood as representing entire possible worlds, arguments from scientific practice should involve some additional assumptions to guarantee they are relevant for models understood in this way. However, none of the examples presented in the literature satisfy all these additional assumptions, which leads to the conclusion that arguments from scientific practice based on these examples do not undermine the interpretative principle that different symmetry-related models represent the same possible world. (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 present paper revisits the debate between realists about gravitational energy in GR and anti-realists/eliminativists. I re-assess the arguments underpinning Hoefer’s seminal eliminativist stance, and those of their realist detractors’ responses. A more circumspect reading of the former is proffered that discloses where the so far not fully appreciated, real challenges lie for realism about gravitational energy. I subsequently turn to Lam and Read’s recent proposals for such a realism. Their arguments are critically examined. Special attention is devoted to the (...) adequacy of Read’s appeals to functionalism, imported from the philosophy of mind. (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)

In the last 5 years, the controversy about whether or not gauge transformations can be empirically significant has intensified. On the one hand, Greaves and Wallace developed a framework according to which, under some circumstances, gauge transformations can be empirically significant—and Teh further supported this result by using the constrained Hamiltonian formalism. On the other hand, Friederich claims to have proved that gauge transformation can never be empirically significant. In this article, I accomplish two tasks. First, I argue that there (...) are strong reasons to resist Friederich’s proof because one of its assumptions is, at the very least, highly controversial. Second, I argue that despite criticism by Brading and Brown and Friederich, ‘t Hooft’s beam-splitter experiment is indeed a concrete example of a case where a local gauge symmetry has empirical significance. By shedding light on these two points, this article shows that recent arguments that claim gauge transformations cannot be empirically significant are not satisfactory. (shrink)

A number of metaphysicians and philosophers of science have raised the issue of themodalityof the fundamental structures of the world. Although the debate so far has been largely focused on the (alleged) inherent causal character of fundamental structures, one aspect of it has naturally taken its place as part of the dispositional/categorical debate. In this paper, I focus on the latter in the case of the fundamentalsymmetrystructures. After putting forward the necessary metaphysical presuppositions for the debate to make sense, I (...) offer an argument which undermines the plausibility of a dispositionalist account of fundamental symmetry structures. (shrink)

This article explores the relation between the concept of symmetry and its formalisms. The standard view among philosophers and physicists is that symmetry is completely formalized by mathematical groups. For some mathematicians however, the groupoid is a competing and more general formalism. An analysis of symmetry that justifies this extension has not been adequately spelled out. After a brief explication of how groups, equivalence, and symmetries classes are related, we show that, while it’s true in some instances that groups are (...) too restrictive, there are other instances for which the standard extension to groupoids is too un restrictive. The connection between groups and equivalence classes, when generalized to groupoids, suggests a middle ground between the two. *Received July 2007. †To contact the authors, please write to: Alexandre Guay, UFR Sciences et Techniques, Université de Bourgogne, 9 Avenue Alain Savary, 21078 Dijon Cedex, France; e‐mail: [email protected] ; or to Brian Hepburn, Department of Philosophy, University of British Columbia, 1866 Main Mall E370, Vancouver, BC, Canada V6T 1Z1; e‐mail: [email protected]. (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)

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)

The paper proposes a combined account of identity for physical states and direct empirical significance for symmetries according to which symmetry-related state variables designate distinct physical states if and only if the symmetry that relates them has direct empirical significance. Strengthening an earlier result, I show that, given this combined account, the local gauge symmetries in our leading contemporary theories of particle physics do not have any direct empirical significance.

The line of argument pursued in this paper is to proceed from Einstein’s fundamental problem situation to a consideration of scientific representation with respect to the Special theory of relativity (STR). Einstein’s fundamental problem situation, which is Kantian in spirit, is how the conceptual freedom of the scientist is compatible with the need for an objective representation of an independently given material world. To solve this philosophical issue Einstein employs a number of constraints, which are central to the STR. The (...) issue of scientific representation leads to a consideration of the notion of reality and to the realistic commitments implied in the STR. From this point of view, the paper concludes that Einstein was committed to a kind of ‘structural’ realism. (shrink)