Identification and estimation of mediational effects of longitudinal modified treatment policies

Brian Gilbert corresponding author: [email protected] Division of Biostatistics, Department of Population Health, New York University Grossman School of Medicine. Katherine L. Hoffman Department of Epidemiology, Mailman School of Public Health, Columbia University. Nicholas Williams Department of Epidemiology, Mailman School of Public Health, Columbia University. Kara E. Rudolph Department of Epidemiology, Mailman School of Public Health, Columbia University. Edward J. Schenck Department of Medicine, Division of Pulmonary and Critical Care Medicine, NewYork-Presbyterian Hospital/Weill Cornell Medical Center. Iván Díaz Division of Biostatistics, Department of Population Health, New York University Grossman School of Medicine.
(July 1, 2024)
Abstract

We demonstrate a comprehensive semiparametric approach to causal mediation analysis, addressing the complexities inherent in settings with longitudinal and continuous treatments, confounders, and mediators. Our methodology utilizes a nonparametric structural equation model and a cross-fitted sequential regression technique based on doubly robust pseudo-outcomes, yielding an efficient, asymptotically normal estimator without relying on restrictive parametric modeling assumptions. We are motivated by a recent scientific controversy regarding the effects of invasive mechanical ventilation (IMV) on the survival of COVID-19 patients, considering acute kidney injury (AKI) as a mediating factor. We highlight the possibility of “inconsistent mediation,” in which the direct and indirect effects of the exposure operate in opposite directions. We discuss the significance of mediation analysis for scientific understanding and its potential utility in treatment decisions.

Keywords— mediation, machine learning, longitudinal, treatment policies

1 Introduction

Causal mediation analysis, or the identification of the different pathways through which an exposure or treatment (we will use the terms “exposure” and “treatment” interchangeably) can operate, has been increasing in interest across the scientific literature (Nguyen et al., 2021). Although the concept of mediation has been active for at least a century (Wright, 1921), mediation analysis has only relatively recently been incorporated in formal causal models such as the framework of potential outcomes or structural causal models, which allow for nonparametric perspectives, or the study of mediation effects without reference to a particular (e.g., linear) statistical model (Imai et al., 2010).

Even so, the formulation of an estimand of interest in a mediation analysis is not always a simple task. The so-called “natural” mediation effects, where one considers an intervention that partially “blocks” the effect of an exposure by assigning mediator values to their counterfactual values under a fixed exposure level in order to isolate “direct” and “indirect” effects, have been well-studied, and conditions for their identification have been given (Robins and Greenland, 1992; Pearl, 2001). However, those identification conditions are quite strong and unlikely to be satisfied in many instances of real data-generating processes (Avin et al., 2005; Miles et al., 2015). To analyze mediation under more reasonable assumptions, alternative estimands based on stochastic draws from the mediator distribution have been proposed and labeled “interventional effects” (VanderWeele et al., 2014).

Mediation analysis in longitudinal settings is particularly challenging; some existing approaches have relied on parametric model specification (VanderWeele and Tchetgen, 2017; Tai et al., 2022), which leads to a lack of robustness. Zheng and van der Laan (2017) provided a robust machine-learning approach for the estimation of mediation effects with time-varying treatments, confounders, and mediators. This line of research was advanced by Díaz et al. (2023b) which allowed the (interventional) direct effect to include pathways through intermediate confounders. This formulation is desirable if the goal of mediation analysis is to separate effects according to whether they operate through the mediator or not, which is the point of view of the present article.

However, even these strategies that make use of flexible models for estimation still rely on the notion of a “static” treatment regimen, or one in which each value of treatment for all timepoints is explicitly specified in the estimand of interest, which is a significant limitation insofar as real-world decision-making rarely follows this form in the longitudinal setting. That is, even an externally-designed intervention is likely to be responsive, intentionally or otherwise, to variables that are encountered over the course of treatment. A few examples include the administration of antiretroviral drugs in HIV patients, which can be adapted to CD4 cell count measurements (Hernán et al., 2006), and the administration of antihypertensive drugs, which can be adapted to blood pressure measurements (Johnson et al., 2018).

Aside from their lack of applicability, studies of static intervention face various statistical challenges. First, identification of the causal estimand relies on the positivity assumption (i.e., that there is a positive probability of any treatment regime given any level of covariates), which is often implausible, especially for continuous treatments given at multiple timepoints. Likewise, for continuous treatments, the estimation of a dose-response curve (the function of exposure values that yields the population-average outcome conditional on receiving each value) involves complications in terms of convergence rates (standard n𝑛\sqrt{n}square-root start_ARG italic_n end_ARG rates are not possible, see Kennedy, 2018) and of the summarization and interpretation of such a high-dimensional target parameter.

By contrast, so-called “dynamic” treatment regimes allow exposure values to change based on observed covariates (Robins et al., 2004). These can be generalized to “stochastic” interventions which allow for randomness in the exposure values, even conditional on all other variables. Furthermore, it may often be of interest to consider a treatment regime that assigns treatment values depending on what treatment value would have occurred in the absence of intervention, or the “natural” value of treatment (Young et al., 2014). Such a regime, which we call a “modified treatment policy,” was considered in Robins et al. (2004), with formalization and estimation strategies for single-timepoint studies to follow in Díaz and van der Laan (2012) and Haneuse and Rotnitzky (2013). Díaz et al. (2021) provide a framework for robust estimation of the effects of modified treatment policies for time-varying treatments.

We synthesize these various strands of the statistical literature into a new strategy for mediation analysis in longitudinal settings, following Díaz and Hejazi (2020) and Hejazi et al. (2023), who studied mediation analysis for single-timepoint stochastic interventions. Specifically, we consider the direct and indirect effects of longitudinal modified treatment policies under interventional mediator distributions, which have not been considered in previous literature. The methods we propose are motivated by an issue that was relevant in the early landscape of COVID-19 management: the use of invasive mechanical ventilation (IMV) in cases of acute respiratory distress syndrome (ARDS). ARDS is a form of acute hypoxic respiratory failure, which is one of the key time-varying features of a patient’s course with severe COVID (see, e.g., Wang et al. (2021)). In the beginning stages of the pandemic, IMV was employed early, or at a lower supplemental oxygen delivery threshold, to manage ARDS, but its usage has been associated with several iatrogenic risks such as ventilator-associated pneumonia (Wicky et al., 2021) and barotrauma (Shrestha et al., 2022). Of interest to the present study is acute kidney injury (AKI), a critical condition that complicates ICU stays and is associated with mortality (Vemuri et al., 2022). As more data emerged and practitioners became more familiar with the pace of disease progression, guidelines shifted towards delaying intubation due to high mortality rates among mechanically ventilated patients and potential secondary complications. To navigate these treatment dynamics, we aim to elucidate the direct and indirect effects of IMV on patient mortality with respect to the AKI pathway. This application offers a compelling case for the use of our methods in understanding the effects of time-varying treatments and the causal pathways involved. We emphasize the phenomenon of “inconsistent mediation” (a situation in which the direct and indirect effects are qualitatively in opposite directions). In the current setting, this would involve (on average) IMV causing death through AKI while (on average) preventing death through other mechanisms. This dichotomy may be relevant for research and clinical practice, if interventions could be in place to mitigate IMV-induced AKI. While this is an active area of research, potential interventions include the administration of diuretics to modulate intravascular volume status (Grams et al., 2011; Glassford and Bellomo, 2011) and pharmacological options as explored by Pickkers et al. (2022). Finally, we also investigate the relationship between baseline covariates and the magnitude of these direct and indirect effects; such relationships can suggest biological pathways as well as potentially inform future treatments.

The current paper is structured as follows. Section 2 introduces the causal framework and notation we will use throughout. Section 3 presents the theory and techniques we will use to learn mediational effects of longitudinal treatment policies. Section 4 gives our analysis of the intubation data, and Section 5 concludes.

2 Model setup

2.1 Notation

Our notation largely mirrors that of Díaz et al. (2021) and Díaz et al. (2023b). We consider data X1,,Xnsubscript𝑋1subscript𝑋𝑛X_{1},\ldots,X_{n}italic_X start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , … , italic_X start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT, an i.i.d. sample from a distribution 𝖯𝖯\mathsf{P}sansserif_P. The data are longitudinal, with X=(L1,A1,Z1,M1,L2,,Aτ,Zτ,Mτ,Lτ+1)𝑋subscript𝐿1subscript𝐴1subscript𝑍1subscript𝑀1subscript𝐿2subscript𝐴𝜏subscript𝑍𝜏subscript𝑀𝜏subscript𝐿𝜏1X=\allowbreak(L_{1},A_{1},Z_{1},M_{1},\allowbreak L_{2},\ldots,A_{\tau},Z_{% \tau},\allowbreak M_{\tau},L_{\tau+1})italic_X = ( italic_L start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_Z start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_M start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_L start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , … , italic_A start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT , italic_Z start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT , italic_M start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT , italic_L start_POSTSUBSCRIPT italic_τ + 1 end_POSTSUBSCRIPT ), where the variables A𝐴Aitalic_A are the exposure of interest, L𝐿Litalic_L are covariates, M𝑀Mitalic_M are mediators, and Z𝑍Zitalic_Z are intermediate confounders. An intermediate confounder is a variable affected by exposure and which affects the mediator and outcome; see VanderWeele et al. (2014). We let Y=Lτ+1𝑌subscript𝐿𝜏1Y=L_{\tau+1}italic_Y = italic_L start_POSTSUBSCRIPT italic_τ + 1 end_POSTSUBSCRIPT denote the outcome of interest. As in our illustrative application, we will assume that the mediator takes values in a finite set; the supports of all other variables are unrestricted.

For any symbol W𝑊Witalic_W, we let W¯t=(W1,,Wt)subscript¯𝑊𝑡subscript𝑊1subscript𝑊𝑡\bar{W}_{t}=(W_{1},\ldots,W_{t})over¯ start_ARG italic_W end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT = ( italic_W start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , … , italic_W start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ) (past history) and W¯t=(Wt,,Wτ)subscript¯𝑊𝑡subscript𝑊𝑡subscript𝑊𝜏\underaccent{\bar}{W}_{t}=(W_{t},\ldots,W_{\tau})under¯ start_ARG italic_W end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT = ( italic_W start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , … , italic_W start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT ) (future history). We let W¯=W¯τ=W¯1¯𝑊subscript¯𝑊𝜏subscript¯𝑊1\bar{W}=\bar{W}_{\tau}=\underaccent{\bar}{W}_{1}over¯ start_ARG italic_W end_ARG = over¯ start_ARG italic_W end_ARG start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT = under¯ start_ARG italic_W end_ARG start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT, the full history. We also define HA,t=(L¯t,M¯t1,Z¯t1,A¯t1)subscript𝐻𝐴𝑡subscript¯𝐿𝑡subscript¯𝑀𝑡1subscript¯𝑍𝑡1subscript¯𝐴𝑡1H_{A,t}=(\bar{L}_{t},\bar{M}_{t-1},\bar{Z}_{t-1},\bar{A}_{t-1})italic_H start_POSTSUBSCRIPT italic_A , italic_t end_POSTSUBSCRIPT = ( over¯ start_ARG italic_L end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , over¯ start_ARG italic_M end_ARG start_POSTSUBSCRIPT italic_t - 1 end_POSTSUBSCRIPT , over¯ start_ARG italic_Z end_ARG start_POSTSUBSCRIPT italic_t - 1 end_POSTSUBSCRIPT , over¯ start_ARG italic_A end_ARG start_POSTSUBSCRIPT italic_t - 1 end_POSTSUBSCRIPT ); this is the history of all variables prior to Atsubscript𝐴𝑡A_{t}italic_A start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT. Similarly, HZ,tsubscript𝐻𝑍𝑡H_{Z,t}italic_H start_POSTSUBSCRIPT italic_Z , italic_t end_POSTSUBSCRIPT is the history of all variables prior to Ztsubscript𝑍𝑡Z_{t}italic_Z start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT, and HM,tsubscript𝐻𝑀𝑡H_{M,t}italic_H start_POSTSUBSCRIPT italic_M , italic_t end_POSTSUBSCRIPT and HL,tsubscript𝐻𝐿𝑡H_{L,t}italic_H start_POSTSUBSCRIPT italic_L , italic_t end_POSTSUBSCRIPT are defined likewise. Finally, 𝗀A,t(athA,t)subscript𝗀𝐴𝑡conditionalsubscript𝑎𝑡subscript𝐴𝑡\mathsf{g}_{A,t}(a_{t}\mid h_{A,t})sansserif_g start_POSTSUBSCRIPT italic_A , italic_t end_POSTSUBSCRIPT ( italic_a start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ∣ italic_h start_POSTSUBSCRIPT italic_A , italic_t end_POSTSUBSCRIPT ) is the probability density or probability mass function of treatment at time t𝑡titalic_t, given the variable history HA,t=hA,tsubscript𝐻𝐴𝑡subscript𝐴𝑡H_{A,t}=h_{A,t}italic_H start_POSTSUBSCRIPT italic_A , italic_t end_POSTSUBSCRIPT = italic_h start_POSTSUBSCRIPT italic_A , italic_t end_POSTSUBSCRIPT. Similarly, 𝗀M,t(mt,hM,t)subscript𝗀𝑀𝑡subscript𝑚𝑡subscript𝑀𝑡\mathsf{g}_{M,t}(m_{t},h_{M,t})sansserif_g start_POSTSUBSCRIPT italic_M , italic_t end_POSTSUBSCRIPT ( italic_m start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , italic_h start_POSTSUBSCRIPT italic_M , italic_t end_POSTSUBSCRIPT ) gives the conditional probability mass function of the time-varying mediator.

2.2 Structural equation model and definition of causal effects

We consider causal effects defined within a nonparametric structural equation model, which consists of exogenous and endogenous variables and unknown deterministic functions governing the causal relations between them, together with independence assumptions on the exogenous variables (Pearl, 2000). We allow for arbitrary causal relations among observed variables that respect their time-ordering; this can be visualized in the directed acyclic graph (DAG) given in Figure 1, reproduced from Díaz et al. (2023b).

L1subscript𝐿1L_{1}italic_L start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPTA1subscript𝐴1A_{1}italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPTM1subscript𝑀1M_{1}italic_M start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPTL2subscript𝐿2L_{2}italic_L start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPTZ1subscript𝑍1Z_{1}italic_Z start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPTA2subscript𝐴2A_{2}italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPTM2subscript𝑀2M_{2}italic_M start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPTL3subscript𝐿3L_{3}italic_L start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPTZ2subscript𝑍2Z_{2}italic_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT\cdotsAτsubscript𝐴𝜏A_{\tau}italic_A start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPTMτsubscript𝑀𝜏M_{\tau}italic_M start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPTY𝑌Yitalic_YZτsubscript𝑍𝜏Z_{\tau}italic_Z start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT
Figure 1: Causal DAG for the model of time-varying mediation. For clarity, the symbol maps-to\boldsymbol{\mapsto}bold_↦ is used to indicate arrows from all previous nodes (to the left) to all following nodes (to the right).

To formalize the dependence structure, we posit functions f𝑓fitalic_f such that for each t𝑡titalic_t, we have At=fA,t(HA,t,UA,t)subscript𝐴𝑡subscript𝑓𝐴𝑡subscript𝐻𝐴𝑡subscript𝑈𝐴𝑡A_{t}=f_{A,t}(H_{A,t},U_{A,t})italic_A start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT = italic_f start_POSTSUBSCRIPT italic_A , italic_t end_POSTSUBSCRIPT ( italic_H start_POSTSUBSCRIPT italic_A , italic_t end_POSTSUBSCRIPT , italic_U start_POSTSUBSCRIPT italic_A , italic_t end_POSTSUBSCRIPT ), Zt=fZ,t(HZ,t,UZ,t)subscript𝑍𝑡subscript𝑓𝑍𝑡subscript𝐻𝑍𝑡subscript𝑈𝑍𝑡Z_{t}=f_{Z,t}(H_{Z,t},U_{Z,t})italic_Z start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT = italic_f start_POSTSUBSCRIPT italic_Z , italic_t end_POSTSUBSCRIPT ( italic_H start_POSTSUBSCRIPT italic_Z , italic_t end_POSTSUBSCRIPT , italic_U start_POSTSUBSCRIPT italic_Z , italic_t end_POSTSUBSCRIPT ), Mt=fM,t(HM,t,UM,t)subscript𝑀𝑡subscript𝑓𝑀𝑡subscript𝐻𝑀𝑡subscript𝑈𝑀𝑡M_{t}=f_{M,t}(H_{M,t},U_{M,t})italic_M start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT = italic_f start_POSTSUBSCRIPT italic_M , italic_t end_POSTSUBSCRIPT ( italic_H start_POSTSUBSCRIPT italic_M , italic_t end_POSTSUBSCRIPT , italic_U start_POSTSUBSCRIPT italic_M , italic_t end_POSTSUBSCRIPT ), and Lt=fL,t(HL,t,UL,t)subscript𝐿𝑡subscript𝑓𝐿𝑡subscript𝐻𝐿𝑡subscript𝑈𝐿𝑡L_{t}=f_{L,t}(H_{L,t},U_{L,t})italic_L start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT = italic_f start_POSTSUBSCRIPT italic_L , italic_t end_POSTSUBSCRIPT ( italic_H start_POSTSUBSCRIPT italic_L , italic_t end_POSTSUBSCRIPT , italic_U start_POSTSUBSCRIPT italic_L , italic_t end_POSTSUBSCRIPT ). The variables U=(UA,t,UZ,t,UM,t,UL,t,UY:t{1,,τ})U=(U_{A,t},U_{Z,t},U_{M,t},U_{L,t},U_{Y}:t\in\{1,\ldots,\tau\})italic_U = ( italic_U start_POSTSUBSCRIPT italic_A , italic_t end_POSTSUBSCRIPT , italic_U start_POSTSUBSCRIPT italic_Z , italic_t end_POSTSUBSCRIPT , italic_U start_POSTSUBSCRIPT italic_M , italic_t end_POSTSUBSCRIPT , italic_U start_POSTSUBSCRIPT italic_L , italic_t end_POSTSUBSCRIPT , italic_U start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT : italic_t ∈ { 1 , … , italic_τ } ) are unobserved “exogenous” variables. In the general model, there are no restrictions on the distribution of U𝑈Uitalic_U, but in Section 3, they will be subject to assumptions to enable identification of the estimands of interest.

This setup allows us to speak of causal effects as the interventions on some functions f𝑓fitalic_f while kee** the remaining structure of the model intact. For example, the simple intervention to set A1subscript𝐴1A_{1}italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT to the value a1subscript𝑎1a_{1}italic_a start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT replaces fA,1subscript𝑓𝐴1f_{A,1}italic_f start_POSTSUBSCRIPT italic_A , 1 end_POSTSUBSCRIPT with the constant function a1subscript𝑎1a_{1}italic_a start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT. In this paper, we are interested in the effects of interventions on the treatment variables A¯¯𝐴\bar{A}over¯ start_ARG italic_A end_ARG, and we will analyze its decomposition through pathways that include mediating variables M¯¯𝑀\bar{M}over¯ start_ARG italic_M end_ARG and through pathways that do not. For this purpose, we will consider interventions on the functions fA,tsubscript𝑓𝐴𝑡f_{A,t}italic_f start_POSTSUBSCRIPT italic_A , italic_t end_POSTSUBSCRIPT and fM,tsubscript𝑓𝑀𝑡f_{M,t}italic_f start_POSTSUBSCRIPT italic_M , italic_t end_POSTSUBSCRIPT for t=1,,τ𝑡1𝜏t=1,\ldots,\tauitalic_t = 1 , … , italic_τ.

