[论文解读] Difference Equations in Massive Higher Order Calculations

Isabella Bierenbaum, J. Blümlein+2 more|ArXiv.org|Jul 31, 2007

Quantum Chromodynamics and Particle Interactions参考文献 15被引用 12

一句话总结

本文提出了一套系统性解决方案，用于处理在深度非弹性散射中重夸克产生时，由质量型两圈算符矩阵元产生的新型无限级数，这些级数涉及调和和及其广义形式。利用符号求和软件包 Sigma，作者求解高阶差分方程，为这些级数推导出紧凑的解析表达式，从而在具有质量夸克的量子场论中实现更高阶的精确计算。

ABSTRACT

The calculation of massive 2--loop operator matrix elements, required for the higher order Wilson coefficients for heavy flavor production in deeply inelastic scattering, leads to new types of multiple infinite sums over harmonic sums and related functions, which depend on the Mellin parameter $N$. We report on the solution of these sums through higher order difference equations using the summation package { t Sigma}.

研究动机与目标

• 解决在质量型高阶量子场论计算中出现的新型无限级数（涉及调和和及其广义函数）的评估挑战。
• 开发并应用先进的符号求和技术，以求解两圈质量型算符矩阵元计算中产生的高阶差分方程。
• 通过为复杂嵌套级数提供闭式解析解，实现深度非弹性散射中更高阶威尔逊系数的精确计算。
• 展示 Sigma 软件包在求解以往难以处理的、涉及调和和与梅林变量 $N$ 中有理函数的级数方面的有效性。

提出的方法

• 作者采用符号求和软件包 Sigma，该软件包基于 $\Pi\Sigma$-差分域和对消技巧的先进算法，用于求解高阶差分方程。
• 通过望远镜法进行不定求和，为单个被加项找到有理函数与嵌套和的解，确保恒等式的算法验证。
• 使用对消技巧推导出关于 $j$ 和 $k$ 的双重和的递推关系，将复杂的无限级数简化为可解的线性差分方程。
• 利用 Sigma 的递推求解器符号求解递推关系，得到以调和和与 $\zeta$-值表示的一般解。
• 通过数值方法计算初值，以确定一般解中的常数，从而得到无限级数的闭式表达式。
• 通过与已知恒等式比较以及检查 $a, b \to \infty$ 极限下的收敛行为，验证了该方法的有效性。

实验结果

研究问题

• RQ1 在质量型高阶量子场论计算中，如何系统性地求解涉及梅林变量 $N$ 中调和和与有理函数的新类无限级数？
• RQ2 在两圈质量型算符矩阵元中出现的高阶差分方程，哪些符号求和技术是有效的？
• RQ3 Sigma 软件包能否用于推导出不简化为标准调和和形式的级数的紧凑解析表达式？
• RQ4 从这些级数导出的递推关系的非齐次部分的结构是什么？它们与 $\zeta$-值和调和和乘积之间有何关联？

主要发现

• 级数 $\sum_{k=0}^{\infty}\sum_{j=0}^{\infty}f_{0}(N,k,j)$ 的结果为 $\frac{S_{1}(N)^2 + 3S_{2}(N)}{2N(N+1)!}$，为 $\epsilon$-展开线性项中的关键双重级数提供了闭式解。
• 线性项 $\epsilon$ 的结果为 $\sum_{k=0}^{\infty}\sum_{j=0}^{\infty}f_{1}(N,k,j) = \frac{-S_{1}(N)^3 - 3S_{2}(N)S_{1}(N) - 8S_{3}(N)}{6N(N+1)!}$，展示了该方法处理立方调和和结构的能力。
• 对于级数 $\sum_{i=1}^{\infty}\frac{B(N,i)}{i}S_{1}(i+N)^2$，结果为 $\frac{17}{10}\zeta_2^2 + 4S_1(N)\zeta_3 + 2S_{-2}(N)\zeta_2 + S_1(N)^2\zeta_2 - 3S_4(N) + 2S_{-2}(N)^2 - 4S_1(N)S_3(N) - S_1(N)^2S_2(N) + \frac{S_1(N)^2}{N^2} + \frac{2S_1(N)}{N^3} + \frac{2}{N^4} - (-1)^N\frac{2S_{-2}(N) + \zeta_2}{N^2}$，表明该方法在处理交错与非交错项方面的能力。
• 这些级数导出的递推关系阶数最高达四阶，非齐次部分完全以深度不超过 2 的调和和、$\zeta$-值以及 $N$ 的多项式表示，证实了该方法在结构上的一致性。