Compare · The Nature of Space & Time

Sorkin's Causal Set Program vs Continuum Correspondence

Causal Set Theory· within family

	Sorkin's Causal Set Program Frontier	Continuum Correspondence Frontier
Proposed	1987	1987 / 2013-2019
Key figures	Luca Bombelli, Joohan Lee, David Meyer, Rafael Sorkin	David Meyer, Luca Bombelli, Lisa Glaser, Sumati Surya
In one sentence	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.	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	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	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	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	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 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.	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	100% · 1 vote	0% · 0 votes

Sorkin's Causal Set Program

1987 · Frontier

Continuum Correspondence

1987 / 2013-2019 · Frontier

Proposed

1987

1987 / 2013-2019

Key figures

Luca Bombelli, Joohan Lee, David Meyer, Rafael Sorkin

David Meyer, Luca Bombelli, Lisa Glaser, Sumati Surya

In one sentence

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.

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

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

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

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

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 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.

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

100% · 1 vote

0% · 0 votes