For interventions on the treatment variable, we will consider longitudinal modified treatment policies (LMTPs) (Díaz et al., 2021), which are hypothetical interventions defined in terms of a sequence of functions 𝕕=(𝕕1,,𝕕τ)𝕕subscript𝕕1subscript𝕕𝜏\mathbbm{d}=(\mathbbm{d}_{1},\ldots,\mathbbm{d}_{\tau})blackboard_d = ( blackboard_d start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , … , blackboard_d start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT ), where 𝕕tsubscript𝕕𝑡\mathbbm{d}_{t}blackboard_d start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT is a function 𝕕t(at,hA,t,ϵt)subscript𝕕𝑡subscript𝑎𝑡subscript𝐴𝑡subscriptitalic-ϵ𝑡\mathbbm{d}_{t}(a_{t},h_{A,t},\epsilon_{t})blackboard_d start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ( italic_a start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , italic_h start_POSTSUBSCRIPT italic_A , italic_t end_POSTSUBSCRIPT , italic_ϵ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ) that depends on a treatment value atsubscript𝑎𝑡a_{t}italic_a start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT, a history value hA,tsubscript𝐴𝑡h_{A,t}italic_h start_POSTSUBSCRIPT italic_A , italic_t end_POSTSUBSCRIPT, and possibly a randomizer ϵtsubscriptitalic-ϵ𝑡\epsilon_{t}italic_ϵ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT. The intervention is defined by removing the equation At=fAt(Ht,UA,t)subscript𝐴𝑡subscript𝑓subscript𝐴𝑡subscript𝐻𝑡subscript𝑈𝐴𝑡A_{t}=f_{A_{t}}(H_{t},U_{A,t})italic_A start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT = italic_f start_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_H start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , italic_U start_POSTSUBSCRIPT italic_A , italic_t end_POSTSUBSCRIPT ) sequentially (from t=1𝑡1t=1italic_t = 1 to t=τ𝑡𝜏t=\tauitalic_t = italic_τ) from the structural model, and replacing it with evaluations of the functions 𝕕tsubscript𝕕𝑡\mathbbm{d}_{t}blackboard_d start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT as follows. At the first timepoint, the LMTP assigns the exposure as a new random variable A1𝕕=𝕕t(A1,HA,1,ϵ1)superscriptsubscript𝐴1𝕕subscript𝕕𝑡subscript𝐴1subscript𝐻𝐴1subscriptitalic-ϵ1A_{1}^{\mathbbm{d}}=\mathbbm{d}_{t}(A_{1},H_{A,1},\epsilon_{1})italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT blackboard_d end_POSTSUPERSCRIPT = blackboard_d start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ( italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_H start_POSTSUBSCRIPT italic_A , 1 end_POSTSUBSCRIPT , italic_ϵ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ). This generates a counterfactual treatment A2(A¯1𝕕)=fA2(HA,2(A¯1𝕕),UA,1)subscript𝐴2superscriptsubscript¯𝐴1𝕕subscript𝑓subscript𝐴2subscript𝐻𝐴2superscriptsubscript¯𝐴1𝕕subscript𝑈𝐴1A_{2}(\bar{A}_{1}^{\mathbbm{d}})=f_{A_{2}}(H_{A,2}(\bar{A}_{1}^{\mathbbm{d}}),% U_{A,1})italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( over¯ start_ARG italic_A end_ARG start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT blackboard_d end_POSTSUPERSCRIPT ) = italic_f start_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_H start_POSTSUBSCRIPT italic_A , 2 end_POSTSUBSCRIPT ( over¯ start_ARG italic_A end_ARG start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT blackboard_d end_POSTSUPERSCRIPT ) , italic_U start_POSTSUBSCRIPT italic_A , 1 end_POSTSUBSCRIPT ) that would have been observed if the intervention had been discontinued right before t=2𝑡2t=2italic_t = 2. Then, the intervention at t=2𝑡2t=2italic_t = 2 assigns treatment as A2𝕕=𝕕2(A2(A¯1𝕕),HA,2(A¯1𝕕),ϵ2)superscriptsubscript𝐴2𝕕subscript𝕕2subscript𝐴2superscriptsubscript¯𝐴1𝕕subscript𝐻𝐴2superscriptsubscript¯𝐴1𝕕subscriptitalic-ϵ2A_{2}^{\mathbbm{d}}=\mathbbm{d}_{2}(A_{2}(\bar{A}_{1}^{\mathbbm{d}}),H_{A,2}(% \bar{A}_{1}^{\mathbbm{d}}),\epsilon_{2})italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT blackboard_d end_POSTSUPERSCRIPT = blackboard_d start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( over¯ start_ARG italic_A end_ARG start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT blackboard_d end_POSTSUPERSCRIPT ) , italic_H start_POSTSUBSCRIPT italic_A , 2 end_POSTSUBSCRIPT ( over¯ start_ARG italic_A end_ARG start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT blackboard_d end_POSTSUPERSCRIPT ) , italic_ϵ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ). In general, an intervention that sets the exposure values up to time t1𝑡1t-1italic_t - 1 to A¯t1𝕕superscriptsubscript¯𝐴𝑡1𝕕\bar{A}_{t-1}^{\mathbbm{d}}over¯ start_ARG italic_A end_ARG start_POSTSUBSCRIPT italic_t - 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT blackboard_d end_POSTSUPERSCRIPT generates counterfactual variables Lt(A¯t1𝕕)=fLt(At1𝕕,Ht1(A¯t2𝕕),UL,t)subscript𝐿𝑡superscriptsubscript¯𝐴𝑡1𝕕subscript𝑓subscript𝐿𝑡superscriptsubscript𝐴𝑡1𝕕subscript𝐻𝑡1superscriptsubscript¯𝐴𝑡2𝕕subscript𝑈𝐿𝑡L_{t}(\bar{A}_{t-1}^{\mathbbm{d}})=f_{L_{t}}(A_{t-1}^{\mathbbm{d}},H_{t-1}(% \bar{A}_{t-2}^{\mathbbm{d}}),U_{L,t})italic_L start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ( over¯ start_ARG italic_A end_ARG start_POSTSUBSCRIPT italic_t - 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT blackboard_d end_POSTSUPERSCRIPT ) = italic_f start_POSTSUBSCRIPT italic_L start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_A start_POSTSUBSCRIPT italic_t - 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT blackboard_d end_POSTSUPERSCRIPT , italic_H start_POSTSUBSCRIPT italic_t - 1 end_POSTSUBSCRIPT ( over¯ start_ARG italic_A end_ARG start_POSTSUBSCRIPT italic_t - 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT blackboard_d end_POSTSUPERSCRIPT ) , italic_U start_POSTSUBSCRIPT italic_L , italic_t end_POSTSUBSCRIPT ), Mt(A¯t1𝕕)subscript𝑀𝑡superscriptsubscript¯𝐴𝑡1𝕕M_{t}(\bar{A}_{t-1}^{\mathbbm{d}})italic_M start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ( over¯ start_ARG italic_A end_ARG start_POSTSUBSCRIPT italic_t - 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT blackboard_d end_POSTSUPERSCRIPT ), and Zt(A¯t1𝕕)subscript𝑍𝑡superscriptsubscript¯𝐴𝑡1𝕕Z_{t}(\bar{A}_{t-1}^{\mathbbm{d}})italic_Z start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ( over¯ start_ARG italic_A end_ARG start_POSTSUBSCRIPT italic_t - 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT blackboard_d end_POSTSUPERSCRIPT ). In addition, At(A¯t1𝕕)=fAt(Ht(A¯t1𝕕),UA,t)subscript𝐴𝑡superscriptsubscript¯𝐴𝑡1𝕕subscript𝑓subscript𝐴𝑡subscript𝐻𝑡superscriptsubscript¯𝐴𝑡1𝕕subscript𝑈𝐴𝑡A_{t}(\bar{A}_{t-1}^{\mathbbm{d}})=f_{A_{t}}(H_{t}(\bar{A}_{t-1}^{\mathbbm{d}}% ),U_{A,t})italic_A start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ( over¯ start_ARG italic_A end_ARG start_POSTSUBSCRIPT italic_t - 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT blackboard_d end_POSTSUPERSCRIPT ) = italic_f start_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_H start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ( over¯ start_ARG italic_A end_ARG start_POSTSUBSCRIPT italic_t - 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT blackboard_d end_POSTSUPERSCRIPT ) , italic_U start_POSTSUBSCRIPT italic_A , italic_t end_POSTSUBSCRIPT ), At(A¯t1𝕕)subscript𝐴𝑡superscriptsubscript¯𝐴𝑡1𝕕A_{t}(\bar{A}_{t-1}^{\mathbbm{d}})italic_A start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ( over¯ start_ARG italic_A end_ARG start_POSTSUBSCRIPT italic_t - 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT blackboard_d end_POSTSUPERSCRIPT ), termed the “natural value of treatment” (Richardson and Robins, 2013; Young et al., 2014), “represents the value of treatment that would have been observed at time t𝑡titalic_t under an intervention carried out up until time t1𝑡1t-1italic_t - 1 but discontinued thereafter” (Díaz et al., 2021). The intervention at time t𝑡titalic_t is given by At𝕕=𝕕t(At(A¯t1𝕕),HA,t(A¯t1𝕕),ϵt)superscriptsubscript𝐴𝑡𝕕subscript𝕕𝑡subscript𝐴𝑡superscriptsubscript¯𝐴𝑡1𝕕subscript𝐻𝐴𝑡superscriptsubscript¯𝐴𝑡1𝕕subscriptitalic-ϵ𝑡A_{t}^{\mathbbm{d}}=\mathbbm{d}_{t}(A_{t}(\bar{A}_{t-1}^{\mathbbm{d}}),H_{A,t}% (\bar{A}_{t-1}^{\mathbbm{d}}),\epsilon_{t})italic_A start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT blackboard_d end_POSTSUPERSCRIPT = blackboard_d start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ( italic_A start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ( over¯ start_ARG italic_A end_ARG start_POSTSUBSCRIPT italic_t - 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT blackboard_d end_POSTSUPERSCRIPT ) , italic_H start_POSTSUBSCRIPT italic_A , italic_t end_POSTSUBSCRIPT ( over¯ start_ARG italic_A end_ARG start_POSTSUBSCRIPT italic_t - 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT blackboard_d end_POSTSUPERSCRIPT ) , italic_ϵ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ).

The intervention on M¯¯𝑀\bar{M}over¯ start_ARG italic_M end_ARG is defined in terms of a stochastic intervention. Specifically, let Mt(A¯𝕕)=fM,t(At𝕕,HM,t(A¯t𝕕),UM,t)subscript𝑀𝑡superscript¯𝐴𝕕subscript𝑓𝑀𝑡superscriptsubscript𝐴𝑡𝕕subscript𝐻𝑀𝑡superscriptsubscript¯𝐴𝑡𝕕subscript𝑈𝑀𝑡M_{t}(\bar{A}^{\mathbbm{d}})=f_{M,t}(A_{t}^{\mathbbm{d}},H_{M,t}(\bar{A}_{t}^{% \mathbbm{d}}),U_{M,t})italic_M start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ( over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d end_POSTSUPERSCRIPT ) = italic_f start_POSTSUBSCRIPT italic_M , italic_t end_POSTSUBSCRIPT ( italic_A start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT blackboard_d end_POSTSUPERSCRIPT , italic_H start_POSTSUBSCRIPT italic_M , italic_t end_POSTSUBSCRIPT ( over¯ start_ARG italic_A end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT blackboard_d end_POSTSUPERSCRIPT ) , italic_U start_POSTSUBSCRIPT italic_M , italic_t end_POSTSUBSCRIPT ) denote the mediator at time t𝑡titalic_t observed under the above LMTP, and let J¯(A¯𝕕)¯𝐽superscript¯𝐴𝕕\bar{J}(\bar{A}^{\mathbbm{d}})over¯ start_ARG italic_J end_ARG ( over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d end_POSTSUPERSCRIPT ) denote a random draw from the distribution of M¯(A¯𝕕)¯𝑀superscript¯𝐴𝕕\bar{M}(\bar{A}^{\mathbbm{d}})over¯ start_ARG italic_M end_ARG ( over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d end_POSTSUPERSCRIPT ), potentially conditioning on baseline variables L1subscript𝐿1L_{1}italic_L start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT. We consider interventions where M¯¯𝑀\bar{M}over¯ start_ARG italic_M end_ARG is replaced by this random draw.

A causal “effect” is typically conceived as some difference in outcome distributions under different interventions. To simplify notation throughout, we will consider two user-specified, fixed interventions 𝕕=(𝕕1,,𝕕τ)superscript𝕕subscriptsuperscript𝕕1subscriptsuperscript𝕕𝜏\mathbbm{d}^{\star}=(\mathbbm{d}^{\star}_{1},\ldots,\mathbbm{d}^{\star}_{\tau})blackboard_d start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT = ( blackboard_d start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , … , blackboard_d start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT ) and 𝕕=(𝕕1,,𝕕τ)superscript𝕕subscriptsuperscript𝕕1subscriptsuperscript𝕕𝜏\mathbbm{d}^{\prime}=(\mathbbm{d}^{\prime}_{1},\ldots,\mathbbm{d}^{\prime}_{% \tau})blackboard_d start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = ( blackboard_d start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , … , blackboard_d start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT ), though the generalization of the theory to arbitrary 𝕕𝕕\mathbbm{d}blackboard_d is immediate. We define the randomized modified treatment policy effect as 𝖤[Y(A¯𝕕,J¯(A¯𝕕))Y(A¯𝕕,J¯(A¯𝕕))]𝖤delimited-[]𝑌superscript¯𝐴superscript𝕕¯𝐽superscript¯𝐴superscript𝕕𝑌superscript¯𝐴superscript𝕕¯𝐽superscript¯𝐴superscript𝕕\mathsf{E}[Y(\bar{A}^{\mathbbm{d}^{\prime}},\bar{J}(\bar{A}^{\mathbbm{d}^{% \prime}}))-Y(\bar{A}^{\mathbbm{d}^{\star}},\bar{J}(\bar{A}^{\mathbbm{d}^{\star% }}))]sansserif_E [ italic_Y ( over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT , over¯ start_ARG italic_J end_ARG ( over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ) ) - italic_Y ( over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT , over¯ start_ARG italic_J end_ARG ( over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ) ) ] and decompose it into an interventional direct effect

DE=𝖤[Y(A¯𝕕,J¯(A¯𝕕))Y(A¯𝕕,J¯(A¯𝕕))]𝐷𝐸𝖤delimited-[]𝑌superscript¯𝐴superscript𝕕¯𝐽superscript¯𝐴superscript𝕕𝑌superscript¯𝐴superscript𝕕¯𝐽superscript¯𝐴superscript𝕕DE=\mathsf{E}[Y(\bar{A}^{\mathbbm{d}^{\prime}},\bar{J}(\bar{A}^{\mathbbm{d}^{% \star}}))-Y(\bar{A}^{\mathbbm{d}^{\star}},\bar{J}(\bar{A}^{\mathbbm{d}^{\star}% }))]italic_D italic_E = sansserif_E [ italic_Y ( over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT , over¯ start_ARG italic_J end_ARG ( over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ) ) - italic_Y ( over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT , over¯ start_ARG italic_J end_ARG ( over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ) ) ] (1)

and indirect effect

IE=𝖤[Y(A¯𝕕,J¯(A¯𝕕))Y(A¯𝕕,J¯(A¯𝕕))],𝐼𝐸𝖤delimited-[]𝑌superscript¯𝐴superscript𝕕¯𝐽superscript¯𝐴superscript𝕕𝑌superscript¯𝐴superscript𝕕¯𝐽superscript¯𝐴superscript𝕕IE=\mathsf{E}[Y(\bar{A}^{\mathbbm{d}^{\prime}},\bar{J}(\bar{A}^{\mathbbm{d}^{% \prime}}))-Y(\bar{A}^{\mathbbm{d}^{\prime}},\bar{J}(\bar{A}^{\mathbbm{d}^{% \star}}))],italic_I italic_E = sansserif_E [ italic_Y ( over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT , over¯ start_ARG italic_J end_ARG ( over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ) ) - italic_Y ( over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT , over¯ start_ARG italic_J end_ARG ( over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ) ) ] , (2)

which sum to the “overall” or “total” effect comparing 𝕕superscript𝕕\mathbbm{d}^{\prime}blackboard_d start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT to 𝕕superscript𝕕\mathbbm{d}^{\star}blackboard_d start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT. Thus, the task at hand is to estimate expressions of the form 𝖤[Y(A¯𝕕,J¯(A¯𝕕))]𝖤delimited-[]𝑌superscript¯𝐴superscript𝕕¯𝐽superscript¯𝐴superscript𝕕\mathsf{E}[Y(\bar{A}^{\mathbbm{d}^{\prime}},\bar{J}(\bar{A}^{\mathbbm{d}^{% \star}}))]sansserif_E [ italic_Y ( over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT , over¯ start_ARG italic_J end_ARG ( over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ) ) ], for general 𝕕superscript𝕕\mathbbm{d}^{\star}blackboard_d start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT and 𝕕superscript𝕕\mathbbm{d}^{\prime}blackboard_d start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT.

3 Identification and estimation of interventional mediation effects

3.1 Assumptions and sequential regression

In what follows, it will be necessary to reference variable histories under interventions. For example, we let HL,t=(L¯t1,M¯t1,Z¯t1,A¯t1d)superscriptsubscript𝐻𝐿𝑡subscript¯𝐿𝑡1subscript¯𝑀𝑡1subscript¯𝑍𝑡1superscriptsubscript¯𝐴𝑡1superscript𝑑H_{L,t}^{\prime}=(\bar{L}_{t-1},\bar{M}_{t-1},\bar{Z}_{t-1},\bar{A}_{t-1}^{d^{% \prime}})italic_H start_POSTSUBSCRIPT italic_L , italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = ( over¯ start_ARG italic_L end_ARG start_POSTSUBSCRIPT italic_t - 1 end_POSTSUBSCRIPT , over¯ start_ARG italic_M end_ARG start_POSTSUBSCRIPT italic_t - 1 end_POSTSUBSCRIPT , over¯ start_ARG italic_Z end_ARG start_POSTSUBSCRIPT italic_t - 1 end_POSTSUBSCRIPT , over¯ start_ARG italic_A end_ARG start_POSTSUBSCRIPT italic_t - 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_d start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ). Intervened histories for other variables are defined analogously, as are counterfactual histories under the other intervention 𝕕superscript𝕕\mathbbm{d}^{\star}blackboard_d start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT, denoted with Hsuperscript𝐻H^{\star}italic_H start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT. Similarly, to ease notation, we let At=𝕕t(At,HA,t,ϵt)superscriptsubscript𝐴𝑡superscriptsubscript𝕕𝑡subscript𝐴𝑡subscript𝐻𝐴𝑡subscriptitalic-ϵ𝑡A_{t}^{\prime}=\mathbbm{d}_{t}^{\prime}(A_{t},H_{A,t},\epsilon_{t})italic_A start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = blackboard_d start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_A start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , italic_H start_POSTSUBSCRIPT italic_A , italic_t end_POSTSUBSCRIPT , italic_ϵ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ), with Atsuperscriptsubscript𝐴𝑡A_{t}^{\star}italic_A start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT defined similarly.

To identify the parameter, 𝖤[Y(A¯𝕕,J¯(A¯𝕕))]𝖤delimited-[]𝑌superscript¯𝐴superscript𝕕¯𝐽superscript¯𝐴superscript𝕕\mathsf{E}[Y(\bar{A}^{\mathbbm{d}^{\prime}},\bar{J}(\bar{A}^{\mathbbm{d}^{% \star}}))]sansserif_E [ italic_Y ( over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT , over¯ start_ARG italic_J end_ARG ( over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ) ) ], the following assumptions, which combine elements of the identification assumptions from Díaz et al. (2021) and Díaz et al. (2023b), are sufficient. Note that A1 involves future histories rather than single timepoints only.

A1Conditional exchangeability of treatment and mediator.

Assume:

  1. (i)

    UA,t(U¯Z,t,U¯M,t,U¯L,t+1,U¯A,t+1)Htconditionalsubscript𝑈𝐴𝑡perpendicular-toabsentperpendicular-tosubscript¯𝑈𝑍𝑡subscript¯𝑈𝑀𝑡subscript¯𝑈𝐿𝑡1subscript¯𝑈𝐴𝑡1subscript𝐻𝑡U_{A,t}\mbox{$\perp\!\!\!\perp$}(\underline{U}_{Z,t},\underline{U}_{M,t},% \underline{U}_{L,{t+1}},\underline{U}_{A,t+1})\mid H_{t}italic_U start_POSTSUBSCRIPT italic_A , italic_t end_POSTSUBSCRIPT ⟂ ⟂ ( under¯ start_ARG italic_U end_ARG start_POSTSUBSCRIPT italic_Z , italic_t end_POSTSUBSCRIPT , under¯ start_ARG italic_U end_ARG start_POSTSUBSCRIPT italic_M , italic_t end_POSTSUBSCRIPT , under¯ start_ARG italic_U end_ARG start_POSTSUBSCRIPT italic_L , italic_t + 1 end_POSTSUBSCRIPT , under¯ start_ARG italic_U end_ARG start_POSTSUBSCRIPT italic_A , italic_t + 1 end_POSTSUBSCRIPT ) ∣ italic_H start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT for all t{1,,τ}𝑡1𝜏t\in\{1,\ldots,\tau\}italic_t ∈ { 1 , … , italic_τ };

  2. (ii)

    UM,t(U¯L,t+1,U¯A,t+1,U¯Z,t+1)Htconditionalsubscript𝑈𝑀𝑡perpendicular-toabsentperpendicular-tosubscript¯𝑈𝐿𝑡1subscript¯𝑈𝐴𝑡1subscript¯𝑈𝑍𝑡1subscript𝐻𝑡U_{M,t}\mbox{$\perp\!\!\!\perp$}(\underline{U}_{L,{t+1}},\underline{U}_{A,t+1}% ,\underline{U}_{Z,{t+1}})\mid H_{t}italic_U start_POSTSUBSCRIPT italic_M , italic_t end_POSTSUBSCRIPT ⟂ ⟂ ( under¯ start_ARG italic_U end_ARG start_POSTSUBSCRIPT italic_L , italic_t + 1 end_POSTSUBSCRIPT , under¯ start_ARG italic_U end_ARG start_POSTSUBSCRIPT italic_A , italic_t + 1 end_POSTSUBSCRIPT , under¯ start_ARG italic_U end_ARG start_POSTSUBSCRIPT italic_Z , italic_t + 1 end_POSTSUBSCRIPT ) ∣ italic_H start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT for all t{1,,τ}𝑡1𝜏t\in\{1,\ldots,\tau\}italic_t ∈ { 1 , … , italic_τ }.

