A new numerical method for obtaining gluon distribution functions G(x,Q2)=xg(x,Q2)G(x,Q^2)=xg(x,Q^2), from the proton structure function F2γp(x,Q2)F_2^{\gamma p}(x,Q^2)

An exact expression for the leading-order (LO) gluon distribution function $G(x,Q^2)=xg(x,Q^2)$ from the DGLAP evolution equation for the proton structure function $F_2^{\gamma p}(x,Q^2)$ for deep inelastic $\gamma^* p$ scattering has recently been obtained [M. M. Block, L. Durand and D. W. McKay, Phys. Rev. D{\bf 79}, 014031, (2009)] for massless quarks, using Laplace transformation techniques. Here, we develop a fast and accurate numerical inverse Laplace transformation algorithm, required to invert the Laplace transforms needed to evaluate $G(x,Q^2)$, and compare it to the exact solution. We obtain accuracies of less than 1 part in 1000 over the entire $x$ and $Q^2$ spectrum. Since no analytic Laplace inversion is possible for next-to-leading order (NLO) and higher orders, this numerical algorithm will enable one to obtain accurate NLO (and NNLO) gluon distributions, using only experimental measurements of $F_2^{\gamma p}(x,Q^2)$.Comment: 9 pages, 2 figure

The t-tbar cross-section at 1.8 and 1.96 TeV: a study of the systematics due to parton densities and scale dependence

We update the theoretical predictions for the t-tbar production cross-section at the Tevatron, taking into account the most recent determinations of systematic uncertainties in the extraction of the proton parton densities.Comment: 12 pages, 1 figure, Late

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

Collider Signature of Bulk Neutrinos in Large Extra Dimensions

We consider the collider signature of right-handed neutrinos propagating in $\delta$ (large) extra dimensions, and interacting with Standard Model fields only through a Yukawa coupling to the left-handed neutrino and the Higgs boson. These theories are attractive as they can explain the smallness of the neutrino mass, as has already been shown. We show that if $\delta$ is bigger than two, it can result in an enhancement in the production rate of the Higgs boson, decaying either invisibly or to a $b$ anti-$b$ quark pair, associated with an isolated high $p_T$ charged lepton and missing transverse energy at future hadron colliders, such as the LHC. The enhancement is due to the large number of Kaluza-Klein neutrinos produced in the final state. The observation of the signal event would provide an opportunity to distinguish between the normal and inverted neutrino mass hierarchies, and to determine the absolute scale of neutrino masses by measuring the asymmetry of the observed event numbers in the electron and muon channels.Comment: 31 pages, 13 figures. v2: Added discussion on PDF uncertainties, added reference

Weak-scale phenomenology of models with gauge-mediated supersymmetry breaking

We study in some detail the spectral phenomenology of models in which supersymmetry is dynamically broken and transmitted to the supersymmetric partners of the quarks, leptons and gauge bosons, and the Higgs bosons themselves, via the usual gauge interactions. We elucidate the parameter space of what we consider to be the minimal model, and explore the regions which give rise to consistent radiative electroweak symmetry breaking. We include the weak-scale threshold corrections, and show how they considerably reduce the scale dependence of the results. We examine the sensitivity of our results to unknown higher-order messenger-sector corrections. We compute the superpartner spectrum across the entire parameter space, and compare it to that of the minimal supergravity-inspired model. We delineate the regions where the lightest neutralino or tau slepton is the next-to-lightest supersymmetric particle, and compute the lifetime and branching ratios of the NLSP. In contrast to the minimal supergravity-inspired model, we find that the lightest neutralino can have a large Higgsino component, of order 50%. Nevertheless, the neutralino branching fraction to the gravitino and the light Higgs boson remains small, < 10^{-4}, so the observation of such a decay would point to a non-minimal Higgs sector.Comment: 22 pages, 16 figures, published versio

Sqrt{shat}_{min} resurrected

