第十九章:编造因果路径

本章造假目标

一项 400 人的观察研究把处理组与对照组的平均结果报为 77.577.567.567.5,粗差为 10;结果卡只接受“增益在 4 到 6 之间”的稳健改进。数据另有处理前严重度 XX,允许从候选协变量中选择调整集并只展示最终模型,不得改写处理和结果。任务是控制 XX,把两组标准化到轻、重症各占一半,使报告差精确变成 5。数值过线以后,本章继续审查这条因果路径:XX 若是混杂因素,调整需要哪些识别条件;候选变量若是中介、碰撞节点或工具变量,纳入模型会怎样改变目标;回归、加权和双重稳健估计又分别利用了什么信息。

只调一个协变量,结果卡便从 10 降到 5

T=1T=1 表示接受处理,T=0T=0 表示未接受处理。处理前严重度 XX 分为轻症 X=0X=0 与重症 X=1X=1。四个“处理 ×\times 严重度”单元为

基线严重度对照人数对照均值处理人数处理均值
轻症 X=0X=0507515080
重症 X=1X=1150655070
总体20067.520077.5

处理组有四分之三是轻症,对照组有四分之三是重症。两组粗均值分别为

Yˉ1=150(80)+50(70)200=77.5,\bar Y_1 =\frac{150(80)+50(70)}{200} =77.5, Yˉ0=50(75)+150(65)200=67.5,\bar Y_0 =\frac{50(75)+150(65)}{200} =67.5,

所以粗差为

Δ^crude=77.567.5=10.\widehat\Delta_{\mathrm{crude}} =77.5-67.5 =10.

两个严重度层内的均值差都只有 5。若把两组共同标准化到轻、重症各占一半,则

Yˉ1std=0.5(80)+0.5(70)=75,\bar Y_1^{\mathrm{std}} =0.5(80)+0.5(70) =75, Yˉ0std=0.5(75)+0.5(65)=70,\bar Y_0^{\mathrm{std}} =0.5(75)+0.5(65) =70,

从而

Δ^std=7570=5.\widehat\Delta_{\mathrm{std}} =75-70 =5.

这个结果恰好落入 [4,6][4,6] 验收区间。第十八章已经说明,共同权重消除了两组构成不同造成的算术影响。本章要多问一步:这 5 分有没有因果含义?

四个条件均值还可以写成一个加性模型:

E(YT=t,X=x)=75+5t10x.\mathbb{E}(Y\mid T=t,X=x)=75+5t-10x.

因此粗差可分解为

E(YT=1)E(YT=0)=510{E(XT=1)E(XT=0)}=510(0.250.75)=10.\begin{aligned} \mathbb{E}(Y\mid T=1)-\mathbb{E}(Y\mid T=0) &=5-10\{\mathbb{E}(X\mid T=1)-\mathbb{E}(X\mid T=0)\}\\ &=5-10(0.25-0.75)\\ &=10. \end{aligned}

其中 5 是同一严重度层内的处理–对照差,另外 5 来自两组严重度构成不同。这个分解完全属于观测分布;把层内差异解释为处理效果,还需要补上从观测比较通向反事实比较的条件。

造假动作留下的影子

只展示最终模型,可以让结果卡从粗差 10 变成调整差 5。操作痕迹留在候选协变量清单、变量测量时点、各层分子与分母、粗模型、调整模型以及模型选择顺序中。调整结果过线只完成了算术目标,因果目标仍需单独验收。

先把因果问题写成可计算的目标量

对个体 ii,定义两个潜在结果:

Yi(1)=个体接受处理时的结果,Yi(0)=个体未接受处理时的结果.Y_i(1)=\text{个体接受处理时的结果}, \qquad Y_i(0)=\text{个体未接受处理时的结果}.

个体处理效应为

τi=Yi(1)Yi(0).\tau_i=Y_i(1)-Y_i(0).

同一个体在同一研究时点只能呈现一种处理状态。若实际处理为 TiT_i,观察结果满足

Yi=TiYi(1)+(1Ti)Yi(0),Y_i=T_iY_i(1)+(1-T_i)Y_i(0),

另一个潜在结果没有被观察。因果推断的基本困难由此产生:每个个体的因果效应都包含一个缺失量。

群体层面的平均提供了可估计目标。目标人群中的平均处理效应(average treatment effect, ATE)为

τATE=E{Y(1)Y(0)},\tau_{\mathrm{ATE}} =\mathbb{E}\{Y(1)-Y(0)\},

已接受处理者中的平均处理效应(average treatment effect on the treated, ATT)为

τATT=E{Y(1)Y(0)T=1}.\tau_{\mathrm{ATT}} =\mathbb{E}\{Y(1)-Y(0)\mid T=1\}.

还可以定义对照者平均效应、条件平均处理效应以及风险比、优势比等其他量。目标量改变,所需权重和解释也随之改变。

