It is now standard to interpret symmetry-related models of physical theories as representing the same state of affairs. Recently, a debate has sprung up around the question when this interpretational move is warranted. In particular, Møller-Nielsen :1253–1264, 2017) has argued that one is only allowed to interpret symmetry-related models as physically equivalent when one has a characterisation of their common content. I disambiguate two versions of this claim. On the first, a perspicuous interpretation is required: an account of the models’ (...) common ontology. On the second, stricter, version of this claim, a perspicuous formalism is required in addition: one whose mathematical structures ‘intrinsically’ represent the physical world, in the sense of Field. Using Dewar’s :485–521, 2019) distinction between internal and external sophistication as a case study, I argue that the second requirement is decisive. This clarifies the conditions under which it is warranted to interpret symmetry-related models as physically equivalent. (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)

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)

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)

A common adage runs that, given a theory manifesting symmetries, the syntax of that theory should be modified in order to construct a new theory, from which symmetry-variant structure of the original theory has been excised. Call this strategy for explicating the underlying ontology of symmetry-related models reduction. Recently, Dewar has proposed an alternative to reduction as a means of articulating the ontology of symmetry-related models—what he calls sophistication, in which the semantics of the original theory is modified, and symmetry-related (...) models of that theory are treated as if they are isomorphic. In this paper, we undertake a critical evaluation of sophistication about symmetries—we find the programme underdeveloped in a number of regards. In addition, we clarify the interplay between sophistication about symmetries, and a separate debate to which Dewar has contributed—viz., that between interpretational versus motivational approaches to symmetry transformations. (shrink)

We advocate an account of dualities between physical theories: the basic idea is that dual theories are isomorphic representations of a common core. We defend and illustrate this account, which we call a Schema, in relation to symmetries. Overall, the account meshes well with standard treatments of symmetries. But the distinction between the common core and the dual theories prompts a distinction between three kinds of symmetry: which we call ‘stipulated’, ‘accidental’ and ‘proper’.

I conceptualise the role of dualities in quantum gravity, in terms of their functions for theory construction. I distinguish between two functions of duality in physical practice: namely, discovering and describing ‘equivalent physics’, versus suggesting ‘new physics’. I dub these the ‘theoretical’ versus the ‘heuristic’ functions of dualities. The distinction seems to have gone largely unnoticed in the philosophical literature: and it exists both for dualities, and for the more general relation of theoretical equivalence. The paper develops the heuristic function (...) of dualities: illustrating how they can be used, if one has any luck, to find and formulate new theories. I also point to the different physical commitments about the theories in question that underlie these two functions. I show how a recently developed schema for dualities articulates the differences between the two functions. (shrink)

In this paper we present a schema for describing dualities between physical theories, and illustrate it in detail with the example of bosonization: a boson-fermion duality in two-dimensional quantum field theory. The schema develops proposals in De Haro : these proposals include construals of notions related to duality, like representation, model, symmetry and interpretation. The aim of the schema is to give a more precise criterion for duality than has so far been considered. The bosonization example, or boson-fermion duality, has (...) the feature of being simple, yet rich enough, to illustrate the most relevant aspects of our schema, which also apply to more sophisticated dualities. The richness of the example consists, mainly, in its concern with two non-trivial quantum field theories: including massive Thirring-sine-Gordon duality, and non-abelian bosonization. This prompts two comparisons with the recent philosophical literature on dualities:--- Unlike the standard cases of duality in quantum field theory and string theory, where only specific simplifying limits of the theories are explicitly known, the boson-fermion duality is known to hold {\it exactly}. This exactness can be exhibited explicitly. The bosonization example illustrates both the cases of isomorphic and {\it non-isomorphic} models: which we believe the literature on dualities has not so far discussed. (shrink)

This paper argues that much of the literature on interpreting scientific theories presupposes a certain picture of what interpretation involves: a picture according to which interpreting a theory is like translating from one language to another. In place of this “external” approach to interpretation, this paper proposes an “internal” approach, according to which interpretation is more concerned with delineating a theory’s internal semantic architecture.

Suppose that one thinks that certain symmetries of a theory reveal “surplus structure”. What would a formalism without that surplus structure look like? The conventional answer is that it would be a reduced theory: a theory which traffics only in structures invariant under the relevant symmetry. In this paper, I argue that there is a neglected alternative: one can work with a sophisticated version of the theory, in which the symmetries act as isomorphisms.

Scientific observation has led to the discovery of recurring patterns in nature. Symmetry is the property of an object showing regularity in parts on a plane or around an axis. There are several types of symmetries observed in the natural world and the most common are mirror symmetry, radial symmetry, and translational symmetry. Symmetries can be continuous or discrete. A discrete symmetry is a symmetry that describes non-continuous changes in an object. A continuous symmetry is a repetition of an object (...) an infinite number of times. A consequence of continuous symmetry is the existence of conservation laws. A natural system with discrete and continuous symmetries displays several physical properties, such as the existence of long-range order. Geometric shapes exhibit symmetry as mirror reflections of each other. Symmetry in nature has been a model of beauty since the beginning of civilization. Since the earliest times, nature itself has manifestly been a model, evincing regularity in sundry forms and occurrences–from minerals and plants to the anatomy of living beings, to the regularly recurring stellar constellations. For Ancient Greek philosophers, proportion, symmetry, and harmony, were the basics to determine whether something is beautiful or not. Ancient Greek philosophers were known for bringing logic and rational thinking to phenomena that were previously explained by mythology and Gods. They observed the natural world around them and used their knowledge to answer questions about the proportion in observable objects and the origin of Earth. The Greek words _summetria_ and _summetros_ appear frequently in the Timaeus, defined as parts with each other and with the whole. Plato has a very rough concept of symmetry, and when he uses “beauty” to characterize the so-called Platonic Solids in the Timaeus, he seems to be emphasizing their regularity and indirectly their symmetry. Plato believes the four elements (earth, air, fire, water) have been constructed by the Demiurge, or a divine craftsman who appoints order in an otherwise chaotic universe. Minerals are representative examples of beauty, order, and symmetry in inorganic materials. Well-formed minerals (crystals) are a collection of equivalent faces related by symmetry. The goal of this paper is to relate the perspective of symmetry in ancient Greek philosophy with the modern scientific evidence of the geometric description of crystal structures. The five Platonic solids are ideal models of geometrical patterns that occur throughout the world of minerals. In this paper, minerals serve as a model of connecting the symmetry theory in Plato’s philosophy and modern advances in mineralogy. (shrink)

