Cited by 140Noncommutative and Quantum Gravity TheoriesRelativity and Gravitational TheoryBlack Holes and Theoretical Physics

Basis of the Ponzano-Regge-Turaev-Viro-Ooguri quantum-gravity model is the loop representation basis

Open access
Rovelli, Carlo·1993·Physical Review D

Abstract

In three dimensions (3D) the Ponzano-Regge-Turaev-Viro-Ooguri model provides a combinatorial definition of quantum gravity. The model is written in terms of a specific basis in the Hilbert spaces associated with the 2D boundaries of spacetime. We show that this basis is the same as the one that defines the loop representation of quantum gravity. We extend this construction to the physical 4D case, by defining a modification of Regge calculus in which areas, rather than lengths, are taken as independent variables. We provide an expression for the scalar product in the loop representation in 4D. We discuss the general form that a nonperturbative quantum theory of gravity should have, and argue that this should be given by a generalization of Atiyah's topological quantum-field-theory axioms.

AI snapshot

Written from the paper’s full text.

TL;DR

This letter shows that the colored-triangulation basis of the Ponzano-Regge-Turaev-Viro-Ooguri 3D quantum-gravity model is the same as the loop-representation basis, with Ooguri’s transform identified as the loop transform. It also computes length quantization in Witten’s 3D gravity and sketches a 4D area-based Regge/combinatorial extension.

Key findings

  • The Ooguri states \(|\Delta,c\rangle\) are identified with loop-representation basis states \(|\alpha\rangle\); the relation is many-to-one because loop states form an overcomplete basis.
  • In Witten’s 3D theory, length is quantized in units of \(1/2\) in Planck units; for a link colored \(j_i\), crossed by \(2j_i\) loops, the physical length in Planck units equals its coloring \(j_i\).
  • Non-degenerate geometries are contained in Witten’s Hilbert space: for a torus state \(|\alpha,\beta\rangle\), the minimal length of a curve wrapping once around the torus is \(\tfrac12 L_{\text{Planck}}\), while the no-loop state \(|0\rangle\) gives a vanishing metric tensor.
  • A 4D extension is sketched using areas rather than lengths as independent Regge-calculus variables; a 4-simplex has 10 faces and 10 links, and the proposal defines scalar products by sums over colorings and triangulations, with a “generalized topological theory” being Atiyah’s axioms minus finite dimensionality.

Methods

  • Theoretical/combinatorial derivation relating Ooguri’s construction to the loop transform, using the dual trivalent graph, Wilson lines, \(6j\)-symbols, and replacement of a \(j\)-representation line by \(2j\) lines in the \(1/2\) representation.
  • Length operator defined via point-splitting and loop-representation techniques, with its action on loop states computed through intersection numbers.
  • For 4D, proposes a modified Regge calculus with face areas as independent variables and combinatorial sums over triangulations and colorings; no numerical data are reported.

Limitations

  • Stated: the 4D construction depends on the triangulation; summing over triangulations is proposed but not proven to give a well-defined diffeomorphism-invariant theory. Open questions include the relation between Euclidean and Lorentzian theory and convergence of the sum. The paper also states it has not found a group-representation interpretation for the 4D Regge action in terms of areas, and notes that functional integrals are undefined until a definition is provided, with known gravitational divergences in perturbative expansion.
  • Evident from the text: the 4D theory is explicitly a sketch/proposal rather than a completed construction, and no numerical or empirical tests are presented.

Model-written summary. Check it against the paper before relying on it.

Integrity signals

Registry

Crossref · 10.1103/physrevd.48.2702

Cites

28 of 28 references verified0 citation errors · 0 not checkable

Statistics

Nothing to recompute.

Claims the paper makes

