论文标题
理性示踪剂：一种更快的理性函数重建工具
Rational Tracer: a Tool for Faster Rational Function Reconstruction
论文作者
论文摘要
有理示踪剂（Ratracer）是一种使用模块化算术和合理功能重建简化复杂算术表达式的工具，其主要思想是分离表达式的构建（通过跟踪，即记录操作列表）及其在理性重建过程中的后续评估。 Ratracer可以简化算术表达式（作为文本文件），线性方程式系统的解决方案（专门针对Feynman Integrals之间的集成（IBP）关系），甚至更广泛地：使用提供的库Ratracer.h在C ++中定义的合理操作的任意序列，在C ++中定义。这些中的任何一个也可以在重建之前自动扩展为串联。本文介绍了Ratracer专门针对IBP减少的用法，并通过与Kira+Firefly和Fire6进行比较来证明其性能优势。具体而言，Ratracer实现了典型的〜10x探测时间，而Kira+Firefly的总时间速度约为5倍，甚至需要重建$ \ 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.
