Transportation cost inequalities for singular SPDEs

这是一份关于论文《Transportation cost inequalities for singular SPDEs》（奇异随机偏微分方程的输运成本不等式）的详细技术总结。

1. 研究背景与问题 (Problem)

奇异随机偏微分方程（Singular SPDEs），如 $\Phi^4_3$ 模型或 $\Phi^4_{4-\delta}$ 模型，由于噪声项（通常是时空白噪声）的极度不规则性，导致方程在经典意义下无解。正则结构（Regularity Structures）理论（由 Hairer 提出）通过引入“模型”（Model）和重正化（Renormalization）程序，为这类方程提供了路径解（pathwise solution）的框架。

尽管正则结构理论已经建立了方程解的存在性和唯一性，但在概率测度的性质方面仍存在挑战：

• 输运成本不等式（Transportation Cost Inequalities, TCI）： 这类不等式（如 Talagrand 不等式）连接了概率测度的相对熵（Relative Entropy）和输运成本（Wasserstein 距离）。它们对于证明测度的集中性（Concentration of Measure）、大偏差原理（Large Deviation Principles, LDP）以及解的矩估计至关重要。
• 现有局限： 之前的工作（如 Riedel, Gasteratos & Jacquier）主要针对粗糙路径（Rough Paths）或较温和的奇异 SPDE。对于高度奇异的 SPDE，由于重正化过程涉及复杂的非平凡极限（BPHZ 模型），且通常依赖于高斯噪声，将 TCI 从噪声传播到解（或模型本身）变得非常困难。特别是，重正化常数通常依赖于噪声的矩，这使得直接应用标准的 Malliavin 微积分或 Lipschitz 连续性论证变得复杂。

核心问题： 在什么条件下，奇异 SPDE 的 BPHZ 随机模型（BPHZ random models）及其解的分布满足输运成本不等式？这种性质能否推广到非高斯噪声？

2. 方法论 (Methodology)

作者采用了一种结合正则结构理论、谱隙不等式（Spectral Gap Inequality）和高阶 Malliavin 微积分的混合方法。

2.1 核心假设

作者假设噪声 $\xi$ 的分布 $P$ 定义在一个巴拿赫空间 $\Omega$ 上，且满足假设 A：

• $\Omega$ 包含一个稠密的希尔伯特空间 $H$（Cameron-Martin 空间）。
• $P$ 是时空平移不变的。
• $P$ 满足输运成本不等式：$a^\circ T_{c_H}(Q, P) \le H(Q|P)$，其中 $c_H$ 是基于 $H$ 范数的成本函数。
• 注：该假设蕴含了谱隙不等式（Spectral Gap Inequality），且比单纯的高斯假设更广泛（允许有界密度扰动等）。

2.2 关键工具：扩展的正则 - 可积性结构 (Extended Regularity-Integrability Structure)

为了处理重正化过程中的高阶导数，作者没有使用标准的正则结构，而是引入了正则 - 可积性结构（Regularities-Integrability Structures，源自 Bailleul & Hoshino 的工作）。

• 引入高阶导数树： 与以往仅考虑一阶 Malliavin 导数不同，本文构造的模型空间包含了所有阶数的 Malliavin 导数对应的树（Trees）。
• 类型集合扩展： 在树的标签集合中引入了 $H$ 和 $\bar{H}$ 两种类型，分别对应 $H$ 空间中元素在不同 Besov 范数下的估计。这使得能够量化模型对噪声微扰（$h \in H$）的高阶依赖性。
• BPHZ 模型的构造： 利用谱隙不等式作为归纳步骤的核心工具，证明了 BPHZ 模型在扩展结构上的收敛性。

2.3 核心论证逻辑

1. 路径wise 估计： 证明 BPHZ 模型映射 $M: \Omega \to \mathcal{M}$（从噪声空间到模型空间）满足某种 Hölder 连续性估计：
   $$\| M(\omega + h) - M(\omega) \| \lesssim L(\omega) \max(\|h\|_H, \|h\|_H^{1/r})$$
   其中 $L(\omega)$ 是一个具有所有 $L^p$ 矩的随机变量。
2. 扩展收缩原理（Extended Contraction Principle）： 利用 Gasteratos & Jacquier 的引理，如果噪声满足 TCI 且映射满足上述路径估计，则像测度（模型分布）也满足 TCI。
3. 大偏差原理（LDP）： 利用上述估计和 Varadhan 引理的变体，推导 BPHZ 模型在噪声缩放（$\kappa \xi$）下的 LDP。

3. 主要贡献与结果 (Key Contributions & Results)

3.1 主要定理：BPHZ 模型的输运成本不等式

定理 2 (Theorem 2)： 在假设 A 下，BPHZ 随机模型 $\hat{M}_{\infty}^{\varepsilon}$ 的分布满足一族输运成本不等式。

