Balancing act: Multivariate rational reconstruction for IBP

被引:11
作者
Belitsky, A., V [1 ]
Smirnov, A., V [2 ,3 ]
Yakovlev, R., V [2 ,3 ]
机构
[1] Arizona State Univ, Dept Phys, Tempe, AZ 85287 USA
[2] Lomonosov Moscow State Univ, Res Comp Ctr, Moscow 119992, Russia
[3] Moscow Ctr Fundamental & Appl Math, Moscow 119992, Russia
基金
俄罗斯科学基金会; 美国国家科学基金会;
关键词
GREATEST COMMON DIVISORS; POLYNOMIALS; INTEGRATION; PARTS;
D O I
10.1016/j.nuclphysb.2023.116253
中图分类号
O412 [相对论、场论]; O572.2 [粒子物理学];
学科分类号
摘要
We address the problem of unambiguous reconstruction of rational functions of many variables. This is particularly relevant for recovery of exact expansion coefficients in integration-by-parts identites (IBPs) based on modular arithmetic. These IBPs are indispensable in modern approaches to evaluation of multiloop Feynman integrals by means of differential equations. Modular arithmetic is far more superior to algebraic implementations when one deals with high-multiplicity situations involving a large number of Lorentz invariants. We introduce a new method based on balanced relations which allows one to achieve the goal of a robust functional restoration with minimal data input. The technique is implemented as a Mathematica package Reconstruction.m in the FIRE6 environment and thus successfully demonstrates a proof of concept. & COPY; 2023 The Author(s). Published by Elsevier B.V. This is an open access article under the CC BY license (http://creativecommons .org /licenses /by /4 .0/). Funded by SCOAP3.
引用
收藏
页数:16
相关论文
共 37 条
[1]  
Abramowitz Milton, 1988, Handbook of Mathematical Functions: With Formulars, Graphs, and Mathematical Tables, DOI DOI 10.1119/1.15378
[2]  
Anastasiou C, 2004, J HIGH ENERGY PHYS
[3]  
Ben-Or M., 1988, Proceedings of the Twentieth Annual ACM Symposium on Theory of Computing, P301, DOI 10.1145/62212.62241
[4]   INTEGRATION BY PARTS - THE ALGORITHM TO CALCULATE BETA-FUNCTIONS IN 4-LOOPS [J].
CHETYRKIN, KG ;
TKACHOV, FV .
NUCLEAR PHYSICS B, 1981, 192 (01) :159-204
[5]  
Chuharev F.S., 2022, THESIS MOSCOW STATE, P1
[6]   Sparse interpolation of multivariate rational functions [J].
Cuyt, Annie ;
Lee, Wen-shin .
THEORETICAL COMPUTER SCIENCE, 2011, 412 (16) :1445-1456
[7]  
de Kleine J., 2005, P ISSAC 2005, P124, DOI DOI 10.1145/1073884.1073903
[8]  
Diaz A., 1998, ISSAC 98. Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, P30, DOI 10.1145/281508.281538
[9]   Barycentric rational interpolation with no poles and high rates of approximation [J].
Floater, Michael S. ;
Hormann, Kai .
NUMERISCHE MATHEMATIK, 2007, 107 (02) :315-331
[10]   COMPUTATIONAL-COMPLEXITY OF SPARSE RATIONAL INTERPOLATION [J].
GRIGORIEV, D ;
KARPINSKI, M ;
SINGER, MF .
SIAM JOURNAL ON COMPUTING, 1994, 23 (01) :1-11