A2Positivity of treatment and mediator assignment.

Assume:

  1. (i)

    If (at,hA,t)supp{At,HA,t}subscript𝑎𝑡subscript𝐴𝑡suppsubscript𝐴𝑡subscript𝐻𝐴𝑡(a_{t},h_{A,t})\in\mathop{\mathrm{supp}}\{A_{t},H_{A,t}\}( italic_a start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , italic_h start_POSTSUBSCRIPT italic_A , italic_t end_POSTSUBSCRIPT ) ∈ roman_supp { italic_A start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , italic_H start_POSTSUBSCRIPT italic_A , italic_t end_POSTSUBSCRIPT } then (𝕕(at,hA,t),hA,t)supp{At,HA,t}superscript𝕕subscript𝑎𝑡subscript𝐴𝑡subscript𝐴𝑡suppsubscript𝐴𝑡subscript𝐻𝐴𝑡(\mathbbm{d}^{\star}(a_{t},h_{A,t}),h_{A,t})\in\mathop{\mathrm{supp}}\{A_{t},H% _{A,t}\}( blackboard_d start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT ( italic_a start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , italic_h start_POSTSUBSCRIPT italic_A , italic_t end_POSTSUBSCRIPT ) , italic_h start_POSTSUBSCRIPT italic_A , italic_t end_POSTSUBSCRIPT ) ∈ roman_supp { italic_A start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , italic_H start_POSTSUBSCRIPT italic_A , italic_t end_POSTSUBSCRIPT } for t{1,,τ}𝑡1𝜏t\in\{1,\ldots,\tau\}italic_t ∈ { 1 , … , italic_τ }, and similarly for 𝕕superscript𝕕\mathbbm{d}^{\prime}blackboard_d start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT;

  2. (ii)

    If hM,tsupp{HM,t}subscript𝑀𝑡suppsubscript𝐻𝑀𝑡h_{M,t}\in\mathop{\mathrm{supp}}\{H_{M,t}\}italic_h start_POSTSUBSCRIPT italic_M , italic_t end_POSTSUBSCRIPT ∈ roman_supp { italic_H start_POSTSUBSCRIPT italic_M , italic_t end_POSTSUBSCRIPT } then (mt,hM,t)supp{Mt,HM,t}subscript𝑚𝑡subscript𝑀𝑡suppsubscript𝑀𝑡subscript𝐻𝑀𝑡(m_{t},h_{M,t})\in\mathop{\mathrm{supp}}\{M_{t},H_{M,t}\}( italic_m start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , italic_h start_POSTSUBSCRIPT italic_M , italic_t end_POSTSUBSCRIPT ) ∈ roman_supp { italic_M start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , italic_H start_POSTSUBSCRIPT italic_M , italic_t end_POSTSUBSCRIPT } for t{1,,τ}𝑡1𝜏t\in\{1,\ldots,\tau\}italic_t ∈ { 1 , … , italic_τ } and mtsupp{Mt}subscript𝑚𝑡suppsubscript𝑀𝑡m_{t}\in\mathop{\mathrm{supp}}\{M_{t}\}italic_m start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ∈ roman_supp { italic_M start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT }.

If Atsubscript𝐴𝑡A_{t}italic_A start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT is not a discrete random variable, one further condition is required.

A3Piecewise-smooth invertibililty of treatment modification.

If Atsubscript𝐴𝑡A_{t}italic_A start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT is not a discrete random variable, the conditional support of Atsubscript𝐴𝑡A_{t}italic_A start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT given HA,t=hA,tsubscript𝐻𝐴𝑡subscript𝐴𝑡H_{A,t}=h_{A,t}italic_H start_POSTSUBSCRIPT italic_A , italic_t end_POSTSUBSCRIPT = italic_h start_POSTSUBSCRIPT italic_A , italic_t end_POSTSUBSCRIPT admits a partition into subintervals where the restrictions of 𝕕(,ha,t)superscript𝕕subscript𝑎𝑡\mathbbm{d}^{\prime}(\cdot,h_{a,t})blackboard_d start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( ⋅ , italic_h start_POSTSUBSCRIPT italic_a , italic_t end_POSTSUBSCRIPT ) and 𝕕(,ha,t)superscript𝕕subscript𝑎𝑡\mathbbm{d}^{\star}(\cdot,h_{a,t})blackboard_d start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT ( ⋅ , italic_h start_POSTSUBSCRIPT italic_a , italic_t end_POSTSUBSCRIPT ) to each subinterval have differentiable inverse functions.

Our identification strategy makes use of a representation of longitudinal causal estimands by means of “sequential regression” as proposed by Bang and Robins (2005) and further investigated by van der Laan and Gruber (2012); Luedtke et al. (2017), and Rotnitzky et al. (2017). This approach considers a recursive regression of outcomes (or pseudo-outcomes) onto previous variables, starting at t=τ𝑡𝜏t=\tauitalic_t = italic_τ and continuing backward to t=0𝑡0t=0italic_t = 0. As in Díaz et al. (2023b), we split the recursion over the two non-interventional variables L𝐿Litalic_L and Z𝑍Zitalic_Z as follows. We consider fixed, pre-specified interventions 𝕕superscript𝕕\mathbbm{d}^{\prime}blackboard_d start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT, 𝕕superscript𝕕\mathbbm{d}^{\star}blackboard_d start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT, and m¯¯𝑚\bar{m}over¯ start_ARG italic_m end_ARG. Starting with, 𝖰Z,τ+1=Ysubscript𝖰𝑍𝜏1𝑌\mathsf{Q}_{Z,\tau+1}=Ysansserif_Q start_POSTSUBSCRIPT italic_Z , italic_τ + 1 end_POSTSUBSCRIPT = italic_Y, define

𝖰L,t(h¯M,t,m¯t)subscript𝖰𝐿𝑡subscript¯𝑀𝑡subscript¯𝑚𝑡\displaystyle\mathsf{Q}_{L,t}(\bar{h}_{M,t},\underaccent{\bar}{m}_{t})sansserif_Q start_POSTSUBSCRIPT italic_L , italic_t end_POSTSUBSCRIPT ( over¯ start_ARG italic_h end_ARG start_POSTSUBSCRIPT italic_M , italic_t end_POSTSUBSCRIPT , under¯ start_ARG italic_m end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ) =𝖤[𝖰Z,t+1(A,t+1HA,t+1,m¯t+1)Mt=mt,HM,t=hM,t]\displaystyle=\mathsf{E}[\mathsf{Q}_{Z,t+1}(A{{}^{\prime}}_{t+1},H_{A,t+1},% \underaccent{\bar}{m}_{t+1})\mid M_{t}=m_{t},H_{M,t}=h_{M,t}]= sansserif_E [ sansserif_Q start_POSTSUBSCRIPT italic_Z , italic_t + 1 end_POSTSUBSCRIPT ( italic_A start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT start_POSTSUBSCRIPT italic_t + 1 end_POSTSUBSCRIPT , italic_H start_POSTSUBSCRIPT italic_A , italic_t + 1 end_POSTSUBSCRIPT , under¯ start_ARG italic_m end_ARG start_POSTSUBSCRIPT italic_t + 1 end_POSTSUBSCRIPT ) ∣ italic_M start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT = italic_m start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , italic_H start_POSTSUBSCRIPT italic_M , italic_t end_POSTSUBSCRIPT = italic_h start_POSTSUBSCRIPT italic_M , italic_t end_POSTSUBSCRIPT ] (3)
𝖰Z,t(at,h¯A,t,m¯t)subscript𝖰𝑍𝑡subscript𝑎𝑡subscript¯𝐴𝑡subscript¯𝑚𝑡\displaystyle\mathsf{Q}_{Z,t}(a_{t},\bar{h}_{A,t},\underaccent{\bar}{m}_{t})sansserif_Q start_POSTSUBSCRIPT italic_Z , italic_t end_POSTSUBSCRIPT ( italic_a start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , over¯ start_ARG italic_h end_ARG start_POSTSUBSCRIPT italic_A , italic_t end_POSTSUBSCRIPT , under¯ start_ARG italic_m end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ) =𝖤[𝖰L,t(H¯M,t,m¯t)At=at,HA,t=hA,t].absent𝖤delimited-[]formulae-sequenceconditionalsubscript𝖰𝐿𝑡subscript¯𝐻𝑀𝑡subscript¯𝑚𝑡subscript𝐴𝑡subscript𝑎𝑡subscript𝐻𝐴𝑡subscript𝐴𝑡\displaystyle=\mathsf{E}[\mathsf{Q}_{L,t}(\bar{H}_{M,t},\underaccent{\bar}{m}_% {t})\mid A_{t}=a_{t},H_{A,t}=h_{A,t}].= sansserif_E [ sansserif_Q start_POSTSUBSCRIPT italic_L , italic_t end_POSTSUBSCRIPT ( over¯ start_ARG italic_H end_ARG start_POSTSUBSCRIPT italic_M , italic_t end_POSTSUBSCRIPT , under¯ start_ARG italic_m end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ) ∣ italic_A start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT = italic_a start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , italic_H start_POSTSUBSCRIPT italic_A , italic_t end_POSTSUBSCRIPT = italic_h start_POSTSUBSCRIPT italic_A , italic_t end_POSTSUBSCRIPT ] . (4)

Similarly, let 𝖰M,τ+1=1subscript𝖰𝑀𝜏11\mathsf{Q}_{M,\tau+1}=1sansserif_Q start_POSTSUBSCRIPT italic_M , italic_τ + 1 end_POSTSUBSCRIPT = 1 and recursively define

𝖰M,t(at,h¯A,t,m¯t)=𝖤[𝟙{Mt=mt}𝖰M,t+1(At,H¯A,t+1,m¯t+1)At=at,HA,t=hA,t].subscript𝖰𝑀𝑡subscript𝑎𝑡subscript¯𝐴𝑡subscript¯𝑚𝑡𝖤delimited-[]formulae-sequenceconditional1subscript𝑀𝑡subscript𝑚𝑡subscript𝖰𝑀𝑡1superscriptsubscript𝐴𝑡subscript¯𝐻𝐴𝑡1subscript¯𝑚𝑡1subscript𝐴𝑡subscript𝑎𝑡subscript𝐻𝐴𝑡subscript𝐴𝑡\mathsf{Q}_{M,t}(a_{t},\bar{h}_{A,t},\underaccent{\bar}{m}_{t})=\mathsf{E}[% \mathds{1}\{M_{t}=m_{t}\}\mathsf{Q}_{M,t+1}(A_{t}^{\star},\bar{H}_{A,t+1},% \underaccent{\bar}{m}_{t+1})\mid A_{t}=a_{t},H_{A,t}=h_{A,t}].sansserif_Q start_POSTSUBSCRIPT italic_M , italic_t end_POSTSUBSCRIPT ( italic_a start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , over¯ start_ARG italic_h end_ARG start_POSTSUBSCRIPT italic_A , italic_t end_POSTSUBSCRIPT , under¯ start_ARG italic_m end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ) = sansserif_E [ blackboard_1 { italic_M start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT = italic_m start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT } sansserif_Q start_POSTSUBSCRIPT italic_M , italic_t + 1 end_POSTSUBSCRIPT ( italic_A start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT , over¯ start_ARG italic_H end_ARG start_POSTSUBSCRIPT italic_A , italic_t + 1 end_POSTSUBSCRIPT , under¯ start_ARG italic_m end_ARG start_POSTSUBSCRIPT italic_t + 1 end_POSTSUBSCRIPT ) ∣ italic_A start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT = italic_a start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , italic_H start_POSTSUBSCRIPT italic_A , italic_t end_POSTSUBSCRIPT = italic_h start_POSTSUBSCRIPT italic_A , italic_t end_POSTSUBSCRIPT ] .

When the meaning is clear, noting that the only non-random component of the functions 𝖰𝖰\mathsf{Q}sansserif_Q are the user-specified 𝕕,𝕕superscript𝕕superscript𝕕\mathbbm{d}^{\prime},\mathbbm{d}^{\star}blackboard_d start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , blackboard_d start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT, and m¯¯𝑚\bar{m}over¯ start_ARG italic_m end_ARG, we may use the abbreviations 𝖰L,t(m¯t)=𝖰L,t(H¯M,t,m¯t)superscriptsubscript𝖰𝐿𝑡subscript¯𝑚𝑡subscript𝖰𝐿𝑡subscript¯𝐻𝑀𝑡subscript¯𝑚𝑡\mathsf{Q}_{L,t}^{\prime}(\underaccent{\bar}{m}_{t})=\mathsf{Q}_{L,t}(\bar{H}_% {M,t},\underaccent{\bar}{m}_{t})sansserif_Q start_POSTSUBSCRIPT italic_L , italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( under¯ start_ARG italic_m end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ) = sansserif_Q start_POSTSUBSCRIPT italic_L , italic_t end_POSTSUBSCRIPT ( over¯ start_ARG italic_H end_ARG start_POSTSUBSCRIPT italic_M , italic_t end_POSTSUBSCRIPT , under¯ start_ARG italic_m end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ), 𝖰Z,t(m¯t)=𝖰Z,t(At,H¯A,t,m¯t)superscriptsubscript𝖰𝑍𝑡subscript¯𝑚𝑡subscript𝖰𝑍𝑡subscriptsuperscript𝐴𝑡subscript¯𝐻𝐴𝑡subscript¯𝑚𝑡\mathsf{Q}_{Z,t}^{\prime}(\underaccent{\bar}{m}_{t})=\mathsf{Q}_{Z,t}(A^{{}^{% \prime}}_{t},\bar{H}_{A,t},\underaccent{\bar}{m}_{t})sansserif_Q start_POSTSUBSCRIPT italic_Z , italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( under¯ start_ARG italic_m end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ) = sansserif_Q start_POSTSUBSCRIPT italic_Z , italic_t end_POSTSUBSCRIPT ( italic_A start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , over¯ start_ARG italic_H end_ARG start_POSTSUBSCRIPT italic_A , italic_t end_POSTSUBSCRIPT , under¯ start_ARG italic_m end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ), and 𝖰M,t(m¯t)=𝖰M,t(At,H¯A,t,m¯t)superscriptsubscript𝖰𝑀𝑡subscript¯𝑚𝑡subscript𝖰𝑀𝑡superscriptsubscript𝐴𝑡subscript¯𝐻𝐴𝑡subscript¯𝑚𝑡\mathsf{Q}_{M,t}^{\star}(\underaccent{\bar}{m}_{t})=\mathsf{Q}_{M,t}(A_{t}^{% \star},\bar{H}_{A,t},\underaccent{\bar}{m}_{t})sansserif_Q start_POSTSUBSCRIPT italic_M , italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT ( under¯ start_ARG italic_m end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ) = sansserif_Q start_POSTSUBSCRIPT italic_M , italic_t end_POSTSUBSCRIPT ( italic_A start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT , over¯ start_ARG italic_H end_ARG start_POSTSUBSCRIPT italic_A , italic_t end_POSTSUBSCRIPT , under¯ start_ARG italic_m end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ). We give the following identification result, which is a generalization of Theorem 1 of Díaz et al. (2023b).

Theorem 1 (Identification).

Under Assumptions A1 and A2, the interventional parameter θ=𝖤[Y(A¯𝕕,J¯(A¯𝕕))]𝜃𝖤delimited-[]𝑌superscript¯𝐴superscript𝕕¯𝐽superscript¯𝐴superscript𝕕\theta=\mathsf{E}[Y(\bar{A}^{\mathbbm{d}^{\prime}},\bar{J}(\bar{A}^{\mathbbm{d% }^{\star}}))]italic_θ = sansserif_E [ italic_Y ( over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT , over¯ start_ARG italic_J end_ARG ( over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ) ) ] is identified as θ=m¯φ(m¯)λ(m¯)𝜃subscript¯𝑚𝜑¯𝑚𝜆¯𝑚\theta=\sum_{\bar{m}}\varphi(\bar{m})\lambda(\bar{m})italic_θ = ∑ start_POSTSUBSCRIPT over¯ start_ARG italic_m end_ARG end_POSTSUBSCRIPT italic_φ ( over¯ start_ARG italic_m end_ARG ) italic_λ ( over¯ start_ARG italic_m end_ARG ), where φ(m¯)=𝖰L,0(m¯)𝜑¯𝑚superscriptsubscript𝖰𝐿0¯𝑚\varphi(\bar{m})=\mathsf{Q}_{L,0}^{\prime}(\bar{m})italic_φ ( over¯ start_ARG italic_m end_ARG ) = sansserif_Q start_POSTSUBSCRIPT italic_L , 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( over¯ start_ARG italic_m end_ARG ) and λ(m¯)=𝖰M,0(m¯)𝜆¯𝑚superscriptsubscript𝖰𝑀0¯𝑚\lambda(\bar{m})=\mathsf{Q}_{M,0}^{\star}(\bar{m})italic_λ ( over¯ start_ARG italic_m end_ARG ) = sansserif_Q start_POSTSUBSCRIPT italic_M , 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT ( over¯ start_ARG italic_m end_ARG ).

Proof See Supplement Section S2. ∎

3.2 Inverse probability weighted identification

As is often the case in causal inference problems, it is also possible to identify effects of interest by using the treatment rather than the outcome mechanism. Let 𝗀t(athA,t)superscriptsubscript𝗀𝑡conditionalsubscript𝑎𝑡subscript𝐴𝑡\mathsf{g}_{t}^{\prime}(a_{t}\mid h_{A,t})sansserif_g start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_a start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ∣ italic_h start_POSTSUBSCRIPT italic_A , italic_t end_POSTSUBSCRIPT ) and 𝗀t(athA,t)superscriptsubscript𝗀𝑡conditionalsubscript𝑎𝑡subscript𝐴𝑡\mathsf{g}_{t}^{\star}(a_{t}\mid h_{A,t})sansserif_g start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT ( italic_a start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ∣ italic_h start_POSTSUBSCRIPT italic_A , italic_t end_POSTSUBSCRIPT ) denote the density functions of At=𝕕(At,HA,t,ϵt)subscriptsuperscript𝐴𝑡superscript𝕕subscript𝐴𝑡subscript𝐻𝐴𝑡subscriptitalic-ϵ𝑡A^{\prime}_{t}=\mathbbm{d}^{\prime}(A_{t},H_{A,t},\epsilon_{t})italic_A start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT = blackboard_d start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_A start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , italic_H start_POSTSUBSCRIPT italic_A , italic_t end_POSTSUBSCRIPT , italic_ϵ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ) and At=𝕕(At,HA,t,ϵt)subscriptsuperscript𝐴𝑡superscript𝕕subscript𝐴𝑡subscript𝐻𝐴𝑡subscriptitalic-ϵ𝑡A^{\star}_{t}=\mathbbm{d}^{\star}(A_{t},H_{A,t},\epsilon_{t})italic_A start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT = blackboard_d start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT ( italic_A start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , italic_H start_POSTSUBSCRIPT italic_A , italic_t end_POSTSUBSCRIPT , italic_ϵ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ), respectively, conditional on HA,t=hA,tsubscript𝐻𝐴𝑡subscript𝐴𝑡H_{A,t}=h_{A,t}italic_H start_POSTSUBSCRIPT italic_A , italic_t end_POSTSUBSCRIPT = italic_h start_POSTSUBSCRIPT italic_A , italic_t end_POSTSUBSCRIPT. Then we define

