Why Estimate Blips Backward?
With treatment at several times, the observed outcome reflects effects from multiple treatment decisions. A later treatment may also be associated with an earlier one because treatment histories influence subsequent care. Estimating an early treatment effect directly from the final outcome can therefore mix the early blip with effects of later treatment.
Backward g-estimation separates these contributions. It first removes the modeled effect of the latest treatment from the outcome, then uses that adjusted outcome to estimate the preceding treatment blip. Repeating the process yields estimates from the final treatment time back to the first.
The Backward Recursion
Suppose there are \(T\) treatment times and a final outcome \(Y\). Define the starting pseudo-outcome by \(R_{T+1}=Y\). For a candidate collection of blip parameters, work backward according to
At time \(t\), the later blips have already been subtracted from \(R_{t+1}\). The current blip is then subtracted to form \(R_t\). If the blip models are correct and their parameters are the true values, \(R_t\) has had the modeled effects of treatment from time \(t\) onward removed. The last quantity, \(R_1\), is an outcome blipped down across all treatment times.
Backward estimation uses this recursion in reverse time order. Estimate \(\psi_T\) from the final outcome, use that estimate to construct \(R_T\), estimate \(\psi_{T-1}\) using \(R_T\), and continue until time 1. At each step, the target is the effect of the current treatment after later treatment effects have been removed.
Worked Example: Blipping Down One Observed History
Consider three treatment times for one hypothetical participant. Suppose the observed outcome is \(Y=20\), the treatment history is \((A_1,A_2,A_3)=(1,0,1)\), and the fitted additive blips for this history are 2 outcome units at time 1, 0 at time 2, and 3 at time 3. Apply the recursion.
Start with \(R_4=Y=20\). At the final time, subtract the time-3 blip: \(R_3=20-3=17\).
At time 2, the participant received no treatment and the specified blip for \(A_2=0\) is zero: \(R_2=17-0=17\).
At time 1, subtract the time-1 blip: \(R_1=17-2=15\). The result is the outcome after subtracting the three modeled contributions along this treatment history. This calculation illustrates the recursion; one participant’s pseudo-outcome is not, by itself, an estimate of a blip parameter.
Identification and the Estimation Step
To estimate a blip, g-estimation searches for parameters that remove the current treatment’s conditional association with the appropriately blipped-down outcome. In the binary-treatment case, this idea can be expressed as equality of conditional means for treated and untreated participants with the same history.
This equality describes the identifying condition at the true parameters; it does not require the treatment groups to have the same distribution of histories. The comparison is within \(H_t\). In practice, the conditional means are estimated from data, and the parameters are chosen so the fitted blipped-down outcome satisfies the corresponding g-estimation condition.
Sequential exchangeability is the causal condition that allows a within-history treatment comparison to identify the corresponding causal blip rather than an association caused by unmeasured confounding. Positivity ensures that the comparison is supported by data: if everyone with a particular history receives treatment, the untreated conditional mean for that history cannot be learned from the observed data. Correct specification matters because subtracting an incorrect later blip leaves some later treatment effect in the pseudo-outcome.
Why the Later Blip Is Removed First
The central justification is that the treatment contrast at time \(t\) should be taken on an outcome from which later modeled effects have already been removed. Under the assumptions above, the correctly blipped-down outcome has no remaining conditional mean effect of the current treatment. For a binary treatment with a zero blip at \(A_t=0\), the conditional mean contrast in \(R_{t+1}\) is therefore the current blip:
The first equality follows because subtracting the true current blip from \(R_{t+1}\) leaves \(R_t\), whose conditional mean does not vary with \(A_t\) under the identifying condition. The second equality uses the zero blip for no treatment. Thus the current blip can be found from the conditional contrast in the outcome after later effects have been removed. Estimating this contrast from the unadjusted final outcome instead can attribute part of a later effect to the earlier treatment.
Worked Example: Two Visits With Balanced Histories
Suppose a hypothetical study has two binary treatments and no additional covariates. The table gives the number of participants and mean outcome in each treatment-history group. Assume consistency, sequential exchangeability given the observed history, positivity, and additive blips that are constant across histories.
| \(A_1\) | \(A_2\) | Number of participants | Mean \(Y\) (outcome units) |
|---|---|---|---|
| 0 | 0 | 2 | 11 |
| 0 | 1 | 2 | 14 |
| 1 | 0 | 2 | 13 |
| 1 | 1 | 2 | 16 |
First estimate the time-2 blip by comparing \(A_2=1\) with \(A_2=0\) within each \(A_1\) history. For \(A_1=0\), the contrast is \(14-11=3\) outcome units. For \(A_1=1\), it is \(16-13=3\) outcome units. Both comparisons support the estimate \(\hat{\psi}_2=3\) outcome units.
Next subtract the estimated time-2 blip from each participant’s outcome: \(R_2=Y-3A_2\). For the four treatment-history groups, the blipped-down means are \(11\), \(14-3=11\), \(13\), and \(16-3=13\) outcome units, respectively.
Now compare \(A_1=1\) with \(A_1=0\) using these adjusted means. The contrast is \(13-11=2\) outcome units, so \(\hat{\psi}_1=2\) outcome units. The procedure estimates the later effect first, removes it, and then estimates the earlier effect.
Uneven Treatment Histories
Treatment probabilities may differ across histories. Backward g-estimation does not require treatment to be equally common in every history, but it does require both treatment levels to occur with positive probability in the histories used for a comparison. The next example shows how removing a later blip can matter even when the marginal treatment groups have very different compositions.
Worked Example: Uneven Histories Can Distort an Early Contrast
Consider a second hypothetical two-visit data set. Assume the same identification conditions and constant additive blips. The cell counts are uneven, but all four treatment histories occur.
| \(A_1\) | \(A_2\) | Number of participants | Mean \(Y\) (outcome units) |
|---|---|---|---|
| 0 | 0 | 3 | 10 |
| 0 | 1 | 1 | 13 |
| 1 | 0 | 1 | 12 |
| 1 | 1 | 3 | 15 |
Within \(A_1=0\), the time-2 contrast is \(13-10=3\) outcome units. Within \(A_1=1\), it is \(15-12=3\) outcome units. The estimate is therefore \(\hat{\psi}_2=3\) outcome units.
The overall mean for \(A_1=0\) is \((3\times10+1\times13)/4=43/4=10.75\) outcome units. The overall mean for \(A_1=1\) is \((1\times12+3\times15)/4=57/4=14.25\) outcome units. The unadjusted difference is \(14.25-10.75=3.50\) outcome units, not the time-1 blip.
After estimating the later blip, calculate \(R_2=Y-3A_2\). For \(A_1=0\), the adjusted mean is \((3\times10+1\times(13-3))/4=40/4=10\) outcome units. For \(A_1=1\), it is \((1\times12+3\times(15-3))/4=48/4=12\) outcome units. The adjusted contrast is \(12-10=2\) outcome units, which is the time-1 estimate under this model. The example shows why an early contrast in the final outcome can be misleading when the distribution of later treatment differs by earlier treatment.
Common Mistakes and Practical Meaning
- Estimating the first blip from the final outcome without adjustment. This can include the effects of later treatment. Estimate later blips first and subtract them before estimating earlier ones.
- Comparing treatment groups without conditioning on history. Sequential exchangeability is stated conditional on \(H_t\); a marginal comparison need not identify the current blip.
- Assuming positivity from an overall treatment count. Both treatment levels must occur within the relevant histories. A large sample cannot repair a history stratum with no treatment variation.
- Treating an estimated pseudo-outcome as an observed counterfactual. It is constructed by subtracting fitted blips from observed outcomes. Its causal interpretation depends on the assumptions and model being adequate.
The backward order is useful because it makes the role of each treatment time explicit: later effects are removed before earlier ones are estimated. It does not make the conclusions automatic. Unmeasured confounding, lack of treatment variation, or misspecified blip functions can undermine identification or estimation, and the recursion cannot correct those problems by itself.
Check Your Understanding
Use the definitions and backward logic above to answer these questions.
- For three treatment times, in what order are the blip parameters estimated, and why?
- If the estimated time-2 blip is 4 outcome units and \(A_2=1\), how does that treatment contribute to the time-2 blip-down transformation in an additive model?
- Why must treatment comparisons be made within histories rather than only by comparing overall treated and untreated means?
- In the uneven-history example, what is the unadjusted \(A_1\) contrast, and what is the contrast after removing the time-2 blip?
- What problem arises if a history has no participants with \(A_t=0\) or no participants with \(A_t=1\)?