101,274 research outputs found
Polarized Fragmentation Functions
In this talk I present a review on the theoretical status of polarized
fragmentation functions and the prospects for conceivable future semi-inclusive
deep-inelastic scattering and proton-proton collision experiments to measure
them.Comment: Talk at the Electron Polarized Ion Collider Workshop (EPIC99), at
IUCF, Bloomington, IA, April 1999, 15 pp, 6 fig
The relational model is injective for Multiplicative Exponential Linear Logic
We prove a completeness result for Multiplicative Exponential Linear Logic
(MELL): we show that the relational model is injective for MELL proof-nets,
i.e. the equality between MELL proof-nets in the relational model is exactly
axiomatized by cut-elimination.Comment: 33 page
Taylor expansion in linear logic is invertible
Each Multiplicative Exponential Linear Logic (MELL) proof-net can be expanded
into a differential net, which is its Taylor expansion. We prove that two
different MELL proof-nets have two different Taylor expansions. As a corollary,
we prove a completeness result for MELL: We show that the relational model is
injective for MELL proof-nets, i.e. the equality between MELL proof-nets in the
relational model is exactly axiomatized by cut-elimination
Transversely polarized Drell-Yan asymmetry AT T at NLO
We present the first fully differential next-To-leading order QCD calculation for lepton production in transversely polarized hadronic collisions, p↑p↑→±X, where the lepton arises from the decay of an electroweak gauge boson. The calculation is implemented in the Monte-Carlo like code che that already includes the unpolarized and longitudinally polarized cross sections and may be readily used to perform a comparison to experimental data and to extract information on the related parton distributions. We analyze the perturbative stability of the cross-section and double spin asymmetry ATT at RHIC kinematics. We find that the QCD corrections are non-negligible even at the level of asymmetries and that they strongly depend on the lepton kinematics. Furthermore, we present two scenarios for transversely polarized parton distributions, based on the de Florian-Sassot-Stratmann-Vogelsang (DSSV) set of longitudinally parton densities and fully evolved to NLO accuracy, that can be used for the evaluation of different observables involving transverse polarization.Fil: de Florian, Daniel Enrique. Universidad Nacional de San MartĂn. Escuela de Ciencia y TecnologĂa. Centro Internacional de Estudios Avanzados; Argentina. TĂĽbingen University; Alemania. Consejo Nacional de Investigaciones CientĂficas y TĂ©cnicas; Argentin
A semantic account of strong normalization in Linear Logic
We prove that given two cut free nets of linear logic, by means of their
relational interpretations one can: 1) first determine whether or not the net
obtained by cutting the two nets is strongly normalizable 2) then (in case it
is strongly normalizable) compute the maximal length of the reduction sequences
starting from that net.Comment: 41 page
- …