𝖦A,t(At,HA,t)=𝗀t(AtHA,t)𝗀t(AtHA,t),𝖦A,t(At,HA,t)=𝗀t(AtHA,t)𝗀t(AtHA,t),𝖦M,t(HM,t,mt)=𝟙{Mt=mt}𝗀M,t(MtHM,t),formulae-sequencesuperscriptsubscript𝖦𝐴𝑡subscript𝐴𝑡subscript𝐻𝐴𝑡superscriptsubscript𝗀𝑡conditionalsubscript𝐴𝑡subscript𝐻𝐴𝑡subscript𝗀𝑡conditionalsubscript𝐴𝑡subscript𝐻𝐴𝑡formulae-sequencesuperscriptsubscript𝖦𝐴𝑡subscript𝐴𝑡subscript𝐻𝐴𝑡superscriptsubscript𝗀𝑡conditionalsubscript𝐴𝑡subscript𝐻𝐴𝑡subscript𝗀𝑡conditionalsubscript𝐴𝑡subscript𝐻𝐴𝑡subscript𝖦𝑀𝑡subscript𝐻𝑀𝑡subscript𝑚𝑡1subscript𝑀𝑡subscript𝑚𝑡subscript𝗀𝑀𝑡conditionalsubscript𝑀𝑡subscript𝐻𝑀𝑡\mathsf{G}_{A,t}^{\prime}(A_{t},H_{A,t})=\frac{\mathsf{g}_{t}^{\prime}(A_{t}% \mid H_{A,t})}{\mathsf{g}_{t}(A_{t}\mid H_{A,t})},\,\,\mathsf{G}_{A,t}^{\star}% (A_{t},H_{A,t})=\frac{\mathsf{g}_{t}^{\star}(A_{t}\mid H_{A,t})}{\mathsf{g}_{t% }(A_{t}\mid H_{A,t})},\,\,\,\mathsf{G}_{M,t}(H_{M,t},m_{t})=\frac{\mathds{1}\{% M_{t}=m_{t}\}}{\mathsf{g}_{M,t}(M_{t}\mid H_{M,t})},sansserif_G start_POSTSUBSCRIPT italic_A , italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_A start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , italic_H start_POSTSUBSCRIPT italic_A , italic_t end_POSTSUBSCRIPT ) = divide start_ARG sansserif_g start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_A start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ∣ italic_H start_POSTSUBSCRIPT italic_A , italic_t end_POSTSUBSCRIPT ) end_ARG start_ARG sansserif_g start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ( italic_A start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ∣ italic_H start_POSTSUBSCRIPT italic_A , italic_t end_POSTSUBSCRIPT ) end_ARG , sansserif_G start_POSTSUBSCRIPT italic_A , italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT ( italic_A start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , italic_H start_POSTSUBSCRIPT italic_A , italic_t end_POSTSUBSCRIPT ) = divide start_ARG sansserif_g start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT ( italic_A start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ∣ italic_H start_POSTSUBSCRIPT italic_A , italic_t end_POSTSUBSCRIPT ) end_ARG start_ARG sansserif_g start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ( italic_A start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ∣ italic_H start_POSTSUBSCRIPT italic_A , italic_t end_POSTSUBSCRIPT ) end_ARG , sansserif_G start_POSTSUBSCRIPT italic_M , italic_t end_POSTSUBSCRIPT ( italic_H start_POSTSUBSCRIPT italic_M , italic_t end_POSTSUBSCRIPT , italic_m start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ) = divide start_ARG blackboard_1 { italic_M start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT = italic_m start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT } end_ARG start_ARG sansserif_g start_POSTSUBSCRIPT italic_M , italic_t end_POSTSUBSCRIPT ( italic_M start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ∣ italic_H start_POSTSUBSCRIPT italic_M , italic_t end_POSTSUBSCRIPT ) end_ARG ,

as well as 𝖪l,u=r=lu𝖦A,rsuperscriptsubscript𝖪𝑙𝑢superscriptsubscriptproduct𝑟𝑙𝑢superscriptsubscript𝖦𝐴𝑟\mathsf{K}_{l,u}^{\prime}=\prod_{r=l}^{u}\mathsf{G}_{A,r}^{\prime}sansserif_K start_POSTSUBSCRIPT italic_l , italic_u end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = ∏ start_POSTSUBSCRIPT italic_r = italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_u end_POSTSUPERSCRIPT sansserif_G start_POSTSUBSCRIPT italic_A , italic_r end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT, 𝖪l,u=r=lu𝖦A,rsuperscriptsubscript𝖪𝑙𝑢superscriptsubscriptproduct𝑟𝑙𝑢superscriptsubscript𝖦𝐴𝑟\mathsf{K}_{l,u}^{\star}=\prod_{r=l}^{u}\mathsf{G}_{A,r}^{\star}sansserif_K start_POSTSUBSCRIPT italic_l , italic_u end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT = ∏ start_POSTSUBSCRIPT italic_r = italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_u end_POSTSUPERSCRIPT sansserif_G start_POSTSUBSCRIPT italic_A , italic_r end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT, 𝖧l,u=r=lu𝖦M,rsubscript𝖧𝑙𝑢superscriptsubscriptproduct𝑟𝑙𝑢subscript𝖦𝑀𝑟\mathsf{H}_{l,u}=\prod_{r=l}^{u}\mathsf{G}_{M,r}sansserif_H start_POSTSUBSCRIPT italic_l , italic_u end_POSTSUBSCRIPT = ∏ start_POSTSUBSCRIPT italic_r = italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_u end_POSTSUPERSCRIPT sansserif_G start_POSTSUBSCRIPT italic_M , italic_r end_POSTSUBSCRIPT. (For notational brevity, we have omitted the dependence on At,subscript𝐴𝑡A_{t},italic_A start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ,, HA,tsubscript𝐻𝐴𝑡H_{A,t}italic_H start_POSTSUBSCRIPT italic_A , italic_t end_POSTSUBSCRIPT, HM,tsubscript𝐻𝑀𝑡H_{M,t}italic_H start_POSTSUBSCRIPT italic_M , italic_t end_POSTSUBSCRIPT, and mtsubscript𝑚𝑡m_{t}italic_m start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT.) Then, the parameters from Theorem 1 can also be identified as φ(m¯)=𝖤{𝖪1,τ𝖧1,τY}𝜑¯𝑚𝖤superscriptsubscript𝖪1𝜏subscript𝖧1𝜏𝑌\varphi(\bar{m})=\mathsf{E}\{\mathsf{K}_{1,\tau}^{\prime}\mathsf{H}_{1,\tau}Y\}italic_φ ( over¯ start_ARG italic_m end_ARG ) = sansserif_E { sansserif_K start_POSTSUBSCRIPT 1 , italic_τ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT sansserif_H start_POSTSUBSCRIPT 1 , italic_τ end_POSTSUBSCRIPT italic_Y }; λ(m¯)=𝖤{𝖪1,τ𝟙{M¯=m¯}}𝜆¯𝑚𝖤superscriptsubscript𝖪1𝜏1¯𝑀¯𝑚\lambda(\bar{m})=\mathsf{E}\{\mathsf{K}_{1,\tau}^{\star}\mathds{1}\{\bar{M}=% \bar{m}\}\}italic_λ ( over¯ start_ARG italic_m end_ARG ) = sansserif_E { sansserif_K start_POSTSUBSCRIPT 1 , italic_τ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT blackboard_1 { over¯ start_ARG italic_M end_ARG = over¯ start_ARG italic_m end_ARG } }; see Supplement Section S3 for the derivation.

3.3 Estimation

The foregoing analysis allows us to construct estimators of the parameter θ𝜃\thetaitalic_θ given in Theorem 1 with desirable statistical properties such as asymptotic normality and efficiency. The theory of semiparametric inference allows for the analysis of estimators of parameters (e.g., causal effects) without restricting 𝖯𝖯\mathsf{P}sansserif_P to a parametric model. Standard references include van der Vaart (1998) and Bickel et al. (1997). In our case, we are particularly interested in nonparametric inference which places no restrictions on 𝖯𝖯\mathsf{P}sansserif_P other than the identification assumptions, particularly those related to positivity.

A given estimator θ^^𝜃\hat{\theta}over^ start_ARG italic_θ end_ARG of θ𝜃\thetaitalic_θ is consistent and asymptotically linear if for some function 𝖲𝖲\mathsf{S}sansserif_S (which may depend on nuisance parameters) of the observations O𝑂Oitalic_O we have

n(θ^θ)=1ni=1n𝖲(Oi)+oP(1)𝑛^𝜃𝜃1𝑛superscriptsubscript𝑖1𝑛𝖲subscript𝑂𝑖subscript𝑜𝑃1\sqrt{n}(\hat{\theta}-\theta)=\frac{1}{\sqrt{n}}\sum_{i=1}^{n}\mathsf{S}(O_{i}% )+o_{P}(1)square-root start_ARG italic_n end_ARG ( over^ start_ARG italic_θ end_ARG - italic_θ ) = divide start_ARG 1 end_ARG start_ARG square-root start_ARG italic_n end_ARG end_ARG ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT sansserif_S ( italic_O start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) + italic_o start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT ( 1 )

By the central limit theorem, such an estimator converges to a normal random variable with variance 𝖵𝖺𝗋[𝖲(O)]𝖵𝖺𝗋𝖲𝑂\operatorname{\mathsf{Var}}[\mathsf{S}(O)]sansserif_Var [ sansserif_S ( italic_O ) ] at the rate of n𝑛\sqrt{n}square-root start_ARG italic_n end_ARG. The function 𝖲𝖲\mathsf{S}sansserif_S is called the influence function of the estimator, and this convergence allows the construction of Wald-type confidence intervals. A central object in semiparametric theory is the efficient influence function, the variance of which provides an asymptotic lower bound on the variance of consistent regular and asymptotically linear estimators of a given parameter. Thus, if one can prove that a proposed estimator is asymptotically linear and has variance equal to the efficient influence function (this occurs when 𝖲𝖲\mathsf{S}sansserif_S is the efficient influence function), then that estimator is a strong candidate for use in data analyses.

A considerable body of literature has studied semiparametric estimation of total causal effects of static and dynamic interventions using sequential regression (e.g., Robins, 2000; van der Laan and Robins, 2003; Bang and Robins, 2005; van der Laan and Rubin, 2006; van der Laan and Rose, 2011; Luedtke et al., 2017; Rotnitzky et al., 2017; van der Laan and Rose, 2018). Typically, the approach involves the estimation of both the regression functions (in this case, the prediction of Z,M,𝑍𝑀Z,M,italic_Z , italic_M , and L𝐿Litalic_L conditional on their past) and the probability of treatment. These procedures have the property that the rate of convergence of the estimator for the treatment effect is equal to the product of the rates of convergences of the outcome and treatment estimators; this allows flexible machine learning models that converge at rates slower than “parametric” n𝑛\sqrt{n}square-root start_ARG italic_n end_ARG rate, as long as their product converges at n𝑛\sqrt{n}square-root start_ARG italic_n end_ARG rate (e.g., each nuisance parameter can be estimated at n1/4superscript𝑛14n^{1/4}italic_n start_POSTSUPERSCRIPT 1 / 4 end_POSTSUPERSCRIPT rate). In particular, if either model is consistent, then the treatment effect estimator is consistent.

As given below, the algebraic form of the efficient influence function for our parameter is identical to that of the parameter studied in Díaz et al. (2023b), except that the definitions of the IPW functions (𝖦superscript𝖦\mathsf{G}^{\prime}sansserif_G start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT and 𝖦superscript𝖦\mathsf{G}^{\star}sansserif_G start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT) and the iterative regressions (𝖰𝖰\mathsf{Q}sansserif_Q-functions) change to accommodate the LMTP generalization. The proofs and arguments for all the following claims mirror those of Díaz et al. (2023b) and are therefore omitted here. To give an expression for the efficient influence function for θ𝜃\thetaitalic_θ, we must introduce the following functions, which can be understood intuitively as doubly robust analogs of the 𝖰𝖰\mathsf{Q}sansserif_Q- functions (see Rubin and van der Laan (2007)).

𝖣L,t(X¯t,m¯t)=s=tτ𝖪t+1,s𝖧t,s{𝖰Z,s+1𝖰L,s}+s=t+1τ𝖪t+1,s𝖧t,s1{𝖰L,s𝖰Z,s}+𝖰L,tsubscript𝖣𝐿𝑡subscript¯𝑋𝑡subscript¯𝑚𝑡superscriptsubscript𝑠𝑡𝜏subscriptsuperscript𝖪𝑡1𝑠subscript𝖧𝑡𝑠subscript𝖰𝑍𝑠1subscript𝖰𝐿𝑠superscriptsubscript𝑠𝑡1𝜏subscriptsuperscript𝖪𝑡1𝑠subscript𝖧𝑡𝑠1subscript𝖰𝐿𝑠subscript𝖰𝑍𝑠subscript𝖰𝐿𝑡\mathsf{D}_{L,t}(\underaccent{\bar}{X}_{t},\underaccent{\bar}{m}_{t})=\sum_{s=% t}^{\tau}\mathsf{K}^{{}^{\prime}}_{t+1,s}\mathsf{H}_{t,s}\{\mathsf{Q}_{Z,s+1}-% \mathsf{Q}_{L,s}\}+\sum_{s=t+1}^{\tau}\mathsf{K}^{{}^{\prime}}_{t+1,s}\mathsf{% H}_{t,s-1}\{\mathsf{Q}_{L,s}-\mathsf{Q}_{Z,s}\}+\mathsf{Q}_{L,t}sansserif_D start_POSTSUBSCRIPT italic_L , italic_t end_POSTSUBSCRIPT ( under¯ start_ARG italic_X end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , under¯ start_ARG italic_m end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ) = ∑ start_POSTSUBSCRIPT italic_s = italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_τ end_POSTSUPERSCRIPT sansserif_K start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t + 1 , italic_s end_POSTSUBSCRIPT sansserif_H start_POSTSUBSCRIPT italic_t , italic_s end_POSTSUBSCRIPT { sansserif_Q start_POSTSUBSCRIPT italic_Z , italic_s + 1 end_POSTSUBSCRIPT - sansserif_Q start_POSTSUBSCRIPT italic_L , italic_s end_POSTSUBSCRIPT } + ∑ start_POSTSUBSCRIPT italic_s = italic_t + 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_τ end_POSTSUPERSCRIPT sansserif_K start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t + 1 , italic_s end_POSTSUBSCRIPT sansserif_H start_POSTSUBSCRIPT italic_t , italic_s - 1 end_POSTSUBSCRIPT { sansserif_Q start_POSTSUBSCRIPT italic_L , italic_s end_POSTSUBSCRIPT - sansserif_Q start_POSTSUBSCRIPT italic_Z , italic_s end_POSTSUBSCRIPT } + sansserif_Q start_POSTSUBSCRIPT italic_L , italic_t end_POSTSUBSCRIPT (5)
𝖣Z,t(X¯t,m¯t)=s=tτ𝖪t,s𝖧t,s{𝖰Z,s+1𝖰L,s}+s=tτ𝖪t,s𝖧t,s1{𝖰L,s𝖰Z,s}+𝖰Z,tsubscript𝖣𝑍𝑡subscript¯𝑋𝑡subscript¯𝑚𝑡superscriptsubscript𝑠𝑡𝜏subscriptsuperscript𝖪𝑡𝑠subscript𝖧𝑡𝑠subscript𝖰𝑍𝑠1subscript𝖰𝐿𝑠superscriptsubscript𝑠𝑡𝜏subscriptsuperscript𝖪𝑡𝑠subscript𝖧𝑡𝑠1subscript𝖰𝐿𝑠subscript𝖰𝑍𝑠subscript𝖰𝑍𝑡\mathsf{D}_{Z,t}(\underaccent{\bar}{X}_{t},\underaccent{\bar}{m}_{t})=\sum_{s=% t}^{\tau}\mathsf{K}^{{}^{\prime}}_{t,s}\mathsf{H}_{t,s}\{\mathsf{Q}_{Z,s+1}-% \mathsf{Q}_{L,s}\}+\sum_{s=t}^{\tau}\mathsf{K}^{{}^{\prime}}_{t,s}\mathsf{H}_{% t,s-1}\{\mathsf{Q}_{L,s}-\mathsf{Q}_{Z,s}\}+\mathsf{Q}_{Z,t}sansserif_D start_POSTSUBSCRIPT italic_Z , italic_t end_POSTSUBSCRIPT ( under¯ start_ARG italic_X end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , under¯ start_ARG italic_m end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ) = ∑ start_POSTSUBSCRIPT italic_s = italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_τ end_POSTSUPERSCRIPT sansserif_K start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t , italic_s end_POSTSUBSCRIPT sansserif_H start_POSTSUBSCRIPT italic_t , italic_s end_POSTSUBSCRIPT { sansserif_Q start_POSTSUBSCRIPT italic_Z , italic_s + 1 end_POSTSUBSCRIPT - sansserif_Q start_POSTSUBSCRIPT italic_L , italic_s end_POSTSUBSCRIPT } + ∑ start_POSTSUBSCRIPT italic_s = italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_τ end_POSTSUPERSCRIPT sansserif_K start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t , italic_s end_POSTSUBSCRIPT sansserif_H start_POSTSUBSCRIPT italic_t , italic_s - 1 end_POSTSUBSCRIPT { sansserif_Q start_POSTSUBSCRIPT italic_L , italic_s end_POSTSUBSCRIPT - sansserif_Q start_POSTSUBSCRIPT italic_Z , italic_s end_POSTSUBSCRIPT } + sansserif_Q start_POSTSUBSCRIPT italic_Z , italic_t end_POSTSUBSCRIPT (6)
𝖣M,t(X¯t,m¯t)=s=tτ𝖪t,s[k=ts1𝟙(Mk=mk)][𝟙(Ms=ms)𝖰M,s+1QM,s]+QM,tsubscript𝖣𝑀𝑡subscript¯𝑋𝑡subscript¯𝑚𝑡superscriptsubscript𝑠𝑡𝜏subscriptsuperscript𝖪𝑡𝑠delimited-[]superscriptsubscriptproduct𝑘𝑡𝑠11subscript𝑀𝑘subscript𝑚𝑘delimited-[]1subscript𝑀𝑠subscript𝑚𝑠subscript𝖰𝑀𝑠1subscript𝑄𝑀𝑠subscript𝑄𝑀𝑡\mathsf{D}_{M,t}(\underaccent{\bar}{X}_{t},\underaccent{\bar}{m}_{t})=\sum_{s=% t}^{\tau}\mathsf{K}^{*}_{t,s}[\prod_{k=t}^{s-1}\mathds{1}(M_{k}=m_{k})][% \mathds{1}(M_{s}=m_{s})\mathsf{Q}_{M,s+1}-Q_{M,s}]+Q_{M,t}sansserif_D start_POSTSUBSCRIPT italic_M , italic_t end_POSTSUBSCRIPT ( under¯ start_ARG italic_X end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , under¯ start_ARG italic_m end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ) = ∑ start_POSTSUBSCRIPT italic_s = italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_τ end_POSTSUPERSCRIPT sansserif_K start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t , italic_s end_POSTSUBSCRIPT [ ∏ start_POSTSUBSCRIPT italic_k = italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_s - 1 end_POSTSUPERSCRIPT blackboard_1 ( italic_M start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT = italic_m start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) ] [ blackboard_1 ( italic_M start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT = italic_m start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ) sansserif_Q start_POSTSUBSCRIPT italic_M , italic_s + 1 end_POSTSUBSCRIPT - italic_Q start_POSTSUBSCRIPT italic_M , italic_s end_POSTSUBSCRIPT ] + italic_Q start_POSTSUBSCRIPT italic_M , italic_t end_POSTSUBSCRIPT (7)

Then, we have the following:

Theorem 2 (Efficient influence function for θ𝜃\thetaitalic_θ).

The efficient influence function for θ𝜃\thetaitalic_θ in the nonparametric model is given by

