Symmetries in physics are a guide to reality. That much is well known. But what is less well known is why symmetry is a guide to reality. What justifies inferences that draw conclusions about reality from premises about symmetries? I argue that answering this question reveals that symmetry is an epistemic notion twice over. First, these inferences must proceed via epistemic lemmas: premises about symmetries in the first instance justify epistemic lemmas about our powers of detection, and only from those (...) epistemic lemmas can we draw conclusions about reality. Second, in order to justify those epistemic lemmas, the notion of symmetry must be defined partly in epistemic terms. 1 Symmetry-to-Reality Reasoning1.1 A rough introduction to symmetry1.2 The symmetry-to-reality inference1.3 Two questions1.4 Two answers1.5 Preliminary clarifications2 Against Redundancy2.1 Redundancy2.2 Is absolute velocity redundant?2.3 Some redundancies3 Against Objectivity4 From Symmetry to Detection4.1 The epistemic approach4.2 The Occamist norm4.3 From symmetry to detection5 The Meaning of ‘Symmetry’5.1 A framework5.2 Formal definitions5.3 Ontic definitions6 Epistemic Definitions6.1 Taking observation seriously6.2 How things look6.3 Observation sentences6.4 Observational equivalence7 Symmetry as an Epistemic Notion 7.1 Observational equivalence and metaphysics7.2 The Occamist norm revisted7.3 Consequences8 Conclusion. (shrink)

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, for example, spacetime 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? Int his paper, we undertake a comprehensive and nontechnical 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)

We provide a philosophical reconstruction and analysis of the debate on the scientific status of cosmic inflation that has played out in recent years. In a series of critical papers, Ijjas et al. have questioned the scientificality of the current views on cosmic inflation. Proponents of cosmic inflation have in turn defended the scientific credentials of their approach. We argue that, while this defense, narrowly construed, is successful against Ijjas et al., the latter's reasoning does point to a significant epistemic (...) issue that arises with respect to inflation. A broadening of the concept of theory assessment is needed to address that issue in an adequate way. (shrink)

I argue that the best spacetime setting for Newtonian gravitation (NG) is the curved spacetime setting associated with geometrized Newtonian gravitation (GNG). Appreciation of the ‘Newtonian equivalence principle’ leads us to conclude that the gravitational field in NG itself is a gauge quantity, and that the freely falling frames are naturally identified with inertial frames. In this context, the spacetime structure of NG is represented not by the flat neo-Newtonian connection usually made explicit in formulations, but by the sum of (...) the flat connection and the gravitational field. 1 Introduction2 Newtonian Gravity: The Orthodox Approach3 Newtonian Gravity: Additional Symmetries4 Cosmological Considerations5 A Newtonian Equivalence Principle: Inertial Frames in Newtonian Gravitation6 Theory Equivalence?7 Conclusion. (shrink)

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.

String theory promises to be able to provide us with a working theory of quantum gravity and a unified description of all fundamental forces. In string theory there are so called ‘dualities’; i.e. different theoretical formulations that are physically equivalent. In this article these dualities are investigated from a philosophical point of view. Semantic and epistemic questions relating to the problem of underdetermination of theories by data and the debate on realism concerning scientific theories are discussed. Depending on ones views (...) on semantic issues and realism different interpretations are possible of the dualities. (shrink)

In this article I assess the Invariance Principle, which states that only quantities that are invariant under the symmetries of our theories are physically real. I argue, contrary to current orthodoxy, that the variance of a quantity under a theory’s symmetries is not a sufficient basis for interpreting that theory as being uncommitted to the reality of that quantity. Rather, I argue, the variance of a quantity under symmetries only ever serves as a motivation to refrain from any commitment to (...) the quantity in question. (shrink)

We develop and apply a multi-dimensional account of explanatory depth towards a comparative analysis of inflationary and bouncing paradigms in primordial cosmology. Our analysis builds on earlier work due to Azhar and Loeb (2021) that establishes initial conditions fine-tuning as a dimension of explanatory depth relevant to debates in contemporary cosmology. We propose dynamical fine-tuning and autonomy as two further dimensions of depth in the context of problems with instability and trans-Planckian modes that afflict bouncing and inflationary approaches respectively. In (...) the context of the latter issue, we argue that the recently formulated trans-Planckian censorship conjecture leads to a trade-off for inflationary models between dynamical fine-tuning and autonomy. We conclude with the suggestion that explanatory preference with regard to the different dimensions of depth is best understood in terms of differing attitudes towards heuristics for future model building. (shrink)

