Deutsch and Hayden have proposed an alternative formulation of quantum mechanics which is completely local. We argue that their proposal must be understood as having a form of ‘gauge freedom’ according to which mathematically distinct states are physically equivalent. Once this gauge freedom is taken into account, their formulation is no longer local.

This is a prize-winning study of an area of physics not previously explored by philosophy: gauge theory. Gauge theories have provided our most successful representations of the fundamental forces of nature. But how do such representations work? Healey defends an original answer to this question.

I criticise the view that the relativity and equivalence principles are consequences of the small-scale structure of the metric in general relativity, by arguing that these principles also apply to systems with non-trivial self-gravitation and hence non-trivial spacetime curvature (such as black holes). I provide an alternative account, incorporating aspects of the criticised view, which allows both principles to apply to systems with self-gravity.

Abstract The historical evolution of the principle of relativity from Galileo to Einstein is briefly traced, and purported difficulties with Einstein's formulation of the principle are examined and dismissed. This formulation is then compared to a precise version formulated recently in the geometrical language of spacetime theories. We claim that the recent version is both logically puzzling and fails to capture a crucial physical insight contained in the earlier formulations. The implications of this claim for the modern treatment of general (...) dynamical symmetries are discussed. (shrink)

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

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)

Symmetries in physics are most commonly recognized and discussed in terms of their function in the mathematical formalism of the theories. Discussion of the observation of symmetries in nature is less common. This paper analyses the observation of particular symmetries such as Lorentz and gauge symmetries, distinguishing between direct observation of the symmetry itself and indirect evidence, the latter being the observation of some consequence of the symmetry are, in an important sense, directly observed, while local symmetries such as gauge (...) symmetry are not. (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)

I give an informal outline of the hole argument which shows that spacetime substantivalism leads to an undesirable indeterminism in a broad class of spacetime theories. This form of the argument depends on the selection of differentiable manifolds within a spacetime theory as representing spacetime. I consider the conditions under which the argument can be extended to address versions of spacetime substantivalism which select these differentiable manifolds plus some further structure to represent spacetime. Finally, I respond to the criticisms of (...) Tim Maudlin and Jeremy Butterfield. (shrink)