Causal Set Theory

Replacing the spacetime continuum with a discrete partial order faithful to the causal structure

1. The Causal Set Hypothesis

Causal set theory, pioneered by Bombelli, Lee, Meyer, and Sorkin, rests on a simple but profound idea: the deep structure of spacetime is a locally finite partial order. A causal set $(\mathcal{C}, \preceq)$ is a set equipped with a partial order that is:

  • Reflexive: $x \preceq x$ for all $x \in \mathcal{C}$
  • Antisymmetric: $x \preceq y$ and $y \preceq x$ implies $x = y$
  • Transitive: $x \preceq y$ and $y \preceq z$ implies $x \preceq z$
  • Locally finite: $|\{z : x \preceq z \preceq y\}| < \infty$ for all $x, y$

The local finiteness condition is the key departure from the continuum: it implies a fundamental discreteness at the Planck scale. The number of causal set elements in a spacetime region determines its volume:

$$V(\mathcal{R}) \approx N(\mathcal{R})\,\ell_P^d$$

where $N(\mathcal{R})$ is the number of elements in region $\mathcal{R}$ and $d$ is the spacetime dimension. This is the โ€œorder plus number equals geometryโ€ motto.

2. The Hauptvermutung

The central conjecture (Hauptvermutung) of causal set theory states that the causal set faithfully encodes the continuum geometry. More precisely, a theorem by Malament shows that for distinguishing spacetimes, the causal order determines the conformal geometry:

$$g_{\mu\nu}(x) = \Omega^2(x)\,\tilde{g}_{\mu\nu}(x) \quad \Longleftrightarrow \quad J^+(p) = \tilde{J}^+(p)\;\;\forall\,p$$

The causal structure determines the metric up to a conformal factor $\Omega^2$. The missing volume information is then supplied by counting elements. The sprinkling process generates a causal set from a Lorentzian manifold $(M, g)$ by placing points via a Poisson process with density $\rho = 1/\ell_P^d$:

$$\text{Prob}(N \text{ points in } \mathcal{R}) = \frac{(\rho V)^N}{N!}\,e^{-\rho V}$$

The Hauptvermutung asserts that the resulting causal set uniquely determines $(M, g)$ up to isometry, with high probability for large enough sprinklings. This has been proven in various special cases.

3. Recovering Geometry: Dimension Estimators

A critical test of causal sets is recovering the spacetime dimension from purely order-theoretic data. The Myrheim-Meyer estimator uses the ratio of causal relations to elements. For $N$ elements sprinkled into a $d$-dimensional Alexandrov interval:

$$\frac{\langle R \rangle}{\binom{N}{2}} = \frac{\Gamma(d+1)\,\Gamma(d/2)}{4\,\Gamma(3d/2)}$$

where $R$ is the number of related pairs. For $d = 2$, this ratio is $1/4$; for $d = 4$, it is $4!/\sqrt{\pi} \cdot \Gamma(2)/(4\,\Gamma(6)) \approx 1/3$. Inverting this relation gives a dimension estimator purely from counting causal relations.

4. The Benincasa-Dowker Action

To formulate dynamics, one needs a discrete action. The Benincasa-Dowker (BD) action is a causal set analogue of the Einstein-Hilbert action. For a causal set $\mathcal{C}$ in $d = 2$ dimensions:

$$S_{\rm BD}^{(2)} = \sum_{x \in \mathcal{C}} \left(1 - 2\,N_1(x) + N_2(x)\right)$$

where $N_k(x)$ is the number of $k$-element chains in the past of $x$ (intervals of length $k$). In $d = 4$ dimensions, the action becomes:

$$S_{\rm BD}^{(4)} = \frac{1}{\ell_P^2}\sum_{x \in \mathcal{C}}\left(\alpha_0 + \alpha_1\,N_1(x) + \alpha_2\,N_2(x) + \alpha_3\,N_3(x)\right)$$

with specific coefficients $\alpha_k$ chosen so that $\langle S_{\rm BD}^{(4)} \rangle \to \int \sqrt{-g}\,R\,d^4x$ when averaged over sprinklings of a curved spacetime. The key result of Benincasa and Dowker is:

$$\langle S_{\rm BD}^{(d)} \rangle = \frac{c_d}{\ell_P^{d-2}}\int_M \sqrt{-g}\,\left(R + \mathcal{O}(\ell_P^2 R^2)\right)\,d^dx$$

5. Classical Sequential Growth Dynamics

Sorkin and Rideout proposed a stochastic dynamics for causal set growth: elements are โ€œbornโ€ one at a time, each new element choosing its causal past according to a probability distribution. The classical sequential growth (CSG) models satisfy general covariance (label invariance) and Bell causality. The transition probability for adding element $n+1$ to an $n$-element causet with past set $p$ is:

$$q_n(p) = \frac{t_{|p|}\,t_{n - |p|}}{t_n} \cdot \binom{n}{|p|}^{-1}$$

where $|p|$ is the cardinality of the past and $t_k$ are coupling constants. The full quantum dynamics would use a path sum over causets weighted by $e^{iS_{\rm BD}}$:

$$Z = \sum_{\mathcal{C}} e^{i\,S_{\rm BD}[\mathcal{C}]}$$

A remarkable prediction of causal set theory is a small but nonzero cosmological constant. Sorkin argued that spacetime discreteness at scale $\ell_P$ implies fluctuations in $\Lambda$ of order $\Lambda \sim 1/\sqrt{V_4}$, where $V_4$ is the 4-volume in Planck units. This gave a prediction of $\Lambda \sim 10^{-120}\,\ell_P^{-2}$ before the observational discovery of dark energy.

Simulation: Causal Set from Sprinkling

We generate a random causal set by sprinkling $N = 80$ points in a 1+1D Minkowski diamond, compute the causal relations, extract chain length statistics for dimension estimation, and evaluate the Benincasa-Dowker action:

Causal set sprinkling in 1+1 Minkowski space

Python
script.py151 lines

Click Run to execute the Python code

Code will be executed with Python 3 on the server

Rate this chapter: