BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Edward Anderson

Edward Anderson contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
gr-qcquant-phmath-phmath.MPphysics.hist-ph

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
45works
0followers
5topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

45 published item(s)

preprint2020arXiv

A Local Resolution of the Problem of Time. VIII. Assignment of Observables

Given a state space, Assignment of Observables involves Taking Function spaces Thereover. At the classical level, the state space in question is phase space or configuration space. This assignment picks up nontrivialities when whichever combination of constraints and the quantum apply. For Finite Theories, weak observables equations are inhomogeneous-linear first-order PDE systems. Their general solution thus splits into complementary function plus particular integral: strong and nontrivially-weak observables respectively. We provide a PDE analysis for each of these. In the case of single observables equations - corresponding to single constraints - the Flow Method readily applies. Finding all the observables requires free characteristic problems. For systems, this method can be applied sequentially, due to integrability conferred by Frobenius' Theorem. In each case, the first part of this approach is Lie's Integral Theory of Geometrical Invariants, or the physical counterpart thereof. The second part finds the function space thereover, giving the entire space of (local) observables. We also outline the Field Theory counterpart. Here one has functional differential equations. Banach (or tame Fréchet) Calculus is however sufficiently standard for the Flow Method and free characteristic problems to still apply. These calculi support the Lie-theoretic combination of machinery that our Local Resolution of the Problem of Time requires, by which Field Theory and GR are included.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

'Shape Dynamics': Foundations Reassessed

`Shape dynamics' is meant here in the sense of a type of conformogeometrical reformulation of GR, some of which have of late been considered as generalizations of or alternatives to GR. This note concerns in particular cases based on the notion of volume-preserving conformal transformations (VPCTs), in the sense of preserving a solitary global volume of the universe degree of freedom. The extent to which various ways of modelling VPCTs make use of group theory at all, in a congruous manner, and with minimal departure from standard Lie group theory, is considered. This points to changing conception of VPCTs from the current finite integral implementation to an infinitesimal differential implementation (or to avoiding using them at all). Some useful observations from flat-space conformal groups (well-known from CFT) concerning the existence or otherwise of VPCT groups are also provided.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Configuration Spaces in Fundamental Physics

I consider configuration spaces for $N$-body problems, gauge theories and for GR in both geometrodynamical and Ashtekar variables forms, including minisuperspace and inhomogeneous perturbations thereabout in the former case. These examples include many interesting spaces of shapes (with and without whichever of local or global notions of scale). In considering reduced configuration spaces, stratified manifolds arise. Three strategies to deal with these are `excise', `unfold' and `accept'. I show that spaces of triangles arising from various interpretations of 3-body problems already serve as model arena for all three. I furthermore argue in favour of the `accept' strategy on relational grounds. This approach requires sheaf methods (which go beyond fibre bundles and general bundles, which I contrast with sheaves and presheaves in some appendices). Sheaf methods are also required for the stratifold construct that pairs some well-behaved stratified manifolds with sheaves. I apply arguing against `excise' and `unfold' to GR's superspace and thin sandwich, and to the removal of collinear configurations in mechanics. Non-redundant configurations are also useful in providing more accurate names for various spaces and theories.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Kinematical Quantization

We consider here kinematical quantization: a first and often overlooked step in quantization procedures. $\mathbb{R}$, $\mathbb{R}_+$ and the interval are considered, as well as direct (Cartesian) products thereof. Some simple minisuperspace models, and mode by mode consideration of slightly inhomogeneous cosmology, have indefinite signature versions of such kinematical quantizations. The examples in the current paper build in particular toward the case of vacuum $\mathbb{S}^3$ slightly inhomogeneous cosmology's mode configuration space, which is mathematically a finite time interval slab of Minkowski spacetime.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

On Types of Observables in Constrained Theories

The Kuchar observables notion is shown to apply only to a limited range of theories. Relational mechanics, slightly inhomogeneous cosmology and supergravity are used as examples that require further notions of observables. A suitably general notion of A-observables is then given to cover all of these cases. `A' here stands for `algebraic substructure'; A-observables can be defined by association with each closed algebraic substructure of a theory's constraints. Both constrained algebraic structures and associated notions of A-observables form bounded lattices.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Origin of Structure in the Universe: Quantum Cosmology Reconsidered

Based on a more careful canonical analysis, we motivate a reduced quantization - in the sense of superspace quantization - of slightly inhomogeneous cosmology in place of the Dirac quantization in the existing literature, and provide it in the vacuum case. This is attained through consideration of configuration space geometries at various levels of reduction. Some of these have the good fortunate of being flat. Geometrically natural coordinates for these are interpreted in terms of the original redundant formulation's well-known mode expansion coefficients.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Six New Mechanics corresponding to further Shape Theories

A suite of relational notions of shape are presented at the level of configuration space geometry, with corresponding new theories of shape mechanics and shape statistics. These further generalize two quite well known examples: --1) Kendall's (metric) shape space with his shape statistics and Barbour's mechanics thereupon. 0) Leibnizian relational space alias metric scale-and-shape space to which corresponds Barbour-Bertotti mechanics. This paper's new theories include, using the invariant and group namings, 1) $Angle$ alias $conformal$ $shape$ $mechanics$. 2) $Area ratio$ alias $affine$ $shape$ $mechanics$. 3) $ Area$ alias $affine$ $scale$-$and$-$shape$ $mechanics$. 1) to 3) rest respectively on angle space, area-ratio space, and area space configuration spaces. Probability and statistics applications are also pointed to in outline. 4) Various supersymmetric counterparts of -1) to 3) are considered. Since supergravity differs considerably from GR-based conceptions of Background Independence, some of the new supersymmetric shape mechanics are compared with both. These reveal compatibility between supersymmetry and GR-based conceptions of Background Independence, at least within these simpler model arenas.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Kendall's Shape Statistics as a Classical Realization of Barbour-type Timeless Records Theory approach to Quantum Gravity

