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)

I review the philosophical literature on the question of when two physical theories are equivalent. This includes a discussion of empirical equivalence, which is often taken to be necessary, and sometimes taken to be sufficient, for theoretical equivalence; and “interpretational” equivalence, which is the idea that two theories are equivalent just in case they have the same interpretation. It also includes a discussion of several formal notions of equivalence that have been considered in the recent philosophical literature, including (generalized) definitional (...) equivalence and categorical equivalence. The article concludes with a brief discussion of the relationship between equivalence and duality. The article is in two parts; this is Part 2, which addresses categorical equivalence, interpretational equivalence, and duality. (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.

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.

While the relation between visualization and scientific understanding has been a topic of long-standing discussion, recent developments in physics have pushed the boundaries of this debate to new and still unexplored realms. For it is claimed that, in certain theories of quantum gravity, spacetime ‘disappears’: and this suggests that one may have sensible physical theories in which spacetime is completely absent. This makes the philosophical question whether such theories are intelligible, even more pressing. And if such theories are intelligible, the (...) question then is how they manage to do so. In this paper, we adapt the contextual theory of scientific understanding, developed by one of us, to fit the novel challenges posed by physical theories without spacetime. We construe understanding as a matter of skill rather than just knowledge. The appeal is thus to understanding, rather than explanation, because we will be concerned with the tools that scientists have at their disposal for understanding these theories. Our central thesis is that such physical theories can provide scientific understanding, and that such understanding does not require spacetimes of any sort. Our argument consists of four consecutive steps: (a) We argue, from the general theory of scientific understanding, that although visualization is an oft-used tool for understanding, it is not a necessary condition for it; (b) we criticise certain metaphysical preconceptions which can stand in the way of recognising how intelligibility without spacetime can be had; (c) we catalogue tools for rendering theories without a spacetime intelligible; and (d) we give examples of cases in which understanding is attained without a spacetime, and explain what kind of understanding these examples provide. (shrink)

Theoretical equivalence and duality are two closely related notions: but their interconnection has so far not been well understood. In this paper I explicate the contribution of a recent schema for duality to discussions of theoretical equivalence. I argue that duality suggests a construal of theoretical equivalence in the physical sciences. The construal is in terms of the isomorphism of models, as defined by the schema. This construal gives interpretative constraints that should be useful for discussions of theoretical equivalence more (...) generally. I illustrate the construal in various formulations of Maxwell’s electromagnetic theory. (shrink)

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)