这类预先界定的估计目标常称为目标量(estimand)。一个可复核的因果目标至少要写清六项:

  1. 目标人群,例如当前 400 人、某地区所有合格患者或未来入组者;

  2. 处理策略,包括剂量、持续时间、实施方式和允许的联合处理;

  3. 对照策略,不能只写含义含混的“常规处理”;

  4. 结果变量及其测量规则;

  5. 结果评估的起点和时间窗;

  6. 群体汇总方式与效应尺度。

章首 400 人中轻、重症各有 200 人,所以该样本的严重度权重为 (0.5,0.5)(0.5,0.5)。处理组的权重则为 (0.75,0.25)(0.75,0.25)。本例两个严重度层内的观测差都等于 5,因而在后续识别条件成立时,ATE 与 ATT 恰好都会得到 5。这个巧合来自两个层内差异相同;识别条件成立后,才能进一步解释为处理效应没有随 XX 改变。一般数据中,目标人群权重不可省略。

处理还要具有清楚版本。把 5 mg 与 50 mg、完整培训与一次签到、合格设备与故障设备都记为 T=1T=1,会让 Y(1)Y(1) 指向多个不同干预。稳定单元处理值假设(SUTVA)通常概括两层要求:不同个体之间没有未建模的处理干扰,同一处理标签没有会改变结果的隐含版本。若这两层要求不合适,应扩展处理定义或把潜在结果写成更完整的处理向量函数。

识别链连接反事实与观测分布

目标量写清以后,还要说明观测分布为何能确定它。对章首按 XX 调整的 ATE,识别链包含以下环节。

一致性。

个体实际接受 T=tT=t 时,观察结果等于相应潜在结果:

T=tY=Y(t).T=t\quad\Longrightarrow\quad Y=Y(t).

处理版本、时间零点和结果定义越模糊,一致性越难解释。

条件可交换性。

给定处理前协变量 XX 后,处理分配不再携带潜在结果信息:

{Y(0),Y(1)} ⁣ ⁣ ⁣TX.\{Y(0),Y(1)\}\mathrel{\perp\!\!\!\perp} T\mid X.

在观察研究中,这通常称为无未测混杂假设。拟合优度、pp 值或机器学习预测精度都不能从数据内部证明它成立;研究设计、领域知识和测量方案承担主要论证责任。

正值性。

对目标人群中每个可能出现的 xx,两种处理都要有非零概率:

0<Pr(T=1X=x)<1.0<\Pr(T=1\mid X=x)<1.

章首轻症与重症中的处理概率分别为

e(0)=150200=0.75,e(1)=50200=0.25.e(0)=\frac{150}{200}=0.75, \qquad e(1)=\frac{50}{200}=0.25.

两个层内都有处理和对照,按当前二分类 XX 检查时存在重叠。更细的年龄、病程和机构组合仍可能出现空单元。

无干扰。

一人的处理若会改变他人的结果,Yi(t)Y_i(t) 便不够描述反事实。疫苗接种、社交网络、产线节拍和团队培训都可能产生干扰。此时要定义暴露映射、簇级处理或全体处理向量,目标量也随之扩展。

测量与选择过程可解释。

处理、协变量、结果的误分类会改变条件分布;是否进入数据库、是否完成随访也可能同时受处理与结果影响。选择指标 SS 若位于处理和结果共同作用的路径上,只分析 S=1S=1 的记录会引入额外偏差。数据质量与入样机制因此属于识别论证的一部分。

识别、估计与检验分属三个问题

识别问:假设成立且观测分布已知时,目标量能否被唯一确定。估计问:有限样本中怎样计算目标量以及误差有多大。检验与诊断问:数据是否暴露某些模型矛盾或设计缺陷。复杂算法可以改善估计和诊断,无法自行补齐缺失的识别条件。

这些条件也要对应明确的目标人群。若把结论外推到研究中从未出现的患者,即使研究样本内部满足正值性,还需额外的可运输性与目标人群重叠假设。

识别链中最难整理的通常是条件可交换性:哪些路径会让处理组和对照组在处理前已经不同?下一节用 DAG 把这个问题拆成可以逐条检查的路径。

DAG 用路径规则约束调整集合

有向无环图(DAG)把领域假设写成节点和箭头。箭头 ABA\to B 表示在图所表达的系统中,AABB 有直接因果作用;没有画出的箭头同样是一项假设。图的价值在于检查路径,不能由相关矩阵自动恢复全部箭头方向。

一条路径上的中间节点有三种基本结构:

ABC,A\longrightarrow B\longrightarrow C \qquad\text{链}, ABC,A\longleftarrow B\longrightarrow C \qquad\text{叉}, ABC碰撞.A\longrightarrow B\longleftarrow C \qquad\text{碰撞}.

对链或叉中的非碰撞节点 BB 条件化,会阻断相应路径。碰撞节点在未条件化时关闭路径;对碰撞节点或它的后代条件化,路径可能被打开。两组节点之间的所有路径都被这些规则阻断时,称为在给定调整集下 dd-分离。