𝖲(X,η)=m¯¯[{𝖣Z,1(X,m¯;η)φ(m¯)}λ(m¯)+{𝖣M,1(X,m¯;η)λ(m¯)}φ(m¯)].𝖲𝑋𝜂subscript¯𝑚¯delimited-[]subscript𝖣𝑍1𝑋¯𝑚𝜂𝜑¯𝑚𝜆¯𝑚subscript𝖣𝑀1𝑋¯𝑚𝜂𝜆¯𝑚𝜑¯𝑚\mathsf{S}(X,\eta)=\sum_{\bar{m}\in\bar{\mathcal{M}}}\left[\{\mathsf{D}_{Z,1}(% X,\bar{m};\eta)-\varphi(\bar{m})\}\lambda(\bar{m})+\{\mathsf{D}_{M,1}(X,\bar{m% };\eta)-\lambda(\bar{m})\}\varphi(\bar{m})\right].sansserif_S ( italic_X , italic_η ) = ∑ start_POSTSUBSCRIPT over¯ start_ARG italic_m end_ARG ∈ over¯ start_ARG caligraphic_M end_ARG end_POSTSUBSCRIPT [ { sansserif_D start_POSTSUBSCRIPT italic_Z , 1 end_POSTSUBSCRIPT ( italic_X , over¯ start_ARG italic_m end_ARG ; italic_η ) - italic_φ ( over¯ start_ARG italic_m end_ARG ) } italic_λ ( over¯ start_ARG italic_m end_ARG ) + { sansserif_D start_POSTSUBSCRIPT italic_M , 1 end_POSTSUBSCRIPT ( italic_X , over¯ start_ARG italic_m end_ARG ; italic_η ) - italic_λ ( over¯ start_ARG italic_m end_ARG ) } italic_φ ( over¯ start_ARG italic_m end_ARG ) ] .

Proof See the proof of Theorem 2 of Díaz et al. (2023b).

The algorithm used to estimate θ𝜃\thetaitalic_θ is given as Algorithm 1 in Díaz et al. (2023b), where in our case the IPW weights are replaced with probability ratios as described in Section 3.2. The algorithm consists of the following steps. First, we set 𝖣^Z,τ+1=Ysubscript^𝖣𝑍𝜏1𝑌\hat{\mathsf{D}}_{Z,\tau+1}=Yover^ start_ARG sansserif_D end_ARG start_POSTSUBSCRIPT italic_Z , italic_τ + 1 end_POSTSUBSCRIPT = italic_Y and 𝖣^M,τ+1=1subscript^𝖣𝑀𝜏11\hat{\mathsf{D}}_{M,\tau+1}=1over^ start_ARG sansserif_D end_ARG start_POSTSUBSCRIPT italic_M , italic_τ + 1 end_POSTSUBSCRIPT = 1. Then, beginning at t=τ𝑡𝜏t=\tauitalic_t = italic_τ, we calculate 𝖰^L,tsubscript^𝖰𝐿𝑡\hat{\mathsf{Q}}_{L,t}over^ start_ARG sansserif_Q end_ARG start_POSTSUBSCRIPT italic_L , italic_t end_POSTSUBSCRIPT as the nonparametric regression prediction of 𝖣^Z,t+1subscript^𝖣𝑍𝑡1\hat{\mathsf{D}}_{Z,t+1}over^ start_ARG sansserif_D end_ARG start_POSTSUBSCRIPT italic_Z , italic_t + 1 end_POSTSUBSCRIPT, onto preceding variables. Then, we nonparametrically estimate the functions 𝗀𝗀\mathsf{g}sansserif_g and 𝖦𝖦\mathsf{G}sansserif_G (as in Section 3.2), and 𝖣^L,tsubscript^𝖣𝐿𝑡\hat{\mathsf{D}}_{L,t}over^ start_ARG sansserif_D end_ARG start_POSTSUBSCRIPT italic_L , italic_t end_POSTSUBSCRIPT is calculated by plugging in all the nuisance functions estimated so far into its definition (in equation 5). Similarly, 𝖰^Z,tsubscript^𝖰𝑍𝑡\hat{\mathsf{Q}}_{Z,t}over^ start_ARG sansserif_Q end_ARG start_POSTSUBSCRIPT italic_Z , italic_t end_POSTSUBSCRIPT comes from a nonparametric regression of 𝖣^L,tsubscript^𝖣𝐿𝑡\hat{\mathsf{D}}_{L,t}over^ start_ARG sansserif_D end_ARG start_POSTSUBSCRIPT italic_L , italic_t end_POSTSUBSCRIPT, and 𝖰^M,tsubscript^𝖰𝑀𝑡\hat{\mathsf{Q}}_{M,t}over^ start_ARG sansserif_Q end_ARG start_POSTSUBSCRIPT italic_M , italic_t end_POSTSUBSCRIPT comes from a nonparametric regression of 𝕀(Mt=mt)𝖣^M,t+1𝕀subscript𝑀𝑡subscript𝑚𝑡subscript^𝖣𝑀𝑡1\mathbbm{I}(M_{t}=m_{t})\hat{\mathsf{D}}_{M,t+1}blackboard_I ( italic_M start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT = italic_m start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ) over^ start_ARG sansserif_D end_ARG start_POSTSUBSCRIPT italic_M , italic_t + 1 end_POSTSUBSCRIPT. Then 𝖣^Z,tsubscript^𝖣𝑍𝑡\hat{\mathsf{D}}_{Z,t}over^ start_ARG sansserif_D end_ARG start_POSTSUBSCRIPT italic_Z , italic_t end_POSTSUBSCRIPT is estimated from equation 6 and 𝖣^M,tsubscript^𝖣𝑀𝑡\hat{\mathsf{D}}_{M,t}over^ start_ARG sansserif_D end_ARG start_POSTSUBSCRIPT italic_M , italic_t end_POSTSUBSCRIPT is estimated from equation 7. This is repeated for t=τ1,τ2,,1𝑡𝜏1𝜏21t=\tau-1,\tau-2,\dots,1italic_t = italic_τ - 1 , italic_τ - 2 , … , 1. Finally, the mean of 𝖣^Z,1subscript^𝖣𝑍1\hat{\mathsf{D}}_{Z,1}over^ start_ARG sansserif_D end_ARG start_POSTSUBSCRIPT italic_Z , 1 end_POSTSUBSCRIPT is used as an estimator for ϕitalic-ϕ\phiitalic_ϕ, and the mean of 𝖣^M,1subscript^𝖣𝑀1\hat{\mathsf{D}}_{M,1}over^ start_ARG sansserif_D end_ARG start_POSTSUBSCRIPT italic_M , 1 end_POSTSUBSCRIPT is taken as an estimator of λ𝜆\lambdaitalic_λ, which are plugged into the identifying formula of Theorem 1 to estimate θ𝜃\thetaitalic_θ. (Note that the use of the 𝖣𝖣\mathsf{D}sansserif_D-functions in this way is motivated by Lemma 1 of Díaz et al. (2023b).) The estimated variance of the efficient influence function (Theorem 2) is used to estimate the standard error. The procedure makes use of cross-fitting in all regression functions to ensure that the asymptotic linearity result above holds without restrictions on the complexity of the form of the machine learning estimators, thereby yielding valid statistical inference under mild conditions (Zheng and van der Laan, 2011; Chernozhukov et al., 2018).

Our estimation algorithm has been implemented in the open-source R package lcmmtp (Williams and Díaz, 2023).

4 Motivating application

4.1 Background

Acute respiratory distress syndrome (ARDS) is a major cause of morbidity and mortality among COVID-19 patients. Treating ARDS often requires the use of respiratory support devices, ranging from nasal cannulae and face masks to more invasive methods such as mechanical ventilation via endotracheal tubes (“invasive mechanical ventilation” or IMV) (Hasan et al., 2020). Given the physiological links between the lungs and kidneys, it has been suggested that mechanical ventilation may cause acute kidney injury/failure (AKI); possible mechanisms include oxygen toxicity and capillary endothelial damage leading to inflammation, hypotension, and sepsis (Durdevic et al., 2020). AKI, which can render kidneys incapable of appropriately clearing critical toxins from the body or maintaining appropriate blood and interstitial volume, complicates about 30% of ICU admissions and increases the risk of in-hospital mortality and long-term morbidity and mortality (Kes and Jukić, 2010). While IMV may often be necessary to support respiration even if it can lead to AKI (Husain-Syed et al., 2016), the decision whether and when to intubate must be based on clinical factors such as oxygen saturation, dyspnea, respiratory rate, and chest radiography, weighing in the benefit of reducing ARDS-related mortality with the possibility of harm through AKI (Tobin, 2020; Thomson and Calligaro, 2021).

In the early weeks of the COVID-19 pandemic, recommendations from international health organizations advocated for early intubation of patients in an effort to safeguard healthcare workers from contracting infection and to reduce complications resulting from late intubations when the patient is unresponsive or apneic (Papoutsi et al., 2021). Over time, however, as clinicians became more familiar with the progression of the disease, guidance evolved toward postponing intubation, partially driven by reports showing high mortality rates for mechanically ventilated patients, potentially attributable to heightened risk of secondary infections, lung injury, and damage to other organs including the kidneys, due to ventilation (Tobin, 2006; Bavishi et al., 2021).

We illustrate our methods in this application with the goal of providing insight into effects operating through the pathway IMV\toAKI\toDeath and effects operating directly through IMV\toDeath. We answer the following question, which has been cited by an expert panel on lung-kidney interactions in critically ill patients as an area that demands further research (Joannidis et al., 2020): What is the effect of invasive mechanical ventilation on death among COVID-19 patients, and how much of it operates through causing acute kidney injury?

We use a dataset consisting of approximately 3,300 patients who did not have a previous history of chronic kidney disease (CKD) and who were hospitalized with COVID-19 at the NewYork-Presbyterian Cornell, Queens, or Lower Manhattan hospitals between March 3rd and May 15th, 2020. The analytical dataset was created in a two-step approach. First, data pertaining to demographics, comorbidities, intubation, mortality, and discharge were gathered from electronic health records chart reviews and stored in a secure REDCap database (Goyal et al., 2020). To this data were added items from the Weill Cornell Critical carE Database for Advanced Research (WC-CEDAR), a data repository containing patient information collected over the course of care, including procedures, diagnoses, medications, and laboratory data (Schenck et al., 2021). Note that while all patients were hospitalized with COVID-19, they did not all necessarily suffer from ARDS specifically.

This data was previously described and studied in Díaz et al. (2023a) and Hoffman et al. (2024). The latter considered only effects on mortality without regard to AKI. The former treated AKI and other-cause mortality as competing risks; we take a different perspective by considering AKI as a mediator in the pathway from IMV to mortality. This orientation presents a more intricate view of the causal connections among these variables. Essentially, AKI and mortality are not only competing risks; they can jointly occur, with AKI potentially influencing mortality. By examining AKI’s mediating role, we aim to unravel the indirect ways in which IMV may contribute to mortality via AKI. Should this causal pathway exist, it could provide novel opportunities for medical interventions aimed at preventing or treating AKI, subsequently reducing the mortality rate. (As mentioned in Section 1, these options include the modulation of intravascular volume status (Grams et al., 2011; Glassford and Bellomo, 2011) and various pharmacological interventions (Pickkers et al., 2022).) Further, we analyze how various baseline variables are associated with the estimated direct and indirect effects and discuss how such considerations might inform treatment decisions regarding IMV.

We note that this data, inasmuch as it includes treatment decisions made in the face of considerable uncertainty and unstable guidelines regarding a novel disease, is especially valuable from the point of view of causal inference for observational data. This is because causal inference relies on the assumptions of positivity (that individuals at any covariate level have positive probability of being assigned to either treatment condition) and ignorability (that the treatment-outcome relationship is not confounded by unmeasured variables). If treatment decisions are made based on a generally agreed-upon function of clinical indicators, then one or the other of these conditions is likely to be violated; if all the clinical indicators are included in the data, then positivity is doubtful; if some of the clinical indicators are omitted, then ignorability is doubtful. By contrast, in the current context, there can be enough variation in treatment decision-making to preserve positivity even with many important measured covariates. Practical violations of positivity can be diagnosed from observed data by looking at whether there is overlap in the covariate distributions corresponding to different treatment options (Zhu et al., 2021). Lack of ignorability cannot generally be diagnosed by observed data alone, but “confounding by indication,” where non-adjustment variables influence both treatment indication and outcomes, has been noted as a common issue in observational studies of medical treatments (Kyriacou and Lewis, 2016). For example, observational studies that link selective serotonin reuptake inhibitors to suicidal side effects must account for the fact that patients prescribed treatment for depression are already at a higher risk for such outcomes (Lee and Chang, 2022).

4.2 Time-varying variables, mediator, and modified treatment policy

This study uses data at the daily level, and study time begins on the day of hospitalization. The treatment variable is categorized into three levels: no supplemental oxygen, supplemental oxygen not including IMV, and IMV. The main goal is to estimate the overall causal effect of IMV on mortality/survival rates and to decompose it into effects operating through AKI and effects operating independently of it. To measure the total effect of IMV on survival, we posit an intervention that would delay IMV by one day among patients who received IMV for more than one day and would prevent IMV for patients who received IMV for exactly one day. We refer to this intervention as a “one-day delay in intubation.” Formally, for At{0,1,2}subscript𝐴𝑡012A_{t}\in\{0,1,2\}italic_A start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ∈ { 0 , 1 , 2 } corresponding to the end of day t𝑡titalic_t, 00 indicates no supplemental oxygen, 1111 indicates supplemental oxygen not including IMV, and 2222 indicates IMV. We consider the following intervention:

