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

Anomaly-free formulation of non-perturbative, four-dimensional Lorentzian quantum gravity

Open access
Thiemann, T.·1996·Physics Letters B

AI snapshot

Written from the paper’s full text.

TL;DR

The paper constructs a regulated Wheeler-DeWitt constraint operator for four-dimensional non-perturbative Lorentzian vacuum quantum gravity in the continuum using real Ashtekar variables and loop/connection techniques. The operator is densely defined, requires no renormalization, is anomaly-free, and can be made symmetric.

Key findings

  • A Wheeler-DeWitt constraint operator for 4D Lorentzian vacuum gravity is defined that is densely defined, finite on cylindrical functions, requires no renormalization, and is anomaly-free; symmetric ordering yields a symmetric operator.
  • The regularization also produces well-defined operators including the Euclidean Wheeler-DeWitt operator, the generator of the Wick rotation transform, length operators, matter Hamiltonians, and generators of the asymptotic Poincaré group including quantum ADM energy.
  • On spin-network states, the Hamiltonian constraint acts by annihilating, creating, and re-routing angular momentum quanta in units of ±ħ, ±ħ/2, 0; the spectrum at a given vertex is largely determined by the volume operator.
  • Anomaly-freeness requires all loops α_ij(Δ) to be chosen as kinks with vertex at v(Δ); an arbitrary attachment of a_ij(Δ) is insufficient.

Methods

  • Works in continuum canonical quantum gravity with real Ashtekar variables, SU(2) connections, densitized triads, and the Gauss, diffeomorphism, and Wheeler-DeWitt constraints; uses the Hilbert space L²(A/G, dμ₀) and gauge-invariant cylindrical functions.
  • Regularizes the Euclidean Hamiltonian constraint by triangulating Σ into tetrahedra, using the volume operator V and holonomies, and replacing Poisson brackets by commutators; defines K via K = -{V, H_E[1]}, then defines the Lorentzian Wheeler-DeWitt operator using an identity that eliminates R_ab in favor of K.
  • Checks anomaly freedom by evaluating commutators on diffeomorphism-invariant states; uses symmetric ordering and discusses group averaging for solutions and a physical inner product.

Limitations

  • The paper states there is much freedom in the regularization step and that an important unresolved question is how to select the correct or physically relevant regularization of H.
  • The paper states that no exact solution has been found in closed form except for cylindrical functions on two-valent graphs, which do not fully take the curvature term F_ab into account.
  • The operator as written is not self-adjoint, though symmetric ordering is possible and self-adjoint extensions are expected; anomaly-freeness also requires the specific kink loop choice.

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

Integrity signals

Registry

Crossref · 10.1016/0370-2693(96)00532-1

Cites

3 of 3 references verified0 citation errors · 0 not checkable

Statistics

Nothing to recompute.