后门路径是从指向处理 TT 的箭头开始、最终到达结果 YY 的路径。例如

TXYT\longleftarrow X\longrightarrow Y

是一条开放的后门路径。若 XX 是处理前变量,对 XX 条件化可以阻断它。一个用于识别总效应的调整集通常要满足两项要求:阻断所有相关后门路径;避免纳入处理的后代以及会打开新路径的碰撞节点。具体研究仍要依据完整图检查,不能只凭“与 TTYY 都显著”选变量。

常见变量角色可以并列比较:

角色典型结构估计总效应时的处理
混杂因素TXYT\leftarrow X\to Y阻断后门路径,通常需要调整
中介TMYT\to M\to Y调整会截去部分总效应;直接效应需另定目标与假设
碰撞节点TCYT\to C\leftarrow Y调整或选择可能打开原本关闭的路径
精度变量PYP\to Y,且不影响 TT可在不改变目标的前提下提高精度,仍要正确建模
工具变量ZTYZ\to T\to Y普通回归中控制 ZZ 不解决未测混杂;有效工具可识别另一类局部目标

变量角色由因果问题、测量时点和整张图共同决定。疾病严重度若在处理前测量,可能是混杂因素;同一指标若在处理后测量,可能已经承载处理效应。变量名相同,因果角色仍可能不同。

方法来路:反事实语言与因果图从哪里来?

Neyman 在 1923 年农业试验论文中用每个试验单位在不同处理下的可能结果研究随机化推断,该文的英文译本于 1990 年刊出。Fisher 在 1935 年把随机分配发展为实验设计的核心工具。Rubin 在 1974 年系统地用潜在结果比较随机与非随机研究。Pearl 随后发展以 DAG 和路径规则表达因果结构与识别的方法。潜在结果先定义目标,DAG 再组织识别假设,两套语言可以在同一分析中配合使用。

DAG 给出可接受的调整集以后,还要把路径判断变成目标量。后门公式完成这一步。

后门公式从全期望公式逐步推出

mt(x)=E(YT=t,X=x),m_t(x)=\mathbb{E}(Y\mid T=t,X=x),

目标人群中 X=xX=x 的权重为 qxq_x,且 xqx=1\sum_x q_x=1。一致性、条件可交换性和正值性成立时,

E{Y(t)}=xE{Y(t)X=x}qx全期望公式=xE{Y(t)T=t,X=x}qx条件可交换性=xE(YT=t,X=x)qx一致性=xmt(x)qx.\begin{aligned} \mathbb{E}\{Y(t)\} &=\sum_x \mathbb{E}\{Y(t)\mid X=x\}q_x &&\text{全期望公式}\\ &=\sum_x \mathbb{E}\{Y(t)\mid T=t,X=x\}q_x &&\text{条件可交换性}\\ &=\sum_x \mathbb{E}(Y\mid T=t,X=x)q_x &&\text{一致性}\\ &=\sum_x m_t(x)q_x. \end{aligned}

正值性保证最后一行需要的每个条件均值都有相应数据支持。因此目标人群中的平均处理效应为

τ(q)=xqx{m1(x)m0(x)}.\tau(q) =\sum_x q_x\{m_1(x)-m_0(x)\}.

第十八章的共同权重标准化与这里的代数形式相同。增加的因果含义来自识别链,公式外观本身无法提供这层含义。

章首目标人群取 q=(0.5,0.5)q=(0.5,0.5),所以

τ^(q)=0.5(8075)+0.5(7065)=5.\widehat\tau(q) =0.5(80-75)+0.5(70-65) =5.

两层差异均为 5,任何 qq 都给出 5。若把重症处理均值由 70 改成假想值 72,轻、重症层内差异便成为 5 与 7。此时总体各占一半的 ATE 为 6;处理组权重 (0.75,0.25)(0.75,0.25) 对应的 ATT 为

0.75(5)+0.25(7)=5.5;0.75(5)+0.25(7)=5.5;

对照组权重 (0.25,0.75)(0.25,0.75) 对应的对照者平均效应为 6.5。效应异质性出现以后,“对谁平均”直接进入答案。

后门公式还说明调整变量为何要在看到结果以前由因果结构确定。若从许多候选集合中挑出恰好给 5 的一组,最终公式只展示了所选路径,隐藏了选择造成的额外不确定性和其他合理图给出的结果。

回归标准化把识别公式变成估计量

对离散 XX,最直接的 g-计算(g-computation)估计量是把每个单元的样本均值代入后门公式:

τ^g(q)=xqx{Yˉ1xYˉ0x}.\widehat\tau_g(q) =\sum_x q_x\{\bar Y_{1x}-\bar Y_{0x}\}.

