Automating Renormalization of Quantum Field Theories
High Energy Physics - Phenomenology
2007-12-07 v1
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 gamma-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.
Cite
@article{arxiv.0712.1016,
title = {Automating Renormalization of Quantum Field Theories},
author = {A. D. Kennedy and T. Binoth and T. Rippon},
journal= {arXiv preprint arXiv:0712.1016},
year = {2007}
}
Comments
Invited talk given by A.D. Kennedy at the International Workshop on Symbolic-Numeric Computation'07, University of Western Ontario, Canada