---
title: Complete Mediation Test (CMT)
url: https://www.emergentmind.com/topics/complete-mediation-test-cmt
type: topic
---

# Complete Mediation Test (CMT)

Searching arXiv for the cited CMT-related papers to ground the article in the current literature.
{"queries":[{"query":"id:2309.08910"},{"query":"id:2603.04109"},{"query":"id:2403.02144"},{"query":"id:2507.14246"},{"query":"id:2008.06019"},{"query":"id:1910.12457"},{"query":"id:2404.11739"}]}
Complete Mediation Test (CMT) denotes a family of procedures for determining whether the effect of an exposure, treatment, or instrument on an outcome operates entirely through one or more mediators. Across the recent literature, the label is used for several non-identical targets: indirect-only mediation in linear path models, the hypothesis $c'=0$ together with $ab\neq 0$ in regression-based mediation, the conditional-independence hypothesis $Y \perp T \mid (M,X)$ in semiparametric causal analysis, and the sharp null $Y(d,m)=Y(m)$ or $SDE=0$ in mechanism-testing and interventionist formulations [2309.08910][2403.02144][2603.04109][2404.11739][2008.06019][1910.12457][2507.14246]. This suggests that CMT is best understood as a class of tests for complete or full mediation rather than a single canonical statistic.

## 1. Major formalizations of complete mediation

The literature distinguishes several definitions of complete mediation. In the linear single-mediator framework used in the debate over the total-effect test, indirect-only mediation is the case in which the indirect path is statistically acknowledged while the direct-and-remainder path is statistically inconclusive. Formally, $a\times b$ is statistically acknowledged but $d$ is not, with $d=0$ in the classical idealization and statistically inconclusive in finite samples [2309.08910]. In the causal-effects formulation used for natural effects, complete mediation is the hypothesis $NDE=0$ with $NIE\neq 0$ [2507.14246]. In the high-dimensional linear model, complete mediation means $\theta=0$, so the total effect $\tau$ equals the indirect effect $\delta$ [1910.12457]. In the conditional-independence formulation, full mediation plus mediator exogeneity implies $Y \perp T \mid (M,X)$ [2603.04109]. In sharp-null mechanism testing, full mediation is the assertion that $Y(d,m)=Y(m)$ almost surely for all $d$ and $m$ [2404.11739].

| Framework | Formal criterion | Characteristic test object |
|---|---|---|
| Linear path decomposition | $a\times b$ acknowledged and $d$ inconclusive | $a$, $b$, $d$, and sometimes $c$ [2309.08910] |
| Intersection–union regression test | $c'=0$ and $a\cdot b\neq 0$ | augmented LR for $ab$, Wald or LR for $c'$ [2403.02144] |
| Natural-effects formulation | $NDE=0$ with $NIE\neq 0$ | $Z_{NIE}$, $Z_{NDE}$, SAPM [2507.14246] |
| Conditional-independence CMT | $Y \perp T \mid (M,X)$ | orthogonal moments and $Q=n\hat g'\hat\Sigma^{-1}\hat g$ [2603.04109] |
| High-dimensional linear mediation | $\theta=0$, hence $\tau=\delta$ | de-biased Wald test for $\delta$ [1910.12457] |
| Sharp-null mechanism testing | $Y(d,m)=Y(m)$ or $SDE=0$ | IV inequalities or interventional contrasts [2404.11739][2008.06019] |

Within the path-analytic typology, three mediation types are distinguished. Complementary mediation requires that both the indirect and direct-and-remainder paths pass statistical partition tests and have the same sign, so $a\times b$ and $d$ are statistically acknowledged and $a\times b\times d>0$. Competitive mediation also requires both paths to pass, but with opposite signs, so $a\times b\times d<0$. Indirect-only mediation is the case in which the indirect path passes a statistical partition test while the direct-and-remainder path fails [2309.08910]. That literature further separates indirect-only mediation into directionally complementary indirect-only mediation (“d-plementary IO”), where $a\times b$ and $d$ share the same sign but only $a\times b$ is acknowledged, and directionally competitive indirect-only mediation (“d-petitive IO”), where $a\times b$ and $d$ have opposite signs and only $a\times b$ is acknowledged [2309.08910].