Claims the paper makes

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

  • Findingreasoning
    § Abstract · p. 1

    A Wheeler-DeWitt quantum constraint operator for four-dimensional, non-perturbative Lorentzian vacuum quantum gravity is defined in the continuum.

    “AWheeler-Dewitt quantum constraint operator for four-dimensional, non-perturbative Lorentzian vacuum quantum gravity is defined in the continuum.”
    • Also stated in: § Abstract · p. 7 · boosted
      “Expressions (0.15), (0.16) are anomaly-free, densely defined operators corresponding to the original Wheeler-DeWitt operator in the continuum for non-perturbative four-dimensional Lorentzian canonical quantum vacuum gravity.”
    Quote in the paperSubstantial claim
    • The authors state this as an assumption: There exists a phase for quantum gravity in which the excitations of the gravitational fields can be probed by loops rather than by test functions of rapid decrease.
  • Findingreasoning
    § Abstract · p. 2

    One can quantize the original Wheeler-DeWitt constraint in its non-polynomial, unrescaled form in a satisfactory way.

    “One can quantize the original Wheeler-DeWitt constraint in its non-polynomial, unrescaled form in a satisfactory way.”
    Quote in the paperSubstantial claim
    • The authors state this as an assumption: There exists a phase for quantum gravity in which the excitations of the gravitational fields can be probed by loops rather than by test functions of rapid decrease.
  • Findingreasoning
    § Abstract · p. 5

    A solution to the anomaly freedom problem for the Euclidean Hamiltonian constraint is obtained if all loops αij(∆) are chosen to be kinks with vertex at v(∆), i.e., the arc aij(∆) joins the endpoints of ei(∆), ej(∆) in an at least C1 fashion.

    “Specifically, a solution to the anomaly freedom problem is obtained if all the loops α ij (∆) are chosen to be kinks with vertex at v (∆) ! That is, the arc a ij (∆) joins the endpoints of e i (∆) , e j (∆) in an at least C 1 fashion.”
    Quote in the paperSubstantial claim
    • The authors state this as an assumption: There exists a phase for quantum gravity in which the excitations of the gravitational fields can be probed by loops rather than by test functions of rapid decrease.
  • Findingreasoning
    § Abstract · p. 6

    The constraint algebra remains non-anomalous even after symmetric ordering.

    “The constraint algebra remains non-anomalous even after symmetric ordering”
    Quote in the paperSubstantial claim
  • Findingown data
    § Abstract · p. 2

    The unrescaled Euclidean Hamiltonian constraint operator and the generator of the Wick transform appear naturally in the regularization procedure and are constructed simultaneously as a side result.

    “Quite surprisingly, however, the unrescaled Euclidean Hamiltonian constraint operator and the generator of the Wick transform appear very naturally in our regularization procedure so that we cannot avoid to construct them simultanously as a side result.”
    Quote in the paperNot a substantial claim
    • The authors state this as an assumption: There exists a phase for quantum gravity in which the excitations of the gravitational fields can be probed by loops rather than by test functions of rapid decrease.
  • May combine two claims. 20
  • Classified as probably not a substantial claim. 7
  • May combine two claims.

    Findingreasoning
    § Abstract · p. 5

    The regularized Euclidean Hamiltonian constraint operator (0.9) has the correct classical limit and its action on cylindrical functions is finite.

    “is a regularized operator with the correct classical limit and whose action on cylindrical functions is indeed finite !”
    Quote in the paperSubstantial claim
    • The authors state this as an assumption: There exists a phase for quantum gravity in which the excitations of the gravitational fields can be probed by loops rather than by test functions of rapid decrease.
  • May combine two claims.

    Findingreasoning
    § Abstract · p. 5

    A tetrahedron contributes to the action of the regularized Euclidean Hamiltonian constraint on a cylindrical function only if it intersects the graph, and only if it intersects the graph in one of its vertices.

    “that is, a tetrahedron contributes to the action on f only if it intersects the graph. Moreover, as one can show in more detail, it only contributes if it intersects the graph in one of its vertices.”
    Quote in the paperSubstantial claim
  • May combine two claims.

    Findingreasoning
    § Abstract · p. 5

    No ill-defined products of distributions arise, no singularities are encountered, and no renormalization of the operator is necessary.

    “no ill-defined products of distributions arise, we do not encounter any singularities, no renormalization of the operator is necessary.”
    Quote in the paperSubstantial claim
  • May combine two claims.

    Findingreasoning
    § Abstract · p. 6

    If H_E T is ordered appropriately, both operators on the right hand side are symmetric and finite, and a finite and symmetric expression for K_T is produced.

    “If we order ˆ H E T appropriately then both operators on the right hand side are symmetric and finite and we have produced a finite and symmetric expression for ˆ K T .”
    Quote in the paperSubstantial claim
  • May combine two claims.

    Premisecitation
    § Abstract · p. 1

    The Hamiltonian constraint in Ashtekar variables is polynomial only after rescaling it by a non-polynomial function, a power of the square root of the determinant of the three-dimensional metric, so the original Wheeler-DeWitt constraint is altered.

    “2) the Hamiltonian constraint is polynomial only after rescaling it by a non-polynomial function, namely a power of the square root of the determinant of the three-dimensional metric, that is, the original Wheeler-DeWitt constraint has actually been altered.”
    Quote in the paperSubstantial claim0 of 1 sources checked
    • cites [3] source

      Not checked in the free run.

  • May combine two claims.

    Interpretationnone given
    § Abstract · p. 2

    The formulation never introduces complex variables and never needs to deal with Euclidean gravity; a Wick rotation transform is completely unnecessary, so problem 1 disappears.

    “We never introduce complex variables and we never need to deal with Euclidean gravity. A Wick rotation transform is completely unnecessary : problem 1) also disappears.”
    Quote in the paperSubstantial claim
  • May combine two claims.

    Premisereasoning
    § Abstract · p. 2

    Taking the square root of the rescaled Euclidean Hamiltonian constraint is a required technical step to preserve diffeomorphism invariance, but there remain problems with taking the square root of an infinite number of non-commuting, non-positive, not self-adjoint operators.

    “While this seems to be a required technical step to do in order to preserve diffeomorphism invariance there remain problems with it that have to do with taking the square root of an infinite number of non-commuting, non-positive, not self-adjoint operators.”
    Quote in the paperSubstantial claim
  • Probably not a substantial claim: may not pass S2 (checkable). May combine two claims.

    Interpretationreasoning
    § Abstract · p. 2

    The resulting operator is surprisingly simple and the problem of computing its kernel is conceivable.

    “The resulting operator is surprisingly simple and the problem of computing its kernel is conceivable.”
    Quote in the paperNot a substantial claim
  • May combine two claims.

    Premisereasoning
    § Abstract · p. 2

    The operator obtained is not to be confused with the operator defined in [11] because the present work is in the continuum rather than on a lattice and the present operator is completely well-defined on the whole Hilbert space while the one in [11] suffers from singularities on a large subspace of it.

    “The operator we obtain is not to be confused with the operator defined in [11] (which is also formulated in terms of real variables) because a) we work in the continuum rather than on a lattice and b) our operator is completely well-defined on the whole Hilbert space while the one in [11] suffers from singularities on a large subspace of it.”
    Quote in the paperSubstantial claim0 of 1 sources checked
    • cites [11] source

      Not checked in the free run.

  • May combine two claims.

    Premisenone given
    § Abstract · p. 2

    The mathematical difficulties associated with exponentiating the Wick transform are highly non-trivial and it is even possible that the Wick transform does not exist.

    “The mathematical difficulties associated with this step are highly non-trivial and it is even possible that the Wick transform simply does not exist.”
    Quote in the paperNot a substantial claim
  • May combine two claims.

    Premisenone given
    § Abstract · p. 2

    On general grounds, an operator carrying density weight two would need to be renormalized, introducing a length scale, which breaks diffeomorphism invariance.

    “On general grounds, such an operator would need to be renormalized (thus introducing a length scale) which breaks diffeomorphism invariance.”
    Quote in the paperNot a substantial claim
  • May combine two claims.

    Interpretationreasoning
    § Abstract · p. 2

    Since the Wheeler-DeWitt constraint carries density weight one, problem 2 disappears and one never has to take ill-defined square roots.

    “Since the Wheeler-DeWitt constraint carries density weight one, problem 2) disappears, we never have to take ill-defined square roots.”
    Quote in the paperSubstantial claim
  • Classified as probably not a substantial claim.

    Premisecitation
    § Abstract · p. 2

    The new Hamiltonian constraint carries density weight two.

    “what is worse is that the new Hamiltonian constraint carries density weight two.”
    Quote in the paperSubstantial claim0 of 1 sources checked
    • cites [3] source

      Not checked in the free run.

  • Classified as probably not a substantial claim.

    Premisecitation
    § Abstract · p. 2

    A solution to problem 2 was first suggested: take the square root of the rescaled Euclidean Hamiltonian constraint.

    “A solution to this problem was first suggested in [8] : the idea is to take the square root of the rescaled Euclidean Hamiltonian constraint.”
    Quote in the paperSubstantial claim0 of 1 sources checked
    • cites [8]

      Not checked in the free run.

  • May combine two claims.

    Premisecitation
    § Abstract · p. 1

    Ashtekar connection variables for Lorentzian gravity are complex valued and are subject to algebraically highly complicated reality conditions, difficult to impose at the quantum level.

    “There are two, a priori, problems with these Ashtekar connection variables for Lorentzian gravity : 1) they are complex valued and are therefore subject to algebraically highly complicated reality conditions, difficult to impose on the quantum level, which make sure that we are still dealing with real general relativity”
    Quote in the paperSubstantial claim0 of 1 sources checked
    • cites [3] source

      Not checked in the free run.

  • Classified as probably not a substantial claim. May combine two claims.

    Premisecitation
    § Abstract · p. 1

    A solution to problem 1 has been suggested: one can define real Ashtekar variables which simplify the rescaled Hamiltonian constraint of Euclidean gravity and then construct a Wick rotation transform from the Euclidean to the Lorentzian regime where complex Ashtekar variables are needed to simplify the Lorentzian constraint.

    “A solution to problem 1) has been suggested in [4] (see also [5]) : namely, one can define real Ashtekar variables [6] which simplify the rescaled Hamiltonian constraint of Euclidean gravity and then construct a Wick rotation transform from the Euclidean to the Lorentzian regime where the complex Ashtekar variables are needed to simplify the Lorentzian constraint.”
    Quote in the paperSubstantial claim0 of 3 sources checked
    • cites [4] source

      Not checked in the free run.

    • cites [5] source

      Not checked in the free run.

    • cites [6] source

      Not checked in the free run.

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

    Premisenone given
    § Abstract · p. 6

    The integrated densitized trace of the extrinsic curvature is up to a constant factor the time derivative of the total volume with respect to the integrated Hamiltonian constraint.

    “Recall that the integrated (densitized) trace of the extrinsic curvature is up to a constant factor just the time derivative of the total volume with respect to the integrated Hamiltonian constraint (which is a signature invariant statement)”
    Quote in the paperNot a substantial claim
  • May combine two claims.

    Premisereasoning
    § Abstract · p. 7

    None of the operators in [8,9,10] can be used to define K along the lines proposed here because it was crucial that the classical identity K = -{V, H_E[1]} holds.

    “none of the operators in [8, 9, 10] can be used to define ˆ K along the lines proposed here because it was crucial that the classical identity K = -{ V, H E [1] } holds”
    Quote in the paperSubstantial claim0 of 3 sources checked
    • cites [8]

      Not checked in the free run.

    • cites [9]

      Not checked in the free run.

    • cites [10] source

      Not checked in the free run.

  • May combine two claims.

    Interpretationcitation
    § Abstract · p. 6

    The apparent contradiction with general arguments [15] is resolved because the infinitesimal generator of U(φt) cannot be defined since U(φt) does not act strongly continuously on H [7], so the question of whether the diffeomorphism constraint operator appears to the right in the commutator cannot even be asked.

    “The resolution of the apparent contradiction is related to the fact that the infinitesimal generator of ˆ U ( φ t ), where φ t is a one parameter subgroup of Diff(Σ), cannot be defined since ˆ U ( φ t ) does not act strongly continuously on H [7]. Therefore the question of whether the diffeomorphism constraint operator appears to the right in the expression of the commutator of two Hamiltonian”
    Quote in the paperSubstantial claim0 of 2 sources checked
    • cites [15] 15. 351 T. Thiemann, 'Quantum Spin Dynamics (QSD) II', Harvard Preprint HUTMP96/B-352 - [13] C. Rovelli, L. Smolin, Nucl. Phys. B 442 (1995) 593, Erratum : Nucl. Phys. B 456 - (1995) 734 A. Ashtekar, J. Lewandowski, 'Quantum Theory of Geometry I : Area Operators', CGPG-96/2-4, gr-qc/9602046 - [14] A. Ashtekar, J. Lewandowski, J. Math. Phys. 36 (1995) 2170, J. Geo. and Phys. 17 (1995) 191 - [15] P. Haj ´ iˇ cek, K. Kuchaˇ r, Phys. Rev D41 (1990) 1091, Journ. Math. Phys. 31 (1990) 1723 - [16] A. Higuchi Class. Quant. Grav. 8 , 1983 (1991), Class. Quant. Grav. 8 , 2023 (1991). D. Marolf, 'The spe

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

    • cites [7]

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

  • May combine two claims.

    Interpretationreasoning
    § Abstract · p. 8

    It seems feasible to determine the space of diffeomorphism invariant solutions to the Wheeler-DeWitt constraint as well as a physical inner product thereon by the group averaging method.

    “it seems feasable to determine the space of diffeomorphism invariant solutions to the Wheeler-DeWitt constraint as well as a physical inner product thereon by the group averaging method [16, 7].”
    Quote in the paperSubstantial claim0 of 2 sources checked
    • cites [16] source

      Not checked in the free run.

    • cites [7]

      Not checked in the free run.

  • May combine two claims.

    Premisereasoning
    § Abstract · p. 7

    The Euclidean operator (0.9) and the ones proposed in [10] and [8,9] are entirely different; they only share that their classical limits or the square thereof are proportional to each other.

    “Not even our Euclidean operator (0.9) and the ones proposed in [10] and [8, 9] have anything to do with each other, they are entirely different . The only thing they share is that their classical limits or the square thereof are proportional to each other.”
    Quote in the paperSubstantial claim0 of 3 sources checked
    • cites [10] source

      Not checked in the free run.

    • cites [8]

      Not checked in the free run.

    • cites [9]

      Not checked in the free run.

  • May combine two claims.

    Interpretationnone given
    § Abstract · p. 7

    The Wheeler-DeWitt constraint operator as defined is not self-adjoint yet, but a symmetrical ordering can be performed without picking up singularities to render it symmetric, and it is expected to possess self-adjoint extensions.

    “As it stands it is not self-adjoint yet but it is clear that a symmetrical ordering can be performed (without picking up singularities) to render it symmetric and we expect it to possess self-adjoint extensions.”
    Quote in the paperSubstantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing), S4 (based).

    Interpretationnone given
    § Abstract · p. 8

    There is a lot of freedom involved in the regularization step reflecting the fact that the quantum theory of a given classical field theory is not unique.

    “There is a lot of freedom involved in the regularization step reflecting the fact that the quantum theory of a given classical field theory is not unique.”
    Quote in the paperNot a substantial claim
  • May combine two claims.

    Interpretationreasoning
    § Abstract · p. 8

    The method proposed opens access to other well-defined and finite operators including the length of a curve, matter Hamiltonians for canonical Yang-Mills theory, and the ADM Hamiltonian.

    “It is clear that the method proposed here opens access to other well-defined and finite operators which were so far out of reach in a representation in which the intrinsic metric is not diagonal because we are able to make sense out of an operator corresponding to q ab . Examples are operators corresponding to the length of a curve [19], matter Hamiltonians for canonical Yang-Mills theory [20] or”
    Quote in the paperSubstantial claim0 of 3 sources checked
    • cites [19]

      Not checked in the free run.

    • cites [20]

      Not checked in the free run.

    • cites [21] source

      Not checked in the free run.

    • The authors state this as an assumption: There exists a phase for quantum gravity in which the excitations of the gravitational fields can be probed by loops rather than by test functions of rapid decrease.
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Interpretationreasoning
    § Abstract · p. 9

    Roughly, the spins associated with the edges of a graph indicate the 'number' of elementary string-like excitations of the gravitational field along the edges of the graph.

    “Roughly, the spins associated with the edges of a graph indicate the 'number' of elementary string-like excitations of the gravitational field along the edges of the graph”
    Quote in the paperNot a substantial claim
    • The authors state this as an assumption: There exists a phase for quantum gravity in which the excitations of the gravitational fields can be probed by loops rather than by test functions of rapid decrease.
