J_AW,WA functions in Passarino-Veltman reduction

In this paper we continue to study a special class of Passarino-Veltman functions J arising at the reduction of infrared divergent box diagrams. We describe a procedure of separation of two types of singularities, infrared and mass singularities, which are absorbed in simple C0 functions. The infrared divergences of C0's can be regularized then by any method: photon mass, dimensionally or by the width of an unstable particle. Functions J, in turn, are represented as certain linear combinations of the standard D0 and C0 Passarino-Veltman functions. The former are free of both types of singularities and are expressed as explicit and compact linear combinations of logarithms and dilogarithm functions. We present extensive comparisons of numerical results with those obtained with the aid of the LoopTools package

Radiative Corrections to Neutrino Deep Inelastic Scattering Revisited

Radiative corrections to neutrino deep inelastic scattering are revisited. One-loop electroweak corrections are re-calculated within the automatic SANC system. Terms with mass singularities are treated including higher order leading logarithmic corrections. Scheme dependence of corrections due to weak interactions is investigated. The results are implemented into the data analysis of the NOMAD experiment. The present theoretical accuracy in description of the process is discussed.Comment: 19 pages, two figures are added, discussion of theoretical uncertainties is extende

QED corrections with partial angular integration to fermion pair production in e+e- - annihilation

Analytic formulae are derived for the complete photon energy spectrum due to QED corrections to fermion pair production in case of a limited angular acceptance for the final state fermions. After a numerical integration over the energy of non-observed photons, this corresponds to typical experimental conditions at LEP/SLC.Comment: 8 pages, Latex, text is unchanged compared to preprint and Journal-re

Radiative Corrections to Longitudinal and Transverse Gauge Boson and Higgs Production

Radiative corrections to gauge boson and Higgs production computed recently using soft-collinear effective theory (SCET) require the one-loop high-scale matching coefficients in the standard model. We give explicit expressions for the matching coefficients for the effective field theory (EFT) operators for q qbar -> VV and q qbar -> phi^+ phi for a general gauge theory with an arbitrary number of gauge groups. The group theory factors are given explicitly for the standard model, including both QCD and electroweak corrections.Comment: 16 pages, 49 figure

Model independent QED corrections to the process ep →\to eX

We give an exhaustive presentation of the semi-analytical approach to the model independent leptonic QED corrections to deep inelastic neutral current lepton-nucleon scattering. These corrections include photonic bremsstrahlung from and vertex corrections to the lepton current of the order {\cal O}(\alpha) with soft photon exponentiation. % A common treatment of these radiative corrections in several variables -- leptonic, hadronic, mixed, Jaquet-Blondel variables -- has been developed and double differential cross-sections are calculated. In all sets of variables we use some structure functions, which depend on the hadronic variables and which do not have to be defined in the quark parton model. The remaining numerical integrations are twofold (for leptonic variables) or onefold (for all other variables). For the case of hadronic variables, all phase space integrals have been performed analytically. Numerical results are presented for a large kinematical range, covering fixed target as well as collider experiments at HERA or LEP\otimesLHC, with a special emphasis on HERA physics.We give an exhaustive presentation of the semi-analytical approach to the model independent leptonic QED corrections to deep inelastic neutral current lepton-nucleon scattering. These corrections include photonic bremsstrahlung from and vertex corrections to the lepton current of the order ${\cal O}(\alpha)$ with soft photon exponentiation. % A common treatment of these radiative corrections in several variables -- leptonic, hadronic, mixed, Jaquet-Blondel variables -- has been developed and double differential cross-sections are calculated. In all sets of variables we use some structure functions, which depend on the hadronic variables and which do not have to be defined in the quark parton model. The remaining numerical integrations are twofold (for leptonic variables) or onefold (for all other variables). For the case of hadronic variables, all phase space integrals have been performed analytically. Numerical results are presented for a large kinematical range, covering fixed target as well as collider experiments at HERA or LEP$\otimes$LHC, with a special emphasis on HERA physics

Four-fermion production with RACOONWW

RACOONWW is an event generator for e+e- --> WW --> 4fermions(+gamma) that includes full tree-level predictions for e+e- --> 4f and e+e- --> 4f+gamma as well as O(alpha) corrections to e+e- --> 4f in the so-called double-pole approximation. We briefly sketch the concept of the calculation on which this generator is based and present some numerical results.Comment: 9 pages, latex, 6 postscript files, to appear in the proceedings of the UK Phenomenology Workshop on Collider Physics, Durham, UK, 19-24 September, 199

Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility

Word equations are a crucial element in the theoretical foundation of constraint solving over strings, which have received a lot of attention in recent years. A word equation relates two words over string variables and constants. Its solution amounts to a function mapping variables to constant strings that equate the left and right hand sides of the equation. While the problem of solving word equations is decidable, the decidability of the problem of solving a word equation with a length constraint (i.e., a constraint relating the lengths of words in the word equation) has remained a long-standing open problem. In this paper, we focus on the subclass of quadratic word equations, i.e., in which each variable occurs at most twice. We first show that the length abstractions of solutions to quadratic word equations are in general not Presburger-definable. We then describe a class of counter systems with Presburger transition relations which capture the length abstraction of a quadratic word equation with regular constraints. We provide an encoding of the effect of a simple loop of the counter systems in the theory of existential Presburger Arithmetic with divisibility (PAD). Since PAD is decidable, we get a decision procedure for quadratic words equations with length constraints for which the associated counter system is \emph{flat} (i.e., all nodes belong to at most one cycle). We show a decidability result (in fact, also an NP algorithm with a PAD oracle) for a recently proposed NP-complete fragment of word equations called regular-oriented word equations, together with length constraints. Decidability holds when the constraints are additionally extended with regular constraints with a 1-weak control structure.Comment: 18 page

Pinning down the kaon form factors in K^+ -> mu^+ nu_mu gamma decay

We find that the normal muon polarization in the decay K->mu nu_mu gamma is very sensitive to the values of the kaon vector F_V and axial-vector F_A form factors. It is shown that the ongoing KEK-E246 experiment can definitely determine the signs of the sum of the form factors if their difference is fixed from other considerations. This method can also verify the form factor values and signs obtained from the K^+ -> l^+ nu_l e^+ e^- decays. A new experiment with sensitivity to the normal and transverse muon polarizations of about 10^-4 will provide a unique possibility to determine the F_V and F_A values with a few percent accuracy.Comment: revtex, 5 pages, 2 figures. Minor corrections made for the journal version of the pape

The order O(αˉ αˉs)O(\bar{\alpha}~\bar{\alpha}_s) and O(αˉ2)O(\bar{\alpha}^2) corrections to the decay width of the neutral Higgs boson to the bˉb\bar{b}b pair

We present the analytical expressions for the contributions of the order $O(\bar{\alpha}~\bar{\alpha}_s)$ and $O(\bar{\alpha}^2)$ corrections to the decay width of the Standard Model Higgs boson into the $\bar{b}b$-pair. The numerical value of the mixed QED and QCD correction of order $O(\bar{\alpha}~\bar{\alpha}_s)$ is comparable with the previously calculated terms in the perturbative series for $\Gamma(H^0\to\bar{b}b)$.Comment: LaTeX 5 pages, accepted for publication in Pisma Zh. Eksp. Teor. Fiz. v 66, N5 (1997