## 2. Regression-path foundations and the critique of the total-effect gatekeeper

The classical linear mediation model underlying much of the modern discussion is
$$
M = i_M + aX + \epsilon_M,
$$
$$
Y = i_Y + bM + dX + \epsilon_Y,
$$
and the reorganized outcome equation
$$
Y = i_Y^* + cX + \epsilon_Y^*,
$$
with $c=ab+d$ [2309.08910]. In this setup, $c$ is the total effect, $d$ is the direct effect conditional on $M$ and is the paper’s “direct-and-remainder” path, and $ab$ is the indirect effect [2309.08910].

A central result of the recent literature is that testing the total effect $c$ is not a valid gatekeeper for complete mediation. Under least-squares estimation with transformed data of rank $4$, the estimators become
$$
\hat{a} = m_2 / x_2,\quad \hat{b} = y_3 / m_3,\quad \hat{c} = y_2 / x_2,\quad \hat{d} = (m_3 y_2 - m_2 y_3) / (x_2 m_3),
$$
with rejection regions expressed in the transformed $(r,p,q)$ coordinates for $a$, $b$, $c$, $d$, and the Sobel test for $ab$ [2309.08910]. On that basis, the paper proves that, for indirect-only mediation, the intersection
$$
R_a(\alpha)\cap R_b(\alpha)\cap \bar R_d(\alpha)\cap \bar R_c(\alpha)\neq \emptyset
$$
under LSE-F, and that for sufficiently large $n$,
$$
R_{a\times b}(\alpha)\cap \bar R_d(\alpha)\cap \bar R_c(\alpha)\neq \emptyset
$$
under LSE-Sobel [2309.08910]. These results mean that the indirect effect can be statistically acknowledged while both the direct-and-remainder path and the total effect are statistically inconclusive.

The same paper also sharpens the older result for complementary mediation. Under LSE-F, prior work proved
$$
R_a\cap R_b\cap R_d \subseteq R_c
$$
whenever $\hat a\hat b\hat d>0$, so the total-effect test adds nothing once $a$, $b$, and $d$ are acknowledged and of the same sign. Under LSE-Sobel, the asymptotic result
$$
P\!\left(D\in R_{a\times b}(\alpha)\cap R_d(\alpha)\cap \bar R_c(\alpha)\mid \hat a\hat b\hat d>0\right)\to 0
$$
shows that total-effect testing is likewise superfluous in complementary mediation [2309.08910].

The simulation evidence in that line of work is explicitly quantitative. Data were generated with $n\sim \mathrm{Uniform}\{10,\ldots,100\}$, $(i_M,i_Y,a,b,d)\sim \mathrm{Uniform}[-1,1]^5$, $X\sim N(0,1)$, $\sigma_M^2,\sigma_Y^2\sim \mathrm{Inv\text{-}Gamma}(1,1)$, and $10{,}000$ independent datasets. Under LSE-F, for $\alpha<0.10$, the proportion of cases with $p_c\ge \alpha$ given $\max(p_a,p_b)<\alpha$ and $p_d\ge \alpha$ exceeds $40\%$. Erroneous judgments are more frequent in directionally competitive indirect-only mediation than in directionally complementary indirect-only mediation. LSE-Sobel and LAD-Z show similar patterns [2309.08910].

In response, that paper proposes process-and-product analysis (PAPA), which treats mediation as a process $(ab,d)$ producing a product $(c)$ and assigns three tasks: testing effect hypotheses, classifying effect types, and analyzing effect sizes. A plausible implication is that, within this framework, CMT is not merely a decision rule but part of a broader decomposition strategy that separates process-level path acknowledgment from product-level aggregation [2309.08910].

## 3. Decision rules, calibrated criteria, and competing operational CMTs