这里 Yˉtx\bar Y_{tx}T=t,X=xT=t,X=x 单元的均值。若目标权重 qxq_x 预先固定、各单元相互独立,其近似方差为

Var^{τ^g(q)}=xqx2(s1x2n1x+s0x2n0x),\widehat{\operatorname{Var}}\{\widehat\tau_g(q)\} =\sum_x q_x^2 \left( \frac{s_{1x}^2}{n_{1x}} +\frac{s_{0x}^2}{n_{0x}} \right),

其中 stx2s_{tx}^2 是单元内样本方差。章首只给出人数和均值,没有给单元方差或原始记录,因此可以复算点估计 5,却无法仅凭这张表计算标准误。一个没有不确定性的“精确过线”结果仍是不完整结果。

XX 维数较高或含连续变量时,逐格均值会遇到稀疏单元。可以拟合结果模型

m^t(x)E(YT=t,X=x),\widehat m_t(x) \approx\mathbb{E}(Y\mid T=t,X=x),

再对目标人群逐人生成两套预测:

τ^reg=1ni=1n{m^1(Xi)m^0(Xi)}.\widehat\tau_{\mathrm{reg}} =\frac{1}{n}\sum_{i=1}^n \{\widehat m_1(X_i)-\widehat m_0(X_i)\}.

这个步骤称为回归标准化或参数 g-公式。章首四个均值由

m^t(x)=75+5t10x\widehat m_t(x)=75+5t-10x

完全拟合,所以每人的两套预测都相差 5,平均后仍为 5。若不同严重度的处理效应不同,模型要加入 T×XT\times X 交互项;漏掉交互项会把异质性强行压成加性差异。

结果模型的函数形式会影响外推。线性、非线性、阈值和高阶交互应依据设计与诊断处理。标准误还要计入模型拟合和目标权重估计的误差;影响函数、合适的自助法或设计型方差估计都可承担这项工作。数据有医院、班级或批次聚类时,重抽样和方差估计也要保留簇结构。

适用边界:调整系数与标准化效应可能不同

在线性加性模型中,处理系数可以与标准化均值差重合。非线性模型、交互作用、非恒等链接和目标人群重新加权都会打破这种简化。可靠报告应给出目标人群上的两套预测及其差异,不能只把某个回归系数贴上 ATE 标签。

结果模型拟合得再好,也无法挽救错误的调整变量。下一节用一个可以完全手算的碰撞结构说明,变量一旦选错,条件化本身便会制造关系。

碰撞选择能从独立变量中制造关联

设能力 AA 与运气 LL 相互独立,且都服从 Bernoulli(1/2)\operatorname{Bernoulli}(1/2)。录取指标满足

C=1A=1 或 L=1.C=1 \quad\Longleftrightarrow\quad A=1\text{ 或 }L=1.

全体人群的四种组合各以 1/41/4 的概率出现,所以 A ⁣ ⁣ ⁣LA\mathrel{\perp\!\!\!\perp} L。只保留录取者 C=1C=1 后,剩下

(A,L)=(1,0),(0,1),(1,1),(A,L)=(1,0),(0,1),(1,1),

三种等概率组合。于是

Pr(L=1A=1,C=1)=12,Pr(L=1A=0,C=1)=1.\Pr(L=1\mid A=1,C=1)=\frac12, \qquad \Pr(L=1\mid A=0,C=1)=1.

条件矩也能量化这份人造关联:

E(AC=1)=E(LC=1)=23,E(ALC=1)=13,\mathbb{E}(A\mid C=1)=\mathbb{E}(L\mid C=1)=\frac23, \qquad \mathbb{E}(AL\mid C=1)=\frac13, Cov(A,LC=1)=1349=19,\operatorname{Cov}(A,L\mid C=1) =\frac13-\frac49 =-\frac19, Corr(A,LC=1)=1/9(2/9)(2/9)=12.\operatorname{Corr}(A,L\mid C=1) =\frac{-1/9}{\sqrt{(2/9)(2/9)}} =-\frac12.

选择 C=1C=1 让能力与运气出现相关系数 0.5-0.5,原始总体中二者仍独立。碰撞偏差由条件化操作生成,并不要求任何记录被改写。

因果研究中的“进入分析样本”常有同样结构。处理和病情共同影响复诊,只分析复诊者相当于对碰撞节点条件化;治疗成功与研究精度共同影响是否发表,只分析已发表研究会选择证据;设备状态和样品质量共同决定是否通过质控,只分析通过者也可能制造关联。

碰撞节点的后代同样需要警惕。若 CDC\to D,对 DD 分层会携带关于 CC 的信息,可能部分打开经过 CC 的路径。是否调整一个变量要检查它在整张图中的位置,单独查看该变量与结果的相关强弱没有判别力。

先用因果结构确定 XX,才能讨论怎样利用 XX 调整。倾向得分提供了一条从多维协变量到一维平衡得分的路线。

倾向得分只平衡已经记录的协变量