I previously showed that Kendall's work on shape geometry is in fact also the geometrical description of Barbour's relational mechanics' reduced configuration spaces (alias shape spaces). I now describe the extent to which Kendall's subsequent statistical application to e.g. the `standing stones problem' realizes further ideas along the lines of Barbour-type timeless records theories, albeit just at the classical level.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Problem of Time: Temporal Relationalism Compatibility of Other Local Classical Facets Completed

Temporal Relationalism (TR) is that there is no time for the universe as a whole at the primary level. Time emerges rather at a secondary level; one compelling idea for this is Mach's `time is to be abstracted from change'. TR leads to, and better explains, the well-known Frozen Formalism Problem encountered in GR at the quantum level. Indeed, abstraction from change is a type of emergent time resolution of this.Moreover, the Frozen Formalism Problem is but one of the many Problem of Time facets, which are furthermore notoriously interconnected. The other local and already classically present facets are as follows. 2) The GR Thin Sandwich involves a subcase of Best Matching, which is one particular implementation of Configurational Relationalism. 3) The Constraint Closure Problem, 4) the Problem of Observables or Beables, 5) Spacetime Relationalism, 6) the Spacetime Construction Problem, and 7) the Foliation Dependence Problem as resolved in classical GR by Refoliation Invariance. In this Article, I bring together the individual classical resolutions of these, and how these can be rendered compatible with TR. Having covered that in detail for 2) to 6) elsewhere, the rest of the current Article is dedicated to the detailed form that 7) and its TR compatible modification takes. I.e. I consider TR implementing foliations, the TR versions of Refoliation Invariance and the associated TR version of hypersurface kinematics and hypersurface deformations. These require a TR counterpart of the Arnowitt--Deser--Misner split.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Spaces of Spaces

Wheeler emphasized the study of Superspace - the space of 3-geometries on a spatial manifold of fixed topology. This is a configuration space for GR; knowledge of configuration spaces is useful as regards dynamics and QM.In this Article I consider furthmore generalized configuration spaces to all levels within the conventional `equipped sets' paradigm of mathematical structure used in fundamental Theoretical Physics. This covers A) the more familiar issue of topology change in the sense of topological manifolds (tied to cobordisms), including via pinched manifolds. B) The less familiar issue of not regarding as fixed the yet deeper levels of structure: topological spaces themselves (and their metric space subcase), collections of subsets and sets. Isham has previously presented quantization schemes for a number of these. I consider some classical preliminaries for this program, aside from the most obvious (classical dynamics for each). Rather, I provide I) to all levels Relational and Background Independence criteria, which have Problem of Time facets as consequences. I demonstrate that many of these issues descend all the way down, whilst also documenting at which level the others cease to apply. II) Probability theory on configuration spaces. In fact such a stochastic treatment is how to further mathematize the hitherto fairly formal and sketchy subject of records theory (a type of formultion of quantum gravity). Along these lines I provide a number of further examples of records theories. This is in addition to Kendall's shape statistics being the example corresponding to relational mechanics models. To this example I now add 1) Cech cohomology, 2) Kendall's random sets, 3) the lattice of topologies on a fixed set. I finally consider 4) sheaves, both as a generalization of Cech cohomology and in connection to the study of stratified manifolds such as Superspace itself.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Spherical Relationalism

This paper considers passing from the usual $\mathbb{R}^d$ model of absolute space to $\mathbb{S}^d$ at the level of relational particle models. Both approaches' $d = 1$ cases are rather simpler than their $d \geq 2$ cases, with $N$ particles in $\mathbb{S}^1$ admitting a straightforward reduction with shape space $\mathbb{T}^{N - 1}$. The $\mathbb{S}^2$ and $\mathbb{S}^3$ cases - observed skies and the simplest closed GR cosmologies respectively -- are also considered, the latter in the contexts of both static and dynamical radius of the model universe. The space of relational triangles on $\mathbb{S}^2$ is hyperbolic 3-space $\mathbb{H}^3$. Overall, by passing to a closed underlying absolute space, and then to dynamical notion of space, we close some of the modelling gaps between relational particle models and geometrodynamics or its inhomogeneous perturbative regime of interest in cosmology. Quantum counterparts are also outlined, for use as model arenas of quantum cosmology. These models are useful in further considerations of both classical and quantum background independence.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

TRiPoD (Temporal Relationalism incorporating Principles of Dynamics)

Temporal Relationalism is that there is no time for the universe as a whole at the primary level. Time emerges rather at a secondary level; one compelling idea for this is Mach's: that time is to be abstracted from change. Temporal Relationalism leads to, and better explains, the well-known Frozen Formalism Problem encountered in GR and other background-independent theories at the quantum level. Abstraction from change is then a type of emergent time resolution of this. Moreover, the Frozen Formalism Problem is but one of the many Problem of Time facets, which are notoriously interconnected. The current article concerns modifications of physical formalism which ensure that once Temporal Relationalism is resolved, it stays incorporated. At the classical level, this involves modifying much of the Principles of Dynamics. I first introduce the anti-Routhian to complete the Legendre square of Lagrangian, Hamiltonian and Routhian. I next pass from velocities $\dot{Q}\mbox{}^{A}$ to changes d$Q^{A}$. Then Lagrangians are supplanted by Jacobi arc elements, Euler--Lagrange equations by Jacobi--Mach ones, and momentum requires redefining but actions remain unchanged. A differential (d) version of the Hamiltonian is required, giving rise to a variant of the Dirac approach based on a d-almost Hamiltonian subcase of the d-anti Routhian. On the other hand, the forms of the constraints themselves, and of Hamilton--Jacobi theory, remain unaltered.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

We have time because we shall never know

We argue against current proposals concerning the non-existence of time. We point out that a large number of these proposals rely, at least implicitly, on the assumption of `closure' (or `partial closure') of the laws of Physics. I.e. the assumption that laws of Physics as they are known today are either complete (and hence closed) or that they possess features that a hypothetical future `complete' theory must share (and hence are partially closed). Given that the assumption of closure of laws of Physics can never be verified operationally, it cannot justifiably be used to support the claim for non-existence of time. Some approaches against time are `timeless' at the primary level for the universe as a whole. In these approaches time arises at a secondary level, mostly in the sense of `time being abstracted from change'. On the other hand, there are other approaches that deny the existence of time altogether. We argue that metaphysical arguments of this type - similar to those based on closure - by implicitly implying the absence of history, are by their nature circular.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Where to Apply Relationalism

