Compare · The Nature of Space & Time

Quantum Dynamics and the BDG Action vs Sorkin's Causal Set Program

← Back to Quantum Dynamics and the BDG Action

Causal Set Theory· within family

	Quantum Dynamics and the BDG Action Frontier	Sorkin's Causal Set Program Frontier
Proposed	2010 / 2013-2018	1987
Key figures	Fay Dowker, Dionigi Benincasa, Lisa Glaser, Sumati Surya	Luca Bombelli, Joohan Lee, David Meyer, Rafael Sorkin
In one sentence	The Benincasa-Dowker action (2010) provides a discrete analogue of Einstein's action: a formula that uses counts of certain suborder patterns in a causal set to approximate the scalar curvature governing Einstein's general-relativity action. The quantum theory of causal sets is then the path integral over all possible causal sets, weighted by this action. Modern 2D causal set quantum gravity simulations (Glaser-Surya 2013-2018) test the construction by showing that quantum causal sets self-assemble into structures resembling continuous physical space.	Bombelli, Lee, Meyer, and Sorkin proposed in 1987 that spacetime is fundamentally a discrete partial order: a collection of elementary events with relations describing which causally precede which. The smooth Lorentzian spacetime of general relativity is an emergent approximation valid at scales much larger than the Planck length. The order encodes the conformal geometry and the count encodes the volume; together they reconstruct spacetime up to a Lorentz-invariant random sprinkling.
Predictions	The BDG action can be defined for any causal set using purely combinatorial data (counts of certain ordered-pair patterns), with no continuum metric required The BDG action reduces to the continuum Einstein-Hilbert action when evaluated on causal sets that are sprinkled into a smooth manifold; this is the discrete-to-continuum correspondence that anchors the construction The quantum sum-over-histories with BDG-weighted path integral suppresses non-manifold-like configurations (Kleitman-Rothschild posets), at least in 2D toy models; whether this generalizes to 4D is the central open question 2D causal set quantum gravity, as computed via path-integral simulations, reproduces structures resembling 2D physical space; this is structural consistency evidence for the construction	Spacetime is fundamentally discrete at the Planck scale (about 10^-35 meters), with no infinitely small points and no continuous trajectories at scales below the discreteness threshold Order plus number equals geometry: the causal partial order alone encodes the conformal geometry (light-cone structure), and the element count in any region encodes its proper volume; together they determine the spacetime metric A continuum Lorentzian spacetime arises as an approximation to a causal set when elements are sprinkled into the manifold via a Lorentz-invariant Poisson process at approximately one element per Planck volume Topological features of spacetime (homology, cohomology, holes in higher dimensions) can in principle be defined and computed from purely combinatorial causal data; modern work since 2020 has refined how these topological invariants are extracted from causal sets
Where it breaks	Entropic dominance (Kleitman-Rothschild posets, see family-level objection 3). Whether the BDG action successfully suppresses non-manifold-like causal sets in the full quantum theory is unproven; if it does not, the quantum theory's predictions are dominated by structures with no continuum interpretation Generalization beyond 2D. All existing path-integral simulations are in 2D. Whether the construction succeeds in 4D (the physically relevant case) is the central open computational question The BDG action is constructed to reproduce the continuum limit, not derived from a deeper principle. Whether it captures the full quantum theory beyond the continuum limit, or is only an effective construction good for one purpose, is contested Boundary terms. The original BDG action was defined for causal sets without spatial boundaries. Extensions to finite causal sets with boundaries have been worked out in follow-up papers; whether the boundary terms preserve the discrete-to-continuum correspondence is technically delicate	The Hauptvermutung (see family-level objection 1): the conjecture that a given causal set cannot approximate two macroscopically different smooth spacetimes is not proved in general. If it fails, the order-plus-number-equals-geometry slogan is not well-defined as a unique reconstruction Kinematic only: this variant establishes what the fundamental structure is supposed to be, but does not say how the structure dynamically arises or evolves. The Sequential Growth and Quantum Dynamics variants address those questions, and neither is yet fully closed Continuum approximation requires specific assumptions about element density (approximately one per Planck volume) that may need to be derived from a more fundamental theory rather than posited Cross-program comparison: Loop Quantum Gravity (Ch.3, same chapter) treats discrete spatial geometry as fundamental; Causal Dynamical Triangulations discretizes spacetime as glued simplices. CST's distinctive commitment to causal order as primary is not universally accepted; the alternative discrete-spacetime programs treat it as one option among several
Key unresolved problem	The chaos-overwhelm problem: random networks are vastly more often crumpled nonsense than smooth spacetime, and no one has proven the theory's action suppresses those Kleitman-Rothschild jumbles enough to leave a sensible 4D universe.	The one-shape problem: the core conjecture, the Hauptvermutung, that a given network of events can map to only one smooth spacetime and not two different ones, has never been proved, so the order-plus-number-equals-geometry idea lacks a guarantee.
Reader vote	0% · 0 votes	100% · 1 vote

