Automating renormalization of quantum field theories

Authors:
A. D. Kennedy;Thomas Binoth;Thomas Rippon
Affiliations:
University of Edinburgh, Edinburgh, Scotland;University of Edinburgh, Edinburgh, Scotland;University of Edinburgh, Edinburgh, Scotland
Venue:
Proceedings of the 2007 international workshop on Symbolic-numeric computation
Year:
2007

Citing 3
Cited 0

Fast algorithm for calculation of Dirac's gamma-matrices traces

ACM SIGSAM Bulletin
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms

The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
An improved equivalence algorithm

Communications of the ACM

Quantified Score

Hi-index	0.01

Visualization

Abstract

We give an overview of state-of-the-art multi-loop Feynman diagram computations, and explain how we use symbolic manipulation to generate renormalized integrals that are then evaluated numerically. We explain how we automate BPHZ renormalization using "henges" and "sectors", and give a brief description of the symbolic tensor and Dirac γ-matrix manipulation that is required. We shall compare the use of general computer algebra systems such as Maple with domain-specific languages such as FORM highlighting in particular memory management issues.