Relationalism -- along the lines developed by Barbour and collaborators in the past 3 decades -- can be considered an advance with 1/4 of the facets of the canonical approach's Problem of Time as identified by Isham and Kuchar. Indeed, almost all of the Problem of Time facets have classical counterparts, since they arise from consequences of demanding background independence rather than about combining GR and QM per se. Moreover the quantum version is harder, while the classical counterpart provides some suggestions through being more solvable. The suggestion then is to consider the effect of this advance on the Problem of Time as a whole, as opposed to repeating the same classical portion for a different redundancy group acting on the configuration space: shape dynamics. There are indeed some knock-on effects because the facets are notoriously not independent. The other facets do also however require distinct insights. Finally, I comment on the above being `metric' background independence, whereas quantum gravity usually assumes many other levels of background structures. Whilst Isham already wrote about this over two decades ago, it has largely not yet been incorporated into quantum gravity programs, and could well be a good area to extend and re-envigour by use of relational thinking.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Beables/Observables in Classical and Quantum Gravity

Observables 'are observed' whereas beables just 'are'. This gives beables more scope in the cosmological and quantum domains. Both observables and beables are entities that form 'brackets' with 'the constraints' that are 'equal to' zero. We explain how depending on circumstances, these could be, e.g., Poisson, Dirac, commutator, histories, Schouten-Nijenhuis, double or Nambu brackets, first-class, gauge, linear or effective constraints, and strong, weak or weak-effective equalities. The Dirac-Bergmann distinction in notions of gauge leads to further notions of observables or beables, and is tied to a number of diffeomorphism-specific subtleties. Thus we cover a wide range of notions of observables or beables that occur in classical and quantum gravitational theories: Dirac, Kuchař, effective, Bergmann, histories, multisymplectic, master, Nambu and bi-. Indeed this review covers a representatively wide range of such theories: general relativity, loop quantum gravity, histories theory, supergravity and M-theory.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Classical Machian Resolution of the Spacetime Reconstruction Problem

Following from a question of Wheeler, why does the Hamiltonian constraint ${\cal H}$ of GR have the particular form it does? A first answer, by Hojman, Kuchař and Teitelboim, is that using embeddability into spacetime as a principle gives the form of ${\cal H}$. The present paper culminates a second Machian answer - initially by Barbour, Foster and ó Murchadha - in which space but not spacetime are assumed. Thus this answer is additionally a classical-level resolution of the spacetime reconstruction problem. In this approach, mere consistency imposed by the Dirac procedure whittles down a general ansatz to one of four alternatives: Lorentzian, Galilean, or Carrollian relativity, or constant mean curvature slicing. These arise together as the different ways to kill off a 4-factor obstruction term. It is novel for such an alternative to arise from principles of dynamics considerations (in contrast with the historical form of the dichotomy between universal local Galilean or Lorentzian relativity). It is furthermore intriguing that it gives constant mean curvature slicing - familiar from York's work on the initial value problem -- as a further option on a similar footing. That is related to a number of recent alternative theories/formulations of GR known collectively as `shape dynamics'. The original work did not treat this with Poisson brackets and a proper systematic Dirac-type analysis; we rectify this in this paper. It is also the first demonstration of how this approach solves the classical spacetime reconstruction problem via `hypersurface tensor dual nationality' and what can be interpreted as embedding equations arising.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Minisuperspace model of Machian Resolution of Problem of Time. I. Isotropic Case

A local resolution to the Problem of Time that is Machian and was previously demonstrated for various relational mechanics models is here shown to work for a more widely studied quantum cosmological model. Namely, closed isotropic minisuperspace GR with minimally-coupled scalar field matter. This uses work firstly along the lines of Barbour's at the classical level. Secondly, it uses a Machianized version of the Semiclassical Approach to Quantum Cosmology. Finally, it uses a combined Machianized version of a combined Semiclassical Histories Timeless Records scheme along the lines of Halliwell's work. This program's goal is the treatment of inhomogeneous perturbations about the present paper's model, drawing also qualitatively from the relational mechanics examples since these have nontrivial notions of inhomogeneity/structure (clumping) as well as nontrivial linear constraints.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Problem of Time and Background Independence: the Individual Facets

I lay out the problem of time facets as arising piecemeal from a number of aspects of background independence. Almost all of these already have simpler classical counterparts. This approach can be viewed as a facet by facet completion of the observation that Barbour-type relationalism is a background independent precursor to 2 of the 9 facets. That completion proceeds in an order dictated by the additional layers of mathematical structure required to support each. Moreover, the `nonlinear nature' of the interactions between the Problem of Time facets renders a joint study of them mandatory. The current article is none the less a useful prequel via gaining a conceptual understanding of each facet, prior to embarking on rendering some combinations of facets consistent and what further obstructions arise in attempting such joint considerations. See [20, 21, 26] for up to date studies of this more complicated joint version. I also identify new facets (threading based), subfacets (of observables and of reconstructions) and further source of variety from how far down the levels of mathematical structure these facets extend.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Problem of Time: Facets and Machian Strategy

