跳转至

Generalized Bayes for Causal Inference

会议: NeurIPS 2026
arXiv: 2603.03035
OpenReview: https://openreview.net/forum?id=Ym1qwTHLhL
代码: https://github.com/EmilJavurek/Generalised-Bayes-for-Causal-Inference
领域: 因果推理
关键词: 广义贝叶斯、因果推断、不确定性量化、奈曼正交性、双重稳健

一句话总结

针对传统因果贝叶斯推断过度依赖高维冗余分量似然建模的问题,本文提出基于识别驱动损失的广义贝叶斯推断框架,通过在因果目标上直接设定先验并结合奈曼正交损失,实现了对第一阶段冗余估计误差鲁棒且具有严格频率学派覆盖保证的不确定性量化。

研究背景与动机

因果推断广泛用于评估医学干预、社会政策与经济决策中的处理效应。然而在实际高风险应用(如临床医学决策)中,仅凭因果效应的点估计无法提供充分决策依据;若估计的不确定性过大导致有害效应的后验概率不可忽略,该干预在临床上依然不可接受。因此,对因果效应进行严谨的不确定性量化(Uncertainty Quantification, UQ)至关重要。贝叶斯推断天然提供了计算后验不确定性的框架,但传统似然贝叶斯在因果推断中面临根深蒂固的技术瓶颈。

因果效应本身并不足以完全确定观测数据的联合生成分布,因此标准似然无法直接建立在因果目标参数上。研究人员通常被迫对整个观测数据生成过程进行概率建模,从而必须对倾向评分、结局回归等高维甚至无穷维的冗余分量(nuisance components)设定非参数先验与似然。这一范式存在严重的脆弱性:一方面,高维冗余模型的误设会导致后验推断失真;另一方面,冗余参数上的先验正则化会诱发“正则化引起的混杂”(Regularization-Induced Confounding),且联合似然会造成结局信息反馈到倾向评分后验中(Feedback Problem),进而破坏样本平衡与正交性质。更严重的是,研究者无法直接透明地在最终因果效应目标上注入领域先验知识。

面对这些挑战,本文提出跳出显式似然建模的局限,从基于损失函数的信念更新(广义贝叶斯/Gibbs 后验)切入。核心 idea:直接在因果效应目标上设定先验,并利用识别驱动的因果经验损失(特别是奈曼正交损失配合交叉拟合)构建广义贝叶斯更新准则,从而消除对高维冗余分量似然与先验的依赖,并借助正交性实现对冗余估计误差的后验稳定性与有效频率学派校准。

方法详解

整体框架

本文框架的核心是将点估计视角下的因果经验损失函数转化为贝叶斯信念更新目标。整体流程包含四个阶段:数据划分与交叉拟合冗余估计、构建样本级经验因果损失、频率学派校准参数估计,以及求解广义变分后验(或闭式后验/MCMC)。整个推断流程无需对数据分布指定联合生成模型,亦不对高维冗余函数设定贝叶斯先验。

%%{init: {'flowchart': {'rankSpacing': 24, 'nodeSpacing': 28, 'padding': 6, 'wrappingWidth': 400}}}%%
flowchart TD
    A["观测样本数据<br/>{O_i = (X_i, A_i, Y_i)}"] --> B["1. 交叉拟合冗余估计<br/>K折划分拟合倾向与结局模型"]
    B --> C["2. 识别驱动因果损失构建<br/>基于正交伪结局计算经验损失"]
    C --> D["3. 频率学派覆盖校准<br/>Bootstrap调优温度参数 ω"]
    D --> E["4. 广义贝叶斯后验推断<br/>目标效应先验 π(θ) 结合经验损失优化"]
    E --> F["输出因果效应后验<br/>均值与可信区间 (CrI)"]

关键设计

1. 识别驱动的广义贝叶斯更新:摆脱高维冗余分量的似然依赖 针对传统贝叶斯推断无法直接对因果目标 \(\theta \in \Theta\) 定义似然的困境,本文借鉴 Bissiri 等人的广义后验(Gibbs posterior)理论,将贝叶斯更新诠释为在经验损失测度下的信念更新过程。对于任意已知识别策略 \(S\)(如回归调整 RA、逆概率加权 IPW 或双重稳健 DR),设其对应的因果损失函数为 \(\mathcal{L}_n^S(\theta; \eta^S)\)。本文直接在低维或泛函因果目标 \(\theta\) 上设定领域先验 \(\pi(\theta)\),并定义广义后验: $\(q_n^S(\theta \mid \mathcal{D}_n) \propto \exp\bigl\{-\omega n \mathcal{L}_n^S(\theta; \eta^S)\bigr\} \pi(\theta)\)$ 该后验可等价表述为信息泛函优化问题 \(\arg\min_{q \in \mathcal{P}(\Theta)} \{\mathbb{E}_{\theta \sim q}[\omega n \mathcal{L}_n^S(\theta; \eta^S)] + \mathrm{KL}(q \parallel \pi)\}\)。这使推断过程彻底解除了对冗余分量 \(\eta^S\) 的先验设定与联合似然约束,消除了冗余与目标之间的错误先验耦合。

