Rational Tracer：一种快速的有理函数重构工具
Rational Tracer: a Tool for Faster Rational Function Reconstruction
摘要：
RationalTracer（RationalTracer）是一个使用模运算和有理函数重构来简化复杂算术表达式的工具，其主要思想是将表达式的构造（通过跟踪，即记录操作列表）与其随后在有理重构期间的求值分离。Ratracer可以简化算术表达式（以文本文件形式提供）、线性方程组的求解（特别针对费曼积分之间的分部积分（IBP）关系），甚至更一般地：使用提供的库ratracer. h在C++中定义的任意有理运算序列。这些中的任何一个也可以在重建之前自动扩展成系列。本文介绍了Rupiter的使用，特别关注IBP降低，并通过与Kira+FireFly和Fire 6的比较来展示其性能优势。具体来说，Rupper实现了典型的~ 10倍探测时间和~ 5倍的总时间加速比Kira+FireFly，甚至更高，如果只有$\varepsilon$中的几个项需要重建。
英文摘要：
Rational Tracer (Ratracer) is a tool to simplify complicated arithmetic expressions using modular arithmetics and rational function reconstruction, with the main idea of separating the construction of expressions (via tracing, i.e. recording the list of operations) and their subsequent evaluation during rational reconstruction. Ratracer can simplify arithmetic expressions (provided as text files), solutions of linear equation systems (specifically targeting Integration-by-Parts (IBP) relations between Feynman integrals), and even more generally: arbitrary sequences of rational operations, defined in C++ using the provided library ratracer.h. Any of these can also be automatically expanded into series prior to reconstruction. This paper describes the usage of Ratracer specifically focusing on IBP reduction, and demonstrates its performance benefits by comparing with Kira+FireFly and Fire6. Specifically, Ratracer achieves a typical ~10x probe time and ~5x overall time speedup over Kira+FireFly, and even higher if only a few terms in $\varepsilon$ need to be reconstructed.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
