EconBase
← Back to paper

Difference-in-Differences in the Presence of Unknown Interference

Extracted main text — title through conclusion, appendix excluded. This is what our citation measures are computed over, published so the extraction can be checked by eye.

47,992 characters · 11 sections · 40 citation commands

Rendered from LaTeX for readability, not typeset faithfully. Citation keys are highlighted; maths is left as source; figures, tables and equation environments are summarised rather than reproduced; unrecognised commands are greyed out so nothing is silently dropped. Email addresses are removed.

Difference-in-Differences in the Presence of Unknown Interference

abstractThe stable unit treatment value (SUTVA) is a crucial assumption in the Difference-in-Differences (DiD) research design. It rules out hidden versions of treatment and any sort of interference and spillover effects across units. Even if this is a strong assumption, it has not received much attention from DiD practitioners and, in many cases, it is not even explicitly stated as an assumption, especially the no-interference assumption. In this technical note, we investigate what the DiD estimand identifies in the presence of unknown interference. We show that the DiD estimand identifies a contrast of causal effects, but it is not informative on any of these causal effects separately, without invoking further assumptions. Then, we explore different sets of assumptions under which the DiD estimand becomes informative about specific causal effects. We illustrate these results by revisiting the seminal paper on minimum wages and employment by card_minimum_1994. JEL-Code: C10, C21, C23. Keywords: Difference-in-Differences, interference, spillover, SUTVA

\thispagestyle{empty}

\setcounter{page}{1}

Introduction

The Stable Unit Treatment Value Assumption (SUTVA) rubin_randomization_1980,imbens_causal_2015 plays a crucial role in the Difference-in-Differences (DiD) research design. This assumption rules out hidden versions of treatment and any form of interference or spillover effects across units, particularly between units belonging to different groups. Despite its importance, SUTVA has received limited attention in DiD research and is often left implicit rather than explicitly stated. Notably, several recent and influential contributions to the DiD literature de_chaisemartin_two-way_2020,callaway_difference--differences_2021,sun_estimating_2021,goodman-bacon_difference--differences_2021,wooldridge_two-way_2021 do not mention SUTVA when the existence of potential outcomes is postulated, albeit this assumption is embedded in the notation used. In a recent survey, arkhangelsky_causal_2024 argue that “there has been little attention paid to models allowing for such interference in the recent causal panel data literature to date.”

This technical note investigates what the DiD estimand identifies in the presence of unknown interference. We demonstrate that the DiD estimand identifies a contrast of causal effects but is not informative on any of these causal effects separately. Specifically, under a modified parallel trends assumption, it identifies the difference between the total effect for treated units and the indirect effect for control units. While the researcher can test whether this difference is zero, they cannot make inference about the magnitude or the direction of either of the underlying effects.

We then propose alternative sets of assumptions under which the DiD estimand becomes informative about specific causal effects. These assumptions leverage information on the trend of the potential outcome in the absence of treatment and on the nature of the interference to partially identify and disentangle the total effect on the treated and the indirect effect on the control separately. We illustrate our results by revisiting the seminal paper on minimum wages and employment by card_minimum_1994. We discuss why the no-interference assumption embedded in SUTVA may be violated in their application, how such violations impact the interpretation of their DiD estimates, and which additional assumptions are needed to maintain the validity of their original conclusions. We also relate our framework to some recent empirical studies braghieri_social_2022,fenizia_organized_2024,chen_regulating_2025,truffa_undergraduate_2025, showing how our formalization clarifies the interpretation of their DiD estimands and provides a structured foundation for arguments that are often made informally.

Recent studies have begun to explore DiD settings under interference. butts_difference--differences_2023 examines DiD in settings with spatial spillovers. The key assumption is that interference across units decays with distance and that some units are sufficiently isolated from treated ones to remain unaffected. xu_difference--differences_2025 proposes doubly robust estimators for the direct average treatment effect on the treated as well as the average spillover effects in the DiD framework from a finite population perspective. This estimation strategy relies on defining an exposure mapping, which maps treatment assigned to exposure received aronow_estimating_2017. sun_difference--differences_2025 consider DiD under network interference. Similarly, grossi_direct_2023 and hettinger_doubly_2024 estimate causal effects in longitudinal settings under the assumption of partial interference.

In this technical note, we remain agnostic about the form that interference takes, allowing for the possibility that all units may interfere with one another. Therefore, we do not impose any form of partial interference, specify an exposure mapping, or restrict our analysis to finite samples. Instead, we adopt the superpopulation approach imbens_causal_2015, standard in the DiD literature arkhangelsky_causal_2024.

The remainder of this technical note is organized as follows. Section (ref) introduces the Difference-in-Differences research design and presents the main identification results under interference. Section (ref) proposes alternative assumptions under which the total effect on the treated and the indirect effect on the control can be (partially) identified. Section (ref) revisits card_minimum_1994 in light of this technical note. Section (ref) concludes.

Difference-in-Differences under interference

This section introduces the canonical DiD research design and examines what the DiD estimand identifies in the presence of interference. For simplicity, we consider the two-group, two-period case. Similar arguments can be employed for the multiple-group, multiple-period case.

