[论文解读] Iterative and Iterative-Noniterative Integral Solutions in 3-Loop Massive QCD Calculations

Jakob Ablinger, Arnd Behring+7 more|arXiv (Cornell University)|Jan 1, 2017

Particle physics theoretical and experimental studies参考文献 42被引用 6

一句话总结

本文引入了迭代-非迭代积分——一种在三圈重夸克QCD计算中出现的解，涉及完全椭圆积分及更高阶的超越函数。通过模形式、兰伯特-艾森斯坦级数和q级数展开，提出了一套系统性框架来表示这些非迭代结构，从而利用符号计算工具（如Sigma和HarmonicSums）实现异常维数和算符矩阵元的自动化计算。

ABSTRACT

Various of the single scale quantities in massless and massive QCD up to 3-loop order can be expressed by iterative integrals over certain classes of alphabets, from the harmonic polylogarithms to root-valued alphabets. Examples are the anomalous dimensions to 3-loop order, the massless Wilson coefficients and also different massive operator matrix elements. Starting at 3-loop order, however, also other letters appear in the case of massive operator matrix elements, the so called iterative non-iterative integrals, which are related to solutions based on complete elliptic integrals or any other special function with an integral representation that is definite but not a Volterra-type integral. After outlining the formalism leading to iterative non-iterative integrals,we present examples for both of these cases with the 3-loop anomalous dimension $\gamma_{qg}^{(2)}$ and the structure of the principle solution in the iterative non-interative case of the 3-loop QCD corrections to the $ ho$-parameter.

研究动机与目标

• 解决三圈重夸克QCD计算中超越标准迭代多对数函数的非迭代积分结构的出现问题。
• 为费曼积分中涉及第一类和第二类完全椭圆积分的解建立系统性表示方法。
• 将符号计算技术扩展至处理重夸克算符矩阵元中出现的不可分解二阶微分方程。
• 利用先进的代数与特殊函数工具，实现三圈异常维数和威尔逊系数的自动化评估。
• 将现有椭圆多对数框架推广，以包含物理振幅中的q依赖参数和模形式。

提出的方法

• 将迭代-非迭代积分形式化为嵌套积分，其中某一核为不能表示为伏尔泰拉型积分的定积分（如梅林-巴恩斯积分或椭圆积分）。
• 使用Sigma软件包识别不可分解的二阶微分方程，并将其约化为具有有理系数的非齐次形式。
• 将二阶微分方程的解表示为超几何函数 2F1，再通过邻接关系和三角群关系映射至完全椭圆积分K和E。
• 通过q = exp[−πK(1−z)/K(z)]的模参数化方法，将运动学变量和非齐次项表示为模函数和模形式。
• 利用兰伯特-艾森斯坦级数和椭圆多对数函数构造q级数解，实现在x=0和x=1处的解析展开与快速收敛。
• 通过Sigma、EvaluateMultiSums、SumProduction和HarmonicSums等符号计算工具构建计算流水线，自动化求解梅林空间中的差分方程和微分方程。

实验结果

研究问题

• RQ1 迭代-非迭代积分在三圈重夸克QCD计算中如何出现？它们与标准迭代积分有何区别？
• RQ2 在重夸克算符矩阵元中，不可分解二阶微分方程的解具有怎样的函数结构？
• RQ3 能否系统性地使用完全椭圆积分及其组合来表示三圈费曼积分的解？
• RQ4 以模形式和椭圆多对数函数表示的q级数展开，在多大程度上可构成非迭代积分的统一框架？
• RQ5 符号计算工具能否处理这些非迭代结构的代数复杂性，从而实现异常维数和威尔逊系数的自动化计算？

主要发现

• 三圈异常维数γ(2)qg中因不可约二阶微分方程中出现完全椭圆积分K和E，而包含迭代-非迭代积分结构。
• 三圈ρ参数修正的微分方程解以2F1函数表示，通过邻接关系和三角群关系映射至K和E。
• 三圈ρ参数修正的非齐次解被证明是迭代-非迭代积分，因为2F1函数中的z依赖关系无法简化为积分上下限。
• 在x=0和x=1处的幂级数展开仅用五十项即可达到O(10−30)的精度，证明其收敛速度极快。
• q级数解通过模形式和兰伯特-艾森斯坦级数构造，关键构建块如K(z)和1/K(z)以q依赖参数的椭圆多对数函数表示。
• 模形式中1/ηk(τ)因子的存在阻止其完全对角化为标准椭圆多对数函数，因此需要一个广义框架，其中ELin,m中的参数x和y依赖于q。