0 of 17 cited sources checked · 0 supported · 0 flagged

  • Findingreasoning
    § Abstract · p. 6

    The physical length of the i-th link in an Ooguri state is precisely equal to its coloring in Planck units.

    “Thus, the physical length of the i-th link in Ooguri state is precisely equal to its coloring.”
    • Also stated in: § Abstract · p. 6 · plain
      “the state Ψ ∆ ,c ( w ) , which Ooguri associates to the colored triangulation (∆ , c ) is a quantum state in which the physical length of the links of the triangulation is precisely equal to their coloring, in Planck units.”
    Quote in the paperSubstantial claim
  • Findingreasoning
    § Abstract · p. 6

    If the gravitational field is in the state <α|, the length of a curve C is given by a formula in which n[C,α] is the number of times α crosses C.

    “ii. if the gravitational field is in the state 〈 α | , the length of a curve C is given (reinserting conventional units) by”
    • Also stated in: § Abstract · p. 6 · plain
      “where n [ C, α ] is the number of times α crosses C .”
    Quote in the paperSubstantial claim
  • Findingreasoning
    § Abstract · p. 6

    The length of every curve C is quantized in units of 1/2 in Planck units.

    “i. the length of every curve C is quantized in units of 1 / 2”
    • Also stated in: § Abstract · p. 14 · plain
      “the spectrum of the length operator has discrete half-integer eigenvalues.”
    Quote in the paperSubstantial claim
  • Findingreasoning
    § Abstract · p. 8

    The above construction defines a combinatorial quantum theory in 4-d for a fixed triangulation.

    “The above construction defines a combinatorial quantum theory in 4-d (for a fixed triangulation).”
    Quote in the paperSubstantial claim
  • Findingnone given
    § Abstract · p. 1

    In Witten's 3-d gravity, the lengths of the arcs of a Regge triangulation can be computed up to diffeomorphisms.

    “We show how to compute lengths in Witten's 3-d gravity and how to reconstruct the 2-d geometry from a state of Witten's theory.”
    • Also stated in: § Abstract · p. 13 · plain
      “In Witten's theory, we can compute the lengths of the arcs of a Regge traingulation, (up to diffeomorphisms).”
    Quote in the paperSubstantial claim
  • Classified as probably not a substantial claim. 17
  • May combine two claims. 7
  • Classified as probably not a substantial claim.

    Findingreasoning
    § Abstract · p. 12

    Eq. (5) provides a map, in Atiyah's sense, between the state spaces constructed on two boundary components.

    “Eq.(5), then, provides a map, in Atiyah's sense, between the state spaces constructe on two of these boundary components.”
    Quote in the paperSubstantial claim
  • May combine two claims.

    Findingreasoning
    § Abstract · p. 8

    These 4-d states are physically determined by a three-dimensional triangulation of space such that the 2-d surfaces have assigned areas, these areas being half-integers in Planck units.

    “These states are physically determined by the fact that there is a three dimensional triangulation of space such that the (2-d) surfaces of the triangulation have assigned areas; these areas being half-integers in Planck units.”
    Quote in the paperSubstantial claim
  • May combine two claims.

    Findingreasoning
    § Abstract · p. 14

    The lengths are related to SU(2) representations because the quantum states that diagonalize the lengths are given by Wilson lines that cross the curve 2j times, or equivalently by one Wilson line in the j representation that crosses the curve.

    “These lengths are related to the SU(2) representations because the quantum states that diagonalize the lengths are given (in the connection representation) by Wilson lines that cross the curve 2j times, or, equivalently, by one Wilson line in the j representation that crosses the curve.”
    Quote in the paperSubstantial claim
  • May combine two claims.

    Findingreasoning
    § Abstract · p. 6

    In a generic state |α>, the diffeomorphism-invariant functions of the metric are computable, and in general take values corresponding to non-degenerate metric configurations.

    “Indeed, in an generic state | α 〉 , the diffeomorphism-invariant functions of the metric are computable, and, in general, they take values corresponding to non-degenerate metric configurations.”
    Quote in the paperSubstantial claim
  • Probably not a substantial claim: may not pass S4 (based). May combine two claims.

    Interpretationcitation
    § Abstract · p. 10

    Eq. (5) defines a projector on the knot states, which projects on the solutions of the Wheeler DeWitt equation, as it happens in 3-d.

    “We expect that Eq. (5) defines a projector on the knot states, which projects on the solutions of the Wheeler DeWitt equation, as it happens in 3-d [11].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [11] [11] H Ooguri, Nucl Phys B382 (1992) 276 - [12] H Ooguri, Mod Phys Lett A7 (1992) 2799 - [13] T Regge, Nuovo Cimento 19 (1961) 551

      Couldn’t be matched to a paper in Crossref, so it can’t be checked.

  • Probably not a substantial claim: may not pass S2 (checkable).

    Interpretationreasoning
    § Abstract · p. 12

    The theory sketched is an example of a generalized topological theory.

    “The theory we have sketched is an example of such a generalized topological theory.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S2 (checkable).

    Interpretationreasoning
    § Abstract · p. 12

    Atiyah's axiomatization of topological field theories provides a clean way of formulating the problem of quantum gravity.

    “In particular, Atiyah's axiomatization of the topological field theories provides us with a clean way of formulating the problem.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S2 (checkable).

    Interpretationreasoning
    § Abstract · p. 12

    We have to relax the requirement that the theory has a finite number of degrees of freedom.

    “Of course, we have to relax the requirement that the theory has a finite number of degrees of freedom.”
    Quote in the paperNot a substantial claim
    • Rests on an assumption: The theory with action S[A,E]=∫F∧E∧E has a physical phase space that is infinite dimensional.
  • May combine two claims.

    Premisecitation
    § Abstract · p. 5

    The area of any surface is quantized in the Loop Representation in multiples of 1/2 in Planck units, and the area is given by the number of intersections of the surface with the loops of the quantum state.

    “A recent calculation in (3+1)-d gravity, shows that the area of any surface is quantized in the Loop Representation in multiples of 1/2 (in Planck units); the area being precisely given by the number of intersections of the surface with the loops of the quantum state.”
    Quote in the paperSubstantial claim0 of 1 sources checked
    • cites [7] [7] A. Ashtekar, C. Rovelli, L. Smolin, Phys Rev Lett 69 (1992) 237

      Couldn’t be matched to a paper in Crossref, so it can’t be checked.

  • Classified as probably not a substantial claim.

    Interpretationreasoning
    § Abstract · p. 10

    These equations provide a formal expression for the Hilbert structure of quantum gravity.

    “These equations provide a formal expression for the Hilbert structure of quantum gravity.”
    Quote in the paperSubstantial claim
  • Probably not a substantial claim: may not pass S2 (checkable), S4 (based).

    Interpretationnone given
    § Abstract · p. 10

    It is easy to convince oneself that this is the correct formal expression for the scalar product in the Loop Representation, up to the problem of definition and finiteness of the functional integration.

    “It is easy to convince oneself that this is the correct formal expression for the scalar product in the Loop Representation, up the problem of definition and finiteness of the functional integration.”
    Quote in the paperNot a substantial claim
  • Classified as probably not a substantial claim.

    Premisecitation
    § Abstract · p. 2

    The Ponzano-Regge partition function is independent from the triangulation chosen.

    “Turaev and Viro [8] were able to show that the Ponzano-Regge partition function is independent from the triangulation chosen”
    Quote in the paperSubstantial claim0 of 1 sources checked
    • cites [8] [8] V Turaev, O Viro, Topology 31 (1992) 865

      Couldn’t be matched to a paper in Crossref, so it can’t be checked.

  • Probably not a substantial claim: may not pass S2 (checkable), S4 (based).

    Premisenone given
    § Abstract · p. 12

    The fact that local quantities like n-point functions are not appropriate to describe quantum gravity non-perturbatively has been repeatedly noted in the literature.

    “The fact that 'local' quantities like the n-point functions are not appropriate to describe quantum gravity non-perturbatively has been repeatedly noted in the literature.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

    Premisereasoning
    § Abstract · p. 13

    Physical evolution is in x^o, not in τ, namely in 4-d, not in 5-d.

    “Physical evolution, of course, is in x o , not in τ , namely in 4-d, not in 5-d.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation
    § Abstract · p. 13

    The computation of the evolution of expectation values in physical time requires the use of a physical clock coupled to the theory.

    “the computation of the evolution of expectation values in physical time (as opposed to coordinate time, which has no diffeomorphism invariant meaning) requires the use a physical clock coupled to the theory”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [18] [18] C Rovelli, Class and Quant Grav 8 (1991) 297; 8 (1991) 317; Phys Rev D42 (1991) 2638; D43 442 (1991)

      Couldn’t be matched to a paper in Crossref, so it can’t be checked.

  • Probably not a substantial claim: may not pass S3 (load-bearing), S4 (based).

    Premisenone given
    § Abstract · p. 2

    In Witten theory, quantum states are wave functions Ψ(ω) over the moduli space of flat SU(2) connections on the 2-d boundary.

    “In Witten theory, quantum states are wave functions Ψ( ω ) over the moduli space of the flat SU(2) connections A I a ( x ) on the 2-d boundary”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Interpretationcitation
    § Abstract · p. 13

    The integration or sum over M is physically analogous to the derivation of the propagator of a relativistic particle by means of an integral over paths x^μ(τ).

    “In this sense the integration (or the sum) over the M is physically very analogous to the derivation of the propagator of a relativistic particle by means of an integral over the paths x µ ( τ )”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [19] [19] PD Mannheim, Phys Lett 166B (1986) 191

      Couldn’t be matched to a paper in Crossref, so it can’t be checked.

  • May combine two claims.

    Premisecitation
    § Abstract · p. 5

    The operator corresponding to the observable T_ab[γ^ε_x](0,π) is well defined; using the Loop Representation, it is given by a formula.

    “The operator corresponding to the observable T ab [ γ ǫ x ](0 , π ) is well defined; using the Loop Representation, it is given [6] by”
    Quote in the paperSubstantial claim0 of 1 sources checked
    • cites [6] [6] C. Rovelli, L. Smolin, Phys Rev Lett 61 (1988) 1155; Nucl Phys B331 (1990) 80. For a review, see: C Rovelli, Class Quant Grav 8 (1991) 1613. For the 2+1 dimensional theory see: A Ashtekar, V Husain, C Rovelli, J Samuel, L Smolin, Class and Quant Grav 6 (1989) L185

      Couldn’t be matched to a paper in Crossref, so it can’t be checked.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation
    § Abstract · p. 10

    This is the connection representation analog of Hawking expression.

    “This is the connection representation analog of Hawking expression [17]”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [17] [17] SW Hawking, in General Relativity, an Einstein centenary Survey , eds. SW Hawking, W Israel, Cambridge University Press 1979

      Couldn’t be matched to a paper in Crossref, so it can’t be checked.

  • Classified as probably not a substantial claim.

    Premisecitation
    § Abstract · p. 2

    The Ponzano-Regge ansatz constrains the lengths l_i of Regge-calculus links to be half integers: l_i = j_i = 1/2 n_i.

    “Ponzano and Regge [9] considered Regge-calculus [13] in 3-d, but made the ansatz that the lengths l i of the Regge-calculus links be constrained to be half integers: l i = j i = 1 / 2 n i (integer n i ).”
    Quote in the paperSubstantial claim0 of 2 sources checked
    • cites [9] [9] G Ponzano, T Regge, 'Semiclassical limits of Racah Coefficients' in Spectroscopy and Group theoretical methods in Physics. Ed F Bloch, North Holland, Amsterdam 1968

      Couldn’t be matched to a paper in Crossref, so it can’t be checked.

    • cites [13] source

      Not checked in the free run.

  • Classified as probably not a substantial claim.

    Premisenone given
    § Abstract · p. 2

    Half integers j_i can be interpreted as labels of SU(2) representations.

    “Half integers j i can be interpreted as labels of SU(2) representations.”
    Quote in the paperSubstantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Interpretationcitation
    § Abstract · p. 13

    The quantization of the physical area is a non-gauge invariant result, unless reinterpreted in some suitably gauge-invariant context.

    “the quantization of the physical area is a non-gauge invariant result, unless reinterpreted in some suitably gauge-invariant context [20].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [20] [20] C. Rovelli, 'A Generally covariant quantum theory and a prediction on quantum measurement of geometry', sumbitted to Nucl Phys (1992).

      Couldn’t be matched to a paper in Crossref, so it can’t be checked.

