[论文解读] Homotopical Computations in Quantum Fields Theory

Jae-Suk Park|arXiv (Cornell University)|Oct 22, 2018

Advanced Topics in Algebra参考文献 11被引用 6

一句话总结

本文提出了一种同伦理论框架，用于量子场论中的量子相关函数，通过代数方法表征相关函数，避免了规范固定和费曼图。该框架识别出一种普遍的代数结构——与WDVV方程密切相关——该结构控制所有量子相关函数，仅存在受控的模糊性，为具有所需对称性的任意量子场论提供了明确的计算算法。

ABSTRACT

This paper is a mathematical study of quantum correlation functions in quantum field theory within a homotopy algebraic framework motivated from the BV quantization scheme. We characterize quantum correlation functions by algebraic homotopy theoretical methods which circumvent gauge fixing and perturbative Feynman diagrams. We show that there is a universal algebraic structure, closely related with that of the WDVV equation, governing quantum correlation functions of every quantum field theory in our framework up to a certain ambiguity. The algebraic structure is independent of the details of the quantum expectation, other than its existence with the prescribed symmetry, and comes with a concrete algorithm for explicit computations. We will also make proposals for the precise natures of quantum expectation and physical equivalence of quantum field theories.

研究动机与目标

• 开发一种基于同伦理论的量子场论中量子相关函数的表征方法，避免使用微扰费曼图技术。
• 识别一种与具体量子期望无关的普遍代数结构，该结构在给定对称性下控制量子相关函数。
• 提供一种使用代数同伦方法计算量子相关函数的明确算法。
• 阐明同伦理论量子场论中量子期望的数学本质及其物理等价性。
• 建立一个将普朗克常数 ℏ 视为形式参数的框架，其中普遍代数结构的主结果为精确结果，而非微扰展开。

提出的方法

• 该框架以BV量化为起点，将量子场论建模为特征零域上的BV-QFT代数。
• 在 ℏ 的形式幂级数代数上引入一个拓扑自由的单位元 sDGLA（移位的微分分次李代数）结构。
• 通过量子主方程 Δe^{-S/ℏ} = 0 推导出零级和一级量子相关函数的主方程，对量子相关函数进行表征。
• 该方法采用同伦李代数（L∞-代数）和巴尔构造，以编码理论的类经典与量子对称性。
• 在可观测量代数上定义一个微分 K = -ℏΔ + (S, ⋅)BV，满足 K² = 0 且对乘法具有导子性质。
• 该构造在同伦等价下保持不变，确保物理等价性通过代数方式被准确捕捉。

实验结果

研究问题

• RQ1 何种普遍代数结构控制所有量子场论中的量子相关函数，且独立于具体量子期望？
• RQ2 如何在不依赖规范固定或微扰费曼图的情况下计算量子相关函数？
• RQ3 在同伦理论量子场论的语境下，量子期望的精确数学本质是什么？
• RQ4 量子场论的物理等价性如何通过其可观测量的代数结构被编码？
• RQ5 WDVV方程与控制量子相关函数的普遍结构之间存在何种关系？

主要发现

• 一种与WDVV方程密切相关、受控模糊性限制的普遍代数结构，控制该框架中所有量子场论的量子相关函数。
• 该框架提供了一种明确的算法，仅使用代数同伦理论方法计算量子相关函数，无需路径积分或费曼图。
• 量子主方程 Δe^{-S/ℏ} = 0 通过微分 K = -ℏΔ + (S, ⋅)BV 被代数化，该微分满足 K² = 0 且具有导子性质。
• 该结构独立于具体量子期望，仅依赖于对称量子主作用量的存在性及给定对称性。
• 该框架将 ℏ 视为形式参数，且关于普遍代数的主要结果为精确结果，非微扰展开。
• 量子场论的物理等价性通过底层 BV-QFT 代数的同伦等价性被捕捉，确保在规范费米子和量子修正变化下保持不变。