pith. sign in

arxiv: 2109.00986 · v2 · submitted 2021-09-02 · 🌀 gr-qc · math-ph· math.MP· quant-ph

Causal structure in spin-foams

Pith reviewed 2026-05-24 12:55 UTC · model grok-4.3

classification 🌀 gr-qc math-phmath.MPquant-ph
keywords spin-foamscausal structureEPRL modeltwo-complex orientationquantum gravitysemiclassical limitLorentzian geometry
0
0 comments X

The pith

The orientation of the two-complex serves as a dynamical variable encoding causality in spin-foam models.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

In general relativity the metric is almost completely fixed by its causal structure, yet spin-foam models have left the encoding of causality largely unspecified. The paper establishes that the orientation assigned to the two-complex can carry this information once it is allowed to vary dynamically rather than being fixed by hand. It introduces a causal extension of the EPRL model in which this orientation participates in the sum over histories. A sympathetic reader would care because the resulting dynamics are intended to select only those configurations whose semiclassical limit reproduces a Lorentzian spacetime geometry.

Core claim

The orientation of the two-complex plays the role of a dynamical variable that encodes causality in spin-foam models; a causal version of the EPRL model is proposed to support reconstruction of semiclassical spacetime geometry.

What carries the argument

The orientation data on the two-complex, promoted to a dynamical variable that selects causal structure.

If this is right

  • Causality enters the spin-foam sum as an internal degree of freedom rather than an external constraint.
  • The EPRL model acquires a version whose boundary data can carry consistent causal ordering.
  • Semiclassical geometry reconstruction becomes possible only for histories whose two-complex orientations define a coherent causal structure.
  • The metric recovered in the large-spin limit is determined by the same causal data that fixes it in classical general relativity.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The dynamical orientation may provide a discrete analogue of a time function or light-cone structure inside the quantum theory.
  • It could be used to define a notion of causal evolution between successive slices of the two-complex.
  • Consistency checks against known Lorentzian solutions, such as flat space or simple cosmological models, would test whether the orientation variable produces the expected signature.
  • Connections to other discrete approaches that enforce causality at the fundamental level become natural to explore.

Load-bearing premise

That the orientation data on the two-complex can be promoted to a dynamical variable whose dynamics reproduce the causal structure of a semiclassical Lorentzian geometry without additional ad-hoc constraints.

What would settle it

A direct computation of the causal EPRL amplitudes on a single 4-simplex or small triangulation whose semiclassical limit is known to be Lorentzian, showing that the dominant contributions violate causal ordering, would falsify the claim.

Figures

Figures reproduced from arXiv: 2109.00986 by Eugenio Bianchi, Pierre Martin-Dussaud.

Figure 2
Figure 2. Figure 2: Up: sets of 4 wedges which form cycles. Down: sets of 4 wedges which do not form cycles. 7 Given a vertex, the vertex graph associates a node to each edge and a link to each wedge in-between.. In graph theory, the word ‘edge’ is usually used instead of ‘link’. But we stick to a wide￾spread convention in loop quantum gravity (see [2]) where ‘edge’ is reserved to the bulk of 2-complexes and ‘link’ is used fo… view at source ↗
Figure 3
Figure 3. Figure 3: Example of causal structure on a boundary [PITH_FULL_IMAGE:figures/full_fig_p007_3.png] view at source ↗
read the original abstract

The metric field of general relativity is almost fully determined by its causal structure. Yet, in spin-foam models for quantum gravity, the role played by the causal structure is still largely unexplored. The goal of this paper is to clarify how causality is encoded in such models. The quest unveils the physical meaning of the orientation of the two-complex and its role as a dynamical variable. We propose a causal version of the EPRL spin-foam model and discuss the role of the causal structure in the reconstruction of a semiclassical spacetime geometry.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 0 minor

Summary. The paper claims that the metric of GR is largely determined by causal structure, yet this is underexplored in spin-foam models; it argues that the orientation of the two-complex acts as a dynamical variable encoding causality, proposes a causal version of the EPRL model, and discusses how causal structure aids reconstruction of semiclassical spacetime geometry.

Significance. If the dynamical mechanism for orientation is shown to select Lorentzian causal relations without ad-hoc constraints, the work would clarify a key missing ingredient in spin-foam quantization and strengthen the path to semiclassical limits; the proposal of a causal EPRL variant is a concrete step that could be tested against existing amplitude constructions.

