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.