Author's Notes: This post is fairly technical, with little background and minimal examples; it is not recommended for general consumption. A general understanding of causal models is assumed. This post is probably most useful when read alongside the paper. If your last name is "Beckers" or "Halpern", you might want to skip to the last section.
There’s been a handful of papers in the last few years on abstracting causal models. Beckers and Halpern (B&H) wrote an entire paper on definitions of abstraction on causal models. This post will outline the general framework in which these definitions live, discuss the main two definitions which B&H favor, and wrap up with some discussion of a conjecture from the paper. I'll generally use notation and explanations which I find intuitive, rather than matching the paper on everything.
In general, we’ll follow B&H in progressing from more general to more specific definitions.
We have two causal models: one “low-level”, and one “high-level”. There’s a few choices about what sort of “causal model” to use here; the main options are:
B&H use the first, presumably because it is the most general. That means that everything here will also apply to the latter two options.
Notation for the causal models:
Next, we need some connection between the high-level and low-level model, to capture the intuitive notion of “abstraction”. At its most general, this connection has two pieces:
Note that, for true maximum generality, both τ and ω could be nondeterministic. However, we’ll generally ignore that possibility within the context of this post.
Finally, the key piece: the high-level and low-level models should yield the same predictions (in cases where they both make a prediction). Formally:
For the category theorists: this means that we get the same distribution by either (a) performing an intervention on the low-level model and then applying τ to XL, or (b) first applying τ to XL, then applying the high-level intervention (found by transforming the low-level intervention via ω).
The first definition of “abstraction” examined by B&H is basically just this, plus a little wiggle room: they don’t require all possible interventions to be supported, and instead include in the definition a set of supported interventions. This definition isn’t specific to B&H - it’s an obvious starting point for defining abstraction on causal models as broadly as possible. B&H adopt this maximally-general definition from Rubenstein et al, and dub it “exact transformation”.
B&H then go on to argue that this definition is too general for most purposes. I won’t re-hash their arguments and examples here; the examples in the paper are pretty readable if you’re interested. They also introduce one slightly stronger definition which I will skip altogether; it seems to just be cleaning up a few weird cases, without any major conceptual additions.
The main attraction in B&H is their definition of “τ-abstraction”. The main idea in jumping from the maximally-general framework above to τ-abstraction is that the function τ mapping low-level variables to high-level variables induces a choice of mapping between interventions; there’s no need to leave the choice of ω completely open-ended.
In particular, since XH=τ(XL) by definition, it seems like τ should also somehow relate XH∗ to XL∗ in the interventions XLSL←XL∗SL and XHSH←XH∗SH. The obvious condition is XH∗=τ(XL∗). However, the interventions themselves only constrain XH∗ and XL∗ at the indices SH and SL respectively, whereas τ may depend on (and determine) the variables at other indices.
One natural condition to impose: each value of XH∗ consistent with the high-level intervention should correspond to at least one possible value of XL∗ consistent with the corresponding low-level intervention, and each possible value of XL∗ consistent with the low-level intervention should produce a value of XH∗ consistent with the high-level intervention. More formally: if our intervention values are XH∗SH=xH∗ and XL∗SL=xL∗, then we want equality between sets:
This is the main criterion B&H use to define the “natural” mapping between interventions ωτ. (The exact definition given by B&H is a bit dense, so I won’t walk through the whole thing here.)
Armed with a natural transformation ωτ between low-level and high-level interventions, the next step is of course to define a notion of abstraction: modulo some relatively minor technical conditions, a τ-abstraction is an abstraction consistent with our general framework, and for which ω=ωτ.
One more natural step: A “strong” τ-abstraction is one for which all interventions on the high-level model are allowed.
In practical examples of abstraction, the high-level variables XH usually don’t all depend on all the low-level variables XL. Usually, the individual high-level variables XHi can each be calculated from non-overlapping subsets of the variables XL. In other words: we can choose a partition σ of the low-level variables and break up τ such that
Also including all the conditions required for a strong τ-abstraction, B&H call this a “constructive” τ-abstraction.
The interesting part: B&H conjecture that, modulo some as-yet-unknown minor technical conditions, any strong τ-abstraction is constructive.
I think this conjecture is probably wrong. Main problem: constructive τ-abstraction doesn’t handle ontology shifts.
My go-to example of causal abstraction with an ontology shift is a fluid model (e.g. Navier Stokes) as an abstraction of a particle model with only local interactions (e.g. lots of billiard balls). In this case, we have two representations of the low-level system:
The two are completely equivalent; each contains the same information. Yet they have very different structure:
In this case, the high-level fluid model is a constructive abstraction of the Eulerian representation, but not of the Lagrangian representation: the high-level model only contains interactions which are local in both time and space.
Conceptually, the problem here is that our graph can have dynamic structure: the values of the variables themselves can determine which other variables they interact with. When that happens, an ontology shift can sometimes make the dynamic structure static, as in the Lagrangian -> Eulerian transformation. But that means that a constructive τ-abstraction on the static structure will not be a constructive τ-abstraction on the dynamic structure (since the partition would depend on the variables themselves), even though the two models are equivalent (and therefore presumably both are τ-abstractions).
This does leave open the possibility of weakening the definition of a constructive τ-abstraction to allow the partition σ to depend on XL. Off the top of my head, I don’t know of a counterexample to the conjecture with that modification made.