Local average treatment effect

The local average treatment effect (LATE), also known as the complier average causal effect (CACE), was first introduced into the econometrics literature by Guido W. Imbens and Joshua D. Angrist in 1994. It is the treatment effect for the subset of the sample that takes the treatment if and only if they were assigned to the treatment, otherwise known as the compliers. It is not to be confused with the average treatment effect (ATE), which is the average subject-level treatment effect; the LATE is only the ATE among the compliers. The LATE can be estimated by a ratio of the estimated intent-to-treat effect and the estimated proportion of compliers, or alternatively through an instrumental variable estimator. Since the LATE may not be equivalent to the ATE, we should be cautious of extrapolation.

General definition

Following the terminology from the potential outcomes framework, the ATE is the difference between the expected value of the treatment group and the expected value of the control group. In an experimental setting, random assignment allows us to assume that the treatment group and control group have the same expected potential outcomes when treated (or untreated). This can be expressed as:

$E[Y_{i}(1)|D_{i}=1]=E[Y_{i}(1)|D_{i}=0]=E[Y_{i}(1)]$

$E[Y_{i}(0)|D_{i}=1]=E[Y_{i}(0)|D_{i}=0]=E[Y_{i}(0)]$

In an ideal experiment, all subjects assigned to treatment are treated, while those that are assigned to control will remain untreated. In reality, however, the compliance rate is often imperfect, which prevents researchers from identifying the ATE. In such cases, estimating the LATE becomes the more feasible option. The LATE is the average treatment effect among a specific subset of the subjects, who in this case would be the compliers.

Potential outcome framework and notation

Let $Y_{i}(d)$ denotes the potential outcome of subject i, where d is the binary indicator of subject $i$’s treatment status. $Y_{i}(1)$ denotes the treated potential outcome for subject i, while $Y_{i}(0)$ denotes the untreated potential outcome. The causal effect of the treatment on subject $i$ is $Y_{i}(1)-Y_{i}(0)$. However, we can never observe both $Y_{i}(1)$and $Y_{i}(0)$ for the same subject. At any given time, we can only observe a subject in its treated $Y_{i}(1)$ or untreated $Y_{i}(0)$ state.

Through random assignment, the expected untreated potential outcome of the control group is the same as that of the treatment group, and the expected treated potential outcome of treatment group is the same as that of the control group. The random assignment assumption thus allows us to take the difference between the average outcome in the treatment group and the average outcome in the control group as the overall average treatment effect, such that:

$ATE=E[Y_{i}(1)-Y_{i}(0)]=E[Y_{i}(1)]-E[Y_{i}(0)]=E[Y_{i}(1)|D_{i}=1]-E[Y_{i}(0)|D_{i}=0]$

Noncompliance framework

Quite often will researchers encounter noncompliance problems in their experiments, whereby subjects fail to comply with their experimental assignments. Some subjects will not take the treatment when assigned to the treatment group, so their potential outcome of $Y_{i}(1)$ will not be revealed, while some subjects assigned to the control group will take the treatment, so they will not reveal their $Y_{i}(0)$.

Given noncompliance, the population in an experiment can be divided into four subgroups: compliers, always-takers, never-takers and defiers. We then introduce $z$ as a binary indicator of experimental assignment, such that when $z_{i}=1$, subject $i$ is assigned to treatment, and when $z_{i}=0$, subject $i$ is assigned to control. Thus, $d_{i}(z)$represents whether subject $i$ is actually treated or not when treatment assignment is $z_{i}$.

Compliers are subjects who will take the treatment if and only if they were assigned to the treatment group, i.e. the subpopulation with $d_{i}(1)=1$ and $d_{i}(0)=0$.

Noncompliers are composed of the three remaining subgroups:

• Always-takers are subjects who will always take the treatment even if they were assigned to the control group, i.e. the subpopulation with $d_{i}(z)=1$
• Never-takers are subjects who will never take the treatment even if they were assigned to the treatment group, i.e. the subpopulation with $d_{i}(z)=0$
• Defiers are subjects who will do the opposite of their treatment assignment status, i.e. the subpopulation with $d_{i}(1)=0$ and $d_{i}(0)=1$