𝕕t(at,ht)={1 if at=2 and as1 for all s<t,at otherwise.subscript𝕕𝑡subscript𝑎𝑡subscript𝑡cases1 if subscript𝑎𝑡2 and subscript𝑎𝑠1 for all 𝑠𝑡subscript𝑎𝑡 otherwise.\mathbbm{d}_{t}(a_{t},h_{t})=\begin{cases}1&\text{ if }a_{t}=2\text{ and }a_{s% }\leq 1\text{ for all }s<t,\\ a_{t}&\text{ otherwise.}\end{cases}blackboard_d start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ( italic_a start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , italic_h start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ) = { start_ROW start_CELL 1 end_CELL start_CELL if italic_a start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT = 2 and italic_a start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ≤ 1 for all italic_s < italic_t , end_CELL end_ROW start_ROW start_CELL italic_a start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT end_CELL start_CELL otherwise. end_CELL end_ROW (8)

The structure of the data is as follows. Baseline confounders include age, sex, race, ethnicity, body mass index (BMI), hospital location, home oxygen status, and comorbidities (e.g., hypertension, history of stroke, diabetes mellitus, coronary artery disease, active cancer, cirrhosis, asthma, chronic obstructive pulmonary disease, interstitial lung disease (ILD), HIV infection, and immunosuppression), and are included in L1subscript𝐿1L_{1}italic_L start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT. Time-dependent confounders Ztsubscript𝑍𝑡Z_{t}italic_Z start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT and Ltsubscript𝐿𝑡L_{t}italic_L start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT include vital signs (e.g., highest and lowest respiratory rate, oxygen saturation, temperature, heart rate, and blood pressure), laboratory results (e.g., C-Reactive Protein, BUN creatinine ratio, activated partial thromboplastin time, creatinine, lymphocytes, neutrophils, bilirubin, platelets, D-dimer, glucose, arterial partial pressure of oxygen, and arterial partial pressure of carbon dioxide). In cases of missing baseline confounders, mean substitution with an additional variable to indicate missingness is used. For missing data at later timepoints, the last observation is carried forward. Patients are censored at their day of hospital discharge, as AKI and vital status were unknown after this point.

In constructing the analytical dataset, it is important that the variables preserve the time-ordering of the DAG in Figure 1. Therefore, we constructed the dataset using the following procedure. First, we categorize patients into three groups: those whose first event was an intubation, those whose first event was AKI, and those who had neither event. For patients in the first group, we anchor the creation of their record on the time at which the intubation event occurred, denoted tIsubscript𝑡𝐼t_{I}italic_t start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT. The variables LtI1subscript𝐿subscript𝑡𝐼1L_{t_{I-1}}italic_L start_POSTSUBSCRIPT italic_t start_POSTSUBSCRIPT italic_I - 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT and ZtI1subscript𝑍subscript𝑡𝐼1Z_{t_{I-1}}italic_Z start_POSTSUBSCRIPT italic_t start_POSTSUBSCRIPT italic_I - 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT are then recorded as those observed in approximately 24-hour windows before tIsubscript𝑡𝐼t_{I}italic_t start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT, where LtI1subscript𝐿subscript𝑡𝐼1L_{t_{I-1}}italic_L start_POSTSUBSCRIPT italic_t start_POSTSUBSCRIPT italic_I - 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT contains variables measured in the first half of this approximate 24-hour interval, and ZtI1subscript𝑍subscript𝑡𝐼1Z_{t_{I-1}}italic_Z start_POSTSUBSCRIPT italic_t start_POSTSUBSCRIPT italic_I - 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT contains variables measured in the second half of this approximate 24-hour window. The time interval is approximate because the difference in hours between hospital admission and intubation is not necessarily a multiple of 24. The mediator MtI1subscript𝑀subscript𝑡𝐼1M_{t_{I-1}}italic_M start_POSTSUBSCRIPT italic_t start_POSTSUBSCRIPT italic_I - 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT is then set as 00, and the exposure AtI1subscript𝐴subscript𝑡𝐼1A_{t_{I-1}}italic_A start_POSTSUBSCRIPT italic_t start_POSTSUBSCRIPT italic_I - 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT is recorded as the respiratory support in the previous 24-hour window. This process is iterated until we have data for all the timepoints prior to tIsubscript𝑡𝐼t_{I}italic_t start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT. For times greater than or equal to tIsubscript𝑡𝐼t_{I}italic_t start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT, we follow a similar approach, but in addition to capturing Ztsubscript𝑍𝑡Z_{t}italic_Z start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT, Ltsubscript𝐿𝑡L_{t}italic_L start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT, and Atsubscript𝐴𝑡A_{t}italic_A start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT, we measure whether the patient was diagnosed with AKI at every time window. AKI was defined using creatinine values in accordance with the “Kidney Disease: Improving Global Outcomes” definition (KDIGO) definition (Khwaja, 2012). Either of the following criteria was required: (a) serum creatinine change of greater than or equal to 0.3 mg/dL within 48 h, or (b) serum creatinine greater than or equal to 1.5 times the baseline serum creatinine known or assumed to have occurred within the past 7 days.

If and when a patient is diagnosed with AKI (call this time tMsubscript𝑡𝑀t_{M}italic_t start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT), we begin a new 24-hour interval, i.e. LtMsubscript𝐿subscript𝑡𝑀L_{t_{M}}italic_L start_POSTSUBSCRIPT italic_t start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT end_POSTSUBSCRIPT, to ensure that the temporality of variables measured after tMsubscript𝑡𝑀t_{M}italic_t start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT is maintained. A similar procedure was used for patients whose first event was the diagnosis of AKI. Data for patients in the third group, who had neither event, was simply divided into approximate 24-hour time intervals using the anchor times of hospital admission and censoring or death date. During this process, we ensured that measurement of Ltsubscript𝐿𝑡L_{t}italic_L start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT precedes Ztsubscript𝑍𝑡Z_{t}italic_Z start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT within each time interval. A GitHub repository of analysis code is available at https://github.com/CI-NYC/lcmmtp-application.

4.3 Results

We used our proposed methods to estimate the total, direct, and indirect effects on mortality of invasive mechanical ventilation through acute kidney failure. All regressions were estimated using lcmmtp (Williams and Díaz, 2023) and Super Learner (Van der Laan et al., 2007), building a convex combination of three predictors: generalized linear models with 1subscript1\ell_{1}roman_ℓ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT penalty, multivariate adaptive regression splines, and extreme gradient boosting of regression trees. To speed up computations, we used three folds for cross-fitting and used four-day mortality as our outcome of interest. Some observations had large weights 𝖪t,ssubscript𝖪𝑡𝑠\mathsf{K}_{t,s}sansserif_K start_POSTSUBSCRIPT italic_t , italic_s end_POSTSUBSCRIPT and 𝖧t,ssubscript𝖧𝑡𝑠\mathsf{H}_{t,s}sansserif_H start_POSTSUBSCRIPT italic_t , italic_s end_POSTSUBSCRIPT, so we truncated the corresponding estimates at their 99% quantiles to avoid empirical violations of the positivity assumption. The results of the main analysis are presented in Table 1, where we contrast the mortality under an intervention to prevent censoring versus the mortality under an intervention to prevent censoring and to delay intubation by one day as specified above. Specifically, we estimate the total effect defined as 𝖤[Y(A¯𝕕,J¯(A¯𝕕))Y(A¯,J¯(A¯))]𝖤delimited-[]𝑌superscript¯𝐴𝕕¯𝐽superscript¯𝐴𝕕𝑌¯𝐴¯𝐽¯𝐴\mathsf{E}[Y(\bar{A}^{\mathbbm{d}},\bar{J}(\bar{A}^{\mathbbm{d}}))-Y(\bar{A},% \bar{J}(\bar{A}))]sansserif_E [ italic_Y ( over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d end_POSTSUPERSCRIPT , over¯ start_ARG italic_J end_ARG ( over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d end_POSTSUPERSCRIPT ) ) - italic_Y ( over¯ start_ARG italic_A end_ARG , over¯ start_ARG italic_J end_ARG ( over¯ start_ARG italic_A end_ARG ) ) ], where 𝕕𝕕\mathbbm{d}blackboard_d is defined in (8) and Y𝑌Yitalic_Y is four-day survival rate under an intervention to prevent censoring. The indirect effect is thus defined as 𝖤[Y(A¯,J¯(A¯𝕕))Y(A¯,J¯(A¯))]𝖤delimited-[]𝑌¯𝐴¯𝐽superscript¯𝐴𝕕𝑌¯𝐴¯𝐽¯𝐴\mathsf{E}[Y(\bar{A},\bar{J}(\bar{A}^{\mathbbm{d}}))-Y(\bar{A},\bar{J}(\bar{A}% ))]sansserif_E [ italic_Y ( over¯ start_ARG italic_A end_ARG , over¯ start_ARG italic_J end_ARG ( over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d end_POSTSUPERSCRIPT ) ) - italic_Y ( over¯ start_ARG italic_A end_ARG , over¯ start_ARG italic_J end_ARG ( over¯ start_ARG italic_A end_ARG ) ) ], and the direct effect is 𝖤[Y(A¯𝕕,J¯(A¯𝕕))Y(A¯,J¯(A¯𝕕))]𝖤delimited-[]𝑌superscript¯𝐴𝕕¯𝐽superscript¯𝐴𝕕𝑌¯𝐴¯𝐽superscript¯𝐴𝕕\mathsf{E}[Y(\bar{A}^{\mathbbm{d}},\bar{J}(\bar{A}^{\mathbbm{d}}))-Y(\bar{A},% \bar{J}(\bar{A}^{\mathbbm{d}}))]sansserif_E [ italic_Y ( over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d end_POSTSUPERSCRIPT , over¯ start_ARG italic_J end_ARG ( over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d end_POSTSUPERSCRIPT ) ) - italic_Y ( over¯ start_ARG italic_A end_ARG , over¯ start_ARG italic_J end_ARG ( over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d end_POSTSUPERSCRIPT ) ) ].

Effect Standard Error
Total 0.059 0.038
Direct (i.e., not through AKI) -0.024 0.039
Indirect (i.e., through AKI) 0.083 0.027
Table 1: Total, direct, and indirect effect of delaying invasive mechanical ventilation by one day on survival operating through acute kidney failure (presented as intervention minus baseline; positive values indicate that delaying intubation is beneficial).

Although there is high uncertainty in the results, the point estimates support the hypothesis that invasive mechanical ventilation reduces mortality through mechanisms other than acute kidney failure. However, the effect through acute kidney failure is larger than the effect through all other mechanisms, resulting in an overall harmful effect of invasive mechanical ventilation on mortality. The estimated value of the total effect indicates that delaying intubation by one day would reduce mortality by 5.9 percentage points, with a standard error of 3.8 percentage points.

Next, we aim to identify treatment effect modifiers that can be used to predict which patients are at a higher risk of a harmful effect through AKI, and which patients are likely to benefit due to all other mechanisms. Rigorously estimating interpretable conditional average treatment effects, or treatment effects given some covariate values, is notoriously difficult, especially when continuous covariates are considered (see for example Kennedy et al. (2017) for a review of the state-of-the-art in estimation of conditional effects). For simplicity and interpretability, we can approach this by following a strategy presented in Rudolph and Díaz (2022). Specifically, we regress the influence function (see Theorem 2) for the interventional direct effect of intubation onto baseline covariates. (It is easily shown that the conditional (on covariates) expectation of the (uncentered) influence function for the ATE in standard settings is equal to the conditional average treatment effect; for the extension of this principle to the LMTP case see equation 6 of Díaz et al. (2021). To derive the influence function of the direct and indirect effects, note that the influence function for the difference of two parameters is equal to the difference of the influence functions of those parameters.)

Thus, we estimated univariate effect modification for each baseline variable by linear regression of the efficient influence function of the direct and indirect effect shown in equations 1 and 2 on each variable at a time, where we use the slope of the regression as a measure of effect modification. We show only the ten variables with the largest absolute value for univariate effect modification in Table 2. (If we were predominantly interested in the application of a treatment rule based on mediation effects, as described in Section 4.4, then it would be more appropriate to regress the influence function onto multiple covariates simultaneously; here we focus on the simple regressions to provide a more straightforward summary.)

Variable Slope
ILD 0.34
Cancer 0.32
COPD 0.25
Lymph. count 0.23
CVA 0.16
CAD 0.15
Current smoker -0.13
Cirrhosis -0.12
Creatinine 0.10
Home oxygen 0.10
(a) Effect modifiers for the effect of delaying IMV on survival through AKI.
Variable Slope
ILD -1.06
Creatinine 0.69
Asthma 0.69
CVA 0.65
Cirrhosis 0.38
Immunosuppressed -0.26
Bilirubin 0.25
Former smoker 0.22
Home oxygen -0.18
White -0.17
(b) Effect modifiers for the effect of delaying IMV on survival independent of AKI.
Table 2: Most important effect modifiers for the direct and indirect effect of invasive mechanical ventilation on survival through acute kidney failure, as measured by the slope of a simple linear regression of the efficient influence function. Variables with negative slopes indicate populations with lower effects (calculated as intervention minus baseline; positive values indicate that delaying intubation is relatively less harmful/more beneficial).

First, we note that this analysis is exploratory; some subsets may have relatively small sample sizes and we have not calculated standard errors. However, interstitial lung disease (ILD) is the most important variable for effect modification for both the indirect effect through AKI and the direct effect through other mechanisms. The negative effect modification parameter for ILD in Table 2 implies that delaying IMV in patients with ILD has a worse effect on survival (i.e., is more harmful/less beneficial) due to mechanisms other than AKI than in patients without ILD, whereas the positive effect modification parameter in Table 2 means that delaying IMV in patients with ILD has a better effect on survival (i.e., is less harmful/more beneficial) due to AKI than in patients without ILD. The former effect can be explained by the fact that delaying intubation may be riskier in patients with ILD; the latter effect (smaller in size) might be due to the fact that patients with ILD are more likely to experience mortality due to lung failure rather than AKI.

Likewise, Table 2 shows that delaying IMV in patients with cancer, chronic obstructive pulmonary disease (COPD), high lymphocyte count, costovertebral angle tenderness (CVA), coronary artery disease (CAD), high creatinine values, and those who used home oxygen, has a better effect on survival (i.e., is less harmful/more beneficial) due to AKI than in patients without those conditions. Delaying IMV in patients who have cirrhosis or who are current smokers has a worse effect on survival (i.e., is more harmful/less beneficial) due to AKI than in patients without those conditions.

The results in Table 2 show that delaying intubation in patients who are immunosuppressed, use home oxygen, or are white, has a worse effect on survival (i.e., is more harmful/less beneficial) due to mechanisms other than AKI than in patients outside those categories. Lastly, delaying intubation in patients with high creatinine values, asthma, CVA, cirrhosis, high bilirubin, and who are former smokers, has a better effect on survival (i.e., is less harmful/more beneficial) due to mechanisms other than AKI than in patients without those conditions.

We emphasize that given the high standard errors in the effect estimates, this summary should be seen as an exploratory demonstration of our methodology; further research is needed to establish firm scientific conclusions about the effects of the timing of IMV.

4.4 Mediation and treatment decisions

Here, we present a conjectured approach for how mediation analysis might inform treatment decisions. For the purpose of exposition, consider a setting with a single timepoint where we label the observed data as O=(W,A,M,Y)𝑂𝑊𝐴𝑀𝑌O=(W,A,M,Y)italic_O = ( italic_W , italic_A , italic_M , italic_Y ), where A𝐴Aitalic_A is intubation status, M𝑀Mitalic_M is the occurrence of AKI, W𝑊Witalic_W are a set of pre-treatment confounders, and Y𝑌Yitalic_Y is survival. In studies of medical interventions, it is often of interest to decide an optimal treatment rule; that is, a function d(W)𝑑𝑊d(W)italic_d ( italic_W ) map** covariates to treatment values that maximize the probability of survival of a patient presenting with measured variables W𝑊Witalic_W. However, in the case of critical care for a relatively new and evolving disease, doctors would likely prefer to incorporate contextual indicators, patient-specific factors, and clinical judgment rather than to strictly rely on a mathematical rule constructed from previous data. (See Gallifant et al. (2022) for a critical review of existing academic literature promoting the use of artificial intelligence for mechanical ventilation decisions and Mathur and Burns (2019) for an overview of professional challenges that ICU physicians might face in applying algorithmic systems to their practice.) On the other hand, a mediation analysis of the kind we are proposing may be useful in providing a partial treatment rule, insofar as it might identify a subset of patients who should not receive intubation (i.e., those whose respiratory failure might recover without IMV and for whom IMV would introduce unnecessary risks), while leaving undecided the treatment given to patients outside this subset.

Specifically, we note again that the overall effect of intubation on survival can be represented as a combination of the effects through the mediating variable (AKI), and “direct” effects that do not operate through the mediator. (Because we are estimating “interventional” rather than “natural” effects (VanderWeele et al., 2014; Miles et al., 2015), this “overall effect” is not quite equal to the ordinary average treatment effect of intubation on survival, but it can be thought of in a similar way as a heuristic approximation; as described in Section 1, this substitution is done for the purpose of identification.) In principle, both the indirect and direct effects could be beneficial (increasing probability of survival) or harmful (decreasing probability of survival). When these effects are in contrary directions, it may be said that the process exhibits “inconsistent mediation” (MacKinnon et al., 2000). In the current clinical context, we might discount the existence of beneficial indirect effects (i.e., that intubation causes survival by preventing AKI), even at the individual level. Then, for any individual predicted to experience a harmful direct effect of treatment, the total effect of intubation on survival can be expected to be at least as poor. This line of reasoning provides a conservative basis for excluding a subset of patients from treatment.

By contrast, one could attempt to estimate the total effect for all patients and exclude any patients with a negative value, but this shuts out the possibility of additional decision-making input from physicians and ignores the possibility of ameliorating the indirect effects (i.e., that additional interventions could be put in place to mitigate the probability of AKI for patients under intubation).

While we are not advocating that such a treatment rule be applied immediately to patients similar to the ones under study, we believe the information gleaned from this analysis could be useful in future research. In particular, whether beneficial indirect effects could be plausible for some individuals, and what interventions could be put in place to prevent AKI in intubated individuals, do not appear to be well-established in the literature, but can be informed from such analyses. Aside from the current application, this framework could be useful for any treatment scenario where such conditions (the ability to mitigate harmful indirect effects and/or the absence of beneficial indirect effects) are fulfilled.

5 Discussion

Causal mediation analysis is a complex problem, especially in settings with time-varying and/or continuous exposures, mediators, and confounders; we have provided a framework and technique to handle these intricacies. We have argued that mediation analysis can be helpful in clinical decision-making and in formulating preliminary models of causal mechanisms. In addition, we have highlighted the medical importance of inconsistent mediation and its potential role in informing critical care. For this purpose, estimating conditional effects can help to identify the relevant subgroups and to understand the biological factors driving the inconsistency. The application to COVID-19 hospital data, while leaving much room for uncertainty, lends some credence to concerns regarding risks of early intubation through acute kidney injury. Further research might investigate approximate methods to ameliorate the computational costs associated with the sequential regression, which might grow quickly with the number of timepoints.

Supplementary Materials for
Identification and estimation of mediational effects of longitudinal modified treatment policies

S1 Technical note on notation

In the proofs that follow, any variable with index t0𝑡0t\leq 0italic_t ≤ 0 should be interpreted as null, and a distribution conditional on null variables are marginal. Any summation expression with no terms (e.g., t+1tWtsuperscriptsubscript𝑡1𝑡subscript𝑊𝑡\sum_{t+1}^{t}W_{t}∑ start_POSTSUBSCRIPT italic_t + 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT italic_W start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT) are equal to zero, and any product with no factors is equal to one.

S2 Identification (Theorem 1)

Proof By the law of total expectation, we can write

θ=𝖤[Y(A¯𝕕,J¯(A¯𝕕))]𝜃𝖤delimited-[]𝑌superscript¯𝐴superscript𝕕¯𝐽superscript¯𝐴superscript𝕕\theta=\mathsf{E}[Y(\bar{A}^{\mathbbm{d}^{\prime}},\bar{J}(\bar{A}^{\mathbbm{d% }^{\star}}))]italic_θ = sansserif_E [ italic_Y ( over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT , over¯ start_ARG italic_J end_ARG ( over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ) ) ]
=𝖤[𝖤[Y(A¯𝕕,J¯(A¯𝕕))J(A¯𝕕)]]absent𝖤delimited-[]𝖤delimited-[]conditional𝑌superscript¯𝐴superscript𝕕¯𝐽superscript¯𝐴superscript𝕕𝐽superscript¯𝐴superscript𝕕=\mathsf{E}[\mathsf{E}[Y(\bar{A}^{\mathbbm{d}^{\prime}},\bar{J}(\bar{A}^{% \mathbbm{d}^{\star}}))\mid J(\bar{A}^{\mathbbm{d}^{\star}})]]= sansserif_E [ sansserif_E [ italic_Y ( over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT , over¯ start_ARG italic_J end_ARG ( over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ) ) ∣ italic_J ( over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ) ] ]
=m¯𝖤[Y(A¯𝕕,J¯(A¯𝕕))J¯(A¯𝕕)=m¯]𝖯(J¯(A¯𝕕)=m¯)absentsubscript¯𝑚𝖤delimited-[]conditional𝑌superscript¯𝐴superscript𝕕¯𝐽superscript¯𝐴superscript𝕕¯𝐽superscript¯𝐴superscript𝕕¯𝑚𝖯¯𝐽superscript¯𝐴superscript𝕕¯𝑚=\sum_{\bar{m}}\mathsf{E}[Y(\bar{A}^{\mathbbm{d}^{\prime}},\bar{J}(\bar{A}^{% \mathbbm{d}^{\star}}))\mid\bar{J}(\bar{A}^{\mathbbm{d}^{\star}})=\bar{m}]*% \mathsf{P}(\bar{J}(\bar{A}^{\mathbbm{d}^{\star}})=\bar{m})= ∑ start_POSTSUBSCRIPT over¯ start_ARG italic_m end_ARG end_POSTSUBSCRIPT sansserif_E [ italic_Y ( over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT , over¯ start_ARG italic_J end_ARG ( over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ) ) ∣ over¯ start_ARG italic_J end_ARG ( over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ) = over¯ start_ARG italic_m end_ARG ] ∗ sansserif_P ( over¯ start_ARG italic_J end_ARG ( over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ) = over¯ start_ARG italic_m end_ARG )
=m¯𝖤[Y(A¯𝕕,m¯)J¯(A¯𝕕)=m¯]𝖯(J¯(A¯𝕕)=m¯)absentsubscript¯𝑚𝖤delimited-[]conditional𝑌superscript¯𝐴superscript𝕕¯𝑚¯𝐽superscript¯𝐴superscript𝕕¯𝑚𝖯¯𝐽superscript¯𝐴superscript𝕕¯𝑚=\sum_{\bar{m}}\mathsf{E}[Y(\bar{A}^{\mathbbm{d}^{\prime}},\bar{m})\mid\bar{J}% (\bar{A}^{\mathbbm{d}^{\star}})=\bar{m}]*\mathsf{P}(\bar{J}(\bar{A}^{\mathbbm{% d}^{\star}})=\bar{m})= ∑ start_POSTSUBSCRIPT over¯ start_ARG italic_m end_ARG end_POSTSUBSCRIPT sansserif_E [ italic_Y ( over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT , over¯ start_ARG italic_m end_ARG ) ∣ over¯ start_ARG italic_J end_ARG ( over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ) = over¯ start_ARG italic_m end_ARG ] ∗ sansserif_P ( over¯ start_ARG italic_J end_ARG ( over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ) = over¯ start_ARG italic_m end_ARG )

Since J¯¯𝐽\bar{J}over¯ start_ARG italic_J end_ARG is defined to be distributed like M¯¯𝑀\bar{M}over¯ start_ARG italic_M end_ARG and independent of all data,

=m¯𝖤[Y(A¯𝕕,m¯)]𝖯(M¯(A¯𝕕)=m¯)absentsubscript¯𝑚𝖤delimited-[]𝑌superscript¯𝐴superscript𝕕¯𝑚𝖯¯𝑀superscript¯𝐴superscript𝕕¯𝑚=\sum_{\bar{m}}\mathsf{E}[Y(\bar{A}^{\mathbbm{d}^{\prime}},\bar{m})]*\mathsf{P% }(\bar{M}(\bar{A}^{\mathbbm{d}^{\star}})=\bar{m})= ∑ start_POSTSUBSCRIPT over¯ start_ARG italic_m end_ARG end_POSTSUBSCRIPT sansserif_E [ italic_Y ( over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT , over¯ start_ARG italic_m end_ARG ) ] ∗ sansserif_P ( over¯ start_ARG italic_M end_ARG ( over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ) = over¯ start_ARG italic_m end_ARG )

Given policies 𝕕superscript𝕕\mathbbm{d}^{\prime}blackboard_d start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT and 𝕕superscript𝕕\mathbbm{d}^{\star}blackboard_d start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT, we let φ(m¯)=𝖤[Y(A¯𝕕,m¯)]𝜑¯𝑚𝖤delimited-[]𝑌superscript¯𝐴superscript𝕕¯𝑚\varphi(\bar{m})=\mathsf{E}[Y(\bar{A}^{\mathbbm{d}^{\prime}},\bar{m})]italic_φ ( over¯ start_ARG italic_m end_ARG ) = sansserif_E [ italic_Y ( over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT , over¯ start_ARG italic_m end_ARG ) ] and λ(m¯)=𝖯(M¯(A¯𝕕)=m¯)𝜆¯𝑚𝖯¯𝑀superscript¯𝐴superscript𝕕¯𝑚\lambda(\bar{m})=\mathsf{P}(\bar{M}(\bar{A}^{\mathbbm{d}^{\star}})=\bar{m})italic_λ ( over¯ start_ARG italic_m end_ARG ) = sansserif_P ( over¯ start_ARG italic_M end_ARG ( over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ) = over¯ start_ARG italic_m end_ARG ) and will show that φ𝜑\varphiitalic_φ and λ𝜆\lambdaitalic_λ are equivalent to the expressions given in the theorem.

First, for φ𝜑\varphiitalic_φ, we consider the relabeled dataset where for all tτ𝑡𝜏t\leq\tauitalic_t ≤ italic_τ, (Lt,Zt)=(C2t1,C2t)subscript𝐿𝑡subscript𝑍𝑡subscript𝐶2𝑡1subscript𝐶2𝑡(L_{t},Z_{t})=(C_{2t-1},C_{2t})( italic_L start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , italic_Z start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ) = ( italic_C start_POSTSUBSCRIPT 2 italic_t - 1 end_POSTSUBSCRIPT , italic_C start_POSTSUBSCRIPT 2 italic_t end_POSTSUBSCRIPT ) and (At,Mt)=(E2t1,E2t)subscript𝐴𝑡subscript𝑀𝑡subscript𝐸2𝑡1subscript𝐸2𝑡(A_{t},M_{t})=(E_{2t-1},E_{2t})( italic_A start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , italic_M start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ) = ( italic_E start_POSTSUBSCRIPT 2 italic_t - 1 end_POSTSUBSCRIPT , italic_E start_POSTSUBSCRIPT 2 italic_t end_POSTSUBSCRIPT ). In this case, the expression Y(A¯𝕕,m¯)𝑌superscript¯𝐴superscript𝕕¯𝑚Y(\bar{A}^{\mathbbm{d}^{\prime}},\bar{m})italic_Y ( over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT , over¯ start_ARG italic_m end_ARG ) is the expected value of the counterfactual outcome of the longitudinal modified treatment policy setting the values of E𝐸Eitalic_E to the corresponding values A¯𝕕superscript¯𝐴superscript𝕕\bar{A}^{\mathbbm{d}^{\prime}}over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT and m¯¯𝑚\bar{m}over¯ start_ARG italic_m end_ARG. Similarly to Díaz et al. (2023b), this expression is identified by the following strategy.

Let μ2τ+1=Ysubscript𝜇2𝜏1𝑌\mu_{2\tau+1}=Yitalic_μ start_POSTSUBSCRIPT 2 italic_τ + 1 end_POSTSUBSCRIPT = italic_Y and for t=2τ,,1𝑡2𝜏1t=2\tau,\dots,1italic_t = 2 italic_τ , … , 1 recursively define

μt(et,ht)=𝖤[μt+1(E,t+1Ht+1)Et=et,Ht=ht]\mu_{t}(e_{t},h_{t})=\mathsf{E}[\mu_{t+1}(E{{}^{\prime}}_{t+1},H_{t+1})\mid E_% {t}=e_{t},H_{t}=h_{t}]italic_μ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ( italic_e start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , italic_h start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ) = sansserif_E [ italic_μ start_POSTSUBSCRIPT italic_t + 1 end_POSTSUBSCRIPT ( italic_E start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT start_POSTSUBSCRIPT italic_t + 1 end_POSTSUBSCRIPT , italic_H start_POSTSUBSCRIPT italic_t + 1 end_POSTSUBSCRIPT ) ∣ italic_E start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT = italic_e start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , italic_H start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT = italic_h start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ]

where Htsubscript𝐻𝑡H_{t}italic_H start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT denotes all variables prior to Etsubscript𝐸𝑡E_{t}italic_E start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT. Then by integration, 𝖤[Y(𝖤𝕕)]=𝖤[μ1(E1,C1)]𝖤delimited-[]𝑌superscript𝖤superscript𝕕𝖤delimited-[]subscript𝜇1superscriptsubscript𝐸1subscript𝐶1\mathsf{E}[Y(\mathsf{E}^{\mathbbm{d}^{\prime}})]=\mathsf{E}[\mu_{1}(E_{1}^{% \prime},C_{1})]sansserif_E [ italic_Y ( sansserif_E start_POSTSUPERSCRIPT blackboard_d start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ) ] = sansserif_E [ italic_μ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_C start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) ].

Noting that the desired intervention on m¯¯𝑚\bar{m}over¯ start_ARG italic_m end_ARG is not stochastic (and thus the mediation component of the intervention 𝕕superscript𝕕\mathbbm{d}^{\prime}blackboard_d start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT can be passed into the 𝖰𝖰\mathsf{Q}sansserif_Q-functions as the future histories m¯tsubscript¯𝑚𝑡\underaccent{\bar}{m}_{t}under¯ start_ARG italic_m end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT); thus one can see that substituting variables is sufficient to recognize, when 𝕕superscript𝕕\mathbbm{d}^{\prime}blackboard_d start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT is the intervention setting E𝐸Eitalic_E to the values of A¯𝕕superscript¯𝐴superscript𝕕\bar{A}^{\mathbbm{d}^{\prime}}over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT and m¯¯𝑚\bar{m}over¯ start_ARG italic_m end_ARG, the relation 𝖤[μ1(E1,C1)]=𝖰L,0(m¯)𝖤delimited-[]subscript𝜇1superscriptsubscript𝐸1subscript𝐶1superscriptsubscript𝖰𝐿0¯𝑚\mathsf{E}[\mu_{1}(E_{1}^{\prime},C_{1})]=\mathsf{Q}_{L,0}^{\prime}(\bar{m})sansserif_E [ italic_μ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_C start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) ] = sansserif_Q start_POSTSUBSCRIPT italic_L , 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( over¯ start_ARG italic_m end_ARG ), as in the Theorem.