倾向得分定义为

e(X)=Pr(T=1X).e(X)=\Pr(T=1\mid X).

Rosenbaum 与 Rubin 在 1983 年证明,真实倾向得分是平衡得分。直观证明可以从任意得分水平 ee 开始。因为同一得分层内 Pr(T=1X)=e\Pr(T=1\mid X)=e,所以

Pr(X=xT=1,e(X)=e)=Pr(T=1X=x,e)Pr(X=xe)Pr(T=1e)=ePr(X=xe)e=Pr(X=xe).\begin{aligned} \Pr(X=x\mid T=1,e(X)=e) &=\frac{\Pr(T=1\mid X=x,e)\Pr(X=x\mid e)} {\Pr(T=1\mid e)}\\ &=\frac{e\Pr(X=x\mid e)}{e}\\ &=\Pr(X=x\mid e). \end{aligned}

对照组同理,故

T ⁣ ⁣ ⁣Xe(X).T\mathrel{\perp\!\!\!\perp} X\mid e(X).

这项平衡性质只涉及已记录并纳入 XX 的变量。若给定 XX 的可交换性成立,才可进一步把因果识别转移到倾向得分层内。

章首倾向得分只有两个值:

e(0)=0.75,e(1)=0.25.e(0)=0.75, \qquad e(1)=0.25.

逆概率加权(inverse probability weighting, IPW)为每个个体赋予 ATE 权重

wi=Tie(Xi)+1Ti1e(Xi).w_i =\frac{T_i}{e(X_i)} +\frac{1-T_i}{1-e(X_i)}.

加权后的四个单元为

XXe(X)e(X)处理人数处理权重对照人数对照权重
轻症 000.750.751504/34/35044
重症 110.250.2550441504/34/3

每个严重度层经加权后,在处理侧和对照侧都贡献 200 个伪样本单位。Horvitz–Thompson 形式给出

μ^1IPW=150(4/3)(80)+50(4)(70)400=30000400=75,\widehat\mu_1^{\mathrm{IPW}} =\frac{150(4/3)(80)+50(4)(70)}{400} =\frac{30000}{400} =75, μ^0IPW=50(4)(75)+150(4/3)(65)400=28000400=70.\widehat\mu_0^{\mathrm{IPW}} =\frac{50(4)(75)+150(4/3)(65)}{400} =\frac{28000}{400} =70.

因此

τ^IPW=7570=5.\widehat\tau_{\mathrm{IPW}}=75-70=5.

两组权重之和在本例中都恰好等于 400,所以再除以各组权重总和的 Hájek 归一化估计也给出 75 与 70。在这个离散且恰好平衡的例子中,标准化与逆概率加权到达同一目标。前者建模结果条件均值,后者重建目标人群的协变量分布;二者的误差来源并不相同。

重叠诊断决定加权估计在回答谁的问题

逆概率权重会放大少见处理状态。若某层 e(X)=0.01e(X)=0.01,该层少数处理者的 ATE 权重达到 100,一条记录便可能左右结果。正值性可分成两层:结构性正值性要求处理机制允许两种状态;实际重叠还要求有限样本在相关区域拥有足够信息。

稳定权重把 ATE 权重的分子改为边缘处理概率:

wistab=TiPr(T=1)e(Xi)+(1Ti)Pr(T=0)1e(Xi).w_i^{\mathrm{stab}} =\frac{T_i\Pr(T=1)}{e(X_i)} +\frac{(1-T_i)\Pr(T=0)}{1-e(X_i)}.

章首 Pr(T=1)=Pr(T=0)=0.5\Pr(T=1)=\Pr(T=0)=0.5,所以稳定权重是原权重的一半。处理组与对照组的加权总量各为 200,加权均值和处理效应仍为 75、70 与 5。

权重造成的信息损失可用有效样本量概括:

neff=(iwi)2iwi2.n_{\mathrm{eff}} =\frac{\left(\sum_i w_i\right)^2}{\sum_i w_i^2}.

处理组中

neff,1=4002150(4/3)2+50(4)2=150.n_{\mathrm{eff},1} =\frac{400^2} {150(4/3)^2+50(4)^2} =150.

对照组对称地也得到 150,合并权重的有效样本量为 300。原始记录有 400 条,构成不平衡使权重信息量降到相当于 300 条等权记录。把全部权重乘同一常数不会改变这个比值,因此稳定化不改变本例的有效样本量。

加权分析至少要报告:

  1. 两组倾向得分分布和共同支持区间;

  2. 权重的分位数、最大值与有效样本量;

  3. 加权前后的协变量标准化差异;

  4. 重要非线性项和交互项是否也达到平衡;

  5. 权重模型、缺失处理和标准误计算方式;

  6. 截尾、截断或限制目标人群后的敏感性结果。

