[논문 리뷰] Symbolic syzygy-constrained reduction rules for Feynman integrals and the LoopIn framework

S. H. Smith|arXiv (Cornell University)|2026. 02. 23.

Particle physics theoretical and experimental studies인용 수 0

한 줄 요약

논문은 다중 루프 페이너노법의 IBP 축소를 위한 시지 제약이 있는 기호적 축소 규칙을 생성하는 새로운 알고리즘을 도입하여 마스터 적분으로의 직접 축소를 가능하게 하고, 복잡한 위상에서의 효율성을 시연하며, LoopIn이라는 기존 도구와의 인터페이스를 갖춘 자동화된 다중 루프 계산 프레임워크를 제시한다.

ABSTRACT

We present a new algorithm for integration-by-parts (IBP) reduction of Feynman integrals with high powers of numerators or propagators, a demanding computational step in evaluating multi-loop scattering amplitudes. The algorithm allows us to avoid a large intermediate system of equations and instead focus on applying direct reduction rules to the integrals. We demonstrate the application of our algorithm with some highly non-trivial examples, namely rank-20 integrals for the double box with an external mass and the massless pentabox. We also achieve much faster IBP reduction for an example of scattering amplitudes for spinning black hole binary systems. Finally, we present LoopIn, a modular framework for automating multi-loop calculations, where the IBP techniques described here can be interfaced.

연구 동기 및 목표

• Motivate and address the computational bottleneck of integration-by-parts reductions in multi-loop Feynman integrals.
• Develop a novel algorithm that generates symbolic reduction rules to directly reduce target integrals to lower-complexity forms.
• Combine syzygy constraints, smart seeding, and operator reshuffling to produce rules with minimal explicit propagator/numerator power dependence.
• Demonstrate the method on challenging two-loop topologies (e.g., double box with external mass, massless pentabox) and a spinning black hole binary amplitude.
• Present LoopIn as a modular framework that automates multi-loop calculations and can interface with existing reduction and numerical evaluation tools.

제안 방법

• Formulate IBP reductions at the operator level to generate symbolic reduction rules rather than solving large linear systems.
• Impose syzygy constraints to restrict identities to relevant propagator subsets, reducing variable count.
• Solve sector-wise syzygy equations with sector-specific weighting to produce initial reduction rules.
• Perform row-reduction (Gaussian elimination) on seeds and identities to derive additional reduction rules iteratively.
• Use backward substitution to apply the resulting rules and reduce target integrals to master integrals.
• If necessary, solve small neighborhood systems around targeted integrals to obtain missing symbolic rules.

Figure 1 : Tower of Sectors one must consider when the top sectors are $(2,1,1,0,0)$ and $(1,2,1,0,0)$ . This drawing is schematic and the horizontal levels here do not correlate with the weighting described later. The relevant information is contained within the arrows, denoting the subsector inher

실험 결과

연구 질문

• RQ1 Can symbolic, syzygy-constrained reduction rules reduce arbitrary target integrals to lower-complexity forms without constructing large intermediate systems?
• RQ2 How well do sector-specific syzygy constraints and operator reshuffling perform on high-rank, multi-scale two-loop integrals?
• RQ3 What gains in rule count and computational effort are achieved for complex topologies (e.g., double box with external mass, massless pentabox) and higher-rank targets?
• RQ4 Can the approach be integrated into a modular framework (LoopIn) to automate and streamline multi-loop calculations from amplitude generation to numerical evaluation?
• RQ5 What are the practical limitations and optimal choices (e.g., monomial ordering, seed selection) for generating and applying these symbolic reduction rules?

주요 결과

• Symbolic reduction rules can reduce high-rank, multi-scale integrals directly to master integrals, reducing reliance on large linear IBP systems.
• Applications to challenging topologies (double box with external mass, massless pentabox) demonstrate successful reductions up to rank 20 with multiple dots.
• For spinning black hole binary amplitudes, the method achieves substantial speedups: example reduction time improves from days to hours when using the symbolic approach.
• An iterative scheme combining syzygy-constrained identities and seed perturbations yields multiple efficient rule sets with relatively small numbers of master integrals.
• LoopIn is introduced as a modular framework that automates multi-loop calculations and interfaces existing tools (Kira, LiteRed, FiniteFlow, AMFlow) for end-to-end processing.

Figure 2 : A flow chart describing the algorithm for generating reduction rules