[论文解读] Normalized Fuchsian form on Riemann sphere and differential equations for multiloop integrals

Roman N. Lee, A. A. Pomeransky|arXiv (Cornell University)|Jul 25, 2017

advanced mathematical theories被引用 15

一句话总结

本文提出了一个构造性准则，用于将多圈积分的微分系统在黎曼球面上化为全局归一化的Fuchs型形式，重点关注高能物理中使用的$5$-形式。该文提供了一种算法化方法，以判断此类约化是否可能，通过有理变换和变量替换实现，并证明当多个奇点处的本征值条件阻止全局$5$-形式的构造时，不可约性即发生。

ABSTRACT

We consider the question of reducibility of the differential system to normalized Fuchsian form on the Riemann sphere. The differential equations for the multiloop integrals in $\\epsilon$-form constitute a particular example of the normalized Fuchsian form. We formulate the algorithmic criterion of reducibility. We also consider the question of the proper choice of variable in the differential system suitable for its reduction to $\\epsilon$-form.

研究动机与目标

• 建立微分系统在黎曼球面上可约化为全局归一化Fuchs型形式的构造性准则。
• 解决现有算法在多圈计算中寻找$5$-形式时缺乏终止准则的问题。
• 识别由于奇点处共振或本征值结构导致$5$-形式无法全局实现的条件。
• 提供一种系统化方法，以选择合适的有理变量，实现$5$-形式的全局约化。
• 将$5$-形式约化问题推广至更广泛的归一化Fuchs型形式类，包括非$5$情况。

提出的方法

• 通过本征值归一化规则（如$0 \leq \Re\lambda < 1$或$\lambda \propto \epsilon$）定义归一化Fuchs型形式。
• 使用有理变换$J = T\tilde{J}$将系统$\partial_x J = M J$变换为$\partial_x \tilde{J} = M_T \tilde{J}$，其中$M_T = T^{-1}(MT - \partial_x T)$。
• 对变换矩阵$T$应用分解算法，以检查其是否可分解为具有常数行列式的洛朗多项式分量。
• 使用变量替换$y = \phi(x)$，包括有理函数及$x = p^2(y)/q(y)$，以探索超越局部$5$-形式尝试的全局可约性。
• 将该准则应用于在$x=0,1,-1,\infty$处具有奇点的示例，以测试$M$是否可被全局变换为归一化Fuchs型形式。
• 利用若$M$与$M_T$在某点均被归一化，则$T$在该点必须正则且可逆的事实，推导出可约性的必要条件。

实验结果

研究问题

• RQ1 在何种条件下，多圈积分的微分系统可在黎曼球面上被全局约化为$5$-形式？
• RQ2 判断此类约化是否可能的算法准则为何？如何构造性地计算该准则？
• RQ3 为何某些系统即使在局部约化可能的情况下仍无法实现$5$-形式？其结构性特征是什么？
• RQ4 变量$y$的选择如何影响实现全局归一化Fuchs型形式的可能性？
• RQ5 当$5$-形式不可达时，是否可将变换类扩展至包含非有理变换或广义形式？

主要发现

• 本文建立了微分系统可约化为归一化Fuchs型形式的构造性准则，且在可约时变换矩阵可计算。
• 当多个奇点处的本征值具有$k + 1/2 + \epsilon$形式时，出现$5$-形式不可约性，尤其当存在$n > 3$个此类点时。
• 对于仅存在一个此类问题点的系统，通过使用更广泛的变量变换$x = p^2(y)/q(y)$（满足$\deg q \leq \deg p$）可能实现约化。
• 在奇点位于$x = -1, 1, \infty$的示例中，矩阵可在三点被归一化Fuchs型化，但无法在$x=0$处实现，表明存在局部但非全局可约性。
• 示例2中的矩阵$M$无法被全局约化为$5$-形式，因为分解算法未能找到具有洛朗多项式项的合法$T$-矩阵。
• 该准则表明，全局$5$-形式的存在性等价于黎曼球面上一个全纯向量丛的平凡性，从而将该问题与代数几何联系起来。