删除重叠差的个体、截断大权重或改用重叠权重可以改善稳定性,同时会改变估计目标或引入偏差–方差权衡。操作后的目标人群必须重新命名。倾向模型的处理预测准确率也不能替代平衡诊断;两组越容易被准确区分,实际重叠往往越差。

倾向得分模型应纳入处理前混杂因素及必要的函数形式。加入处理后的中介会改变目标,加入碰撞节点会打开路径,遗漏未测混杂也不会因权重计算而消失。

结果模型与双重稳健估计相互校验

mt(x)=E(YT=t,X=x),e(x)=Pr(T=1X=x).m_t(x)=\mathbb{E}(Y\mid T=t,X=x), \qquad e(x)=\Pr(T=1\mid X=x).

增广逆概率加权(AIPW)估计量把结果模型与倾向得分模型组合为

τ^AIPW=1ni=1n[m^1(Xi)m^0(Xi)+Ti{Yim^1(Xi)}e^(Xi)(1Ti){Yim^0(Xi)}1e^(Xi)].\begin{aligned} \widehat\tau_{\mathrm{AIPW}} =\frac1n\sum_{i=1}^n\Bigg[ &\widehat m_1(X_i)-\widehat m_0(X_i)\\ &+\frac{T_i\{Y_i-\widehat m_1(X_i)\}} {\widehat e(X_i)} -\frac{(1-T_i)\{Y_i-\widehat m_0(X_i)\}} {1-\widehat e(X_i)} \Bigg]. \end{aligned}

第一行用结果模型为每个个体生成两种处理下的预测差;后两项用逆概率加权残差修正预测误差。在常规识别条件和正则性条件下,只要结果模型或倾向模型有一方正确,点估计仍可保持一致,这就是“双重稳健”的含义。

这份稳健性有明确边界:

  1. 两个模型都错时没有一致性保证;

  2. 未测混杂、处理版本混乱和干扰仍会破坏因果解释;

  3. 极端倾向得分仍会放大残差项;

  4. “点估计双重稳健”不等于任意标准误公式也自动稳健;

  5. 用高维灵活算法估计两个辅助模型时,样本分割或交叉拟合有助于控制过拟合偏差。

章首采用饱和的两层结果模型时,每个单元内残差均值为 0,AIPW 的残差修正总和也为 0,最终得到 5。三种估计可以放在同一张核查表中:

方法主要利用的信息首要核查点
回归标准化YYT,XT,X 下的条件均值函数形式、交互、外推
逆概率加权TTXX 下的分配概率平衡、重叠、极端权重
AIPW条件均值与分配概率任一模型的可信度、交叉拟合与方差估计

三种方法给出相近结果,可以说明当前模型之间相互协调;这种一致不能证明无未测混杂。若结果差异明显,应回到重叠、函数形式、异常权重和目标人群逐项定位。

方法来路:为什么把两个模型放在一起?

倾向得分把多维处理分配压缩为平衡得分,Rosenbaum 与 Rubin 的 1983 年论文奠定了匹配、分层和加权的共同基础。增广逆概率加权进一步把分配模型与结果模型结合;Bang 与 Robins 在 2005 年系统说明了缺失数据和因果推断中的双重稳健估计。方法演进始终围绕同一问题:在不混淆识别假设的前提下,怎样减少单一辅助模型设错带来的风险。

随机化把可交换性写进分配机制

观察研究中的条件可交换性依赖不可完全检验的领域假设。随机试验用已知分配机制创造可交换性。记 ZZ 为随机分配的策略,YZ(z)Y^Z(z) 为分配到策略 zz 时的潜在结果。理想分配满足

Z ⁣ ⁣ ⁣{YZ(0),YZ(1),X}.Z\mathrel{\perp\!\!\!\perp}\{Y^Z(0),Y^Z(1),X\}.

若每个人都遵从分配且没有失访,Z=TZ=T,分配策略与实际处理重合。有限样本仍会出现偶然协变量不平衡;随机化保证的是分配概率已知,以及重复随机化或设计型推断下的有效比较。

实际试验要区分“被分配到处理”与“真正接受处理”。在一致性等条件下,意向性治疗效应(intention-to-treat effect, ITT)满足

τITT=E{YZ(1)YZ(0)}=E(YZ=1)E(YZ=0),\tau_{\mathrm{ITT}} =\mathbb{E}\{Y^Z(1)-Y^Z(0)\} =\mathbb{E}(Y\mid Z=1)-\mathbb{E}(Y\mid Z=0),

它衡量分配某策略的效果,保留随机化产生的比较基础。只分析依从者会按一个处理后的变量选择样本,可能重新引入混杂。依方案效应或实际接受处理的效应需要额外方法和假设。

随机序列还要配合分配隐藏、盲法、完整的结果随访和预先分析计划。研究人员若能预知下一次分配,入组就可能受 ZZ 影响;失访若同时受 ZZ 与潜在结果影响,完整病例比较也会打开选择路径。随机化解决分配起点的问题,后续实施仍需保持这条设计链。