Notation and set-up

We consider a panel data setting with $N$ units observed in two periods, $t \in \{ 0, 1\}$. Let $W_{it}$ denote a binary treatment indicator equal to 1 if unit $i$ received a treatment of interest at period $t$, and 0 otherwise. In the pre-treatment period, $t = 0$, no unit is treated ($W_{i0} = 0,\quad \forall i$). In the post-treatment period, $t = 1$, some units receive the treatment. Define $G_{i}$ as a group indicator, equal to 1 if the unit is treated in the second period and 0 otherwise. Formally, $G_{i} = 1 \iff (W_{i0},W_{i1}) = (0,1)$ and $G_{i} = 0 \iff (W_{i0},W_{i1}) = (0,0)$.

Let $Y_{}$ denote the outcome of interest. We postulate the existence of $2^{N\times 2}$ potential outcomes for unit $i$ at time $t$, $Y_{it}(\boldsymbol{W})$, where $\boldsymbol{W}$ is the $N \times 2$ treatment assignment matrix containing the potential treatment assignment for all units in all periods. We can decompose this matrix into $N\times1$ vectors of treatment assignment, one in each period, $Y_{it}(\boldsymbol{W_{0}},\boldsymbol{W_{1}})$, where $\boldsymbol{W_{t}}$ denotes the treatment assignment vector at time $t$. In the specific setting we consider, no unit is treated in period $t = 0$, so we can write $Y_{it}(\boldsymbol{0},\boldsymbol{W_{1}})$.

assumptionNo treatment anticipation. \\ $Y_{i0}(\boldsymbol{{0}},\boldsymbol{W_{1}}) = Y_{i0}(\boldsymbol{{0}},\boldsymbol{W_{1}^{\prime}}) = Y_{i0}(\boldsymbol{{0}}) \quad \forall \boldsymbol{W_{1}}, \boldsymbol{W_{1}^{\prime}}$

Assumption (ref) states that outcomes do not depend on future treatments. This assumption implies that treatments cannot affect outcomes measured before their implementation.

Therefore, we can express the potential outcomes in the pre-treatment period as a function of the contemporaneous treatment vector only, $Y_{i0}(\boldsymbol{W_{0}}) = Y_{i0}(\boldsymbol{0})$. Since no unit is treated at $t=0$ by design, the potential outcomes at $t=1$ can be indexed exclusively by the treatment assignments at that time, $\boldsymbol{W_{1}}$. In the two-group two-period case, under interference and the no-anticipation assumption, each unit is characterized by $2^{N}$ potential outcomes in each period.

We can summarize these $2^N$ potential outcomes by partitioning the treatment assignment vector at period $t$, $\boldsymbol{W_{t}}$, into three components: $\left(W_{it}, \boldsymbol{W_{G_{i}t}},\boldsymbol{W_{1-G_{i}t}}\right)$, where $W_{it}$ denotes the treatment of unit $i$, $\boldsymbol{W_{G_{i}t}}$ denotes the vector of treatments for units in the same group of unit $i$ and $\boldsymbol{W_{1-G_{i}t}}$ denotes the vector of treatments for units opposite group of unit $i$. This notation allows for unknown interference while remaining agnostic about its specific form, both within and across groups. Out of these $2^N$ potential outcomes, only two are observable in the post-treatment period, $Y_{i1}(1,\boldsymbol{1},0)$ for treated units and $Y_{i1}(0,\boldsymbol{0},\boldsymbol{1})$ for control units.

assumptionNo hidden version of treatment \\ $Y_{i0} = Y_{i0}(\boldsymbol{0})$ \\ $Y_{i1} = Y_{i1}(1,\boldsymbol{1},\boldsymbol{0}) W_{i1} + Y_{i1}(0,\boldsymbol{0},\boldsymbol{1})(1-W_{i1})$

Assumption (ref), also known as consistency vanderweele_causal_2013, links the observed outcome for each unit to a single well-defined potential outcome.

The Difference-in-Differences research design is typically used in observational settings where the researcher has no control over the treatment assignment. That is why in this technical note we consider assignment-conditional causal effects, where we take the treatment assignment vector as given and we do not marginalize over all the possible treatment assignments savje_average_2021. All the expectations throughout the note are meant to be super-population expectations imbens_causal_2015.

Canonical DiD under the no-interference assumption

In the canonical Difference-in-Differences research design, a maintained assumption is the no-interference assumption part of SUTVA, although it is often not explicitly stated.

assumptionNo-interference \begin{equation*} Y_{it}(W_{it}, \boldsymbol{W_{G_it}},\boldsymbol{W_{1-G_it}}) =Y_{it}(W_{it}, \boldsymbol{W_{G_it}^{\prime}},\boldsymbol{W_{1-G_it}^{\prime}}) = Y_{it}(W_{it}) \quad \forall \boldsymbol{W_{G_i,t}},\boldsymbol{W_{1-G_it}}, \boldsymbol{W_{G_it}^{\prime}},\boldsymbol{W_{1-G_it}^{\prime}} \end{equation*}

