Automatic Computation of Higher Order Corrections

根据现代粒子物理学，轻子和夸克被认为是物质最基本的元素。这些粒子的各种反应是由与光子、重玻色子和胶子的相互作用引起的。它们的动力学用标准理论来描述。为了用实验来检验理论预测，应该计算所有观测到的反应的概率。由于微扰计算的复杂性，手工操作变得越来越困难。高精度的预测还需要更高阶校正值，包括1循环。这一事实促使我们开发了一种自动化系统。在这个项目中，世界上第一次在该系统的帮助下估计了过程e^+e^-*wmuv^^的辐射修正。这一结果与迄今已知的近似计算有很大不同。为了对最后四个费米子过程进行辐射修正，目前正在对该系统进行扩展。标准理论显然不是终极理论。超对称理论可能会超越这个标准模型。为了从实验上发现超对称粒子，人们做了很多努力。由于大量的粒子和相互作用，这一理论的自动系统是不可见的；它已经被开发出来，并由该系统创建的一些事件产生器被提供给实验分析。对于自动系统，应该配备自检机制以获得可靠的结果。在与法国物理学家的合作下，为此目的在系统中引入了非线性规范固定项。

According to the modern particle physics the leptons and quarks are considered to be the most fundamental elements of the matter. Various reactions of these particles are caused by the interaction with photons, heavy bosons and gluons. Their dynamics is described by the standard theory. In order to examine the theoretical predictions with experiments, the probability of the observed reactions should be calculated among all. Because of the complexity of the perturbative calculations, manipulations by hand become harder and harder. High precision predictions further require the higher order corrections, including 1-loop. This fact has led us to develop an automatic system. In this project the radiative corrections to the process e^+e^-*Wmuv^^- was estimated with the help of the system, for the first time in the world. The result differs sizeably from an approximated calculation known so far. Extension of the system is now undergoing in aiming at the radiative corrections to the final four fermion processes.The standard theory is apparently not the ultimate theory. A supersymmetric theory might by beyound that standard model. Many efforts have been made to discover the supersymmetric particles experimentally. Because of a number of particles and interactions, an automatic system for this theory is ineviatble ; it has been developed and some event generators created by the system have been supplied to the experimental analyzes.For an automatic system a self-check mechanism should be equiped for getting reliable results. Under the collaboration with French physicists, the non-linear gauge fixing terms were introduced into the system for this purpose.