Use of computer algebra in the calculation of Feynman diagrams

The increasing precision of current and future experiments in high-energy physics requires a likewise increase in the accuracy of the calculation of theoretical predictions, in order to find evidence for possible deviations of the generally accepted Standard Model of elementary particles and interactions. Calculating the experimentally measurable cross sections of scattering and decay processes to a higher accuracy directly translates into including higher order radiative corrections in the calculation. The large number of particles and interactions in the full Standard Model results in an exponentially growing number of Feynman diagrams contributing to any given process in higher orders. Additionally, the appearance of multiple independent mass scales makes even the calculation of single diagrams non-trivial. For over two decades now, the only way to cope with these issues has been to rely on the assistance of computers. The aim of the xloops project is to provide the necessary tools to automate the calculation procedures as far as possible, including the generation of the contributing diagrams and the evaluation of the resulting Feynman integrals. The latter is based on the techniques developed in Mainz for solving one- and two-loop diagrams in a general and systematic way using parallel/orthogonal space methods. These techniques involve a considerable amount of symbolic computations. During the development of xloops it was found that conventional computer algebra systems were not a suitable implementation environment. For this reason, a new system called GiNaC has been created, which allows the development of large-scale symbolic applications in an object-oriented fashion within the C++ programming language. This system, which is now also in use for other projects besides xloops, is the main focus of this thesis. The implementation of GiNaC as a C++ library sets it apart from other algebraic systems. Our results prove that a highly efficient symbolic manipulator can be designed in an object-oriented way, and that having a very fine granularity of objects is also feasible. The xloops-related parts of this work consist of a new implementation, based on GiNaC, of functions for calculating one-loop Feynman integrals that already existed in the original xloops program, as well as the addition of supplementary modules belonging to the interface between the library of integral functions and the diagram generator.

A Note on Elementary Derivations

2000 Mathematics Subject Classification: Primary: 14R10. Secondary: 14R20, 13N15.

Spectrally isometric elementary operators

We present criteria for unital elementary operators (of small length) on unital semisimple Banach algebras to be spectral isometries. The surjective ones among them turn out to be algebra automorphisms.

More elementary operators that are spectrally bounded

We discuss some necessary and some sufficient conditions for an elementary operator x↦∑ⁿ_i=1a_ixb_i on a Banach algebra A to be spectrally bounded. In the case of length three, we obtain a complete characterisation when A acts irreducibly on a Banach space of dimension greater than three.

Locally quasi-nilpotent elementary operators

Let A be a unital dense algebra of linear mappings on a complex vector space X. Let φ = Σⁿ _i=1 M_ai,_bi be a locally quasi-nilpotent elementary operator of length n on A. We show that, if {a1, . . . , an} is locally linearly independent, then the local dimension of V (φ) = span{b_ia_j : 1 ≤ i, j ≤ n} is at most n(n−1) 2 . If ldim V (φ) = n(n−1) 2 , then there exists a representation of φ as φ = Σⁿ _i=1 M_ui,_vi with v_iu_j = 0 for i ≥ j. Moreover, we give a complete characterization of locally quasinilpotent elementary operators of length 3.

Elementary operators-still not elementary?

Properties of elementary operators, that is, finite sums of two-sided multiplications on a Banach algebra, have been studied under a vast variety of aspects by numerous authors. In this paper we review recent advances in a new direction that seems not to have been explored before: the question when an elementary operator is spectrally bounded or spectrally isometric. As with other investigations, a number of subtleties occur which show that elementary operators are still not elementary to handle.

Elementary Excitations at Magnetic Surfaces and Their Spin Dependence

The elementary surface excitations are studied by spin-polarized electron energy loss spectroscopy on a prototype oxide surface [an oxygen passivated Fe(001)-p(1 x 1) surface], where the various excitations coexist. For the first time, the surface phonons and magnons are measured simultaneously and are distinguished based on their different spin nature. The dispersion relation of all excitations is probed over the entire Brillouin zone. The different phonon modes observed in our experiment are described by means of ab initio calculations.

Pseudodifferential operators with C*-algebra-valued symbols: Abstract characterizations

