Abstract:Motivated by the foundational work of Tarasov, who pointed out that the algebraic relations of the type considered here can lead to functional reduction of Feynman integrals, we suitably modify the original method to be able to implement and automatize it and present a $\textit{Mathematica}$ package $\texttt{AlgRel.wl}$. The purpose of this package is to help derive the algebraic relations with arbitrary kinematic quantities, for the product of propagators. Under specific choices of the arbitrary parameters that appear in these relations, we can write the original integral with all massive propagators in general, as a sum of integrals which have fewer massive propagators. The resulting integrals are of reduced complexity for computational purposes. For the one-loop cases, with all different and non-zero masses, this would result in integrals with one massive propagator. We also devise a strategy so that the method can also be applied to higher-loop integrals. We demonstrate the procedure and the results obtained using the package for various one-loop and higher-loop examples. Due to the fact that the Feynman integrals are intimately related to the hypergeometric functions, a useful consequence of these algebraic relations is in deriving the sets of non-trivial reduction formulae. We present various such reduction formulae and further discuss how, more such formulae can be obtained than described here. The $\texttt{AlgRel.wl}$ package and an example notebook $\texttt{Examples.nb}$ can be found at <a class="link-external link-https" href="https://github.com/TanayPathak-17/Algebraic-relation-for-the-product-of-propagators" rel="external noopener nofollow">this https URL</a>

FaRe: a Mathematica package for tensor reduction of Feynman integrals

AMFlow: A Mathematica package for Feynman integrals computation via auxiliary mass flow

Efficient reduction of Feynman integrals on supercomputers

FeynCalc 10: Do multiloop integrals dream of computer codes?

Feynman integral reduction: balanced reconstruction of sparse rational functions and implementation on supercomputers in a co-design approach

Semi-automatic Calculations of Multi-loop Feynman Amplitudes with AmpRed

OPITeR: A program for tensor reduction of multi-loop Feynman Integrals

Tensor Reduction for Feynman Integrals with Lorentz and Spinor Indices

FIRE 6.5: Feynman Integral Reduction with New Simplification Library

AMBRE - a Mathematica package for the construction of Mellin-Barnes representations for Feynman integrals

Reduction of Feynman Integrals in the Parametric Representation

New multiloop capabilities of FeynCalc 10

Reduction to master integrals and transverse integration identities

Blade: A package for block-triangular form improved Feynman integrals decomposition

$\texttt{AlgRel.wl}$: Algebraic Relations for the Product of Propagators in Feynman integrals

FeynRules 2.0 - A complete toolbox for tree-level phenomenology

Efficient Computation of One-Loop Feynman Integrals and Fixed-Branch Integrals to High Orders in $ε$

Reduction to master integrals via intersection numbers and polynomial expansions

Integral Reduction with Kira 2.0 and Finite Field Methods

Feynman integrals with tensorial structure in the negative dimensional integration scheme