Automated Lattice Perturbation Theory in the Schrödinger Functional

The author developed the pastor software package for automated lattice perturbation theory calculations in the Schrodinger functional scheme. The pastor code consists of two building blocks, dealing with the generation of Feynman rules and Feynman diagrams respectively. Accepting a rather generic class of lattice gauge and fermion actions, passed to the code in a symbolic form as input, a low level part of pastor will generate Feynman rules to an arbitrary order in the bare coupling with a trivial or an Abelian background field. The second, high level part of pastor is a code generator whose output relies on the vertex generator. It writes programs that evaluate Feynman diagrams for a class of Schrodinger functional observables up to one loop order automatically, the relevant O(a) improvement terms are taken into account. We will describe the algorithms used for implementation of both parts of the code in detail, and provide cross checks with perturbative and non-perturbative data to demonstrate the correctness of our code. We demonstrate the usefulness of the pastor package through various applications taken from the matching process of heavy quark effective theory with quantum chromodynamics. We have e.g. completed a one loop analysis for new candidates for matching observables timely and with rather small effort, highlighting two advantages of an automated software setup. The results that were obtained so far will be useful as a guideline for further non-perturbative studies.