Method glossary

Academy: the causal discovery methods behind our work.

A short technical reference for biostatistics leads and clinical teams: what each algorithm does, what it assumes, and when it makes sense to use it.

PC (Peter-Clark)

A causal discovery algorithm based on conditional independence tests that reconstructs a graph's structure from observational data.

The PC algorithm starts from a complete undirected graph and progressively removes edges between pairs of variables that turn out to be conditionally independent given some subset of the other variables. Each removed edge represents the absence of a direct causal relationship detectable in the available data. The result is a skeleton graph, whose remaining edges are then oriented using local rules (for example, identifying V-structures, or colliders) as far as the evidence allows.

The output is not a single DAG but a CPDAG (completed partially directed acyclic graph, representing a Markov equivalence class): a set of directed edges where the causal direction is unambiguously identifiable, and undirected edges where several orientations are equally compatible with the observed data. PC does not force a direction where the data do not determine one.

X ⊥⊥ Y | Z → remove edge X—Y from the skeleton

The key assumptions are faithfulness — the independencies observed in the data reflect the graph's structure rather than accidental cancellation of parameters — causal sufficiency — no unmeasured confounders among the included variables — and reliable conditional independence tests, which in practice require reasonable sample sizes as the number of variables grows.

We use it as a first exploratory step when a team has multiple candidate variables and wants a starting structural hypothesis, before refining it with domain knowledge.

GES (Greedy Equivalence Search)

A greedy search over the space of Markov equivalence classes that directly optimizes a penalized goodness-of-fit score.

GES explores the space of CPDAGs in two phases. In the forward phase it adds edges one at a time, accepting at each step the change that most improves a penalized score (typically BIC), until no addition improves the score further. In the backward phase it removes edges under the same greedy logic, refining the result of the forward phase.

Unlike PC, which decides edge by edge via independence tests, GES scores the overall quality of each candidate structure with a single statistical criterion. This tends to be more robust to accumulated errors from individual tests when the underlying model reasonably fits the chosen scoring criterion.

Under the usual assumptions (faithfulness, causal sufficiency, and a model family for which the score is consistent), GES converges asymptotically to the correct Markov equivalence class. The output, as with PC, is a CPDAG: the direction of some edges may remain undetermined.

We use it when an interpretable global score (BIC) is desirable and the variable set is moderate to large, where chaining many conditional independence tests — as PC does — would be more fragile.

LiNGAM (Linear Non-Gaussian Acyclic Model)

A linear non-Gaussian acyclic model that identifies causal direction by exploiting the statistical asymmetry of residuals, not just independence structure.

LiNGAM assumes each variable is a linear combination of its direct causes plus a noise term, and that this noise is non-Gaussian. That non-Gaussianity is the key ingredient: in a linear Gaussian model, cause and effect are statistically indistinguishable by symmetry, but with non-Gaussian residuals the correct causal direction leaves a detectable asymmetric statistical signature, typically recovered via independent component analysis (ICA).

Unlike PC and GES, which stop at an equivalence class, LiNGAM can identify a fully directed DAG from purely observational data, without needing additional researcher-imposed constraints to resolve edge orientation.

The cost of that stronger identifiability is a more restrictive assumption: linearity of the relationships and non-Gaussianity of all but at most one of the noise terms. When these assumptions do not hold reasonably well, the estimated direction can be wrong with apparent confidence.

It is useful when relationships are approximately linear and the distributions of the variables (or of residuals after a preliminary fit) clearly depart from normality — common in biological data with heavy tails or skew.

FCI (Fast Causal Inference)

In progress

An extension of PC that allows for latent, unmeasured confounders, without requiring the causal sufficiency assumption.

Intervention and do-calculus

In progress

A formal calculus for estimating the effect of hypothetical interventions from a causal graph and purely observational data.

Causal mediation

In progress

Decomposing a total effect into direct and indirect pathways through mediating variables.

Comparison of available methods

Assumptions, complexity, and robustness of the available causal discovery methods.
MethodAssumptionsComplexityRobustness
PC (Peter-Clark)
  • Causal sufficiency (no unmeasured confounders)
  • Faithfulness
  • Acyclicity
MediumSensitive to test errors in dense or high-dimensional graphs
GES (Greedy Equivalence Search)
  • Causal sufficiency
  • Faithfulness
  • Decomposable score (e.g. BIC)
HighMore stable than PC in finite samples, but computationally costly
LiNGAM (Linear Non-Gaussian Acyclic Model)
  • Linearity
  • Non-Gaussian noise
  • Causal sufficiency
  • Acyclicity
LowStrongly identifiable when non-Gaussianity holds; fails if the noise is Gaussian