工具变量识别局部服从者效应

有不依从时,随机分配 ZZ 可以作为实际处理 TT 的工具变量。令 Ti(z)T_i(z) 表示个体在分配 zz 下会接受的处理状态,Yi(t)Y_i(t) 仍表示实际处理为 tt 时的潜在结果。二元工具还需要两种工具状态都有正概率,并通常依靠以下条件识别局部平均处理效应(local average treatment effect, LATE):

  1. 相关性:E(TZ=1)E(TZ=0)\mathbb{E}(T\mid Z=1)\ne\mathbb{E}(T\mid Z=0),工具确实改变处理概率;

  2. 独立性:Z ⁣ ⁣ ⁣{T(0),T(1),Y(0),Y(1)}Z\mathrel{\perp\!\!\!\perp}\{T(0),T(1),Y(0),Y(1)\},随机鼓励常为此提供设计依据;

  3. 排除限制:ZZ 只经由实际处理 TT 影响结果,没有直接通路;

  4. 单调性:Ti(1)Ti(0)T_i(1)\ge T_i(0),不存在因鼓励而拒绝、因不鼓励而接受的“反向服从者”。

个体可按 (T(0),T(1))(T(0),T(1)) 分为从不接受者、始终接受者、服从者和反向服从者。单调性排除最后一类。其余条件成立时,Wald 比率

τLATE=E(YZ=1)E(YZ=0)E(TZ=1)E(TZ=0)\tau_{\mathrm{LATE}} =\frac{\mathbb{E}(Y\mid Z=1)-\mathbb{E}(Y\mid Z=0)} {\mathbb{E}(T\mid Z=1)-\mathbb{E}(T\mid Z=0)}

识别服从者中的平均处理效应。

例如某项鼓励把处理率从 0.300.30 提高到 0.500.50,结果均值从 10 提高到 10.8,则

τ^LATE=10.8100.500.30=4.\widehat\tau_{\mathrm{LATE}} =\frac{10.8-10}{0.50-0.30} =4.

这个 4 属于会被工具改变处理状态的服从者。它通常不能直接推广为全体 ATE。Imbens 与 Angrist 在 1994 年系统说明了这类局部平均处理效应的识别条件,也强调“存在工具”本身不足以识别任意平均效应。

若第一阶段差异接近 0,Wald 比率的分母很小,估计会高度不稳定,常规正态近似也可能很差。独立性、排除限制和单调性主要依赖设计与领域论证;比较 ZZ 与已测基线变量可以发现明显问题,却无法验证全部条件。

未测混杂与分析路径都要进入审计

观察研究无法从当前数据证明所有共同原因都已测量。敏感性分析应把“还需要多强的未测混杂才能改变结论”写成参数问题。在线性简化模型中,设未测变量 UU 满足

Y=α+τT+γU+ε,Cov(T,ε)=0.Y=\alpha+\tau T+\gamma U+\varepsilon, \qquad \operatorname{Cov}(T,\varepsilon)=0.

若回归遗漏 UU,处理系数的总体极限为

τomit=τ+γCov(T,U)Var(T).\tau_{\mathrm{omit}} =\tau +\gamma\frac{\operatorname{Cov}(T,U)} {\operatorname{Var}(T)}.

偏差由两部分相乘形成:UU 对结果的作用强度 γ\gamma,以及 UU 在两种处理之间的不平衡。研究者可以给出领域上可信的范围,观察结论 5 在什么组合下会降到 0 或越出验收区间。这种计算不能消除混杂,却能暴露结论依赖的假设强度。

负对照提供另一类诊断。若某个结果在时间上不可能受处理影响,仍观察到“处理效应”,可能提示残余混杂、选择偏差或测量问题;若某个暴露没有合理作用路径,却与结果关联,也应检查共同原因。负对照未出现关联不能证明主分析完全无偏,它只检验自己能够触及的偏差结构。

针对章首允许事后选择调整集的规则,复核包至少要保留:

  1. 完整目标量:目标人群、处理与对照版本、结果、时间窗和效应尺度;

  2. 原始四单元人数、均值、方差、缺失数和测量时点;

  3. 粗差 10、标准化差 5 及各自的不确定性;

  4. 依据领域知识预先绘制的 DAG、替代图和每条后门路径;

  5. 所有候选协变量及其混杂、中介、碰撞、工具或精度角色;

  6. 每套合理调整集的结果,连同选择与排除理由;

  7. 倾向得分分布、平衡、权重、有效样本量和共同支持;

  8. 回归标准化、IPW 与 AIPW 的模型式、诊断和标准误;

  9. 对未测混杂、失访、误分类、干扰和权重处理的敏感性分析;

  10. 从原始数据到结果卡的代码、随机种子、软件版本与时间戳。