2. 奈曼正交损失与后验稳定性保证:抵御非参数估计误差传播 在实际推断中,真实的冗余参数 \(\eta_0^S\) 未知,必须使用样本估计量 \(\hat{\eta}^S\) 代替,从而产生可行广义后验 \(q_{n,\mathrm{fe}}^S\)。为了防止高维或非参数机器学习模型较慢的收敛速度破坏后验推断,本文证明了奈曼正交性在广义贝叶斯中的决定性作用。当经验损失满足奈曼正交条件: $\(D_{\eta^S} D_\theta \mathcal{L}_n^S(\theta^\star; \eta_0^S)[\theta - \theta^\star, \eta - \eta_0^S] = 0\)$ 结合 \(K\) 折交叉拟合(Cross-fitting),冗余估计的一阶偏差完全消失,使得可行后验的极小值点与预言机极小值点之间的漂移收敛到二阶项 \(\|\hat{\theta}_{\mathrm{fe}} - \hat{\theta}_{\mathrm{or}}\| = O_{\mathbb{P}}(r_n^2)\)。理论证明,在总变差(TV)距离意义下,可行后验与预言机后验满足: $\(\mathrm{TV}\bigl(q_{n,\mathrm{fe}}^S, q_{n,\mathrm{or}}^S\bigr) = O_{\mathbb{P}}\bigl(\sqrt{n}\, r_n^2\bigr) + o_{\mathbb{P}}(1)\)$ 只要冗余估计误差满足 \(r_n = o(n^{-1/4})\)(这一速率门槛与 Double Machine Learning 一致),可行后验在全变差距离下便以概率收敛到预言机后验,进而继承预言机的 Bernstein-von Mises (BvM) 渐近正态极限。而非正交损失(如纯 RA 或 IPW)的漂移通常为 \(O_{\mathbb{P}}(\sqrt{n}\, r_n)\),需要接近参数化速率 \(r_n = o(n^{-1/2})\) 才能维持后验稳定性。

3. 双重稳健 ATE 下的高斯共轭闭式与渐近有效方差 针对后门准则下的平均处理效应(ATE),采用基于增强型逆概率加权(AIPW)伪结局 \(\hat{Y}_i^{\mathrm{AIPW}}\) 的平方损失: $\(\mathcal{L}_n^{\mathrm{AIPW}}(\theta; \hat{\eta}) = \frac{1}{2n} \sum_{i=1}^n \bigl(\hat{Y}^{\mathrm{AIPW}}(O_i; \hat{\eta}) - \theta\bigr)^2\)$ 若选取高斯先验 \(\pi(\theta) = \mathcal{N}(m_0, s_0^2)\),广义后验具有严格的高斯闭式解 \(q_{n,\mathrm{fe}}^{\mathrm{AIPW}} = \mathcal{N}(m_p, s_p^2)\),其中后验方差 \(s_p^2 = (s_0^{-2} + \omega n)^{-1}\),后验均值 \(m_p = s_p^2 (s_0^{-2} m_0 + \omega n \hat{\theta}^{\mathrm{AIPW}})\)。在无信息平先验(\(s_0^2 \to \infty\))下,后验中心严格等于 AIPW 点估计量,而后验方差通过校准参数 \(\omega^{-1} = \mathrm{Var}(\hat{Y}^{\mathrm{AIPW}})\) 匹配效率界,达到正则渐近线性估计(RAL)的最低可能渐近方差,从而保证在所有有效置信区间中获得最窄的后验可信区间。

4. 基于非参数 Bootstrap 的频率学派校准机制 广义后验中的尺度超参数 \(\omega > 0\) 起到调节损失与先验相对权重的温度作用。为确保后验区间具备名义 \((1-\alpha)\) 的频率学派重复抽样覆盖率,算法采用 Syring & Martin 的 Bootstrap 校准程序:通过非参数重抽样模拟后验可信区间对全样本经验点估计值的包含率,并通过一维网格搜索或随机逼近更新 \(\omega\)。对于平方损失,该机制天然对应于将工作高斯似然的方差对齐到伪结局的经验残差方差。

损失函数 / 训练策略

