[论文解读] QMeS-Derivation: Mathematica package for the symbolic derivation of functional equations

Jan Μ. Pawlowski, Coralie S. Schneider+1 more|arXiv (Cornell University)|Feb 2, 2021

Distributed and Parallel Computing Systems被引用 5

一句话总结

QMeS-Derivation 是一个 Mathematica 软件包，可自动对功能方程（如功能重正化群方程、Dyson-Schwinger 方程以及修正的 Slavnov-Taylor 恒等式）进行符号推导，推导过程基于给定的主方程。该软件包能够处理场空间追踪、功能导数、动量路由以及费米子符号约定，从而在带有截断的量子场论中系统且无错误地推导关联函数方程。

ABSTRACT

We present the Mathematica package QMeS-Derivation. It derives symbolic functional equations from a given master equation. The latter include functional renormalisation group equations, Dyson-Schwinger equations, Slavnov-Taylor and Ward identities and their modifications in the presence of momentum cutoffs. The modules allow to derive the functional equations, take functional derivatives, trace over field space, apply a given truncation scheme, and do momentum routings while keeping track of prefactors and signs that arise from fermionic commutation relations. The package furthermore contains an installer as well as Mathematica notebooks with showcase examples.

研究动机与目标

• 自动化推导量子场论中的功能方程，减少复杂计算中的手工错误。
• 提供一个统一框架，从主方程推导功能重正化群方程、Dyson-Schwinger 方程以及修正的 Slavnov-Taylor 恒等式。
• 通过追踪反对易关系产生的符号和系数，正确处理费米子统计。
• 以一致、模块化且可扩展的方式支持动量路由与截断方案。
• 通过用户友好的、与笔记本集成的环境，使研究人员能够系统地推导与分析 n 点函数。

提出的方法

• 该软件包使用德威特形式主义的紧凑记法表示场指标，包括洛伦兹对称性和内部对称性。
• 它实现了超场形式主义，将场与源视为一个场空间中的分量，该场空间的度量张量编码了格拉斯曼统计性质。
• 对主作用量进行符号化的功能导数运算，符号规则基于费米子（反）对易关系。
• 支持从施温格作用量到有效作用量的勒让德变换，从而推导出有效平均作用量的方程。
• 包含用于场空间追踪、应用截断方案以及在费曼图中路由动量的模块，同时保持符号与系数的正确性。
• 该软件包以模块化 Mathematica 环境实现，包含安装程序和示例笔记本，用于验证与用户引导。

实验结果

研究问题

• RQ1 如何在保留费米子符号约定的前提下，自动化推导量子场论中的功能方程？
• RQ2 在 n 点函数的符号推导中，实现动量路由与截断方案的最有效方式是什么？
• RQ3 如何从带有动量截断的主作用量系统地推导出修正的 Slavnov-Taylor 恒等式？
• RQ4 是否可以构建一个统一的符号框架，实现不同场论中 fRG、DSE 与 mSTI 方程的统一推导？
• RQ5 在符号计算中，如何管理张量与动量相关的关联函数的复杂性？

主要发现

• 该软件包成功推导出杨-米尔斯理论中胶子两点函数的功能重正化群方程，完整保留了张量与动量结构。
• 它生成了在非零动量尺度下胶子两点函数的修正 Slavnov-Taylor 恒等式，明确显示出对截断项的依赖性。
• 对于具有一个和两个费米子味的 Yukawa 理论，该软件包推导出标量与费米子两点函数的流方程，正确处理了动量路由与符号。
• 鬼场-胶子顶点的 Dyson-Schwinger 方程被符号化推导，所有指标与动量依赖关系均被完整保留。
• 该实现正确处理了费米子场带来的非平凡符号结构，包括度量与导数规则中的 $(-1)^{ab}$ 因子。
• 通过使用统一的场空间与源形式主义，该实现确保了不同方程（fRG、DSE、mSTI）之间的一致性。