Authors: Marie Skov Breum, Anders Munch, Thomas A. Gerds, Torben Martinussen
Categories: Article, Causal inference, Illness-death model, Mediation analysis, Separable effects, Survival analysis
Source: Lifetime Data Analysis
Authors: Marie Skov Breum, Anders Munch, Thomas A. Gerds, Torben Martinussen
In this article we study the effect of a baseline exposure on a terminal time-to-event outcome either directly or mediated by the illness state of a continuous-time illness-death process with baseline covariates. We propose a definition of the corresponding direct and indirect effects using the concept of separable (interventionist) effects (Robins and Richardson in Causality and finding the determinants of disorders and their cures, Oxford University Press, 2011; Robins et al. in arXiv:2008.06019, 2021; Stensrud et al. in J Am Stat Assoc 175–183, 2022). Our proposal generalizes Martinussen and Stensrud (Biometrics 127–139, 2023) who consider similar causal estimands for disentangling the causal treatment effects on the event of interest and competing events in the standard continuous-time competing risk model. Unlike natural direct and indirect effects (Robins and Greenland in Epidemiology 143–155, 1992; Pearl in Proceedings of the seventeenth conference on uncertainty in artificial intelligence, Morgan Kaufmann, 2001) which are usually defined through manipulations of the mediator independently of the exposure (so-called cross-world interventions), separable direct and indirect effects are defined through interventions on different components of the exposure that exert their effects through distinct causal mechanisms. This approach allows us to define meaningful mediation targets even though the mediating event is truncated by the terminal event. We present the conditions for identifiability, which include some arguably restrictive structural assumptions on the treatment mechanism, and discuss when such assumptions are valid. The identifying functionals are used to construct plug-in estimators for the separable direct and indirect effects. We also present multiply robust and asymptotically efficient estimators based on the efficient influence functions. We verify the theoretical properties of the estimators in a simulation study, and we demonstrate the use of the estimators using data from a Danish registry study.
Mediation analysis is an important tool in medical and epidemiological research for understanding the mechanisms that contribute to the overall effect of a treatment or exposure on an outcome of interest. Within the causal inference literature on mediation analysis, the target estimands of interest are often the natural (pure) direct and indirect effects (Robins and Greenland 1992; Pearl 2001), which together provide a nonparametric decomposition of the total treatment effect. A comprehensive overview of mediation analysis methods from a causal inference perspective can be found in VanderWeele (2015).
In this paper we study a continuous-time illness-death process where the potential mediator is the illness state. We are interested in the direct and indirect effect of a baseline exposure on the terminal event, adjusted for a set of pre-exposure covariates. This type of target estimand is often relevant when analysing real world data. We shall illustrate our method using a Danish registry study investigating the effects of dual antiplatelet therapy (DAPT) after myocardial infarction (MI) or stroke on mortality. DAPT is a treatment that combines aspirin and a second antiplatelet agent, which is often prescribed to MI or stroke patients to prevent blood clotting. It is well known that DAPT is associated with a lower risk of a recurrent cardiovascular event (Wallentin et al. 2009) which in turn is associated with increased mortality; this is the indirect effect of interest. At the same time DAPT has other effects that are associated with increased mortality, most notably it increases the risk of gastrointestinal bleeding (Kazi et al. 2015; Dinicolantonio et al. 2013); this is the direct effect of interest.
The conventional definition of natural direct and indirect effects is based on so-called cross-world quantities which require that we manipulate the mediator for each exposed individual to what would have occurred under non-exposure. Such quantities are not well defined in the illness-death setting since the mediator is effectively undefined when the terminal event occurs before the mediating event. This has implications for formulating the causal mediation targets of interest.
The term ‘semi-competing risks’ is often used in the literature when the outcome of interest is a non-terminal event that competes with a terminal time-to-event (Fine et al. 2001). We find that the definition of this term is unclear as discussed in Stensrud et al. (2021), and will refrain from using it in this paper. We will use the term "truncation" to describe the phenomenon when occurrence of the terminal event renders the intermediate event undefined, and the term "illness-death process" to describe the underlying data structure.
The challenges that arise when defining mediation targets for the illness-death models are similar to the well known challenges that arise when defining mediation targets for a survival outcome with a time-dependent mediator. Recent approaches in the literature redefine the target of interest beyond that of natural direct and indirect effects using randomized interventions (Zheng and van der 2017; Lin et al. 2017), path-specific effects (Vansteelandt et al. 2019) or separable effects (Didelez 2019; Aalen et al. 2020). While the setting in these papers is more general in that they allow for adjustment for time-varying covariates, they assume that the mediator process is measured at discrete time-points, and are thus not directly applicable to our setting where we allow the mediator process to change in continuous time.
Similar to Didelez (2019) and Aalen et al. (2020) we propose a definition of the direct and indirect effects using a treatment separation approach which is commonly referred to as the ‘separable effects’ approach (Stensrud et al. 2022, 2021) or ‘interventionist’ approach (Robins and Richardson 2021) to causal mediation analysis. Based on an idea by Robins and Richardson (2011) this approach considers a hypothetical treatment decomposition under which it is possible to consider manipulations of the mediator independently of the treatment given. This is done by assuming that treatment has two binary components, a ‘direct’ one which is thought to affect the terminal event directly, and an ‘indirect’ one which only affects survival through it’s effect on the intermediate event, and that the two components can be intervened upon separately. This makes it possible to define meaningful mediation targets even when the mediating event is truncated by death. The aim of this paper is to show how this approach can be applied to the continuous-time illness-death setting, and to derive estimators using semiparametric theory. In particular, the identifiability conditions and estimators we propose in this paper are an extension of Martinussen and Stensrud (2023), who consider similar causal targets and estimators in a continuous-time competing risk model.
The paper is organized as In Sect. 2 we introduce the irreversible illness-death model as a stochastic process and describe the observed data structure. In Sect. 3 we formulate the targets of interest and present the identifiability conditions. In Sect. 4 we derive the efficient influence functions and establish their multiple robustness properties. We also suggest two a plug-in estimator based on the identifying functional and a one-step estimator based on using the efficient influence function as an estimating equation. We examine the performance of the estimators in a simulation study in Sect. 5. Section 6 illustrates the methods in the Danish registry data application. In Sect. 7 we provide further discussion. Proofs and additional technical details are given in the Appendices.
We consider an irreversible illness-death model, as depicted in Fig. 1. Following Andersen et al. (2012) the illness-death model is a stochastic process \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ {X(t)}_{t \in [0, \infty )}
\usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \{1, 2, 3\} $$\end{document}{1,2,3}, where state 1 is the initial ‘healthy’ state, state 2 is the intermediate ‘illness’ state and state 3 corresponds to the absorbing state ‘death’. We assume that \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ X(0)=1 $$\end{document}X(0)=1, i.e. all subjects start in the initial ‘healthy’ state. We further assume that \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ 2\rightarrow 1 $$\end{document}2→1 transitions are not possible, i.e. the process is irreversible. In our DAPT example a patient enters state 1 when experiencing a myocardial infarction (MI) for the first time. The patient stays in state 1 until they either die or experience a recurrent cardiovascular event. In the latter case the patient moves to state 2 where they remain until death.Fig. 1Illness-death model without recovery We define time until the subject leaves state 1 \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ T_1 = \inf _{t>0}\{X(t) \ne 1\} $$\end{document}T1=inft>0{X(t)≠1} and time until death \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ T_2 = \inf _{t>0}\{X(t)=3\} $$\end{document}T2=inft>0{X(t)=3}. In addition to \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ T_1 $$\end{document}T1 and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ T_2 $$\end{document}T2 we define the indicator\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \begin{aligned} \eta = {\left\{ \begin{array}{ll} 1 \ \ \text { if } T_1 < T_2\\ 0 \ \ \text { if } T_1 = T_2 \end{array}\right. }. \end{aligned} $$\end{document}η=1ifT1<T20ifT1=T2.That is, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \eta =1 $$\end{document}η=1 corresponds to \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ X(T_1)= 2 $$\end{document}X(T1)=2 and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ X(T_2)=3 $$\end{document}X(T2)=3, and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \eta =0 $$\end{document}η=0 corresponds to \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ X(T_1)=X(T_2)=3 $$\end{document}X(T1)=X(T2)=3. Then the hazards for the transitions between states \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ 1 \rightarrow 2 $$\end{document}1→2, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ 1 \rightarrow 3 $$\end{document}1→3 and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ 2 \rightarrow 3 $$\end{document}2→3, respectively, are defined as follows\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \begin{aligned} \lambda _{12}(t)&= \lim _{\mathop {}\!\textrm{d}t \rightarrow 0} \frac{Pr(T_1 \le t+\mathop {}\!\textrm{d}t , \eta =1 \mid T_1> t)}{\mathop {}\!\textrm{d}t}, \\ \lambda _{13}(t)&= \lim _{\mathop {}\!\textrm{d}t \rightarrow 0}\frac{Pr(T_1 \le t + \mathop {}\!\textrm{d}t, \eta =0 \mid T_1> t)}{\mathop {}\!\textrm{d}t}, \\ \lambda _{23}(t, t- r)&= \lim _{\mathop {}\!\textrm{d}t \rightarrow 0} I(r \le t) \frac{Pr(T_2 \le t + \mathop {}\!\textrm{d}t \mid T_2>t, T_1=r)}{\mathop {}\!\textrm{d}t}. \end{aligned} $$\end{document}λ12(t)=limdt→0Pr(T1≤t+dt,η=1∣T1>t)dt,λ13(t)=limdt→0Pr(T1≤t+dt,η=0∣T1>t)dt,λ23(t,t-r)=limdt→0I(r≤t)Pr(T2≤t+dt∣T2>t,T1=r)dt. ### Data structure Let \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ A \in \{0,1\} $$\end{document}A∈{0,1} be a baseline treatment indicator, and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ W \in {\mathcal {W}}={\mathbb {R}}^d $$\end{document}W∈W=Rd a vector of baseline covariates. The full uncensored data are \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ Z = \{T_2, T_1, \eta , A, W \} \sim Q $$\end{document}Z={T2,T1,η,A,W}∼Q where *Q* is a probability distribution belonging to a non-parametric statistical model \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ {\mathcal {Q}} $$\end{document}Q. Let \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mu $$\end{document}μ be the density of *W* and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \pi (\cdot \mid W) $$\end{document}π(·∣W) be the conditional distribution of *A* given *W* which we will refer to as the propensity score. The underlying density *q* of the data *Z* under *Q* factorizes as follows1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \begin{aligned} \begin{aligned} q(t, r, \eta , a, w) =&\left\{ \lambda _{12}(r \mid a, w) \lambda _{23}(t, t-r \mid a, w) S_{2}(t- \mid r, a, w) \right\} ^{\eta } \left\{ \lambda _{13}(r \mid a, w) \right\} ^{1-\eta } \\&\times S_1(r- \mid a, w) \pi (a \mid w) \mu (w), \end{aligned} \end{aligned} $$\end{document}q(t,r,η,a,w)=λ12(r∣a,w)λ23(t,t-r∣a,w)S2(t-∣r,a,w)ηλ13(r∣a,w)1-η×S1(r-∣a,w)π(a∣w)μ(w),where\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \begin{aligned}{} & {} S_1(t \mid a, w) = \exp \left\{ -\Lambda _{12}(t \mid a, w)-\Lambda _{13}(t \mid a, w) \right\} ,\\{} & {} S_{2}(t\mid r, a, w) =\exp \left\{ - \Lambda _{23}(t, t-r \mid a, w)\right\} , \end{aligned} $$\end{document}S1(t∣a,w)=exp-Λ12(t∣a,w)-Λ13(t∣a,w),S2(t∣r,a,w)=exp-Λ23(t,t-r∣a,w),for\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \begin{aligned}&\Lambda _{12}(t \mid a, w) = \int _0^t \lambda _{12}(s \mid a, w) \mathop {}\!\textrm{d}s, \ \ \Lambda _{13}(t \mid a, w) = \int _0^t \lambda _{13}(s \mid a, w) \mathop {}\!\textrm{d}s, \\&\Lambda _{23}(t, t-r \mid a, w) = \int _r^t \lambda _{23}(s, s-r \mid a, w) \mathop {}\!\textrm{d}s. \end{aligned} $$\end{document}Λ12(t∣a,w)=∫0tλ12(s∣a,w)ds,Λ13(t∣a,w)=∫0tλ13(s∣a,w)ds,Λ23(t,t-r∣a,w)=∫rtλ23(s,s-r∣a,w)ds.That is, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ S_1 $$\end{document}S1 is the survival probability for the patients in state 1 and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ S_2 $$\end{document}S2 is the survival probability for patients in state 2. We also let \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ N_{13}(s) =I(T_2 \le s, \eta =0) $$\end{document}N13(s)=I(T2≤s,η=0), \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ N_{12}(s) =I(T_1 \le s, \eta =1) $$\end{document}N12(s)=I(T1≤s,η=1) and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ N_{23}(s) = I(T_2 \le s, \eta =1) $$\end{document}N23(s)=I(T2≤s,η=1) denote the full-data counting processes corresponding to the transitions between states \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ 1 \rightarrow 3 $$\end{document}1→3, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ 1 \rightarrow 2 $$\end{document}1→2 and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ 2 \rightarrow 3 $$\end{document}2→3, respectively. In our DAPT example \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ N_{13} $$\end{document}N13 is the counting process which jumps when a patient in the study dies without having a recurrent cardiovascular event. Further \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ N_{12} $$\end{document}N12 jumps when a patient experiences a recurrent cardiovascular event, and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ N_{23} $$\end{document}N23 jumps when when a patient in the study dies having experienced a recurrent cardiovascular event. ### Right censoring We allow for right censoring with \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ {\tilde{C}} $$\end{document}C~ denoting the censoring variable corresponding to the time that an individual would be lost to followup. Under right censoring we only observe \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ {\tilde{T}}_1=T_1 \wedge {\tilde{C}} $$\end{document}T~1=T1∧C~, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ {\tilde{T}}_2=T_2 \wedge {\tilde{C}} $$\end{document}T~2=T2∧C~ and the indicators \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \delta = I(T_2 < {\tilde{C}}) $$\end{document}δ=I(T2<C~) and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ {\tilde{\eta }} = I({\tilde{T}}_1 < {\tilde{T}}_2) $$\end{document}η~=I(T~1<T~2). The observed data may then be represented as \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ O = \{{\tilde{T}}_2, \delta , {\tilde{T}}_1, {\tilde{\eta }}, A, W \} \sim P $$\end{document}O={T~2,δ,T~1,η~,A,W}∼P where *P* belongs to a non-parametric statistical model \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ {\mathcal {P}} $$\end{document}P. We may also define the observed-data counting processes \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \tilde{N}_{13}(s) =I(\tilde{T_2} \le s, {{\tilde{\eta }}}=0, \delta = 1) $$\end{document}N~13(s)=I(T2~≤s,η~=0,δ=1), \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ {{\tilde{N}}}_{12}(s) =I({{\tilde{T}}}_1 \le s, {{\tilde{\eta }}}=1) $$\end{document}N~12(s)=I(T~1≤s,η~=1) and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \tilde{N}_{23}(s) = I({{\tilde{T}}}_2 \le s, {{\tilde{\eta }}}=1, \delta =1) $$\end{document}N~23(s)=I(T~2≤s,η~=1,δ=1) corresponding to the observed transitions between states \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ 1 \rightarrow 3 $$\end{document}1→3, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ 1 \rightarrow 2 $$\end{document}1→2 and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ 2 \rightarrow 3 $$\end{document}2→3, respectively. We make the coarsening at random (CAR) assumption, i.e., we assume that the coarsening probabilities only depend on the data as a function of the observed data. This assumption is stated more formally in Appendix A. Under CAR we can define the increments of the censoring martingale\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \begin{aligned} \mathop {}\!\textrm{d}M_{{{\tilde{C}}}}\{u,O\}= \mathop {}\!\textrm{d}N_{{{\tilde{C}}}}(u)- \lambda _{\tilde{C}}\left\{ s;O\right\} I({{\tilde{C}}}>s) \mathop {}\!\textrm{d}s, \end{aligned} $$\end{document}dMC~{u,O}=dNC~(u)-λC~s;OI(C~>s)ds,where\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \begin{aligned} \mathop {}\!\textrm{d}N_{{\tilde{C}}}(s)= I(s \le {\tilde{C}}<s+\mathop {}\!\textrm{d}s, T_1 > {\tilde{C}}) + I(s \le {\tilde{C}}< s + {\text{d}}s, T_1 < {\tilde{C}} \le T_2) \end{aligned} $$\end{document}dNC~(s)=I(s≤C~<s+ds,T1>C~)+I(s≤C~<s+ds,T1<C~≤T2)is the censoring counting process corresponding to the observed censored observations up to and including time *s*, and\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \begin{aligned} \lambda _{{\tilde{C}}}\left\{ s; O\right\} I({{\tilde{C}}}> s) = I({\tilde{T}}_1 > s)\alpha _{{\tilde{C}},1}(s \mid A, W) + I(T_1 \le s < {\tilde{T}}_2)\alpha _{{\tilde{C}},2}(s \mid T_1, A, W) \end{aligned} $$\end{document}λC~s;OI(C~>s)=I(T~1>s)αC~,1(s∣A,W)+I(T1≤s<T~2)αC~,2(s∣T1,A,W)is the corresponding censoring intensity. We also define\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \begin{aligned}&K_{{{\tilde{C}}}, 1}(u \mid a, w) = \exp \left\{ -\int _0^u \alpha _{{{\tilde{C}}}, 1}(s \mid a, w) \mathop {}\!\textrm{d}s\right\} , \\&K_{{{\tilde{C}}}, 2}(v \mid u, a, w) = \exp \left\{ -\int _u^v \alpha _{{{\tilde{C}}}, 2}(s \mid u, a, w) \mathop {}\!\textrm{d}s\right\} , \end{aligned} $$\end{document}KC~,1(u∣a,w)=exp-∫0uαC~,1(s∣a,w)ds,KC~,2(v∣u,a,w)=exp-∫uvαC~,2(s∣u,a,w)ds,which are the probabilities of being uncensored for patients in state 1 and state 2, respectively. ## Separable direct and indirect effects To define our estimand of interest we will use the concept of separable effects (Robins and Richardson 2011; Robins et al. 2021; Stensrud et al. 2022), which was briefly introduced in Sect. 1. This approach to mediation analysis moves the focus from intervening on the mediator process, which is conceptually problematic in the illness-death setting, to interventions on different components of the treatment *A*. To make the treatment decomposition more explicit we will think of the treatment *A* as having two binary components which we will denote \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ A^I $$\end{document}AI and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ A^D $$\end{document}AD. As depicted in Fig. 2 we will assume that the component \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ A^I $$\end{document}AI only affects the terminal event through it’s effect on the intermediate event, and that the component \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ A^D $$\end{document}AD only affects the terminal event directly. We will think of the corresponding four-arm trial as our ‘target trial’ and will define our target parameters based on the counterfactual variables defined by this target trial. In the observed data we have either \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ A^D=A^I=1 $$\end{document}AD=AI=1 or \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ A^D=A^I=0 $$\end{document}AD=AI=0, but we presume that an intervention is possible where \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ A^D \ne A^I $$\end{document}AD≠AI, i.e. the components could be set to different values. If such treatment components are assumed to exist and appropriate identification assumptions hold, then it is not necessary to conduct the four arm target trial. In fact the target parameters may be identified from the observed two-arm trial under the assumptions stated in Lemma 1 below.Fig. 2An informal causal diagram illustrating the relationship between the treatment components and the counting processes. The thick edges indicate a deterministic relationship This way of thinking about mediation analysis in terms of ‘separable effects’ can be useful when investigators want to know whether a specific mechanism of exposure is associated with the outcome. Often the hypothesis of interest concerns a specific ‘active ingredient’ of the exposure which may be difficult or impossible to measure. In our example from Sect. 1 DAPT has been shown to have a protective effect on recurrent cardiovascular events, and is therefore often prescribed to MI or stoke patients. However DAPT is also associated with an increased risk of major bleeding (Wallentin et al. 2009). One of the primary forms of bleeding is gastrointestinal bleeding due to ulcers (Kazi et al. 2015; Dinicolantonio et al. 2013). We can then imagine a hypothetical treatment component \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ A^D $$\end{document}AD which has the same effect as DAPT on mortality, but lacks any effect on cardiovascular events, and a hypothetical treatment component \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ A^I $$\end{document}AI which has the same effect as DAPT on cardiovascular events but no direct effect on mortality. These treatment components do not necessarily correspond to meaningful real-world quantities. However, it can sometimes be useful to imagine them as hypothetical combination treatments. Assuming that gastrointestinal bleeding is the main effect of DAPT besides it’s effect on cardiovascular outcomes, the \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ A^I $$\end{document}AI component would correspond to a modified treatment that does not promote ulcers. In practice, a drug that combines DAPT with an additional drug that promotes healing of ulcers and thereby nullifies the harmful effect DAPT may resemble this hypothetical treatment. For instance a recent Danish registry study has shown that proton pump inhibitors (PPI’s) can induce ulcer healing among patients treated with DAPT (Sehested et al. 2019). It is important to note that the validity of the approach does not depend on whether the treatment components correspond to meaningful real life quantities. The validity of the approach does however depend crucially on the assumption that the two treatment components can be manipulated separately which is a strong assumption. ### Parameter of interest For \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ j=1,2 $$\end{document}j=1,2 we let \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ T_j^{a^D,a^I} $$\end{document}TjaD,aI denote the counterfactual event times under an intervention that sets \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ A^D $$\end{document}AD to \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ a^D $$\end{document}aD and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ A^I $$\end{document}AI to \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ a^I $$\end{document}aI and let \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ T_j^a $$\end{document}Tja denote the counterfactual event times under an intervention that sets \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ A=a $$\end{document}A=a in the observed two-arm trial. Then, the separable direct effect (SDE) and separable indirect effect (SIE) of the illness-death model are respectively defined as2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \begin{aligned} SDE(\tau , a^I)= E\left\{ I(T_2^{1,a^I}\le \tau )\right\} -E\left\{ I(T_2^{0,a^I}\le \tau )\right\} \text { for } a^I \in \{0,1\}, \end{aligned} $$\end{document}SDE(τ,aI)=EI(T21,aI≤τ)-EI(T20,aI≤τ)foraI∈{0,1},and3\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \begin{aligned} SIE(\tau , a^{D})= E\left\{ I(T_2^{a^D,1}\le \tau )\right\} -E\left\{ I(T_2^{a^D,0}\le \tau )\right\} \text { for } a^D \in \{0,1\}. \end{aligned} $$\end{document}SIE(τ,aD)=EI(T2aD,1≤τ)-EI(T2aD,0≤τ)foraD∈{0,1}.where \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ E(\cdot ) $$\end{document}E(·) denotes expectations computed under the data-generating distribution. That is, the SDE is the counterfactual contrast under \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ A^D=1 $$\end{document}AD=1 and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ A^D=0 $$\end{document}AD=0 when \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ A^I $$\end{document}AI is fixed at some level \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ a^I $$\end{document}aI. The SIE is the counterfactual contrast under \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ A^I=1 $$\end{document}AI=1 and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ A^I=0 $$\end{document}AI=0 when \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ A^D $$\end{document}AD is fixed at \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ a^D $$\end{document}aD. Note that the separable direct and indirect effect add up to the total treatment effect4\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \begin{aligned} TE(\tau , a)= & {} SDE(\tau , a) + SIE(\tau , 1-a) = E\left\{ I(T_2^{1,1}\le \tau )\right\} \nonumber \\{} & {} -E\left\{ I(T_2^{0,0}\le \tau )\right\} \text { for } a \in \{0,1\}. \end{aligned} $$\end{document}TE(τ,a)=SDE(τ,a)+SIE(τ,1-a)=EI(T21,1≤τ)-EI(T20,0≤τ)fora∈{0,1}. ### Identifiability conditions In order to identify the parameters of the target trial given in Eqs. (2)–(3) from the observed two-arm trial we need the following assumptions #### Lemma 1 (Identifiability) Suppose the following assumptions hold A.0We assume that the interventions are such that \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \begin{aligned} T_j^{A^D=a, A^I=a}=T_j^a \text { for } j=1,2 \end{aligned} $$\end{document}TjAD=a,AI=a=Tjaforj=1,2A.1Conditional A.2Consistency: If an individual is observed to receive treatment \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ A=a $$\end{document}A=a, then \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \begin{aligned} T_j^a= T_j \text { for } j=1,2 \end{aligned} $$\end{document}Tja=Tjforj=1,2A.3Positivity: \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \begin{aligned} \mu (w)>0 \Rightarrow \pi (a\mid W=w) > 0 \text { for } a \in \{0,1\} \text { and } w \in {\mathcal {W}}, \end{aligned} $$\end{document}μ(w)>0⇒π(a∣W=w)>0fora∈{0,1}andw∈W, and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \begin{aligned} P&(T_1>t \mid W=w)> 0 \Rightarrow \\&P({\tilde{T}}_1>t, A=a \mid W=w)>0\text { for } a \in \{0,1\}, t < \tau \text { and } w \in {\mathcal {W}}, \end{aligned} $$\end{document}P(T1>t∣W=w)>0⇒P(T~1>t,A=a∣W=w)>0fora∈{0,1},t<τandw∈W, and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \begin{aligned} P&(T_2>t>T_1, T_1=r \mid W=w)> 0 \Rightarrow \\&P({\tilde{T}}_2>t>T_1, T_1=r, A=a \mid W=w)>0\text { for } a \in \{0,1\}, r<t < \tau \text { and } w \in {\mathcal {W}}. \end{aligned} $$\end{document}P(T2>t>T1,T1=r∣W=w)>0⇒P(T~2>t>T1,T1=r,A=a∣W=w)>0fora∈{0,1},r<t<τandw∈W.A.4Dismissible components for all \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ t \in {\mathbb {R}}, r \in {\mathbb {R}} $$\end{document}t∈R,r∈R\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \begin{aligned} \lambda _{12}^{a^D=1, a^I}(t \mid W=w)&= \lambda _{12}^{a^D=0, a^I}(t\mid W=w) \text { for } a^I \in \{0,1\},\quad \quad \quad \quad \quad \quad {\Delta 1} \\ \lambda _{13}^{a^D, a^I=1}(t\mid W=w)&= \lambda _{13}^{a^D, a^I=0}(t \mid W=w) \text { for } a^D \in \{0,1\},\quad \quad \quad \quad \quad \quad {\Delta 2}\\ \lambda _{23}^{a^D, a^I=1}(t, t-r \mid W=w)&= \lambda _{23}^{a^D, a^I=0}(t, t-r\mid W=w) \text { for } a^D \in \{0,1\}.\quad \quad \quad \quad \quad \quad {\Delta 3} \end{aligned} $$\end{document}λ12aD=1,aI(t∣W=w)=λ12aD=0,aI(t∣W=w)foraI∈{0,1},Δ1λ13aD,aI=1(t∣W=w)=λ13aD,aI=0(t∣W=w)foraD∈{0,1},Δ2λ23aD,aI=1(t,t-r∣W=w)=λ23aD,aI=0(t,t-r∣W=w)foraD∈{0,1}.Δ3 where \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \lambda _{ij}^{a^D, a^I}(\cdot ) $$\end{document}λijaD,aI(·) denotes the transition hazards of the counterfactual illness-death process under an intervention that sets \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ A^D=a^D $$\end{document}AD=aD and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ A^I=a^D $$\end{document}AI=aD. Under assumptions A.1–A.4 we have,5\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \begin{aligned} E\left\{ I(T_2^{a^D,a^I}\le \tau )\right\}&= \psi (P; \tau , a^D, a^I) :=E \Bigg \{P_{13}(\tau , a^D, a^I, W)\Bigg \}, \end{aligned} $$\end{document}EI(T2aD,aI≤τ)=ψ(P;τ,aD,aI):=E{P13(τ,aD,aI,W)},where\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \begin{aligned} P_{13}(\tau , a^D, a^I, W)=&1- \Omega _{\tau }(a^D, a^I, w) -\int _{0}^{\tau } S_2(\tau |r,a^D, W) \Omega _r(a^D, a^I, w) \mathop {}\!\textrm{d}\Lambda _{12}(r|a^I,W), \end{aligned} $$\end{document}P13(τ,aD,aI,W)=1-Ωτ(aD,aI,w)-∫0τS2(τ|r,aD,W)Ωr(aD,aI,w)dΛ12(r|aI,W),for\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \begin{aligned} \Omega _r(a^D, a^I, w) = \exp \left\{ -\Lambda _{12}(r \mid a^I, w) - \Lambda _{13}(r \mid a^D, w)\right\} . \end{aligned} $$\end{document}Ωr(aD,aI,w)=exp-Λ12(r∣aI,w)-Λ13(r∣aD,w).Consequently, the separable direct and indirect effects are identified to6\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \begin{aligned} SDE(\tau , a^I) = \psi (P; \tau , 1,a^I) - \psi (P; \tau , 0, a^I), \end{aligned} $$\end{document}SDE(τ,aI)=ψ(P;τ,1,aI)-ψ(P;τ,0,aI),and7\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \begin{aligned} SIE(\tau , a^D) = \psi (P; \tau , a^D, 1) - \psi (P; \tau , a^D, 0). \end{aligned} $$\end{document}SIE(τ,aD)=ψ(P;τ,aD,1)-ψ(P;τ,aD,0). #### Proof In Appendix B. \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \square $$\end{document}□ Assumption A.0 is a separable effects analog of the consistency assumption. Assumption A.1–A.3 are standard assumptions for causal inference. Assumption A.4 is the so-called dismissible components conditions, which is an extension of the dismissible components conditions in Martinussen and Stensrud (2023) to the illness-death setting. In particular, assumption (\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \Delta 1 $$\end{document}Δ1) states that the counterfactual hazards of the \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ 1 \rightarrow 2 $$\end{document}1→2 transition are equal under all values of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ a^D $$\end{document}aD, and assumption (\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \Delta 2 $$\end{document}Δ2) states that the counterfactual hazards of the \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ 1 \rightarrow 3 $$\end{document}1→3 transition are equal under all values of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ a^I $$\end{document}aI. Lastly assumption (\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \Delta 3 $$\end{document}Δ3) states that the counterfactual hazards of the \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ 2 \rightarrow 3 $$\end{document}2→3 transition are equal under all values of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ a^I $$\end{document}aI. When the treatment components correspond to meaningful real-world treatments, the dismissible components conditions are empirically verifiable in future trials. The dismissible components conditions are violated if the \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ A^D $$\end{document}AD and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ A^I $$\end{document}AI components cannot be manipulated separately. In our DAPT example this would be the case if the biological pathways through which the medication affects MI or stroke is intertwined with the pathways through which it affects bleeding. The dismissible components conditions are also violated if there is an unmeasured common cause of the risk the intermediate and the terminal event. This is similar to the classical ‘no unmeasured mediator-outcome confounding’ assumption which is needed to identify natural (in-)direct effects. In our DAPT example this would be the case if there is an unmeasured common cause of cardiovascular events such as MI or stroke, and death. ## Estimation In this section we address the question of how to construct estimators of the estimand in Eq. (5). Efficient influence functions (EIFs) are an important concept in statistical theory for constructing estimators of causal parameters with desirable properties. In particular estimators based on the EIF are locally efficient (Bickel et al. 1993). Moreover they often exhibit multiple robustness properties in the sense that consistency of the estimator is preserved under misspecification of one or more components of the data distribution. Further, they are compatible with data adaptive estimation of nuisance parameters provided certain rate conditions hold. In this paper we focus on the first two properties and assume (semi-)parametric models for the nuisance parameters. In particular, in what follows, we let \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ {\hat{\Lambda }}_{12,n} $$\end{document}Λ^12,n, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ {\hat{\Lambda }}_{13,n} $$\end{document}Λ^13,n, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ {\hat{\Lambda }}_{23,n} $$\end{document}Λ^23,n, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ {\hat{\Lambda }}_{{{\tilde{C}}}, n} $$\end{document}Λ^C~,n, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ {\hat{\pi }}_n $$\end{document}π^n denote (semi-)parametric estimators for the relevant components of the data distribution, and we let \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \Lambda _{12}^* $$\end{document}Λ12∗, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \Lambda _{13}^* $$\end{document}Λ13∗, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \Lambda _{23}^* $$\end{document}Λ23∗, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \Lambda _{{{\tilde{C}}}}^* $$\end{document}ΛC~∗, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \pi ^* $$\end{document}π∗ and denote the large sample limits in probability of the (possibly misspecified) estimators. We let \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ Q^* $$\end{document}Q∗ and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ P^* $$\end{document}P∗ denote the corresponding distributions of *Z* and *O* respectively. If our working model for \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \Lambda _{12} $$\end{document}Λ12 is correctly specified then \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \Lambda _{12}^*=\Lambda _{12} $$\end{document}Λ12∗=Λ12 and the same holds for \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \Lambda _{13} $$\end{document}Λ13, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \Lambda _{23} $$\end{document}Λ23, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \Lambda _{{{\tilde{C}}}} $$\end{document}ΛC~ and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \pi $$\end{document}π. In Sect. 4.1 we derive the efficient influence function. In Sect. 4.2 we propose two types of estimators. The first is a ‘plug-in’ type estimator constructed by substituting estimators for the relevant part of the data distribution directly into (5). The second is a multiply robust estimator which uses the efficient influence function as an estimating equation. In Sect. 4.3 we provide details on how to construct estimators of their asymptotic variance. ### Efficient influence function Below we derive the EIF of the separable direct and indirect effects under a nonparametric model. We first derive the full-data efficient influence function and then, assuming CAR and Assumptions A.0–A.4 hold, map it to the observed data efficient influence function using results given in Tsiatis (2006). We also establish general multiple robustness properties that will be satisfied by any estimator which solves the EIF estimating function. *Full-data efficient influence function* Let \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \psi :{\mathcal {Q}}\rightarrow {\mathbb {R}} $$\end{document}ψ:Q→R, where \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ Q^* \rightarrow \psi (Q^*; \tau , a^D, a^I)=E^*\left\{ I(T_2^{a^D,a^I}\le \tau )\right\} $$\end{document}Q∗→ψ(Q∗;τ,aD,aI)=E∗I(T2aD,aI≤τ) and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ E^*(\cdot ) $$\end{document}E∗(·) denotes the expectation computed under \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ Q^* $$\end{document}Q∗. In Appendix C we show that the efficient influence function for \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \psi $$\end{document}ψ at \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ Q^* $$\end{document}Q∗ is given by8\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \begin{aligned} \begin{aligned} {\tilde{\psi }}(Q^*)(Z; \tau , a^D, a^I) =&\frac{I(A=a^{I})}{\pi ^*(a^{I}\mid W)} \int _0^{\tau } \frac{h_{12,\tau }^*(s, a^D, a^I, W)\mathop {}\!\textrm{d}M_{12}^{F*}(s, a^I, W)}{S_1^*(s \mid a^I, W)} \\&+ \frac{I(A=a^D)}{\pi ^*(a^D \mid W)} \Bigg \{\int _0^{\tau } \frac{ h_{13,\tau }^*(s, a^D, a^I, W) \mathop {}\!\textrm{d}M_{13}^{F*}(s, a^D, W)}{S_1^*(s \mid a^D, W)} \\&+ \frac{\eta h_{23,\tau }^*( T_1, a^D, a^I, W)}{S_1^*(T_1 \mid a^D, W)} \int _{T_1}^{\tau } \frac{\mathop {}\!\textrm{d}M_{23}^{F*}(s,T_1, a^D, W)}{S_2^*(s \mid T_1, a^D, W)} \Bigg \} \\&+ P_{13}^*(\tau , a^D, a^{I}, W) - \psi (Q^*; \tau , a^D, a^I), \end{aligned} \end{aligned} $$\end{document}ψ~(Q∗)(Z;τ,aD,aI)=I(A=aI)π∗(aI∣W)∫0τh12,τ∗(s,aD,aI,W)dM12F∗(s,aI,W)S1∗(s∣aI,W)+I(A=aD)π∗(aD∣W){∫0τh13,τ∗(s,aD,aI,W)dM13F∗(s,aD,W)S1∗(s∣aD,W)+ηh23,τ∗(T1,aD,aI,W)S1∗(T1∣aD,W)∫T1τdM23F∗(s,T1,aD,W)S2∗(s∣T1,aD,W)}+P13∗(τ,aD,aI,W)-ψ(Q∗;τ,aD,aI),with\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \begin{aligned} h_{1j,\tau }^*(s, a^D, a^I, w) =&\Omega ^*_{\tau }(a^D, a^I, w) + \int _s^{\tau } S_2^*(\tau \mid r, a^D, w) \Omega _r^*(a^D, a^I, w)\mathop {}\!\textrm{d}\Lambda _{12}^*(r\mid a^I, w) \\ {}&+ {\left\{ \begin{array}{ll}- S_2^*(\tau \mid s, a^D, w) \Omega _s^*(a^D, a^I, w), &{}\text {when } j=2 \\ 0, &{}\text {when } j=3 \end{array}\right. }, \end{aligned} $$\end{document}h1j,τ∗(s,aD,aI,w)=Ωτ∗(aD,aI,w)+∫sτS2∗(τ∣r,aD,w)Ωr∗(aD,aI,w)dΛ12∗(r∣aI,w)+-S2∗(τ∣s,aD,w)Ωs∗(aD,aI,w),whenj=20,whenj=3,and\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \begin{aligned} h_{23,\tau }^*(s, a^D, a^I, w) =&\frac{\lambda _{12}^*(s \mid a^I, w)}{\lambda _{12}^*(s \mid a^D, w)} \Omega _{s}^*(a^D, a^I, w)S_2^*(\tau \mid s, a^D, w), \end{aligned} $$\end{document}h23,τ∗(s,aD,aI,w)=λ12∗(s∣aI,w)λ12∗(s∣aD,w)Ωs∗(aD,aI,w)S2∗(τ∣s,aD,w),and where \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathop {}\!\textrm{d}M_{ij}^{F*} $$\end{document}dMijF∗ denote the full-data martingale increments under \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ Q^* $$\end{document}Q∗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \begin{aligned} \mathop {}\!\textrm{d}M_{13}^{F*}(s, A, W)&= \mathop {}\!\textrm{d}N_{13}(s)-\lambda _{13}^*(s \mid A, W)I(T_1>s)\mathop {}\!\textrm{d}s,\\ \mathop {}\!\textrm{d}M_{12}^{F*}(s, A, W)&= \mathop {}\!\textrm{d}N_{12}(s) - \lambda _{12}^*(s \mid A, W) I(T_1>s) \mathop {}\!\textrm{d}s,\\ \mathop {}\!\textrm{d}M_{23}^{F*}(s, T_1, A, W)&= \mathop {}\!\textrm{d}N_{23}(s) - \lambda _{23}^*(s, s-T_1\mid A, W) I(T_1 \le s < T_2) \mathop {}\!\textrm{d}s. \end{aligned} $$\end{document}dM13F∗(s,A,W)=dN13(s)-λ13∗(s∣A,W)I(T1>s)ds,dM12F∗(s,A,W)=dN12(s)-λ12∗(s∣A,W)I(T1>s)ds,dM23F∗(s,T1,A,W)=dN23(s)-λ23∗(s,s-T1∣A,W)I(T1≤s<T2)ds. #### Lemma 2 (Multiple robustness) The full-data efficient influence function admits a multiple robust structure in the sense that \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ E \left\{ {\tilde{\psi }}(Q^*)(Z) \right\} = \psi (Q) - \psi (Q^*) $$\end{document}Eψ~(Q∗)(Z)=ψ(Q)-ψ(Q∗) if one of the following holds (i)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \pi ^*(a \mid w)=\pi (a \mid w), \Lambda _{12}^*(r \mid a, w)=\Lambda _{12}(r \mid a, w) $$\end{document}π∗(a∣w)=π(a∣w),Λ12∗(r∣a,w)=Λ12(r∣a,w) and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \Lambda _{23}^*(t, t-r \mid a, w)=\Lambda _{23}(t, t-r \mid a, w) $$\end{document}Λ23∗(t,t-r∣a,w)=Λ23(t,t-r∣a,w) for all \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ t,r \in [0, \tau ] $$\end{document}t,r∈[0,τ], \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ a \in \{0,1\} $$\end{document}a∈{0,1} and almost all *w*,(ii)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \pi ^*(a \mid w)=\pi (a \mid w), \Lambda _{13}^*(t \mid a, w)= \Lambda _{13}(t \mid a, w) $$\end{document}π∗(a∣w)=π(a∣w),Λ13∗(t∣a,w)=Λ13(t∣a,w) and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \Lambda _{23}^*(t, t-r \mid a, w)=\Lambda _{23}(t, t-r \mid a, w) $$\end{document}Λ23∗(t,t-r∣a,w)=Λ23(t,t-r∣a,w) for all \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ t,r \in [0, \tau ] $$\end{document}t,r∈[0,τ], \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ a \in \{0,1\} $$\end{document}a∈{0,1} and almost all *w*,(iii)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \pi ^*(a \mid w)=\pi (a\mid w), \Lambda _{12}^*(t \mid a, w)= \Lambda _{12}(t \mid a, w) $$\end{document}π∗(a∣w)=π(a∣w),Λ12∗(t∣a,w)=Λ12(t∣a,w) and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \Lambda _{13}^*(t \mid a, w)=\Lambda _{13}(t \mid a, w) $$\end{document}Λ13∗(t∣a,w)=Λ13(t∣a,w) for all \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ t \in [0, \tau ] $$\end{document}t∈[0,τ], \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ a \in \{0,1\} $$\end{document}a∈{0,1} and almost all *w*. #### Proof In Appendix E. \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \square $$\end{document}□ The multiple robustness properties stated in the lemma above imply that the full-data influence function \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ {\tilde{\psi }}(Q^*)(Z) $$\end{document}ψ~(Q∗)(Z) is a consistent estimating function of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \psi (Q) $$\end{document}ψ(Q) when at most one of the transition intensities is inconsistently estimated. *Observed-data efficient influence function* Let \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \psi :{\mathcal {P}}\rightarrow {\mathbb {R}} $$\end{document}ψ:P→R, where \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ P^* \rightarrow \psi (P^*; \tau , a^D, a^I)=E^*\left\{ I(T_2^{a^D,a^I}\le \tau )\right\} $$\end{document}P∗→ψ(P∗;τ,aD,aI)=E∗I(T2aD,aI≤τ). In Appendix D we show that the observed data efficient influence function is given by9\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \begin{aligned} \begin{aligned}&{\tilde{\psi }}(P^*)(O; \tau , a^D, a^I) \\&\quad = \frac{I(A=a^I)}{\pi ^*(a^I\mid W)} \int _0^{\tau } \frac{h_{12,\tau }^*(s, a^D, a^I, W)}{K^*_{{\tilde{C}},1}(s \mid a^I, W)}\frac{\mathop {}\!\textrm{d}M_{12}^*(s, a^I, W)}{S_1^*(s \mid a^I, W)} \\&\qquad + \frac{I(A=a^D)}{\pi ^*(a^D \mid W)} \Bigg \{\int _0^{\tau } \frac{h_{13,\tau }^*(s, a^D, a^I, W)}{K_{{\tilde{C}},1}^*(s \mid a^D, W)} \frac{\mathop {}\!\textrm{d}M_{13}^*(s, a^D, W)}{S_1^*(s \mid a^D, W)} \\&\qquad + \frac{{\tilde{\eta }}h_{23,\tau }^*({\tilde{T}}_1, a^D, a^I, W)}{S_1^*({\tilde{T}}_1 \mid a^D, W)K^*_{{\tilde{C}}, 1}({\tilde{T}}_1 \mid a^D, W)} \int _{{\tilde{T}}_1}^{\tau } \frac{\mathop {}\!\textrm{d}M_{23}^*(s,{\tilde{T}}_1, a^D, W)}{S_2^*(s \mid {\tilde{T}}_1, a^D, W)K_{{\tilde{C}}, 2}^*(s \mid {\tilde{T}}_1, a^D, W)} \Bigg \} \\&\qquad + P_{13}^*(t, a^D, a^I, W) - \psi (P^*; t, a^D, a^I), \end{aligned} \end{aligned} $$\end{document}ψ~(P∗)(O;τ,aD,aI)=I(A=aI)π∗(aI∣W)∫0τh12,τ∗(s,aD,aI,W)KC~,1∗(s∣aI,W)dM12∗(s,aI,W)S1∗(s∣aI,W)+I(A=aD)π∗(aD∣W){∫0τh13,τ∗(s,aD,aI,W)KC~,1∗(s∣aD,W)dM13∗(s,aD,W)S1∗(s∣aD,W)+η~h23,τ∗(T~1,aD,aI,W)S1∗(T~1∣aD,W)KC~,1∗(T~1∣aD,W)∫T~1τdM23∗(s,T~1,aD,W)S2∗(s∣T~1,aD,W)KC~,2∗(s∣T~1,aD,W)}+P13∗(t,aD,aI,W)-ψ(P∗;t,aD,aI),with \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathop {}\!\textrm{d}M_{ij}^*(\cdot ) $$\end{document}dMij∗(·) denoting the observed-data martingale increments under \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ P^* $$\end{document}P∗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \begin{aligned} \mathop {}\!\textrm{d}M_{12}^*(s, A, W)&= \mathop {}\!\textrm{d}{{\tilde{N}}}_{12}(s) - \lambda ^*_{12}(s \mid A, W) I({\tilde{T}}_1>s) \mathop {}\!\textrm{d}s,\\ \mathop {}\!\textrm{d}M_{13}^*(s, A, W)&= \mathop {}\!\textrm{d}{{\tilde{N}}}_{13}(s) - \lambda ^*_{13}(s \mid A, W) I({\tilde{T}}_1>s) \mathop {}\!\textrm{d}s,\\ \mathop {}\!\textrm{d}M_{23}^*(s, {\tilde{T}}_1, A, W)&= \mathop {}\!\textrm{d}{{\tilde{N}}}_{23}(s) - \lambda _{23}^*(s, s-{\tilde{T}}_1 \mid A, W) I({\tilde{T}}_1 \le s <{\tilde{T}}_2) \mathop {}\!\textrm{d}s. \end{aligned} $$\end{document}dM12∗(s,A,W)=dN~12(s)-λ12∗(s∣A,W)I(T~1>s)ds,dM13∗(s,A,W)=dN~13(s)-λ13∗(s∣A,W)I(T~1>s)ds,dM23∗(s,T~1,A,W)=dN~23(s)-λ23∗(s,s-T~1∣A,W)I(T~1≤s<T~2)ds. #### Lemma 3 (Multiple robustness) The observed-data efficient influence function admits a multiple robust structure in the sense that \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ E \left\{ {\tilde{\psi }}(P^*)(O) \right\} = \psi (P) - \psi (P^*) $$\end{document}Eψ~(P∗)(O)=ψ(P)-ψ(P∗) if one of the following holds (i)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \pi ^*(a \mid w)=\pi (a \mid w), \Lambda _{{{\tilde{C}}}}^*\{t \mid G_s(z)\} = \Lambda _{{{\tilde{C}}}}\{t \mid G_s(z)\}, \Lambda _{12}^*(r \mid a, w)=\Lambda _{12}(r \mid a, w) $$\end{document}π∗(a∣w)=π(a∣w),ΛC~∗{t∣Gs(z)}=ΛC~{t∣Gs(z)},Λ12∗(r∣a,w)=Λ12(r∣a,w) and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \Lambda _{23}^*(t, t-r \mid a, w)=\Lambda _{23}(t, t-r \mid a, w) $$\end{document}Λ23∗(t,t-r∣a,w)=Λ23(t,t-r∣a,w) for all \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ t,r \in [0, \tau ] $$\end{document}t,r∈[0,τ], \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ a \in \{0,1\} $$\end{document}a∈{0,1} and almost all *w*,(ii)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \pi ^*(a \mid w)=\pi (a \mid w), \Lambda _{{{\tilde{C}}}}^*\{t \mid G_s(z)\} = \Lambda _{{{\tilde{C}}}}(t \mid G_s(z)),\Lambda _{13}^*(t \mid a, w)= \Lambda _{13}(t\mid a, w) $$\end{document}π∗(a∣w)=π(a∣w),ΛC~∗{t∣Gs(z)}=ΛC~(t∣Gs(z)),Λ13∗(t∣a,w)=Λ13(t∣a,w) and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \Lambda _{23}^*(t, t-r \mid a, w)=\Lambda _{23}(t, t-r \mid a, w) $$\end{document}Λ23∗(t,t-r∣a,w)=Λ23(t,t-r∣a,w) for all \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ t,r \in [0, \tau ] $$\end{document}t,r∈[0,τ], \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ a \in \{0,1\} $$\end{document}a∈{0,1} and almost all *w*,(iii)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \pi ^*(a \mid w)=\pi (a \mid w), \Lambda _{{{\tilde{C}}}}^*\{t \mid G_s(z)\} = \Lambda _{{{\tilde{C}}}}\{t \mid G_s(z)\},\Lambda _{12}^*(t \mid a, w)= \Lambda _{12}(t \mid a, w) $$\end{document}π∗(a∣w)=π(a∣w),ΛC~∗{t∣Gs(z)}=ΛC~{t∣Gs(z)},Λ12∗(t∣a,w)=Λ12(t∣a,w) and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \Lambda _{13}^*(t \mid a, w)=\Lambda _{13}(t \mid a, w) $$\end{document}Λ13∗(t∣a,w)=Λ13(t∣a,w) for all \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ t \in [0, \tau ] $$\end{document}t∈[0,τ], \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ a \in \{0,1\} $$\end{document}a∈{0,1} and almost all *w*,(iv)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \Lambda _{12}^*(r \mid a, w)=\Lambda _{12}(r \mid a, w), \Lambda _{13}^*(t \mid a, w)= \Lambda _{13}(t \mid a, w) $$\end{document}Λ12∗(r∣a,w)=Λ12(r∣a,w),Λ13∗(t∣a,w)=Λ13(t∣a,w) and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \Lambda _{23}^*(t, t-r \mid a, w)=\Lambda _{23}(t, t-r \mid a, w) $$\end{document}Λ23∗(t,t-r∣a,w)=Λ23(t,t-r∣a,w) for all \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ t,r \in [0, \tau ] $$\end{document}t,r∈[0,τ], \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ a \in \{0,1\} $$\end{document}a∈{0,1} and almost all *w*. #### Proof In Appendix F. \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \square $$\end{document}□ This means that when the censoring distribution is correctly specified the same multiple robustness properties hold as in the full-data case. The censoring model and propensity score are allowed to be misspecified when all three transition intensites are correctly specified. *Efficient influence functions of the separable direct and indirect effects* Consider the mappings \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ P^* \rightarrow \psi ^{\textrm{SDE}}(P^*; \tau , a^D, a^I)=\psi (P^*;\tau , 1, a^I)-\psi (P^*;\tau , 0, a^I) $$\end{document}P∗→ψSDE(P∗;τ,aD,aI)=ψ(P∗;τ,1,aI)-ψ(P∗;τ,0,aI) for \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ a^I \in \{0,1\} $$\end{document}aI∈{0,1} and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ P \rightarrow \psi ^{\textrm{SIE}}(P^*; \tau , a^D, a^I)=\psi (P^*;\tau , a^D, 1)-\psi (P^*;\tau , a^D, 0) $$\end{document}P→ψSIE(P∗;τ,aD,aI)=ψ(P∗;τ,aD,1)-ψ(P∗;τ,aD,0) for \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ a^D \in \{0,1\} $$\end{document}aD∈{0,1}. It follows by the functional delta method that the efficient influence functions of the separable direct and indirect effects in (6) and (7) are given by respectively\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \begin{aligned} {\tilde{\psi }}^{\textrm{SDE}}(P^*)(O; \tau , a^I) = {\tilde{\psi }}(P^*)(O; \tau , 1, a^I)-{\tilde{\psi }}(P^*)(O; \tau , 0, a^I), \ \text { for } a^I \in \{0,1\}, \end{aligned} $$\end{document}ψ~SDE(P∗)(O;τ,aI)=ψ~(P∗)(O;τ,1,aI)-ψ~(P∗)(O;τ,0,aI),foraI∈{0,1},and\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \begin{aligned} {\tilde{\psi }}^{\textrm{SIE}}(P^*)(O; \tau , a^D) = {\tilde{\psi }}(P^*)(O; \tau , a^D, 1)-{\tilde{\psi }}(P^*)(O; \tau , a^D, 0), \ \text { for } a^D \in \{0,1\}, \end{aligned} $$\end{document}ψ~SIE(P∗)(O;τ,aD)=ψ~(P∗)(O;τ,aD,1)-ψ~(P∗)(O;τ,aD,0),foraD∈{0,1},and will inherit the multiple robustness properties established in Lemma 3. ### Estimators *Plug-in (G-computation) estimator* A plug-in estimator estimates the relevant part of the distribution of *O*, in this case the empirical distribution of *W* and appropriate estimators \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ {\hat{\Lambda }}_{12,n}, {\hat{\Lambda }}_{13,n} $$\end{document}Λ^12,n,Λ^13,n and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ {\hat{\Lambda }}_{23,n} $$\end{document}Λ^23,n of the transition intensities, and substitutes them in place of the unknown quantities in Eq. (5). Then one obtains the estimator10\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \begin{aligned} {\hat{\Psi }}^{\text {Plug-in}}_n(\tau , a^D, a^I)=n^{-1}\sum _{i=1}^n {\hat{P}}_{13}(\tau , a^D, a^I, W_i), \end{aligned} $$\end{document}Ψ^nPlug-in(τ,aD,aI)=n-1∑i=1nP^13(τ,aD,aI,Wi),where\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \begin{aligned} {\hat{P}}_{13}(\tau , a^D, a^I, W)&= P_{13}(\tau , a^D, a^I, W; {\hat{\Lambda }}_{12,n}, {\hat{\Lambda }}_{13,n},{\hat{\Lambda }}_{23,n}). \end{aligned} $$\end{document}P^13(τ,aD,aI,W)=P13(τ,aD,aI,W;Λ^12,n,Λ^13,n,Λ^23,n).Equation (5) is also known as the G-computation formula (Robins 1986), and the estimator in (10) is also referred to as a G-computation estimator. Note that consistency of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ {\hat{\Psi }}^{\text {Plug-in}}_n(t, a^D, a^I) $$\end{document}Ψ^nPlug-in(t,aD,aI) depends on consistency of the estimators of all three transition intensities. *One-step estimator * As mentioned above the efficient influence function is useful for constructing multiply robust efficient estimators. One way of doing this is to use the influence function directly as an estimating equation (van der and Robins 2003). Since the EIF in equation (9) is linear in the parameter of interest, this results the 11\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \begin{aligned} {\hat{\Psi }}^{\text {one-step}}_n(\tau , a^D, a^I)= n^{-1}\sum _{i=1}^n \varphi ({\hat{\pi }}_n,{\hat{\Lambda }}_{12,n}, {\hat{\Lambda }}_{13,n},{\hat{\Lambda }}_{23,n}, {\hat{\Lambda }}_{\tilde{C},n})(O_i; \tau , a^D, a^I), \end{aligned} $$\end{document}Ψ^none-step(τ,aD,aI)=n-1∑i=1nφ(π^n,Λ^12,n,Λ^13,n,Λ^23,n,Λ^C~,n)(Oi;τ,aD,aI),where\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \begin{aligned} \varphi (P)(O; \tau , a^D, a^I)= {\tilde{\psi }}(P)(O; \tau , a^D, a^I)+ \psi (P; t, a^D, a^I) \end{aligned} $$\end{document}φ(P)(O;τ,aD,aI)=ψ~(P)(O;τ,aD,aI)+ψ(P;t,aD,aI)The estimator in (11) is multiply robust. In particular it is consistent under misspecification of (i) \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \Lambda _{12} $$\end{document}Λ12, (ii) \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \Lambda _{13} $$\end{document}Λ13, (iii) \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \Lambda _{23} $$\end{document}Λ23 or (iv) \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \pi $$\end{document}π and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \Lambda _{{{\tilde{C}}}} $$\end{document}ΛC~ as shown in Lemma 3. Note that we can \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \begin{aligned}{} & {} \varphi ({\hat{\pi }}_n,{\hat{\Lambda }}_{12,n}, {\hat{\Lambda }}_{13,n},{\hat{\Lambda }}_{23,n}, {\hat{\Lambda }}_{\tilde{C},n})(O; \tau , a^D, a^I) \\{} & {} \quad ={\tilde{\psi }}({\hat{\pi }}_n,{\hat{\Lambda }}_{12,n}, {\hat{\Lambda }}_{13,n},{\hat{\Lambda }}_{23,n}, {\hat{\Lambda }}_{\tilde{C},n})(O; \tau , a^D, a^I)+ {\hat{\Psi }}^{\text {G-comp}}_n(\tau , a^D, a^I). \end{aligned} $$\end{document}φ(π^n,Λ^12,n,Λ^13,n,Λ^23,n,Λ^C~,n)(O;τ,aD,aI)=ψ~(π^n,Λ^12,n,Λ^13,n,Λ^23,n,Λ^C~,n)(O;τ,aD,aI)+Ψ^nG-comp(τ,aD,aI).This approach is also referred to as a so-called ‘one-step’ bias correction approach (Ibragimov and Has’minskii 1981; Pfanzagel and Wefelmeyer 1985), and we will refer to the estimator in (11) as a ‘one-step’ estimator. ### Asymptotic variance If all nuisance models are correctly specified, then a consistent estimator of the asymptotic variance can be obtained from the variance of the influence function. However if one or more of the nuisance models are misspecified then this variance estimator is no longer consistent, and other techniques must be used. Suppose we are willing to assume fully parametric models for all nuisance parameters. Then we can derive the asymptotic distribution of the estimators in (10) and (11) by stacking the corresponding unbiased estimating equations for the target and nuisance parameters, and applying standard estimating equation theory (Stefanski and Boos 2002). In particular, let \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ {\hat{\theta }}_n $$\end{document}θ^n be the estimators of the parameters of interest and nuisance parameters that solves \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ n^{-1}\sum _{i=1}^n m(O_i, {\hat{\theta }}_n)=0 $$\end{document}n-1∑i=1nm(Oi,θ^n)=0 where \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ m(O, \theta ) $$\end{document}m(O,θ) are the stacked estimating equations of both the parameter of interest and nuisance parameters. For the plug-in estimator in (10) this would be \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ {\hat{\theta }}_n=({\hat{\Psi }}^{\text {Plug-in}},{\hat{\Lambda }}_{12,n},{\hat{\Lambda }}_{13,n}, {\hat{\Lambda }}_{23,n}) $$\end{document}θ^n=(Ψ^Plug-in,Λ^12,n,Λ^13,n,Λ^23,n) and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ m(O, \theta )=(P_{13}, S_{\Lambda _{12}}, S_{\Lambda _{13}}, S_{\Lambda _{23}}) $$\end{document}m(O,θ)=(P13,SΛ12,SΛ13,SΛ23) where \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ S_{\Lambda _{12}}, S_{\Lambda _{13}}, S_{\Lambda _{23}} $$\end{document}SΛ12,SΛ13,SΛ23 are appropriate estimating equations for the transition hazards. Under suitable regularity conditions (Newey and McFadden 1994; van der Vaart 2000; Tsiatis 2006), we have\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \begin{aligned} n^{1/2}({\hat{\theta }}-\theta ^*) \rightsquigarrow N\left( 0,E\left\{ -\frac{\partial m(O, \theta ^*)}{\partial \theta ^T} \right\} ^{-1} \text {var} \left\{ m(O, \theta ^*)\right\} E\left\{ -\frac{\partial m(O, \theta ^*)}{\partial \theta ^T} \right\} ^{-1^T}\right) . \end{aligned} $$\end{document}n1/2(θ^-θ∗)⇝N0,E-∂m(O,θ∗)∂θT-1varm(O,θ∗)E-∂m(O,θ∗)∂θT-1T.It is then possible to derive an analytic expression for the asymptotic variance of the estimators in (10) and (11) using the sandwich variance estimator. When the nuisance models are e.g. Cox regression models we need to take into account the variability of the baseline hazards which may be nonparametrically estimated. Then the asymptotic distribution can be derived using the functional delta method (van der Vaart 2000). This expression becomes very complicated, especially for the one-step estimator, and deriving an explicit estimator of the variance goes beyond the scope of this paper. ## Simulation study ### Simulation study empirical performance Below, we report the results from a simulation study where the aim is to compare the finite sample performance of the plug-in estimator and the one-step estimator. The data was generated by the following simulation \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ W \sim Uniform(0,1) $$\end{document}W∼Uniform(0,1)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ A \mid W \sim Bernoulli(\text {expit}(-0.5+ W+\zeta W^2)) $$\end{document}A∣W∼Bernoulli(expit(-0.5+W+ζW2))\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ T_1 \mid A, W \sim Exponential(\lambda _{12}+\lambda _{13}) $$\end{document}T1∣A,W∼Exponential(λ12+λ13) with \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \lambda _{12}=0.039 \cdot \exp (\log (2) W+ A+\gamma ^{12}AW) $$\end{document}λ12=0.039·exp(log(2)W+A+γ12AW) and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \lambda _{13}=0.026 \cdot \exp (\log (2) W+0.5 A+\gamma ^{13}(1-A)W) $$\end{document}λ13=0.026·exp(log(2)W+0.5A+γ13(1-A)W)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \eta \mid A, W \sim Bernoulli(\lambda _1/(\lambda _1+\lambda _2)) $$\end{document}η∣A,W∼Bernoulli(λ1/(λ1+λ2))\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ T_2= T_1 + \eta \cdot U $$\end{document}T2=T1+η·U with \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ U \sim Exponential(\lambda _{23}) $$\end{document}U∼Exponential(λ23) where \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \lambda _{23}=0.052 \cdot \exp (\log (2)W+0.5 A + \gamma ^{23}(1-A)W) $$\end{document}λ23=0.052·exp(log(2)W+0.5A+γ23(1-A)W)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ {\tilde{C}} \mid W \sim Exponential(\lambda _{{\tilde{C}}}) $$\end{document}C~∣W∼Exponential(λC~) with \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \lambda _{{\tilde{C}}} = 0.035 \cdot \exp (\theta W) $$\end{document}λC~=0.035·exp(θW)where \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \text {expit}(x)=\{1+\exp (x)\}^{-1} $$\end{document}expit(x)={1+exp(x)}-1. Note that this corresponds to a scenario where treatment has a protective effect on both disease and death, and where the treatment effect on death is the same in diseased and disease-free subjects. An estimator for the propensity score was constructed using a logistic regression model with main effects only. For the transition hazards we constructed estimators using a Cox regression model with main effects only and for the censoring hazard we used a Cox model with no covariate effects. The dependency of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \Lambda _{23} $$\end{document}Λ23 on the time of reaching state 2 was handled by delayed entry. We considered 8 different in scenario (i) all nuisance models were correctly specified which is the case when \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ (\zeta ,\gamma ^{12},\gamma ^{13},\gamma ^{23},\theta )=0 $$\end{document}(ζ,γ12,γ13,γ23,θ)=0, and in scenarios (ii)–(viii) we considered misspecifications of different combinations of the nuisance models by varying the values of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ (\zeta ,\gamma ^{12},\gamma ^{13},\gamma ^{23},\theta ) $$\end{document}(ζ,γ12,γ13,γ23,θ) accordingly. Additional details on the misspecified scenarios are given in Appendix G.Fig. 3Comparison of the G-computation (white rectangles) and one-step (black triangles) estimators of the SDE computed at time points \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ t \in \{2, 5, 10, 15, 20, 25\} $$\end{document}t∈{2,5,10,15,20,25} in terms of bias, empirical standard error, coverage of 95% confidence intervals and accuracy of the standard error estimator. This figure contains scenarios (i)–(iv) (Color figure online)Fig. 4Comparison of the G-computation (white rectangles) and one-step (black triangles) estimators of the SDE computed at time points \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ t \in \{2, 5, 10, 15, 20, 25\} $$\end{document}t∈{2,5,10,15,20,25} in terms of bias, empirical standard error coverage of 95% confidence intervals and accuracy of the standard error estimator. This figure contains scenarios (v)–(vii) (Color figure online) For each scenario we generated 1000 datasets from the simulation procedure with a sample size of 400. For each dataset we computed the plug-in estimator and the one-step estimator for the SDE along with the bootstrap variance for each estimator based on 250 replicates. The results of our simulation study are summarized in Figs. 3 and 4 where for all scenarios we report bias, empirical standard error, coverage of the 95 % Wald confidence interval and accuracy of the standard error estimator computed at time points \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ t\in \{1, 5, 10, 15, 20, 25\} $$\end{document}t∈{1,5,10,15,20,25}. As expected both the plug-in estimator and the one-step estimator are consistent in scenario (i) where all nuisance models are correctly specified and scenario (ii) were the propensity score and censoring models are misspecified. Moreover the coverages are close the nominal level. In scenarios (iii)–(v) where we consider misspecifications of at most one of the transition hazard models the one-step estimator provides a bias reduction over the plug-in estimator, as predicted by the multiple robustness properties in Lemma 3. In scenarios (vi)–(viii) where we consider misspecifications that go beyond the robustness properties of lemma 3 both the plug-in estimator and the one-step estimator are biased, except in scenario (vi) where the plug-in estimator surprisingly appears unbiased. The one-step estimator is more variable than the plug-in estimator throughout all scenarios. This simulation study confirms the double robustness properties of the one-step estimator derived in Sect. 4.1, which, along with the potential compatibility with data-adaptive estimation of nuisance parameters, highlights the real-word utility of the one-step estimator. ### Simulation study violation of assumptions The dismissible components conditions in Lemma 1 are violated in the presence of an unmeasured common risk factor for illness and death. Below, we study such violations in a simulation study. The data was generated by the following simulation \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ W \sim Bernoulli(0.5) $$\end{document}W∼Bernoulli(0.5)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ A^D \mid W \sim Bernoulli(\text {expit}(-0.5 + W)) $$\end{document}AD∣W∼Bernoulli(expit(-0.5+W))\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ A^I \mid W \sim Bernoulli(\text {expit}(-0.5+ W)) $$\end{document}AI∣W∼Bernoulli(expit(-0.5+W))\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ U \sim Bernoulli(0.6) $$\end{document}U∼Bernoulli(0.6)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ T_1 \mid A^D, A^I, W \sim Exponential(\lambda _{12}+\lambda _{13}) $$\end{document}T1∣AD,AI,W∼Exponential(λ12+λ13) with \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \lambda _{12}=0.039 \cdot \exp (\log (2)W+\beta ^{12}_{A} A^I + \gamma _U U) $$\end{document}λ12=0.039·exp(log(2)W+βA12AI+γUU) and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \lambda _{13}=0.026 \cdot \exp (\log (2)W+\beta ^{13}_{A}A^D +\gamma _U U) $$\end{document}λ13=0.026·exp(log(2)W+βA13AD+γUU)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \eta \mid A^D, A^I, W \sim Bernoulli(\lambda _1/(\lambda _1+\lambda _2)) $$\end{document}η∣AD,AI,W∼Bernoulli(λ1/(λ1+λ2))\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ T_2= T_1 + \eta \cdot V $$\end{document}T2=T1+η·V with \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ V \sim Exponential(\lambda _{23}) $$\end{document}V∼Exponential(λ23) with \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \lambda _{23}=0.052 \cdot \exp (\log (2) W+\beta ^{13}_{A} A^D + \gamma _U U) $$\end{document}λ23=0.052·exp(log(2)W+βA13AD+γUU)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ {\tilde{C}} \sim Exponential(\lambda _{{\tilde{C}}}) $$\end{document}C~∼Exponential(λC~) with \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \lambda _{{\tilde{C}}} = 0.035 $$\end{document}λC~=0.035We varied \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \gamma _U $$\end{document}γU along the grid \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \{-1, -0.9,...,0.9,1\} $$\end{document}{-1,-0.9,...,0.9,1} and considered the four (I) Protective treatment effect on disease and death, (II) Protective effect on disease and harmful effect on death, (III) Harmful effect on disease and protective effect on death and (IV) Harmful treatment effect on disease and death.Fig. 5Bias of the plug-in (white rectangles) and one-step (black triangles) estimators of the SDE computed at time points \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ t=15 $$\end{document}t=15 under violation of the identification assumption We constructed an estimator for the propensity score using a correctly specified logistic regression model. The censoring hazard was estimated using a Cox model with no covariate effects. The remaining nuisance models were estimated using Cox regression models adjusted for main effects of the observed variables. We generated 1000 datasets with a sample size of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ n=1000 $$\end{document}n=1000. For each dataset we computed the plug-in estimator and the one-step estimator for the SDE evaluated at time point \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ t=15 $$\end{document}t=15. The results are depicted in Fig. 5. It is seen that the bias increases with the magnitude of the association with the unmeasured common risk factor *U*. The direction of the bias depends on the effect of treatment on when the treatment has a protective effect on disease the estimator is downwards biased, and when the treatment has a harmful effect on disease the bias is positive. ## Real data application Using data from the Danish nationwide registries we identified all hospital admissions for first time acute myocardial infarction (MI) between 2010 and 2014. To get a more homogeneous study population we only included patients who were treated with a Percutaneous Coronary Intervention (PCI). We also excluded patients with a preexisting alcohol abuse diagnosis or chronic kidney disease diagnosis and patients younger than 30 years or older than 100 years of age. We set the index date for inclusion at 30 days following discharge and excluded patients who died prior to the index data. We defined the treatment arm as those patients who picked up a prescription for DAPT before the index date and the placebo group as those who did not. Patients who were still alive by the end of 2019 were administratively censored. Among the 16,081 patients in the study population 3856 patients had a recurrent cardiovascular event (defined as a hospital diagnosis of MI, stroke or heart failure) and were subsequently censored, 968 patients died within follow-up without having a recurrent cardiovascular event and 1385 patients experienced a recurrent cardiovascular event and subsequently died within followup.Fig. 6Nelson–Aalen estimates of the cumulative hazards of MI (top left), overall mortality (top right) and death without recurrent MI (bottom) in our cohort. The red curves are the treatment arm and the black curves are the placebo arm. Along with the hazards (solid lines) are shown 95% confidence intervals (dashed lines) (Color figure online) The cumulative hazard curves in Fig. 6 suggest that treatment reduces both risk of recurrent cardiovascular event, overall mortality and death without recurrent cardiovascular event. To access how much of the effect of DAPT on mortality was mediated through recurrent cardiovascular events we estimated the separable direct and indirect effects. That is, we assume that the treatment has two components that could in principle be manipulated one component \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ A^I $$\end{document}AI which only affects the risk of recurrent cardiovascular event directly and another component \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ A^D $$\end{document}AD which affects mortality through other pathways. A possible interpretation of these treatment components was discussed in Sect. 3. We can then define the separable indirect effect as the effect under an intervention that fixes the treatment component affecting affecting mortality through other pathways than recurrent cardiovascular events but varies the treatment component affecting cardiovascular events. Similarly we can define the separable direct effect as the effect that fixes the treatment component affecting cardiovascular events and varies the component affecting mortality through other pathways.Fig. 7Estimates of the separable direct effect (SDE), separable indirect effect (SIE) and total effect (TE) using the one-step estimator. Solid lines represent effect estimates and dashed lines the corresponding 95 % point-wise confidence intervalsFig. 8Estimates of the separable direct effect (SDE), separable indirect effect (SIE) and total effect (TE) using the plug-in estimator. Solid lines represent effect estimates and dashed lines the corresponding 95 % point-wise confidence intervals We estimated the separable effects using the plug-in estimator and the one-step estimator presented in Sect. 4.2. Both estimators used semi-parametric working models for the nuisance parameters. In particular, we used Cox regression models for the three transition hazards. The models were adjusted for baseline age, sex, hypertension diagnosis, prior gastrointestinal bleeding, diabetes, chronic liver disease, cancer, atrial fibrillation, Anemia, prior heart failure or stroke. We computed Wald-type point-wise confidence intervals based on 500 bootstrap data sets. The results of our analysis are presented in Figs. 7 and 8. In addition to the separable direct and indirect effects we have also depicted the total effect, c.f., Eq. (4). Our results suggest that the treatment reduces mortality both through recurrent cardiovascular events and through other pathways. That is, within the limitations of our study, we can conclude that the modified treatment that fixes the component affecting mortality through other pathways than recurrent cardiovascular events does not capture the entire protective effect of the treatment. In fact a substantial fraction of the protective effect of DAPT on mortality is a direct effect. We recognize several potential limitations with our study. First, we likely have confounding by indication in that frail individuals are less likely to be prescribed the treatment. Therefore the drug will appear more effective than it actually is, also on non-cardiovascular mortality. This phenomenon is notoriously difficult to adjust for because of unmeasured confounding. Second, comorbidities such as diabetes status are essentially time-varying covariates. It is a major limitation of our method that we only adjust for baseline covarites. Third, a potential issue is that many cardiovascular events go undetected or are not entered into the registries e.g. when a patient dies suddenly without prior hospital admission. Finally, the overall risk of bleeding, which is the main side effect of DAPT, is very low. ## Discussion ### Relation to other approaches The main difficulty when formulating causal mediation targets in the illness-death model is that the mediating event is truncated by the terminal event. In this paper we proposed causal mediation estimands using the concept of separable effects, which considers interventions on separate components of the treatment instead of interventions on the mediator. This approach avoids the conceptual issues that arise when the terminal event occurs before the mediator, rendering the mediator undefined. However, this comes at the cost of assuming that the treatment components can be manipulated separately, which may not always be appropriate. Depending on the causal question at hand there are other approaches in the literature that may be useful for defining mediation targets in the illness-death model. Valeri et al. (2021) propose randomized interventional direct and indirect effects. Instead of considering manipulations of the mediator, they consider stochastic interventions on the intermediate time-to-event distribution conditional on baseline covariates. The authors then define the ‘stochastic direct effect’ as the difference in survival across exposure groups under a stochastic intervention that fixes the intermediate time-to-event distribution to be the same in both exposure groups. The ‘stochastic indirect effect’ is defined as the difference in survival within an exposure group when the intermediate time-to-event distribution is varied. Their approach result in the same identifying functionals as in our paper, but under different identifiability conditions. Thus the target parameter in our paper can also be interpreted as an interventional effect. A different alternative is principal stratification which has often been advocated in the presence of truncation (Zhang and Rubin 2003; Comment et al. 2019). A recent paper by Gao et al. (2021) proposes a principal stratification approach for defining causal mediation effects in the subgroup where the intermediate event will happen before the potential terminal event when given either of two treatment options. This strata corresponds to a multistate model where only the transition from the ‘healthy’ state to the ‘illness’ state and from the ‘illness’ state to ‘death’ are involved, an thus their approach leads to a different identifying functional than the one in our paper. This method avoids the issues that arise when death occurs prior to the non-terminal event. However a limitation is that the empirical usefulness of the estimand is debatable since the subgroup for which the estimand is defined can never be observed. Huang (2021) proposes a method for causal mediation with ‘semicompeting risk data’, based on counterfactual counting processes for the latent intermediate event and the terminal event. To circumvent the undefinability of the intermediate event the author assumes that if the intermediate event does not occur before the terminal event it would never occur within follow-up. The paper was accompanied by a number of commentaries (Stensrud et al. 2021; Fulcher et al. 2021; Chan et al. 2021) which argue that the identification assumptions are too restrictive for most practical contexts. As the authors do not use a classical illness-death model framework, it is not clear to us how their identifying functional is connected to ours. ### Conclusion and possible extensions In this paper we proposed causal estimands for the separable direct and indirect effects of a baseline exposure on a terminal time-to-event outcome mediated by the illness state of a continuous-time illness-death process. We proposed a plug-in estimator based on the identifying functional, and a one-step estimator which solves the efficient influence function. We showed that the one-step estimator is multiply robust under appropriate regularity conditions, and we confirmed these theoretical properties in a simulation study which showed an impressive performance of the one-step estimator. To illustrate our method we applied the estimators to a Danish registry data set to study how much of the effect of DAPT on mortality was mediated through stroke or MI. As mentioned in Sect. 6 a major limitation of our work is that we have only considered the case of baseline covariates, ignoring the possibility of changes during the followup period. Such changes are present in most real-word data including the DAPT example. Extending the method to handle time-varying covariates is thus an important topic for future research. We believe that our method can be generalized to allow for covariates measured at random times on a continuous scale similar to the setting considered in Rytgaard et al. (2022). Since the time-varying confounders are potentially affected by treatment one would need to consider a more general notion of separable effects as described in Stensrud et al. (2021) who define separable direct and indirect effects in a discrete-time competing risk model with time-varying common causes of the event of interest and the competing event. Another important topic for future research is the use of data-adaptive estimation of the nuisance parameters in the illness-death model. Our focus in this paper has been on (semi-)parametric models for the nuisance parameters. However, to avoid misspecification of the nuisance models one may wish to use estimators that are more flexible. The one-step estimator derived in this article is compatible with such data-adaptive estimators, provided certain rate conditions hold. Finally, in this paper we have limited our attention to the illness-death model where the terminal event death is the outcome of interest. Often the outcome of interest is not a terminal event, and both the mediator and the outcome are subject to competing risk from death. A natural extension of our work is to consider an ‘extended illness-death model’ with a fourth state representing the competing event.