The Problem of Time is that `time' in each of ordinary quantum theory and general relativity are mutually incompatible notions. This causes difficulties in trying to put these two theories together to form a theory of Quantum Gravity. The Problem of Time has 8 facets in canonical approaches. I clarify that all but one of these facets already occur at the classical level, and reconceptualize and re-name some of these facets as follows.The Frozen Formalism Problem becomes Temporal Relationalism, the Thin Sandwich Problem becomes Configurational Relationalism, via the notion of Best Matching. The Problem of Observables becomes the Problem of Beables, and the Functional Evolution Problem becomes the Constraint Closure Problem. I also outline how each of the Global and Multiple-Choice Problems of Time have their own plurality of facets. This article additionally contains a local resolution to the Problem of Time at the conceptual level and which is actually realizable for the relational triangle and minisuperspace models. This resolution is, moreover, Machian, and has three levels: classical, semiclassical and a combined semiclassical-histories-timeless records scheme. I end by delineating the current frontiers of this program toward resolution of the Problem of Time in the cases of full GR and of slightly inhomogeneous cosmology.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Relationalism

This article contributes to the debate of the meaning of relationalism and background independence, which has remained of interest in theoretical physics from Newton versus Leibniz through to foundational issues for today's leading candidate theories of quantum gravity. I contrast and compose the substantially different Leibniz--Mach--Barbour (LMB) and Rovelli--Crane (RC) uses of the word `relational'. Leibniz advocated primary timelessness and Mach that `time is to be abstracted from change'. I consider 3 distinct viewpoints on Machian time: Barbour's, Rovelli's and my own. I provide four expansions on Barbour's taking configuration space to be primary: to (perhaps a weakened notion of) phase space, categorizing, perspecting and propositioning. Categorizing means considering not only object spaces but also the corresponding morphisms and then functors between such pairs. Perspecting means considering the set of subsystem perspectives; this is an arena in which the LMB and Rovelli approaches make contact. By propositioning, I mean considering the set of propositions about a physical (sub)system. I argue against categorization being more than a formal pre-requisite for quantization in general; however, perspecting is a categorical operation, and propositioning leads one to considering topoi, with Isham and Doering's work represents one possibility for a mathematically sharp implementation of propositioning. Further applications of this article are arguing for Ashtekar variables as being relational in LMB as well as just the usually-ascribed RC sense, relationalism versus supersymmetry, string theory and M-theory. The question of whether scale is relational is also considered, with quantum cosmology in mind.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Kerr-Newman Black Hole Thermodynamical State Space: Blockwise Coordinates

A coordinate system that blockwise-simplifies the Kerr-Newman black hole's thermodynamical state space Ruppeiner metric geometry is constructed, with discussion of the limiting cases corresponding to simpler black holes. It is deduced that one of the three conformal Killing vectors of the Reissner-Nordstrom and Kerr cases (whose thermodynamical state space metrics are 2 by 2 and conformally flat) survives generalization to the Kerr-Newman case's 3 by 3 thermodynamical state space metric.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Machian Classical and Semiclassical Emergent Time

Classical and semiclassical schemes are presented that are timeless at the primary level and recover time from Mach's `time is to be abstracted from change' principle at the emergent secondary level. The semiclassical scheme is a Machian variant of the Semiclassical Approach to the Problem of Time in Quantum Gravity. The classical scheme is Barbour's, cast here explicitly as the classical precursor of the Semiclassical Approach. Thus the two schemes have been married up, as equally-Machian and necessarily distinct, since quantum change is part of whence the latter's timestandard is abstracted.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Machian Time Is To Be Abstracted From What Change?

"It is utterly beyond our power to measure the changes of things by time. Quite the contrary, time is an abstraction at which we arrive through the changes of things." Ernst Mach [1]. What change? Three answers to this are `any change' (Rovelli), 'all change' (Barbour) and my argument here for the middle ground of a `sufficient totality of locally relevant change' (STLRC) giving a generalization of the astronomers' ephemeris time. I then use STLRC as a selection principle on existing and new approaches to the Problem of Time in Quantum Gravity. Emergent Jacobi-Barbour-Bertotti time can be interpreted as arising from a STLRC, resolves the classical Problem of Time and has an emergent semiclassical counterpart as regards facing the QM Problem of Time.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

On Background Independence