The problem of theoretical equivalence is traditionally understood as the problem of specifying when superficially dissimilar accounts of the world are reformulations of a single underlying theory. One important strategy for answering this question has been to appeal to formal relations between theoretical structures. This article presents two reasons to think that such an approach will be unsuccessful and suggests an alternative account of theoretical equivalence, based on the notion of interpretive equivalence, in which the problem is merely an instance (...) of a broader problem in the philosophy of physics. I thus conclude that there is no distinctive problem of theoretical equivalence at all. Two difficulties my approach raises for realist replies to the threat of underdetermination are then discussed, with particular emphasis on a recent reply by Norton. 1 Introduction2 Methodological Confusion3 Asymmetrical Equivalence3.1 Maxwell’s field equations3.2 Classical Lagrangian dynamics4 Formal Approaches: Quine and Glymour5 Theoretical Equivalence as Interpretive Equivalence6 Theoretical Equivalence without Interpretive Judgement?7 Lessons for Underdetermination. (shrink)

It is now well-known that Newton–Cartan theory is the correct geometrical setting for modelling the quantum Hall effect. In addition, in recent years edge modes for the Newton–Cartan quantum Hall effect have been derived. However, the existence of these edge modes has, as of yet, been derived using only orthodox methodologies involving the breaking of gauge-invariance; it would be preferable to derive the existence of such edge modes in a gauge-invariant manner. In this article, we employ recent work by Donnelly (...) and Freidel in order to accomplish exactly this task. Our results agree with known physics, but afford greater conceptual insight into the existence of these edge modes: in particular, they connect them to subtle aspects of Newton–Cartan geometry and pave the way for further applications of Newton–Cartan theory in condensed matter physics. (shrink)

