Spacetime functionalism is the view that spacetime is a functional structure implemented by a more fundamental ontology. Lam and Wüthrich have recently argued that spacetime functionalism helps to solve the epistemological problem of empirical coherence in quantum gravity and suggested that it also (dis)solves the hard problem of spacetime, namely the problem of offering a picture consistent with the emergence of spacetime from a non-spatio-temporal structure. First, I will deny that spacetime functionalism solves the hard problem by showing that it (...) comes in various species, each entailing a different attitude towards, or answer to, the hard problem. Second, I will argue that the existence of an explanatory gap, which grounds the hard problem, has not been correctly taken into account in the literature. (shrink)

In this paper, some conceptual issues are addressed in order to make sense of what string theory is supposed to tell us about spacetime. The dualities in string theory are used as a starting point for our argumentation. We explore the consequences of a standard view towards these dualities, namely that the dual descriptions represent the same physical situation. Given this view, one has to understand string theory in a manner such that what counts as physical spacetime is based only (...) on the shared physical content—or common core—of the dual descriptions. In general such a spatiotemporal picture does not have to agree with, or be similar to, any of the ones suggested by naïve readings of the dual descriptions. However, in certain regimes or limits, one or the other of the initial dual descriptions may give a good effective description of physical spacetime. (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)

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)

In this article I bring the recent philosophical literature on theoretical equivalence to bear on dualities in physics. Focusing on electromagnetic duality, which is a simple example of S-duality i...

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.

Dualities are a pervasive phenomenon in contemporary physics, in which two physical theories are empirically equivalent, yet prima facie make different ontological claims about the world (potentially very different claims—differing in e.g. the number and radius of dimensions of the universe). Dualities thus present a particular instantiation of the well-known notion of underdetermination of theory by evidence. Many different philosophical proposals have been made for how such putative underdetermination might be resolved—this continues to be a programme of active research.

A ‘duality’ is a formal mapping between the spaces of solutions of two empirically equivalent theories. In recent times, dualities have been found to be pervasive in string theory and quantum field theory. Naïvely interpreted, duality-related theories appear to make very different ontological claims about the world—differing in e.g. space-time structure, fundamental ontology, and mereological structure. In light of this, duality-related theories raise questions familiar from discussions of underdetermination in the philosophy of science: in the presence of dual theories, what (...) is one to say about the ontology of the world? In this paper, we undertake a comprehensive and non-technical survey of the landscape of possible ontological interpretations of duality-related theories. We provide a significantly enriched and clarified taxonomy of options—several of which are novel to the literature. (shrink)

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.

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)

This paper explores the options available to the anti-realist to defend a Quinean empirical under-determination thesis using examples of dualities. I first explicate a version of the empirical under-determination thesis that can be brought to bear on theories of contemporary physics. Then I identify a class of examples of dualities that lead to empirical under-determination. But I argue that the resulting under-determination is benign, and is not a threat to a cautious scientific realism. Thus dualities are not new ammunition for (...) the anti-realist. The paper also shows how the number of possible interpretative options about dualities that have been considered in the literature can be reduced, and suggests a general approach to scientific realism that one may take dualities to favour. (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)

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)

We discuss some aspects of the relation between dualities and gauge symmetries. Both of these ideas are of course multi-faceted, and we confine ourselves to making two points. Both points are about dualities in string theory, and both have the ‘flavour’ that two dual theories are ‘closer in content’ than you might think. For both points, we adopt a simple conception of a duality as an ‘isomorphism’ between theories: more precisely, as appropriate bijections between the two theories’ sets of states (...) and sets of quantities. The first point is that this conception of duality meshes with two dual theories being ‘gauge related’ in the general philosophical sense of being physically equivalent. For a string duality, such as T-duality and gauge/gravity duality, this means taking such features as the radius of a compact dimension, and the dimensionality of spacetime, to be ‘gauge’. The second point is much more specific. We give a result about gauge/gravity duality that shows its relation to gauge symmetries to be subtler than you might expect. For gauge theories, you might expect that the duality bijections relate only gauge-invariant quantities and states, in the sense that gauge symmetries in one theory will be unrelated to any symmetries in the other theory. This may be so in general; and indeed, it is suggested by discussions of Polchinski and Horowitz. But we show that in gauge/gravity duality, each of a certain class of gauge symmetries in the gravity/bulk theory, viz. diffeomorphisms, is related by the duality to a position-dependent symmetry of the gauge/boundary theory. (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)

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 provide an analysis of the empirical consequences of the AdS/CFT duality with reference to the application of the duality in a fundamental theory, effective theory and instrumental context. Analysis of the first two contexts is intended to serve as a guide to the potential empirical and ontological status of gauge/gravity dualities as descriptions of actual physics at the Planck scale. The third context is directly connected to the use of AdS/CFT to describe real quark-gluon plasmas. In the latter context, (...) we find that neither of the two duals are confirmed by the empirical data. (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)