章首数据在 XX 的两个层内都有处理和对照,三种调整方法都能复算出 5。因果结论仍取决于 XX 是否阻断了全部后门路径、处理和结果是否测量清楚、选择过程是否打开新路径。只展示 5 会同时隐藏粗差、构成差异和调整集选择;完整证据链会把这三层信息并列呈现。

下一章把视野从一项研究扩展到多项研究。单项研究即使拥有可信的因果设计,检索、纳入与发表环节仍可能选择碰撞节点,让漂亮结果更容易进入证据网络。

本章知识链

  1. 章首粗差 10 可分解为层内差 5 与严重度构成贡献 5;共同标准化后得到验收所需的 5。

  2. 每个个体只能观察一个潜在结果;群体平均通过设计和识别假设连接可观察组间比较。

  3. ATE、ATT 和条件效应面向不同人群;完整目标量还要指定处理版本、对照、结果、时间窗与效应尺度。

  4. 一致性、条件可交换性、正值性、无干扰以及可解释的测量与选择过程构成观察研究的识别链。

  5. DAG 的链、叉与碰撞规则用于检查路径;调整集应阻断后门路径,并避免打开碰撞路径或截断总效应。

  6. 后门公式把层内条件均值按目标人群权重汇总;效应异质时,目标权重直接改变答案。

  7. 回归标准化为目标人群生成两套反事实预测;只有单元均值和人数时无法计算连续结果的标准误。

  8. 对碰撞节点或其后代条件化可以制造关联;能力–运气例子中的条件相关系数为 1/2-1/2

  9. 倾向得分是已测协变量的平衡得分;其因果用途仍以给定这些协变量的可交换性为前提。

  10. 章首 IPW 重建了轻、重症各半的两组伪总体,得到加权均值 75 与 70,差为 5。

  11. 极端权重暴露重叠不足;章首权重离散程度对应的有效样本量为 300,低于原始记录数 400。

  12. AIPW 组合结果模型与倾向模型;双重稳健不覆盖两个模型同时设错、未测混杂或正值性破坏。

  13. 随机化识别分配策略的 ITT;工具变量在额外条件下识别服从者的 LATE,二者都要区分分配与实际处理。

  14. 因果审计要同时保存目标、DAG、全部调整路径、重叠诊断、敏感性分析和可执行版本链。

思考与练习

  1. 复算章首粗均值、粗差、两层处理概率和标准化差。再用 E(YT,X)=75+5T10X\mathbb{E}(Y\mid T,X)=75+5T-10X 分解粗差,并解释每一项对应的数据结构。

  2. 为“工程实训是否提高毕业一年后的工资”定义 ATE 与 ATT,逐项写出目标人群、处理版本、对照、结果、时间窗和效应尺度。

  3. 对章首研究逐项讨论一致性、条件可交换性、正值性、无干扰、测量和选择过程。指出哪些条件能从当前表格检查,哪些需要设计或领域知识。

  4. 画出基线严重度 XX 同时影响处理 TT 和结果 YY 的 DAG。再分别加入处理后的康复指标 MM、由处理和结果共同影响的复诊指标 CC,说明估计总效应时调整二者的后果。

  5. 假设轻症层处理差为 5、重症层处理差为 7。分别取总体各半、处理组实际构成和对照组实际构成三套权重,计算对应平均效应。三套权重依次为 (0.5,0.5)(0.5,0.5)(0.75,0.25)(0.75,0.25)(0.25,0.75)(0.25,0.75)

  6. 若章首四个单元的样本标准差都为 10,按固定权重 (0.5,0.5)(0.5,0.5) 计算 g-估计量的近似方差、标准误和 95%95\% Wald 区间。说明样本量最小的两个单元为何贡献更大。

  7. 验证能力–运气例子在全体人群中独立,并复算录取者中的协方差 1/9-1/9 与相关系数 1/2-1/2。画出对应碰撞结构。

  8. 用章首人数手算四种 ATE 权重、两组加权均值和处理效应。再复算处理组、对照组及合并权重的有效样本量。

  9. 证明当结果模型采用四个单元的样本均值时,AIPW 残差修正项在每个单元内求和为 0。解释这个代数事实为何不能证明无未测混杂。

  10. 某随机试验中,分配处理组与对照组的结果均值为 12 与 10,实际接受处理者与未接受者的均值为 13 与 9。指出哪一个差直接对应 ITT,并说明为何另一差可能受依从选择影响。

  11. 某工具把处理率从 0.300.30 提高到 0.500.50,结果均值从 10 提高到 10.8。计算 Wald 比率,列出相关性、独立性、排除限制和单调性,并准确命名所识别的人群。

  12. 在线性敏感性模型中,设 Var(T)=0.25\operatorname{Var}(T)=0.25。列出三组 γ\gammaCov(T,U)\operatorname{Cov}(T,U) 的组合,使遗漏偏差等于 1。再为章首研究设计一份包含替代 DAG、调整集和负对照的审计表。

专题导航