[论文解读] Correlation Functions Involving Dirac Fields from Homotopy Algebras I: The Free Theory

Keisuke Konosu, Yuji Okawa|arXiv (Cornell University)|May 19, 2023

Advanced Topics in Algebra被引用 5

一句话总结

本文将先前用于标量场论的量子 $A_{\infty}$ 代数形式化推广至狄拉克场，采用受弦场论启发的框架。推导出一个统一的关联函数公式，统一处理标量场与狄拉克场，并证明在自由理论中这些关联函数满足施温格-戴逊方程，从而将该方法推广至具有一致代数结构的费米子系统。

ABSTRACT

We extend the formula for correlation functions of scalar field theories in terms of quantum $A_{\infty}$ algebras, presented in arXiv:2203.05366, to incorporate Dirac fields. We use a description that is analogous to string field theory, and the formula for correlation functions takes the same form for both scalar fields and Dirac fields. We prove that correlation functions from our formula satisfy the Schwinger-Dyson equations in the free theory. The proof for interacting theories is presented in the companion paper arXiv:2305.13103 by one of the authors. We also explain the relation of our formula to the definition of correlation functions in the approach by Costello and Gwilliam based on factorization algebras.

研究动机与目标

• 将先前仅应用于标量场论的量子 $A_{\infty}$ 代数形式化推广至包含狄拉克场。
• 利用同伦代数技术，构建一个统一的代数框架，用于计算标量场与狄拉克场的关联函数。
• 证明所推导的关联函数公式在自由理论中满足施温格-戴逊方程，确保与量子场论约束的一致性。
• 为后续在配套论文中将形式化推广至相互作用理论奠定基础。

提出的方法

• 采用向量空间分解 $\mathcal{H} = \mathcal{H}_1 \oplus \mathcal{H}_2$，类似于开弦场论，其中 $\mathcal{H}_1$ 包含物理场，$\mathcal{H}_2$ 对应该形式化中的反场。
• 定义一个通用算子 $\pi_1 \mathbf{P} \mathbf{Q} \mathbf{P} + \pi_1 \mathbf{P} \mathbf{m} \frac{1}{\mathbf{I} + \mathbf{h} \mathbf{m} + i\hbar \mathbf{h} \mathbf{U}} \mathbf{P}$ 以计算关联函数，其中 $\mathbf{P}$ 投影到物理态，$\mathbf{h}$ 编码传播子。
• 通过定义与辛形式 $\omega$ 和格拉斯曼次数相容的高阶运算，构建狄拉克场的 $A_{\infty}$ 代数。
• 确保辛形式 $\omega$ 在费米子与玻色子算符顺序重排下保持一致，通过适当的符号约定验证其在适当情况下的分次反对称性。
• 对标量场与狄拉克场使用相同的通用公式，展示玻色子与费米子扇区之间的结构统一性。
• 通过 $A_{\infty}$ 关系的代数运算，证明所得关联函数在自由理论中满足施温格-戴逊方程。

实验结果

研究问题

• RQ1 先前用于标量场论的量子 $A_{\infty}$ 代数形式化能否一致地推广至狄拉克场？
• RQ2 在相同的代数框架下，关联函数的同一通用公式是否适用于标量场与狄拉克场？
• RQ3 从该形式化推导出的关联函数是否在自由理论中满足费米子系统的施温格-戴逊方程？
• RQ4 当费米子算符插入场之间时，辛形式 $\omega$ 如何定义与变换？其是否保持分次反对称性？
• RQ5 投影算符 $\mathbf{P}$ 与传播子算符 $\mathbf{h}$ 在狄拉克场关联函数中的作用是什么？

主要发现

• 本文成功地将量子 $A_{\infty}$ 代数形式化推广至狄拉克场，关联函数的通用公式与标量场情况保持一致。
• 所推导的关联函数在自由理论中满足施温格-戴逊方程，确认其与标准量子场论约束的一致性。
• 辛形式 $\omega$ 对费米子态被一致定义，其符号因子正确考虑了格拉斯曼次数与算符顺序。
• 该形式化在单一代数结构下统一了标量场与狄拉克场，表明同一算符 $\pi_1 \mathbf{P} \mathbf{Q} \mathbf{P} + \pi_1 \mathbf{P} \mathbf{m} \frac{1}{\mathbf{I} + \mathbf{h} \mathbf{m} + i\hbar \mathbf{h} \mathbf{U}} \mathbf{P}$ 同时生成两类场的关联函数。
• 施温格-戴逊方程的证明依赖于 $\omega$ 的分次反对称性以及 $A_{\infty}$ 关系的代数封闭性，通过不同插入情形下符号因子的显式计算得以验证。
• 该框架为后续将方法推广至相互作用理论提供了坚实基础，如配套论文 arXiv:2305.13103 所述。