From Assumptions to an Identifying Contrast
An observed difference in average outcomes between treated and untreated people is not automatically a causal effect. The groups may differ in pretreatment characteristics that also predict the outcome. The identification argument here makes the target explicit, states what links potential outcomes to observed data, and derives the observed-data quantity that equals the target under those assumptions.
Consider a binary treatment \(A\), where \(A=1\) denotes treatment and \(A=0\) denotes no treatment, an outcome \(Y\), and a vector \(X\) of pretreatment covariates. Write \(Y(1)\) and \(Y(0)\) for the outcomes the same unit would have under treatment and no treatment, respectively. Only \(Y=Y(A)\) is observed for each unit.
The aim is to express each mean \(E[Y(a)]\) using observed outcomes and the target population distribution of \(X\). The result is a covariate-standardized contrast: compare the observed conditional means for treatment and no treatment at each covariate value, then average those differences over the target population.
Assumptions for the Argument
The following assumptions are stated for the target population. The outcome must have finite means under both treatment levels. The other three assumptions are the substantive links between the causal target and the observed data.
A commonly stated, stronger version of conditional exchangeability is joint independence, \((Y(0),Y(1))\perp A\mid X\). Joint independence implies each of the componentwise conditions above. The converse does not generally hold: separate independence of each potential outcome does not guarantee independence of the pair. The derivation here uses the componentwise conditions, not an assertion that the two formulations are equivalent.
The Identification Derivation
Define the observed conditional mean \(m_a(x)=E[Y\mid A=a,X=x]\). For a discrete \(X\), averaging over its distribution means summing across its values; for a continuous \(X\), it means integrating with respect to that distribution. The derivation applies to each treatment level \(a\).
The first equality is the law of iterated expectations. Conditional exchangeability justifies the second: within \(X\), the conditional mean of \(Y(a)\) is the same among those assigned \(A=a\) as in the full covariate stratum. Positivity ensures that this treatment group exists with positive probability at the relevant covariate values, so the conditional mean given \(A=a,X\) is available there. Consistency justifies the third equality, because in the group with \(A=a\), the observed outcome is \(Y(a)\). These steps also require the finite-mean condition so that the expectations are well-defined.
Apply the result once for \(a=1\) and once for \(a=0\), and subtract. This yields the identifying expression for the target contrast:
This is an identification result, not by itself an estimation recipe or a guarantee of precise estimates. In a sample, analysts estimate the conditional means and average their difference over a sample representing the target covariate distribution. Sampling uncertainty and choices about how to estimate those means are separate questions.
Worked Applications
Worked Example: Standardizing Across Two Covariate Strata
Suppose a hypothetical target population has two levels of a pretreatment covariate \(X\). Among 100 people, 60 have \(X=0\) and 40 have \(X=1\). The observed conditional outcome means, in outcome units, are as follows.
| Covariate level | Population share | Mean if observed treated, \(m_1(x)\) | Mean if observed untreated, \(m_0(x)\) |
|---|---|---|---|
| \(X=0\) | 0.60 | 8 | 5 |
| \(X=1\) | 0.40 | 14 | 10 |
Assume consistency and conditional exchangeability hold, both treatment levels occur in both strata, and the outcome means are finite. The positive-probability condition is supported in this example by hypothetical stratum counts: at \(X=0\), 20 people are treated and 40 untreated; at \(X=1\), 30 are treated and 10 untreated. The stratum-specific mean contrasts are \(8-5=3\) and \(14-10=4\). Standardizing to the target population gives
Under the stated assumptions, the identified average treatment effect is 3.4 outcome units. For comparison, the crude treated mean is \(\{20(8)+30(14)\}/50=11.6\), and the crude untreated mean is \(\{40(5)+10(10)\}/50=6.0\). Their difference is \(11.6-6.0=5.6\), not 3.4. The observed groups have different proportions in the two covariate strata, so their crude difference does not perform the target-population standardization.
Worked Example: Averaging Over a Continuous Covariate
Consider a hypothetical target population in which \(X\) is uniformly distributed from 0 to 10. Suppose the observed conditional outcome means are \(m_1(x)=2+0.5x\) and \(m_0(x)=1+0.2x\) over this support. Assume the conditional mean exchangeability conditions, consistency, positivity at every \(x\) in the support, and finite means.
The conditional contrast is \(m_1(x)-m_0(x)=(2+0.5x)-(1+0.2x)=1+0.3x\). For a uniform distribution on 0 to 10, \(E[X]=(0+10)/2=5\). Therefore,
The identified contrast is 2.5 outcome units. It is not the contrast at every covariate value: the conditional difference ranges from 1.0 units at \(X=0\) to 4.0 units at \(X=10\). The population average depends on the distribution of \(X\) over which the conditional differences are averaged.
Worked Example: A Covariate Stratum Without Both Treatments
Suppose a hypothetical target population has two equally common strata. At \(X=0\), both treatment levels are observed, with conditional means \(m_1(0)=4\) and \(m_0(0)=2\). At \(X=1\), everyone is treated and the observed treated mean is 8; there are no untreated observations. The untreated conditional mean at \(X=1\) cannot be calculated from these data.
To see the consequence, consider two possible assignments of the missing potential outcomes at \(X=1\). If their mean \(Y(0)\) were 0, the stratum’s mean treatment effect would be \(8-0=8\), and the overall contrast would be \(0.5(4-2)+0.5(8)=5\). If instead their mean \(Y(0)\) were 10, the stratum’s effect would be \(8-10=-2\), and the overall contrast would be \(0.5(4-2)+0.5(-2)=0\). Both possibilities agree with the stated observed means, yet they imply different population contrasts.
Here \(P(A=0\mid X=1)=0\), so positivity fails. The identifying formula requires \(m_0(1)\), but the observed data do not provide it. Additional assumptions or information might permit extrapolation, but the stated assumptions alone do not identify this target contrast.
What to Check, and What the Formula Does Not Guarantee
The derivation is short, but each assumption does a distinct job. Consistency links an observed outcome to a potential outcome for the treatment received. Exchangeability links the potential outcome mean among those receiving a treatment to the corresponding mean in the full covariate stratum. Positivity makes both treatment-specific conditional means available throughout the target support. None of these roles can be replaced merely by calculating a difference in observed averages.
- Check covariate support. Look for target-population covariate values with little or no representation in one treatment group. Empty strata violate positivity; very sparse strata can make estimates unstable even when strict positivity holds.
- Keep the target distribution explicit. The averaging distribution in \(E_X\{m_1(X)-m_0(X)\}\) is the target population’s distribution of \(X\). Changing that distribution can change the contrast.
- Distinguish assumptions from diagnostics. Observed data can reveal some lack of overlap, but they cannot establish that all relevant confounders were measured or that conditional exchangeability is true. The assumptions require substantive judgment as well as data checks.
- Do not mistake an estimate for identification. A fitted model may produce a number when some treatment-covariate combinations are absent. Producing that number does not restore positivity or make its extrapolation an implication of the assumptions.
The main alternative to standardization is the unadjusted observed mean difference, \(E[Y\mid A=1]-E[Y\mid A=0]\). That contrast can equal the target effect under additional conditions, such as unconditional exchangeability, but conditional exchangeability given \(X\) alone does not generally imply that equality. Standardization instead uses the conditional means and averages them using the target distribution of \(X\). More elaborate adjustment methods may estimate the same identifying expression in different ways; they do not remove the need for the identification assumptions.
A common mistake is to say, “The treated mean is higher, so treatment caused the difference,” or to call a crude difference an adjusted effect simply because covariates were recorded. The correction is to name the target contrast, establish the relevant assumptions, and show how the observed-data expression follows from them. Also avoid saying that componentwise independence is “equivalent” to joint exchangeability: joint independence implies componentwise independence, but the reverse implication is not generally valid. The componentwise conditions are sufficient for this derivation.
Check Your Understanding
Answer each question, then compare your reasoning with the brief solutions.
- Write the identifying expression for the average treatment effect using \(m_1(X)\) and \(m_0(X)\).
- Which assumption justifies replacing \(E[Y(a)\mid A=a,X]\) with \(E[Y\mid A=a,X]\)?
- Suppose \(X\) has two equally common levels, and the conditional contrasts are 2 and 6 outcome units. What is the standardized contrast?
- If no untreated people have \(X=x\) in part of the target population, which assumption fails, and what term in the identifying expression is unavailable?
- Does joint conditional independence of \((Y(0),Y(1))\) and \(A\) follow from separate conditional independence statements for \(Y(0)\) and \(Y(1)\)?
Solutions. 1. \(\tau=E_X\{m_1(X)-m_0(X)\}\). 2. Consistency: when \(A=a\), the observed outcome is \(Y(a)\). 3. \(0.5(2)+0.5(6)=4\) outcome units. 4. Positivity fails, and \(m_0(x)=E[Y\mid A=0,X=x]\) is unavailable there. 5. No. Joint conditional independence implies the componentwise conditions, but separate componentwise independence does not generally imply joint independence; the identification derivation needs only the componentwise conditions.