For λ(m¯)=𝖯(M¯(A¯𝕕)=m¯)𝜆¯𝑚𝖯¯𝑀superscript¯𝐴superscript𝕕¯𝑚\lambda(\bar{m})=\mathsf{P}(\bar{M}(\bar{A}^{\mathbbm{d}^{\star}})=\bar{m})italic_λ ( over¯ start_ARG italic_m end_ARG ) = sansserif_P ( over¯ start_ARG italic_M end_ARG ( over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ) = over¯ start_ARG italic_m end_ARG ), we again relabel the data, this time grou** L,Z,M𝐿𝑍𝑀L,Z,Mitalic_L , italic_Z , italic_M as St=(Lt,Zt1,M¯t1)subscript𝑆𝑡subscript𝐿𝑡subscript𝑍𝑡1subscript¯𝑀𝑡1S_{t}=(L_{t},Z_{t-1},\bar{M}_{t-1})italic_S start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT = ( italic_L start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , italic_Z start_POSTSUBSCRIPT italic_t - 1 end_POSTSUBSCRIPT , over¯ start_ARG italic_M end_ARG start_POSTSUBSCRIPT italic_t - 1 end_POSTSUBSCRIPT ) (and again suitably altering the meaning of Htsubscript𝐻𝑡H_{t}italic_H start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT to denote all variables before Atsubscript𝐴𝑡A_{t}italic_A start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT, or HA,tsubscript𝐻𝐴𝑡H_{A,t}italic_H start_POSTSUBSCRIPT italic_A , italic_t end_POSTSUBSCRIPT in the original labeling). Then M¯(A¯𝕕)¯𝑀superscript¯𝐴𝕕\bar{M}(\bar{A}^{\mathbbm{d}\star})over¯ start_ARG italic_M end_ARG ( over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d ⋆ end_POSTSUPERSCRIPT ) is simply a projection of the outcome Sτ+1subscript𝑆𝜏1S_{\tau+1}italic_S start_POSTSUBSCRIPT italic_τ + 1 end_POSTSUBSCRIPT under the longitudinal modified treatment policy A¯𝕕superscript¯𝐴𝕕\bar{A}^{\mathbbm{d}\star}over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d ⋆ end_POSTSUPERSCRIPT. Denoting this projection as Stm=M¯t1superscriptsubscript𝑆𝑡𝑚subscript¯𝑀𝑡1S_{t}^{m}=\bar{M}_{t-1}italic_S start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT = over¯ start_ARG italic_M end_ARG start_POSTSUBSCRIPT italic_t - 1 end_POSTSUBSCRIPT, we can write 𝖯(M¯(A¯𝕕)=m¯)=𝖤[𝟙(Sτ+1m=m¯)]𝖯¯𝑀superscript¯𝐴𝕕¯𝑚𝖤delimited-[]1superscriptsubscript𝑆𝜏1𝑚¯𝑚\mathsf{P}(\bar{M}(\bar{A}^{\mathbbm{d}\star})=\bar{m})=\mathsf{E}[\mathbbm{1}% (S_{\tau+1}^{m}=\bar{m})]sansserif_P ( over¯ start_ARG italic_M end_ARG ( over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d ⋆ end_POSTSUPERSCRIPT ) = over¯ start_ARG italic_m end_ARG ) = sansserif_E [ blackboard_1 ( italic_S start_POSTSUBSCRIPT italic_τ + 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT = over¯ start_ARG italic_m end_ARG ) ] and we can again apply a similar identification strategy.

As a shorthand, let 𝟙τ+1m¯=𝟙(Sτ+1m=m¯)superscriptsubscript1𝜏1¯𝑚1superscriptsubscript𝑆𝜏1𝑚¯𝑚\mathbbm{1}_{\tau+1}^{\bar{m}}=\mathbbm{1}(S_{\tau+1}^{m}=\bar{m})blackboard_1 start_POSTSUBSCRIPT italic_τ + 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT over¯ start_ARG italic_m end_ARG end_POSTSUPERSCRIPT = blackboard_1 ( italic_S start_POSTSUBSCRIPT italic_τ + 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT = over¯ start_ARG italic_m end_ARG ). Let ρτ+1=𝟙τ+1m¯subscript𝜌𝜏1superscriptsubscript1𝜏1¯𝑚\rho_{\tau+1}=\mathbbm{1}_{\tau+1}^{\bar{m}}italic_ρ start_POSTSUBSCRIPT italic_τ + 1 end_POSTSUBSCRIPT = blackboard_1 start_POSTSUBSCRIPT italic_τ + 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT over¯ start_ARG italic_m end_ARG end_POSTSUPERSCRIPT and for t=τ,,1𝑡𝜏1t=\tau,\dots,1italic_t = italic_τ , … , 1 recursively define

ρt(at,ht)=𝖤[ρt+1(At+1,Ht+1)At=at,Ht=ht]subscript𝜌𝑡subscript𝑎𝑡subscript𝑡𝖤delimited-[]formulae-sequenceconditionalsubscript𝜌𝑡1subscriptsuperscript𝐴𝑡1subscript𝐻𝑡1subscript𝐴𝑡subscript𝑎𝑡subscript𝐻𝑡subscript𝑡\rho_{t}(a_{t},h_{t})=\mathsf{E}[\rho_{t+1}(A^{\star}_{t+1},H_{t+1})\mid A_{t}% =a_{t},H_{t}=h_{t}]italic_ρ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ( italic_a start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , italic_h start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ) = sansserif_E [ italic_ρ start_POSTSUBSCRIPT italic_t + 1 end_POSTSUBSCRIPT ( italic_A start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t + 1 end_POSTSUBSCRIPT , italic_H start_POSTSUBSCRIPT italic_t + 1 end_POSTSUBSCRIPT ) ∣ italic_A start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT = italic_a start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , italic_H start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT = italic_h start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ]

Then by integration we have λ(m¯)=𝖤[ρ1(A1,S1)]𝜆¯𝑚𝖤delimited-[]subscript𝜌1superscriptsubscript𝐴1subscript𝑆1\lambda(\bar{m})=\mathsf{E}[\rho_{1}(A_{1}^{\star},S_{1})]italic_λ ( over¯ start_ARG italic_m end_ARG ) = sansserif_E [ italic_ρ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT , italic_S start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) ]. We will show that this expression is equivalent to 𝖰M,0(m¯)superscriptsubscript𝖰𝑀0¯𝑚\mathsf{Q}_{M,0}^{\star}(\bar{m})sansserif_Q start_POSTSUBSCRIPT italic_M , 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT ( over¯ start_ARG italic_m end_ARG ) as in the Theorem.

First, by definition we have

ρτ(aτ,hτ)=𝖤[𝟙τ+1m¯Aτ=aτ,Ht=hτ]subscript𝜌𝜏subscript𝑎𝜏subscript𝜏𝖤delimited-[]formulae-sequenceconditionalsuperscriptsubscript1𝜏1¯𝑚subscript𝐴𝜏subscript𝑎𝜏subscript𝐻𝑡subscript𝜏\rho_{\tau}(a_{\tau},h_{\tau})=\mathsf{E}[\mathbbm{1}_{\tau+1}^{\bar{m}}\mid A% _{\tau}=a_{\tau},H_{t}=h_{\tau}]italic_ρ start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT ( italic_a start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT , italic_h start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT ) = sansserif_E [ blackboard_1 start_POSTSUBSCRIPT italic_τ + 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT over¯ start_ARG italic_m end_ARG end_POSTSUPERSCRIPT ∣ italic_A start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT = italic_a start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT , italic_H start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT = italic_h start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT ]

The conditioning event fixes all mediator values but the final one, so we can write

=𝟙(Sτm=m¯τ1)𝖯(Mτ=mτAτ=aτ,Ht=hτ)=\mathbbm{1}(S_{\tau}^{m}=\bar{m}_{\tau-1})\mathsf{P}(M_{\tau}=m_{\tau}\mid A_% {\tau}=a_{\tau},H_{t}=h_{\tau})= blackboard_1 ( italic_S start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT = over¯ start_ARG italic_m end_ARG start_POSTSUBSCRIPT italic_τ - 1 end_POSTSUBSCRIPT ) sansserif_P ( italic_M start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT = italic_m start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT ∣ italic_A start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT = italic_a start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT , italic_H start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT = italic_h start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT )
=𝟙(Sτm=m¯τ1)𝖤[𝟙(Mτ=mτ)Aτ=aτ,Ht=hτ]absent1superscriptsubscript𝑆𝜏𝑚subscript¯𝑚𝜏1𝖤delimited-[]formulae-sequenceconditional1subscript𝑀𝜏subscript𝑚𝜏subscript𝐴𝜏subscript𝑎𝜏subscript𝐻𝑡subscript𝜏=\mathbbm{1}(S_{\tau}^{m}=\bar{m}_{\tau-1})\mathsf{E}[\mathbbm{1}(M_{\tau}=m_{% \tau})\mid A_{\tau}=a_{\tau},H_{t}=h_{\tau}]= blackboard_1 ( italic_S start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT = over¯ start_ARG italic_m end_ARG start_POSTSUBSCRIPT italic_τ - 1 end_POSTSUBSCRIPT ) sansserif_E [ blackboard_1 ( italic_M start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT = italic_m start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT ) ∣ italic_A start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT = italic_a start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT , italic_H start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT = italic_h start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT ]

By definition,

=𝟙(Sτm=m¯τ1)𝖰M,τ(m¯τ)absent1superscriptsubscript𝑆𝜏𝑚subscript¯𝑚𝜏1superscriptsubscript𝖰𝑀𝜏subscript¯𝑚𝜏=\mathbbm{1}(S_{\tau}^{m}=\bar{m}_{\tau-1})\mathsf{Q}_{M,\tau}^{*}(% \underaccent{\bar}{m}_{\tau})= blackboard_1 ( italic_S start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT = over¯ start_ARG italic_m end_ARG start_POSTSUBSCRIPT italic_τ - 1 end_POSTSUBSCRIPT ) sansserif_Q start_POSTSUBSCRIPT italic_M , italic_τ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ( under¯ start_ARG italic_m end_ARG start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT )

Then for t=τ1𝑡𝜏1t=\tau-1italic_t = italic_τ - 1, we similarly have

ρτ1(aτ1,hτ1)=𝖤[ρτ(Aτ,Hτ)Aτ1=aτ1,Ht=hτ1]subscript𝜌𝜏1subscript𝑎𝜏1subscript𝜏1𝖤delimited-[]formulae-sequenceconditionalsubscript𝜌𝜏superscriptsubscript𝐴𝜏subscript𝐻𝜏subscript𝐴𝜏1subscript𝑎𝜏1subscript𝐻𝑡subscript𝜏1\rho_{\tau-1}(a_{\tau-1},h_{\tau-1})=\mathsf{E}[\rho_{\tau}(A_{\tau}^{\star},H% _{\tau})\mid A_{\tau-1}=a_{\tau-1},H_{t}=h_{\tau-1}]italic_ρ start_POSTSUBSCRIPT italic_τ - 1 end_POSTSUBSCRIPT ( italic_a start_POSTSUBSCRIPT italic_τ - 1 end_POSTSUBSCRIPT , italic_h start_POSTSUBSCRIPT italic_τ - 1 end_POSTSUBSCRIPT ) = sansserif_E [ italic_ρ start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT ( italic_A start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT , italic_H start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT ) ∣ italic_A start_POSTSUBSCRIPT italic_τ - 1 end_POSTSUBSCRIPT = italic_a start_POSTSUBSCRIPT italic_τ - 1 end_POSTSUBSCRIPT , italic_H start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT = italic_h start_POSTSUBSCRIPT italic_τ - 1 end_POSTSUBSCRIPT ]
=𝖤[𝟙(Sτm=m¯τ1)𝖰M,τ(m¯τ)Aτ1=aτ1,Ht=hτ1]absent𝖤delimited-[]formulae-sequenceconditional1superscriptsubscript𝑆𝜏𝑚subscript¯𝑚𝜏1superscriptsubscript𝖰𝑀𝜏subscript¯𝑚𝜏subscript𝐴𝜏1subscript𝑎𝜏1subscript𝐻𝑡subscript𝜏1=\mathsf{E}[\mathbbm{1}(S_{\tau}^{m}=\bar{m}_{\tau-1})\mathsf{Q}_{M,\tau}^{*}(% \underaccent{\bar}{m}_{\tau})\mid A_{\tau-1}=a_{\tau-1},H_{t}=h_{\tau-1}]= sansserif_E [ blackboard_1 ( italic_S start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT = over¯ start_ARG italic_m end_ARG start_POSTSUBSCRIPT italic_τ - 1 end_POSTSUBSCRIPT ) sansserif_Q start_POSTSUBSCRIPT italic_M , italic_τ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ( under¯ start_ARG italic_m end_ARG start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT ) ∣ italic_A start_POSTSUBSCRIPT italic_τ - 1 end_POSTSUBSCRIPT = italic_a start_POSTSUBSCRIPT italic_τ - 1 end_POSTSUBSCRIPT , italic_H start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT = italic_h start_POSTSUBSCRIPT italic_τ - 1 end_POSTSUBSCRIPT ]
=𝟙(Sτ1m=m¯τ2)𝖤[𝟙(Mτ1=mτ1)𝖰M,τ(m¯τ)Aτ1=aτ1,Ht=hτ1]absent1superscriptsubscript𝑆𝜏1𝑚subscript¯𝑚𝜏2𝖤delimited-[]formulae-sequenceconditional1subscript𝑀𝜏1subscript𝑚𝜏1superscriptsubscript𝖰𝑀𝜏subscript¯𝑚𝜏subscript𝐴𝜏1subscript𝑎𝜏1subscript𝐻𝑡subscript𝜏1=\mathbbm{1}(S_{\tau-1}^{m}=\bar{m}_{\tau-2})\mathsf{E}[\mathbbm{1}(M_{\tau-1}% =m_{\tau-1})\mathsf{Q}_{M,\tau}^{*}(\underaccent{\bar}{m}_{\tau})\mid A_{\tau-% 1}=a_{\tau-1},H_{t}=h_{\tau-1}]= blackboard_1 ( italic_S start_POSTSUBSCRIPT italic_τ - 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT = over¯ start_ARG italic_m end_ARG start_POSTSUBSCRIPT italic_τ - 2 end_POSTSUBSCRIPT ) sansserif_E [ blackboard_1 ( italic_M start_POSTSUBSCRIPT italic_τ - 1 end_POSTSUBSCRIPT = italic_m start_POSTSUBSCRIPT italic_τ - 1 end_POSTSUBSCRIPT ) sansserif_Q start_POSTSUBSCRIPT italic_M , italic_τ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ( under¯ start_ARG italic_m end_ARG start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT ) ∣ italic_A start_POSTSUBSCRIPT italic_τ - 1 end_POSTSUBSCRIPT = italic_a start_POSTSUBSCRIPT italic_τ - 1 end_POSTSUBSCRIPT , italic_H start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT = italic_h start_POSTSUBSCRIPT italic_τ - 1 end_POSTSUBSCRIPT ]
=𝟙(Sτ1m=m¯τ2)𝖰M,τ1(m¯τ1)absent1superscriptsubscript𝑆𝜏1𝑚subscript¯𝑚𝜏2superscriptsubscript𝖰𝑀𝜏1subscript¯𝑚𝜏1=\mathbbm{1}(S_{\tau-1}^{m}=\bar{m}_{\tau-2})\mathsf{Q}_{M,\tau-1}^{\star}(% \underaccent{\bar}{m}_{\tau-1})= blackboard_1 ( italic_S start_POSTSUBSCRIPT italic_τ - 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT = over¯ start_ARG italic_m end_ARG start_POSTSUBSCRIPT italic_τ - 2 end_POSTSUBSCRIPT ) sansserif_Q start_POSTSUBSCRIPT italic_M , italic_τ - 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT ( under¯ start_ARG italic_m end_ARG start_POSTSUBSCRIPT italic_τ - 1 end_POSTSUBSCRIPT )

Repeated iterations yield the pattern

ρt(at,ht)=𝟙(Stm=m¯t1)𝖰M,t(m¯t)subscript𝜌𝑡subscript𝑎𝑡subscript𝑡1superscriptsubscript𝑆𝑡𝑚subscript¯𝑚𝑡1superscriptsubscript𝖰𝑀𝑡subscript¯𝑚𝑡\rho_{t}(a_{t},h_{t})=\mathbbm{1}(S_{t}^{m}=\bar{m}_{t-1})\mathsf{Q}_{M,t}^{% \star}(\underaccent{\bar}{m}_{t})italic_ρ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ( italic_a start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , italic_h start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ) = blackboard_1 ( italic_S start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT = over¯ start_ARG italic_m end_ARG start_POSTSUBSCRIPT italic_t - 1 end_POSTSUBSCRIPT ) sansserif_Q start_POSTSUBSCRIPT italic_M , italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT ( under¯ start_ARG italic_m end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT )

Thus λ(m¯)=𝖤[ρ1(A1,S1)]=𝖤[𝖰M,1(m¯)]=𝖰M,0(m¯)𝜆¯𝑚𝖤delimited-[]subscript𝜌1superscriptsubscript𝐴1subscript𝑆1𝖤delimited-[]superscriptsubscript𝖰𝑀1¯𝑚superscriptsubscript𝖰𝑀0¯𝑚\lambda(\bar{m})=\mathsf{E}[\rho_{1}(A_{1}^{\star},S_{1})]=\mathsf{E}[\mathsf{% Q}_{M,1}^{\star}(\bar{m})]=\mathsf{Q}_{M,0}^{\star}(\bar{m})italic_λ ( over¯ start_ARG italic_m end_ARG ) = sansserif_E [ italic_ρ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT , italic_S start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) ] = sansserif_E [ sansserif_Q start_POSTSUBSCRIPT italic_M , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT ( over¯ start_ARG italic_m end_ARG ) ] = sansserif_Q start_POSTSUBSCRIPT italic_M , 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT ( over¯ start_ARG italic_m end_ARG ) as desired. ∎

S3 IPW identification

Díaz et al. (2021) gives, for a general longitudinal modified treatment policy A¯𝕕superscript¯𝐴𝕕\bar{A}^{\mathbbm{d}}over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d end_POSTSUPERSCRIPT and outcome Y𝑌Yitalic_Y (without explicit mediation or intermediate confounders):

𝖤[Y(A¯𝕕)]=𝖤[Yt=1τgt𝕕(at|hA,t)gt(at|hA,t)]𝖤delimited-[]𝑌superscript¯𝐴𝕕𝖤delimited-[]𝑌superscriptsubscriptproduct𝑡1𝜏superscriptsubscript𝑔𝑡𝕕conditionalsubscript𝑎𝑡subscript𝐴𝑡subscript𝑔𝑡conditionalsubscript𝑎𝑡subscript𝐴𝑡\mathsf{E}[Y(\bar{A}^{\mathbbm{d}})]=\mathsf{E}\left[Y\prod_{t=1}^{\tau}\frac{% g_{t}^{\mathbbm{d}}(a_{t}|h_{A,t})}{g_{t}(a_{t}|h_{A,t})}\right]sansserif_E [ italic_Y ( over¯ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT blackboard_d end_POSTSUPERSCRIPT ) ] = sansserif_E [ italic_Y ∏ start_POSTSUBSCRIPT italic_t = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_τ end_POSTSUPERSCRIPT divide start_ARG italic_g start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT blackboard_d end_POSTSUPERSCRIPT ( italic_a start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT | italic_h start_POSTSUBSCRIPT italic_A , italic_t end_POSTSUBSCRIPT ) end_ARG start_ARG italic_g start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ( italic_a start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT | italic_h start_POSTSUBSCRIPT italic_A , italic_t end_POSTSUBSCRIPT ) end_ARG ]

Applying this result after relabeling the data exactly as in the preceding Section S2 (respectively for each estimand) immediately yields the given IPW expressions for φ𝜑\varphiitalic_φ and λ𝜆\lambdaitalic_λ.

References

  • Avin et al. (2005) Chen Avin, Ilya Shpitser, and Judea Pearl. Identifiability of path-specific effects. In IJCAI International Joint Conference on Artificial Intelligence, pages 357–363, 2005.
  • Bang and Robins (2005) Heejung Bang and James M Robins. Doubly robust estimation in missing data and causal inference models. Biometrics, 61(4):962–973, 2005.
  • Bavishi et al. (2021) Avni A Bavishi, Ruben J Mylvaganam, Rishi Agarwal, Ryan J Avery, and Michael J Cuttica. Timing of intubation in coronavirus disease 2019: A study of ventilator mechanics, imaging, findings, and outcomes. Critical Care Explorations, 3(5), 2021.
  • Bickel et al. (1997) Peter J Bickel, Chris AJ Klaassen, YA’Acov Ritov, and Jon A Wellner. Efficient and Adaptive Estimation for Semiparametric Models. Springer-Verlag, 1997.
  • Chernozhukov et al. (2018) Victor Chernozhukov, Denis Chetverikov, Mert Demirer, Esther Duflo, Christian Hansen, Whitney Newey, and James Robins. Double/debiased machine learning for treatment and structural parameters. The Econometrics Journal, 21(1):C1–C68, 2018.
  • Díaz and Hejazi (2020) Iván Díaz and Nima S Hejazi. Causal mediation analysis for stochastic interventions. Journal of the Royal Statistical Society Series B: Statistical Methodology, 82(3):661–683, 2020.
  • Díaz and van der Laan (2012) Iván Díaz and Mark J van der Laan. Population Intervention Causal Effects Based on Stochastic Interventions. Biometrics, 68(2):541–549, 2012.
  • Díaz et al. (2021) Iván Díaz, Nicholas Williams, Katherine L Hoffman, and Edward J Schenck. Nonparametric causal effects based on longitudinal modified treatment policies. Journal of the American Statistical Association, pages 1–16, 2021.
  • Díaz et al. (2023a) Iván Díaz, Katherine L Hoffman, and Nima S Hejazi. Causal survival analysis under competing risks using longitudinal modified treatment policies. Lifetime Data Analysis, pages 1–24, 2023a.
  • Díaz et al. (2023b) Iván Díaz, Nicholas Williams, and Kara E Rudolph. Efficient and flexible mediation analysis with time-varying mediators, treatments, and confounders. Journal of Causal Inference, 11(1):20220077, 2023b.
  • Durdevic et al. (2020) Momcilo Durdevic, Dragana Durdevic, Maria Bernal Riera, Abhishek Nimkar, Andreea Constanta Stan, Amrah Hasan, Ashutossh Naaraayan, and Stephen Jesmajian. Progressive renal failure in patients with covid-19 after initiating mechanical ventilation: A case series. Chest, 158(4):A2629, 2020.
  • Gallifant et al. (2022) Jack Gallifant, Joe Zhang, Maria del Pilar Arias Lopez, Tingting Zhu, Luigi Camporota, Leo A Celi, and Federico Formenti. Artificial intelligence for mechanical ventilation: systematic review of design, reporting standards, and bias. British Journal of Anaesthesia, 128(2):343–351, 2022.
  • Glassford and Bellomo (2011) Neil J Glassford and Rinaldo Bellomo. Fluid therapy in acute kidney injury: the FACTTs. Nature Reviews Nephrology, 7(6):305–306, 2011.
  • Goyal et al. (2020) Parag Goyal, Justin J Choi, Laura C Pinheiro, Edward J Schenck, Ruijun Chen, Assem Jabri, Michael J Satlin, Thomas R Campion Jr, Musarrat Nahid, Joanna B Ringel, et al. Clinical characteristics of Covid-19 in New York City. New England Journal of Medicine, 382(24):2372–2374, 2020.
  • Grams et al. (2011) Morgan E Grams, Michelle M Estrella, Josef Coresh, Roy G Brower, Kathleen D Liu, and National Heart, Lung, and Blood Institute Acute Respiratory Distress Syndrome Network and others. Fluid balance, diuretic use, and mortality in acute kidney injury. Clinical journal of the American Society of Nephrology: CJASN, 6(5):966, 2011.
  • Haneuse and Rotnitzky (2013) Sebastian Haneuse and Andrea Rotnitzky. Estimation of the effect of interventions that modify the received treatment. Statistics in Medicine, 2013.
  • Hasan et al. (2020) Syed Shahzad Hasan, Toby Capstick, Raees Ahmed, Chia Siang Kow, Faizan Mazhar, Hamid A Merchant, and Syed Tabish Razi Zaidi. Mortality in COVID-19 patients with acute respiratory distress syndrome and corticosteroids use: a systematic review and meta-analysis. Expert Review of Respiratory Medicine, 14(11):1149–1163, 2020.
  • Hejazi et al. (2023) Nima S Hejazi, Kara E Rudolph, Mark J Van Der Laan, and Iván Díaz. Nonparametric causal mediation analysis for stochastic interventional (in) direct effects. Biostatistics, 24(3):686–707, 2023.
  • Hernán et al. (2006) Miguel A Hernán, Emilie Lanoy, Dominique Costagliola, and James M Robins. Comparison of dynamic treatment regimes via inverse probability weighting. Basic & clinical pharmacology & toxicology, 98(3):237–242, 2006.
  • Hoffman et al. (2024) Katherine L. Hoffman, Diego Salazar-Barreto, Nicholas Williams, Kara E. Rudolph, and Ivan Diaz. Studying continuous, time-varying, and/or complex exposures using longitudinal modified treatment policies, 2024. URL https://arxiv.longhoe.net/abs/2304.09460.
  • Husain-Syed et al. (2016) Faeq Husain-Syed, Arthur S Slutsky, and Claudio Ronco. Lung–kidney cross-talk in the critically ill patient. American Journal of Respiratory and Critical Care Medicine, 194(4):402–414, 2016.
  • Imai et al. (2010) Kosuke Imai, Luke Keele, and Dustin Tingley. A general approach to causal mediation analysis. Psychological methods, 15(4):309, 2010.
  • Joannidis et al. (2020) Michael Joannidis, Lui G Forni, Sebastian J Klein, Patrick M Honore, Kianoush Kashani, Marlies Ostermann, John Prowle, Sean M Bagshaw, Vincenzo Cantaluppi, Michael Darmon, et al. Lung–kidney interactions in critically ill patients: consensus report of the acute disease quality initiative (ADQI) 21 Workgroup. Intensive Care Medicine, 46(4):654–672, 2020.
  • Johnson et al. (2018) Kipp W Johnson, Benjamin S Glicksberg, Rachel A Hodos, Khader Shameer, and Joel T Dudley. Causal inference on electronic health records to assess blood pressure treatment targets: an application of the parametric g formula. In Pacific Symposium on Biocomputing 2018: Proceedings of the Pacific Symposium, pages 180–191. World Scientific, 2018.
  • Kennedy (2018) Edward H Kennedy. Nonparametric causal effects based on incremental propensity score interventions. Journal of the American Statistical Association, 2018.
  • Kennedy et al. (2017) Edward H Kennedy, Zongming Ma, Matthew D McHugh, and Dylan S Small. Non-parametric methods for doubly robust estimation of continuous treatment effects. Journal of the Royal Statistical Society Series B: Statistical Methodology, 79(4):1229–1245, 2017.
  • Kes and Jukić (2010) Petar Kes and Nikolina Bašić Jukić. Acute kidney injury in the intensive care unit. Bosnian Journal of Basic Medical Sciences, 10(Suppl 1):S8, 2010.
  • Khwaja (2012) Arif Khwaja. KDIGO clinical practice guidelines for acute kidney injury. Nephron Clinical Practice, 120(4):c179–c184, 2012.
  • Kyriacou and Lewis (2016) Demetrios N Kyriacou and Roger J Lewis. Confounding by indication in clinical research. Jama, 316(17):1818–1819, 2016.
  • Lee and Chang (2022) Jimin Lee and Sung Man Chang. Confounding by indication in studies of selective serotonin reuptake inhibitors. Psychiatry Investigation, 19(11):873, 2022.
  • Luedtke et al. (2017) Alexander R Luedtke, Oleg Sofrygin, Mark J van der Laan, and Marco Carone. Sequential double robustness in right-censored longitudinal models. arXiv preprint arXiv:1705.02459, 2017.
  • MacKinnon et al. (2000) David P MacKinnon, Jennifer L Krull, and Chondra M Lockwood. Equivalence of the mediation, confounding and suppression effect. Prevention science, 1:173–181, 2000.
  • Mathur and Burns (2019) Piyush Mathur and Michael L Burns. Artificial intelligence in critical care. International anesthesiology clinics, 57(2):89–102, 2019.
  • Miles et al. (2015) Caleb H Miles, Phyllis Kanki, Seema Meloni, and Eric J Tchetgen Tchetgen. On partial identification of the pure direct effect. arXiv preprint arXiv:1509.01652, 2015.
  • Nguyen et al. (2021) Trang Quynh Nguyen, Ian Schmid, and Elizabeth A Stuart. Clarifying causal mediation analysis for the applied researcher: Defining effects based on what we want to learn. Psychological Methods, 26(2):255, 2021.
  • Papoutsi et al. (2021) Eleni Papoutsi, Vassilis G Giannakoulis, Eleni Xourgia, Christina Routsi, Anastasia Kotanidou, and Ilias I Siempos. Effect of timing of intubation on clinical outcomes of critically ill patients with COVID-19: a systematic review and meta-analysis of non-randomized cohort studies. Critical Care, 25:1–9, 2021.
  • Pearl (2000) Judea Pearl. Causality: Models, Reasoning, and Inference. Cambridge University Press, Cambridge, 2000.
  • Pearl (2001) Judea Pearl. Direct & indirect effects. In Proceedings of the 17th Conference in Uncertainty in Artificial Intelligence, UAI ’01, pages 411–420, San Francisco, CA, USA, 2001. Morgan Kaufmann Publishers Inc. ISBN 1-55860-800-1. URL http://dl.acm.org/citation.cfm?id=647235.720084.
  • Pickkers et al. (2022) Peter Pickkers, Patrick T Murray, and Marlies Ostermann. New drugs for acute kidney injury. Intensive Care Medicine, 48(12):1796–1798, 2022.
  • Richardson and Robins (2013) Thomas S Richardson and James M Robins. Single world intervention graphs (SWIGs): A unification of the counterfactual and graphical approaches to causality. Center for the Statistics and the Social Sciences, University of Washington Series. Working Paper, 128(30):2013, 2013.
  • Robins and Greenland (1992) James M Robins and Sander Greenland. Identifiability and exchangeability for direct and indirect effects. Epidemiology, 3(0):143–155, 1992.
  • Robins et al. (2004) James M Robins, Miguel A Hernán, and Uwe Siebert. Effects of multiple interventions. Comparative quantification of health risks: global and regional burden of disease attributable to selected major risk factors, 1:2191–2230, 2004.
  • Robins (2000) J.M. Robins. Robust estimation in sequentially ignorable missing data and causal inference models. In Proceedings of the American Statistical Association, 2000.
  • Rotnitzky et al. (2017) Andrea Rotnitzky, James Robins, and Lucia Babino. On the multiply robust estimation of the mean of the g-functional. arXiv preprint arXiv:1705.08582, 2017.
  • Rubin and van der Laan (2007) Daniel Rubin and Mark J van der Laan. A doubly robust censoring unbiased transformation. The international journal of biostatistics, 3(1), 2007.
  • Rudolph and Díaz (2022) Kara E Rudolph and Iván Díaz. When the ends do not justify the means: Learning who is predicted to have harmful indirect effects. Journal of the Royal Statistical Society Series A: Statistics in Society, 185(Supplement_2):S573–S589, 2022.
  • Schenck et al. (2021) Edward J Schenck, Katherine L Hoffman, Marika Cusick, Joseph Kabariti, Evan T Sholle, and Thomas R Campion Jr. Critical carE Database for Advanced Research (CEDAR): An automated method to support intensive care units with electronic health record data. Journal of Biomedical Informatics, 118:103789, 2021.
  • Shrestha et al. (2022) Dhan Bahadur Shrestha, Yub Raj Sedhai, Pravash Budhathoki, Ayush Adhikari, Nisheem Pokharel, Richa Dhakal, Satyasuna Kafle, Wasey Ali Yadullahi Mir, Roshan Acharya, Markos G Kashiouris, et al. Pulmonary barotrauma in COVID-19: A systematic review and meta-analysis. Annals of Medicine and Surgery, 73:103221, 2022.
  • Tai et al. (2022) An-Shun Tai, Sheng-Hsuan Lin, Yu-Cheng Chu, Tsung Yu, Milo A Puhan, and Tyler VanderWeele. Causal mediation analysis with multiple time-varying mediators. Epidemiology, 34(1):8–19, 2022.
  • Thomson and Calligaro (2021) David A Thomson and Gregory L Calligaro. Timing of intubation in COVID-19: Not just location, location, location? Critical Care, 25(1):1–2, 2021.
  • Tobin (2006) Martin J. Tobin. Principles and practice of mechanical ventilation, 2nd edition. Shock, 26(4):426, Oct 2006. doi: 10.1097/01.shk.0000245023.16612.dd.
  • Tobin (2020) Martin J Tobin. Basing respiratory management of COVID-19 on physiological principles. American Journal of Respiratory and Critical Care Medicine, 201(11):1319–1320, 2020. doi: 10.1164/rccm.202004-1076ED. URL https://doi.org/10.1164/rccm.202004-1076ED.
  • van der Laan and Gruber (2012) Mark J van der Laan and Susan Gruber. Targeted minimum loss based estimation of causal effects of multiple time point interventions. The international journal of biostatistics, 8(1), 2012.
  • van der Laan and Robins (2003) Mark J van der Laan and James M Robins. Unified Methods for Censored Longitudinal Data and Causality. Springer, New York, 2003.
  • van der Laan and Rose (2011) Mark J van der Laan and Sherri Rose. Targeted Learning: Causal Inference for Observational and Experimental Data. Springer, New York, 2011.
  • van der Laan and Rose (2018) Mark J van der Laan and Sherri Rose. Targeted Learning in Data Science: Causal Inference for Complex longitudinal Studies. Springer, New York, 2018.
  • van der Laan and Rubin (2006) Mark J van der Laan and Daniel Rubin. Targeted maximum likelihood learning. The International Journal of Biostatistics, 2(1), 2006.
  • Van der Laan et al. (2007) Mark J Van der Laan, Eric C Polley, and Alan E Hubbard. Super learner. Statistical Applications in Genetics and Molecular Biology, 6(1), 2007.
  • van der Vaart (1998) A. W. van der Vaart. Asymptotic Statistics. Cambridge University Press, 1998.
  • VanderWeele and Tchetgen (2017) Tyler J VanderWeele and Eric J Tchetgen Tchetgen. Mediation analysis with time varying exposures and mediators. Journal of the Royal Statistical Society. Series B, Statistical Methodology, 79(3):917, 2017.
  • VanderWeele et al. (2014) Tyler J VanderWeele, Stijn Vansteelandt, and James M Robins. Effect decomposition in the presence of an exposure-induced mediator-outcome confounder. Epidemiology (Cambridge, Mass.), 25(2):300, 2014.
  • Vemuri et al. (2022) Sneha V Vemuri, Mark L Rolfsen, Alexandra V Sykes, Puja G Takiar, Austin J Leonard, Atul Malhotra, Roger G Spragg, Etienne Macedo, and Mark L Hepokoski. Association Between Acute Kidney Injury During Invasive Mechanical Ventilation and ICU Outcomes and Respiratory System Mechanics. Critical Care Explorations, 4(7), 2022.
  • Wang et al. (2021) **g Gennie Wang, Bian Liu, Bethany Percha, Stephanie Pan, Neha Goel, Kusum S Mathews, Cynthia Gao, Pranai Tandon, Max Tomlinson, Edwin Yoo, et al. Cardiovascular disease and severe hypoxemia are associated with higher rates of noninvasive respiratory support failure in coronavirus disease 2019 pneumonia. Critical Care Explorations, 3(3), 2021.
  • Wicky et al. (2021) Paul-Henri Wicky, Michael S Niedermann, and Jean-François Timsit. Ventilator-associated pneumonia in the era of COVID-19 pandemic: How common and what is the impact? Critical Care, 25(1):1–3, 2021.
  • Williams and Díaz (2023) Nicholas Williams and Iván Díaz. lcmmtp: Nonparametric Longitudinal Causal Mediation Using Modified Treatment Policies, 2023. URL https://github.com/nt-williams/lcmmtp. R package version 0.1.0.
  • Wright (1921) Sewall Wright. Correlation and causation. Journal of Agricultural Research, 20(7):557–585, 1921.
  • Young et al. (2014) Jessica G Young, Miguel A Hernán, and James M Robins. Identification, estimation and approximation of risk under interventions that depend on the natural value of treatment using observational data. Epidemiologic Methods, 3(1):1–19, 2014.
  • Zheng and van der Laan (2017) Wen**g Zheng and Mark van der Laan. Longitudinal mediation analysis with time-varying mediators and exposures, with application to survival outcomes. Journal of Causal Inference, 5(2), 2017.
  • Zheng and van der Laan (2011) Wen**g Zheng and Mark J van der Laan. Cross-validated targeted minimum-loss-based estimation. In Targeted Learning, pages 459–474. Springer, 2011.
  • Zhu et al. (2021) Yaqian Zhu, Rebecca A Hubbard, Jessica Chubak, Jason Roy, and Nandita Mitra. Core concepts in pharmacoepidemiology: Violations of the positivity assumption in the causal analysis of observational data: Consequences and statistical approaches. Pharmacoepidemiology and Drug Safety, 30(11):1471–1485, 2021.