I examine the relationship between \\)-dimensional Poincaré metrics and d-dimensional conformal manifolds, from both mathematical and physical perspectives. The results have a bearing on several conceptual issues relating to asymptotic symmetries in general relativity and in gauge–gravity duality, as follows: I draw from the remarkable work by Fefferman and Graham on conformal geometry, in order to prove two propositions and a theorem that characterise which classes of diffeomorphisms qualify as gravity-invisible. I define natural notions of gravity-invisibility that apply to the (...) diffeomorphisms of Poincaré metrics in any dimension. I apply the notions of invisibility, developed in, to gauge–gravity dualities: which, roughly, relate Poincaré metrics in \ dimensions to QFTs in d dimensions. I contrast QFT-visible versus QFT-invisible diffeomorphisms: those gravity diffeomorphisms that can, respectively cannot, be seen from the QFT. The QFT-invisible diffeomorphisms are the ones which are relevant to the hole argument in Einstein spaces. The results on dualities are surprising, because the class of QFT-visible diffeomorphisms is larger than expected, and the class of QFT-invisible ones is smaller than expected, or usually believed, i.e. larger than the PBH diffeomorphisms in Imbimbo et al. :1129, 2000, Eq. 2.6). I also give a general derivation of the asymptotic conformal Killing equation, which has not appeared in the literature before. (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’.

We make two points about dualities in string theory. The first point is that the conception of duality, which we will discuss, meshes with two dual theories being ‘gauge related’ in the general philosophical sense of being physically equivalent. The second point is a result about gauge/gravity duality that shows its relation to gauge symmetries to be subtler than one might expect: each of a certain class of gauge symmetries in the gravity theory, that is, diffeomorphisms, is related to a (...) position-dependent symmetry of the gauge theory. (shrink)

We give an introductory review of gauge/gravity duality, and associated ideas of holography, emphasising the conceptual aspects. The opening sections gather the ingredients, viz. anti-de Sitter spacetime, conformal field theory and string theory, that we need for presenting, in Sect. 5, the central and original example: Maldacena’s AdS/CFT correspondence. Sections 6 and 7 develop the ideas of this example, also in applications to condensed matter systems, QCD, and hydrodynamics. Sections 8 and 9 discuss the possible extensions of holographic ideas to (...) de Sitter spacetime and to black holes. Section 10 discusses the bearing of gauge/gravity duality on two philosophical topics: the equivalence of physical theories, and the idea that spacetime, or some features of it, are emergent. (shrink)

While the relation between visualization and scientific understanding has been a topic of long-standing discussion, recent developments in physics have pushed the boundaries of this debate to new and still unexplored realms. For it is claimed that, in certain theories of quantum gravity, spacetime ‘disappears’: and this suggests that one may have sensible physical theories in which spacetime is completely absent. This makes the philosophical question whether such theories are intelligible, even more pressing. And if such theories are intelligible, the (...) question then is how they manage to do so. In this paper, we adapt the contextual theory of scientific understanding, developed by one of us, to fit the novel challenges posed by physical theories without spacetime. We construe understanding as a matter of skill rather than just knowledge. The appeal is thus to understanding, rather than explanation, because we will be concerned with the tools that scientists have at their disposal for understanding these theories. Our central thesis is that such physical theories can provide scientific understanding, and that such understanding does not require spacetimes of any sort. Our argument consists of four consecutive steps: We argue, from the general theory of scientific understanding, that although visualization is an oft-used tool for understanding, it is not a necessary condition for it; we criticise certain metaphysical preconceptions which can stand in the way of recognising how intelligibility without spacetime can be had; we catalogue tools for rendering theories without a spacetime intelligible; and we give examples of cases in which understanding is attained without a spacetime, and explain what kind of understanding these examples provide. (shrink)

This essay is concerned with a number of related proposals that claim there is a link between spacetime topology and quantum entanglement. I indicate the extent to which these proposals can be understood as stating a duality, and then consider two general approaches to articulating such a duality: a “state-based” approach, under which one attempts to identify relevant topological states as dual to quantum entangled states; and an “observable-based” approach, under which one attempts to identify relevant topological observables as dual (...) to quantum entangement observables. Both approaches are faced with issues, essentially due to the ambiguous nature of quantum entanglement, that remain to be addressed. (shrink)

I review the philosophical literature on the question of when two physical theories are equivalent. This includes a discussion of empirical equivalence, which is often taken to be necessary, and sometimes taken to be sufficient, for theoretical equivalence; and "interpretational" equivalence, which is the idea that two theories are equivalent just in case they have the same interpretation. It also includes a discussion of several formal notions of equivalence that have been considered in the recent philosophical literature, including definitional equivalence (...) and categorical equivalence. The article concludes with a brief discussion of the relationship between equivalence and duality. (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)

The main aim of this paper is to make a remark about the relation between dualities between theories, as `duality' is understood in physics and equivalence of theories, as `equivalence' is understood in logic and philosophy. The remark is that in physics, two theories can be dual, and accordingly get called `the same theory', though we interpret them as disagreeing---so that they are certainly not equivalent, as `equivalent' is normally understood. So the remark is simple: but, I shall argue, worth (...) stressing---since often neglected. My argument for this is based on the account of duality developed by De Haro: which is illustrated here with several examples, from both elementary physics and string theory. Thus I argue that in some examples, including in string theory, two dual theories disagree in their claims about the world. I also spell out how this remark implies a limitation of proposals to understand theoretical equivalence as either logical equivalence or a weakening of it. (shrink)

We argue that dualities offer new possibilities for relating fundamentality, levels, and emergence. Namely, dualities often relate two theories whose hierarchies of levels are inverted relative to each other, and so allow for new fundamentality relations, as well as for epistemic emergence. We find that the direction of emergence typically found in these cases is opposite to the direction of emergence followed in the standard accounts. Namely, the standard emergence direction is that of decreasing fundamentality: there is emergence of less (...) fundamental, high-level entities, out of more fundamental, low-level entities. But in cases of duality, a more fundamental entity can emerge out of a less fundamental one. This possibility can be traced back to the existence of different classical limits in quantum field theories and string theories. (shrink)

In this essay I begin to lay out a conceptual scheme for: analysing dualities as cases of theoretical equivalence; assessing when cases of theoretical equivalence are also cases of physical equivalence. The scheme is applied to gauge/gravity dualities. I expound what I argue to be their contribution to questions about: the nature of spacetime in quantum gravity; broader philosophical and physical discussions of spacetime. - proceed by analysing duality through four contrasts. A duality will be a suitable isomorphism between models: (...) and the four relevant contrasts are as follows: Bare theory: a triple of states, quantities, and dynamics endowed with appropriate structures and symmetries; vs. interpreted theory: which is endowed with, in addition, a suitable pair of interpretative maps. Extendable vs. unextendable theories: which can, respectively cannot, be extended as regards their domains of application. External vs. internal intepretations: which are constructed, respectively, by coupling the theory to another interpreted theory vs. from within the theory itself. Theoretical vs. physical equivalence: which contrasts formal equivalence with the equivalence of fully interpreted theories. I will apply this scheme to answering questions - for gauge/gravity dualities. I will argue that the things that are physically relevant are those that stand in a bijective correspondence under duality: the common core of the two models. I therefore conclude that most of the mathematical and physical structures that we are familiar with, in these models, are largely, though crucially never entirely, not part of that common core. Thus, the interpretation of dualities for theories of quantum gravity compels us to rethink the roles that spacetime, and many other tools in theoretical physics, play in theories of spacetime. (shrink)