• 具体形式为：$a_\alpha T_{c_M^\alpha}(Q, P_M) \le H(Q|P_M)^{\alpha/(2r)} + H(Q|P_M)^{\alpha/2}$。
• 推论 3 (Corollary 3)： 模型的范数具有高斯尾部（Gaussian tails），即存在常数 $a>0$ 使得 $E[\exp(a\|\hat{M}_{\infty}^{\varepsilon}\|_M^2)] < \infty$。
• 意义： 这是首次证明在“全次临界”（full subcritical）范围内，奇异 SPDE 的 BPHZ 模型满足 TCI，且不需要噪声是高斯的，只需满足谱隙/TCI 条件。

3.2 应用一：不变测度的积分性质

定理 4 (Theorem 4) & 定理 11： 对于由奇异 SPDE 生成的马尔可夫动力系统的不变概率测度（如 $\Phi^4_{4-\nu}$ 测度），作者证明了它们满足输运成本不等式。

• 具体结果： 对于 4 维环面上的 $\Phi^4_{4-\nu}$ 测度 $\mu$，存在常数 $a$ 使得：
  $$\int \exp(a \|\phi\|_{C^{-1-\kappa+\nu}}^{2/p(\nu)}) \mu(d\phi) < \infty$$
• 意义： 这提供了不变测度的强积分性质，验证了 Osterwalder-Schrader 公理中的正则性要求。该方法比传统的对数 Sobolev 不等式方法更稳健，适用于更广泛的奇异方程。

3.3 应用二：BPHZ 模型的大偏差原理

定理 5 (Theorem 5)： 当噪声缩放为 $\kappa \xi$ 且 $\kappa \to 0$ 时，BPHZ 模型 $\hat{M}_{\infty}^{\varepsilon, \kappa}$ 满足大偏差原理（LDP），速率为 $\kappa^2$。

• 速率函数： $J(M) = \inf \{ I(h) ; h \in H, L(h) = M \}$，其中 $L(h)$ 是由 $h$ 生成的“朴素模型”（naive model）。
• 意义： 推广了 Hairer & Weber 关于 Allen-Cahn 方程的结果，将其扩展到更一般的奇异 SPDE 和非高斯噪声情形。

4. 技术细节与创新点 (Technical Details & Innovations)

1. 高阶 Malliavin 微积分的必要性：

   • 在以往的工作中（如 [31, 26, 1]），通常只需要一阶 Malliavin 导数来证明收敛性。
   • 本文为了获得形如 $\|h\|_H^{1/r}$ 的 Hölder 估计（这是推导 TCI 的关键），必须处理模型对噪声的高阶变分。这要求构造包含所有阶导数树的扩展正则结构。
   • 这解释了为什么作者需要引入比 [26] 或 [1] 更复杂的正则结构，以及为什么需要高阶 Malliavin 计算。

2. 重正化与谱隙的结合：

   • 重正化常数通常依赖于噪声的矩。作者利用谱隙不等式（Spectral Gap）来控制这些矩的随机波动，证明了重正化后的模型在 $L^p$ 空间中的一致有界性。
   • 通过归纳法（Inductive strategy），逐层处理树的结构，证明了模型映射的稳定性。

3. 非高斯噪声的鲁棒性：

   • 本文结果不依赖于高斯性，仅依赖于噪声分布满足输运成本不等式（或等价的谱隙不等式）。这使得结果可以应用于受有界密度扰动的高斯噪声，甚至某些非高斯噪声。

5. 意义与影响 (Significance)

• 理论突破： 建立了奇异 SPDE 解的分布与噪声分布之间的定量联系（通过 TCI）。这是正则结构理论在概率测度性质研究上的重要进展。
• 应用广泛性： 结果适用于全次临界范围内的奇异 SPDE，包括 $\Phi^4_3$ 和 $\Phi^4_4$ 等物理上重要的模型。
• 工具创新： 提出的“扩展收缩原理”和基于高阶 Malliavin 导数的正则结构构造，为未来研究奇异 SPDE 的集中性、大偏差以及数值模拟误差分析提供了强有力的工具。
• 超越传统方法： 相比于依赖对数 Sobolev 不等式（Log-Sobolev）的方法，本文的路径wise 估计方法在处理非全局 Lipschitz 或高度奇异的方程时更具鲁棒性。

总结： 该论文通过引入高阶 Malliavin 导数和扩展的正则结构，成功证明了在广泛的噪声假设下，奇异 SPDE 的 BPHZ 模型及其解的不变测度满足输运成本不等式和大偏差原理。这不仅深化了对奇异 SPDE 概率性质的理解，也为量子场论中的测度构造提供了新的分析视角。