在处理高维或连续协变量的异质性处理效应(CATE,\(\theta(x) = \tau(x)\))时,目标属于无穷维函数空间。本文在泛函变分框架下将因果效应的先验建模为高斯过程(Gaussian Process, GP),采用 Matérn-5/2 或 RBF 核函数;广义变分目标定义为: $\(\mathcal{J}_{n,\mathrm{fe}}^{\mathrm{DR}}(q) = \omega n\, \mathbb{E}_{\theta \sim q}\bigl[\mathcal{L}_n^{\mathrm{DR}}(\theta; \hat{\eta})\bigr] + \mathrm{KL}(q \parallel \pi)\)$ 在计算上采用稀疏诱导点高斯过程(Inducing Point GP)作为变分族 \(\mathcal{Q}\),利用 Adam 优化器直接优化变分参数。对于低维泛函投影(如固定协变量点集的点估计),依然满足正交性驱动的 BvM 稳定性和渐近高斯极限。

实验关键数据

主实验

论文在 9 个合成因果后门基准数据集(\(\mathcal{D}_1\) 至 \(\mathcal{D}_9\))上展开评估,涵盖线性混淆、非线性因果异质性、高阶交互作用、非线性倾向得分、弱重叠(Limited Overlap,\(\mathcal{D}_6\))以及异方差重尾噪声(\(\mathcal{D}_7\))等复杂场景。在样本量 \(n=1000\)、重复 \(R=50\) 次实验下,对比回归调整(RA)、逆概率加权(IPW)与双重稳健(AIPW/DR)在 95% 名义可信区间下的实测覆盖率与区间平均长度。

数据集 统计特性 / 挑战 RA (非正交) 覆盖率 IPW (非正交) 覆盖率 AIPW (正交) 覆盖率 (本文)
\(\mathcal{D}_1\) 线性混淆、同方差高斯 0.580 (0.432-0.718) 1.000 (0.929-1.000) 0.940 (0.835-0.987)
\(\mathcal{D}_2\) 线性 CATE 异质性 0.520 (0.374-0.663) 1.000 (0.929-1.000) 0.980 (0.894-0.999)
\(\mathcal{D}_3\) 非零均值协变量异质性 0.480 (0.337-0.626) 1.000 (0.929-1.000) 0.980 (0.894-0.999)
\(\mathcal{D}_4\) 非线性结局、二次交互 CATE 0.680 (0.533-0.805) 1.000 (0.929-1.000) 0.920 (0.808-0.978)
\(\mathcal{D}_5\) 非线性倾向评分、高阶项 0.580 (0.432-0.718) 1.000 (0.929-1.000) 0.940 (0.835-0.987)
\(\mathcal{D}_6\) 极端弱重叠 (Limited Overlap) 0.080 (0.022-0.192) 0.420 (0.282-0.568) 0.580 (0.432-0.718)
\(\mathcal{D}_7\) 异方差重尾噪声 (\(t_\nu\)) 0.300 (0.179-0.446) 0.980 (0.894-0.999) 0.940 (0.835-0.987)
\(\mathcal{D}_8\) 复杂非线性混淆 0.460 (0.318-0.607) 1.000 (0.929-1.000) 0.980 (0.894-0.999)
\(\mathcal{D}_9\) 高维特征与非线性组合 0.420 (0.282-0.568) 1.000 (0.929-1.000) 0.940 (0.835-0.987)

消融实验与区间效率分析

为了衡量不确定性量化的统计效率,论文在保持名义覆盖率有效(排除覆盖率 95% 置信区间上界低于 95% 的无效方法)的前提下,统计了 95% 可信区间(CrI)的平均长度(数值越小越优)。

数据集 RA 95% CrI 长度 IPW 95% CrI 长度 AIPW (正交) 95% CrI 长度 (本文) 结论说明
\(\mathcal{D}_1\) 0.099 (无效覆盖划除) 0.479 (0.018) 0.263 (0.010) AIPW 兼顾严谨覆盖与紧凑区间
\(\mathcal{D}_2\) 0.112 (无效覆盖划除) 0.490 (0.019) 0.273 (0.009) AIPW 比 IPW 区间缩窄 44.3%
\(\mathcal{D}_3\) 0.113 (无效覆盖划除) 0.542 (0.024) 0.272 (0.008) AIPW 区间长度接近半参数理论效率下界
\(\mathcal{D}_4\) 0.139 (无效覆盖划除) 0.687 (0.067) 0.289 (0.009) 面对非线性交互,正交损失保持最窄区间
\(\mathcal{D}_5\) 0.099 (无效覆盖划除) 0.649 (0.220) 0.275 (0.021) IPW 方差膨胀严重,AIPW 表现平稳
\(\mathcal{D}_7\) 0.108 (无效覆盖划除) 0.730 (0.246) 0.587 (0.163) 异方差重尾分布下有效维持稳定区间
\(\mathcal{D}_8\) 0.108 (无效覆盖划除) 0.644 (0.222) 0.336 (0.058) AIPW 较 IPW 缩窄 47.8%
\(\mathcal{D}_9\) 0.156 (无效覆盖划除) 2.835 (0.055) 0.466 (0.012) IPW 发生权重极端退化,AIPW 依旧稳健