Non-compliance can take two forms. In the case of one-sided non-compliance, a number of the subjects who were assigned to the treatment group remain untreated. Subjects are thus divided into compliers and never-takers, such that $d_{i}(0)=0$for all $i$, while $d_{i}(1)=$ 0 or 1. In the case of two-sided non-compliance, a number of the subjects assigned to the treatment group fail to receive the treatment, while a number of the subjects assigned to the control group receive the treatment. In this case, subjects are divided into the four subgroups, such that both $d_{i}(0)$ and $d_{i}(1)$ can be 0 or 1.

Given non-compliance, we require certain assumptions to estimate the LATE. Under one-sided non-compliance, we assume non-interference and excludability. Under two-sided non-compliance, we assume non-interference, excludability, and monotonicity.

Assumptions under one-sided non-compliance

• The non-interference assumption, otherwise known as the Stable Unit Treatment Value Assumption (SUTVA), is composed of two parts.
  • The first part of this assumption stipulates that the actual treatment status, $d_{i}$, of subject $i$ depends only on the subject's own treatment assignment status, $z_{i}$. The treatment assignment status of other subjects will not affect the treatment status of subject $i$. Formally, if $z_{i}=z_{i}'$, then $D_{i}(\mathbf {z} )=D_{i}(\mathbf {z} ')$, where $\mathbf {z}$ denotes the vector of treatment assignment status for all individuals.
  • The second part of this assumption stipulates that subject $i$'s potential outcomes are affected by its own treatment assignment, and the treatment it receives as a consequence of that assignment. The treatment assignment and treatment status of other subjects will not affect subject $i$'s outcomes. Formally, if $z_{i}=z_{i}'$ and $d_{i}=d_{i}'$, then $Y_{i}(z,d)=Y_{i}(z',d)$.
  • The plausibility of the non-interference assumption must be assessed on a case-by-case basis.
• The excludability assumption requires that potential outcomes respond to treatment itself, $d_{i}$, not treatment assignment, $z_{i}$. Formally $Y_{i}(z,d)=Y_{i}(d)$. So under this assumption, only $d$matters. The plausibility of the excludability assumption must also be assessed on a case-by-case basis.

Assumptions under two-sided non-compliance

• All of the above, and
• The monotonicity assumption, i.e. for all subject $i$, $d_{i}(1)\geq d_{i}(0)$. This states that whenever a subject moves from the control to treatment group, $d_{i}$ either remains unchanged or increases. The monotonicity assumption rules out defiers, since their potential outcomes are characterized by $d_{i}(1)<d_{i}(0)$. Monotonicity cannot be tested, so like the non-interference and excludability assumptions, its validity must be determined on a case-by-case basis.

Identification

The $LATE={\frac {ITT}{ITT_{D}}}$, whereby

$ITT=E[Y_{i}(z=1)]-E[Y_{i}(z=0)]$

$ITT_{D}=E[d_{i}(z=1)]-E[d_{i}(z=0)]$

The $ITT$ measures the average effect of experimental assignment on outcomes without accounting for the proportion of the group that was actually treated (i.e. average of those assigned to treatment minus the average of those assigned to control). In experiments with full compliance, the $ITT=ATE$.

The $ITT_{D}$measures the proportion of subjects who are treated when they are assigned to the treatment group, minus the proportion who would have been treated even if they had been assigned to the control group, i.e. $ITT_{D}$= the share of compliers.

Proof

Under one-sided noncompliance , all subjects assigned to control group will not take the treatment, therefore: $E[d_{i}(z=0)]=0$,

so that $ITT_{D}=E[d_{i}(z=1)]==P[d_{i}(1)=1]$

If all subjects were assigned to treatment, the expected potential outcomes would be a weighted average of the treated potential outcomes among compliers, and the untreated potential outcomes among never-takers, such that

${\begin{aligned}{\displaystyle E[Y_{i}(z=1)]=E[Y_{i}(d(1),z=1)]}=E[Y_{i}(z=1,d=1)|d_{i}(1)=1]*P[d_{i}(1)=1]&\\+E[Y_{i}(z=1,d=0)|d_{i}(1)=0]*(1-P[d_{i}(1)=1])\end{aligned}}$

If all subjects were assigned to control, however, the expected potential outcomes would be a weighted average of the untreated potential outcomes among compliers and never-takers, such that

${\begin{aligned}{\displaystyle E[Y_{i}(z=0)]=E[Y_{i}(d=0,z=0)]}=E[Y_{i}(z=0,d=0)|d_{i}(1)=1]*P[d_{i}(1)=1]&\\+E[Y_{i}(z=0,d=0)|d_{i}(1)=0]*(1-P[d_{i}(1)=1])\end{aligned}}$

Through substitution, we can express the ITT as a weighted average of the ITT among the two subpopulations (compliers and never-takers), such that

${\begin{alignedat}{2}ITT=E[Y_{i}(z=1)]-E[Y_{i}(z=0)]=E[Y_{i}(z=1,d=1)-Y_{i}(z=0,d=0)|d_{i}(1)=1]*P[d_{i}(1)=1]+&\\E[Y_{i}(z=1,d=0)-Y_{i}(z=0,d=0)|d_{i}(1)=0]*P[d_{i}(1)=0]\end{alignedat}}$

Given the exclusion and monotonicity assumption, the second half of this equation should be zero.

As such,

${\frac {ITT}{ITT_{D}}}={\frac {E[Y_{i}(z=1,d=1)-Y_{i}(z=0,d=0)|d_{i}(1)=1]*P[d_{i}(1)=1]}{P[d_{i}(1)=1]}}=E[Y_{i}(d=1)-Y_{i}(d=0)|d_{i}(1)=1]=LATE$

Application: hypothetical schedule of potential outcome under two-sided noncompliance

The table below lays out the hypothetical schedule of potential outcomes under two-sided noncompliance.

The ATE is calculated by the average of $Y_{i}(d=1)-Y_{i}(d=0)$

Hypothetical Schedule of Potential Outcome under Two-sided Noncompliance

Observation	$Y_{i}(1)$	$Y_{i}(0)$	$Y_{i}(1)-Y_{i}(0)$	$d_{i}(z=0)$	$d_{i}(z=1)$	Type
1	4	7	3	0	1	Complier
2	3	5	2	0	0	Never-taker
3	1	5	4	0	1	Complier
4	5	8	3	1	1	Always-taker
5	4	10	6	0	1	Complier
6	2	8	6	0	0	Never-taker
7	6	10	4	0	1	Complier
8	5	9	4	0	1	Complier
9	2	5	3	1	1	Always-taker

$ATE={\frac {3+2+4+3+6+6+4+4+3}{9}}={\frac {35}{9}}=3.9$

LATE is calculated by ATE among compliers, so

$LATE={\frac {3+4+6+4+4}{5}}=4.2$

ITT is calculated by the average of $Y_{i}(z=1)-Y_{i}(z=0)$,

so $ITT={\frac {3+0+4+0+6+0+4+4+0}{9}}={\frac {21}{9}}=2.3$

$ITT_{D}$ is the share of compliers

$ITT_{D}={\frac {5}{9}}$

${\frac {ITT}{ITT_{D}}}={\frac {21/9}{5/9}}={\frac {21}{5}}=4.2=LATE$

Others: LATE in instrumental variable framework

We can also think of  LATE through an IV framework. Treatment assignment $z_{i}$ is the instrument that drives the causal effect on outcome $Y_{i}$ through the variable of interest $d_{i}$, such that $z_{i}$ only influences $Y_{i}$ through the endogenous variable $d_{i}$, and through no other path. This would produce the treatment effect for compliers.

In addition to the potential outcomes framework mentioned above, LATE can also be estimated through the Structural Equation Modeling (SEM) framework, originally developed for econometric applications.

SEM is derived through the following equations:

$D_{1}=\alpha _{0}+\alpha _{1}Z_{i}+\xi _{1i}$

$Y_{i}=\beta _{0}+\beta _{1}Z_{i}+\xi _{2i}$

The first equation captures the first stage effect of $z_{i}$on $d_{i}$, adjusting for variance, where

$\alpha _{1}=Cov(D,Z)/var(Z)$

The second equation $\beta _{1}$ captures the reduced form effect of $z_{i}$ on $Y_{i}$,

$\beta _{1}=Cov(Y,Z)/var(Z)$

The covariate-adjusted IV estimator is  the ratio $\tau _{LATE}={\frac {\beta _{1}}{\alpha _{1}}}={\frac {Cov(Y,Z)/Var(Z)}{Cov(D,Z)/Var(Z)}}={\frac {Cov(Y,Z)}{Cov(D,Z)}}$

Similar to the nonzero compliance assumption, the coefficient $\alpha _{1}$ in first stage regression needs to be significant to make $z$ a valid instrument.

However, because of SEM’s strict assumption of constant effect on every individual, the potential outcomes framework is in more prevalent use today.

Generalizing LATE

The primary goal of running an experiment is to obtain causal leverage, and it does so by randomly assigning subjects to experimental conditions, which sets it apart from observational studies. In an experiment with perfect compliance, the average treatment effect can be obtained easily. However, many experiments are likely to experience either one-sided or two-sided non-compliance. In the presence of non-compliance, the ATE can no longer be recovered. Instead, what is recovered is the average treatment effect for a certain subpopulation known as the compliers, which is the LATE.

When there may exist heterogeneous treatment effects across groups, the LATE is unlikely to be equivalent to the ATE. In one example, Angrist (1989) attempts to estimate the causal effect of serving in the military on earnings, using the draft lottery as an instrument. The compliers are those who were induced by the draft lottery to serve in the military. If the research interest is on how to compensate those involuntarily taxed by the draft, LATE would be useful, since the research targets compliers. However, if researchers are concerned about a more universal draft for future interpretation, then the ATE would be more important (Imbens 2009).

Generalizing from the LATE to the ATE thus becomes an important issue when the research interest lies with the causal treatment effect on a broader population, not just the compliers. In these cases, the LATE may not be the parameter of interest, and researchers have questioned its utility. Other researchers, however, have countered this criticism by proposing new methods to generalize from the LATE to the ATE. Most of these involve some form of reweighting from the LATE, under certain key assumptions that allow for extrapolation from the compliers.

Reweighting

The intuition behind reweighting comes from the notion that given a certain strata, the distribution among the compliers may not reflect the distribution of the broader population. Thus, to retrieve the ATE, it is necessary to reweight based on the information gleaned from compliers. There are a number of ways that reweighting can be used to try to get at the ATE from the LATE.

Reweighting by ignorability assumption

By leveraging instrumental variable, Aronow and Carnegie (2013) propose a new reweighting method called Inverse Compliance Score weighting (ICSW), with a similar intuition behind IPW. This method assumes compliance propensity is a pre-treatment covariate and compliers would have the same average treatment effect within their strata. ICSW first estimates the conditional probability of being a complier (Compliance Score) for each subject by Maximum Likelihood estimator given covariates control, then reweights each unit by its inverse of compliance score, so that compliers would have covariate distribution that matches the full population. ICSW is applicable at both one-sided and two-sided noncompliance situation.

Although one's compliance score cannot be directly observed, the probability of compliance can be estimated by observing the compliance condition from the same strata,  in other words those that share the same covariate profile. The compliance score is treated as a latent pretreatment covariate, which is independent of treatment assignment $Z$. For each unit $i$, compliance score is denoted as ${\textstyle P_{Ci}=Pr(D_{1}>D_{0}|X=x_{i})}$, where $x_{i}$is the covariate vector for unit $i$.

In one-sided noncompliance case,  the population consists of only compliers and never-takers. All units assigned to the treatment group that take the treatment will be compliers. Thus, a simple bivariate regression of D on X can predict the probability of compliance.

In two-sided noncompliance case, compliance score is estimated using maximum likelihood estimation.

By assuming probit distribution for compliance and of Bernoulli distribution of D,

where ${\hat {\Pr {c_{i}}}}={\hat {\Pr }}(D_{1}>D_{0}|X=x_{i})=F({\hat {\theta }}_{A,C,x_{i}})(1-F({\hat {\theta }}_{A|A,C,x_{i}}))^{3}$ .

and $\theta$ is a vector of covariates to be estimated, $F(.)$ is the cumulative distribution function for a probit model

• ICSW estimator

By the LATE theorem,  average treatment effect for compliers can be estimated with equation:

$\tau _{LATE}={\frac {\sum _{i=1}^{n}{Z_{i}}{Y_{i}}/\sum _{i=1}^{n}{Z_{i}}-\sum _{i=1}^{n}{(1-Z_{i})}{Y_{i}}/\sum _{i=1}^{n}{(1-Z_{i})}}{\sum _{i=1}^{n}{Z_{i}}{D_{i}}/\sum _{i=1}^{n}{Z_{i}}-\sum _{i=1}^{n}{(1-Z_{i})}{D_{i}}/\sum _{i=1}^{n}{(1-Z_{i})}}}$

Define ${\hat {w_{Ci}}}=1/{\hat {Pr_{Ci}}}$ the ICSW estimator   is simply  weighted by  :

$\tau _{ATE}={\frac {\sum _{i=1}^{n}{\hat {W_{i}}}{Z_{i}}{Y_{i}}/\sum _{i=1}^{n}{\hat {W_{i}}}{Z_{i}}-\sum _{i=1}^{n}{\hat {W_{i}}}{(1-Z_{i})}{Y_{i}}/\sum _{i=1}^{n}{{\hat {W_{i}}}(1-Z_{i})}}{\sum _{i=1}^{n}{\hat {W_{i}}}{Z_{i}}{D_{i}}/\sum _{i=1}^{n}{\hat {W_{i}}}{Z_{i}}-\sum _{i=1}^{n}{\hat {W_{i}}}{(1-Z_{i})}{D_{i}}/\sum _{i=1}^{n}{\hat {W_{i}}}{(1-Z_{i})}}}$

This estimator is equivalent to using 2SLS estimator with weight .

• Core assumptions under reweighting

An essential assumption of ICSW relying on  treatment homogeneity within strata, which means the treatment effect should on average be the same for everyone in the strata, not just for the compliers. If this assumption holds, LATE is equal to ATE within some covariate profile. Denote as:

${\text{for all }}x\in Supp(X),E[Y_{1}-Y_{0}|D_{1}>D_{0}]$

Notice this is a less restrictive assumption than the traditional ignorability assumption, as this only concerns the covariate sets that are relevant to compliance score, which further leads to heterogeneity, without considering all sets of covariates.

The second assumption is consistency of  ${\hat {Pr_{Ci}}}$ for $Pr_{Ci}$ and the third assumption is the nonzero compliance for each strata, which is an extension of IV assumption of nonzero compliance over population. This is a reasonable assumption as if compliance score is zero for certain strata, the inverse of it would be infinite.

ICSW estimator is more sensible than that of IV estimator, as it incorporate more covariate information, such that the estimator might have higher variances. This is a general problem for IPW-style estimation. The problem is exaggerated when there is only a small population in certain strata and compliance rate is low.  One way to compromise it to winsorize the estimates, in this paper they set the threshold as =0.275. If compliance score for lower than 0.275, it is replaced by this value. Bootstrap is also recommended in the entire process to reduce uncertainty(Abadie 2002).

Reweighting under monotonicity assumption

In another approach, one might assume that an underlying utility model links the never-takers, compliers, and always-takers. The ATE can be estimated by reweighting based on an extrapolation of the complier treated and untreated potential outcomes to the never-takers and always-takers. The following method is one that has been proposed by Amanda Kowalski.

First, all subjects are assumed to have a utility function, determined by their individual gains from treatment and costs from treatment. Based on an underlying assumption of monotonicity, the never-takers, compliers, and always-takers can be arranged on the same continuum based on their utility function. This assumes that the always-takers have such a high utility from taking the treatment that they will take it even without encouragement. On the other hand, the never-takers have such a low utility function that they will not take the treatment despite encouragement. Thus, the never-takers can be aligned with the compliers with the lowest utilities, and the always-takers with the compliers with the highest utility functions.

In an experimental population, several aspects can be observed: the treated potential outcomes of the always-takers (those who are treated in the control group); the untreated potential outcomes of the never-takers (those who remain untreated in the treatment group); the treated potential outcomes of the always-takers and compliers (those who are treated in the treatment group); and the untreated potential outcomes of the compliers and never-takers (those who are untreated in the control group). However, the treated and untreated potential outcomes of the compliers should be extracted from the latter two observations. To do so, the LATE must be extracted from the treated population.

Assuming no defiers, it can be assumed that the treated group in the treatment condition consists of both always-takers and compliers. From the observations of the treated outcomes in the control group, the average treated outcome for always-takers can be extracted, as well as their share of the overall population. As such, the weighted average can be undone and the treated potential outcome for the compliers can be obtained; then, the LATE is subtracted to get the untreated potential outcomes for the compliers. This move will then allow extrapolation from the compliers to obtain the ATE.

Returning to the weak monotonicity assumption, which assumes that the utility function always runs in one direction, the utility of a marginal complier would be similar to the utility of a never-taker on one end, and that of an always-taker on the other end. The always-takers will have the same untreated potential outcomes as the compliers, which is its maximum untreated potential outcome. Again, this is based on the underlying utility model linking the subgroups, which assumes that the utility function of an always-taker would not be lower than the utility function of a complier. The same logic would apply to the never-takers, who are assumed to have a utility function that will always be lower than that of a complier.

Given this, extrapolation is possible by projecting the untreated potential outcomes of the compliers to the always-takers, and the treated potential outcomes of the compliers to the never-takers. In other words, if it is assumed that the untreated compliers are informative about always-takers, and the treated compliers are informative about never-takers, then comparison is now possible among the treated always-takers to their “as-if” untreated always-takers, and the untreated never-takers can be compared to their “as-if” treated counterparts. This will then allow the calculation of the overall treatment effect. Extrapolation under the weak monotonicity assumption will provide a bound, rather than a point-estimate.

Limitations

The estimation of the extrapolation to ATE from the LATE requires certain key assumptions, which may vary from one approach to another. While some may assume homogeneity within covariates, and thus extrapolate based on strata, others may instead assume monotonicity.  All will assume the absence of defiers within the experimental population. Some of these assumptions may be weaker than others—for example, the monotonicity assumption is weaker than the ignorability assumption. However, there are other trade-offs to consider, such as whether the estimates produced are point-estimates, or bounds. Ultimately, the literature on generalizing the LATE relies entirely on key assumptions. It is not a design-based approach per se, and the field of experiments is not usually in the habit of comparing groups unless they are randomly assigned. Even in case when assumptions are difficult to verify, researcher can incorporate through the foundation of experiment design. For example, in a typical field experiment where instrument is  “encouragement to treatment”, treatment heterogeneity could be detected by varying intensity of encouragement. If the compliance rate remains stable under different intensity, if could be a signal of homogeneity across groups. Thus, it is important to be a smart consumer of this line of literature, and examine whether the key assumptions are going to be valid in each experimental case.

Further reading

• Angrist, Joshua D.; Fernández-Val, Iván (2013). Advances in Economics and Econometrics. Cambridge University Press. pp. 401–434. doi:10.1017/cbo9781139060035.012. ISBN 9781139060035.