major comments (2)
  1. [Abstract] The central claim that orientation data on the two-complex can be promoted to a dynamical variable whose stationary points reproduce the causal structure of semiclassical Lorentzian 4-geometry is stated in the abstract but lacks an explicit amplitude modification or consistency check demonstrating that orientation dynamics alone suffice without additional restrictions on admissible orientations.
  2. [Abstract] No derivation is supplied showing how the proposed causal EPRL model induces dynamics that select configurations whose causal relations match those of a semiclassical Lorentzian geometry; any implicit restriction would constitute an ad-hoc constraint outside the stated dynamical principle.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for highlighting points that can improve the clarity of our proposal. We address the major comments below.

read point-by-point responses
  1. Referee: [Abstract] The central claim that orientation data on the two-complex can be promoted to a dynamical variable whose stationary points reproduce the causal structure of semiclassical Lorentzian 4-geometry is stated in the abstract but lacks an explicit amplitude modification or consistency check demonstrating that orientation dynamics alone suffice without additional restrictions on admissible orientations.

    Authors: The body of the manuscript defines the causal EPRL model by extending the configuration space to include the orientation of the two-complex as a dynamical degree of freedom, with the amplitude constructed to respect this extension. We agree that the abstract would benefit from a more explicit statement of the modified amplitude and a brief consistency argument showing that the orientation dynamics operate without further restrictions. We will incorporate these clarifications in the revised version. revision: yes

  2. Referee: [Abstract] No derivation is supplied showing how the proposed causal EPRL model induces dynamics that select configurations whose causal relations match those of a semiclassical Lorentzian geometry; any implicit restriction would constitute an ad-hoc constraint outside the stated dynamical principle.

    Authors: The manuscript argues that the orientation enters the sum over two-complexes on equal footing with the other variables, so that the stationary-phase contributions are expected to favor Lorentzian causal relations. We acknowledge that a step-by-step derivation of this selection mechanism is not supplied. The revision will include an expanded discussion of the induced dynamics, making explicit that no additional constraints on admissible orientations are imposed beyond the dynamical principle itself. revision: yes

Circularity Check

0 steps flagged

No circularity: proposal of causal EPRL model is independent of inputs

full rationale

The paper's abstract and description present a proposal to treat two-complex orientation as a dynamical variable in a causal EPRL model, with the goal of encoding causality. No equations, fitted parameters, or self-citations are quoted that reduce any claimed result to its own inputs by construction. The central step is a definitional proposal rather than a derivation that loops back on itself, making the chain self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract supplies no explicit free parameters, axioms, or invented entities; ledger left empty because full text is unavailable.

pith-pipeline@v0.9.0 · 5607 in / 897 out tokens · 25557 ms · 2026-05-24T12:55:44.679280+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Toller matrices and the Feynman $i\varepsilon$ in spinfoams

    gr-qc 2026-04 unverdicted novelty 7.0

    Toller matrices T^(±) in causal spinfoam amplitudes satisfy T^(+) + T^(-) = D and admit equivalent definitions via analyticity, iε prescription, and boost-eigenvalue integrals that reproduce the Euclidean-to-Lorentzia...

  2. The problem of time: a path integral view

    gr-qc 2026-05 unverdicted novelty 5.0

    In a path-integral model of timeless quantum systems, time evolution arises when a clock is prepared in a semiclassical state, showing that the cosine problem in quantum gravity follows from time-reversal invariance a...

Reference graph

Works this paper leans on

