DOCSLIB.ORG

Knotted String Foams and Mathematical Physics 1. Introduction

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Knotted String Foams and Mathematical Physics 1. Introduction Knotted String Foams and Mathematical Physics Keith Murray 08 September 2017 ABSTRACT We attempt to show that there is sufficient mathematical evidence to consider knots as “foundational” particles in mathematical physics, by presenting relationships to the mathematics of General Relativity and Yang-Mills. 1. Introduction Shortly after the onset of the millennium, I was wrestling with a direct quantization of the Einstein and stress-energy tensors which would produce square-integrable wave functions. While I was able to find some results, the interpretation of the wave functions were ambiguous and in limiting cases the equations resembled the Klein-Gordon equations. This caused me to think that I had rediscovered nothing more than an alternative expression for a freely moving photon traveling in curved spacetime. Furthermore, were I to embark on the arduous journey of generalizing these expressions, I may arrive merely at an analog of the Dirac equation on curved spacetime. Rather than pursuing that path further, I decided it was probably a better idea to investigate what generalizations could be hypothesized for modern objects in mathematical physics. During my survey of objects in mathematical physics, I frequently encountered a generic and recurring theme for which I invoked symbolic logic out of necessity. This was simply a symbolic string: 퐓 = ∅ + 퐇 + 퐀 (1) Here, T can be a “theory” in the logical or model theoretical sense. The ∅ empty set symbol may literally represent the empty set, the concept of zero, an arbitrarily small epsilon in mathematical analysis, or any other null character which the theory may require. H may be a vector space over a field, module over a ring, or any tensored product thereof; by logical extension, H could be any object we may find in any category. And A is a connection (gauge) or some other object required to satisfy the axioms of the theory with respect to H. Finally, “+” is the familiar plus sign, or Abelian operator; but more generally, it may represent any commutative binary operation, e.g., triples (+, H, A) = (+, A, H). While this was all fine, in terms of mathematical physics my theoretical boat was slipping further from the safety of the coastline and into the white-capped seas of mathematical logic. To escape this, I then decided to focus on constructing a general framework for elementary particles that would be in alignment with Eqn. 1. The solution my mind produced: a school of fish could be an excellent toy model for elementary particles. A school of fish is driven by swarm behavior, so immediately we have some nice concepts summarized in a few words: discrete, stochastic, optimization, Markov chains, hitting times. Perhaps spacetime or simply space if it is discrete – and the Loop Quantum Gravity folks will remind us that there is no a priori reason to believe space is discrete, but what the heck – is distinguishable to a test particle because of the way swarms interact. For example, a flock of birds meets a swarm of insects, or a shoal of fish meets a swarm of bottle-nosed dolphins. These different types of “particles” will interact. However, then I thought that although swarms (like a bait ball of fish) can have a very recognizable global geometry (a sphere), in the end swarm equations are only behavioral functions. Swarm models of behavior follow very precise codes, and can be simulated using computer programming languages. So while these emulate the sort of behavior one may like to think about for a quantum geometric model of particles, straight away we know that the Lie groups are not required to model swarm behavior. But Lie groups are required to model the interactions of elementary particles. How to reconcile these thoughts? We do not know what Standard Model point particles are, but the math works in the laboratory. We do not know what strings are, but there is some ancestral relationship with point particle laboratory physics. We do not know what spin foams are, but they can be used to recover General Relativity. We do not know what particles are, really, but we know that particles cannot be modelled by swarm behavior alone. Yet swarms are nice because they have dynamics, they are discrete, and the global geometry is spherical. If only there was a way to connect swarms with Lie algebras, like an embedding! But that yet appears insufficient, because although we can embed swarms in tensored vector spaces or in GL(n)-valued spaces, we still have only sort-of spherical geometry with a swarm, and spherical geometry is only useful for a limited number of physical scenarios – both classical and quantum. What we really need is an idea that includes more general geometric structure, and it would be convenient if there were some pre-established mathematical concepts relating more general geometric structures to physics, in order to avoid reinventing lots of math. So, very close to the swarm idea is the knot! Knots themselves may be a great way to think about particles, because they have holonomy, inherent relationships to algebra (Jones polynomial, for example), and if they are framed – recall framed knots are more like tubes or rubber bands instead of 1-dimensional strings – then knots could still have the “school of fish” swimming inside the tubes or along frames with a certain periodicity as these “fish” swim around the race track. Also, since knots have holonomy there is a notion of connection, referring back to our simple statement in Eqn. 1, of a logical mathematical physics “theory”. Admittedly, since we do not know much about treating knots themselves as elementary particles, let us rather say we shall treat knots as “foundational” particles, whatever that means, and proceed to lay some groundwork. 2. Knots as Foundational Particles <<under construction>> 3. Categorical Physics To keep our discussion in order, let us review some basic properties of analysis and establish some of the techniques we will be using. [For example, the fundamental group is a functor pi1 : Top -> Grp:, A History of n-Categorical Physics, DRAFT VERSION!, John C. Baez] Example: the fundamental group, with F, G, H other functors. Categorical String Theory [see Categorical Aspects of Topological QFT, Bruce Bartlett: 3.4.2 TopString, 4.1.3 Triangulated spaces, 4.1.2 The connection as a functor] Relations to Topos, Sheaves, Sites [see Baez, Gauge Fields, p 333 – 334] Relationships to Model Theory and Categorical Logic From Model Theory: Finitary Models can be [First-Order, Categorical Theories]. First order theories cannot be categorical, i.e., they cannot be described up to isomorphism, unless that model is finite. Reworded: given a finite model, a first order theory may be categorical. Two famous model theoretic theorems deal with the weaker notion of K-categoricity for a cardinal K. A theory T is called K-categorical if any two models of T that are of cardinality K are isomorphic. For a complete first-order theory T in a finite or countable signature the following conditions are equivalent (Ryll-Nardzewski Theorem): - T is Aleph0-categorical - For every natural number n, the Stone Space Sn(T) is finite - For every natural number n, the number of formulas f(x1, x2, x3, … , xn) in n free variables, up to equivalence modulo T, is finite. ℎ(푥) (5) 4. TOE Unification Model Let’s start with a note from Wikipedia’s GUT article: Let’s compare [Quantum Theory from Quantum Gravity, Fotini Markopoulou∗ and Lee Smolin†] the abstract from Lee Smolin to Mark Hadley. Winding numbers, Jones Polynomial, Witten, and Standard Model Spacetime Algebras and Lie Algebras as distinct but related entities. SU(3)SU(2)U(1) can be found. Spacetime algebra: [CHERN-SIMONS GAUGE THEORY AS A STRING THEORY, Edward Witten, ⋆School of Natural Sciences, Institute for Advanced Study, Olden Lane, Princeton, NJ 08540] [Discrete Approaches to Quantum Gravity in Four Dimensions, Renate Loll, Max-Planck-Institut fur Gravitationsphysik, 3 Quantum Regge Calculus, and 4. Dynamical triangulations] [4 Dynamical triangulations . .23 4.1 Introduction . .. 23 4.2 Path integral for dynamical triangulations . 23 4.3 Existence of an exponential bound? . 24 4.4 Performing the state sum . .. 24 4.5 The phase structure . 25 4.6 Evidence for a second-order transition? . 26 4.7 Influence of the measure . .. 26 4.8 Higher-derivative terms . 27 4.9 Coupling to matter fields . .. 27 4.10 Non-spherical lattices . 28 4.11 Singular congurations . 28 4.12 Renormalization group . .. 28 4.13 Exploring geometric properties . 28 4.14 Two-point functions . 29 4.15 Summary . .. 30] [QUASIALGEBRA STRUCTURE OF THE OCTONIONS, Helena Albuquerque, Shahn Majid, December, 1997 – February, 1998; Abstract We show that the octonions are a twisting of the group algebra of Z2 × Z2 × Z2 in the quasitensor category of representations of a quasi-Hopf algebra associated to a group 3-cocycle.] Octonion X-product and Octonion E8 Lattices, Geoffrey Dixon Baez, Octonions and relationship to E8. [A Categorical Equivalence between Generalized Holonomy Maps on a Connected Manifold and Principal Connections on Bundles over that Manifold Sarita Rosenstock1, a) and James Owen Weatherall1, b)] Spacetime Algebras and Lie Algebras as distinct but related entities. SU(3)SU(2)U(1) can be found. Brief Review: Spacetime algebra: Clifford Algebra and Discrete Manifolds, and Clifford Algebra Approach to Curvature Extending Finite Element Exterior Calculus to Finite Element Clifford Algebra. The objective of including this in this survey is to think of using discrete forms as manifolds, so the two may be used interchangeably. From http://math.arizona.edu/~agillette/research/pd11talk.pdf. Some Clifford/Spacetime calculations arriving at curvature over continuous manifolds are given in: In: International Journal of Theoretical Physics Vol.
Load more

