Richard Andrew Healey

According to conventional wisdom, local gauge symmetry is not a symmetry of nature, but an artifact of how our theories represent nature. But a study of the so-called theta-vacuum appears to refute this view. The ground state of a quantized non-Abelian Yang-Mills gauge theory is characterized by a real-valued, dimensionless parameter theta—a fundamental new constant of nature. The structure of this vacuum state is often said to arise from a degeneracy of the vacuum of the corresponding classical theory, which degeneracy allegedly arises from the fact that “large” (but not “small”) local gauge transformations connect physically distinct states of zero field energy. If that is right, then some local gauge transformations do generate empirical symmetries. In defending conventional wisdom against this challenge I hope to clarify the meaning of empirical symmetry while deepening our understanding of gauge transformations. I distinguish empirical from theoretical symmetries. Using Galileo’s ship and Faraday’s cube as illustrations, I say when an empirical symmetry is implied by a theoretical symmetry. I explain how the theta-vacuum arises, and how “large” gauge transformations differ from “small” ones. I then present two analogies from elementary quantum mechanics. By applying my analysis of the relation between empirical and theoretical symmetries, I show which analogy faithfully portrays the character of the vacuum state of a classical non-Abelian Yang-Mills gauge theory. The upshot is that “large” as well as “small” gauge transformations are purely formal symmetries of non-Abelian Yang-Mills gauge theories, whether classical or quantized. It is still worth distinguishing between these kinds of symmetries. An analysis of gauge within the constrained-Hamiltonian formalism yields the result that “large” gauge transformations should not be classified as gauge transformations; indeed, nor should “global” gauge transformations. In a theory in which boundary conditions are modeled dynamically, “global” gauge transformations may be associated with physical symmetries, corresponding to translations of these extra dynamical variables. Such translations are symmetries if and only if charge is conserved. But it is hard to argue that these symmetries are empirical, and in any case they do not correspond to any constant phase change in a quantum state.

Bell appealed to the theory of relativity in formulating his principle of local causality. But he maintained that quantum field theories do not conform to that principle, even when their field equations are relativistically covariant and their observable algebras satisfy a relativistically motivated microcausality condition. A pragmatist view of quantum theory and an interventionist approach to causation prompt the reevaluation of local causality and microcausality. Local causality cannot be understood as a reasonable requirement on relativistic quantum field theories: it is unmotivated even if applicable to them. But microcausality emerges as a sufficient condition for the consistent application of a relativistic quantum field theory

A quantum state represents neither properties of a physical system nor anyone’s knowledge of its properties. The important question is not what quantum states represent but how they are used—as informational bridges. Knowing about some physical situations, an agent may assign a quantum state to form expectations about other possible physical situations. Quantum states are objective: only expectations based on correct state assignments are generally reliable. If a quantum state represents anything, it is the objective probabilistic relations between its backing conditions and its advice conditions. This paper offers an account of quantum states and their function as informational bridges, in quantum teleportation and elsewhere.

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