Assumption (ref) states that potential outcomes of unit $i$ do not depend on other units' treatment. It rules out both interference between and within groups. This assumption is strong and is likely to be violated in many scenarios. Under Assumption (ref), it suffices to index the potential outcomes only with the unit's own treatment, which is why it is embedded in the notation used by researchers, even if it is not explicitly stated arkhangelsky_causal_2024.

The target estimand in the canonical DiD research design is the Average Treatment effect on the Treated (ATT)

estimandAverage Treatment effect on the Treated (ATT) \begin{equation*} \mathbb{E}[Y_{i1}(1) - Y_{i1}(0) \mid G_{i} = 1] \end{equation*}

It is clear that, without Assumption (ref), this estimand is ill-defined. Estimand (ref) captures the expected effect of treating a single unit drawn from the treatment group. The DiD research design is typically applied to observational settings where the treatment is confounded with unobservable characteristics. Therefore, the identification of the ATT estimand relies on assumptions on the evolution of these unobservable confounders, given Assumptions (ref) and (ref). The main identification assumption in the canonical DiD framework is the Parallel Trends assumption.

assumptionParallel Trends under no-interference \begin{equation*} \mathbb{E}[Y_{i1}(0)-Y_{i0}(0) \mid G_{i} = 1] = \mathbb{E}[Y_{i1}(0)-Y_{i0}(0) \mid G_{i} = 0] \end{equation*}

Assumption (ref) states that, in the absence of treatment, the difference in expected outcomes between the two groups is constant over time. This Parallel Trends assumption has been the primary focus of the criticism and discussion around the DiD research design (e.g., rambachan_more_2023,roth_when_2023,huber_joint_2024,ghanem_selection_2025). Under the parallel trends assumption, the ATT is identified by the Difference-in-Differences estimand:

estimandDifference-in-Differences (DiD) \begin{equation*} DiD = \mathbb{E}[Y_{i1}-Y_{i0} \mid G_{i} = 1] - \mathbb{E}[Y_{i1}-Y_{i0} \mid G_{i} = 0]. \end{equation*}
propositionUnder Assumptions (ref), (ref), (ref) and (ref), the ATT (Estimand (ref)) is identified by the DiD estimand. \begin{proof} \begin{align*} DiD &= \mathbb{E}[Y_{i1}-Y_{i0} \mid G_{i} = 1] - \mathbb{E}[Y_{i1}-Y_{i0} \mid G_{i} = 0] \\ &=\mathbb{E}[Y_{i1}(1) \mid G_{i} = 1] - \left(\mathbb{E}[Y_{0}(0) \mid G_i = 1]+ \mathbb{E}[Y_{i1}(0)-Y_{i0}(0) \mid G_{i} = 0]\right) \\ &=\mathbb{E}[Y_{i1}(1) \mid G_{i} = 1] - \mathbb{E}[Y_{i1}(0) \mid G_{i} = 1] = ATT, \end{align*} where Assumptions (ref), (ref), and (ref) are used in the second equality to link observed outcomes to potential outcomes, and the third equality follows from Assumption (ref). \end{proof}

Notice that the DiD estimand is not a contrast of potential outcomes on the same set of units and, therefore, it is not a causal estimand on its own. Nonetheless, it corresponds to the ATT under the set of assumptions of the canonical DiD research design (including the no-interference assumption).

DiD under partial interference

Next, we examine the case of partial interference, where units within the same group may interfere with one another but not with units in different groups.

assumptionPartial interference \begin{equation*} Y_{it}(W_{it}, \boldsymbol{W_{G_it}},\boldsymbol{W_{1-G_it}}) =Y_{it}(W_{it}, \boldsymbol{W_{G_it}^},\boldsymbol{W_{1-G_it}^{\prime}}) = Y_{it}(W_{it}, \boldsymbol{W_{G_{i}t}}) \quad \forall \boldsymbol{W_{1-G_it}}, \boldsymbol{W_{1-G_it}^{\prime}} \end{equation*}

Assumption (ref) rules out interference between treated and control units, similar to the SUTNVA assumption in forastiere_identification_2021. This assumption is a weaker version of the no-interference assumption embedded in Assumption (ref). When Assumption (ref) holds, Assumption (ref) also holds. However, the opposite is not true, because even when Assumption (ref) holds, there might be spillovers among the treated units. The immediate consequence of this relaxation is that the main target estimand in the DiD setting, the ATT, is no longer well-defined, since potential outcomes may now also depend on the treatment assignment of other units in the same group. Under partial interference, the following causal estimand is well-defined:

estimandTotal Average Treatment Effect on the Treated under partial interference (TATT-pi) \begin{equation*} \mathbb{E}[Y_{i1}(1,\boldsymbol{1}) - Y_{i1}(0,\boldsymbol{0}) \mid G_{i} = 1] \end{equation*}

Estimand (ref) captures the average effect for a treated unit of treating all the units in its group. This effect encompasses the direct treatment effect on the treated unit as well as the spillover effect from treating the other units in the group. Therefore, this estimand does not capture the effect of treating a single unit (in isolation) but rather the effect of treating the whole group. When no-interference holds, Estimand (ref) is equivalent to the standard ATT.

Under partial interference, we also need to modify the parallel trends assumption as follows:

assumptionParallel trends under partial interference \begin{equation*} \mathbb{E}[Y_{i1}(0,\boldsymbol{0})-Y_{i0}(0,\boldsymbol{0}) \mid G_{i} = 1] = \mathbb{E}[Y_{i1}(0,\boldsymbol{0})-Y_{i0}(0,\boldsymbol{0}) \mid G_{i} = 0]. \end{equation*}

The interpretation of this assumption remains unchanged: in the absence of treatment, the difference in expected outcomes between the two groups would remain constant over time.

propositionUnder Assumptions (ref), (ref), (ref) and (ref), the TATT-pi (Estimand (ref)) is identified by the DiD estimand. \begin{proof} \begin{align*} DiD &= \mathbb{E}[Y_{i1}-Y_{i0} \mid G_{i} = 1] - \mathbb{E}[Y_{i1}-Y_{i0} \mid G_{i} = 0] \\ &=\mathbb{E}[Y_{i1}(1,\boldsymbol{1}) \mid G_{i} = 1] - \left(\mathbb{E}[Y_{0}(0,\boldsymbol{0}) \mid G_i = 1]+ \mathbb{E}[Y_{i1}(0,\boldsymbol{0})-Y_{i0}(0,\boldsymbol{0}) \mid G_{i} = 0]\right) \\ &=\mathbb{E}[Y_{i1}(1,\boldsymbol{1}) \mid G_{i} = 1] - \mathbb{E}[Y_{i1}(0,\boldsymbol{0}) \mid G_{i} = 1] = TATT-pi, \end{align*} where assumptions (ref), (ref), and (ref) are used in the second equality to link observed outcomes to potential outcomes, and the third equality follows from assumption (ref). \end{proof}

Proposition (ref) states that the DiD estimand has a causal interpretation when units interfere within groups, provided that there is no interference between groups. However, it no longer identifies the ATT, which is not well-defined without Assumption (ref), but the TATT-pi. This distinction changes the interpretation of the DiD estimand. Now, it incorporates both the average direct treatment effect and the average spillover effect on the treated. Thus, it should be interpreted as the expected effect when treating the whole group, rather than a single unit. The gap between these two interpretations becomes especially important when scaling up a policy, as changing the composition and size of the treated group may lead to different results. Note that this result is derived under Assumption (ref), which does not impose any constraint on the interference structure within the treatment group.

DiD under unknown interference

In this section, we consider the setting in which no restrictions are imposed on the interference structure among units. In particular, we remain agnostic about whether, and to what extent, units may interfere with one another, thereby allowing for the possibility that interference occurs both within and between groups, and potentially among all units in the population in an unrestricted manner.

We propose the next two estimands, which are well-defined under the presence of any sort of interference.

estimandTotal Average Treatment Effect on the Treated (TATT) under unknown interference \begin{equation*} \tau^{1} = \mathbb{E}[Y_{i1}(1,\boldsymbol{1},\boldsymbol{0}) - Y_{i1}(0,\boldsymbol{0},\boldsymbol{0}) \mid G_{i} = 1] \end{equation*}

Estimand (ref) has a similar interpretation as (ref). Since we now allow for interference between treated and control units, Estimand (ref) is not well-defined, and we must index the potential outcomes with the treatment of all units\footnote{Note that under partial interference the TATT is equivalent to the all-or-nothing effect savje_average_2021 on the treated. Under unknown interference that is no longer true, that is, Estimand (ref) is not equivalent to $\mathbb{E}[Y_{i1}(1,\boldsymbol{1},\boldsymbol{1}) - Y_{i1}(0,\boldsymbol{0},\boldsymbol{0}) \mid G_{i} = 1]$}.

estimandAverage spillover effect on the control (ASC) \begin{equation*} \tau^{0} = \mathbb{E}[Y_{i1}(0,\boldsymbol{0},\boldsymbol{1}) - Y_{i1}(0,\boldsymbol{0},\boldsymbol{0}) \mid G_{i } = 0] \end{equation*}

Estimand (ref) captures the causal effect of the treatment on the non-treated units. It accounts for the average spillover effect from the treated to control units or any effect on the control units derived from the general equilibrium effects of the intervention $\boldsymbol{W_1}$. Under the no-interference assumption, this effect is zero as both potential outcomes are the same.

Next, we introduce the modified parallel trends assumption in the presence of unknown interference.

assumptionParallel trends under unknown interference \begin{equation*} \mathbb{E}[Y_{i1}(0,\boldsymbol{0},\boldsymbol{0})\mid G_{i} = 1]-\mathbb{E}[Y_{i1}(0,\boldsymbol{0},\boldsymbol{0}) \mid G_{i} = 0] = \mathbb{E}[Y_{i0}(0,\boldsymbol{0},\boldsymbol{0})\mid G_{i} = 1]-\mathbb{E}[Y_{i0}(0,\boldsymbol{0},\boldsymbol{0}) \mid G_{i} = 0] \end{equation*}

