A quasi-experimental design is a study in which the treatment is not assigned at random but the structure of the data, such as repeated observation over time or assignment by a threshold, supports an identification assumption that replaces ignorability.

Let i=1,…,Ni=1,\ldots,N index units and t=1,…,Tt=1,\ldots,T index time periods. Panel data or longitudinal data are observations (Ait,Yit)\left(A_{it},Y_{it}\right) of the treatment and the outcome of each unit in each period.

Let (Ait,Yit)\left(A_{it},Y_{it}\right) be panel data. The two-way fixed effects model is the linear model in which the outcome is the sum of a unit fixed effect αi,\alpha_i, a time fixed effect λt,\lambda_t, a constant treatment effect and an error.

Yit=αi+λt+τAit+εitY_{it}=\alpha_i+\lambda_t+\tau A_{it}+\varepsilon_{it}

The unit fixed effects absorb all confounders that are constant over time within a unit, and the time fixed effects absorb all shocks that are common to every unit in a period.

Let Yit=αi+λt+τAit+εitY_{it}=\alpha_i+\lambda_t+\tau A_{it}+\varepsilon_{it} be a two-way fixed effects model. Strict exogeneity is the assumption that the error in every period is mean independent of the treatments in every period given the fixed effects.

E[εit∣Ai1,…,AiT,αi,λt]=0\mathbb{E}\left[\varepsilon_{it}\mid A_{i1},\ldots,A_{iT},\alpha_i,\lambda_t\right]=0

Let Yit=αi+λt+τAit+εitY_{it}=\alpha_i+\lambda_t+\tau A_{it}+\varepsilon_{it} be a two-way fixed effects model. The within transformation subtracts from each variable its unit mean and its time mean and adds back the grand mean, which removes the fixed effects. The fixed effects estimator is the least squares estimator of τ\tau on the transformed variables, which equals the least squares estimator with indicator variables for every unit and period. Under strict exogeneity the fixed effects estimator is unbiased.

Let there be two groups, a treated group G=1G=1 that receives the treatment between periods t=0t=0 and t=1t=1 and a control group G=0G=0 that never receives it, with potential outcomes Yt(a).Y_t(a). Parallel trends is the assumption that, in the absence of treatment, the mean outcome of the treated group would have changed by the same amount as that of the control group.

E[Y1(0)−Y0(0)∣G=1]=E[Y1(0)−Y0(0)∣G=0]\mathbb{E}\left[Y_1(0)-Y_0(0)\mid G=1\right]=\mathbb{E}\left[Y_1(0)-Y_0(0)\mid G=0\right]

Parallel trends allows the groups to differ in level but not in trend, and it is not invariant to non-linear transformations of the outcome.

Let there be two groups and two periods with parallel trends and no anticipation, so that Y0=Y0(0)Y_0=Y_0(0) for both groups. Difference-in-differences (DiD) is the design that identifies the average treatment effect on the treated in the post-treatment period by subtracting the change in the control group from the change in the treated group.

τATT=(E[Y1∣G=1]−E[Y0∣G=1])−(E[Y1∣G=0]−E[Y0∣G=0])\tau_{\mathrm{ATT}}=\left(\mathbb{E}\left[Y_1\mid G=1\right]-\mathbb{E}\left[Y_0\mid G=1\right]\right)-\left(\mathbb{E}\left[Y_1\mid G=0\right]-\mathbb{E}\left[Y_0\mid G=0\right]\right)

Let Y‾gt\overline{Y}_{gt} be the sample mean outcome in group gg and period t.t. The difference-in-differences estimator is the difference of the sample changes.

τ^DiD:=(Y‾11−Y‾10)−(Y‾01−Y‾00)\hat{\tau}_{\mathrm{DiD}}:=\left(\overline{Y}_{11}-\overline{Y}_{10}\right)-\left(\overline{Y}_{01}-\overline{Y}_{00}\right)

The difference-in-differences estimator has the following properties:

  • it is the least squares coefficient τ\tau on the interaction in the regression Yit=α+βGi+γTt+τ(Gi×Tt)+εitY_{it}=\alpha+\beta G_i+\gamma T_t+\tau\left(G_i\times T_t\right)+\varepsilon_{it} where TtT_t indicates the post-treatment period;
  • with two groups and two periods it coincides with the two-way fixed effects estimator;
  • standard errors must allow for correlation of the errors within units or groups over time, by clustering at the level at which the treatment varies;
  • covariates can be included to make parallel trends plausible conditionally, or to weight the control group so that its covariate distribution matches the treated group.

