[论文解读] Renormalization and computation I: motivation and background

Yuri I. Manin|ArXiv.org|Apr 30, 2009

Advanced Topics in Algebra参考文献 34被引用 27

一句话总结

本文提出量子场论中的重整化与计算理论之间的概念性桥梁，认为物理领域的量子发散（如无穷大）与计算领域的无限循环可借助相似的数学结构（尤其是霍普夫代数与伯克霍夫分解）系统性地处理。核心贡献在于建立了费曼图重整化与非终止计算正则化的正式类比，提出一个统一框架，用于处理物理学与计算中出现的无穷大问题。

ABSTRACT

In this paper I argue that infinities in the classical computation theory such as the unsolvability of the Halting Problem can be addressed in the same way as Feynman divergences in Quantum Field Theory, and that meaningful versions of renormalization in this context can be devised. Connections with quantum computation are also touched upon.

研究动机与目标

• 建立量子场论中发散与理论计算机科学中非终止计算之间在概念与数学上的类比。
• 证明重整化技术（尤其是正则化与伯克霍夫分解）可被改编以处理计算过程中的发散问题。
• 提出霍普夫代数可作为费曼图与计算流程图的统一代数结构。
• 探讨将无穷大视为可正则化实体在物理学与计算中的认识论与基础性含义。
• 提出涉及大规模债务与风险的金融与计算系统，其结构与量子场论中的重整化具有类比性。

提出的方法

• 将费曼图用作量子振幅与计算流程图的组合骨架，通过图论形式化建立关联。
• 通过引入形变参数 z 实现正则化，将发散积分转化为在 z=0 处具有孤立奇点的亚纯函数。
• 从费曼图的同构类构造霍普夫代数 H，其中乘法为不相交并集，余乘法编码图的分解结构。
• 定义一个态射 φ: H → A（其中 A = A₊ ⊕ A₋），将图映射到亚纯函数的芽，A₊ 为全纯部分，A₋ 为极点部分。
• 对 φ 应用伯克霍夫分解，将其拆分为正则部分 φ₊ ∈ A₊ 与反项部分 φ₋ ∈ 1 + A₋，通过 φ₊(τ, z)|z=0 得到正则化值。
• 将此框架扩展至计算领域，将递归函数与图灵机建模为可能非终止的图，类比于发散的费曼积分。

实验结果

研究问题

• RQ1 量子场论中重整化的数学结构能否被改编以解决非终止计算中的发散问题？
• RQ2 霍普夫代数是否为费曼图与计算流程图提供了自然的代数框架？
• RQ3 量子场论中无穷大的减法与递归函数理论中无限循环的处理之间是否存在有意义的类比？
• RQ4 物理中的正则化概念在计算复杂性与预言机的语境下能否被重新诠释？
• RQ5 能否使用类比于量子场论的重整化技术，对涉及无限负债与索赔的金融系统进行建模？

主要发现

• 本文确立了量子场论中发散积分可通过形变参数 z 实现正则化，正则化值定义为在 z=0 处减去极点部分后的有限部分。
• 在费曼图上构建的霍普夫代数结构，使得通过态射 φ 的伯克霍夫分解为 φ₊ 与 φ₋，可同时对微扰级数中的所有项实现正则化。
• 费曼积分 Iτ,reg 的正则化值由在 z=0 处求值全纯部分 φ₊(τ, z) 得到，为关联函数提供一致的渐近级数。
• 相同的代数框架——霍普夫代数与伯克霍夫分解——可应用于计算图，表明其可用于正则化非终止或发散的计算。
• 本文提出金融衍生品与量子场论之间存在一种隐喻性但数学上具有启发性的类比：无限负债与索赔之间的差值，类比于重整化中有限可观测量的出现。
• 本文提出数学中从有限结构（如集合）向无穷结构（如同伦类型）的范式转变，其过程与重整化类似：有限结果从无穷构造中浮现。