Soft parton resummation in the current region of semi-inclusive deep inelastic scattering

We discuss resummation of large logarithmic terms that appear in the cross-section of semi-inclusive DIS in the case when the final-state hadron follows the direction of the incoming electroweak vector boson in the c.m. frame of the vector boson and the initial-state proton.Comment: Presented at the 8th International Workshop on Deep Inelastic Scattering (DIS2000), Liverpool, U.K., April 2000; 4 pages, 2 fig

Getting DNA twist rigidity from single molecule experiments

We use an elastic rod model with contact to study the extension versus rotation diagrams of single supercoiled DNA molecules. We reproduce quantitatively the supercoiling response of overtwisted DNA and, using experimental data, we get an estimation of the effective supercoiling radius and of the twist rigidity of B-DNA. We find that unlike the bending rigidity, the twist rigidity of DNA seems to vary widely with the nature and concentration of the salt buffer in which it is immerged

Lower bounds for open charm and beauty contributions to F_2

On the basis of some peculiar scaling properties of the OPE coefficient functions, we give the lower bounds for F_2^{c\bar{c}} and F_2^{b\bar{b}} independently of the properties of the gluon density function. Predictions for F_2^{b\bar{b}} within reach of HERA are made.Comment: 10 pages, 4 eps figures. Misprints are corrected and comment is added. To appear in JHE

Error Estimates on Parton Density Distributions

Error estimates on parton density distributions are presently based on the traditional method of least squares minimisation and linear error propagation in global QCD fits. We review the underlying assumptions and the various mathematical representations of the method and address some technical issues encountered in such a global analysis. Parton distribution sets which contain error information are described.Comment: Latex, 12 pages, 5 figures. Needs iopart.cls and iopart12.clo. Presented at New Trends in HERA Physics 2001, Ringberg Castle, Tegernsee, Germany, June 17-22, 200

Higgs boson production with one bottom quark jet at hadron colliders

We present total rates and kinematic distributions for the associated production of a single bottom quark and a Higgs boson at the Tevatron and the LHC. We include next-to-leading order QCD corrections and compare the results obtained in the four and five flavor number schemes for parton distribution functions.Comment: 4 pages, 8 figures, RevTeX

The impact of new neutrino DIS and Drell-Yan data on large-x parton distributions

New data sets have recently become available for neutrino and antineutrino deep inelastic scattering on nuclear targets and for inclusive dimuon production in pp pd interactions. These data sets are sensitive to different combinations of parton distribution functions in the large-x region and, therefore, provide different constraints when incorporated into global parton distribution function fits. We compare and contrast the effects of these new data on parton distribution fits, with special emphasis on the effects at large x. The effects of the use of nuclear targets in the neutrino and antineutrino data sets are also investigated.Comment: 24 pages, 13 figure

Heavy Quark Mass Effects in Deep Inelastic Scattering and Global QCD Analysis

A new implementation of the general PQCD formalism of Collins, including heavy quark mass effects, is described. Important features that contribute to the accuracy and efficiency of the calculation of both neutral current (NC) and charged current (CC) processess are explicitly discussed. This new implementation is applied to the global analysis of the full HERA I data sets on NC and CC cross sections, with correlated systematic errors, in conjunction with the usual fixed-target and hadron collider data sets. By using a variety of parametrizations to explore the parton parameter space, robust new parton distribution function (PDF) sets (CTEQ6.5) are obtained. The new quark distributions are consistently higher in the region x ~ 10^{-3} than previous ones, with important implications on hadron collider phenomenology, especially at the LHC. The uncertainties of the parton distributions are reassessed and are compared to the previous ones. A new set of CTEQ6.5 eigenvector PDFs that encapsulates these uncertainties is also presented.Comment: 32 pages, 12 figures; updated, Publication Versio

New results on rewrite-based satisfiability procedures

Program analysis and verification require decision procedures to reason on theories of data structures. Many problems can be reduced to the satisfiability of sets of ground literals in theory T. If a sound and complete inference system for first-order logic is guaranteed to terminate on T-satisfiability problems, any theorem-proving strategy with that system and a fair search plan is a T-satisfiability procedure. We prove termination of a rewrite-based first-order engine on the theories of records, integer offsets, integer offsets modulo and lists. We give a modularity theorem stating sufficient conditions for termination on a combinations of theories, given termination on each. The above theories, as well as others, satisfy these conditions. We introduce several sets of benchmarks on these theories and their combinations, including both parametric synthetic benchmarks to test scalability, and real-world problems to test performances on huge sets of literals. We compare the rewrite-based theorem prover E with the validity checkers CVC and CVC Lite. Contrary to the folklore that a general-purpose prover cannot compete with reasoners with built-in theories, the experiments are overall favorable to the theorem prover, showing that not only the rewriting approach is elegant and conceptually simple, but has important practical implications.Comment: To appear in the ACM Transactions on Computational Logic, 49 page