Quantum Dynamics and the BDG Action

2010 / 2013-2018 · Frontier

Sorkin's Causal Set Program

1987 · Frontier

Proposed

2010 / 2013-2018

1987

Key figures

Fay Dowker, Dionigi Benincasa, Lisa Glaser, Sumati Surya

Luca Bombelli, Joohan Lee, David Meyer, Rafael Sorkin

In one sentence

The Benincasa-Dowker action (2010) provides a discrete analogue of Einstein's action: a formula that uses counts of certain suborder patterns in a causal set to approximate the scalar curvature governing Einstein's general-relativity action. The quantum theory of causal sets is then the path integral over all possible causal sets, weighted by this action. Modern 2D causal set quantum gravity simulations (Glaser-Surya 2013-2018) test the construction by showing that quantum causal sets self-assemble into structures resembling continuous physical space.

Bombelli, Lee, Meyer, and Sorkin proposed in 1987 that spacetime is fundamentally a discrete partial order: a collection of elementary events with relations describing which causally precede which. The smooth Lorentzian spacetime of general relativity is an emergent approximation valid at scales much larger than the Planck length. The order encodes the conformal geometry and the count encodes the volume; together they reconstruct spacetime up to a Lorentz-invariant random sprinkling.

Predictions

The BDG action can be defined for any causal set using purely combinatorial data (counts of certain ordered-pair patterns), with no continuum metric required
The BDG action reduces to the continuum Einstein-Hilbert action when evaluated on causal sets that are sprinkled into a smooth manifold; this is the discrete-to-continuum correspondence that anchors the construction
The quantum sum-over-histories with BDG-weighted path integral suppresses non-manifold-like configurations (Kleitman-Rothschild posets), at least in 2D toy models; whether this generalizes to 4D is the central open question
2D causal set quantum gravity, as computed via path-integral simulations, reproduces structures resembling 2D physical space; this is structural consistency evidence for the construction

Spacetime is fundamentally discrete at the Planck scale (about 10^-35 meters), with no infinitely small points and no continuous trajectories at scales below the discreteness threshold
Order plus number equals geometry: the causal partial order alone encodes the conformal geometry (light-cone structure), and the element count in any region encodes its proper volume; together they determine the spacetime metric
A continuum Lorentzian spacetime arises as an approximation to a causal set when elements are sprinkled into the manifold via a Lorentz-invariant Poisson process at approximately one element per Planck volume
Topological features of spacetime (homology, cohomology, holes in higher dimensions) can in principle be defined and computed from purely combinatorial causal data; modern work since 2020 has refined how these topological invariants are extracted from causal sets

Where it breaks

Entropic dominance (Kleitman-Rothschild posets, see family-level objection 3). Whether the BDG action successfully suppresses non-manifold-like causal sets in the full quantum theory is unproven; if it does not, the quantum theory's predictions are dominated by structures with no continuum interpretation
Generalization beyond 2D. All existing path-integral simulations are in 2D. Whether the construction succeeds in 4D (the physically relevant case) is the central open computational question
The BDG action is constructed to reproduce the continuum limit, not derived from a deeper principle. Whether it captures the full quantum theory beyond the continuum limit, or is only an effective construction good for one purpose, is contested
Boundary terms. The original BDG action was defined for causal sets without spatial boundaries. Extensions to finite causal sets with boundaries have been worked out in follow-up papers; whether the boundary terms preserve the discrete-to-continuum correspondence is technically delicate

The Hauptvermutung (see family-level objection 1): the conjecture that a given causal set cannot approximate two macroscopically different smooth spacetimes is not proved in general. If it fails, the order-plus-number-equals-geometry slogan is not well-defined as a unique reconstruction
Kinematic only: this variant establishes what the fundamental structure is supposed to be, but does not say how the structure dynamically arises or evolves. The Sequential Growth and Quantum Dynamics variants address those questions, and neither is yet fully closed
Continuum approximation requires specific assumptions about element density (approximately one per Planck volume) that may need to be derived from a more fundamental theory rather than posited
Cross-program comparison: Loop Quantum Gravity (Ch.3, same chapter) treats discrete spatial geometry as fundamental; Causal Dynamical Triangulations discretizes spacetime as glued simplices. CST's distinctive commitment to causal order as primary is not universally accepted; the alternative discrete-spacetime programs treat it as one option among several

Key unresolved problem

The chaos-overwhelm problem: random networks are vastly more often crumpled nonsense than smooth spacetime, and no one has proven the theory's action suppresses those Kleitman-Rothschild jumbles enough to leave a sensible 4D universe.

The one-shape problem: the core conjecture, the Hauptvermutung, that a given network of events can map to only one smooth spacetime and not two different ones, has never been proved, so the order-plus-number-equals-geometry idea lacks a guarantee.

Reader vote

0% · 0 votes

100% · 1 vote