22 of 22
  • The paper relies on this without support.

    The number of independent invariant observables in the theory is finite in the quantum theory as well as in the classical theory.

    “The number of independent invariant observables in the theory is finite in the quantum theory as well as in the classical theory .”
  • The paper relies on this without support.

    The theory with action S[A,E]=∫F∧E∧E has a physical phase space that is infinite dimensional.

    “Still, the theory ∫ F ∧ E ∧ E has genuine field degrees of freedom: its physical phase space is infinite dimensional, and we expect that its Hilbert state space will also be infinite dimensional.”
  • The paper relies on this without support.

    The theory with action S[A,E]=∫F∧E∧E is standard general relativity in Ashtekar's form.

    “Indeed, this theory is of course nothing but (Ashtekar's form of) standard general relativity.”
  • The paper relies on this without support.

    The loop states are not independent; they form an overcomplete basis.

    “The relation is many-to-one because the loop states are not independent (they form an overcomplete basis).”
4 of 4

Claims other papers make about this one

Each is checked against this paper’s own text: does it say what the citing paper says it does?

  • The PRTV model is a theory of the dynamics of spin networks having the same physical interpretation as the spin network basis states in continuum 3d GR.

    “In [14] it was shown that the PRTV model is a theory of the dynamics of spin networks (loops in the terminology of [14]) having the same physical interpretation as the spin network basis states in continuum 3d GR.”

    From “Sum over surfaces” form of loop quantum gravity (1997) · cites this paper as [14]

Self-check

Percentages, sums and reported differences re-computed from the paper’s own numbers.

Each contradiction between two passages listed here was confirmed by an independent check.

  • Fixed triangulation is also described as being summed over

    Minor

    The scalar-product construction says the triangulation is fixed and the sum is over colorings, but its subsequent description says the sum is over triangulations.

1 of 1

Cites

Flagged first, then by citations

Research works printed but not linked: 6

  1. E. Witten, 1989, Nucl. Phys., B322, 622
  2. J. Ambjorn, 1992, Nucl. Phys. B (Proc. Suppl.)
  3. G. Ponzano, 1968, Spectroscopy and Group Theoretical Methods in Physics
  4. L. Smolin, 1993, Proceedings of the Brill Feschrift
  5. S. W. Hawking, 1979, General Relativity, An Einstein Centenary Survey
  6. C. Rovelli, Nucl. Phys.

Cited by

Sorted by citations

Authors
Rovelli, C.
Venue
Physical Review D
Published
1993-09-15
Volume
48
Issue
6
Pages
2702-2707
ISSN
0556-2821 (ISSN-L)
OpenAlex
W1966195009
Cited by
140
References
28
Citations by year
2026: 1 · 2025: 2 · 2024: 8 · 2023: 2 · 2021: 2 · 2020: 4 · 2019: 5 · 2018: 9 · 2017: 2 · 2016: 4 · 2015: 5 · 2014: 6 · 2013: 2 · 2012: 2
FWCI
2.83
Type
journal article
Language
en
Open access
Locations
  • Physical review. D. Particles, fields, gravitation, and cosmology/Physical review. D. Particles and fields (publishedVersion)
  • PubMed (publishedVersion)
  • arXiv (Cornell University) (submittedVersion)
  • CERN Document Server (European Organization for Nuclear Research) (submittedVersion)
  • arXiv (Cornell University)
Topics
  • Physical Sciences › Physics and Astronomy › Statistical and Nonlinear Physics › Noncommutative and Quantum Gravity Theories
  • Physical Sciences › Physics and Astronomy › Astronomy and Astrophysics › Relativity and Gravitational Theory
  • Physical Sciences › Physics and Astronomy › Nuclear and High Energy Physics › Black Holes and Theoretical Physics
Keywords
loop representation, quantum gravity, Regge calculus, three-dimensional quantum gravity, 4D quantum gravity, topological field theory, non-perturbative quantum gravity, inner product

About these checks

Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.

Claims read by deepseek-v4.1-flash under definition version 3 (extract-v3) on 2026-10-06.

Classified by jev-1.13-20260917 (gold-guideline-v0.2) on 2026-10-06.

Statistics and arithmetic are recomputed, not judged.

Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.

What counts as a claim ›How we measure confidence ›How we check this ›

Are you an author, or do you see a problem with this page? Request a review