Given a separable unital C*-algebra C with norm parallel to center dot parallel to, let E-n denote the Banach-space completion of the C-valued Schwartz space on R-n with norm parallel to f parallel to(2)=parallel to < f, f >parallel to(1/2), < f, g >=integral f(x)* g(x)dx. The assignment of the pseudodifferential operator A=a(x,D) with C-valued symbol a(x,xi) to each smooth function with bounded derivatives a is an element of B-C(R-2n) defines an injective mapping O, from B-C(R-2n) to the set H of all operators with smooth orbit under the canonical action of the Heisenberg group on the algebra of all adjointable operators on the Hilbert module E-n. In this paper, we construct a left-inverse S for O and prove that S is injective if C is commutative. This generalizes Cordes' description of H in the scalar case. Combined with previous results of the second author, our main theorem implies that, given a skew-symmetric n x n matrix J and if C is commutative, then any A is an element of H which commutes with every pseudodifferential operator with symbol F(x+J xi), F is an element of B-C(R-n), is a pseudodifferential operator with symbol G(x - J xi), for some G is an element of B-C(R-n). That was conjectured by Rieffel.

On super-RS algebra and Drinfeld realization of quantum affine superalgebras

We describe the realization of the super-Reshetikhin-Semenov-Tian-Shansky (RS) algebra in quantum affine superalgebras, thus generalizing the approach of Frenkel and Reshetikhin to the supersymmetric (and twisted) case. The algebraic homomorphism between the super-RS algebra and the Drinfeld current realization of quantum affine superalgebras is established by using the Gauss decomposition technique of Ding and Frenkel. As an application, we obtain Drinfeld realization of quantum affine superalgebra U-q [osp(1/2)((1))] and its degeneration - central extended super-Yangian double DY(h over bar) [osp(1/2)((1))].

Behavior and interactions of children in cooperative groups in lower and middle elementary grades

The study investigated the behaviors and interactions of children in structured and unstructured groups as they worked together on a 6-week social studies activity each term for 3 school terms. Two hundred and twelve children in Grade 1 and 184 children in Grade 3 participated in the study. Stratified random assignment occurred so that each gender-balanced group consisted of 1 high-, 2 medium-, and 1 low-ability student. The results show that the children in the structured groups were consistently more cooperative and they provided more elaborated and nonelaborated help than did their peers in the unstructured groups. The children in the structured groups in Grade 3 obtained higher reading and learning outcome scores than their peers in the unstructured groups.

Unitary R-matrices for topological quantum computing

The main problem with current approaches to quantum computing is the difficulty of establishing and maintaining entanglement. A Topological Quantum Computer (TQC) aims to overcome this by using different physical processes that are topological in nature and which are less susceptible to disturbance by the environment. In a (2+1)-dimensional system, pseudoparticles called anyons have statistics that fall somewhere between bosons and fermions. The exchange of two anyons, an effect called braiding from knot theory, can occur in two different ways. The quantum states corresponding to the two elementary braids constitute a two-state system allowing the definition of a computational basis. Quantum gates can be built up from patterns of braids and for quantum computing it is essential that the operator describing the braiding-the R-matrix-be described by a unitary operator. The physics of anyonic systems is governed by quantum groups, in particular the quasi-triangular Hopf algebras obtained from finite groups by the application of the Drinfeld quantum double construction. Their representation theory has been described in detail by Gould and Tsohantjis, and in this review article we relate the work of Gould to TQC schemes, particularly that of Kauffman.

Anisotropic correlated electron model associated with the Temperley-Lieb algebra

We present an anisotropic correlated electron model on a periodic lattice, constructed from an R-matrix associated with the Temperley-Lieb algebra. By modification of the coupling of the first and last sites we obtain a model with quantum algebra invariance.

Comments on the Drinfeld realization of the quantum affine superalgebra U-q[gl(m backslash n)(1)] and its Hopf algebra structure

By generalizing the Reshetikhin and Semenov-Tian-Shansky construction to supersymmetric cases, we obtain the Drinfeld current realization for the quantum affine superalgebra U-q[gl(m\n)((1))]. We find a simple coproduct for the quantum current generators and establish the Hopf algebra structure of this super current algebra.