54 extracted references · 54 canonical work pages · cited by 2 Pith papers · 13 internal anchors

  1. [1]

    An arrow from past to future on time-like edges

  2. [2]

    In the following, we assume that all tetrahedra are space- like, which implies that all N are time-like

    No arrow on space-like edges. In the following, we assume that all tetrahedra are space- like, which implies that all N are time-like. Dually, it means that all the edges of ∆ ∗ 1 carry an arrow. This simplifying assumption is made in many of the formula- tions of spin-foams. It is important to note that this con- dition automatically implements some impl...

  3. [3]

    Reflexivity: v≤v (by convention)

  4. [4]

    Anti-symmetry: v1≤ v2 and v2≤ v1 imply v1 = v2

  5. [5]

    In most reasonable cases, the poset of ∆∗ 1 is locally finite, meaning that for any pair of vertices (v1,v 2), the so-called causal diamond {v|v1≤v≤v2} is a finite set

    Transitivity: v1≤v2 and v2≤v3 imply v1≤v3. In most reasonable cases, the poset of ∆∗ 1 is locally finite, meaning that for any pair of vertices (v1,v 2), the so-called causal diamond {v|v1≤v≤v2} is a finite set. Such a poset is a causal set, as defined originally in [11]. We have shown, without much surprise, that the dis- cretisation of a lorentzian manifol...

  6. [6]

    5 A directed acyclic graph is a directed graph with no directed cy- cles, which means, in causal language, no closed time-like curves

    Now we are going to show that it can also be read equivalently on the wedges of the dual 2-skeleton ∆∗ 2. 5 A directed acyclic graph is a directed graph with no directed cy- cles, which means, in causal language, no closed time-like curves. 6 We denote indifferently e ∈ v or v ∈ e when the vertex v is an endpoint of the edge e. 4 To proceed, let’s go back ...

  7. [7]

    The wedge is thick ife1 ande2 are both incoming or both outgoing

    There exists two unique edgese1 ande2 such thate1,e 2∈f ande1,e 2∈v. The wedge is thick ife1 ande2 are both incoming or both outgoing. It is thin otherwise. Algebraically, the wedge orientation can be defined as εv(f) def = {+η if thick −η if thin. (11) It is then easy to show that εv(f) =ηεv(e1)εv(e2). (12) As we have presented it, the wedge orientation i...

  8. [8]

    a distinguished edge to each face, that serves as a starting point in the product

  9. [9]

    Although this structure is required to define Uf, δ(Uf) doesn’t actually depends on it, due to the invariance of the δ-function under inversion and cyclic permutation

    an orientation to each face, that tells the order of the following edges. Although this structure is required to define Uf, δ(Uf) doesn’t actually depends on it, due to the invariance of the δ-function under inversion and cyclic permutation. It is common to rewrite ZC by splitting the δ-function into a sum over the irreducible representations (irreps) of G...

  10. [10]

    a distinguished face to each edge, that serves as a starting point in the tensor product

  11. [11]

    Of course, ZC remains blind to this structure

    an orientation of the faces around each edge, which can be thought as an arrow on the edge (with the right-hand convention to turn around for instance). Of course, ZC remains blind to this structure. The am- plitude finally becomes: ZC = ∑ ρ ∑ ι ∏ f dimρf ∏ v Av. (37) The sum in ρ (resp. ι) is made over all the possible labelling of the faces (resp. edges)...

  12. [12]

    To each link l, associate a variable ml that will be summed over; 9

  13. [13]

    The 3jm-Wigner symbol 8 is associated to the fol- lowing nodes: ( j1 j2 j3 m1 m2 m3 ) = + j3 j2 j1 = – j1 j2 j3 (39) The sign on the node indicates the sense in which the attached links shall be read

  14. [14]

    negative) node with an incom- ing (resp

    If an arrow is reversed, replace in the formula above ml by−ml and multiply by (−1)jl−ml, like + j3 j2 j1 = (−1)j3−m3 ( j1 j2 j3 m1 m2 −m3 ) (40) or – j1 j2 j3 = (−1)j1−m1 ( j1 j2 j3 −m1 m2 m3 ) (41) A positive (resp. negative) node with an incom- ing (resp. outgoing) link corresponds to a counter- alignment of the face and the edge

  15. [15]

    Multiply all factors and sum over all ml from−jl to jl (integer steps). As an example, the graph (38) evaluates to Av = ∑ mi (−1)j4−m4+j1−m1 ( j1 j2 j3 m1 m2 m3 ) × ( j4 j5 j3 m4 −m5 m3 )( j6 j2 j4 m6 m2 −m4 )( j6 j5 j1 m6 −m5 −m1 ) (42) The power of graphical calculus is apparent when com- paring this cumbersome formula to the diagram (38). Up to a sign,...

  16. [16]

    at each edge, the surrounding faces are partitioned into two sets of two (there exists three such parti- tions)

  17. [17]

    called left and right)

    these two sets are ordered (e.g. called left and right). Then the vertex amplitude is represented by a pentagram like – – j1 j2 j3 j4 j5 j6 j7 j8 j9 j10 ι1+ + ι2 – – ι3 + + ι4 ι5 + + (55) ι∈ N/2 is labelling the intertwiners. It is surrounded by two positive (resp. negative) nodes, when the edge is incoming (resp. outgoing). When the nodes are positive (r...

  18. [18]

    a starting wedge per each face

  19. [19]

    an orientation per each face

  20. [20]

    each wedge w has a source edge sw and a target edge tw

    an orientation to each wedge, i.e. each wedge w has a source edge sw and a target edge tw

  21. [21]

    a distinguished edge Ev per each vertex v. Then, Uf is defined as the circular product Uf(hw) def = ⟲∏ w∈f hw (57) that starts with the starting wedge of f, circulates in the sense given by the orientation of f, and each hw is in- verted when the orientation of the wedge does not match with the orientation of the face. Besides, the vertex am- plitude is Av...

  22. [22]

    We fix the orientation at the level of wedges, which is a finer scale than that of tetrahedra

  23. [23]

    Engle’s proper vertex

    The orientation is fixed in the definition of the am- plitude, while theirs only holds in the asymptotic limit. Engle’s proper vertex. The computation of the EPRL asymptotics (60) by Barrett et al [27] is promising but presents two difficul- ties: • The cosine problem: the asymptotics of a single vertex has two critical points. This results in a problematic a...

  24. [24]

    Engle’s proper ver- tex is motivated by the restriction to the Einstein- Hilbert sectors while we are motivated by our anal- ysis of the causal structure

    The motivations are different. Engle’s proper ver- tex is motivated by the restriction to the Einstein- Hilbert sectors while we are motivated by our anal- ysis of the causal structure. Do the two require- ments actually coincide? It would be interesting to investigate this relation, following the analysis of Immirzi in [16]

  25. [25]

    Quantum Information Struc- ture of Spacetime (QISS)

    A priori, it is not clear that the two restrictions match away from the semi-classical limit. In fact, Engle’s proper vertex introduces a step-function Θ on each wedge which depends on data on the full 4-simplex, while (68) is local on the wedge but in- cludes the wedge orientations εw as additional dy- namical variables. IX. CONCLUSION We can summarise o...

  26. [26]

    Reversing the arrow of a link in-between two posi- tive or two negative nodes, amounts to multiplying by (−1)2j

  27. [27]

    15 So overall, one gets a factor ( −1)2j for each link sur- rounded by nodes of the same sign

    Reversing the arrow of a link in-between a posi- tive and a negative link does not change the vertex amplitude. 15 So overall, one gets a factor ( −1)2j for each link sur- rounded by nodes of the same sign. To conclude, we need to prove the lemma that the number of such links around a face is always even. Indeed, choose a face and call V is the number of ...

  28. [28]

    D. B. Malament, The class of continuous timelike curves determines the topology of spacetime , Jour- nal of Mathematical Physics 18(7), 1399 (1977), doi:10.1063/1.523436

  29. [29]

    Rovelli and F

    C. Rovelli and F. Vidotto, Covariant Loop Quantum Gravity, Cambridge University Press (2014)

  30. [30]

    Ashtekar and E

    A. Ashtekar and E. Bianchi, A short review of loop quan- tum gravity , Rept. Prog. Phys. 84(4), 042001 (2021), doi:10.1088/1361-6633/abed91, arXiv: 2104.04394

  31. [31]

    Regge, General Relativity without Coordinates, Nuovo 16 Cim

    T. Regge, General Relativity without Coordinates, Nuovo 16 Cim. 19, 558 (1961), doi:10.1007/BF02733251

  32. [32]

    LQG vertex with finite Immirzi parameter

    J. Engle, E. Livine, R. Pereira and C. Rovelli, LQG vertex with finite Immirzi parameter , Nucl. Phys. B 799, 136 (2008), doi:10.1016/j.nuclphysb.2008.02.018, arXiv: 0711.0146

  33. [33]

    E. R. Livine and D. Oriti, Implementing causality in the spin foam quantum geometry , Nuclear Physics B 663(1-2), 231 (2003), doi:10.1016/S0550-3213(03)00378- X, arXiv: gr-qc/0210064

  34. [34]

    A proposed proper EPRL vertex amplitude

    J. Engle, Proposed proper Engle-Pereira-Rovelli-Livine vertex amplitude , Phys. Rev. D 87(8), 084048 (2013), doi:10.1103/PhysRevD.87.084048, arXiv: 1111.2865

  35. [35]

    The Lorentzian proper vertex amplitude: Classical analysis and quantum derivation

    J. Engle and A. Zipfel, The Lorentzian proper vertex amplitude: Classical analysis and quantum derivation, Phys. Rev. D 94(6), 064024 (2016), doi:10.1103/PhysRevD.94.064024, arXiv: 1502.04640

  36. [36]

    S. W. Hawking and G. F. R. Ellis, The Large Scale Struc- ture of Space-Time , Cambridge University Press, Cam- bridge, U.K. (1973)

  37. [37]

    Dona and S

    P. Dona and S. Speziale, Asymptotics of lowest unitary SL(2,C) invariants on graphs , Phys. Rev. D 102(8), 086016 (2020), doi:10.1103/PhysRevD.102.086016, arXiv: 2007.09089

  38. [38]

    Bombelli, J

    L. Bombelli, J. Lee, D. Meyer and R. D. Sorkin, Space- time as a causal set , Phys. Rev. Lett. 59(5), 521 (1987), doi:10.1103/PhysRevLett.59.521

  39. [39]

    Surya, The causal set approach to quantum gravity , Living Rev

    S. Surya, The causal set approach to quantum gravity , Living Rev. Rel. 22(1), 5 (2019), doi:10.1007/s41114- 019-0023-1, arXiv: 1903.11544

  40. [40]

    Spin foam models as energetic causal sets

    M. Cortˆ es and L. Smolin, Spin foam models as ener- getic causal sets , Phys. Rev. D 93(8), 084039 (2016), doi:10.1103/PhysRevD.93.084039, arXiv: 1407.0032

  41. [42]

    W. M. Wieland, New action for simplicial gravity in four dimensions, Class. Quantum Grav. 32(1), 015016 (2015), doi:10.1088/0264-9381/32/1/015016, arXiv: 1407.0025

  42. [43]

    Causal spin foams

    G. Immirzi, Causal spin foams (2016), arXiv: 1610.04462

  43. [44]

    J. W. Barrett and T. J. Foxon, Semi-Classical Limits of Simplicial Quantum Gravity , Class. Quantum Grav. 11(3), 543 (1993), doi:10.1088/0264-9381/11/3/009, arXiv: gr-qc/9310016

  44. [46]

    Oeckl, General boundary quantum field the- ory: Foundations and probability interpreta- tion, Adv

    R. Oeckl, General boundary quantum field the- ory: Foundations and probability interpreta- tion, Adv. Theor. Math. Phys. 12, 319 (2008), doi:10.4310/ATMP.2008.v12.n2.a3, arXiv: hep- th/0509122

  45. [47]

    Teitelboim, Quantum mechanics of the gravi- tational field , Phys

    C. Teitelboim, Quantum mechanics of the gravi- tational field , Phys. Rev. D 25(12), 3159 (1982), doi:10.1103/PhysRevD.25.3159

  46. [48]

    J. C. Baez, An Introduction to Spin Foam Models of BF Theory and Quantum Gravity , In H. Gaus- terer, L. Pittner and H. Grosse, eds., Geometry and Quantum Physics , Lecture Notes in Physics, pp. 25–

  47. [49]

    Springer, Berlin, Heidelberg, ISBN 978-3-540- 46552-2, doi:10.1007/3-540-46552-9 2 (2000), arXiv: gr- qc/9905087

  48. [50]

    Ponzano and T

    G. Ponzano and T. Regge, Semiclassical limit of Racah coefficients, In F. Bloch, ed., Spectroscopy and Group Theoretical Methods in Physics. North-Holland, Amster- dam (1968)

  49. [51]

    P. Martin-Dussaud, A primer of group theory for Loop Quantum Gravity and spin-foams , General Relativity and Gravitation 51(9) (2019), doi:10.1007/s10714-019- 2583-5, arXiv: 1902.08439

  50. [52]

    Classical 6j-symbols and the tetrahedron

    J. Roberts, Classical 6j-symbols and the tetra- hedron, Geometry & Topology 3(1), 21 (1999), doi:10.2140/gt.1999.3.21, arXiv: math-ph/9812013

  51. [53]

    Zakopane lectures on loop gravity

    C. Rovelli, Zakopane lectures on loop grav- ity, In PoS (QGQGS 2011) , vol. 140, p. 003, doi:10.22323/1.140.0003 (2011), arXiv: 1102.3660

  52. [55]

    J. W. Barrett and I. Naish-Guzman, The Ponzano-Regge model, Class. Quantum Grav. 26(15), 155014 (2009), doi:10.1088/0264-9381/26/15/155014, arXiv: 0803.3319

  53. [56]

    Divergences and Orientation in Spinfoams

    M. Christodoulou, M. L˚ angvik, A. Riello, C. R¨ oken and C. Rovelli, Divergences and Orientation in Spin- foams, Class. Quantum Grav. 30(5), 055009 (2013), doi:10.1088/0264-9381/30/5/055009, arXiv: 1207.5156

  54. [57]

    J. W. Barrett and L. Crane, A Lorentzian Signa- ture Model for Quantum General Relativity , Class. Quantum Grav. 17(16), 3101 (2000), doi:10.1088/0264- 9381/17/16/302, arXiv: gr-qc/9904025