Who Is the LATE About?
An instrumental-variable estimate is often summarized as an effect of treatment, but its target is not automatically everyone in a study. Under the assumptions that identify a local average treatment effect (LATE), the relevant population consists of people whose treatment receipt would change if the instrument changed. These people are called compliers. Their membership is defined by two potential treatment decisions, only one of which can be observed for any individual.
This distinction matters when translating an estimate into a substantive conclusion. A LATE may describe the effect for people reached by a particular encouragement or access change, rather than the effect for all participants. Whether those people resemble the rest of the study population is an empirical and design-specific question, not a consequence of the IV assumptions.
The other possible compliance types clarify what the definition does and does not mean. An always-taker has \(D(1)=D(0)=1\); a never-taker has \(D(1)=D(0)=0\); and a defier has \(D(1)=0,D(0)=1\). The monotonicity assumption rules out defiers, so that an instrument coded in the encouraging direction does not cause anyone to move away from treatment while causing others to move toward it. Relevance requires the instrument to change treatment receipt for at least some units.
For the usual LATE interpretation, one also needs instrument independence (unconditional in a randomized design, or conditional on stated covariates in a conditional design) and exclusion: the instrument affects the outcome only through treatment receipt. These assumptions support the causal interpretation of the IV contrast. They do not say that compliers have the same characteristics as the full study population, or that every participant has the same chance of being a complier.
Latent Types and Observed Groups Are Different
For each individual, only the treatment receipt under the assigned instrument value is observed. If \(Z=1\), the data reveal \(D(1)\), but not \(D(0)\); if \(Z=0\), they reveal \(D(0)\), but not \(D(1)\). Consequently, a person's compliance type is generally not known, even in a randomized study.
Monotonicity allows some observed assignments to rule out types. A unit observed with \(Z=1,D=0\) must be a never-taker: it did not take treatment even when encouraged, and cannot be a defier under monotonicity. A unit observed with \(Z=0,D=1\) must be an always-taker. But \(Z=1,D=1\) could indicate an always-taker or a complier, and \(Z=0,D=0\) could indicate a never-taker or a complier. Thus the observed treated group is not the complier group, nor is the observed untreated group.
Worked Example: Inferring Compliance-Type Shares
Hypothetical data: In a randomized encouragement study, 500 participants are assigned \(Z=1\), of whom 250 receive treatment. Of 500 assigned \(Z=0\), 100 receive treatment. Assume random assignment, a common treatment definition, and monotonicity. The observed treatment rates are \(250/500=0.50\) and \(100/500=0.20\).
Under random assignment, these rates estimate \(E[D(1)]\) and \(E[D(0)]\). Under monotonicity, the difference is the population share of compliers:
The implied shares are 0.20 always-takers, 0.50 never-takers, and 0.30 compliers. For example, \(P(D(0)=1)=0.20\) is the always-taker share under monotonicity; those who take treatment even when \(Z=0\) must also take it when \(Z=1\). The overall increase in treatment receipt, 0.30, is the complier share.
These shares also show why observed groups are mixtures. In the \(Z=1\) arm, the treated share is 0.50, made up of 0.20 always-takers and 0.30 compliers. Thus the estimated fraction of compliers among observed treated participants in that arm is \(0.30/0.50=0.60\). In the \(Z=0\) arm, the untreated share is 0.80, made up of 0.50 never-takers and 0.30 compliers; the corresponding complier fraction is \(0.30/0.80=0.375\). These are group-level calculations, not a way to identify which particular participants are compliers.
Describing Which Participants Are Compliers
Although individual compliance types are latent, covariate patterns can reveal how the complier population is distributed across observed characteristics. For a discrete covariate \(X\), suppose instrument assignment is independent of the potential treatment receipts within levels of \(X\), and monotonicity holds within those levels. Define the conditional first-stage contrast \(\Delta_D(x)=E[D\mid Z=1,X=x]-E[D\mid Z=0,X=x]\). Then \(\Delta_D(x)\) is the complier share among units with \(X=x\). The share of all compliers who have characteristic value \(x\) is proportional to both the prevalence of that characteristic and its conditional first stage.
The reasoning follows directly from the definition. Within covariate level \(x\), the difference in treatment rates equals the average difference in potential treatment receipt. With no defiers, \(D(1)-D(0)\) equals 1 for compliers and 0 for everyone else. Therefore \(\Delta_D(x)=P(C\mid X=x)\). Multiplying by \(P(X=x)\) gives the joint share of the population that both has \(X=x\) and is a complier. Dividing by the total complier share normalizes these joint shares to obtain the distribution among compliers.
Worked Example: Compliers Are Concentrated in a Subgroup
Hypothetical data: Suppose 40% of a study population is classified as high-risk (\(X=1\)) and 60% as lower-risk (\(X=0\)). Within each group, the instrument is independent of potential treatment receipt and monotonicity holds. The treatment-rate increase is 0.50 among high-risk participants and 0.10 among lower-risk participants.
The overall complier share is the population-weighted average of the conditional first stages:
Among the whole population, the share who are both high-risk and compliers is \(0.40(0.50)=0.20\). Therefore, the high-risk proportion among compliers is \[ P(X=1\mid C)=\frac{0.20}{0.26}=0.769. \] About 76.9% of compliers are high-risk, even though high-risk participants make up only 40% of the study population. The instrument is much more likely to change treatment receipt in that subgroup. This calculation supports a statement about the composition of the complier population; it does not establish why compliance differs or identify which high-risk participants are compliers.
Why the Target Population Need Not Resemble Everyone
Compliance is defined by a response to the instrument, not by a general trait such as willingness, health status, or treatment eligibility. It depends on the particular instrument contrast and treatment decision in the study. An encouragement may change uptake mainly for participants who face a particular barrier; a different instrument may reach a different subset. Even with a valid instrument, always-takers and never-takers can differ from compliers in observed characteristics, unobserved characteristics, or both.
The next example isolates this point: two instruments can have the same overall first stage while changing treatment receipt in different subgroups. Each instrument can therefore define a different complier population. A matching estimate or a comparison of observed treated and untreated participants answers a different question unless additional assumptions make its target coincide with this complier target.
Worked Example: Same First Stage, Different Compliers
Hypothetical data: In the same population, 40% are high-risk and 60% lower-risk. Consider two possible encouragement instruments, each assumed to satisfy conditional independence, exclusion, and monotonicity. Instrument A has conditional first stages of 0.30 in both groups. Instrument B has a first stage of 0.60 among high-risk participants and 0.10 among lower-risk participants.
For instrument A, the overall first stage is \((0.40)(0.30)+(0.60)(0.30)=0.30\). The high-risk share among its compliers is \((0.40)(0.30)/0.30=0.40\).
For instrument B, the overall first stage is \((0.40)(0.60)+(0.60)(0.10)=0.24+0.06=0.30\). But the high-risk share among its compliers is \(0.24/0.30=0.80\). Both instruments change treatment receipt for 30% of the population, yet the first instrument's compliers reflect the population's 40% high-risk share, while the second instrument's compliers are 80% high-risk.
The equal first stages do not make the target populations equal. If both instruments are valid, each Wald estimand refers to the compliers induced by its own instrument contrast. The example does not establish that either effect is larger; it shows why an IV estimate should be described with its instrument and target population, rather than as an effect for all participants.
Diagnostics, Limitations, and a Common Mistake
Observed covariates can be useful for assessing whether the complier population is concentrated in particular subgroups. Estimate treatment rates by instrument level within substantively important covariate strata, then examine the conditional first-stage contrasts. A markedly larger contrast in one stratum signals that compliers are more prevalent there, subject to the assumptions and sampling uncertainty. A near-zero contrast means the data provide little evidence that the instrument changes treatment receipt in that stratum; a conditional LATE there will also be poorly supported or unidentified.
A negative conditional contrast when \(Z=1\) is coded as the encouraging state is a warning, not proof of defiers. It may reflect sampling variability, a coding or implementation problem, or a failure of conditional independence or monotonicity. Monotonicity cannot generally be verified by observing each person's two potential treatment decisions, because one of those decisions is missing. Likewise, a positive overall first stage does not guarantee relevance in every covariate stratum. Composition estimates become unstable when first-stage contrasts are imprecise, especially if they are used to divide by a small overall first stage.
The main limitation is conceptual as well as statistical: compliance type is counterfactual and usually cannot be observed person by person. The LATE is not automatically the population average treatment effect (ATE), the effect among those who actually received treatment (ATT), or an effect for a policy population that the instrument does not reach. Those targets require their own identifying assumptions. A careful report states the instrument contrast, the assumptions used, and the population of instrument-responsive units to which the result pertains.
- Common mistake: “The IV estimate is the treatment effect for everyone because the instrument was randomized.”
- Correction: Randomization supports independence of the instrument, but with exclusion and monotonicity the Wald estimand is an effect for compliers. Random assignment does not make compliers representative of all participants.
- Another mistake: “Everyone treated in the encouraged arm is a complier.”
- Correction: That group can include always-takers as well as compliers. Compliance types depend on both potential treatment decisions, and generally only one is observed.
Check Your Understanding
Answer each question, then compare your reasoning with the solutions below.
- Under monotonicity, a study estimates \(E[D\mid Z=1]=0.42\) and \(E[D\mid Z=0]=0.17\). What is the estimated complier share, and what assumption is needed to interpret the contrast this way?
- Why is an observed participant with \(Z=1,D=1\) not necessarily a complier?
- In a population where 25% have \(X=1\), the conditional first stage is 0.40 for \(X=1\) and 0.20 for \(X=0\). What proportion of compliers have \(X=1\)?
- Two valid instruments have the same overall first stage. Does that guarantee that their LATEs target the same population? Explain.
Solutions. (1) The estimated share is \(0.42-0.17=0.25\), or 25%, under monotonicity and instrument independence for the treatment-rate contrasts. (2) The participant may be an always-taker, who would receive treatment at either instrument value; the unobserved \(D(0)\) distinguishes that type from a complier. (3) The overall first stage is \((0.25)(0.40)+(0.75)(0.20)=0.10+0.15=0.25\). The share of compliers with \(X=1\) is \(0.10/0.25=0.40\), or 40%. (4) No. The instruments can have different conditional first stages and therefore induce compliance among different covariate groups, even if the total complier shares are equal.