Why the Instrument Contrast Matters
With one binary instrument, a Wald ratio can identify a local average treatment effect for people whose treatment changes when the instrument changes, under suitable assumptions. With several binary instruments, “the instrument changes” is not a complete description. One must specify which instrument changes and what values the others are held at. Different choices can induce treatment changes among different people, so they can define different causal effects.
This tutorial develops that contrast-specific interpretation. It does not presume a single complier population shared by all instruments. Instead, each effect is indexed by a particular change in one instrument at a fixed setting of the others.
Defining a Contrast-Specific Complier Population
Let \(Z=(Z_1,\ldots,Z_K)\) be a vector of \(K\) binary instruments, and let \(D\) be a binary treatment. Write \(D(z)\) for the treatment a person would receive under instrument vector \(z\). Write \(Y(1)\) and \(Y(0)\) for that person’s outcomes under treatment and control. The exclusion restriction means the instruments affect the outcome only through treatment, so the outcome under assignment \(z\) is \(Y(D(z))\).
Select an instrument \(j\), and fix a setting \(a\) of all the other instruments, denoted \(Z_{-j}=a\). The contrast compares \(z_j=0\) with \(z_j=1\), holding \(Z_{-j}=a\) constant. Define \(D(1,a)\) and \(D(0,a)\) as the potential treatments under those two instrument vectors.
The other two possible treatment-response patterns for this contrast are always-takers, with \(D(1,a)=D(0,a)=1\), and never-takers, with \(D(1,a)=D(0,a)=0\). A defier has \(D(1,a)=0\) and \(D(0,a)=1\). The contrast-specific monotonicity assumption rules out defiers for this particular contrast; it does not by itself say anything about treatment responses at other settings of the instruments.
Assumptions and Identification
The following assumptions give the contrast-specific Wald ratio its causal interpretation. They concern the instrument vector and the selected contrast, not merely the name of an instrument.
- Consistency and no interference: A person assigned \(Z=z\) receives \(D(z)\) and has observed outcome \(Y(D(z))\); one person’s assignment does not alter another person’s outcome.
- Exclusion: The outcome under an instrument assignment is \(Y(D(z))\). In particular, changing \(Z_j\) cannot directly change the outcome while treatment is held fixed.
- Joint instrument independence: \(Z\) is independent of the full collection of potential treatments \(\{D(z)\}\) and potential outcomes \(\{Y(0),Y(1)\}\). In a conditional design, the corresponding independence assumption may instead hold conditional on covariates.
- Contrast-specific monotonicity: \(D(1,a)\geq D(0,a)\) for every person. This excludes defiers for the selected contrast.
- Support and relevance: Both instrument configurations \((1,a)\) and \((0,a)\) occur with positive probability, and \(E[D(1,a)-D(0,a)]>0\). Support makes the observed contrast available; relevance ensures that it shifts treatment.
Under these conditions, the population outcome and treatment contrasts among the two instrument cells identify the LATE for \(C_j(a)=1\). The justification follows directly from the potential outcomes.
The first equality uses consistency and joint independence: within each instrument cell, the observed conditional mean equals the mean under that assignment. For the second, binary treatment and exclusion imply that an outcome changes only when the treatment changes. Under monotonicity, \(D(1,a)-D(0,a)\) is exactly the complier indicator, which gives the third equality. Applying the definition of a conditional mean gives the last equality. The same argument without the outcome replaces \(Y(D)\) by \(D\):
Dividing the outcome contrast by this positive first-stage contrast yields the identifying formula:
This formula is a population identification result. In a sample, cell means and the corresponding Wald ratio estimate its components; sampling uncertainty does not disappear simply because the assumptions hold.
Worked Example: A LATE for One Specified Contrast
Suppose a hypothetical randomized study has two binary instruments, \(Z_1\) and \(Z_2\). Consider the contrast that changes \(Z_1\) from 0 to 1 while holding \(Z_2=0\). The outcome is a test score in points. Assume consistency, no interference, exclusion, joint random assignment, and monotonicity for this contrast. The population cell means are:
| Instrument setting | Mean treatment \(D\) | Mean outcome \(Y\) (points) |
|---|---|---|
| \(Z_1=0,\ Z_2=0\) | 0.20 | 70.0 |
| \(Z_1=1,\ Z_2=0\) | 0.35 | 72.4 |
Both settings have positive probability, and the first-stage contrast is positive:
Thus the contrast is relevant, and under monotonicity it identifies a complier share of 0.15. The reduced-form outcome contrast is \(72.4-70.0=2.4\) points. The Wald ratio is
In this hypothetical population, the average causal effect of treatment is 16.0 test-score points among people whose treatment changes when \(Z_1\) changes from 0 to 1 at \(Z_2=0\). It is not, from this calculation alone, the average effect for all people or for compliers at another setting of \(Z_2\).
Different Contrasts Can Shift Different People
The indicator \(C_j(a)\) depends on both the instrument \(j\) and the setting \(a\). Changing either can alter the set of people whose treatment responds. There is generally no reason for these sets to be identical, nested, or even overlapping. Consequently, a contrast-specific LATE is an average for its own complier population.
For example, the treatment response to \(Z_1\) may depend on \(Z_2\). A person could be a complier for \(Z_1\) when \(Z_2=0\) but not when \(Z_2=1\). Another person could respond only to \(Z_2\). These differences in treatment response are compatible with monotonicity for each contrast: monotonicity prohibits a treatment decrease when that contrast’s instrument is raised, but permits some people to respond in one setting and not another.
Worked Example: Comparing Two Complier Populations
Consider a hypothetical population with three treatment-response types under two binary instruments. Type A, comprising 40% of the population, has \(D(z_1,z_2)=z_1\). Type B, comprising 30%, has \(D(z_1,z_2)=\max(z_1,z_2)\). The remaining 30% are never-takers, with \(D(z_1,z_2)=0\) in every setting. Suppose Type A has an individual treatment effect of 2 outcome units, Type B has an effect of 8 units, and the never-takers have an effect of 5 units.
First compare \(Z_1\) at \(Z_2=0\). Type A changes treatment from 0 to 1, and so does Type B. The complier population therefore has size \(0.40+0.30=0.70\). Its average treatment effect is
Now compare \(Z_1\) at \(Z_2=1\). Type A changes treatment from 0 to 1, but Type B already receives treatment when \(Z_1=0\), because \(Z_2=1\). Only Type A complies with this contrast, so
For a different contrast, compare \(Z_2\) at \(Z_1=0\). Only Type B changes treatment, giving \(\tau_2(0)=8.00\) outcome units. By contrast, at \(Z_1=1\), none of these types changes treatment when \(Z_2\) changes, so that contrast has no relevant first stage and its LATE is not defined by a Wald ratio.
The effects differ because the contrasts select different people, not because the definitions conflict. In particular, Type B contributes to the \(Z_1\) complier population at \(Z_2=0\), but not at \(Z_2=1\). The treatment-effect averages must therefore be interpreted with their contrast indices attached.
Reading Cell Contrasts Carefully
With two binary instruments, the instrument vector has four possible settings. A contrast for \(Z_1\) at \(Z_2=0\) uses the \((0,0)\) and \((1,0)\) cells; a contrast for \(Z_1\) at \(Z_2=1\) uses \((0,1)\) and \((1,1)\). These are separate comparisons. A comparison that changes both instruments at once is a different contrast and does not, without additional definitions and assumptions, equal either one-instrument-at-a-time LATE.
Worked Example: Calculating Contrasts From Four Cells
Suppose the following hypothetical population means are available for the same two-instrument design. The outcome is measured in index points.
| \(Z_1\) | \(Z_2\) | Mean \(D\) | Mean \(Y\) (index points) |
|---|---|---|---|
| 0 | 0 | 0.10 | 50.0 |
| 1 | 0 | 0.30 | 53.0 |
| 0 | 1 | 0.25 | 52.0 |
| 1 | 1 | 0.40 | 54.4 |
Assume the required independence, exclusion, support, and monotonicity conditions hold for both contrasts of \(Z_1\). At \(Z_2=0\), the first stage is \(0.30-0.10=0.20\), and the outcome contrast is \(53.0-50.0=3.0\) points. Therefore,
At \(Z_2=1\), the first stage is \(0.40-0.25=0.15\), and the outcome contrast is \(54.4-52.0=2.4\) points. Therefore,
The calculations identify two contrast-specific effects, each in index points. They do not show that the same people comply in both settings. Even if the two estimates are numerically close, the corresponding complier populations can differ.
Common Pitfall: Treating All Compliers as One Group
Wrong reasoning: “Both instruments increase treatment, so their Wald ratios estimate the same effect among compliers.” This conclusion does not follow. The group that changes treatment under one instrument may differ from the group that changes treatment under another; even for one instrument, the group may depend on the settings of the other instruments.
Correction: Name the contrast before naming its complier population or LATE. Write \(C_j(a)\) and \(\tau_j(a)\), check relevance and monotonicity for that contrast, and interpret its ratio only for that population. Equality of two LATEs may occur, but it is not guaranteed by the fact that both are valid instrument contrasts.
The contrast index is substantively important, not bookkeeping. It states which variation identifies the effect and which treatment-responsive population the effect describes. Without that index, “the LATE” can conceal distinct causal estimands.
Check Your Understanding
For each question, specify the contrast and distinguish what is identified from what is not.
- With three binary instruments, how would you define the contrast-specific complier indicator for \(Z_2\) when \(Z_1=1\) and \(Z_3=0\)?
- Why is monotonicity for \(Z_1\) at \(Z_2=0\) not sufficient to establish monotonicity for \(Z_1\) at \(Z_2=1\)?
- A contrast has an outcome difference of 1.8 points and a treatment difference of 0.12. Under the stated assumptions, what is its LATE, and to whom does it apply?
- Can two valid instrument contrasts have different LATEs without contradiction? Explain in terms of their complier populations.
- If the treatment difference for a contrast is zero, why can its Wald LATE not be calculated, and which assumption in the identification result fails?