Tracing Routes From Treatment to Outcome
In a longitudinal study, an initial treatment can affect a later health measure through changes in an intermediate covariate. It may also affect the outcome along routes that do not pass through that covariate. For example, a treatment might change a biomarker that influences the outcome, while also affecting the outcome through a different biological process. A causal diagram helps keep these routes distinct.
The distinction is about the structure of a causal route, not about statistical association after adjustment. In particular, seeing a path through an intermediate variable does not by itself quantify mediation, and seeing a path that bypasses the variable does not automatically identify a direct effect. The graph records possible causal connections under its assumptions; further assumptions and an estimand are needed to make numerical causal claims.
Consider a graph with arrows \(A\to L\), \(L\to Y\), and \(A\to Y\). There are two directed paths from \(A\) to \(Y\): \(A\to L\to Y\), which goes through \(L\), and \(A\to Y\), which bypasses \(L\). If the graph also contains \(L\to A_1\to Y\), then \(A\to L\to A_1\to Y\) is another path through \(L\). The classification is always relative to the specified intermediate covariate: a path may pass through one post-treatment variable while bypassing another.
Worked Example: Two Routes in a Simple Structural Model
Suppose treatment \(A\) is binary and the structural equations are \(L=2A+U_L\) and \(Y=3L+4A+U_Y\), where the disturbances \(U_L\) and \(U_Y\) do not change when \(A\) is intervened on. The graph has arrows \(A\to L\), \(L\to Y\), and \(A\to Y\). Compare the outcomes under \(do(A=1)\) and \(do(A=0)\), holding the disturbances fixed.
Under \(do(A=1)\), \(L=2+U_L\), so \(Y=3(2+U_L)+4+U_Y=10+3U_L+U_Y\). Under \(do(A=0)\), \(L=U_L\), so \(Y=3U_L+U_Y\). The outcome contrast is \(10\).
The change in \(L\) is \(2\), and its contribution to \(Y\) through \(L\) is \(3\times2=6\). The arrow \(A\to Y\) contributes \(4\) along the path that bypasses \(L\). Their sum, \(6+4=10\), matches the intervention contrast. This calculation depends on the stated additive linear equations; the graph alone supplies no values of \(2\), \(3\), or \(4\).
What a Path Does and Does Not Establish
A directed path gives a possible route for an effect to propagate. It does not guarantee that the net effect along that route is nonzero. A structural coefficient may be zero, or effects along different routes may cancel. Conversely, if the graph is a correctly specified causal DAG and there is no directed path from \(A\) to \(Y\), changing \(A\) cannot change \(Y\) through the modeled causal mechanisms.
Proof. Order the nodes so that every parent precedes its child, which is possible because the graph is finite and acyclic. Under two intervention values for \(A\), the structural values of nodes that are not descendants of \(A\) are identical: proceed in this order, noting that their equations and all their parent values are unchanged. Since there is no directed path from \(A\) to \(Y\), \(Y\) is not a descendant of \(A\). Its parents therefore have identical values under both interventions, so its structural equation gives the same value of \(Y\). This argument is for each fixed setting of the disturbances; it also implies equality of outcome distributions if the disturbances have the same distribution under both interventions. \(\square\)
The result is conditional on the model: the graph must include the relevant causal relationships, and the intervention must not alter other structural equations. An omitted causal route or an intervention that changes additional mechanisms falls outside the claim. A path that is present establishes only a potential route, not a guaranteed effect. For example, its structural coefficients could be zero.
Path Contributions in Linear Models
For an additive linear structural model, there is a precise way to calculate the total effect from the directed paths. Let the graph be finite and acyclic, and suppose each non-treatment node \(V_j\) satisfies \(V_j=\sum_{i\in pa(j)} b_{ji}V_i+U_j\), where \(pa(j)\) is its set of parents and \(b_{ji}\) is the coefficient on the arrow \(i\to j\). Assume the disturbances do not change under intervention on \(A\), and that the equations contain no interactions or nonlinear terms.
Proof. For each node \(V_j\), let \(d_j\) be its change under \(do(A=a+1)\) minus its value under \(do(A=a)\), with disturbances held fixed. The intervention sets \(d_A=1\). For every other node, subtracting its two structural equations cancels \(U_j\) and gives \(d_j=\sum_{i\in pa(j)} b_{ji}d_i\). In topological order, expand this recursion: each contribution to \(d_j\) is a contribution to a parent's change multiplied by the coefficient on the final arrow into \(j\). Starting with \(d_A=1\), each resulting term at \(Y\) is therefore the product of the coefficients along one directed path from \(A\) to \(Y\). Every such path is generated once, because its last arrow has exactly one parent and the earlier part of the path is generated in that parent's expansion. Summing the terms gives the stated result; if there is no path, the recursion produces no terms from \(d_A\), so \(d_Y=0\). \(\square\)
Worked Example: Separating Paths Through a Later Covariate
Suppose the graph contains \(A\to L\), \(A\to A_1\), \(L\to A_1\), \(L\to Y\), \(A_1\to Y\), and \(A\to Y\). Let the structural equations be \(L=A+U_L\), \(A_1=2A+3L+U_1\), and \(Y=5A+7L+11A_1+U_Y\). Calculate the total effect of increasing \(A\) by one, and group the path contributions according to whether they pass through \(L\).
There are four directed paths. The path \(A\to Y\) bypasses \(L\) and contributes \(5\). The path \(A\to A_1\to Y\) also bypasses \(L\) and contributes \(2\times11=22\). Thus the bypassing paths contribute \(5+22=27\).
The path \(A\to L\to Y\) contributes \(1\times7=7\). The path \(A\to L\to A_1\to Y\) contributes \(1\times3\times11=33\). The paths through \(L\) contribute \(7+33=40\). The total is \(27+40=67\).
Checking by substitution gives the same answer: increasing \(A\) by one changes \(L\) by \(1\), changes \(A_1\) by \(2+3(1)=5\), and changes \(Y\) by \(5(1)+7(1)+11(5)=67\). The comparison also shows why “through \(L\)” need not mean “through \(L\) directly to \(Y\)”: a route may pass through \(L\), then through another node, before reaching the outcome.
The path-product result is specific to additive linear equations. With nonlinearities or interactions, a path's contribution can depend on treatment and covariate values; there need not be a single coefficient product that summarizes it. The graph still classifies routes, but quantifying a pathway requires a clearly defined causal contrast and a model or identification strategy appropriate to that contrast.
Worked Example: Why a Path Does Not Guarantee a Nonzero Effect
Let \(L=A+U_L\) and \(Y=L-A+U_Y\). The graph contains \(A\to L\to Y\) and \(A\to Y\). Under \(do(A=1)\), \(Y=(1+U_L)-1+U_Y=U_L+U_Y\). Under \(do(A=0)\), \(Y=U_L+U_Y\). The total effect is therefore zero.
The through-\(L\) contribution is \(+1\): increasing \(A\) by one increases \(L\) by one, and the coefficient on \(L\to Y\) is \(1\). The bypassing contribution is \(-1\), from the coefficient on \(A\to Y\). They cancel. Both routes exist in the graph, yet the total effect is zero. A diagram indicates where effects could travel; it does not establish their signs, magnitudes, or net sum.
Interpreting the Distinction Carefully
In everyday causal language, a route through an intermediate covariate is often called mediated, while a route bypassing it is sometimes called direct. These labels describe routes in the graph. In particular, bypassing \(L\) does not require a single arrow \(A\to Y\): a path such as \(A\to A_1\to Y\) also bypasses \(L\). Calling that route “direct” without qualification can be misleading.
A total treatment effect compares outcomes under treatment interventions without separating routes. A path-specific effect instead asks for a contrast that attributes change to a selected set of routes, such as those that pass through \(L\). The latter needs a precise definition. The diagram by itself does not say how to combine or intervene on the pathways, or whether the requested contrast is identifiable from observed data.
In particular, conditioning on \(L\) in a regression is not automatically a way to isolate the paths bypassing \(L\). Adjustment can block some routes through \(L\), but the resulting conditional association is not, without further assumptions, a causal effect along the remaining routes. Conditioning can also create bias in some graphs, as collider analysis illustrates. The relevant alternative is not “look at the graph” versus “adjust for the mediator”; it is to define the causal estimand and justify the assumptions and method used to identify it.
Specify treatment \(A\), outcome \(Y\), and which intermediate covariate, such as \(L\), determines whether a path counts as mediated.
Trace arrows from \(A\) to \(Y\); mark each path as through or bypassing the specified covariate.
Use structural equations and their assumptions to calculate effects. Do not infer path strengths from arrows alone.
Before interpreting an adjusted estimate as a pathway effect, establish that the estimand is defined and the required identification assumptions hold.
Common Mistakes and Limitations
- Equating a path with a nonzero effect. A path can have zero coefficients or cancel against other routes. The graph indicates possible transmission, not effect size.
- Calling every bypassing path a single direct arrow. A path can bypass \(L\) while passing through other variables. State which variable is being bypassed.
- Treating adjustment for \(L\) as mediation analysis. A regression coefficient conditional on \(L\) is not automatically a causal effect through routes that bypass \(L\).
- Reading an incomplete graph as proof of no effect. The no-path conclusion holds only if the causal graph and intervention assumptions are adequate for the question.
Path tracing is useful for clarifying mechanisms, identifying which routes a proposed causal question concerns, and checking simplified linear models. Its limitations matter: uncertain arrows, omitted causes, nonlinear effects, and interactions can prevent a diagram or a path-product calculation from supporting a numerical pathway claim. The total effect and a path-specific effect are different targets; neither should be substituted for the other without justification.
Check Your Understanding
Answer each question, then compare your reasoning with the solutions.
- A graph has \(A\to L\), \(L\to Y\), \(A\to B\), and \(B\to Y\). Which paths pass through \(L\), and which bypass it?
- In an additive linear model, the coefficients on \(A\to L\), \(L\to Y\), and \(A\to Y\) are \(2\), \(3\), and \(4\), respectively. What are the through-\(L\) contribution, bypassing contribution, and total effect of a one-unit increase in \(A\)?
- What does the absence of a directed path from \(A\) to \(Y\) imply under the structural assumptions stated in this tutorial? Name one reason the conclusion might not apply to a real study.
- Why does a nonzero directed path not guarantee a nonzero total treatment effect?
Solutions. (1) The paths are \(A\to L\to Y\), which passes through \(L\), and \(A\to B\to Y\), which bypasses \(L\). (2) The through-\(L\) contribution is \(2\times3=6\); the bypassing contribution is \(4\); the total effect is \(6+4=10\). (3) With a correctly specified finite acyclic structural model and an intervention that changes only \(A\)'s equation, \(Y\) is invariant to the intervention for each fixed setting of the disturbances. The conclusion may fail as a description of the study if a causal route was omitted from the graph. (4) A route can have zero effect, or its contribution can cancel against a contribution along another route. In the worked cancellation example the contributions are \(+1\) and \(-1\), so the total is zero.