Instrumental Variables and the Sign of the Average Treatment Effect

This paper considers identification and inference about the sign of the average effect of a binary endogenous regressor (or treatment) on a binary outcome of interest when a binary instrument is available. In this setting, the average effect of the endogenous regressor on the outcome is sometimes referred to as the average treatment effect (ATE). We consider four different sets of assumptions: instrument exogeneity, instrument exogeneity and monotonicity on the outcome equation, instrument exogeneity and monotonicity on the equation for the endogenous regressor, or instrument exogeneity and monotonicity on both the outcome equation and the equation for the endogenous regressor. For each of these sets of conditions, we characterize when (i) the distribution of the observed data is inconsistent with the assumptions and (ii) the distribution of the observed data is consistent with the assumptions and the sign of ATE is identified. A distinguishing feature of our results is that they are stated in terms of a reduced form parameter from the population regression of the outcome on the instrument. In particular, we find that the reduced form parameter being far enough, but not too far, from zero, implies that the distribution of the observed data is consistent with our assumptions and the sign of ATE is identified, while the reduced form parameter being too far from zero implies that the distribution of the observed data is inconsistent with our assumptions. For each set of restrictions, we also develop methods for simultaneous inference about the consistency of the distribution of the observed data with our restrictions and the sign of the ATE when the distribution of the observed data is consistent with our restrictions. We show that our inference procedures are valid uniformly over a large class of possible distributions for the observed data that include distributions where the instrument is arbitrarily “weak.” A novel feature of the methodology is that the null hypotheses involve unions of moment inequalities.