A standard line in the contemporary philosophical literature has it that physical theories are equivalent only when they agree on their empirical content, where this empirical content is often understood as being encoded in the equations of motion of those theories. In this article, we question whether it is indeed the case that the empirical content of a theory is exhausted by its equations of motion, showing that (for example) considerations of boundary conditions play a key role in the empirical (...) equivalence (or otherwise) of theories. Having argued for this, we show that philosophical claims made by Weatherall (2016) that electromagnetism in the Faraday tensor formalism is equivalent to electromagnetism in the vector potential formalism, and by Knox (2011) that general relativity is equivalent to teleparallel gravity, can both be called into question. We then show that properly considering the role of boundary conditions in theory structure can potentially restore these claims of equivalence and close with some remarks on the pragmatics of adjudications on theory identity. (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 1, which addresses empirical equivalence and definitional equivalence. (shrink)

We analyse the possibility that string-theoretic dualities present a genuine case of strong underdetermination of theory by evidence. Drawing on the parallel discussion of the hole argument, we assess the possible interpretations of dualities. We conclude that there exist at least two defensible interpretations on which dualities do not present a worrying case of underdetermination per se.

Eleanor Knox has argued that our concept of spacetime applies to whichever structure plays a certain functional role in the laws. I raise two objections to this inertial functionalism. First, it depends on a prior assumption about which coordinate systems defined in a theory are reference frames, and hence on assumptions about which geometric structures are spatiotemporal. This makes Knox’s account circular. Second, her account is vulnerable to several counterexamples, giving the wrong result when applied to topological quantum field theories (...) and parity- and time-asymmetric theories. I advance an alternative account on which our spacetime concept is a cluster concept. On this view, the notion of metaphysical fundamentality may feature in the cluster, in which case spacetime functionalism may be uninformative in the absence of answers to fundamental metaphysical questions like the substantivalist/relationist debate. (shrink)

This paper scrutinises the tenability of a strict conceptual distinction between space and matter via the lens of the debate between modified gravity and dark matter. In particular, we consider Berezhiani and Khoury's novel 'superfluid dark matter theory' as a case study. Two families of criteria for being matter and being spacetime, respectively, are extracted from the literature. Evaluation of the new scalar field postulated by SFDM according to these criteria reveals that it is as much matter as anything could (...) possibly be, but alsoꟷbelow the critical temperature for superfluidityꟷas much spacetime as anything could possibly be. A sequel paper examines possible interpretations of SFDM in light of this result, as well as the consequences for our understanding of the modified gravity/ dark matter distinction and the broader spacetime–matter distinction. (shrink)

There are well-known problems associated with the idea of gravitational energy in general relativity. We offer a new perspective on those problems by comparison with Newtonian gravitation, and particularly geometrized Newtonian gravitation. We show that there is a natural candidate for the energy density of a Newtonian gravitational field. But we observe that this quantity is gauge dependent, and that it cannot be defined in the geometrized theory without introducing further structure. We then address a potential response by showing that (...) there is an analogue to the Weyl tensor in geometrized Newtonian gravitation. (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)

The author endeavours to show two things: first, that Schrödingers (and Eckarts) demonstration in March (September) 1926 of the equivalence of matrix mechanics, as created by Heisenberg, Born, Jordan and Dirac in 1925, and wave mechanics, as created by Schrödinger in 1926, is not foolproof; and second, that it could not have been foolproof, because at the time matrix mechanics and wave mechanics were neither mathematically nor empirically equivalent. That they were is the Equivalence Myth. In order to make the (...) theories equivalent and to prove this, one has to leave the historical scene of 1926 and wait until 1932, when von Neumann finished his magisterial edifice. During the period 1926–1932 the original families of mathematical structures of matrix mechanics and of wave mechanics were stretched, parts were chopped off and novel structures were added. To Procrustean places we go, where we can demonstrate the mathematical, empirical and ontological equivalence of ‘the final versions of’ matrix mechanics and wave mechanics. -/- The present paper claims to be a comprehensive analysis of one of the pivotal papers in the history of quantum mechanics: Schrödingers equivalence paper. Since the analysis is performed from the perspective of Suppes structural view (‘semantic view’) of physical theories, the present paper can be regarded not only as a morsel of the internal history of quantum mechanics, but also as a morsel of applied philosophy of science. The paper is self-contained and presupposes only basic knowledge of quantum mechanics. For reasons of length, the paper is published in two parts; Part I appeared in the previous issue of this journal. Section 1 contains, besides an introduction, also the papers five claims and a preview of the arguments supporting these claims; so Part I, Section 1 may serve as a summary of the paper for those readers who are not interested in the detailed arguments. (shrink)

We discuss what we take to be three possible misconceptions in the foundations of general relativity, relating to: the interpretation of the weak equivalence principle and the relationship between gravity and inertia; the connection between gravitational redshift results and spacetime curvature; and the Einstein equivalence principle and the ability to ``transform away" gravity in local inertial coordinate systems.

The problem of finding a covariant expression for the distribution and conservation of gravitational energy-momentum dates to the 1910s. A suitably covariant infinite-component localization is displayed, reflecting Bergmann's realization that there are infinitely many gravitational energy-momenta. Initially use is made of a flat background metric (or rather, all of them) or connection, because the desired gauge invariance properties are obvious. Partial gauge-fixing then yields an appropriate covariant quantity without any background metric or connection; one version is the collection of pseudotensors (...) of a given type, such as the Einstein pseudotensor, in _every_ coordinate system. This solution to the gauge covariance problem is easily adapted to any pseudotensorial expression (Landau-Lifshitz, Goldberg, Papapetrou or the like) or to any tensorial expression built with a background metric or connection. Thus the specific functional form can be chosen on technical grounds such as relating to Noether's theorem and yielding expected values of conserved quantities in certain contexts and then rendered covariant using the procedure described here. The application to angular momentum localization is straightforward. Traditional objections to pseudotensors are based largely on the false assumption that there is only one gravitational energy rather than infinitely many. (shrink)

The problem of motion in general relativity is about how exactly the gravitational field equations, the Einstein equations, are related to the equations of motion of material bodies subject to gravitational fields. This article compares two approaches to derive the geodesic motion of matter from the field equations: the ‘T approach’ and the ‘vacuum approach’. The latter approach has been dismissed by philosophers of physics because it apparently represents material bodies by singularities. I argue that a careful interpretation of the (...) approach shows that it does not depend on introducing singularities at all and that it holds at least as much promise as the T approach. (shrink)

Classical and quantum field theory provide not only realistic examples of extant notions of empirical equivalence, but also new notions of empirical equivalence, both modal and occurrent. A simple but modern gravitational case goes back to the 1890s, but there has been apparently total neglect of the simplest relativistic analog, with the result that an erroneous claim has taken root that Special Relativity could not have accommodated gravity even if there were no bending of light. The fairly recent acceptance of (...) nonzero neutrino masses shows that widely neglected possibilities for nonzero particle masses have sometimes been vindicated. In the electromagnetic case, there is permanent underdetermination at the classical and quantum levels between Maxwell's theory and the one-parameter family of Proca's electromagnetisms with massive photons, which approximate Maxwell's theory in the limit of zero photon mass. While Yang–Mills theories display similar approximate equivalence classically, quantization typically breaks this equivalence. A possible exception, including unified electroweak theory, might permit a mass term for the photons but not the Yang–Mills vector bosons. Underdetermination between massive and massless (Einstein) gravity even at the classical level is subject to contemporary controversy. (shrink)

Realism about general relativity (GR) seems to imply realism about spacetime curvature. The existence of the teleparallel equivalent of general relativity (TEGR) calls this into question, for (a) TEGR is set in a torsionful but flat spacetime, and (b) TEGR is empirically equivalent to GR. Knox (Stud Hist Philos Sci Part B Stud Hist Philos Mod Phys 42(4):264–275, 2011) claims that there is no genuine underdetermination between GR and TEGR; we call this verdict into question by isolating and addressing her (...) individual arguments. In addition, we anticipate and evaluate two further worries for realism about the torsionful spacetimes of TEGR, which we call the ‘problem of operationalisability’ and the ‘problem of visualisability’. (shrink)

We review the status of bouncing cosmologies as alternatives to cosmological inflation for providing a description of the very early universe, and a source for the cosmological perturbations which are observed today. We focus on the motivation for considering bouncing cosmologies, the origin of fluctuations in these models, and the challenges which various implementations face.

ABSTRACT In this journal, Middleton and Murgueitio Ramírez argue that absolute velocity is measurable, contrary to the received wisdom. Specifically, they claim that ‘there exists at least one reasonable analysis of measurement according to which the speedometer in [a world called “the Basic World”] measures the absolute velocity of the car.’ In this note, I critically respond to that claim: the analysis of measurement that Middleton and Murgueitio Ramírez propose is not reasonable; nor does it entail that absolute velocities are (...) measurable. (shrink)

The author endeavours to show two things: first, that Schrödingers (and Eckarts) demonstration in March (September) 1926 of the equivalence of matrix mechanics, as created by Heisenberg, Born, Jordan and Dirac in 1925, and wave mechanics, as created by Schrödinger in 1926, is not foolproof; and second, that it could not have been foolproof, because at the time matrix mechanics and wave mechanics were neither mathematically nor empirically equivalent. That they were is the Equivalence Myth. In order to make the (...) theories equivalent and to prove this, one has to leave the historical scene of 1926 and wait until 1932, when von Neumann finished his magisterial edifice. During the period 1926–1932 the original families of mathematical structures of matrix mechanics and of wave mechanics were stretched, parts were chopped off and novel structures were added. To Procrustean places we go, where we can demonstrate the mathematical, empirical and ontological equivalence of ‘the final versions of’ matrix mechanics and wave mechanics. -/- The present paper claims to be a comprehensive analysis of one of the pivotal papers in the history of quantum mechanics: Schrödingers equivalence paper. Since the analysis is performed from the perspective of Suppes structural view (‘semantic view’) of physical theories, the present paper can be regarded not only as a morsel of the internal history of quantum mechanics, but also as a morsel of applied philosophy of science. The paper is self-contained and presupposes only basic knowledge of quantum mechanics. For reasons of length, the paper is published in two parts; Part I appeared in the previous issue of this journal. Section 1 contains, besides an introduction, also the papers five claims and a preview of the arguments supporting these claims; so Part I, Section 1 may serve as a summary of the paper for those readers who are not interested in the detailed arguments. (shrink)

Geometric underdetermination (i.e., the underdetermination of the geometric properties of space and time) is a live possibility in light of some of our best theories of physics. In response to this, geometric conventionalism offers a selective anti-realism, refusing to assign truth values to variant geometric propositions. Although often regarded as being dead in the water by modern philosophers, in this article we propose to revitalise the programme of geometric conventionalism both on its own terms, and as an attractive response to (...) the above-mentioned live cases of geometric underdetermination. Specifically, we (1) articulate geometrical conventionalism as we conceive it, (2) anticipate various objections to the view, and defend it against those objections, and (3) demonstrate how geometric conventionalism plays out in the context of a wide variety of spacetime theories, both classical and relativistic. (shrink)

We discuss the status of gravitational radiation in Newtonian theories. In order to do so, we consider various options for interpreting the Poisson equation as encoding propagating solutions, reflect on the extent to which limit considerations from general relativity can shed light on the Poisson equation’s conceptual status, and discuss various senses in which the Poisson equation counts as a dynamical equation.

James L. Anderson analyzed the novelty of Einstein's theory of gravity as its lack of "absolute objects." Michael Friedman's related work has been criticized by Roger Jones and Robert Geroch for implausibly admitting as absolute the timelike 4-velocity field of dust in cosmological models in Einstein's theory. Using the Rosen-Sorkin Lagrange multiplier trick, I complete Anna Maidens's argument that the problem is not solved by prohibiting variation of absolute objects in an action principle. Recalling Anderson's proscription of "irrelevant" variables, I (...) generalize that proscription to locally irrelevant variables that do no work in some places in some models. This move vindicates Friedman's intuitions and removes the Jones-Geroch counterexample: some regions of some models of gravity with dust are dust-free and so naturally lack a timelike 4-velocity, so diffeomorphic equivalence to is spoiled. Torretti's example involving constant curvature spaces is shown to have an absolute object on Anderson's analysis, viz., the conformal spatial metric density. The previously neglected threat of an absolute object from an orthonormal tetrad used for coupling spinors to gravity appears resolvable by eliminating irrelevant fields. However, given Anderson's definition, GTR itself has an absolute object : a change of variables to a conformal metric density and a scalar density shows that the latter is absolute. (shrink)

ABSTRACT We argue that Roberts’s argument for the thesis that absolute velocity is not measurable in a Newtonian world is unsound, because it depends on an analysis of measurement that is not extensionally adequate. We propose an alternative analysis of measurement, one that is extensionally adequate and entails that absolute velocity is measured in at least one Newtonian world. If our analysis is correct, then this Newtonian world is a counterexample to the widely endorsed thesis that if a property varies (...) under the symmetries of a theory then, according to that theory, the property could not be measured. Thus, our paper shows that the debate over the measurability of symmetry-variant properties is more unsettled than previously supposed. (shrink)

I provide an alternative characterization of a "standard of rotation" in the context of classical spacetime structure that does not refer to any covariant derivative operator.

It is a commonplace in the philosophy of physics that any local physical theory can be represented using arbitrary coordinates, simply by using tensor calculus. On the other hand, the physics literature often claims that spinors \emph{as such} cannot be represented in coordinates in a curved space-time. These commonplaces are inconsistent. What general covariance means for theories with fermions, such as electrons, is thus unclear. In fact both commonplaces are wrong. Though it is not widely known, Ogievetsky and Polubarinov constructed (...) spinors in coordinates in 1965, enhancing the unity of physics and helping to spawn particle physicists' concept of nonlinear group representations. Roughly and locally, these spinors resemble the orthonormal basis or "tetrad" formalism in the symmetric gauge, but they are conceptually self-sufficient and more economical. The typical tetrad formalism is de-Ockhamized, with six extra field components and six compensating gauge symmetries to cancel them out. The Ogievetsky-Polubarinov formalism, by contrast, is Ockhamized, with most of the fluff removed. As developed nonperturbatively by Bilyalov, it admits any coordinates at a point, but "time" must be listed first. Here "time" is defined in terms of an eigenvalue problem involving the metric components and the matrix $diag$, the product of which must have no negative eigenvalues in order to yield a real symmetric square root that is a function of the metric. Thus even formal general covariance requires reconsideration; the atlas of admissible coordinate charts should be sensitive to the types and \emph{values} of the fields involved. Apart from coordinate order and the usual spinorial two-valuedness, Ogievetsky-Polubarinov spinors form, with the metric, a nonlinear geometric object, for which important results on Lie and covariant differentiation are recalled. Such spinors avoid a spurious absolute object in the Anderson-Friedman analysis of substantive general covariance. They also permit the gauge-invariant localization of the infinite-component gravitational energy in General Relativity. Density-weighted spinors exploit the conformal invariance of the massless Dirac equation to show that the volume element is absent. Thus instead of an arbitrary nonsingular matrix with 16 components, 6 of which are gauged away by a new local $O$ gauge group and one of which is irrelevant due to conformal covariance, one can, and presumably should, use density-weighted Ogievetsky-Polubarinov spinors coupled to the 9-component symmetric square root of the part of the metric that fixes null cones. Thus $\frac{7}{16}$ of the orthonormal basis is eliminated as surplus structure. Greater unity between spinors and tensors and the like is achieved, such as regarding conservation laws. Regarding the conventionality of simultaneity, an unusually wide range of $\epsilon$ values is admissible, but some extreme values are inadmissible. Standard simultaneity uniquely makes the spinor transformation law linear and independent of the metric, because transformations among the standard Cartesian coordinate systems fall within the conformal group, for which the spinor transformation law is linear. The surprising mildness of the restrictions on coordinate order as applied to the Schwarzschild solution is exhibited. (shrink)

We construct a notion of teleparallelization for Newton-Cartan theory, and show that the teleparallel equivalent of this theory is Newtonian gravity; furthermore, we show that this result is consistent with teleparallelization in general relativity, and can be obtained by null-reducing the teleparallel equivalent of a five-dimensional gravitational wave solution. This work thus strengthens substantially the connections between four theories: Newton-Cartan theory, Newtonian gravitation theory, general relativity, and teleparallel gravity.

This paper argues that we ought to conceive of the Dark Energy problem—the question of how to account for observational data, naturally interpreted as accelerated expansion of the universe—as a crisis of underdetermined pursuit-worthiness. Not only are the various approaches to the Dark Energy problem evidentially underdetermined; at present, no compelling reasons single out any of them as more likely to be true than the other. More vexingly for working scientists, none of the approaches stands out as uncontroversially preferable over (...) its rivals in terms of its rationally warranted promise, i.e. the reasons to further work on, explore, and develop it. We demonstrate this claim by applying a Peircean economic model of pursuit-worthiness in terms of a cognitive cost/benefit estimate—with the instantiation of theory virtues as key indicators of cognitive gains—to the four main Dark Energy proposals (the cosmological constant approach, modified gravity, quintessence, and inhomogeneous cosmologies). According to our analysis, these approaches do not admit of an unambiguous, or uncontroversial, ranking with respect to which ansatz deserves distinguished attention and research efforts. The overall methodological counsel that our analysis underwrites recommends a pragmatic double research strategy forward: to encourage and foster theory pluralism and the search for tests—with the goal of enhancing the testability of the \(\Lambda \) CDM model and “testing it to destruction". (shrink)

Barbour’s interpretation of Mach’s principle led him to postulate that gravity should be formulated as a dynamical theory of spatial conformal geometry, or in his terminology, “shapes.” Recently, it was shown that the dynamics of General Relativity can indeed be formulated as the dynamics of shapes. This new Shape Dynamics theory, unlike earlier proposals by Barbour and his collaborators, implements local spatial conformal invariance as a gauge symmetry that replaces refoliation invariance in General Relativity. It is the purpose of this (...) paper to answer frequent questions about (new) Shape Dynamics, such as its relation to Poincaré invariance, General Relativity, Constant Mean (extrinsic) Curvature gauge, earlier Shape Dynamics, and finally the conformal approach to the initial value problem of General Relativity. Some of these relations can be clarified by considering a simple model: free electrodynamics and its dual shift symmetric formulation. This model also serves as an example where symmetry trading is used for usual gauge theories. (shrink)

Using the parametrised representation of field theory I demonstrate that in both local and global cases, internal and spacetime symmetries can be treated precisely on a par, so that gravitational theories may be regarded as gauge theories in a completely standard sense.

It is well-known that the conformal structure of a relativistic spacetime is of profound physical and conceptual interest. In this note, we consider the analogous structure for Newtonian theories. We show that the Newtonian Weyl tensor is an invariant of this structure.

General relativity is commonly thought to imply the existence of a unique metric structure for space-time. A simple example is presented of a general relativistic theory with ambiguous metric structure. Brans-Dicke theory is then presented as a further example of a space-time theory in which the metric structure is ambiguous. Other examples of theories with ambiguous metrical structure are mentioned. Finally, it is suggested that several new and interesting philosophical questions arise from the sorts of theories discussed.