839 research outputs found
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
- …