Causal structure in spin-foams
Pith reviewed 2026-05-24 12:55 UTC · model grok-4.3
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.
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
- 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
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.
Referee Report
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)
- [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.
- [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
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
-
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
-
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
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
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/ArrowOfTime.leanarrow_from_z echoes?
echoesECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.
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
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking echoes?
echoesECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.
the cycle constraint (13) ... the equations of motion impose the structure of the wedges to be causal
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
-
Toller matrices and the Feynman $i\varepsilon$ in spinfoams
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...
-
The problem of time: a path integral view
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
-
[1]
An arrow from past to future on time-like edges
-
[2]
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]
Reflexivity: v≤v (by convention)
-
[4]
Anti-symmetry: v1≤ v2 and v2≤ v1 imply v1 = v2
-
[5]
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]
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]
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]
a distinguished edge to each face, that serves as a starting point in the product
-
[9]
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]
a distinguished face to each edge, that serves as a starting point in the tensor product
-
[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]
To each link l, associate a variable ml that will be summed over; 9
-
[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]
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]
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]
at each edge, the surrounding faces are partitioned into two sets of two (there exists three such parti- tions)
-
[17]
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]
a starting wedge per each face
-
[19]
an orientation per each face
-
[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]
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]
We fix the orientation at the level of wedges, which is a finer scale than that of tetrahedra
-
[23]
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]
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]
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]
Reversing the arrow of a link in-between two posi- tive or two negative nodes, amounts to multiplying by (−1)2j
-
[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]
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]
C. Rovelli and F. Vidotto, Covariant Loop Quantum Gravity, Cambridge University Press (2014)
work page 2014
-
[30]
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]
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]
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
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.nuclphysb.2008.02.018 2008
-
[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
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/s0550-3213(03)00378- 2003
-
[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
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevd.87.084048 2013
-
[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
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevd.94.064024 2016
-
[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)
work page 1973
-
[37]
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]
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]
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]
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
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevd.93.084039 2016
-
[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
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1088/0264-9381/32/1/015016 2015
-
[43]
G. Immirzi, Causal spin foams (2016), arXiv: 1610.04462
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[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
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1088/0264-9381/11/3/009 1993
-
[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
-
[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
-
[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–
-
[49]
Springer, Berlin, Heidelberg, ISBN 978-3-540- 46552-2, doi:10.1007/3-540-46552-9 2 (2000), arXiv: gr- qc/9905087
-
[50]
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)
work page 1968
-
[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
-
[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
work page internal anchor Pith review Pith/arXiv arXiv doi:10.2140/gt.1999.3.21 1999
-
[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
work page internal anchor Pith review Pith/arXiv arXiv doi:10.22323/1.140.0003 2011
-
[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
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1088/0264-9381/26/15/155014 2009
-
[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
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1088/0264-9381/30/5/055009 2013
-
[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
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1088/0264- 2000
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.