FormTracer - A Mathematica Tracing Package Using FORM

Abstract

We present FormTracer, a high-performance, general purpose, easy-to-use Mathematica tracing package which uses FORM. It supports arbitrary space and spinor dimensions as well as an arbitrary number of simple compact Lie groups. While keeping the usability of the Mathematica interface, it relies on the efficiency of FORM. An additional performance gain is achieved by a decomposition algorithm that avoids redundant traces in the product tensors spaces. FormTracer supports a wide range of syntaxes which endows it with a high flexibility. Mathematica notebooks that automatically install the package and guide the user through performing standard traces in space-time, spinor and gauge-group spaces are provided.

Journal version; section on basic usage examples and new shorthand notation added

References in corpus (19)

• Infrared Properties of QCD from Dyson-Schwinger equations
• Baryons as relativistic three-quark bound states
• Pinch Technique: Theory and Applications
• GoSam-2.0: a tool for automated one-loop calculations within the Standard Model and beyond
• Chiral symmetry breaking in continuum QCD
• Landau gauge Yang-Mills correlation functions
• A field-theory motivated approach to symbolic computer algebra
• Towards apparent convergence in asymptotically safe quantum gravity
• Renormalization Group Approach towards the QCD Phase Diagram
• Quantum-gravity effects on a Higgs-Yukawa model
• FeynHelpers: Connecting FeynCalc to FIRE and Package-X
• The quark-gluon vertex in Landau gauge bound-state studies
• A Dyson-Schwinger study of the four-gluon vertex
• Off-shell two loop QCD vertices
• HEPMath 1.4: A Mathematica Package for Semi-Automatic Computations in High Energy Physics
• On gamma_5 in higher-order QCD calculations and the NNLO evolution of the polarized valence distribution
• Forcer: a FORM program for 4-loop massless propagators
• FormLink/FeynCalcFormLink : Embedding FORM in Mathematica and FeynCalc
• Precision Calculations for Future Colliders

Cited by in corpus (50)

• FeynCalc 9.3: New features and improvements
• The nonperturbative functional renormalization group and its applications
• Non-perturbative quark, gluon and meson correlators of unquenched QCD
• Towards apparent convergence in asymptotically safe quantum gravity
• One force to rule them all: asymptotic safety of gravity with matter
• FeynCalc 10: Do multiloop integrals dream of computer codes?
• Quantum gravity: a fluctuating point of view
• FeynHelpers: Connecting FeynCalc to FIRE and Package-X
• Curvature dependence of quantum gravity
• Viability of quantum-gravity induced ultraviolet completions for matter
• Symmetric nuclear matter from the strong interaction
• How perturbative is quantum gravity?
• Effective universality in quantum gravity
• Zooming in on fermions and quantum gravity
• Non-perturbative finite-temperature Yang-Mills theory
• Fierz-complete NJL model study III: Emergence from quark-gluon dynamics
• $d=4$ as the critical dimensionality of asymptotically safe interactions
• Correlation functions of three-dimensional Yang-Mills theory from the FRG
• Lorentz invariance violations in the interplay of quantum gravity with matter
• Recent developments in bound-state calculations using the Dyson-Schwinger and Bethe-Salpeter equations
• Finite temperature spectral functions in the O(N)-model
• N=2 Conformal SYM theories at large N
• Fierz-complete NJL model study: fixed points and phase structure at finite temperature and density
• BPS Wilson loops in generic conformal N=2 SU(N) SYM theories
• Light charged fermions in quantum gravity
• The Asymptotically Safe Standard Model: From quantum gravity to dynamical chiral symmetry breaking
• Fierz-complete NJL model study II: towards the fixed-point and phase structure of hot and dense two-flavor QCD
• Bound state properties from the Functional Renormalisation Group
• DoFun 3.0: Functional equations in Mathematica
• $\mathcal{N}=2$ conformal gauge theories at large R-charge: the $SU(N)$ case
• The weak-gravity bound in asymptotically safe gravity-gauge systems
• Low-energy limit of the $O(4)$ quark-meson model from the functional renormalization group approach
• Wilson loops in terms of color invariants
• Are there ALPs in the asymptotically safe landscape?
• Nonvanishing gravitational contribution to matter beta functions for vanishing dimensionful regulators
• On the weak-gravity bound for a shift-symmetric scalar field
• Yang-Mills glueball masses from spectral reconstruction
• Four-quark scatterings in QCD I
• Dynamical generation of low-energy couplings from quark-meson fluctuations
• Two-Loop $\mathcal{O}({\alpha }_t^2)$ Corrections to the Neutral Higgs Boson Masses in the CP-Violating NMSSM
• Analytic Coupling Structure of Large $N_f$ (Super) QED and QCD
• Fluctuating vector mesons in analytically continued FRG flow equations
• FeynOnium: Using FeynCalc for automatic calculations in Nonrelativistic Effective Field Theories
• Fluctuation-induced higher-derivative couplings and infrared dynamics of the Quark-Meson-Diquark Model
• Refined Gribov-Zwanziger theory coupled to scalar fields in the Landau gauge
• Shift-symmetric Horndeski gravity in the asymptotic-safety paradigm
• $e^{+}{e}^{-}\to {\mu }^{+}{\mu }^{-}$ in the Asymptotically Safe Standard Model
• Functional renormalization of QCD in $1+1$ dimensions: four-fermion interactions from quark-gluon dynamics
• The weak-gravity bound and the need for spin in asymptotically safe matter-gravity models
• Infrared Anomalous Dimensions at Three-Loop in the SM from Conserved Currents