We describe the main building blocks of a generic automated package for the calculation of Feynman diagrams. These blocks include the generation and creation of a model file, the graph generation, the symbolic calculation at an intermediate level of the Dirac and tensor algebra, implementation of the loop integrals, the generation of the matrix elements or helicity amplitudes, methods for the phase space integrations and eventually the event generation. The report focuses on the fully automated systems for the calculation of physical processes based on the experience in developing GRACE-loop which is a general purpose code applicable to one-loop corrections in the Standard Model. As such, a detailed description of the renormalisation procedure in the Standard Model is given emphasizing the central role played by the non-linear gauge fixing conditions for the construction of such automated codes. These new gauge-fixing conditions are used as a very efficient means to check the results of large scale automated computations in the Standard Model. Their need is better appreciated when it comes to devising efficient and powerful algorithms for the reduction of the tensorial structures of the loop integrals and the reduction of the N > 4 point-function to lower rank integrals. A new technique for these reduction algorithms is described. Explicit formulae for all two-point functions in a generalised non-linear gauge are given, together with the complete set of counterterms. We also show how infrared divergences are dealt with in the system. We give a comprehensive presentation of some systematic test-runs which have been performed at the one-loop level for a wide variety of two-to-two processes to show the validity of the gauge check. These cover fermion-fermion scattering, gauge boson scattering into fermions, gauge bosons and Higgs bosons scattering processes. Comparisons with existing results on some one-loop computation in the Standard Model show excellent agreement. These include e + e − → tt, W + W − , ZH; γγ → tt, W + W − ; eγ → eZ, νW and W + W − → W + W − . We also briefly recount some recent development concerning the calculation of one-loop corrections to 3 body final states cross sections in e + e − with the help of an automated system.

For the study of reactions in High Energy Physics (HEP) automatic computation systems have been developed and are widely used nowadays. GRACE is one of such systems and it has achieved much success in analyzing experimental data. Since we deal with the cross section whose value can be given by calculating hundreds of Feynman diagrams, we manage the large scale calculation, so that effective symbolic manipulation, the treat of singularity in the numerical integration are required. The talk will describe the software design of GRACE system and computational techniques in the GRACE. §1. IntroductionHigh energy experimental physics has produced excellent results thanks to the progress of the detectors and the development of the high energy accelerators with high luminosity. Accordingly, the accurate theoretical computation is required to compare experimental results with theoretical predictions. On the other hand, as the beam energy becomes higher, there appear the physics processes with many final state particles. As a matter of course the number of relevant Feynman diagrams becomes huge. This means that Feynman amplitude calculation is practically impossible when one calculates cross sections by hands.Since the perturbative calculation in quantum field theory is well-defined, it can be realized as an automatic computation system. There appeared several systems, for instance, CompHEP 1) and FeynArt/FeynCalc 2) , in HEP and nowadays the automatic computation of Feynman amplitudes becomes common.We have developed an automatic computation system named GRACE. 3) In section 2, we describe the feature of GRACE system as a concrete example of such system. In section 3, several physical achievements by GRACE are briefly explained. In section 4, we discuss the techniques in GRACE from the view point of computing.

Radiative corrections necessary for high energy e+ e-colliding beam experiments are reviewed. They are considered in an on-shell renormalization scheme of the standard SU(2) X U(l) theory. Comparisons of the adopted scheme with other various schemes are given. The corrections are obtained by both calculating one-loop virtual corrections in the full electroweak theory and by taking into account realistic experimental cuts on the hard photon emission cross section. The reviewed processes are the lepton pair production, i.e., f..l.+ f..l.--, r+r--and e+e--pair production, rr production, the neutrino counting reaction, the hadron production, i.e., light-and heavy-quark pair production and the hadron production through narrow resonance. Higher order QED corrections are also applied to the zo line shape and the narrow resonance production.

No abstract