On pairs of regular foliations in R(3) and singularities of map-germs

We study germs of pairs of codimension one regular foliations in R(3) . We show that the discriminant of the pair determines the topological type of the pair. We also consider various classifications of the singularities of the discriminant.

The light-cone gauge without prescriptions

Feynman integrals in the physical light-cone gauge are more difficult to solve than their covariant counterparts. The difficulty is associated with the presence of unphysical singularities due to the inherent residual gauge freedom in the intermediate boson propagators constrained within this gauge choice. In order to circumvent these non-physical singularities, the headlong approach has always been to call for mathematical devices - prescriptions - some successful and others not. A more elegant approach is to consider the propagator from its physical point of view, that is, an object obeying basic principles such as causality. Once this fact is realized and carefully taken into account, the crutch of prescriptions can be avoided altogether. An alternative, third approach, which for practical computations could dispense with prescriptions as well as avoiding the necessity of careful stepwise consideration of causality, would be of great advantage. and this third option is realizable within the context of negative dimensions, or as it has been coined, the negative dimensional integration method (NDIM).

Massless and massive one-loop three-point functions in negative dimensional approach

In this article we present the complete massless and massive one-loop triangle diagram results using the negative dimensional integration method (NDIM). We consider the following cases: massless internal fields; one massive, two massive with the same mass m and three equal masses for the virtual particles. Our results are given in terms of hypergeometric and hypergeometric-type functions of the external momenta (and masses for the massive cases) where the propagators in the Feynman integrals are raised to arbitrary exponents and the dimension of the space-time is D. Our approach reproduces the known results; it produces other solutions as yet unknown in the literature as well. These new solutions occur naturally in the context of NDIM revealing a promising technique to solve Feynman integrals in quantum field theories.

Reply to Comment on 'validity of Feynman's prescription of disregarding the Pauli principle in intermediate states'

In a recent paper, we raised a question on the validity of Feynman's prescription of disregarding the Pauli principle in intermediate states of perturbation theory. In the preceding Comment, Cavalcanti correctly pointed out that Feynman's prescription is consistent with the exact solution of the model that we used. This means that the Pauli principle does not necessarily apply to intermediate states. We discuss implications of this puzzling aspect.

Validity of Feynman's prescription of disregarding the Pauli principle in intermediate states

Regarding the Pauli principle in quantum field theory and in many-body quantum mechanics, Feynman advocated that Pauli's exclusion principle can be completely ignored in intermediate states of perturbation theory. He observed that all virtual processes (of the same order) that violate the Pauli principle cancel out. Feynman accordingly introduced a prescription, which is to disregard the Pauli principle in all intermediate processes. This ingenious trick is of crucial importance in the Feynman diagram technique. We show, however, an example in which Feynman's prescription fails. This casts doubts on the general validity of Feynman's prescription. [S1050-2947(99)04604-1].

Causal propagators for algebraic gauges

Applying the principle of analytic extension for generalized functions we derive causal propagators for algebraic non-covariant gauges. The so-generated manifestly causal gluon propagator in the light-cone gauge is used to evaluate two one-loop Feynman integrals which appear in the computation of the three-gluon vertex correction. The result is in agreement with that obtained through the usual prescriptions.

Feynman integrals with tensorial structure in the negative dimensional integration scheme

The negative-dimensional integration method (NDIM) is revealing itself as a very useful technique for computing massless and/or massive Feynman integrals, covariant and noncovanant alike. Up until now however, the illustrative calculations done using such method have been mostly covariant scalar integrals/without numerator factors. We show here how those integrals with tensorial structures also can be handled straightforwardly and easily. However, contrary to the absence of significant features in the usual approach, here the NDIM also allows us to come across surprising unsuspected bonuses. Toward this end, we present two alternative ways of working out the integrals and illustrate them by taking the easiest Feynman integrals in this category that emerge in the computation of a standard one-loop self-energy diagram. One of the novel and heretofore unsuspected bonuses is that there are degeneracies in the way one can express the final result for the referred Feynman integral.

Loop Integrals in Three Outstanding Gauges: Feynman, Light-Cone, and Coulomb

We apply the negative dimensional integration method (NDIM) to three outstanding gauges: Feynman, light-cone, and Coulomb gauges. Our aim is to show that NDIM is a very suitable technique to deal with loop integrals, regardless of which gauge choice that originated them. In the Feynman gauge we perform scalar two-loop four-point massless integrals; in the light-cone gauge we calculate scalar two-loop integrals contributing to two-point functions without any kind of prescriptions, since NDIM can abandon such devices - this calculation is the first test of our prescriptionless method beyond one-loop order; and finally, for the Coulomb gauge we consider a four-propagator massless loop integral, in the split-dimensional regularization context. © 2001 Academic Press.

