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