Assumption (ref) states that, in the absence of the intervention, the difference in expected outcomes between the two groups would have remained constant over time. Therefore, the interpretation of this parallel trends assumption is equivalent to the parallel trends assumption under no-interference (Assumption (ref)) and the parallel trends assumption under partial interference (Assumption (ref))\footnote{In this note, we consider estimands and assumptions whose analogs under SUTVA are well-defined. It is still possible to explore similar parallel trends assumption on other observed potential outcomes under unknown interference, like $Y_{it}(1,\boldsymbol{1},\boldsymbol{0})$ or $Y_{it}(0,\boldsymbol{0},\boldsymbol{1})$, under which identifications of estimands that are well defined only under interference, like the average spillover effects for the treated, could follow.}.

propositionUnder Assumptions (ref), (ref), and (ref), the DiD estimand identifies the difference between the TATT (Estimand (ref), $\tau^1$) and the ASC (Estimand (ref), $\tau^0$) \begin{proof} \begin{align*} DiD &= \mathbb{E}[Y_{i1}-Y_{i0} \mid G_{i} = 1] - \mathbb{E}[Y_{i1}-Y_{i0} \mid G_{i} = 0] \\ &= \mathbb{E}[Y_{i1}(1,\boldsymbol{1},\boldsymbol{0}) - Y_{i0}(0,\boldsymbol{0},\boldsymbol{0})\mid G_{i} = 1] - \mathbb{E}[Y_{i1}(0,\boldsymbol{0},\boldsymbol{1}) - Y_{i0}(0,\boldsymbol{0},\boldsymbol{0})\mid G_{i} = 0 ] \\ &= \mathbb{E}[Y_{i1}(1,\boldsymbol{1},\boldsymbol{0})\mid G_i = 1] - \mathbb{E}[Y_{i1}(0,\boldsymbol{0},\boldsymbol{1})\mid G_i =0] - (\mathbb{E}[Y_{i0}(0,\boldsymbol{0},\boldsymbol{0})\mid G_{i} = 1] - \mathbb{E}[Y_{i0}(0,\boldsymbol{0},\boldsymbol{0})\mid G_{i} = 0 ]) \\ &= \mathbb{E}[Y_{i1}(1,\boldsymbol{1},\boldsymbol{0})\mid G_i = 1] - \mathbb{E}[Y_{i1}(0,\boldsymbol{0},\boldsymbol{1})\mid G_i =0] - (\mathbb{E}[Y_{i1}(0,\boldsymbol{0},\boldsymbol{0})\mid G_{i} = 1] - \mathbb{E}[Y_{i1}(0,\boldsymbol{0},\boldsymbol{0})\mid G_{i} = 0 ]) \\ &=\mathbb{E}[Y_{i1}(1,\boldsymbol{1},\boldsymbol{0}) - Y_{i1}(0,\boldsymbol{0},\boldsymbol{0})\mid G_{i} = 1] - \mathbb{E}[Y_{i1}(0,\boldsymbol{0},\boldsymbol{1}) - Y_{i1}(0,\boldsymbol{0},\boldsymbol{0})\mid G_{i} = 0 ] \equiv \tau^{1} - \tau^{0} \end{align*} where Assumption (ref) and (ref) are used in the second equality to postulate the potential outcomes and link them to the observed outcomes, the third equality just rearranges terms, the fourth equality follows from Assumption (ref), and the fifth equality just rearranges terms back. \end{proof}

Proposition (ref) states that the Difference-in-Differences estimand does not identify a causal effect, but rather a difference of causal effects. It cannot be interpreted as the causal impact of the policy but rather as the difference in impacts between the treatment and the control groups. Notice that estimating the DiD estimand allows for testing whether the intervention had a different average effect on the treated and control groups\footnote{Similar results in the context of factorial designs are noted in xu_factorial_2025}. Still, it does not permit testing and/or learning anything about these two different causal effects separately. If the DiD estimand is equal to 0, it could be because both $\tau^1$ and $\tau^0$ are equal to 0, or because both are equally positive or equally negative. Similarly, a positive DiD only implies that $\tau^{1} > \tau^0$. However, we can have this scenario when both effects are positive, and $\tau^{1}$ is larger than $\tau^0$, when both effects are negative, but $\tau^1$ is less negative than $\tau^0$, and when $\tau^1$ is positive and $\tau^0$ is negative. Therefore, when no-interference is violated, under a Parallel Trends assumption, the DiD estimand reveals how the impact differs across groups; however, we cannot determine the signs of the treatment effects, because for any value of the DiD estimand, there are infinite combinations of the pair of causal effects $(\tau^1,\tau^0)$ that could yield that value.

Alternative identification strategies under unknown interference

We have demonstrated that when the no-interference assumption is violated, even if a parallel trends assumption holds, the DiD estimand lacks a causal interpretation and provides limited information on the actual treatment effect. Next, we discuss additional identification strategies under which the DiD estimand could become informative about the TATT ($\tau^1$) and the ASC ($\tau^0$).

Assumptions on the unobserved trends of $Y(0,\boldsymbol{0},\boldsymbol{0})$.