This paper concerns what Background Independence itself is (as opposed to some particular physical theory that is background independent). The notions presented mostly arose from a layer-by-layer analysis of the facets of the Problem of Time in Quantum Gravity. Part of this coincides with two relational postulates which are thus identified as classical precursors of two of the facets of the Problem of Time. These are furthemore tied to the forms of each of the GR Hamiltonian and momentum constraints. Other aspects of Background Independence include the algebraic closure of these constraints, expressing physics in terms of beables, foliation independence as implemented by refoliation invariance, the reconstruction of spacetime from space. The final picture is that Background Independence - a philosophically desirable and physically implementable feature for a theory to have - has the facets of the Problem of Time among its consequences. Thus these arise naturally and are problems to be resolved, as opposed to avoided `by making one's physics background-dependent in order not to have these problems'. This serves as a selection criterion that limits the use of a number of model arenas and physical theories.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Relational Quadrilateralland Interpretation of CP^2 and Quotients

I investigate qualitatively significant regions of the configuration space for the classical and quantum mechanics of the relational quadrilateral in 2-d. This is relational in the sense that only relative ratios of separations, relative angles and relative times are significant. Such relational particle mechanics models have many analogies with the geometrodynamical formulation of general relativity. Thus, they are suitable as toy models for studying 1) problem of time in quantum gravity strategies, in particular timeless, semiclassical and histories theory approaches and combinations of these. 2) Various other quantum-cosmological issues, such as structure formation/inhomogeneity and the significance of uniform states. The relational quadrilateral is more useful in these respects than previously investigated simpler RPM's as it possesses linear constraints, nontrivial subsystems and its configuration space is a nontrivial complex-projective space. In this paper, I investigate the submanifold of collinear configurations, the submanifolds with a single-particle collision, the square configurations and regions of the configuration space for which such as approximate collinearity, approximate squareness and approximate triangularity hold. I consider both mirror image identified and unidentified shapes, as well as both distinguishable and indistinguishable particle labels. I find the following CP^2 coordinate systems to be useful to these ends. 1) Kuiper's coordinates, which, for quadrilateralland, are magnitudes of the Jacobi vectors and anisoscelesnesses of the triangles formed between them. 2) Gibbons-Pope type coordinates, which, for quadrilateralland, are the sum and difference of relative angles between subsystems, the ratio of size of 2 subsystems and the proportion of universe model occupied by the subsystems.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Relational Quadrilateralland. Analogues of Isospin and Hypercharge

I consider the momenta and conserved quantities for CP^2 interpreted as the space of quadrilaterals. This builds on seminar I and II's kinematics via making use of MacFarlane's work considering the SU(3)-like (and thus particle physics-like) conserved quantities that occur for CP^2. I perform the additional step of further interpreting that as the configuration space of all relational quadrilaterals and thus an interesting toy model for whole-universe, relational and geometrodynamical-analogue physics. I also provide the Kuchar observables for the quadrilateral, which is a particular resolution of the Problem of Observables. I study HO-like and highly symmetric potentials. I also provide some exact solutions and qualitative behaviours for dynamics on CP^2. In each case, I reinterpret the results in terms of quadrilaterals. This paves the way for the quantum mechanical study of the relational quadrilateral and for investigations of a number of Problem of Time strategies and of a number of other foundational and qualitative investigations of Quantum Cosmology.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Relational Quadrilateralland. I. The Classical Theory

Relational particle mechanics models bolster the relational side of the absolute versus relational motion debate, and are additionally toy models for the dynamical formulation of General Relativity and its Problem of Time. They cover two aspects that the more commonly studied minisuperspace General Relativity models do not: 1) by having a nontrivial notion of structure and thus of cosmological structure formation and of localized records. 2) They have linear as well as quadratic constraints, which is crucial as regards modelling many Problem of Time facets. I previously solved relational triangleland classically, quantum mechanically and as regards a local resolution of the Problem of Time. This rested on triangleland's shape space being S^2 with isometry group SO(3), allowing for use of widely-known Geometry, Methods and Atomic/Molecular Physics analogies. I now extend this work to the relational quadrilateral, which is far more typical of the general N-a-gon, represents a `diagonal to nondiagonal Bianchi IX minisuperspace' step-up in complexity, and encodes further Problem of Time subtleties. The shape space now being CP^2 with isometry group SU(3)/Z_3, I now need to draw on Geometry, Shape Statistics and Particle Physics to solve this model; this is therefore an interdisciplinary paper. This Paper treats quadrilateralland at the classical level, and then Paper II provides a quantum treatment.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Relational Quadrilateralland. II. The Quantum Theory

This paper provides the quantum treatment of the relational quadrilateral. The underlying reduced configuration spaces are $\mathbb{CP}^2$ and the cone over this, C($\mathbb{CP}^2$). We consider exact free and isotropic HO potential cases and perturbations about these. Moreover, our purely relational kinematical quantization is distinct from the usual one for $\mathbb{CP}^2$, which turns out to carry absolutist connotations instead. Thus this paper is the first to note absolute-versus-relational motion distinctions at the kinematical rather than dynamical level, and also an example of value to the discussion of kinematical quantization along the lines of Isham 1984. This treatment of the relational quadrilateral is the first relational QM with very new mathematics for a finite QM model, and is far more typical of the general quantum relational $N$-a-gon than the previously-studied case of the relational triangle. We consider useful integrals as regards perturbation theory and the peaking interpretation of quantum cosmology. We subsequently consider problem of time applications of this: quantum Kuchař beables, the Machian version of the semiclassical approach and the timeless naive Schrodinger interpretation. These go toward extending the combined Machian semiclassical-histories-timeless approach of [1] to the case of the quadrilateral, which will be treated in subsequent papers.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Shape Quantities for Relational Quadrilateralland

I investigate useful shape quantities for the classical and quantum mechanics of the relational quadrilateral in 2-d. This is relational in the sense that only relative times, relative ratios of separations and relative angles are significant. Relational particle mechanics models such as this paper's have many analogies with the geometrodynamical formulation of general relativity. This renders them suitable as toy models for 1) studying Problem of Time in Quantum Gravity strategies, in particular timeless, semiclassical and histories theory approaches and combinations of these. 2) For consideration of various other quantum-cosmological issues, such as structure formation/inhomogeneity and notions of uniform states and their significance. The relational quadrilateral is more useful in these respects than previously investigated simpler RPM's due to simultaneously possessing linear constraints, nontrivial subsystems and nontrivial complex-projective mathematics. Such shape have been found to be useful in simpler relational models such as the relational triangle and in 1-d.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

The Problem of Time and Quantum Cosmology in the Relational Particle Mechanics Arena

