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 arrow of time' refers to the curious asymmetry that distinguishes the future from the past. Reversing the Arrow of Time argues that there is an intimate link between the symmetries of 'time itself' and time reversal symmetry in physical theories, which has wide-ranging implications for both physics and its philosophy. This link helps to clarify how we can learn about the symmetries of our world, how to understand the relationship between symmetries and what is real, and how to overcome (...) pervasive illusions about the direction of time. Roberts explains the significance of time reversal in a way that intertwines physics and philosophy, to establish what the arrow of time means and how we can come to know it. This book is both mathematically and philosophically rigorous yet remains accessible to advanced undergraduates in physics and the philosophy of physics. This title is also available as Open Access on Cambridge Core. (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)

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)

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)

There is solid consensus among physicists and philosophers that, in gauge field theory, for a quantity to be physically meaningful or real, it must be gauge-invariant. Yet, every “elementary” field in the Standard Model of particle physics is actually gauge-variant. This has led a number of researchers to insist that new manifestly gauge-invariant approaches must be established. Indeed, in the foundational literature, dissatisfaction with standard methods for reducing gauge symmetries has been expressed: Spontaneous symmetry breaking is deemed conceptually dubious, while (...) gauge fixing suffers the same limitations and is subject to the same criticisms as coordinate choices in General Relativity. An alternative gauge-invariant proposal was recently introduced in the literature, the so-called “dressing field method” (DFM). It is a mathematically subtle tool, and unfortunately prone to be confused with simple gauge transformations, hence with standard gauge fixings. As a matter of fact, in the physics literature the two are often conflated, and in the philosophy community some doubts have been raised about whether there is any substantial difference between them. Clarifying this issue is of special significance for anyone interested in both the foundational issues of gauge theories and their invariant formulation. It is thus our objective to establish as precisely as possible the technical and conceptual distinctions between the DFM and gauge fixing. (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)

The equivalence principle has constituted one of the cornerstones of discussions in the foundations of spacetime theories over the past century. However, up to this point the principle has been considered overwhelmingly only within the context of relativistic physics. In this article, we demonstrate that the principle has much broader, super-theoretic significance: to do so, we present a unified framework for understanding the principle in its various guises, applicable to both relativistic and Newtonian contexts. We thereby deepen significantly our understanding (...) of the role played by the equivalence principle in a broad class of spacetime theories. (shrink)