The fundamental challenge of the DiD research design in the presence of unknown interference is that the potential outcomes in the absence of the treatment for all is not observed for any unit in the post-treatment period. However, if the researcher is willing to assume that the pre-treatment observed value of $Y_0(0,\boldsymbol{0},\boldsymbol{0})$ is informative for the unobserved post-treatment outcome, $Y_1(0,\boldsymbol{0},\boldsymbol{0})$, then they could identify $\tau^1$ and $\tau^0$ separately.

assumptionConstant average potential outcomes in the absence of treatment, $g\in \{0, 1\}$: $$\mathbb{E}[Y_{i1}(0,\boldsymbol{0},\boldsymbol{0})\mid G_{i} = g] = \mathbb{E}[Y_{i0}(0,\boldsymbol{0},\boldsymbol{0})\mid G_{i} = g]$$
propositionUnder Assumptions (ref), (ref), and (ref), $\tau^1$ and $\tau^0$ are identified as follows: \begin{equation*} \tau^g = \mathbb{E}[Y_{i1} - Y_{i0} \mid G_{i} = g]. \end{equation*} \begin{proof} \begin{align*} & \mathbb{E}[Y_{i1} - Y_{i0} \mid G_{i} = 1] = \mathbb{E}[Y_{i1}(1,\boldsymbol{1},\boldsymbol{0}) - Y_{i0}(0,\boldsymbol{0},\boldsymbol{0}) \mid G_i = 1] = \mathbb{E}[Y_{i1}(1,\boldsymbol{1},\boldsymbol{0}) - Y_{i1}(0,\boldsymbol{0},\boldsymbol{0}) \mid G_i = 1] = \tau^{1} \end{align*} where Assumption (ref) and (ref) are used in the first equality to link the observed outcomes to potential outcomes, and the second equality follows from Assumption (ref). Similar arguments can be used to identify $\tau^0$. \end{proof}

Assumption (ref) is strong, yet it illustrates an important insight: in the presence of interference, even if the potential outcomes $Y_{1}(0,0,0)$ were observed, we could not compare treatment and control groups to identify causal effects, as both groups are affected (potentially differently) by the treatment. A more general version of this assumption is given by:

assumptionRange of the time trend of outcome in the absence of treatment: $$ \mathbb{E}[Y_{it+1}(0,\boldsymbol{0},\boldsymbol{0})\mid G_{i} = g] - \mathbb{E}[Y_{it}(0,\boldsymbol{0},\boldsymbol{0}) \mid G_{i} = g] \in[-k, k],$$ with $k \in \mathbb{R}_{+}$.

Assumption (ref) postulates that the difference over time of the average potential outcomes lies in the range $\pm k$ (see also rambachan_more_2023 for similar assumptions in the DiD context). Under Assumption (ref), we can partially identify $\tau^1$ and $\tau^0$ as follows:

propositionUnder Assumptions (ref), (ref), and (ref), $\tau^1$ and $\tau^0$ are partially identified as follows: \begin{equation*} \tau^{g} \in \bigg[ \mathbb{E}[Y_{i1} - Y_{i0} \mid G_{i} = g] - k \quad , \quad \mathbb{E}[Y_{i1} - Y_{i0} \mid G_{i} = g] + k \bigg] \end{equation*} \begin{proof} By Assumptions (ref) and (ref), \begin{equation*} \mathbb{E}[Y_{i1} - Y_{i0} \mid G_{i} = 1] = \mathbb{E}[Y_{i1}(1,\boldsymbol{1},\boldsymbol{0}) - Y_{i0}(0,\boldsymbol{0},\boldsymbol{0}) \mid G_i = 1], \end{equation*} and from Assumption (ref), it follows that \begin{equation*} \mathbb{E}[Y_{i1}(0,\boldsymbol{0},\boldsymbol{0}) \mid G_i = 1] \leq \mathbb{E}[Y_{i0}(0,\boldsymbol{0},\boldsymbol{0}) \mid G_i = 1] + k \end{equation*} and \begin{equation*} \mathbb{E}[Y_{i1}(0,\boldsymbol{0},\boldsymbol{0}) \mid G_i = 1] \geq \mathbb{E}[ Y_{i0}(0,\boldsymbol{0},\boldsymbol{0}) \mid G_i = 1] - k. \end{equation*} So we have that \begin{equation*} \mathbb{E}[Y_{i1}(1,\boldsymbol{1},\boldsymbol{0}) - Y_{i1}(0,\boldsymbol{0},\boldsymbol{0}) \mid G_i = 1] \geq \mathbb{E}[Y_{i1}(1,\boldsymbol{1},\boldsymbol{0}) - Y_{i0}(0,\boldsymbol{0},\boldsymbol{0}) \mid G_i = 1] - k = \mathbb{E}[Y_{i1} - Y_{i0} \mid G_{i} = 1] - k \end{equation*} and \begin{equation*} \mathbb{E}[Y_{i1}(1,\boldsymbol{1},\boldsymbol{0}) - Y_{i1}(0,\boldsymbol{0},\boldsymbol{0}) \mid G_i = 1] \leq \mathbb{E}[Y_{i1}(1\boldsymbol{,}1,\boldsymbol{0}) - Y_{i0}(0,\boldsymbol{0},\boldsymbol{0}) \mid G_i = 1] + k = \mathbb{E}[Y_{i1} - Y_{i0} \mid G_{i} = 1] + k. \end{equation*} Similar arguments can be used to identify $\tau^0$. \end{proof}

