Past exam of the mathematics course of the University of Cambridge / 2022 / iii / Paper 221 / 1 / i / Solution

In potential outcome notation, a valid instrumental variable $Z$ must satisfy:

In the graph, $Z_1$ has open noncausal paths to $Y$ that do not pass through $A$, includingEquivalently, these paths remain after deleting the causal edge $A\to Y$. Thus $Z_1$ is associated with potential outcomes through the latent variables $C$ and $S$, violating instrumental-variable independence; it is not a valid marginal instrument.