25 of 25
  • The authors state this as an assumption.

    There exists a phase for quantum gravity in which the excitations of the gravitational fields can be probed by loops rather than by test functions of rapid decrease.

    “if, as we do in the sequel, one makes the assumption that there exists a phase for quantum gravity in which the excitations of the gravitational fields can be probed by loops rather than, say, test functions of rapid decrease”
1 of 1

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?

Cites

Flagged first, then by citations

Research works printed but not linked: 24

  1. DeWitt, 1967, Phys. Rev., 160, 1113, 10.1103/PhysRev.160.1113 · DOI · Paper page
  2. DeWitt, 1967, Phys. Rev., 162, 1195, 10.1103/PhysRev.162.1195 · DOI · Paper page
  3. DeWitt, 1967, Phys. Rev., 162, 1239, 10.1103/PhysRev.162.1239 · DOI · Paper page
  4. Ashtekar, 1986, Phys. Rev. Lett., 57, 2244, 10.1103/PhysRevLett.57.2244 · DOI · Paper page
  5. Ashtekar, 1987, Phys. Rev. D, 36, 1587, 10.1103/PhysRevD.36.1587 · DOI · Paper page
  6. Barbero, 1995, Phys. Rev. D, 51, 5507, 10.1103/PhysRevD.51.5507 · DOI · Paper page
  7. Ashtekar, 1995, J. Math. Phys., 36, 6456, 10.1063/1.531252 · DOI · Paper page
  8. Rovelli, 1994, Phys. Rev. Lett., 72, 446, 10.1103/PhysRevLett.72.446 · DOI · Paper page
  9. B. Brügmann and J. Pullin, Nucl. Phys. B 363 221 · DOI
  10. Brügmann, 1992, Nucl. Phys. B, 385, 587, 10.1016/0550-3213(92)90060-O · DOI · Paper page
  11. T. Thiemann, Quantum Spin Dynamics (QSD), Harvard University Preprint.
  12. Rovelli, 1995, Nucl. Phys. B, 456, 734
  13. Ashtekar, 1995, J. Math. Phys., 36, 2170, 10.1063/1.531037 · DOI · Paper page
  14. Ashtekar, 1995, J. Geom. Phys., 17, 191, 10.1016/0393-0440(95)00028-G · DOI · Paper page
  15. Hajíček, 1990, Phys. Rev D, 41, 1091, 10.1103/PhysRevD.41.1091 · DOI
  16. Hajíček, 1990, J. Math. Phys., 31, 1723, 10.1063/1.529015 · DOI
  17. Higuchi, 1991, Class. Quant. Grav., 8, 1983, 10.1088/0264-9381/8/11/010 · DOI
  18. Higuchi, 1991, Class. Quant. Grav., 8, 2023, 10.1088/0264-9381/8/11/012 · DOI
  19. C. Rovelli and L. Smolin. Spin networks and quantum gravity. preprint CGPG-95/4-1;
  20. J. Baez, Spin network states in gauge theory, Adv. Math. (in press)
  21. T. Thiemann, The matrix elements of the volume operator for canonical quantum gravity, Harvard University Preprint.
  22. T. Thiemann, The length operator in canonical quantum gravity, Harvard University Preprint.
  23. T. Thiemann, A regularization of canonical Einstein-Yang-Mills quantum theory, Harvard University Preprint.
  24. T. Thiemann, A Hamiltonian for canonical quantum gravity, Harvard University Preprint.

Cited by

Sorted by citations

Authors
Thiemann, T.
Affiliations
Harvard University (US)
Corresponding author
Thiemann, T.
Venue
Physics Letters B
Publisher
Elsevier BV
Published
1996-07
Volume
380
Issue
3-4
Pages
257-264
ISSN
0370-2693 (ISSN-L)
OpenAlex
W1998335592
Cited by
284
References
3
Citations by year
2026: 1 · 2025: 36 · 2024: 10 · 2023: 7 · 2022: 7 · 2021: 4 · 2020: 3 · 2019: 4 · 2018: 6 · 2017: 4 · 2016: 9 · 2015: 9 · 2014: 12 · 2013: 12 · 2012: 5
FWCI
14.32
Type
journal article
Language
en
Open access
Locations
  • Physics Letters B (publishedVersion)
  • arXiv (Cornell University) (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
Wheeler-DeWitt equation, Lorentzian quantum gravity, non-perturbative quantum gravity, Hamiltonian constraint operator, Wick rotation, Euclidean quantum gravity, Poincaré group generators

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