If the researcher assumes a specific range of the trend on the unobserved potential outcome $Y(0,0,0)$, it would be possible to partially identify the causal effects for a given value of that trend. Again, there is no need to compare the treatment and control groups, or to assume parallel trends. Moreover, it is possible to find the value of $k$ such that the lower/upper bound of $\tau^g$ becomes equal to 0, that is, the slope in the linear trend required for the treatment effect to vanish.

Assumption on the causal effects $\tau^{1}$ and $\tau^{0}$

In some scenarios, researchers' prior knowledge may justify assumptions on the causal effects of interest, $\tau^1$ and $\tau^0$. For instance, the assumption of no-interference across groups can be interpreted as imposing $\tau^0 = 0$. Depending on the type of intervention and the nature of the interference, researchers may be willing to make the following assumptions, which constrain the causal effects while remaining agnostic on how interference interplays with the outcomes.

assumptionSign of the average spillover effect on the control (ASC) \begin{enumerate} • $\tau^{0} \geq 0$$\tau^{0} \leq 0$ \end{enumerate}
propositionUnder Assumptions (ref), (ref), (ref) and (ref), the total effect on the treated, $\tau^1$, is partially identified as follows: Under Assumption (ref)a, $\tau^{1}\geq DiD$. Under Assumption (ref)b, $\tau^{1}\leq DiD$. \begin{proof} From Proposition (ref), \begin{align*} DiD = \tau^1 - \tau^0 \end{align*} If $\tau^0 \geq 0$ (Assumption (ref)a), then $DiD \leq \tau^1$. If $\tau^0 \leq 0$ (Assumption (ref)b), then $DiD \geq \tau^1$. \end{proof}

While Assumption (ref) is strong, as it specifies the sign of the average spillover effect on the control, it still allows for heterogeneity in these spillovers. Some examples in which this assumption could be acceptable are those in which the channel of interference is well understood. For instance, clinical trials where control units also benefit from the drug through herd immunity. On the other hand, this assumption is not realistic in settings where interference arises from general equilibrium effects, making the sign of the spillover more ambiguous a priori.

assumptionMagnitude of the effects $$\mid \tau^{1}\mid \quad \geq\quad \mid \tau^{0}\mid $$
propositionUnder Assumptions (ref), (ref), (ref) and (ref), the sign of $\tau^1$ coincides with the sign of the DiD estimand, $\text{sgn}(\tau^1) = \text{sgn}(DiD)$. \begin{proof} \begin{align*} sgn(DiD) = sgn(\tau^1 - \tau^0) = sgn\left(\tau^1\left(1-\frac{\tau^0}{\tau^1}\right)\right) = sgn(\tau^1) \end{align*} where the first equality comes from Proposition (ref), and the third equality from Assumption (ref), which implies that $1 - \frac{\tau^0}{\tau^1} > 0$. \end{proof}

Assumption (ref) establishes that the total effect on the treated units is larger in absolute value than the spillover effect on control units. Under this assumption, the sign of $\tau^{1}$ is identified, with $\text{sgn}(\tau^1) = \text{sgn}(DiD)$, as stated by Proposition (ref). This assumption is plausible in settings where the researcher wants to remain agnostic about the sign of the causal effects, but the nature of the interference implies that the control group cannot be more impacted than the treatment group.

For example, consider a study evaluating the effect of opening a new mine on a health outcome. The location of the new mine is likely confounded with many unobservable variables that also influence health, so the researchers adopt a DiD research design. They collect data on health status both before and after the mine opens. People who live close to the mine are considered treated, and people living further away are included in the control group. If the mine affects health through air pollution, it is likely that the control units are also affected by the opening, as pollutants can travel through the air, exposing all the units in the sample. As argued in this section, the DiD estimand only identifies how different these two groups are affected. However, in this case, it is reasonable to assume that, whatever the effect is, it will affect treated units more severely. From Proposition (ref), researchers could identify the sign of $\tau^{1}$. Furthermore, if researchers also assume the sign of the spillover effect (for instance, assuming it has the same sign as the total effect for the treated), then they could interpret their DiD estimate as a lower/upper bound, following Proposition (ref).

table[table omitted — 3,153 chars of source]

Application: revisiting card_minimum_1994

In this section, we revisit the seminal paper by card_minimum_1994 to illustrate our results. In the year 1992, the state of New Jersey raised the minimum wage from \$4.25 to \$5.05. card_minimum_1994 investigate the effect of this minimum wage increase on employment. To do so, card_minimum_1994 interviewed a sample of fast food restaurants in New Jersey and eastern Pennsylvania, where the minimum wage remained constant, right before the implementation of the raise and 7-8 months after. Then, they estimate the effect on full-time equivalent (FTE) workers using DiD. Table (ref) summarizes their findings.

table[table omitted — 489 chars of source]

