[论文解读] Recent Symbolic Summation Methods to Solve Coupled Systems of Differential and Difference Equations

Johannes Bluemlein, Abilio De Freitas+1 more|arXiv (Cornell University)|Jul 9, 2014

Advanced Topics in Algebra参考文献 36被引用 15

一句话总结

本文提出了一种符号求和方法，用于计算量子电动力学中质量费曼图计算里出现的耦合微分与差分方程组的 $\varepsilon$-展开。通过结合消去耦合算法、差分域/环理论以及 Mathematica 工具包 Sigma、HarmonicSums 和 EvaluateMultiSums，作者高效地推导出嵌套谐波和二项式和形式的洛朗级数解，从而实现了对包含六条重费米子线的阶梯图在内的三圈重质量算符矩阵元的计算。

ABSTRACT

We outline a new algorithm to solve coupled systems of differential equations in one continuous variable $x$ (resp. coupled difference equations in one discrete variable $N$) depending on a small parameter $ε$: given such a system and given sufficiently many initial values, we can determine the first coefficients of the Laurent-series solutions in $ε$ if they are expressible in terms of indefinite nested sums and products. This systematic approach is based on symbolic summation algorithms in the context of difference rings/fields and uncoupling algorithms. The proposed method gives rise to new interesting applications in connection with integration by parts (IBP) methods. As an illustrative example, we will demonstrate how one can calculate the $ε$-expansion of a ladder graph with 6 massive fermion lines.

研究动机与目标

• 开发一种系统性算法，用于计算量子场论中耦合微分与差分方程组的 $\varepsilon$-展开。
• 实现主积分在质量费曼图中 $\varepsilon$ 的洛朗级数解的自动推导。
• 将基于差分域与环的符号求和技术扩展至多尺度 QCD 计算中出现的耦合系统。
• 提供一个计算框架，利用符号工具评估复杂的三圈重质量算符矩阵元。
• 在具有六条重费米子线的阶梯图上展示该方法的有效性。

提出的方法

• 该方法通过梅林变换将 $x$ 变量中的耦合微分方程转化为 $N$ 变量中的耦合递推关系。
• 采用消去耦合算法将系统简化为单个主积分的递推关系，从而实现系统性的 $\varepsilon$-展开。
• 利用符号求和工具（特别是 Sigma 工具包及其在差分环中的相关算法）计算 $\varepsilon$-展开的系数。
• 该方法借助 EvaluateMultiSums 工具将多重和转化为不定嵌套和与积，并利用 SumProduction 将和式约化为基形式。
• 通过 HarmonicSums 实现渐近展开，以处理无穷求和边界和极限计算。
• 最终通过生成函数与符号求和方法，利用母函数反演梅林变换，将结果重构回 $x$-空间。

实验结果

研究问题

• RQ1 能否在 $\varepsilon$-展开中，利用符号求和方法系统求解量子场论中的耦合微分与差分方程组？
• RQ2 如何利用代数算法高效计算多尺度主积分的 $\varepsilon$-展开？
• RQ3 基于差分域/环的符号求和工具在处理复杂三圈重费曼图方面的能力有多大？
• RQ4 该方法能否推广至计算所有三圈重质量算符矩阵元的阶梯拓扑结构？
• RQ5 具有六条重费米子线的阶梯图的 $\varepsilon$-展开具有何种结构？

主要发现

• 该方法成功计算了具有六条重费米子线的三圈阶梯图的 $\varepsilon$-展开，得到了以谐波和广义谐波和表示的显式表达式。
• 推导出了积分 $D_4(N)$ 的前三个 $\varepsilon$-展开系数，包括至 $\varepsilon^{-3}$ 的项，表达式中包含 $S_1(N), S_2(N), S_3(N), S_4(N), S_{-3}(N), S_{-2,1}(N), S_{1,1}(N)$ 及其他广义和。
• 结果中包含了非平凡的谐波和组合，如 $S_1(N)^2$、$S_2(N)$ 和 $S_1(N)S_2(N)$，其系数为 $N$ 的有理函数。
• 该方法能够处理至 $\varepsilon^{-3}$ 的项，且包含有理函数与谐波和，展示了其在高阶 $\varepsilon$-展开中的能力。
• $D_4(N)$ 的最终表达式中包含了 $\zeta_2$、$\zeta_3$ 和 $(-1)^N$ 项，表明该方法能同时捕捉黎曼 zeta 值与交错和。
• 该方法可实现所有依赖于相同主积分的三圈重质量算符矩阵元的自动化计算，且该框架已具备广泛适用的潜力。