Recommended publications
  • Numerical Relativity
    Paper presented at the 13th Int. Conf on General Relativity and Gravitation 373 Cordoba, Argentina, 1992: Part 2, Workshop Summaries Numerical relativity Takashi Nakamura Yulcawa Institute for Theoretical Physics, Kyoto University, Kyoto 606, JAPAN In GR13 we heard many reports on recent. progress as well as future plans of detection of gravitational waves. According to these reports (see the report of the workshop on the detection of gravitational waves by Paik in this volume), it is highly probable that the sensitivity of detectors such as laser interferometers and ultra low temperature resonant bars will reach the level of h ~ 10—21 by 1998. in this level we may expect the detection of the gravitational waves from astrophysical sources such as coalescing binary neutron stars once a year or so. Therefore the progress in numerical relativity is urgently required to predict the wave pattern and amplitude of the gravitational waves from realistic astrophysical sources. The time left for numerical relativists is only six years or so although there are so many difficulties in principle as well as in practice. Apart from detection of gravitational waves, numerical relativity itself has a final goal: Solve the Einstein equations numerically for (my initial data as accurately as possible and clarify physics in strong gravity. in GRIIS there were six oral presentations and ll poster papers on recent progress in numerical relativity. i will make a brief review of six oral presenta— tions. The Regge calculus is one of methods to investigate spacetimes numerically. Brewin from Monash University Australia presented a paper Particle Paths in a Schwarzshild Spacetime via.
    [Show full text]
  • Aspects of Loop Quantum Gravity
    Aspects of loop quantum gravity Alexander Nagen 23 September 2020 Submitted in partial fulfilment of the requirements for the degree of Master of Science of Imperial College London 1 Contents 1 Introduction 4 2 Classical theory 12 2.1 The ADM / initial-value formulation of GR . 12 2.2 Hamiltonian GR . 14 2.3 Ashtekar variables . 18 2.4 Reality conditions . 22 3 Quantisation 23 3.1 Holonomies . 23 3.2 The connection representation . 25 3.3 The loop representation . 25 3.4 Constraints and Hilbert spaces in canonical quantisation . 27 3.4.1 The kinematical Hilbert space . 27 3.4.2 Imposing the Gauss constraint . 29 3.4.3 Imposing the diffeomorphism constraint . 29 3.4.4 Imposing the Hamiltonian constraint . 31 3.4.5 The master constraint . 32 4 Aspects of canonical loop quantum gravity 35 4.1 Properties of spin networks . 35 4.2 The area operator . 36 4.3 The volume operator . 43 2 4.4 Geometry in loop quantum gravity . 46 5 Spin foams 48 5.1 The nature and origin of spin foams . 48 5.2 Spin foam models . 49 5.3 The BF model . 50 5.4 The Barrett-Crane model . 53 5.5 The EPRL model . 57 5.6 The spin foam - GFT correspondence . 59 6 Applications to black holes 61 6.1 Black hole entropy . 61 6.2 Hawking radiation . 65 7 Current topics 69 7.1 Fractal horizons . 69 7.2 Quantum-corrected black hole . 70 7.3 A model for Hawking radiation . 73 7.4 Effective spin-foam models .
    [Show full text]
  • The Degrees of Freedom of Area Regge Calculus: Dynamics, Non-Metricity, and Broken Diffeomorphisms
    The Degrees of Freedom of Area Regge Calculus: Dynamics, Non-metricity, and Broken Diffeomorphisms Seth K. Asante,1, 2, ∗ Bianca Dittrich,1, y and Hal M. Haggard3, 1, z 1Perimeter Institute for Theoretical Physics, 31 Caroline Street North, Waterloo, ON, N2L 2Y5, Canada 2Department of Physics and Astronomy, University of Waterloo, Waterloo, ON, N2L 3G1, Canada 3Physics Program, Bard College, 30 Campus Road, Annondale-On-Hudson, NY 12504, USA Discretization of general relativity is a promising route towards quantum gravity. Discrete geometries have a finite number of degrees of freedom and can mimic aspects of quantum ge- ometry. However, selection of the correct discrete freedoms and description of their dynamics has remained a challenging problem. We explore classical area Regge calculus, an alternative to standard Regge calculus where instead of lengths, the areas of a simplicial discretization are fundamental. There are a number of surprises: though the equations of motion impose flatness we show that diffeomorphism symmetry is broken for a large class of area Regge geometries. This is due to degrees of freedom not available in the length calculus. In partic- ular, an area discretization only imposes that the areas of glued simplicial faces agrees; their shapes need not be the same. We enumerate and characterize these non-metric, or `twisted', degrees of freedom and provide tools for understanding their dynamics. The non-metric degrees of freedom also lead to fewer invariances of the area Regge action|in comparison to the length action|under local changes of the triangulation (Pachner moves). This means that invariance properties can be used to classify the dynamics of spin foam models.
    [Show full text]
  • Regge Calculus As a Numerical Approach to General Relativity By
    Regge Calculus as a Numerical Approach to General Relativity by Parandis Khavari A thesis submitted in conformity with the requirements for the degree of Doctor of Philosophy Department of Astronomy and Astrophysics University of Toronto Copyright c 2009 by Parandis Khavari Abstract Regge Calculus as a Numerical Approach to General Relativity Parandis Khavari Doctor of Philosophy Department of Astronomy and Astrophysics University of Toronto 2009 A (3+1)-evolutionary method in the framework of Regge Calculus, known as “Paral- lelisable Implicit Evolutionary Scheme”, is analysed and revised so that it accounts for causality. Furthermore, the ambiguities associated with the notion of time in this evolu- tionary scheme are addressed and a solution to resolving such ambiguities is presented. The revised algorithm is then numerically tested and shown to produce the desirable results and indeed to resolve a problem previously faced upon implementing this scheme. An important issue that has been overlooked in “Parallelisable Implicit Evolutionary Scheme” was the restrictions on the choice of edge lengths used to build the space-time lattice as it evolves in time. It is essential to know what inequalities must hold between the edges of a 4-dimensional simplex, used to construct a space-time, so that the geom- etry inside the simplex is Minkowskian. The only known inequality on the Minkowski plane is the “Reverse Triangle Inequality” which holds between the edges of a triangle constructed only from space-like edges. However, a triangle, on the Minkowski plane, can be built from a combination of time-like, space-like or null edges. Part of this thesis is concerned with deriving a number of inequalities that must hold between the edges of mixed triangles.
    [Show full text]
  • A Discrete Representation of Einstein's Geometric Theory of Gravitation: the Fundamental Role of Dual Tessellations in Regge Calculus
    A Discrete Representation of Einstein’s Geometric Theory of Gravitation: The Fundamental Role of Dual Tessellations in Regge Calculus Jonathan R. McDonald and Warner A. Miller Department of Physics, Florida Atlantic University, Boca Raton, FL 33431, USA [email protected] In 1961 Tullio Regge provided us with a beautiful lattice representation of Einstein’s geometric theory of gravity. This Regge Calculus (RC) is strikingly different from the more usual finite difference and finite element discretizations of gravity. In RC the fundamental principles of General Relativity are applied directly to a tessellated spacetime geometry. In this manuscript, and in the spirit of this conference, we reexamine the foundations of RC and emphasize the central role that the Voronoi and Delaunay lattices play in this discrete theory. In particular we describe, for the first time, a geometric construction of the scalar curvature invariant at a vertex. This derivation makes use of a new fundamental lattice cell built from elements inherited from both the simplicial (Delaunay) spacetime and its circumcentric dual (Voronoi) lattice. The orthogonality properties between these two lattices yield an expression for the vertex-based scalar curvature which is strikingly similar to the corre- sponding and more familiar hinge-based expression in RC (deficit angle per unit Voronoi dual area). In particular, we show that the scalar curvature is simply a vertex-based weighted average of deficits per weighted average of dual areas. What is most striking to us is how naturally spacetime is represented by Voronoi and Delaunay structures and that the laws of gravity appear to be encoded locally on the lattice spacetime with less complexity than in the continuum, yet the continuum is recovered by convergence in mean.
    [Show full text]
  • Exact Bianchi Identity in Regge Gravity
    INSTITUTE OF PHYSICS PUBLISHING CLASSICAL AND QUANTUM GRAVITY Class. Quantum Grav. 21 (2004) 5915–5947 PII: S0264-9381(04)82165-8 Exact Bianchi identity in Regge gravity Herbert W Hamber and Geoff Kagel Department of Physics and Astronomy, University of California, Irvine, CA 92697-4575, USA E-mail: [email protected] and [email protected] Received 10 June 2004, in final form 18 October 2004 Published 29 November 2004 Online at stacks.iop.org/CQG/21/5915 doi:10.1088/0264-9381/21/24/013 Abstract In the continuum the Bianchi identity implies a relationship between different components of the curvature tensor, thus ensuring the internal consistency of the gravitational field equations. In this paper the exact form for the Bianchi identity in Regge’s discrete formulation of gravity is derived, by considering appropriate products of rotation matrices constructed around null-homotopic paths. The discrete Bianchi identity implies an algebraic relationship between deficit angles belonging to neighbouring hinges. As in the continuum, the derived identity is valid for arbitrarily curved manifolds without a restriction to the weak field small curvature limit, but is in general not linear in the curvatures. PACS numbers: 04.20.−q, 04.60.−m, 04.60.Nc, 04.60.Gw 1. Introduction In this paper we investigate the form of the Bianchi identities in Regge’s [1] lattice formulation of gravity [2–10]. The Bianchi identities play an important role in the continuum formulation of gravity, both classical and quantum-mechanical, giving rise to a differential relationship between different components of the curvature tensor. It is known that these simply follow from the definition of the Riemann tensor in terms of the affine connection and the metric components, and help ensure the consistency of the gravitational field equations in the presence of matter.
    [Show full text]
  • A Kirchhoff-Like Conservation Law in Regge Calculus
    A Kirchhoff-like conservation law in Regge calculus Adrian P. Gentle1, Arkady Kheyfets2, Jonathan R. McDonald 3 & Warner A. Miller3 1Department of Mathematics, University of Southern Indiana, Evansville, IN 47712 2Department of Mathematics, North Carolina State University, Raleigh, NC 27695 3Department of Physics, Florida Atlantic University, Boca Raton, FL 33431 E-mail: [email protected] Abstract. Simplicial lattices provide an elegant framework for discrete spacetimes. The inherent orthogonality between a simplicial lattice and its circumcentric dual yields an austere representation of spacetime which provides a conceptually simple form of Einstein’s geometric theory of gravitation. A sufficient understanding of simplicial spacetimes has been demonstrated in the literature for spacetimes devoid of all non-gravitational sources. However, this understanding has not been adequately extended to non-vacuum spacetime models. Consequently, a deep understanding of the diffeomorphic structure of the discrete theory is lacking. Conservation laws and symmetry properties are attractive starting points for coupling matter with the lattice. We present a simplicial form of the contracted Bianchi identity which is based on the E. Cartan moment of rotation operator. This identity manifest itself in the conceptually- simple form of a Kirchhoff-like conservation law. This conservation law enables one to extend Regge Calculus to non-vacuum spacetimes and provides a deeper understanding of the simplicial diffeomorphism group. PACS numbers: 04.60.Nc, 02.40.Sf arXiv:0807.3041v3 [gr-qc] 24 Mar 2009 Submitted to: Class. Quantum Grav. A Kirchhoff-like conservation law in Regge calculus 2 1. Introduction Regge Calculus (RC) provides a natural framework for the description of discrete spacetimes [1, 2].
    [Show full text]
  • Arxiv:1705.01964V2 [Hep-Th] 27 Jul 2017 Where Min(#Cut) Is the Minimal Number of Tensor Network Armin Links Cut by a Surface Anchored to A
    Discrete Gravity on Random Tensor Network and Holographic Renyi´ Entropy Muxin Han1, 2 and Shilin Huang3 1Department of Physics, Florida Atlantic University, 777 Glades Road, Boca Raton, FL 33431, USA 2Institut f¨urQuantengravitation, Universit¨atErlangen-N¨urnberg, Staudtstr. 7/B2, 91058 Erlangen, Germany 3Institute for Interdisciplinary Information Sciences, Tsinghua University, Beijing 100084, China In this paper we apply the discrete gravity and Regge calculus to tensor networks and Anti-de Sitter/conformal field theory (AdS/CFT) correspondence. We construct the boundary many-body quantum state Ψ using random j i tensor networks as the holographic mapping, applied to the Wheeler-deWitt wave function of bulk Euclidean discrete gravity in 3 dimensions. The entanglement Renyi´ entropy of Ψ is shown to holographically relate to j i the on-shell action of Einstein gravity on a branch cover bulk manifold. The resulting Renyi´ entropy S of Ψ n j i approximates with high precision the Renyi´ entropy of ground state in 2-dimensional conformal field theory (CFT). In particular it reproduces the correct n dependence. Our results develop the framework of realizing the AdS3/CFT2 correspondence on random tensor networks, and provide a new proposal to approximate the CFT ground state. PACS numbers: I. INTRODUCTION to local degrees of freedom in the bulk [31–33]. The architec- ture of the TN may be viewed as a process of real-space renor- The tensor network is a quantum state of many-body sys- malization, such as multiscale entanglement renormalization tem constructed by contracting tensors according to a network ansatz (MERA), where the renormalization scale relates to the graph with nodes and links (FIG.1).
    [Show full text]
  • Causal Dynamical Triangulations in Four Dimensions
    Jagiellonian University Faculty of Physics, Astronomy and Applied Computer Science Causal Dynamical Triangulations in Four Dimensions by Andrzej G¨orlich Thesis written under the supervision of Prof. Jerzy Jurkiewicz, arXiv:1111.6938v1 [hep-th] 29 Nov 2011 presented to the Jagiellonian University for the PhD degree in Physics Krakow 2010 Contents Preface 5 1 Introduction to Causal Dynamical Triangulations 9 1.1 Causaltriangulations. 11 1.2 The Regge action and the Wick rotation . 14 1.3 The author’s contribution to the field . ..... 17 2 Phase diagram 21 2.1 Phasetransitions ................................ 24 2.2 Relation to Hoˇrava-Lifshitz gravity . ........ 28 3 The macroscopic de Sitter Universe 31 3.1 Spatialvolume .................................. 31 3.2 Theminisuperspacemodel. 37 3.3 Thefourdimensionalspacetime. 38 3.4 GeometryoftheUniverse . 45 4 Quantum fluctuations 53 4.1 Decomposition of the Sturm-Liouville matrix . ........ 58 4.2 Kineticterm ................................... 60 4.3 Potentialterm .................................. 61 4.4 Flow of the gravitational constant . ..... 63 5 Geometry of spatial slices 67 5.1 Hausdorffdimension ............................... 67 5.2 Spectraldimension ............................... 70 5.3 The fractal structure of spatial slices . ........ 71 6 Implementation 75 6.1 Parametrization of the manifold . ..... 75 6.2 MonteCarloSimulations. 81 6.3 MonteCarloMoves................................ 85 3 4 CONTENTS Conclusions 91 A Derivation of the Regge action 93 B Constrained propagator 99 Bibliography 101 The author’s list of publications 107 Acknowledgments 109 Preface To reconcile classical theory of gravity with quantum mechanics is one of the most chal- lenging problems in theoretical physics. Einstein’s General Theory of Relativity, which supersedes the Newton’s law of universal gravitation, known since 17th century, is a geo- metric theory perfectly describing gravitational interactions observed in the macroscopic world.
    [Show full text]
  • Regge Calculus with Torsion
    REGGE CALCULUS WITH TORSION Christian Holm Institute for Theoretical Physics A TU Clausthal, D-3392 Clausthal, FRG and J6rg D. Hennig Arnold Sommerfeld Institute for Mathematical Physics TU Clausthal, D-3392 Clausthal, FRO 1. Introduction to Re~,e Calculus Regge Calculus was introduced by T. Regge [1] almost 30 years ago for Riemannian manifolds without torsion. Regge defined the concept of curvature and metric for a simplicial manifold, giving thus up the differentiable structure, and gave us a "discrete" version of Einstein's theory of gravity. This is done for several reasons: for a compact manifold the triangulation is finite, so one has to deal with only a finite number of simplices; the discreteness makes numerical calculations possible, this is helpful for example in strong fields; and finally, Regge calculus is viewed as a possible road to quantum gravity [2]. In two dimensions a differentiable surface is approximated by triangles, whose interior is assumed to be flat. The metric information of the manifold is encoded in the edgelengths of the simplices. For a n-simplex the number of edges is n(n+l)/2, which matches exactly the number of independent components of the Riemannian metric tensor g~v, so that this information is exactly equivalent to specifying the metric. The curvature is measured by carrying vectors around closed loops, which encircle a hinge, which is a (n- 2)-simplex. The angle 0 by which the parallel transported vector has been rotated is called the deficit angle associated with that hinge and is a measure of the scalar curvature R:=Rlavg/-tv.
    [Show full text]
  • Discrete Quantum Gravity: the Regge Calculus Approach 1
    CERN-TH.6236/91 DISCRETE QUANTUM GRAVITY: THE REGGE CALCULUS APPROACH 1 Ruth M. Williams 2 Theory Division, CERN, 1211 Geneva 23, Switzerland Abstract After a brief introduction to Regge calculus, some examples of its application in quantum gravity are described. In particular, the earliest such application, by Ponzano and Regge, is discussed in some detail and it is shown how this leads naturally to current work on invariants of three-manifolds. CERN-TH.6236/91 September 1991 1Invited talk delivered at the Research Conference on Advanced Quantum Field Theory and Critical Phe- nomena, Como, Italy, 17{21 June 1991. 2Permanent addresses: Girton College, Cambridge CB3 0JG, and D.A.M.T.P., Silver Street, Cambridge CB3 9EW, U.K. 1 REGGE CALCULUS The essential idea of the discrete approach to general relativity known as Regge calculus [Regge 1961] is the use of piecewise linear spaces, in which the curvature is restricted to subspaces of codimension two, the \hinges". For example, a two-dimensional curved surface can be approxi- mated arbitrarily closely by a network of at triangles and the curvature resides at the vertices. The de cit angle at a vertex, de ned by X " =2 vertex angles ; (1) triangles meeting at vertex gives a measure of the curvature there. In three dimensions, the lattice consists of at tetrahe- dra, with curvature restricted to the one-simplices or edges. Similarly in four dimensions, the curvature is distributed over the triangles. Regge showed that the discrete form of the Einstein action 1 Z p I = R gdnx (2) 2 is given by X i IR = j j"i ; (3) hinges i i i where j j is the volume of a hinge and "i is the de cit angle there.
    [Show full text]
  • Is the Regge Calculus a Consistent Approximation to General Relativity?
    Gen.Rel.Grav. Vol.32(2000) pp.897–918. Is the Regge Calculus a consistent approximation to General Relativity? Leo Brewin Department of Mathematics Monash University Clayton, Vic. 3168 Australia Abstract We will ask the question of whether or not the Regge calculus (and two related simplicial formulations) is a consistent approximation to General Relativity. Our criteria will be based on the behaviour of residual errors in the discrete equations when evaluated on solutions of the Einstein equations. We will show that for generic simplicial lattices the residual errors can not be used to distinguish metrics which are solutions of Einstein’s equations from those that are not. We will conclude that either the Regge calculus is an inconsistent approximation to General Relativity or that it is incorrect to use residual errors in the discrete equations as a criteria to judge the discrete equations. 1. Introduction Since its inception in 1961 the Regge calculus [1] has been believed to be a consistent and convergent approximation to Einstein’s theory of General Relativity. It has often been touted as a natural discretisation of Einstein’s equations and it has also been used as a possible basis for a quantum theory of gravity (for a detailed bibliography see Williams and Tuckey [2]). However the use of the Regge calculus in numerical relativity has been limited to highly symmetric spacetimes and upon lattices specifically designed for those spacetimes. Yet little is known about how the Regge calculus performs for generic spacetimes and it is this class of spacetimes for which the Regge calculus is most suited.
    [Show full text]