FeynRules – Feynman rules made easy

In this paper we present FeynRules, a new Mathematica package that facilitates the implementation of new particle physics models. After the user implements the basic model information (e.g., particle content, parameters and Lagrangian), FeynRules derives the Feynman rules and stores them in a generic form suitable for translation to any Feynman diagram calculation program. The model can then be translated to the format specific to a particular Feynman diagram calculator via FeynRules translation interfaces. Such interfaces have been written for CalcHEP/CompHEP, FeynArts/FormCalc, MadGraph/MadEvent and Sherpa, making it possible to write a new model once and have it work in all of these programs. In this paper, we describe how to implement a new model, generate the Feynman rules, use a generic translation interface, and write a new translation interface. We also discuss the details of the FeynRules code.Program summaryProgram title: FeynRulesCatalogue identifier: AEDI_v1_0Program summary URL::http://cpc.cs.qub.ac.uk/summaries/AEDI_v1_0.htmlProgram obtainable from: CPC Program Library, Queen's University, Belfast, N. IrelandLicensing provisions: Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.htmlNo. of lines in distributed program, including test data, etc.: 15 980No. of bytes in distributed program, including test data, etc.: 137 383Distribution format: tar.gzProgramming language: MathematicaComputer: Platforms on which Mathematica is availableOperating system: Operating systems on which Mathematica is availableClassification: 11.1, 11.2, 11.6Nature of problem: Automatic derivation of Feynman rules from a Lagrangian. Implementation of new models into Monte Carlo event generators and FeynArts.Solution method: FeynRules works in two steps:1. derivation of the Feynman rules directly form the Lagrangian using canonical commutation relations among fields and creation operators.2. implementation of the new physics model into FeynArts as well as various Monte Carlo programs via interfaces.Full-size tableTable optionsView in workspaceDownload as CSVRestrictions: The Lagrangian must fulfill basic QFT requirements, such as Lorentz and gauge invariance. Only fields with spin 0, 1/2, 1 and 2 are implemented.Unusual features: Translation interfaces to FeynArts, CalcHEP/CompHEP, MadGraph and Sherpa exist.Running time: The running time depends on the complexity of the Lagrangian, and varies from seconds (Standard Model) to minutes (more complicated models, like the 3-Site Model).