Why Weak-Instrument Inference Needs Special Care
Instrumental variables can identify a causal effect when the instrument is valid and changes treatment, but the precision of the estimate depends strongly on how much treatment the instrument shifts. When that first-stage shift is small relative to its uncertainty, the ratio underlying the IV estimate is unstable. A conventional 2SLS standard error and confidence interval can then give a misleading impression of how much the data say about the effect.
This tutorial uses a small hypothetical study with a binary instrument \(Z\), a binary treatment \(D\), and an outcome \(Y\) measured in days. The target is an effect in days per treatment unit. The numerical analysis focuses on weak-instrument inference; interpreting the estimate causally still requires the usual IV conditions. In particular, the instrument must be relevant, independent of potential outcomes and treatment types, and affect the outcome only through treatment. For a local average treatment effect interpretation with a binary instrument and treatment, monotonicity is also required.
For a binary instrument, the first stage can be summarized by the difference in treatment proportions between the two instrument groups. With one instrument and no additional covariates, the usual first-stage partial \(F\) statistic equals the square of the first-stage \(t\) statistic. A small \(F\) value is a warning that conventional 2SLS inference may be unreliable. A rule such as \(F<10\) is sometimes used as a rough signal, not as a universal boundary that guarantees valid or invalid inference.
A Hypothetical Study and Its First Stage
Suppose 40 participants are assigned to \(Z=0\) or \(Z=1\). In this hypothetical study, treatment uptake is estimated to be 0.20 higher in the \(Z=1\) group, with standard error 0.10256. The reduced-form difference in mean outcome is 0.78 days. These contrasts give a Wald estimate of \(0.78/0.20=3.90\) days per treatment unit. The full hypothetical analysis also reports a conventional 2SLS variance estimate of 3.56, so its standard error is \(\sqrt{3.56}\) days per treatment unit.
Worked Example: Diagnosing the First Stage
Calculate the first-stage \(t\) statistic and partial \(F\) statistic, and assess the evidence that the instrument shifts treatment.
The estimated first-stage difference is 0.20 and its standard error is 0.10256. Thus,
With one instrument and no covariates, the first-stage test has \(df=40-2=38\). Its two-sided \(p\)-value is approximately 0.05858. The estimate is in the direction of greater treatment uptake when \(Z=1\), but it is imprecise; the first-stage evidence is weak by common diagnostic standards. This does not prove the instrument is irrelevant. It indicates that estimates relying on the first stage may be unstable, so conventional 2SLS inference should not be treated as decisive.
The \(F\) statistic diagnoses strength; it does not establish instrument validity. Nor does a first-stage \(p\)-value just above 0.05 imply that the instrument should be discarded while a value just below 0.05 makes it safe. In a small study, report the estimate and uncertainty in a way that reflects the weak first stage rather than using a threshold as a switch.
Conventional 2SLS Inference
A conventional 2SLS analysis reports an estimate, an estimated standard error, and a \(t\)-based interval. Under strong identification and the usual regularity conditions, this approximation can work well. Under weak identification, the ratio structure of IV estimation can produce a skewed, heavy-tailed, or otherwise non-normal sampling distribution. In that setting, a familiar-looking standard error does not ensure a reliable interval.
Worked Example: A Conventional 2SLS Interval
For this hypothetical study, the Wald/2SLS estimate is 3.90 days per treatment unit and the reported conventional variance estimate is 3.56. Calculate the standard error, test statistic for a zero effect, and a conventional 95% confidence interval, using \(df=38\).
The standard error is
The conventional test statistic for \(H_0:\beta=0\) is
With \(df=38\), the two-sided \(p\)-value is approximately 0.0456. The 95% \(t\)-critical value is approximately 2.024, giving
Under the conventional model-based calculation, the interval excludes zero. Its repeated-sampling interpretation is that the procedure is designed to cover the true effect in 95% of repeated samples when its assumptions and approximation are adequate. It is not a statement that there is a 95% probability that this fixed parameter lies in this particular interval.
The first-stage \(F=3.8025\) makes the adequacy of that conventional approximation doubtful. Therefore the nominal interval and \(p\)-value should be reported as conventional results, not as the only or necessarily reliable account of uncertainty.
Anderson–Rubin Inference
The Anderson–Rubin (AR) approach tests a proposed treatment effect directly, without first relying on the usual approximate sampling distribution of the 2SLS ratio. For a candidate value \(\beta_0\), form the transformed outcome \(Y_i-\beta_0D_i\), then test whether it is associated with the instrument. Under the null \(H_0:\beta=\beta_0\), the transformed outcome has no instrument effect if the structural model and instrument conditions hold.
In a simple linear model with an intercept, one binary instrument, independent normal errors, and constant variance, the test can be performed as a \(t\) test of the instrument coefficient in a regression of \(Y-\beta_0D\) on \(Z\). With 40 observations and no covariates, the residual degrees of freedom are 38. The finite-sample \(t\) reference distribution is exact under those normal, homoskedastic model assumptions. With non-normal or heteroskedastic errors, this exact small-sample justification need not apply; the test procedure and its reference distribution must match the assumptions used for inference.
A key feature is that the AR test remains valid under weak identification under its maintained model assumptions: its null test does not divide by an estimated first-stage effect. It may, however, yield a very wide or unbounded confidence set. That is not a computational defect; it can correctly reflect that the data do not pin down the effect precisely.
Worked Example: Testing a Zero Effect With Anderson–Rubin
For the candidate \(\beta_0=0\), the transformed outcome is \(Y_i-0D_i=Y_i\). In the hypothetical study, the AR instrument test statistic is 1.950 with \(df=38\). Its two-sided \(p\)-value is
At \(\alpha=0.05\), the test does not reject \(H_0:\beta=0\), since \(0.05858>0.05\). This is not proof that the effect is zero; it means the AR test does not reject that candidate at the 5% level. The result differs from the conventional 2SLS \(p\)-value of 0.0456. Both calculations test a zero-effect null, but the conventional approximation is more vulnerable to weak identification, while the AR test is designed to retain its validity under weak identification given its model assumptions.
Inverting the AR Test
To obtain a 95% AR confidence set, test candidate effects at the 5% level and retain all values for which the AR test does not reject. The stated reduced-form and first-stage contrasts determine the transformed-outcome contrast, but the regression summaries given here do not include the covariance needed to calculate its standard error across candidate values. The acceptance condition is
The candidate-specific variance depends on the covariance between the estimated reduced-form and first-stage contrasts:
The covariance needed to calculate the candidate-specific standard error is not reported, so the roots and numerical AR confidence set cannot be determined from the summaries given here. The conventional 2SLS interval \((0.080,7.720)\) is bounded and excludes zero, but a numerical AR set cannot be compared with it without the missing regression information.
Worked Example: Checking Candidate Values Against the AR Set
At \(\beta=0\), the AR test does not reject, as its \(p\)-value is 0.05858. At \(\beta=3.90\), the transformed-outcome contrast is
Thus the AR regression has a zero instrument coefficient at this candidate, its test statistic is zero, and its two-sided \(p\)-value is 1. The candidate \(\beta=3.90\) is therefore retained at the 5% level. Whether \(\beta=150\) is retained, and the full shape of the confidence set, cannot be determined without the missing covariance information.
Diagnostics, Comparisons, and Limitations
A careful report should put the first-stage evidence beside the effect estimates and specify which inference procedure is being used. For a single instrument, report the first-stage estimate, its standard error, the \(t\) statistic, and the corresponding partial \(F\) statistic. Inspect the data and model fit for unusual observations or violations of the assumed variance structure. With one instrument, an overidentification test is unavailable: there are no extra instruments whose restrictions can be compared against the identifying restrictions.
| Approach | What it reports | Weak-instrument concern |
|---|---|---|
| Conventional 2SLS inference | Estimate, standard error, and usually a \(t\)-based interval | Its usual approximation may be unreliable when the first stage is weak. |
| Anderson–Rubin inference | A test for each candidate effect and the set of candidates not rejected | It is robust to weak identification under its maintained assumptions, but the set can be wide, unbounded, or disconnected. |
Neither method repairs an invalid instrument. Anderson–Rubin inference addresses uncertainty from weak identification; it does not make the independence, exclusion, or other causal assumptions more plausible. Likewise, a large first-stage \(F\) statistic addresses relevance strength, not exclusion or independence. Small samples also make it important to consider the assumptions behind the test reference distribution, including normality and constant variance in the exact \(t\)-test calculation described here.
Common Mistakes
- Treating a first-stage \(p\)-value as a validity test. A weak first stage signals uncertain identification strength; it does not test whether the instrument is independent of potential outcomes or satisfies exclusion.
- Reporting only the conventional interval. A narrow interval can be misleading when the first stage is weak. Report weak-IV-robust inference as well, and explain its shape.
- Calling a non-rejection evidence that the effect is zero. The AR test's \(p=0.05858\) means zero is not rejected at the 5% level, not that the null is true.
- Assuming a confidence set must be one bounded interval. Inverting a test can produce disconnected or unbounded sets. Include all accepted values rather than forcing them into one interval.
- Confusing instrument strength with instrument validity. A strong association with treatment does not establish the exclusion restriction or independence.
Check Your Understanding
Answer each question, then compare your reasoning with the solutions below.
- If a first-stage \(t\) statistic is 2.4 with one instrument, what is the partial \(F\) statistic?
- What does an AR \(p\)-value of 0.05858 imply at \(\alpha=0.05\) for the zero-effect null?
- Why can a weak-IV-robust confidence set be unbounded or disconnected?
- Does a strong first stage establish that an instrument satisfies exclusion? Explain.
- For \(q(\beta)\leq0\) with a negative leading coefficient and roots 2 and 9, which values are retained?
Solutions. (1) \(F=t^2=(2.4)^2=5.76\). (2) Do not reject the zero-effect null at the 5% level, because \(0.05858>0.05\); this is not proof that the effect is zero. (3) Weak identification may leave a broad range of candidate effects consistent with the data. Inverting the test retains every non-rejected candidate, which can form multiple regions or extend without bound. (4) No. First-stage strength concerns relevance; exclusion is a separate causal assumption about whether the instrument affects the outcome only through treatment. (5) A downward-opening quadratic is non-positive outside its roots, so the retained set is \((-\infty,2]\cup[9,\infty)\).