One operational CMT follows directly from the indirect-only framework. The recommended protocol is: fit the mediator and outcome models, estimate $a$, $b$, and $d$, compute $ab=a\times b$, test $ab$ and $d$, and do not test $c$ to qualify mediation status. Under LSE-F, $a$ and $b$ are tested via F-tests and $ab$ is acknowledged if both pass; under LSE-Sobel, $ab$ is tested with
$$
S=\frac{\hat a\hat b}{\sqrt{\hat a^2\operatorname{Var}(\hat b)+\hat b^2\operatorname{Var}(\hat a)}},
$$
rejecting when $|S|>z_{\alpha/2}$; under LAD-Z, one uses $z=|\check\beta|/sd(\check\beta)$ for $\beta\in\{a,b,d\}$. If $ab$ is statistically acknowledged and $d$ is statistically inconclusive, the procedure declares indirect-only, or complete, mediation; the sign of $ab$ relative to $d$ then determines whether the case is d-plementary IO or d-petitive IO [2309.08910].

A distinct CMT architecture is the intersection–union framework developed for the hypothesis of complete mediation in a single-mediator regression model. There, the hypotheses are
$$
H_0:\ c'\neq 0\ \text{OR}\ a\cdot b=0,\qquad H_1:\ c'=0\ \text{AND}\ a\cdot b\neq 0.
$$
The indirect-effect component is difficult because $H_0:a\cdot b=0$ is nonregular. The classical LR test based on $LR=v_1=\min\{t_a^2,t_b^2\}$ can be severely conservative, with null rejection probability satisfying $\alpha^2\le P(\lambda)\le \alpha$; at $\alpha=.05$ it can be near $\alpha^2=0.0025$. The Sobel/Wald test is worse: at $\lambda=0$ and $\alpha=.05$ its null rejection probability can be approximately $0.00009$ [2403.02144]. To remedy this, the paper proposes the simply-augmented LR test with critical region
$$
CR_b(\alpha)=\{v_1>\chi_\alpha^2\}\cup\{v_1/v_2>b(\alpha)\},
$$
so $H_0:a\cdot b=0$ is rejected if $v_1>\chi_\alpha^2$ or $v_1/v_2>b(\alpha)$. Reported values include $b(.01)=0.9696632$, $b(.05)=0.8744040$, $b(.10)=0.8157800$, with corresponding $\chi_\alpha^2$ values $6.6348966$, $3.8414588$, and $2.7055435$. Complete mediation is concluded only if the augmented LR rejects $a\cdot b=0$ and the direct-effect test fails to reject $H_0:c'=0$ [2403.02144].

