Pith. Sign in

REVIEW

Dynamically Triangulating Lorentzian Quantum Gravity

PaperPDF from arXiv

data files

ReviewThe objections and verdict, as JSON Paper breakdownThe authors' claims, conditions and measurements, as JSON Signed receiptProof this review has not been altered
X Bluesky LinkedIn Reddit Hacker News
J. Ambjorn (NBI, Copenhagen), J. Jurkiewicz (U. Krakow), R. Loll (AEI, Golm)

High Energy Physics - Theory · Submitted 27 May 2001 · 37 references

Pith's verdict: The foundational CDT reference: the 3d kinematic bound is a theorem, the 4d one is derived only for the move-reachable sector, and the abstract does not distinguish the two.

T0 · AI review

How this review was made: An AI referee (selfhosted/deepseek-v4.1-flash) read the paper on November 11, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

  1. T0 AI review An AI read the paper and answered a fixed list of questions.
  2. T1 Audit Automatic checks that the references and files the paper relies on exist and match.
  3. T2 Compute The paper's code or calculations re-run with the same results.
  4. T3 Formal statement The claims written out in a formal math language a computer can read.
  5. T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 2 major objections · 6 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv IDhep-th/0105267 (version 1)
Pith IDDNSDBSRY, Pith's permanent record of this paper and its review
CitationCopenhagen), Golm), J. Ambjorn (NBI, J. Jurkiewicz (U. Krakow), R. Loll (AEI. "Dynamically Triangulating Lorentzian Quantum Gravity." arXiv:hep-th/0105267 (2001). https://pith.science/paper/DNSDBSRY
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

Why Pith says this

Highlight any text to comment on it.

Referee report

How Pith checks papers → · Full audit of this paper →

The paper

The paper claims

By keeping a preferred time direction in its building blocks, this paper argues that a sum over Lorentzian triangulations avoids the two degenerate phases that have stalled the Euclidean version of the same program.

The reading

The paper gives a full account of a path integral for gravity built from flat Minkowski simplices glued into a stack of spatial slices of fixed topology, one slice per integer time step. Space-like edges have squared length $1$ and time-like edges squared length $-1$ times a parameter $a$ (written $-$α in the text), and the whole construction is designed so that the analytic continuation $a$ (α) $to -a$ ($-$α) turns the oscillating phase $e^{iS}$ into a real Boltzmann weight $e^{-S}$ without ever leaving the space of triangulations. The authors compute the Regge actions in three and four dimensions, derive the Lorentzian analogues of the Dehn-Sommerville identities that relate the counts of simplices, and use them to define a transfer matrix acting on a finite-dimensional Hilbert space of spatial geometries. They prove that the square of that transfer matrix is symmetric and positive by a site-reflection argument, which is enough to write down a well-defined Hamiltonian. The payoff is a set of kinematic bounds: in three dimensions the ratio of edges to tetrahedra obeys $1 leq xi leq 5/4$, and in four dimensions $2 leq xi' leq 7/3$, both strictly tighter than the Euclidean ranges, so the branched-polymer and crumpled configurations that dominate the Euclidean state sums simply cannot occur here.

What carries the argument

Three pieces carry the argument. First, the building blocks: $d$-simplices that are pieces of flat Minkowski space with all spatial squared link lengths fixed to $1$ and all time-like squared link lengths fixed to $-alpha$, $alpha > 0$, glued so that every integer time step carries a Euclidean $(d-1)$-dimensional triangulation of fixed topology. Second, the non-perturbative Wick rotation: the actions are computed as functions of $alpha$ in the complex plane, shown to be real for $alpha > 0$ and purely imaginary for $alpha$ on the negative real axis below $-1/2$ (in $d=3$) or $-7/12$ (in $d=4$), and the map $alpha to -alpha$ taken through the lower half plane with a stated branch prescription reproduces the standard Euclidean dynamical-triangulation action at $alpha = -1$. Third, the transfer matrix $hat{T}_N(alpha)$ whose matrix element between boundary geometries $g_1, g_2$ is the sum over interpolating sandwiches weighted by $e^{i Delta S}/C(T)$, together with the Lorentzian topological identities that reduce the action to a few bulk variables and make the kinematic bounds derivable.

Extended reading notes

Core claim

The central claim is that imposing a sliced, causal structure on the simplicial histories is not a cosmetic restriction but an effective regulator. The authors derive, from the simplicial manifold identities alone, that a Lorentzian triangulation in three dimensions satisfies $1 leq xi leq 5/4$ where $xi = N_1/N_3$, against the Euclidean bound $1 leq xi leq 4/3$, and that in four dimensions $2 leq xi' leq 7/3$ where $xi' = N_2/N_4$, against the Euclidean $2 leq xi' leq 5/2$. The upper limits are saturated only by configurations that stack spatial slices into branched polymers, and the causal slicing forbids reaching them in the large-volume limit. A separate scaling argument disposes of the crumpled phase: the Euclidean bound $N_1 leq tfrac{1}{2}N_0(N_0-1)$ grows like $(text{length})^6$ in three dimensions, whereas in the sliced geometry the analogous quantity grows only like $(text{length})^5$, because two vertices can share an edge only if they sit in the same or adjacent slices. The paper also establishes that the model is a legitimate statistical system: the transfer matrix over interpolating sandwiches is symmetric, its square is positive by site-reflection positivity, and the state sum is a finite sum of finite terms at fixed spatial volume cutoff, so a self-adjoint Hamiltonian $-tfrac{1}{2a}log hat{T}^2$ exists.

Load-bearing premise

The whole construction rests on the claim that continuing each building block's action from positive to negative $alpha$ through the lower half plane extends to the full non-perturbative sum, giving a convergent, real, positive state sum; the paper asserts in the introduction that this can be shown, but the demonstration is not given here.

Editorial extensions

If this is right

  • The Euclidean branched-polymer phase, which dominates three- and four-dimensional Euclidean state sums at large gravitational coupling, has no Lorentzian counterpart, so the continuum limit of the Lorentzian model must be sought in a different region of coupling space.
  • The crumpled, maximally connected phase is likewise excluded, because the sliced structure limits how many edges can meet at a vertex; a vertex can only connect to vertices in the same or adjacent slices.
  • Because the transfer matrix is symmetric and its square is positive, the regularized model defines a genuine quantum-mechanical evolution operator with a bounded-below Hamiltonian, which is a prerequisite for any continuum limit to inherit unitarity.
  • The proposed sets of five moves in three dimensions and ten in four dimensions give a concrete algorithm for numerical simulation of the model, and the $f$-vector changes they induce are exactly what generates the tightened bounds.
  • The explicit branch prescription for continuing $alpha$ through the lower half plane means that simulation results obtained in the Euclidean sector can, in principle, be rotated back to statements about Lorentzian geometries.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the kinematic bounds hold in the continuum limit and not merely at the level of individual triangulations, the effective large-scale geometry should be three- or four-dimensional rather than polymeric; this is a sharp, checkable prediction for the numerical program the paper sets up, and it distinguishes the model from its Euclidean relative at the level of a single measured exponent.
  • The exclusion of the crumpled phase follows from a counting argument about which vertices can be joined by an edge, not from any dynamical input. That suggests the same mechanism should suppress maximal connectivity in any discretization that preserves a global time foliation, including models built from different building blocks, which makes it a broader structural statement than the specific tri
  • The paper proves positivity only for the square of the transfer matrix, and explicitly leaves open whether the one-step matrix is positive in $d=3,4$; a numerical check of the sign structure of the single-step matrix at small spatial volume would settle whether the weaker result is an artifact of the proof technique or a genuine feature of the model.
  • The convergence of the rotated state sum is asserted in the introduction but not demonstrated here; if it fails for some class of triangulations, the Euclidean-sector simulations the paper is designed to enable would be computing a different object than the Lorentzian path integral, and the kinematic bounds would still hold but would say nothing about the physical theory.
Original abstract

Fruitful ideas on how to quantize gravity are few and far between. In this paper, we give a complete description of a recently introduced non-perturbative gravitational path integral whose continuum limit has already been investigated extensively in d less than 4, with promising results. It is based on a simplicial regularization of Lorentzian space-times and, most importantly, possesses a well-defined, non-perturbative Wick rotation. We present a detailed analysis of the geometric and mathematical properties of the discretized model in d=3,4. This includes a derivation of Lorentzian simplicial manifold constraints, the gravitational actions and their Wick rotation. We define a transfer matrix for the system and show that it leads to a well-defined self-adjoint Hamiltonian. In view of numerical simulations, we also suggest sets of Lorentzian Monte Carlo moves. We demonstrate that certain pathological phases found previously in Euclidean models of dynamical triangulations cannot be realized in the Lorentzian case.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13-20260917 via OpenRouter, question bank abstract-p1-20260923, 2026-09-23: 1 request, 6,169 input tokens, $0.0003 reported.

What the abstract itself states, as probabilities: claims first 0.08 · states limitation 0.19 · human participants 0.01 · controlled comparison 0.07 · randomized assignment 0.01 · states quantitative result 0.06 · compares with prior results 0.86 · mentions code or data availability 0.02.

The abstract, sentence by sentence

arXiv listing abstract v1. Results and the main claim are underlined; .

Fruitful ideas on how to quantize gravity are few and far between. In this paper, we give a complete description of a recently introduced non-perturbative gravitational path integral whose continuum limit has already been investigated extensively in d less than 4, with promising results. It is based on a simplicial regularization of Lorentzian space-times and, most importantly, possesses a well-defined, non-perturbative Wick rotation. We present a detailed analysis of the geometric and mathematical properties of the discretized model in d=3,4. This includes a derivation of Lorentzian simplicial manifold constraints, the gravitational actions and their Wick rotation. We define a transfer matrix for the system and show that it leads to a well-defined self-adjoint Hamiltonian. In view of numerical simulations, we also suggest sets of Lorentzian Monte Carlo moves. We demonstrate that certain pathological phases found previously in Euclidean models of dynamical triangulations cannot be realized in the Lorentzian case.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
s0 Fruitful ideas on how to quantize gravity are few and far between. background 0.96 0.04 0.02 asserted 1.00
s1 In this paper, we give a complete description of a recently introduced non-perturbative gravitational path integral whose continuum limit has already been investigated extensively in d less than 4, with promising results. contribution 0.98 0.69 0.18 asserted 0.99
s2 It is based on a simplicial regularization of Lorentzian space-times and, most importantly, possesses a well-defined, non-perturbative Wick rotation. method 0.69 0.39 0.16 asserted 1.00
s3 We present a detailed analysis of the geometric and mathematical properties of the discretized model in d=3,4. contribution 0.98 0.93 0.07 asserted 0.99
s4 This includes a derivation of Lorentzian simplicial manifold constraints, the gravitational actions and their Wick rotation. contribution 0.76 0.93 0.07 asserted 0.99
s5 We define a transfer matrix for the system and show that it leads to a well-defined self-adjoint Hamiltonian. result 0.66 0.95 0.14 asserted 1.00
s6 In view of numerical simulations, we also suggest sets of Lorentzian Monte Carlo moves. future work 0.81 0.83 0.05 hedged possibility 1.00
s7 We demonstrate that certain pathological phases found previously in Euclidean models of dynamical triangulations cannot be realized in the Lorentzian case. result 1.00 0.90 0.24 asserted 1.00

What kind of paper the classifier reports this is: theoretical result 0.90 · evidence from proof or derivation 1.00.

What was examined, and what was not

sources read
  • arXiv listing abstract v1
not examined
  • full text
  • figures and tables
  • references and citing sentences
  • relations to other papers
levels run
  • P abstract
not run
  • S sections
  • T body sentences
  • C citations
  • R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

Figures
Figure 1. A (3,1)- and a (2,2)-tetrahedron in three dimensions.
Figure 2. A (4,1)- and a (3,2)-tetrahedron in four dimensions.
Figure 3. The (2,6)-move in three dimensions. 1 3 4 6 2 5 1 3 4 6 2 5
Figure 4. The (4,4)-move in three dimensions. (4,4): This move can be performed on a sub-complex of two (1,3)- and two (3,1)- tetrahedra forming a “diamond” (see
Figure 5. The (2,3)-move in three dimensions. changing the spatial slices at integer-t. It is performed on a pair of a (3,1)- and a (2,2)-tetrahedron which share a triangle 345 in common (see
Figure 6. The (2,8)-move in four dimensions. accordingly. In our by now familiar notation, this amounts to 12345+23457+13456+34567 → 12346+23467+12356+23567+12456+24567, (60) with the arrow reversed for the corresponding inverse move. (2,4): This type of move comes in two varieties. Its general structure is as follows: the initial configuration is a pair of 4-simplices with a common tetrahedron. During the move, this tetrahedron is “deleted” and substituted by its (in a four-dimensional sense) dual edge. The end result is a sub-complex consisting of four 4-simplices. From a Lorentzian point…
Figure 7. The (4,6)-move in four dimensions. 1 6 5 3 2 4 1 6 5 3 2 4
Figure 8. The (2,4)-move in four dimensions, first version.
Figure 9. The (2,4)-move in four dimensions, second version.
Figure 10. The (3,3)-move in four dimensions, first version.
Figure 11. The (3,3)-move in four dimensions, second version.
Figure 12. One of a sequence of toroidal sandwich configurations a
Figure 13. Positive (a) and negative (b) Euclidean deficit angles
Figure 14. Positive space-like (a) and time-like (b) Lorentzian deficit

Figures reproduced from arXiv:hep-th/0105267 by the authors.

References
How later papers used it

78 later papers cite it

Evidence: substantial. 64 of the citing papers share no author with it, and 9 of those carry a confident label from Pith's citation classifier.

Pith read 18 of the 135 citing sentences, choosing only those whose citation markers point at this paper alone, and wrote the paraphrases from them. The summary, the counts, the evidence level, the links and the quotes come from code; the summary counts the papers listed below. A later paper is listed under a label when Pith's citation classifier gives one of its sentences that label at probability 0.8 or more (0.95 for support), Pith's reading finds that the citing paper itself did it, and a second check confirms the paraphrase against the sentence. This section lists uses only. It does not list criticism or disagreement, so their absence here says nothing about how the paper has been received. Papers that share an author with this one are listed apart, under "By the same authors". A quote is the citing authors' own sentence, shown when their paper's licence is CC BY, CC BY-SA or CC0. JSON

Uses its method or tool 1 of 4 papers with this label · 1 by the same authors

By the same authors

  • In terms of these ingredients, the formal path integral ([ref]) takes the explicit form [equation] where we have used the Wick rotation of CDT (analytic continuation $α↦ -α$ in the lower-half complex plane [ref] ) to obtain a real partition function $Z_CDT$, which is easier to work with computationally and will be the setting for the work presented here.

    Curvature Correlators in Nonperturbative 2D Lorentzian Quantum Gravity (2024) (same authors) · Theoretical and computational set-up · 0.81

Uses its data or values 1 paper · 1 by the same authors

By the same authors

Compares with it 1 of 5 papers with this label
How the literature uses it

66 arXiv papers cite this in 115 sentences

Each citing sentence is taken from the citing paper's LaTeX source and typed by Pith's classifier. A label appears at probability 0.8 or more (0.95 for support), a contest at 0.7 or more; the quoted words are the citing authors'. How each label was checked · JSON

Papers citing it · 65 sentences without a confident label

Uses its method or tool 4 papers
Uses its data or values 1 paper
  • In n3, $C_4=√(5)/96$ from the discrete four-simplex volume [ref] , and $√(g_tt)$ is the constant proportionality factor between the time $t$ and genuine continuum proper time $τ$, $τ=√(g_tt) t$.

    Planckian Birth of the Quantum de Sitter Universe · Macroscopic de Sitter universe · 0.89

Compares with it 4 papers
  • We note that equations [ref], [ref], [ref], [ref], and [ref], reproduce the results found in [ref] for the special case $S_1=S_2=S_3=1$ and $T_1=T_2=T_3=√(α)$.

    Fixed-Topology Lorentzian Triangulations: Quantum Regge Calculus in the Lorentzian Domain · (3,1) Lorentzian Tetrahedron · 1.00

  • In that context, the problem was noticed to become milder when the triangulation was coupled to gauge fields [ref] , but the main solution has been based on restricting the configuration space to those triangulations respecting certain criteria motivated by causality [ref] and the presence of global spatial hypersurfaces [ref] .

    Statistical Mechanics of Graphity Models · Discussion · 0.86

  • Also, the framework is broad enough for a comparison with Monte-Carlo data from Causal Dynamical Triangulations [ref] , an approach in which Lorentzian geometries play a critical role, see [ref] .

    The Spectral Geometry of de Sitter Space in Asymptotic Safety · Self-consistent Lorentzian spacetimes · 0.80

Cites it as support 2 papers
  • Here one finds that the (two-step) transfer matrix connecting spacial slices at different time-steps is self-adjoint and bounded [ref] , indicating that it satisfies the requirement of reflection positivity.

    Critical reflections on asymptotically safe gravity · General remarks · 1.00

  • A complementary, powerful piece of evidence for the unitarity of asymptotic safety comes from the lattice: The CDT formulation of gravity admits a reflection positive transfer matrix in the Euclidean [ref] .

    Asymptotically safe quantum gravity and its phenomenology -- a review · Can asymptotic safety satisfy unitarity? · 0.99

Cites it as background 32 papers
  • We will summarize its essential properties below, and refer to [ref] for further technical details.

    Curvature Correlators in Nonperturbative 2D Lorentzian Quantum Gravity · Theoretical and computational set-up · 0.97

  • We will concentrate on the dynamics of a “sandwich geometry", given by the transition amplitude from a spatial geometry at time $t$ to one at time $t+1$, in other words, the transfer matrix $T̂$ of the causal dynamical triangulation (CDT) model, which in turn contains information about its quantum Hamiltonian $Ĥ$ by virtue of the relation $T̂=e^-a Ĥ$ (see [ref] for details).

    Quantum Gravity from Simplices: Analytical Investigations of Causal Dynamical Triangulations · The partition function · 0.90

  • The state of affairs was significantly improved with the introduction of the model of causal dynamical triangulations (CDT) by Ambjorn and Loll (initially in two dimensions [ref] , and later in three and four dimensions, together with Jurkiewicz [ref] ).

    Landau Theory of Causal Dynamical Triangulations · Introduction · 0.87

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.