In potential outcome notation, a valid instrumental variable must satisfy:
In the graph, has open noncausal paths to that do not pass through , including
Equivalently, these paths remain after deleting the causal edge . Thus is associated with potential outcomes through the latent variables and , violating instrumental-variable independence; it is not a valid marginal instrument.
The no unmeasured confounding assumption, or conditional exchangeability, is
Also assume consistency of potential outcomes, no interference in causal inference, positivity in causal inference, and finite expectations. For , the law of total expectation, exchangeability, and consistency give
Positivity ensures that the observed conditional means exist on the covariate support being averaged. Subtracting the two cases identifies the average treatment effect as
Let indicate a recent birthday event, indicate a social gathering, and denote subsequent household COVID-19 infection. The standard instrumental variable conditions are:
The usual consistency in causal inference, well-defined exposure, and absence of relevant interference in causal inference are also needed to interpret the result causally.