Contact properties of surfaces in r-3 with corank 1 singularities

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Transverse single-spin asymmetry and cross section for pi(0) and eta mesons at large Feynman x in p(up arrow) + p collisions at root s=200 GeV

Measurements of the differential cross section and the transverse single-spin asymmetry, A(N), vs x(F) for pi(0) and eta mesons are reported for 0.4 < x(F) < 0.75 at an average pseudorapidity of 3.68. A data sample of approximately 6.3 pb(-1) was analyzed, which was recorded during p(up arrow) + p collisions at root s = 200 GeV by the STAR experiment at RHIC. The average transverse beam polarization was 56%. The cross section for pi(0), including the previously unmeasured region of x(F) > 0.55, is consistent with a perturbative QCD prediction, and the eta/pi(0) cross-section ratio agrees with existing midrapidity measurements. For 0.55 < x(F) < 0.75, the average A(N) for eta is 0.210 +/- 0.056, and that for pi(0) is 0.081 +/- 0.016. The probability that these two asymmetries are equal is similar to 3%.

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.

The massless two-loop two-point function and zeta functions in counterterms of Feynman diagrams

The main part of this thesis describes a method of calculating the massless two-loop two-point function which allows expanding the integral up to an arbitrary order in the dimensional regularization parameter epsilon by rewriting it as a double Mellin-Barnes integral. Closing the contour and collecting the residues then transforms this integral into a form that enables us to utilize S. Weinzierl's computer library nestedsums. We could show that multiple zeta values and rational numbers are sufficient for expanding the massless two-loop two-point function to all orders in epsilon. We then use the Hopf algebra of Feynman diagrams and its antipode, to investigate the appearance of Riemann's zeta function in counterterms of Feynman diagrams in massless Yukawa theory and massless QED. The class of Feynman diagrams we consider consists of graphs built from primitive one-loop diagrams and the non-planar vertex correction, where the vertex corrections only depend on one external momentum. We showed the absence of powers of pi in the counterterms of the non-planar vertex correction and diagrams built by shuffling it with the one-loop vertex correction. We also found the invariance of some coefficients of zeta functions under a change of momentum flow through these vertex corrections.

Mathematical aspects of Feynman integrals

In the present dissertation we consider Feynman integrals in the framework of dimensional regularization. As all such integrals can be expressed in terms of scalar integrals, we focus on this latter kind of integrals in their Feynman parametric representation and study their mathematical properties, partially applying graph theory, algebraic geometry and number theory. The three main topics are the graph theoretic properties of the Symanzik polynomials, the termination of the sector decomposition algorithm of Binoth and Heinrich and the arithmetic nature of the Laurent coefficients of Feynman integrals.rnrnThe integrand of an arbitrary dimensionally regularised, scalar Feynman integral can be expressed in terms of the two well-known Symanzik polynomials. We give a detailed review on the graph theoretic properties of these polynomials. Due to the matrix-tree-theorem the first of these polynomials can be constructed from the determinant of a minor of the generic Laplacian matrix of a graph. By use of a generalization of this theorem, the all-minors-matrix-tree theorem, we derive a new relation which furthermore relates the second Symanzik polynomial to the Laplacian matrix of a graph.rnrnStarting from the Feynman parametric parameterization, the sector decomposition algorithm of Binoth and Heinrich serves for the numerical evaluation of the Laurent coefficients of an arbitrary Feynman integral in the Euclidean momentum region. This widely used algorithm contains an iterated step, consisting of an appropriate decomposition of the domain of integration and the deformation of the resulting pieces. This procedure leads to a disentanglement of the overlapping singularities of the integral. By giving a counter-example we exhibit the problem, that this iterative step of the algorithm does not terminate for every possible case. We solve this problem by presenting an appropriate extension of the algorithm, which is guaranteed to terminate. This is achieved by mapping the iterative step to an abstract combinatorial problem, known as Hironaka's polyhedra game. We present a publicly available implementation of the improved algorithm. Furthermore we explain the relationship of the sector decomposition method with the resolution of singularities of a variety, given by a sequence of blow-ups, in algebraic geometry.rnrnMotivated by the connection between Feynman integrals and topics of algebraic geometry we consider the set of periods as defined by Kontsevich and Zagier. This special set of numbers contains the set of multiple zeta values and certain values of polylogarithms, which in turn are known to be present in results for Laurent coefficients of certain dimensionally regularized Feynman integrals. By use of the extended sector decomposition algorithm we prove a theorem which implies, that the Laurent coefficients of an arbitrary Feynman integral are periods if the masses and kinematical invariants take values in the Euclidean momentum region. The statement is formulated for an even more general class of integrals, allowing for an arbitrary number of polynomials in the integrand.