Let the treated group receive the treatment at period t0t_0 and be observed in periods before and after it. An event study is the two-way fixed effects regression with a separate coefficient for each period relative to the treatment date.

Yit=αi+λt+∑k≠−1τk 1{t−t0=k}Gi+εitY_{it}=\alpha_i+\lambda_t+\sum_{k\neq -1}\tau_k\,\mathbf{1}_{\{t-t_0=k\}}G_i+\varepsilon_{it}

The coefficients τk\tau_k for k<0k<0 are the leads and those for k≥0k\geq 0 are the lags, with k=−1k=-1 as the reference period. The event study has the following properties:

  • the lags estimate the dynamic treatment effects at each horizon after treatment;
  • the leads should be zero under parallel trends and no anticipation, so non-zero leads are evidence against the design, although a pre-trend test with low power does not establish parallel trends.

Let units adopt the treatment at different periods ti∗,t_i^*, with some never adopting. Staggered adoption is the design in which the treatment is absorbing and its timing varies across units. Staggered adoption has the following properties:

  • the two-way fixed effects estimator is a weighted average of all two-group two-period difference-in-differences comparisons in the data, including comparisons that use already-treated units as controls;
  • when treatment effects vary across adoption groups or over time since adoption, the comparisons using already-treated controls receive weights that can be negative, so the two-way fixed effects estimator can have the wrong sign even when every group effect is positive.

Let gg index adoption groups by their adoption period. The group-time average treatment effect is the average treatment effect on the units of group gg in period t.t.

τ(g,t):=E[Yt(1)−Yt(0)∣ti∗=g]\tau\left(g,t\right):=\mathbb{E}\left[Y_t(1)-Y_t(0)\mid t_i^*=g\right]

Under parallel trends between each group and the never-treated or not-yet-treated units, τ(g,t)\tau\left(g,t\right) is identified by a two-group two-period difference-in-differences that uses only valid controls, and summaries such as the average effect by time since adoption are weighted averages of the τ(g,t).\tau\left(g,t\right).

Let XX be a real-valued running variable, cc be a cutoff and the treatment be assigned by whether the running variable exceeds the cutoff. A sharp regression discontinuity design is the design in which A=1{X≥c},A=\mathbf{1}_{\{X\geq c\}}, so that the treatment is a deterministic function of the running variable.

Let XX be a running variable with cutoff cc and Y(a)Y(a) be the potential outcomes. Continuity is the assumption that the conditional mean potential outcomes are continuous in the running variable at the cutoff.

lim⁡x→c−E[Y(a)∣X=x]=lim⁡x→c+E[Y(a)∣X=x]  ∀ a∈{0,1}\lim_{x\rightarrow c^-}\mathbb{E}\left[Y(a)\mid X=x\right]=\lim_{x\rightarrow c^+}\mathbb{E}\left[Y(a)\mid X=x\right]\,\,\forall\,a\in\{0,1\}

Continuity holds when units cannot precisely manipulate their running variable, so that units just below and just above the cutoff are comparable in everything but the treatment.

Let XX be a running variable with cutoff cc in a sharp regression discontinuity design under continuity. The average treatment effect at the cutoff is identified by the jump in the conditional mean outcome at the cutoff.

τRD:=E[Y(1)−Y(0)∣X=c]=lim⁡x→c+E[Y∣X=x]−lim⁡x→c−E[Y∣X=x]\tau_{\mathrm{RD}}:=\mathbb{E}\left[Y(1)-Y(0)\mid X=c\right]=\lim_{x\rightarrow c^+}\mathbb{E}\left[Y\mid X=x\right]-\lim_{x\rightarrow c^-}\mathbb{E}\left[Y\mid X=x\right]

