Smooth spacetime might emerge from a discrete causal web. Showing how is hard.
Continuum Correspondence
How smooth spacetime emerges from a bare causal set. Manifold sprinkling, dimension estimators, geodesic-ball volume counts, manifoldlike-locality criteria. The reconstruction problem is the technical bridge between fundamental discreteness and the continuum geometry we observe.
Looping ambient scene for Causal Set Theory. Causal Set Theory proposes that space and time are not smooth all the way down. The fundamental structure of the universe is a discrete partial order: a collection of elementary events ordered by which ones can causally influence which others. From a distance, this discrete web of cause-and-effect looks like a smooth Lorentzian spacetime, much as a pixelated image looks smooth when zoomed out. The foundational slogan is order plus number equals geometry: if you know which events causally precede which others (the partial order) and how many elements there are (the count), you have reconstructed the shape and size of spacetime up to a Lorentz-invariant random sprinkling. Bombelli, Lee, Meyer, and Sorkin's 1987 PRL is the foundational paper. The program has developed in five overlapping threads: classical stochastic dynamics for how a causal set grows (Rideout-Sorkin 1999), quantum dynamics via a discrete action (Benincasa-Dowker 2010 BDG action), continuum reconstruction (manifold sprinkling, Myrheim-Meyer dimension estimators), and empirical handles (Lorentz-invariant swerves, Sorkin's 1991 prediction of the cosmological constant magnitude). After almost 40 years the program is technically rich and structurally distinctive among quantum-gravity proposals, but unconfirmed empirically and unresolved on its foundational inverse problem.
§1 · The claim, in one sentence
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.
§2 · Why it might be true
The reconstruction problem is the technical bridge between fundamental discreteness and the continuum geometry we observe. The basic strategy is sprinkling-correspondence: a continuum Lorentzian manifold M induces a causal set by Poisson-sprinkling points into M at approximately one element per Planck 4-volume, with the causal relations among the sprinkled points serving as the partial order. The question is the reverse direction: given an abstract causal set, can we tell whether it came from a sprinkling of some manifold, and if so, can we recover the manifold? The variant develops the technical machinery for this reconstruction: dimension estimators that recover the spacetime dimension from combinatorial data (Myrheim-Meyer estimator from Meyer's 1989 MIT thesis), geodesic-ball volume counts that give local-volume information, and manifoldlike-locality criteria (Glaser-Surya 2013) that test whether a given causal set passes basic manifold-correspondence tests.
The literature here is somewhat diffuse by the nature of the program. The foundational reference is Bombelli-Lee-Meyer-Sorkin 1987, which already specified manifold sprinkling as the discrete-to-continuum bridge. The dimension estimator goes back to Meyer's 1989 MIT thesis, an unpublished work that the field has absorbed through citations rather than a canonical journal paper. The spatial-distance reconstruction techniques are associated with Bombelli-Noldus 2004. The modern state of the program is best captured in Surya's 2019 review, which consolidates both the tools and the open problems. A note on the formal sources on this page: some key works in this variant's literature exist as theses or preprints without a single canonical recent review, which is why the citations are sparser than for some other variants. The physics is not in dispute; the presentation is.
The Hauptvermutung (Fundamental Conjecture) is the variant's deepest open question. The conjecture says that two causal sets cannot be approximations of two macroscopically different smooth spacetimes simultaneously; equivalently, that the reconstruction is unique up to discreteness fluctuations. If the conjecture holds, the entire CST program works: causal sets encode unique spacetimes, and the smooth manifold approximation is well-defined. If it fails, the order-plus-number-equals-geometry slogan is ambiguous: a given causal set might correspond to multiple incompatible smooth spacetimes, and the theory's predictions become non-unique. Substantial work has tested the conjecture in low-dimensional and symmetric cases without finding counterexamples, but a general proof remains elusive. The variant's research character is honest about this: technically rich tools for reconstruction, deep foundational question still open after 38 years.
The family stance
Spacetime is fundamentally discrete. The continuum of general relativity is an emergent approximation to a finite causal set of elementary events at the Planck scale. Smooth geometry, distances, dimensions, and curvature can all be reconstructed from the causal partial order plus the element count. After almost 40 years of development the program has a complete kinematic framework (the causal set), a classical dynamics (sequential growth), a candidate quantum action (BDG), several continuum-reconstruction techniques, and two empirical handles (Lorentz tests, Λ fluctuations). The 1991 Sorkin prediction that Λ should be of order 10^-120 in Planck units agreed in order of magnitude with the 1998 dark-energy discovery seven years later. No proposal in the family has been confirmed observationally.
§2.5 · Evidence
- Bombelli-Lee-Meyer-Sorkin 1987 (cross-cited from primary variant) established the manifold-sprinkling correspondence and demonstrated that simple combinatorial estimators recover continuum dimensions for sprinklings of flat Minkowski and simple curved spacetimes
- Surya 2019 (cross-cited from primary variant) consolidates the modern reconstruction techniques and the manifoldlike-locality framework
- Glaser-Surya 2013 (47 cites, cross-cited from Quantum Dynamics) developed concrete operational criteria for testing manifoldlikeness; the criteria distinguish sprinklings of smooth manifolds from random Kleitman-Rothschild structures with high reliability in tests
- No counterexamples to the Hauptvermutung have been found in 38 years of work; the conjecture has survived extensive testing in low-dimensional and symmetric cases. Absence of counterexamples is structural evidence, not proof
§3 · What you'd need to test it
- 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
§4 · Where it breaks
- 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
Go deeper
Myrheim-Meyer dimension estimator: in a causal set sprinkled from d-dimensional Minkowski space, the ratio of the number of length-2 chains to the number of length-1 chains depends in a known way on the spacetime dimension d. Inverting this relation gives an estimator that recovers d from purely combinatorial data. The estimator is from Meyer's 1989 MIT PhD thesis, referenced in prose here as foundational without formal INSPIRE citation per Step 1 verification.
Manifold sprinkling: a Lorentz-invariant Poisson process distributes points into a continuum manifold M at density rho. The expected number of points in a region of M is rho times the proper 4-volume of the region. Because the Poisson process treats all spacetime regions equivalently (no preferred frame), the construction preserves Lorentz invariance.
Geodesic-ball volume counts: in a Lorentzian manifold, the proper volume of a small geodesic ball depends on the local scalar curvature; for a causal set sprinkled into the manifold, the count of elements within a 'causal interval' of given size is the discrete analogue. The relationship between the count and the continuum curvature underlies the BDG action's structure (Quantum Dynamics variant).
Hauptvermutung status: tested computationally in 2D and 3D for specific manifolds (Minkowski, de Sitter, simple FRW cosmologies) without finding counterexamples. The general proof would require showing that the map from continuum manifolds to causal sets is injective up to measure-zero exceptions; no general proof exists. The conjecture is the program's central foundational concern.
▸§5 · Who built it, and when(2 sources, 2 established)
Variants in this family
Compare variantsUp next
Spotted an error? Have a source to add?
Prefer email?
You can also send a prefilled email with the variant URL already filled in.