The notion of time reversal has caused some recent controversy in philosophy of physics. The debate has mainly put the focus on how the concept of time reversal should be formally implemented across different physical theories and models, as if time reversal were a single, unified concept that physical theories should capture. In this paper, I shift the focus of the debate and defend that the concept of time reversal involves at least three facets, where each of them gives rise (...) to opposing views. In particular, I submit that any account of time reversal presupposes (explicitly or implicitly) modal, metaphysical, and heuristic facets. The comprehension of this multi-faceted nature of time reversal, I conclude, shows that time reversal can be coherently said in many ways, suggesting a disunified concept. (shrink)

This is the second part of an overview article on fundamentality in metaphysics and the philosophy of physics. Here, the notion of fundamentality is looked at from the viewpoint of the philosophical analysis of physics and physical theories. The questions are considered (1) whether physics can be regarded as fundamental with respect to other sciences, and in what sense; (2) what the label ‘fundamental physics’ should exactly be taken to mean; (3) on what grounds a particular physical theory should be (...) considered fundamental; (4) what should be regarded as fundamental according to particular theories of physics; and (5) what indications come from contemporary physics concerning the fundamental structure of reality. (shrink)

We use Bub's (2016) correlation arrays and Pitowksy's (1989b) correlation polytopes to analyze an experimental setup due to Mermin (1981) for measurements on the singlet state of a pair of spin-12 particles. The class of correlations allowed by quantum mechanics in this setup is represented by an elliptope inscribed in a non-signaling cube. The class of correlations allowed by local hidden-variable theories is represented by a tetrahedron inscribed in this elliptope. We extend this analysis to pairs of particles of arbitrary (...) spin. The class of correlations allowed by quantum mechanics is still represented by the elliptope; the subclass of those allowed by local hidden-variable theories by polyhedra with increasing numbers of vertices and facets that get closer and closer to the elliptope. We use these results to advocate for an interpretation of quantum mechanics like Bub's. Probabilities and expectation values are primary in this interpretation. They are determined by inner products of vectors in Hilbert space. Such vectors do not themselves represent what is real in the quantum world. They encode families of probability distributions over values of different sets of observables. As in classical theory, these values ultimately represent what is real in the quantum world. Hilbert space puts constraints on possible combinations of such values, just as Minkowski space-time puts constraints on possible spatio-temporal constellations of events. Illustrating how generic such constraints are, the equation for the elliptope derived in this paper is a general constraint on correlation coefficients that can be found in older literature on statistics and probability theory. Yule (1896) already stated the constraint. De Finetti (1937) already gave it a geometrical interpretation. (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)

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)

In this article I shall defend, against the conventional understanding of the matter, that two coherent and tenable approaches to time reversal can be suitably introduced in standard quantum mechanics: an “orthodox” approach that demands time reversal to be represented in terms of an anti-unitary and anti-linear time-reversal operator, and a “heterodox” approach that represents time reversal in terms of a unitary, linear time-reversal operator. The rationale shall be that the orthodox approach in quantum theories assumes a relationalist metaphysics of (...) time, according to which time reversal is nothing but motion reversal. But, when one shifts gears and turn to a substantivalist metaphysics of time the heterodox approach to time reversal in quantum mechanics comes up in a more natural way. (shrink)

In the recent philosophical debate about the relationship between symmetries and physical equivalence, two approaches have been distinguished: motivationalism and interpretationalism. In this paper, I point out that there are variants of interpretationalism that have not been taken into account by the proponents of motivationalism. I also argue that some of these overlooked variants of interpretationalism are not prone to the motivationalists’ criticism and overall are the most attractive positions available.

This article gives an explicit presentation of Newtonian gravitation on the backdrop of Maxwell space-time, giving a sense in which acceleration is relative in gravitational theory. However, caution is needed: assessing whether this is a robust or interesting sense of the relativity of acceleration depends on some subtle technical issues and on substantive philosophical questions over how to identify the space-time structure of a theory.

There exists a common view that for theories related by a ‘duality’, dual models typically may be taken ab initio to represent the same physical state of affairs, i.e. to correspond to the same possible world. We question this view, by drawing a parallel with the distinction between ‘interpretational’ and ‘motivational’ approaches to symmetries.

This is an essay about general covariance, and what it says about spacetime structure. After outlining a version of the dynamical approach to spacetime theories, and how it struggles to deal with generally covariant theories, I argue that we should think about the symmetry structure of spacetime rather differently in generally-covariant theories compared to non-generally-covariant theories: namely, as a form of internal rather than external symmetry structure.

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)