This article contains a local solution to the notorious Problem of Time in Quantum Gravity at the conceptual level and which is actually realizable for the relational triangle. The Problem of Time is that `time' in GR and `time' in ordinary quantum theory are mutually incompatible notions, which is problematic in trying to put these two theories together to form a theory of Quantum Gravity. Four frontiers to this resolution in full GR are identified, alongside three further directions not yet conquered even for the relational triangle. This article is also the definitive review on relational particle models originally due to Barbour (2003: dynamics of pure shape) and Barbour and Bertotti (1982: dynamics of shape and scale). These are exhibited as useful toy models of background independence, which I argue to be the `other half' of GR to relativistic gravitation, as well as the originator of the Problem of Time itself. Barbour's work and my localized extension of it are shown to be the classical precursor of the background independence that then manifests itself at the quantum level as the full-blown Problem of Time. In fact 7/8ths of the Isham--Kuchar Problem of Time facets are already present in classical GR; even classical mechanics in relational particle mechanics formulation exhibits 5/8ths of these! In addition to Isham, Kuchar and Barbour, the other principal authors whose works are drawn upon in building this Problem of Time approach are Kendall (relational models only: pure-shape configuration spaces), Dirac, Teitelboim and Halliwell (Problem of Time resolving components). The recommended scheme is a combination of the Machian semiclassical approach, histories theory and records theory.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Approaching the Problem of Time with a Combined Semiclassical-Records-Histories Scheme

I approach the Problem of Time and other foundations of Quantum Cosmology using a combined histories, timeless and semiclassical approach. This approach is along the lines pursued by Halliwell. It involves the timeless probabilities for dynamical trajectories entering regions of configuration space, which are computed within the semiclassical regime. Moreover, the objects that Halliwell uses in this approach commute with the Hamiltonian constraint, H. This approach has not hitherto been considered for models that also possess nontrivial linear constraints, Lin. This paper carries this out for some concrete relational particle models (RPM's). If there is also commutation with Lin - the Kuchar observables condition - the constructed objects are Dirac observables. Moreover, this paper shows that the problem of Kuchar observables is explicitly resolved for 1- and 2-d RPM's. Then as a first route to Halliwell's approach for nontrivial linear constraints that is also a construction of Dirac observables, I consider theories for which Kuchar observables are formally known, giving the relational triangle as an example. As a second route, I apply an indirect method that generalizes both group-averaging and Barbour's best matching. For conceptual clarity, my study involves the simpler case of Halliwell 2003 sharp-edged window function. I leave the elsewise-improved softened case of Halliwell 2009 for a subsequent Paper II. Finally, I provide comments on Halliwell's approach and how well it fares as regards the various facets of the Problem of Time and as an implementation of QM propositions.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Problem of Time in Quantum Gravity

The Problem of Time occurs because the `time' of GR and of ordinary Quantum Theory are mutually incompatible notions. This is problematic in trying to replace these two branches of physics with a single framework in situations in which the conditions of both apply, e.g. in black holes or in the very early universe. Emphasis in this Review is on the Problem of Time being multi-faceted and on the nature of each of the eight principal facets. Namely, the Frozen Formalism Problem, Configurational Relationalism Problem (formerly Sandwich Problem), Foliation Dependence Problem, Constraint Closure Problem (formerly Functional Evolution Problem), Multiple Choice Problem, Global Problem of Time, Problem of Beables (alias Problem of Observables) and Spacetime Reconstruction/Replacement Problem. Strategizing in this Review is not just centred about the Frozen Formalism Problem facet, but rather about each of the eight facets. Particular emphasis is placed upon A) relationalism as an underpinning of the facets and as a selector of particular strategies (especially a modification of Barbour relationalism, though also with some consideration of Rovelli relationalism). B) Classifying approaches by the full ordering in which they embrace constrain, quantize, find time/history and find observables, rather than only by partial orderings such as "Dirac-quantize". C) Foliation (in)dependence and Spacetime Reconstruction for a wide range of physical theories, strategizing centred about the Problem of Beables, the Patching Approach to the Global Problem of Time, and the role of the question-types considered in physics. D) The Halliwell- and Gambini-Porto-Pullin-type combined Strategies in the context of semiclassical quantum cosmology.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

The Problem of Time in Quantum Gravity

The problem of time in quantum gravity occurs because `time' is taken to have a different meaning in each of general relativity and ordinary quantum theory. This incompatibility creates serious problems with trying to replace these two branches of physics with a single framework in regimes in which neither quantum theory nor general relativity can be neglected, such as in black holes or in the very early universe. Strategies for resolving the Problem of Time have evolved somewhat since Kuchar and Isham's well-known reviews from the early 90's. These come in the following divisions I) time before quantization, such as hidden time or matter time. II) Time after quantization, such as emergent semiclassical time. III) Timeless strategies of Type 1: naive Schrodinger interpretation, conditional probabilities interpretation and various forms of records theories, and Type 2 `Rovelli': in terms of evolving constants of the motion, complete observables and partial observables. IV) I argue for histories theories to be a separate class of strategy. Additionally, various combinations of these strategies have begun to appear in the literature; I discuss a number of such. Finally, I comment on loop quantum gravity, supergravity and string/M-theory from the problem of time perspective.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

On the Semiclassical Approach to Quantum Cosmology

