Compare · The Nature of Space & Time

Quantum Dynamics and the BDG Action vs Continuum Correspondence

← Back to Quantum Dynamics and the BDG Action

Causal Set Theory· within family

	Quantum Dynamics and the BDG Action Frontier	Continuum Correspondence Frontier
Proposed	2010 / 2013-2018	1987 / 2013-2019
Key figures	Fay Dowker, Dionigi Benincasa, Lisa Glaser, Sumati Surya	David Meyer, Luca Bombelli, Lisa Glaser, Sumati Surya
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.	If reality is fundamentally a discrete causal set, we must explain how the smooth spacetime of general relativity emerges. The Continuum Correspondence variant develops the mathematical tools to reconstruct distances, dimensions, volumes, and curvature from purely combinatorial causal data. The deep open question is the Hauptvermutung: whether the reconstruction is unique.
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	Simple combinatorial quantities (counts of certain suborder patterns) can approximate continuum geometric invariants like dimension, volume, and scalar curvature; the Myrheim-Meyer dimension estimator is the canonical example Causal sets sprinkled into smooth Lorentzian manifolds satisfy specific statistical patterns (Poisson distribution of element counts in given regions, characteristic order-pattern frequencies); these patterns are the empirical signature of 'manifoldlikeness' Different causal sets sprinkled into the same continuum manifold give approximately equivalent geometric reconstructions, with discreteness fluctuations of order 1/sqrt(N) where N is the local element count The Hauptvermutung holds: any given causal set is approximately a sprinkling of at most one macroscopically distinct smooth spacetime. This conjecture has not been proved in general; the variant's central open question
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	Much of the technical literature for this variant is shared with other causal-set variants rather than unique to continuum correspondence. This is a feature of the program's structure, not a weakness: the reconstruction tools are foundational infrastructure that all causal-set work depends on The Hauptvermutung remains unproved in general. If it fails, the order-plus-number-equals-geometry slogan is ambiguous and the entire program faces a foundational problem Most reconstruction techniques have been tested only in low-dimensional or highly symmetric cases. Whether they extend to realistic 4D causal sets is a research question Reconstruction is statistical: given a single finite causal set, the recovered geometric quantities have intrinsic fluctuations of order 1/sqrt(N). Whether these fluctuations are small enough for practical reconstruction in realistic cases depends on element-density assumptions
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 ambiguous-rebuild problem: rebuilding spacetime from a network of events is only trustworthy if each network fits at most one smooth geometry, the unproven Hauptvermutung, so in principle the reconstruction may not be unique.
Reader vote	No votes yet	No votes yet

Quantum Dynamics and the BDG Action

2010 / 2013-2018 · Frontier

Continuum Correspondence

1987 / 2013-2019 · Frontier

Proposed

2010 / 2013-2018

1987 / 2013-2019

Key figures

Fay Dowker, Dionigi Benincasa, Lisa Glaser, Sumati Surya

David Meyer, Luca Bombelli, Lisa Glaser, Sumati Surya

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.

If reality is fundamentally a discrete causal set, we must explain how the smooth spacetime of general relativity emerges. The Continuum Correspondence variant develops the mathematical tools to reconstruct distances, dimensions, volumes, and curvature from purely combinatorial causal data. The deep open question is the Hauptvermutung: whether the reconstruction is unique.

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

Simple combinatorial quantities (counts of certain suborder patterns) can approximate continuum geometric invariants like dimension, volume, and scalar curvature; the Myrheim-Meyer dimension estimator is the canonical example
Causal sets sprinkled into smooth Lorentzian manifolds satisfy specific statistical patterns (Poisson distribution of element counts in given regions, characteristic order-pattern frequencies); these patterns are the empirical signature of 'manifoldlikeness'
Different causal sets sprinkled into the same continuum manifold give approximately equivalent geometric reconstructions, with discreteness fluctuations of order 1/sqrt(N) where N is the local element count
The Hauptvermutung holds: any given causal set is approximately a sprinkling of at most one macroscopically distinct smooth spacetime. This conjecture has not been proved in general; the variant's central open question

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

Much of the technical literature for this variant is shared with other causal-set variants rather than unique to continuum correspondence. This is a feature of the program's structure, not a weakness: the reconstruction tools are foundational infrastructure that all causal-set work depends on
The Hauptvermutung remains unproved in general. If it fails, the order-plus-number-equals-geometry slogan is ambiguous and the entire program faces a foundational problem
Most reconstruction techniques have been tested only in low-dimensional or highly symmetric cases. Whether they extend to realistic 4D causal sets is a research question
Reconstruction is statistical: given a single finite causal set, the recovered geometric quantities have intrinsic fluctuations of order 1/sqrt(N). Whether these fluctuations are small enough for practical reconstruction in realistic cases depends on element-density assumptions

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 ambiguous-rebuild problem: rebuilding spacetime from a network of events is only trustworthy if each network fits at most one smooth geometry, the unproven Hauptvermutung, so in principle the reconstruction may not be unique.

Reader vote

No votes yet