This post is a follow-up to Basic causal inference via string diagrams. I apply the diagrammatic method outlined there to a (not so) simple problem of causal identifiability.

Diagrammatic causal inference (contd) : the new napkin problem

In The Book of Why, Judea Pearl gives an example of a causal effect that cannot be identified using either the frontdoor or the backdoor criteria, but requires the do-calculus to estimate. The problem is called the new napkin problem, in reference to an earlier problem that Pearl had solved on a napkin using the do-calculus.

The effect to estimate is $p(y|do(x))$ in the following causal model, which I draw below as a dag and as a string diagram, following the translation explained in the previous post:

Unfortunately, this time I do not have a story to motivate the model, nor does The Book of Why give one. The authors also leave open the question of whether $p(y|do(x))$ can be identified, that is, expressed in terms of purely observational data.

It turns out that $p(y|do(x))$ is identifiable and, in this follow-up post, I would like to re-derive the expression for $p(y|do(x))$, without using the do-calculus. I could not find a purely probabilistic argument anywhere, so I'm hoping this second post helps those who would like to see a derivation using only the usual rules of probability theory (and it was a nice exercise in causal inference). The proof below makes use of string diagrams, but these diagrammatic proofs are easy to translate to standard probabilistic notation. The diagrams are helpful visual guides that allow us to work both with the probabilistic data and the causal flow of information at the same time.

A short do-calculus derivation of $p(y|do(x))$ can be found in this stackexchange answer by Carlos Cinelli. Their proof uses the backdoor adjustment formula as a lemma, albeit in a more general form than the one I gave in the previous post. This more general backdoor formula can also be derived in a few lines of do-calculus, but I will now derive it without it, in a few lines of diagrammatic calculus!

Backdoor adjustment revisited

In the previous post, I gave a rather simplified account of the backdoor adjustment, because I assumed that all variables were observed. In fact, it is obvious that, when there are no latent variables, all causal effects can be estimated from observational data. However, the backdoor formula also comes up in situations where there are unobserved variables. Let me explain this more interesting case via the same smoking example.

Going back to the smoking model of the previous post, suppose that we now want to estimate the causal effect of tar deposits in the lungs on cancer. That is, rather than $p(c|do(s))$, for which we developed the frontdoor formula, we want to estimate $p(c|do(t))$ in the same causal model, which we reproduce below:

Once again, the interventional probability $p(c|do(t))$ is not simply the conditional $p(c|t)$ because of confounding factors, namely the hidden common cause $H$, now mediated by $S$. This can be seen in the following diagram for $p(c|do(t))$, which we obtain following the same approach as in the previous post:

To identify $p(c|do(t))$, we need to rewrite this diagram in a form that does not contain the unobserved $H$. To do this, we adopt a similar strategy as when we derived the frontdoor adjustment formula: we want to find a (set of) variable(s) $V$ such that $T\bot H|V$ and $V\bot C|T,H$. The most probable candidate is $S$, which turns out to work!

The intuition is that $S$ blocks all confounding paths between $T$ and $C$.

In probabilistic notation, we have shown that $p(c|do(t)) = \displaystyle\sum_s p(c|t,s)p(s)$ a formula we call (B).

Solution of the new napkin problem

We are now ready to tackle the new napkin problem itself. First, I would like to note that the intuition for the proof below was guided by the corresponding do-calculus derivation. One of the point I'm making here is that it is possible (whether it is desirable is another question) to translate these do-calculus proofs to standard probabilistic arguments.

Following the methodology of the previous post, let's draw $p(y|do(x))$ as a diagram:

As there is an occurence of the unobserved quantity $U_1$ remaining in the diagram/expression on the right, we cannot compute the desired causal effect directly. It is also not clear how we could apply the same method as in the previous post. The aim is to make all unobserved variables disappear. Previously, we did that by appealing to certain conditional independences implied by the causal model. In this case, we do not see immediately which of these independence conditions might save us.

The key idea at this point is the following: while it is not clear how to compute the intervention at $X$ we already know how to compute interventions at $Z$, via the backdoor formula. To see this, notice that the models of the previous section and that of the new napkin problem have a similar structure if we squint enough, i.e. if we identify $S$ with $Z$, $X,Y$ jointly with $T$ and $H$ with $U_1$ and $U_2$ jointly:

Thus, it is not difficult to see that interventions at $Z$ in the new napkin problem follow the same pattern. In particular, we will care about $p(y,x|do(z))$ (we will see why shortly). We can therefore apply the backdoor adjustment formula $(B)$ to this new model:

Why is this formula useful? We want to deduce what would happen if we intervened at $X$ and observed $Y$, from what would happen if we intervened at $Z$ and observed $X$ and $Y$, because interventions at $Z$ are easy to compute.

First, notice that if intervene at $Z$ then all confounders–the common causes $U_1$ and $U_2$–for the causal effect of $X$ on $Y$ are blocked. This explains why intervening at $Z$ is helpful: given that we intervene at $Z$ (and therefore block all confounders for the causal effect of $X$ on $Y$), the causal effect of $X$ on $Y$ can be estimated from observational data. In other words, we claim that intervening at $Z$ and $X$ and observing $Y$ is the same thing as intervening at $Z$ and observing $Y$, conditional on $X$. In do-notation, $p(y|do(x),do(z))=p(y|x,do(z))$. And the latter can be estimated from $p(y,x|do(z))$, which we already have as $(B)$.

Another way to get to same intuition is to notice that if we take the diagram for $p(y|do(x))$ and compose it with $p(x|do(z))$, we get that of $p(y,x|do(z))$. This suggests the following derivation:

In the end, we have shown that $\displaystyle\sum_w p(y,x|z,w)p(w) = p(y|do(x)) \displaystyle\sum_w p(x|z,w)p(w)$. If $\displaystyle\sum_p(x|z,w)p(w)$ is invertible (and in causal inference, we assume positivity of the probabilities involved most of the time), we can conclude that

There we have it: a probabilistic solution of Pearl's new napkin problem.

What next?

There is more to causal inference than causal identifiability. As I have been meaning to keep climbing Pearl's ladder of causation, I might cover counterfactuals in a subsequent blog post. As far as I know, anyone has yet to write about counterfactuals from the diagrammatic point of view. Stay tuned.