[论文解读] When epsilon-expansion of hypergeometric functions is expressible in terms of multiple polylogarithms: the two-variables examples

V. V. Bytev, M.Yu. Kalmykov+1 more|arXiv (Cornell University)|Dec 19, 2012

Mathematical functions and polynomials参考文献 10被引用 7

一句话总结

本文提出了一种系统性算法，通过微分方程和可分解性/线性参数化条件，将双变量 Horn 型超几何函数的高阶 $\varepsilon$-展开系数表示为多重 polylogarithm 的形式。关键结果是，只有当在系统的奇点流形上同时满足可分解性和线性参数化这两个结构条件时，此类表达才可能实现。

ABSTRACT

In this talk, we discuss the algorithm for the construction of analytical coefficients of higher order epsilon expansion of some Horn type hypergeometric functions of two variables around rational values of parameters.

研究动机与目标

• 开发一种系统方法，用于计算双变量 Horn 型超几何函数在有理参数附近的高阶 $\varepsilon$-展开系数。
• 识别这些系数可表示为多重 polylogarithm 的必要且充分条件。
• 通过系数函数的微分方程，将一变量 $\varepsilon$-展开框架推广至双变量情形。
• 阐明有限部分与高阶 $\varepsilon$-展开项在多重 polylogarithm 表示性上的区别。
• 通过一 Loop 费曼图计算和 Mellin-Barnes 积分中的已知结果验证该方法。

提出的方法

• 通过在 $\vec{A}_0$ 处对超几何函数的定义 PDE 关于参数 $\vec{A}$ 求导，推导出 $\varepsilon$-展开系数 $h_j(\vec{z})$ 的线性偏微分方程组 (PDEs)。
• 利用通过有理函数 $R_k(t)$ 定义的广义迭代积分，分析所得非齐次 PDE 系统在多重 polylogarithm 表示下的可解性。
• 为确保解空间支持迭代积分（这是多重 polylogarithmic 形式所必需的），必须实现微分系统结构的可分解性。
• 在系统的奇点流形 $L$ 上施加线性参数化条件，包括 $\{z_1\}, \{z_2\}, \{U_0\}, \{T_0\}, \{U_0T_0 - U_1T_1\}$，以实现代数函数向有理函数的参数化。
• 该方法确保所有由奇点流形元素之比产生的代数函数，如 $\left(L_i/(1-L_i)\right)^{1/q}$，均可实现线性参数化，从而具备以多重 polylogarithm 表示的可能性。
• 通过与已知的 QCD 计算和 Mellin-Barnes 积分展开的一致性，验证了该方法的有效性。

实验结果

研究问题

• RQ1 在何种条件下，双变量 Horn 型超几何函数的高阶 $\varepsilon$-展开系数可表示为多重 polylogarithm？
• RQ2 可分解性与线性参数化条件如何共同决定 $h_j(\vec{z})$ 在多重 polylogarithmic 形式下的可表示性？
• RQ3 为何超几何函数的有限部分可表示为多重 polylogarithm，并不意味着高阶 $\varepsilon$-系数也具有相同的表示形式？
• RQ4 奇点流形元素 $L = \{z_1, z_2, U_0, T_0, U_0T_0 - U_1T_1\}$ 在决定 PDE 系统在多重 polylogarithm 下的可解性方面起什么作用？
• RQ5 双变量 $\varepsilon$-展开框架能否通过超几何表示系统性地推广至高圈费曼图？

主要发现

• 双变量超几何函数 $\varepsilon$-展开的解析系数 $h_j(\vec{z})$ 可表示为多重 polylogarithm 的充要条件是：在奇点流形 $L$ 上，可分解性与线性参数化条件必须同时满足。
• 即使超几何函数的有限部分 ($h_0$) 可表示为多重 polylogarithm，对于 $j \geq 1$ 的高阶系数 $h_j$ 也可能无法表示，凸显了结构复杂性上的非平凡差异。
• 线性参数化条件必须对奇点流形 $L$ 的所有元素同时成立，包括代数函数如 $\left(L_i/(1-L_i)\right)^{1/q}$ 和 $\left((L_iL_j)/(L_i+L_j-L_iL_j)\right)^{1/q}$，以确保可表示性。
• 该方法成功复现了 QCD 计算和 Mellin-Barnes 积分展开中的已知结果，证实了与现有文献的一致性。
• 通过对方程原始超几何 PDE 关于参数求导，推导出 $h_j(\vec{z})$ 的 PDE 系统，得到一个非齐次线性系统，其解可通过迭代积分表示。
• 该框架将 [20] 中的一变量 $\varepsilon$-展开方法推广至双变量情形，通过显式例子表明：在给定条件下，具有有理参数的 $F_3$ 超几何函数可实现 $\varepsilon$-展开为多重 polylogarithm。