Let h>0h>0 be a bandwidth and KK be a kernel function. The local linear estimator of the regression discontinuity effect fits separate weighted linear regressions of YY on X−cX-c on each side of the cutoff using the units with ∣X−c∣≤h\lvert X-c\rvert\leq h and weights K(X−ch),K\left(\frac{X-c}{h}\right), and takes the difference of their intercepts. The regression discontinuity design has the following properties:

  • the effect is identified only at the cutoff and extrapolates to other values of the running variable only under further assumptions;
  • the bandwidth trades off bias from curvature of the conditional mean against variance from using few units, and is chosen to minimise the asymptotic mean squared error;
  • a discontinuity in the density of the running variable at the cutoff is evidence of manipulation, and discontinuities in the covariates at the cutoff are evidence against continuity.

Let XX be a running variable with cutoff c.c. A fuzzy regression discontinuity design is the design in which crossing the cutoff changes the probability of treatment without determining it, so that P(A=1∣X=x)\mathbb{P}\left(A=1\mid X=x\right) jumps at cc but not from 00 to 1.1. In a fuzzy design the indicator 1{X≥c}\mathbf{1}_{\{X\geq c\}} is an instrument for the treatment at the cutoff, and the local average treatment effect for the compliers at the cutoff is identified by the ratio of the jumps.

τFRD:=lim⁡x→c+E[Y∣X=x]−lim⁡x→c−E[Y∣X=x]lim⁡x→c+E[A∣X=x]−lim⁡x→c−E[A∣X=x]\tau_{\mathrm{FRD}}:=\frac{\lim_{x\rightarrow c^+}\mathbb{E}\left[Y\mid X=x\right]-\lim_{x\rightarrow c^-}\mathbb{E}\left[Y\mid X=x\right]}{\lim_{x\rightarrow c^+}\mathbb{E}\left[A\mid X=x\right]-\lim_{x\rightarrow c^-}\mathbb{E}\left[A\mid X=x\right]}

Let unit 11 be a single treated unit observed over periods t=1,…,T,t=1,\ldots,T, treated from period T0+1,T_0+1, and units 2,…,J+12,\ldots,J+1 be untreated donor units. A synthetic control for unit 11 is a weighted average of the donor units with non-negative weights that sum to one.

w‾∈RJ,wj≥0,∑j=2J+1wj=1\underline{w}\in\mathbb{R}^J,\qquad w_j\geq 0,\qquad\sum_{j=2}^{J+1}w_j=1

Let Y‾jpre=(Yj1,…,YjT0)\underline{Y}_j^{\mathrm{pre}}=\left(Y_{j1},\ldots,Y_{jT_0}\right) be the pre-treatment outcomes of unit jj and Z‾j\underline{Z}_j be its pre-treatment covariates. The synthetic control weights are the weights that minimise the distance between the treated unit and its synthetic control in the pre-treatment period.

w‾^:=arg min⁡w‾∥(Y‾1pre,Z‾1)−∑j=2J+1wj(Y‾jpre,Z‾j)∥V\hat{\underline{w}}:=\operatorname*{arg\,min}_{\underline{w}}\left\lVert\left(\underline{Y}_1^{\mathrm{pre}},\underline{Z}_1\right)-\sum_{j=2}^{J+1}w_j\left(\underline{Y}_j^{\mathrm{pre}},\underline{Z}_j\right)\right\rVert_{V}

Here ∥⋅∥V\lVert\cdot\rVert_V is a weighted norm whose weights VV reflect the predictive importance of each pre-treatment variable.

Let w‾^\hat{\underline{w}} be synthetic control weights. The synthetic control estimator of the treatment effect on the treated unit in post-treatment period t>T0t>T_0 is the difference between the treated unit’s outcome and that of its synthetic control.

τ^1t:=Y1t−∑j=2J+1w^jYjt\hat{\tau}_{1t}:=Y_{1t}-\sum_{j=2}^{J+1}\hat{w}_jY_{jt}

The synthetic control estimator has the following properties:

  • the non-negativity and sum constraints restrict the synthetic control to the convex hull of the donors, which prevents extrapolation and makes the weights sparse and interpretable;
  • the estimator is unbiased under a linear factor model for the outcomes when the pre-treatment fit is exact and T0T_0 is large;
  • a poor pre-treatment fit indicates that no convex combination of donors reproduces the treated unit and the estimator should not be used;
  • inference is by placebo tests, which apply the method to each donor unit in turn and compare the treated unit’s post-treatment gap, relative to its pre-treatment gap, with the distribution of placebo gaps.