因果集合
因果集合 (causal sets) プログラムは量子重力へのアプローチの一つである。これは、時空は本質的に離散的であり時空の事象はすべて半順序によって関連しているという仮定に基づいている。この半順序は時空の事象間の因果関係という物理的意味を持っている。
このプログラムはによる定理に基づいている。この定理は、もしそれらのを保存する二つの時空の間の全単射写像があるならば、その写像はであることを述べている。未定のは時空における体積と関係する。この体積因子は時空の各点のを規定することにより、正しい値を推定することができる。そのとき、時空領域の体積はその領域内の点の数を数えることにより見出すことができるであろう。
因果集合はによって創始された。彼はこのプログラムの主要な推進者であり続けている。彼は上述の議論を特徴付けるために、"順序 + 数 = 幾何"というスローガンを作った。このプログラムは、時空は局所を保つ一方で根本的に離散的であるような理論を与える。
因果集合 (causal set または causet) は、半順序関係 formula_1を持つ集合formula_2、すなわち 
ここで、card(formula_12) は集合formula_12の濃度 (cardinality) を表す。以後、formula_14 かつ formula_15ならば、formula_16と書く。
集合formula_2は時空のの集合を表し、順序関係formula_1は事象間の因果関係を表す。（ローレンツ多様体における類似の概念についてはも参照のこと。）
この定義は反射の慣習を用いているが、順序関係が非反射である非反射の慣習を選ぶこともできるだろう。（閉じたのない）の因果関係は最初の三つの条件を満たす。それらは時空の離散性を導く局所有限条件である。
ある因果集合が与えられたとき、それをに"埋め込む"ことができるであろうか。埋め込みとは、因果集合の要素を因果集合の順序関係が多様体の因果順序に適合するように多様体の中に入れる写像である。しかしながら、埋め込みが適切である前にさらなる基準が求められる。もし、平均として、多様体のある領域に写像される因果集合要素の数がその領域の体積と比例するなら、その埋め込みは"忠実である (faithful) "と言われる。この場合、その因果集合は'多様体様 (manifold-like) 'であると見なすことができる。
因果集合プログラムへの中心的な予想は、同じ因果集合は大きなスケールで類似していない二つの時空へ忠実に埋め込むことはできないというものである。これは'基本予想' (fundamental conjecture) を意味する "" と呼ばれる。二つの時空が'大きなスケールで類似する'ときを決定するのが困難なため、この予想を厳密に定義することは困難である。
時空を因果集合としてモデル化することは、われわれの関心をこのような'多様体様'の因果集合に制限することを要求するだろう。
ある因果集合をある多様体に埋め込むことができるかどうかを決定することの困難には逆方向からアプローチすることができる。ローレンツ多様体上へまき散らした点によって因果集合を作ることができる。その時空領域の体積に比例する数の点をまき散らし、それらの点の間の順序関係を誘導するために多様体上の因果順序関係を用いることによって、（構成によって）その多様体に忠実に埋め込むことのできる因果集合を生成することができる。
ローレンツ不変性を保つために、これらの点はポアソン過程を用いてランダムにまき散らされなければならない。このように、formula_19個の点を体積formula_20の領域上まき散らす確率は
formula_21
である。ここで、formula_22はまき散らしの密度である。
ある正則格子上への点のまき散らしでは、点の数とその領域の体積の比例関係は保たれないであろう。
多様体におけるいくつかの幾何的な構成を因果集合に適用することができる。これらを定義したとき、因果集合が埋め込まれる可能性のある背景のどの時空にも基礎をおくのではなく、因果集合自身のみに基礎をおくことに注意が必要である。これらの構成の概要は脚注を参照のこと。
ある因果集合内の"リンク (link) "とは、formula_16となる一対の要素formula_24で、formula_25となるformula_26は持たない。
"チェーン (chain) "とは、formula_27についてformula_28となる要素の列formula_29である。チェーンの長さformula_19は使われた関係の数である。
これは二つの因果集合要素の間の測地線を定義するために用いることができる。二つの要素formula_5間の測地線は次の条件を持つリンクのみで構成されたチェーンである：
一般的には、二つの要素の間に一つ以上の測地線が存在する。
Myrheimは、そのような測地線の長さは二つの時空点を結ぶあるに沿った固有時に直接比例するべきであることを最初に示唆した。平坦な時空にまき散らされて生成された因果集合を用いて、この予想の検証がなされている。この比例関係が成立することは示され続けてきており、曲がった時空にまき散らされた因果集合でも同様に成り立つことが予想されている。
ある因果集合の多様体次元を推定するための多くの研究がなされている。これには、忠実に埋め込むことのできる多様体の次元を与えることを目的としている因果構造を用いるアルゴリズムを含む。 このアルゴリズムは今までのところ、因果集合を忠実に埋め込むことのできるミンコフスキー時空の次元を見つけることに基づいて開発されている。
このアプローチは、formula_37-次元ミンコフスキー時空にまき散らされた因果構造内に存在するformula_38-長のチェーンの数の推定に基づいている。次に、因果構造内のformula_38-長のチェーンの数を数えることで、formula_37について推定することができる。
このアプローチは、ミンコフスキー時空内の二点間の固有時とその二点間のの体積との関係に基づいている。（固有時を推定するために）二点formula_35とformula_36の間の最大チェーン長を計算し、（時空間隔の体積を推定するために）formula_25となる要素formula_44の数を数えることで、時空の次元を計算することができる。
これらの推定方法はformula_37-次元ミンコフスキー空間へ高密度でまき散らされることで生成された因果集合の正しい次元を与えるべきである。な時空における検証は、これら二つの方法が正確であることを示している。
因果集合の正しい動力学を開発する課題が進行中である。これらは、どの因果集合が物理的に現実的な時空に一致するかを決定する規則の集合を与えるであろう。因果集合動力学を開発する最も有名なアプローチは量子力学の"歴史の和 (sum-over-histories) "による立場に基づいている。このアプローチは、因果集合の一要素を同時に"成長 (growing) "させることによって"因果集合の和 (sum-over-causal sets) "を実行しうる。各要素は量子力学の規則に従って足し合わされ、干渉は大きな多様体様の時空がその貢献に最も重要であることを確かにするであろう。当面のところ最も良い動力学モデルは各要素が確率に従って足し合わせられる古典モデルである。このモデルはDavid Rideoutとによるもので、"古典逐次成長力学" (classical sequential growth : CSG) 動力学として知られている。古典逐次成長力学モデルは新しい要素を次々と足し合わせていくことで因果集合を生成する方法である。新しい要素をどのように足し合わせていくかの規則が規定されており、モデルのパラメータに依存して異なる因果集合を生じる。