[论文解读] Regularity structures and the dynamical $Φ^4_3$ model

Martin Hairer|Infoscience (Ecole Polytechnique Fédérale de Lausanne)|Aug 21, 2015

Stochastic processes and financial applications被引用 9

一句话总结

本文将正则性结构理论引入，为量子场论中出现的奇异随机偏微分方程——动力学 $\Phi^4_3$ 模型——赋予严格的数学意义。通过将粗糙路径理论推广至高维空间，并结合问题特定的代数结构，作者建立了一套稳健的逼近理论，表明该模型自然地作为光滑逼近的极限出现。

ABSTRACT

We give a concise overview of the theory of regularity structures as first exposed in [Hai14]. In order to allow to focus on the conceptual aspects of the theory, many proofs are omitted and statements are simplified. In order to provide both motivation and focus, we concentrate on the study of solutions to the stochastic quantisation equations for the Euclidean $Φ^4_3$ quantum field theory which can be obtained with the help of this theory. In particular, we sketch the proofs of how one can show that this model arises quite naturally as an idealised limiting object for several classes of smooth models.

研究动机与目标

• 提供正则性结构理论的概念性与可及性概述，重点聚焦于其在动力学 $\Phi^4_3$ 模型中的应用。
• 展示该理论如何实现对统计力学与量子场论中出现的病态随机 PDE 的解的构造。
• 表明 $\Phi^4_3$ 模型自然地作为各类光滑逼近的极限对象出现。
• 在灵活且依赖问题的代数框架内，统一并推广受控粗糙路径理论与泰勒型展开。
• 建立超越一维时间的奇异 SPDE 的稳健逼近理论，拓展粗糙路径理论的适用范围。

提出的方法

• 将正则性结构理论适配于处理三维空间中的随机 PDE，特别是含有时空白噪声的情形。
• 引入一种问题特定的代数结构（例如，模型空间），以推广经典粗糙路径理论中使用的张量代数。
• 通过重整化程序处理 $\Phi^4_3$ 方程中由于噪声的奇异性质而产生的发散问题。
• 将正则性结构的抽象框架应用于通过模型分布空间中的不动点论证构造解。
• 通过仔细分析模型的结构与齐次性，建立光滑逼近向极限 $\Phi^4_3$ 模型的收敛性。
• 利用该理论的灵活性，处理随机量子化方程中固有的非马尔可夫性与非马利安噪声结构。

实验结果

研究问题

• RQ1 如何为因时空白噪声而形式上病态的动力学 $\Phi^4_3$ 模型赋予严格的数学意义？
• RQ2 $\Phi^4_3$ 模型的光滑逼近在何种意义下收敛于一个定义良好的极限对象？
• RQ3 正则性结构理论如何统一并推广现有理论，如受控粗糙路径与泰勒展开？
• RQ4 在三维空间中处理 $\Phi^4_3$ 方程中的奇异性，需要哪些代数与分析结构？
• RQ5 能否证明 $\Phi^4_3$ 模型在不同类别的正则化模型中自然地作为普遍极限出现？

主要发现

• 借助正则性结构框架，$\Phi^4_3$ 模型可严格构造为奇异随机 PDE 的解。
• 该理论支持一套稳健的逼近理论，表明 $\Phi^4_3$ 模型作为各类光滑模型的普遍极限自然出现。
• 尽管存在时空白噪声使方程形式上病态，$\Phi^4_3$ 方程的解仍被明确定义。
• 正则性结构的抽象理论提供了一个灵活的代数基础，可适应方程的特定结构，突破了经典粗糙路径理论对一维时间的限制。
• 该构造依赖于一种系统性地消除发散的重整化程序，从而实现有限解的定义。
• 该框架成功统一并推广了古宾内利的受控粗糙路径与分支粗糙路径理论，将其拓展至高维空间中的 SPDE。