The emergent semiclassical time approach to resolving the problem of time in quantum gravity involves heavy slow degrees of freedom providing via an approximately Hamilton-Jacobi equation an approximate timestandard with respect to which the quantum mechanics of light fast degrees of freedom can run. More concretely, this approach involves Born-Oppenheimer and WKB ansatze and some accompanying approximations. In this paper, I investigate this approach for concrete scaled relational particle mechanics models, i.e. models featuring only relative separations, relative angles and relative times. I consider the heavy-light interaction term in the light quantum equation - necessary for the semiclassical approach to work, firstly as an emergent-time dependent perturbation of the emergent-time-dependent Schrodinger equation for the light subsystem. Secondly, I consider a scheme in which the backreaction is small but non-negligible, so that the l-subsystem also affects the form of the emergent time. I also suggest that the many terms involving expectation values of the light wavefunctions in both the (unapproximated) heavy and light equations might require treatment in parallel to the Hartree--Fock self-consistent approach rather than merely being discarded; for the moment this paper provides a counterexample to such terms being smaller than their unaveraged counterparts. Investigation of these ideas and methods will give us a more robust understanding of the suggested quantum-cosmological origin of microwave background inhomogeneities and galaxies.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Quantum Cosmological Relational Model of Shape and Scale in 1-d

Relational particle models are useful toy models for quantum cosmology and the problem of time in quantum general relativity. This paper shows how to extend existing work on concrete examples of relational particle models in 1-d to include a notion of scale. This is useful as regards forming a tight analogy with quantum cosmology and the emergent semiclassical time and hidden time approaches to the problem of time. This paper shows furthermore that the correspondence between relational particle models and classical and quantum cosmology can be strengthened using judicious choices of the mechanical potential. This gives relational particle mechanics models with analogues of spatial curvature, cosmological constant, dust and radiation terms. A number of these models are then tractable at the quantum level. These models can be used to study important issues 1) in canonical quantum gravity: the problem of time, the semiclassical approach to it and timeless approaches to it (such as the naive Schrodinger interpretation and records theory). 2) In quantum cosmology, such as in the investigation of uniform states, robustness, and the qualitative understanding of the origin of structure formation.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Relational mechanics of shape and scale

