  This paper studies inference for the local average treatment effect in
randomized controlled trials with imperfect compliance where treatment status
is determined according to "matched pairs." By "matched pairs," we mean that
units are sampled i.i.d. from the population of interest, paired according to
observed, baseline covariates and finally, within each pair, one unit is
selected at random for treatment. Under weak assumptions governing the quality
of the pairings, we first derive the limiting behavior of the usual Wald (i.e.,
two-stage least squares) estimator of the local average treatment effect. We
show further that the conventional heteroskedasticity-robust estimator of its
limiting variance is generally conservative in that its limit in probability is
(typically strictly) larger than the limiting variance. We therefore provide an
alternative estimator of the limiting variance that is consistent for the
desired quantity. Finally, we consider the use of additional observed, baseline
covariates not used in pairing units to increase the precision with which we
can estimate the local average treatment effect. To this end, we derive the
limiting behavior of a two-stage least squares estimator of the local average
treatment effect which includes both the additional covariates in addition to
pair fixed effects, and show that the limiting variance is always less than or
equal to that of the Wald estimator. To complete our analysis, we provide a
consistent estimator of this limiting variance. A simulation study confirms the
practical relevance of our theoretical results. We use our results to revisit a
prominent experiment studying the effect of macroinsurance on microenterprise
in Egypt.