We discuss the use of the variable sqrt{shat}_{min}, which has been proposed in order to measure the hard scale of a multi parton final state event using inclusive quantities only, on a SUSY data sample for a 14 TeV LHC. In its original version, where this variable was proposed on calorimeter level, the direct correlation to the hard scattering scale does not survive when effects from soft physics are taken into account. We here show that when using reconstructed objects instead of calorimeter energy and momenta as input, we manage to actually recover this correlation for the parameter point considered here. We furthermore discuss the effect of including W + jets and t tbar+jets background in our analysis and the use of sqrt{shat}_{min} for the suppression of SM induced background in new physics searches.Comment: 23 pages, 9 figures; v2: 1 figure, several subsections and references as well as new author affiliation added. Corresponds to published versio

Determination of polarized parton distribution functions and their uncertainties

We investigate the polarized parton distribution functions (PDFs) and their uncertainties by using the world data on the spin asymmetry A_1. The uncertainties of the polarized PDFs are estimated by the Hessian method. The up and down valence-quark distributions are determined well. However, the antiquark distributions have large uncertainties at this stage, and it is particularly difficult to fix the gluon distribution. The \chi^2 analysis produces a positively polarized gluon distribution, but even \Delta g(x)=0 could be allowed according to our uncertainty estimation. In comparison with the previous AAC (Asymmetry Analysis Collaboration) parameterization in 2000, accurate SLAC-E155 proton data are added to the analysis. We find that the E155 data improve the determination of the polarized PDFs, especially the polarized antiquark distributions. In addition, the gluon-distribution uncertainties are reduced due to the correlation with the antiquark distributions. We also show the global analysis results with the condition \Delta g(x)=0 at the initial scale, Q^2=1 GeV^2, for clarifying the error correlation effects with the gluon distribution.Comment: 9 pages, 15 eps figures, REVTeX, FORTRAN package is available at the web site http://www-hs.phys.saga-u.ac.jp/aac.html. Replaced 3 eps figures in Fig.

Single production of charged gauge bosons from little Higgs models in association with top quark at the LHCLHC

In the context of the little Higgs models, we discuss single production of the new charged gauge bosons in association with top quark at the $CERN$ Large Hadron Collider$(LHC)$. We find that the new charged gauge bosons $W_{H}^{-}$ and $X^{-}$, which are predicted by the littlest Higgs model and the SU(3) simple model, respectively, can be abundantly produced at the $LHC$. However, since the main backgrounds coming from the processes $pp\to t\bar{t}+X$ and $pp\to tW^{-}+X$ are very large, the values of the ratios $N_{W}$ and $N_{X}$ are very small in most of the parameter space. It is only possible to detect the signal of the gauge boson $W_{H}^{-}$ via the process $pp\to gb+X\to tW_{H}^{-}+X$ at the $LHC$ in a small region of the parameter space.Comment: 14pages, 4 figures. To be published in Europhysics Letter

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

Pion Excess, Nuclear Correlations, and the Interpretation of (p⃗,n⃗\vec p, \vec n) Spin Transfer Experiments

Conventional theories of nuclear interactions predict a net increase in the distribution of virtual pions in nuclei relative to free nucleons. Analysis of data from several nuclear experiments has led to claims of evidence against such a pion excess. These conclusions are usually based on a collective theory (RPA) of the pions, which may be inadequate. The issue is the energy dependence of the nuclear response, which differs for theories with strong NN correlations from the RPA predictions. In the present paper, information about the energy dependence is extracted from sum rules, which are calculated for such a correlated, noncollective nuclear theory. The results lead to much reduced sensitivity of nuclear reactions to the correlations that are responsible for the pion excess. The primary example is $(\vec p,\vec n)$ spin transfer, for which the expected effects are found to be smaller than the experimental uncertainties. The analysis has consequences for Deep Inelastic Scattering (DIS) experiments as well.Comment: 16 pages, LaTeX, no figures, submitted to Phys. Rev.