Relational particle mechanics models (RPM's) are useful models for the problem of time in quantum gravity and other foundational issues in quantum cosmology. Some concrete examples of scalefree RPM's have already been studied, but it is the case with scale that is needed for the semiclassical and dilational internal time approaches to the problem of time. In this paper, I show that the scaled RPM's configuration spaces are the cones over the scalefree RPM's configuration spaces, which are spheres in 1-d and complex projective spaces in 2-d for plain shapes, and these quotiented by Z_2 for oriented shapes. I extend the method of physical interpretation by tessellation of the configuration space and the description in terms of geometrical quantities to the cases with scale and/or orientation. I show that there is an absence of monopole issues for RPM's and point out a difference between quantum cosmological operator ordering and that used in molecular physics. I use up RPM's freedom of the form of the potential to more closely parallel various well-known cosmologies, and begin the investigation of the semiclassical approach to the problem of time for such models.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Scaled Triangleland Model of Quantum Cosmology

In scaled relational particle mechanics, only relative times, relative angles and relative separations are meaningful. It arose in the study of the absolute versus relative motion debate. It has then turned out to be a useful toy model of classical and quantum general relativity, such as for investigating conceptual strategies for the problem of time. This paper studies the 3-particle 2-d scaled relational particle model, for which the configurations are scaled triangles. The configuration space for these is R^3 with a conformally flat metric thereupon (it is the cone over the corresponding shape space S^2. I use multiple harmonic oscillator type potentials and other potentials suggested by analogy with cosmology, and solve for some of these by using a partial analogy with the treatment of the atom in spherical and parabolic coordinates. Spherical coordinates are here the total moment of inertia $I$ for radius and two pure-shape coordinates. These are Θ, a function of the ratio of the two relative separations of subsystems, and Φ, the relative angle between the two subsystems. Parabolic coordinates are Φagain and twice the partial moments of inertia of each subsystem. I interpret these solutions using 1) a `Bohr moment of inertia' for the model universe (playing the role of the scalefactor). 2) Expectations and spreads of sizes and shapes. 3) Superimposing the probability density function on the labelled tessellation of the configuration space that encodes meaningful subregions such as collinear configurations, equilateral triangles and isosceles triangles. Applications include hidden time, emergent semiclassical time, timeless and histories theory problem of time strategies, and comparing reduced and Dirac methods of quantization.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Shape Space Methods for Quantum Cosmological Triangleland

With toy modelling of conceptual aspects of quantum cosmology and the problem of time in quantum gravity in mind, I study the classical and quantum dynamics of the pure-shape (i.e. scale-free) triangle formed by 3 particles in 2-d. I do so by importing techniques to the triangle model from the corresponding 4 particles in 1-d model, using the fact that both have 2-spheres for shape spaces, though the latter has a trivial realization whilst the former has a more involved Hopf (or Dragt) type realization. I furthermore interpret the ensuing Dragt-type coordinates as shape quantities: a measure of anisoscelesness, the ellipticity of the base and apex's moments of inertia, and a quantity proportional to the area of the triangle. I promote these quantities at the quantum level to operators whose expectation and spread are then useful in understanding the quantum states of the system. Additionally, I tessellate the 2-sphere by its physical interpretation as the shape space of triangles, and then use this as a back-cloth from which to read off the interpretation of dynamical trajectories, potentials and wavefunctions. I include applications to timeless approaches to the problem of time and to the role of uniform states in quantum cosmological modelling.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Quantum Cosmological Metroland Model

Relational particle mechanics is useful for modelling whole-universe issues such as quantum cosmology or the problem of time in quantum gravity, including some aspects outside the reach of comparably complex minisuperspace models. In this article, we consider the mechanics of pure shape and not scale of 4 particles on a line, so that the only physically significant quantities are ratios of relative separations between the constituents' physical objects. Many of our ideas and workings extend to the N-particle case. As such models' configurations resemble depictions of metro lines in public transport maps, we term them `N-stop metrolands'. This 4-stop model's configuration space is a 2-sphere, from which our metroland mechanics interpretation is via the `cubic' tessellation. This model yields conserved quantities which are mathematically SO(3) objects like angular momenta but are physically relative dilational momenta (i.e. coordinates dotted with momenta). We provide and interpret various exact and approximate classical and quantum solutions for 4-stop metroland; from these results one can construct expectations and spreads of shape operators that admit interpretations as relative sizes and the `homogeneity of the model universe's contents', and also objects of significance for the problem of time in quantum gravity (e.g. in the naive Schrodinger and records theory timeless approaches).

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Relational Motivation for Conformal Operator Ordering in Quantum Cosmology

Operator-ordering in quantum cosmology is a major as-yet unsettled ambiguity with not only formal but also physical consequences. We determine the Lagrangian origin of the conformal invariance that underlies the conformal operator-ordering choice in quantum cosmology. It is particularly naturally and simply manifest in relationalist product-type actions (such as the Jacobi action for mechanics or Baierlein-Sharp-Wheeler type actions for general relativity), for which all that is required for the kinetic and potential factors to rescale in compensation to each other. These actions themselves mathematically sharply implementing philosophical principles relevant to whole-universe modelling, the motivation for conformal operator-ordering in quantum cosmology is substantially strengthened. Relationalist product-type actions also give emergent times which amount to recovering Newtonian, proper and cosmic time in the various relevant contexts. The conformal scaling of these actions directly tells us how emergent time scales; if one follows suit with the Newtonian time or the lapse in the more commonly used difference-type Euler--Lagrange or Arnowitt--Deser--Misner type actions, one sees how these too obey a more complicated conformal invariance. Moreover, our discovery of the conformal scaling of the time involved permits relating how it simplifies equations of motion with how affine parametrization simplifies geodesics.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Smallest Relational Mechanics Model of Quantum Cosmology

Relational particle mechanics are models in which there is, overall, no time, position, orientation (nor, sometimes, scale). They are useful for whole-universe modelling - the setting for quantum cosmology. This note concerns 3 particles in 1d in shape-scale split variables. The scale part parallels certain Friedmann equations, while in this note the shape part involves functions on the circle. The scale part is taken to be `heavy' and `slow' so the semiclassical approach applies and scale provides an approximate timestandard with repect to which the light physics runs. Relational particle mechanics moreover provide conceptual models of inhomogeneity, structure formation and nontrivial linear constraints (minisuperspace models do not and midisuperspace models only do at the cost of substantial complications).

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

Emergent Semiclassical Time in Quantum Gravity. Full Geometrodynamics and Minisuperspace Examples

I apply the preceding paper's semiclassical treatment to geometrodynamics. The analogy between the two papers is quite useful at the level of the quadratic constraints, while I document the differences between the two due to the underlying differences in their linear constraints. I provide a specific minisuperspace example for my emergent semiclassical time scheme and compare it with the hidden York time scheme. Overall, interesting connections are shown between Newtonian, Leibniz--Mach--Barbour, WKB and cosmic times, while the Euler and York hidden dilational times are argued to be somewhat different from these.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

Emergent Semiclassical Time in Quantum Gravity. I. Mechanical Models

Strategies intended to resolve the problem of time in quantum gravity by means of emergent or hidden timefunctions are considered in the arena of relational particle toy models. In situations with `heavy' and `light' degrees of freedom, two notions of emergent semiclassical WKB time emerge; these are furthermore equivalent to two notions of emergent classical `Leibniz--Mach--Barbour' time. I futhermore study the semiclassical approach, in a geometric phase formalism, extended to include linear constraints, and with particular care to make explicit those approximations and assumptions used. I propose a new iterative scheme for this in the cosmologically-motivated case with one heavy degree of freedom. I find that the usual semiclassical quantum cosmology emergence of time comes hand in hand with the emergence of other qualitatively significant terms, including back-reactions on the heavy subsystem and second time derivatives. I illustrate my analysis by taking it further for relational particle models with linearly-coupled harmonic oscillator potentials. As these examples are exactly soluble by means outside the semiclassical approach, they are additionally useful for testing the justifiability of some of the approximations and assumptions habitually made in the semiclassical approach to quantum cosmology. Finally, I contrast the emergent semiclassical timefunction with its hidden dilational Euler time counterpart.

0 citations0 reviewsNo code linkedOpen access
preprint2005arXiv

Geodesics, the Equivalence Principle and Singularities in Higher-dimensional General Relativity and Braneworlds

The geodesics of a spacetime seldom coincide with those of an embedded submanifold of codimension one. We investigate this issue for higher-dimensional general relativity-like models, firstly in the simpler case without branes to isolate which features are already present, and then in the more complicated case with branes. The framework in which we consider branes is general enough to include asymmetric braneworlds but not thick branes. We apply our results on geodesics to study both the equivalence principle and cosmological singularities. Among the models we study these considerations favour $Z_2$ symmetric braneworlds with a negative bulk cosmological constant.

0 citations0 reviewsNo code linkedOpen access
preprint2005arXiv

The physical gravitational degrees of freedom

When constructing general relativity (GR), Einstein required 4D general covariance. In contrast, we derive GR (in the compact, without boundary case) as a theory of evolving 3-dimensional conformal Riemannian geometries obtained by imposing two general principles: 1) time is derived from change; 2) motion and size are relative. We write down an explicit action based on them. We obtain not only GR in the CMC gauge, in its Hamiltonian 3 + 1 reformulation but also all the equations used in York's conformal technique for solving the initial-value problem. This shows that the independent gravitational degrees of freedom obtained by York do not arise from a gauge fixing but from hitherto unrecognized fundamental symmetry principles. They can therefore be identified as the long-sought Hamiltonian physical gravitational degrees of freedom.

0 citations0 reviewsNo code linkedOpen access