A third operational line begins from the critique of “significance-only” complete mediation rules. In that formulation, conventional CMT1 declares complete mediation if the indirect effect is significant and the direct effect is non-significant, using $Z_{IE}=(\hat a\hat b)/se(\hat a\hat b)$ and $Z_{DE}=\hat c'/se(\hat c')$. Theoretical analysis shows that the Type I error of this rule can reach $0.25$, with
$$
\max_{\mu,\rho}P(|Z_1|<1.96,\ |Z_2|>1.96)=0.25
$$
at $\rho=0$ and $\mu=2$ [2507.14246]. To address this, the paper evaluates two proportion-based extensions. The absolute proportion of mediation is
$$
APM=\frac{|\hat a\hat b|}{|\hat a\hat b|+|\hat c'|},
$$
and the proposed standardized absolute proportion of mediation is
$$
SAPM=\frac{|Z_{IE}|}{|Z_{IE}|+|Z_{DE}|}.
$$
The preferred rule, CMT3$(\delta)$, requires three conditions: significant indirect effect, non-significant direct effect, and $SAPM>\delta$. Recommended thresholds are $\delta\approx 0.75$–$0.80$ for continuous mediator and outcome, and $\delta\approx 0.65$–$0.70$ for binary mediator and/or outcome [2507.14246].

These three constructions share a common aim but impose materially different decision logics. One emphasizes direct testing of $ab$ and $d$ while discarding $c$ as a prerequisite; one uses intersection–union logic with a calibrated indirect-effect test and a null direct-effect test; and one augments significance criteria with a standardized dominance condition based on SAPM. A plausible implication is that the name “CMT” does not uniquely determine the inferential target unless the underlying framework is stated explicitly [2309.08910][2403.02144][2507.14246].

## 4. Conditional-independence and double-machine-learning formulations

A substantially different CMT is developed for treatment effects that may be fully mediated by observed intermediate outcomes. The observed data are $W=(Y,T,M,X)$, where $Y$ is the outcome, $T$ the treatment, $M$ the vector of mediators or surrogate outcomes, and $X$ pre-treatment covariates. Under the mean version of full mediation, $E[Y(t,m)]$ does not depend on $t$, equivalently $Y(t,m)=h(m,X,U)$; under full mediation and identifiability of causal mechanisms with conditionally randomized treatment, the key testable implication is
$$
Y \perp T \mid (M,X)
$$
[2603.04109].

This implication generates conditional moment restrictions. In randomized or conditionally randomized settings, with $\mu(M,X)=E[Y\mid M,X]$ and $\pi(X)=E[T\mid X]$,
$$
E[(Y-\mu(M,X))(T-\pi(X))b_j(M,X)]=0,\qquad j=1,\ldots,J.
$$
In observational settings, where treatment may depend on $M$ given $X$, $\pi(X)$ is replaced by $p(M,X)=E[T\mid M,X]$:
$$
E[(Y-\mu(M,X))(T-p(M,X))b_j(M,X)]=0,\qquad j=1,\ldots,J.
$$
The DML implementation estimates $\hat\mu(M,X)$ and either $\hat\pi(X)$ or $\hat p(M,X)$, forms residuals $\tilde V=Y-\hat\mu(M,X)$ and $\tilde T=T-\hat\tau(\cdot)$, computes
$$
\hat g_j=n^{-1}\sum_{i=1}^n \tilde V_i\tilde T_i\, b_j(M_i,X_i),
$$
stacks $\hat g=(\hat g_1,\ldots,\hat g_J)'$, estimates $\hat\Sigma=\operatorname{Var}(\sqrt n\,\hat g)$, and uses the quadratic form
$$
Q=n\cdot \hat g'\hat\Sigma^{-1}\hat g.
$$
Under $H_0$ and regularity, $Q\Rightarrow \chi_J^2$ [2603.04109].

The framework is explicitly orthogonal. For
$$
\psi_j(W;\eta)=[Y-\mu(M,X)][T-\tau(M,X)]b_j(M,X),
$$
the Gateaux derivative at the truth is zero, and sample splitting with cross-fitting is used to mitigate overfitting bias and deliver $\sqrt n$ asymptotics. Flexible learners such as lasso, boosting, random forests, and neural nets may be used for nuisance estimation, provided the product of $L_2$ errors is $o_p(n^{-1/2})$; a sufficient condition is that each nuisance be estimated at $o_p(n^{-1/4})$ [2603.04109].

This CMT also distinguishes randomized from non-randomized treatment assignment. Under conditional randomization, full mediation and mediator exogeneity imply both testability and identifiability of causal mechanisms. In observational settings, full mediation remains testable through $Y \perp T \mid (M,X)$, but identifiability of indirect mechanisms is no longer guaranteed because treatment–mediator confounding may persist [2603.04109]. The paper further states that its DML framework is root-$n$ consistent and asymptotically normal under specific regularity conditions, accommodates high-dimensional covariates, and has good finite-sample performance in simulations [2603.04109].

## 5. High-dimensional, interventionist, and sharp-null extensions

In high-dimensional linear mediation, the mediator vector $M\in\mathbb R^p$ may satisfy $p\gg n$. The structural equations are
$$
M=\alpha X+\epsilon_M,\qquad Y=\theta X+M^\top\beta+\epsilon_Y,
$$
with indirect effect $\delta=\alpha^\top\beta$, direct effect $\theta$, and total effect $\tau=\theta+\delta$. Complete mediation means $\theta=0$, hence $\tau=\delta$ [1910.12457]. The paper constructs a de-biased estimator for $\delta$ under complete mediation,
$$
\tilde\delta=\hat\Sigma_{XX}^{-1}\Big\{\hat\Omega_C\hat\Sigma_{MY}-(\hat\Omega_C\hat\Sigma_{MM}-\hat\Sigma_{XM})\tilde\beta\Big\},
$$
and a Wald statistic
$$
Z_{CMT}=\frac{\tilde\delta}{se(\tilde\delta)}=\frac{\sqrt n\,\tilde\delta}{[\hat\sigma^2]^{1/2}},
$$
which is asymptotically standard normal under $H_0:\delta=0$ [1910.12457]. A key efficiency result is that, under complete mediation, the asymptotic variance of the OLS estimator of the total effect minus the asymptotic variance of $\tilde\delta$ is positive semidefinite, so the indirect-effect-based CMT is more powerful than directly testing the total effect [1910.12457].

A different extension comes from the interventionist, separable-treatment approach. Instead of relying on nested counterfactuals such as $Y(a',M(a))$, treatment is decomposed into distinct components that act along different causal pathways. In the canonical example, $A$ is decomposed into $N$ and $O$, where $N$ affects $M$ but not $Y$, and $O$ affects $Y$ but not $M$, with deterministic linkage $N(a)=O(a)=a$ in the observed world. Complete mediation is then the null that the separable direct effect vanishes:
$$
H_0:\ SDE=0,\qquad SDE=E[Y(n=0,o=1)]-E[Y(n=0,o=0)].
$$
Under the NPSEM-IE for the expanded graph, this contrast equals the pure direct effect. The framework provides sufficient conditions for identifying “four-arm” interventional distributions from “two-arm” observed data and yields a sound and complete graph-theoretic algorithm based on edge-expanded graphs, SWIGs, and the recanting district criterion [2008.06019].

Sharp-null mechanism testing develops yet another CMT. Here the null is
$$
H_0:\ Y(d,m)=Y(m)\ \text{almost surely for all } d\in\{0,1\}\ \text{and } m\in\{m_0,\ldots,m_{K-1}\}.
$$
With binary $D$ and binary $M$, independence and monotonicity imply the instrumental inequalities
$$
P(Y\in A,M=0\mid D=0)\ge P(Y\in A,M=0\mid D=1),
$$
$$
P(Y\in A,M=1\mid D=1)\ge P(Y\in A,M=1\mid D=0)
$$
for all Borel sets $A$ [2404.11739]. For multi-valued or multi-dimensional mediators, the test is characterized by the feasibility of a linear program over type shares $\theta_{lk}=P(M(0)=m_l,M(1)=m_k)$ subject to linear restrictions. That framework also provides lower bounds on the prevalence of alternative mechanisms through quantities such as
$$
\nu_k=P(Y(1,m_k)\neq Y(0,m_k)\mid G=kk),
$$
and on the principal-strata average direct effect $ADE_k$ [2404.11739]. Relative to traditional mediation analysis, its stated advantage is that it does not require stringent assumptions about how $M$ is assigned, while focusing on the sharp null rather than estimating average direct and indirect effects [2404.11739].

## 6. Applications, assumptions, and continuing controversies

The empirical illustrations attached to CMT differ with the framework. In the HINTS 5 Cycle 4 analyses, one model examined caregiving $\rightarrow$ smoking via psychological distress and produced $a=0.1631$ with $p_a<.001$, $b=0.1012$ with $p_b<.001$, $d=-0.0167$ with $p_d=.6411$, and $c=0.000014$ with $p_c=.9997$, giving a directionally competitive indirect-only pattern. A second model examined employment $\rightarrow$ physical activity via psychological distress and produced $a=-0.0656$ with $p_a<.001$, $b=-0.1552$ with $p_b<.001$, $d=0.0243$ with $p_d=.2704$, and $c=0.0342$ with $p_c=.1169$, giving a directionally complementary indirect-only pattern. Both are used to illustrate erroneous rejection by the total-effect test [2309.08910]. The augmented-LR intersection–union framework is illustrated with an entrepreneurial attitudes study in which $t_a\approx 1.120$, $t_b\approx 1.130$, and $t_{c'}\approx -0.661$; at $\alpha=.05$, $v_1/v_2\approx 0.982>b(.05)=0.8744$, so the augmented LR rejects $a\cdot b=0$ while the direct-effect test fails to reject $c'=0$, leading to a complete-mediation conclusion for that subgroup [2403.02144]. The SAPM-based framework is applied in Mendelian Randomization to test non-pleiotropy, with UK Biobank analyses of insomnia and coronary heart disease reporting that CMT3$(\delta)$ improved specificity relative to CMT1 while maintaining near-perfect sensitivity for valid SNPs at $\delta=0.65$–$0.70$ [2507.14246].

The DML conditional-independence formulation is illustrated with randomized experiments on maternal mental health and social norms. In the Pakistan CBT application, CMT rejects the joint null with p-values approximately $0.01$–$0.04$, indicating either a residual direct effect or mediator exogeneity failure. In the Saudi Arabia social norms application, CMT strongly rejects with $p\approx 0.004$, consistent with a direct or additional channel beyond sign-up and/or mediator exogeneity violations. The simulation design also shows near-nominal size of approximately $5\%$ under the null, strong power by $n=4{,}000$, high power against mediator-outcome confounding, and the fact that treatment–mediator confounding does not inflate false rejections because the test is not designed to detect it [2603.04109]. The sharp-null mechanism-testing literature revisits the same Saudi Arabia study and also the Pakistan CBT study using IV-style inequalities, reaching rejection for individual mechanisms such as sign-up, grandmother presence, and relationship quality, but not necessarily for some joint mechanisms under element-wise monotonicity [2404.11739].

The assumptions required by CMT depend on the formulation but are substantial in every case. Regression-based path models require linearity, standard mediation assumptions such as no unmeasured confounding between $X\rightarrow M$ and $M\rightarrow Y$, and, for the geometric proofs, $\operatorname{rank}(\mathcal D)=4$ [2309.08910]. The natural-effects and SAPM framework requires consistency, SUTVA, temporal ordering, no unmeasured confounding of the $A$–$M$, $A$–$Y$, and $M$–$Y$ relations conditional on covariates, positivity, and correct model specification; for natural effects it also requires that no mediator–outcome confounders are affected by $A$ [2507.14246]. The DML conditional-independence formulation requires SUTVA, faithfulness, positivity, correct conditioning on pre-treatment covariates, and mediator exogeneity $Y(m)\perp M\mid X$; in observational settings it does not guarantee identification of the indirect effect even if the CMT does not reject [2603.04109]. High-dimensional CMT additionally relies on sparsity, tail conditions, and matrix regularity conditions [1910.12457]. Interventionist formulations require separability of treatment components and fail in the presence of recanting witnesses or recanting districts [2008.06019].

Several controversies recur across these strands. One concerns the status of the total effect as a prerequisite: one paper proves it is superfluous for complementary mediation and can erroneously reject both competitive and complete mediation under LSE-F and LSE-Sobel, with similar simulation evidence under LAD-Z [2309.08910]. Another concerns the evidential meaning of a non-significant direct effect: significance-only rules can have worst-case Type I error $0.25$, which motivates intersection–union calibration or SAPM thresholds [2507.14246][2403.02144]. A third concerns target mismatch. Conditional-independence CMTs, sharp-null mechanism tests, and interventionist SDE tests do not ask exactly the same question as classical path-coefficient tests. This suggests that any use of the term “Complete Mediation Test” is interpretable only relative to its estimand—indirect-only path structure, $c'=0$ with $ab\neq 0$, $Y \perp T \mid (M,X)$, $Y(d,m)=Y(m)$, or $SDE=0$—and the assumptions under which that estimand is meaningful [2309.08910][2603.04109][2404.11739][2008.06019].

Source: https://www.emergentmind.com/topics/complete-mediation-test-cmt