关键发现

  • 奈曼正交性是有效覆盖的核心保障:单纯基于回归插补的 RA 缺乏双重稳健性,在所有数据集上的经验覆盖率均崩溃(0.080 至 0.680,远低于名义值 0.95);IPW 虽通过过度保守的区间在部分简单场景达到覆盖,但在重度混淆下区间极度发散(如 \(\mathcal{D}_9\) 长度达 2.835)。而正交的 AIPW 在绝大多数场景下均严格对齐 0.95 名义覆盖水平(0.920 至 0.980)。
  • 最窄可信区间与半参数效率界对齐:在所有能够满足忠实覆盖的方法中,基于 AIPW 的正交广义后验给出的区间最为紧凑,这与理论推导的渐近方差对齐 RAL 下界相符。
  • 极端重叠破坏条件下的鲁棒性边界:在 \(\mathcal{D}_6\) 极端违背重叠假设的病态场景中,所有方法的覆盖率均发生下降(AIPW 降至 0.580),说明经验损失更新虽然抵御冗余估计的统计收敛误差,但因果推断底层的正值性条件仍然不可或缺。

亮点与洞察

  • 将半参数正交统计学习拓展至广义贝叶斯推断:首次在理论上证明了奈曼正交性能够将可行广义后验与预言机后验的 TV 漂移压制到 \(O_{\mathbb{P}}(\sqrt{n} r_n^2)\),使机器学学习提取的慢收敛非参数冗余能够产生渐近正态且精确校准的贝叶斯可信区间。
  • 解耦先验信念与高维联合似然:打破了传统贝叶斯因果推断必须先对观测联合分布进行高维非参数建模的桎梏,让因果学者能够直接且透明地将先验分布赋予最终因果效应 \(\theta\)。
  • 即插即用的因果元学习包装器:该方法不绑定特定的底层模型结构,可无缝叠加在任意主流基于损失优化的 Causal ML 流水线(DR-learner、R-learner、Double ML)之上。

局限与展望

  • 因果识别假设的不可违背性:该方法仅能解决因果模型识别后的统计估计与不确定性量化问题,仍依赖于无混杂、正值性与一致性假设;在正值性极度缺乏的场景下(如 \(\mathcal{D}_6\)),后验覆盖率依然会退化。
  • Bootstrap 校准与变分推理的计算开销:在处理大规模数据集或高维泛函 CATE 时,迭代校准温度参数 \(\omega\) 涉及多次 Bootstrap 重抽样与变分 GP 训练,在大规模工业场景下计算成本相对较高。
  • 未来方向:进一步将该框架拓展到工具变量(IV)、面板/合成控制(Synthetic Control)以及连续处理变量等更为复杂的因果识别机制。

相关工作与启发

  • vs. 传统似然贝叶斯与贝叶斯非参数因果推断 (Ray & van der Vaart, 2020; Antonelli et al., 2022):传统方法对倾向得分和结局建立非参数高维联合似然,不仅计算缓慢且易诱发正则化混杂与后验反馈问题;本文利用广义贝叶斯直接绕过似然建模,仅在因果标的上赋予先验。
  • vs. 贝叶斯双重稳健推断 (Breunig et al., 2025; Orihara et al., 2025):现有结合贝叶斯与双重稳健的工作通常需要复杂的模型特定构造或后验耦合机制;本文提供了一种通用的、基于损失驱动的模块化框架,自然适配现代因果元学习模型。
  • vs. 经典 Double Machine Learning (Chernozhukov et al., 2018):DML 主要针对因果效应的点估计和渐近方差估计;本文将正交学习的优势完整推广至贝叶斯后验分布的整体推断与非参数区间构建。

评分

  • 新颖性: ⭐⭐⭐⭐⭐ 首次建立结合奈曼正交损失与广义贝叶斯的因果不确定性量化理论体系。
  • 实验充分度: ⭐⭐⭐⭐ 9个合成基准数据集全面验证了覆盖率与区间紧凑性,涵盖ATE与CATE场景。
  • 写作质量: ⭐⭐⭐⭐⭐ 理论推导清晰完备,引理与主要定理逻辑严密,文献综述深刻。
  • 价值: ⭐⭐⭐⭐⭐ 为因果机器学习领域中高风险决策的不确定性量化提供了原则性的通用工具。