Table (ref) reports the average number of FTE workers employed in each state. The average employment in New Jersey increased slightly after the minimum wage hike, while employment in Pennsylvania decreased. This yields a DiD estimate equal to 2.75 FTE employees. Under the parallel trends assumption and no-interference, we could conclude that the increase in minimum wage increased employment in New Jersey's restaurants by 2.75 FTE workers on average, as argued by the authors who claim “we find that the increase in the minimum wage increased employment” card_minimum_1994.

However, a substantial body of literature in economics demonstrates that increases in minimum wages generate spillover effects (e.g., grossman_impact_1983,cengiz_effect_2019,caires_internal_2024). Part of this literature focuses on spatial spillovers and demonstrates that the increase of minimum wages may also affect bordering regions in various ways (e.g., kuehn_spillover_2016,shirley_response_2018,mckinnish_cross-state_2017,jardim_minimum-wage_2022,jha_whats_2024), with commuting being one of the main drivers of spillovers. In the presence of general equilibrium effects, it is reasonable to think that the increase in minimum wage in New Jersey also affected fast food restaurants in eastern Pennsylvania, thereby violating the no-interference assumption. The spillovers could arise from multiple channels and operate in different directions. For instance, in the context of cross-border commuting, some Pennsylvania workers may have sought employment in New Jersey to benefit from higher wages, reducing labor supply in Pennsylvania and exerting downward pressure on restaurant employment there. This mechanism could explain the observed decline in Pennsylvania employment, which drives the positive treatment effect for New Jersey.

If interference is present, it is no longer possible to claim that the increase in the minimum wage led to an increase in employment. Instead, conditional on the parallel trends assumption (Assumption (ref)) holding, we can only determine the differential effect. That is, we could conclude that the total average effect of the raise in minimum wage on employment in New Jersey was 2.75 FTE employees larger than the average spillover effect in Pennsylvania. However, we cannot determine the effect on employment in any of the states. In fact, it is possible that the rise in minimum wage decreased employment in both states, with a larger decrease in Pennsylvania, resulting in a positive difference but contradicting the original claim in card_minimum_1994.

In light of Section (ref), there are alternative assumptions under which the conclusions in card_minimum_1994 remain valid in the presence of unknown interference. One such assumption is that, regardless of the sign of the average spillover effect in Pennsylvania, this effect is smaller in magnitude than the total effect in New Jersey, that is, Assumption (ref). Under this assumption, the DiD estimate identifies the sign of the total average effect for New Jersey's restaurant, allowing us to conclude that the minimum wage increase did raise employment.

Another possibility is to assume that the minimum wage increase in New Jersey led to an increase in employment in Pennsylvania, that is, Assumption (ref)a. Under this assumption, not only does the original conclusion remain valid, but the estimated increase of 2.75 FTE workers can be interpreted as the lower bound of the true causal effect for New Jersey.

Finally, we can impose assumptions on the trends of the expected outcomes in the absence of treatment, as in Assumptions (ref) and (ref). If the average employment had remained constant in both states without the minimum wage increase, we could conclude that the policy had a positive but limited effect on New Jersey (0.59 FET workers), and a large negative effect on the neighboring region of Pennsylvania (-2.16 FET workers). To rule out these effects, we would need to assume that, in the absence of treatment, New Jersey was in a slight upward trend, and Pennsylvania in a sharp downward one, with employment falling by roughly 10% in less than a year.

There are several recent examples published in high-impact journals that do not explicitly invoke SUTVA or the no-interference assumption, but nonetheless discuss potential complications arising from spillover effects. These papers challenge the interpretation of the DiD estimates, characterizing them as `general equilibrium' effects that comprises both indirect and direct effects on the treated braghieri_social_2022, in line with our Estimand (ref); argue about the direction of the bias coming from the spillovers and how the DiD estimate can be interpreted as a lower bound truffa_undergraduate_2025, in line with our results in Proposition (ref); or try to disentangle the $TATT$ ($\tau^1$) and ASC ($\tau^0$) by imputing the missing potential outcome $Y_{i2}(0, \boldsymbol{0},\boldsymbol{0})$ either by finding a control group unaffected by the spillovers fenizia_organized_2024 or by defining an exposure mapping to model interference chen_regulating_2025. By postulating the complete set of potential outcomes and defining causal estimands in the presence of spillovers, this technical note aims to clarify and add structure to such discussions.

Concluding remarks

In this note we have shown that, in the presence of unknown interference, the canonical DiD research design only identifies a contrast of causal effects, but it is not informative on any of them separately. We have provided assumptions under which researchers can (partially) identify policy-relevant causal effects in such settings. Throughout the paper, we have remained agnostic about the form interference takes, allowing for arbitrary patterns of spillovers. An alternative approach is to directly model interference, as a recent and growing literature has begun to do butts_difference--differences_2023,grossi_direct_2023,hettinger_doubly_2024,sun_difference--differences_2025,xu_difference--differences_2025.

We have considered only the simplest case of two groups and two periods. However, in most applications, researchers have access to multiple periods of data roth_whats_2023, and the intervention of interest is implemented in a staggered fashion. Our results still apply in these settings. Nevertheless, the availability of multiple periods and groups creates opportunities to explore alternative identification strategies that exploit knowledge about carryover effects and the intensity of spillovers.