Algebraic totality, towards completeness

Finiteness spaces constitute a categorical model of Linear Logic (LL) whose objects can be seen as linearly topologised spaces, (a class of topological vector spaces introduced by Lefschetz in 1942) and morphisms as continuous linear maps. First, we recall definitions of finiteness spaces and describe their basic properties deduced from the general theory of linearly topologised spaces. Then we give an interpretation of LL based on linear algebra. Second, thanks to separation properties, we can introduce an algebraic notion of totality candidate in the framework of linearly topologised spaces: a totality candidate is a closed affine subspace which does not contain 0. We show that finiteness spaces with totality candidates constitute a model of classical LL. Finally, we give a barycentric simply typed lambda-calculus, with booleans ${\mathcal{B}}$ and a conditional operator, which can be interpreted in this model. We prove completeness at type ${\mathcal{B}}^n\to{\mathcal{B}}$ for every n by an algebraic method

Causality, particle localization and positivity of the energy

Positivity of the Hamiltonian alone is used to show that particles, if initially localized in a finite region, immediately develop infinite tails.Comment: To appear in: Irreversibility and Causality in Quantum Theory -- Semigroups and Rigged Hilbert Spaces, edited by A. Bohm, H.-D. Doebner and P. Kielanowski, Springer Lecture Notes in Physics, Vol. 504 (1998

An Algebraic Spin and Statistics Theorem

A spin-statistics theorem and a PCT theorem are obtained in the context of the superselection sectors in Quantum Field Theory on a 4-dimensional space-time. Our main assumption is the requirement that the modular groups of the von Neumann algebras of local observables associated with wedge regions act geometrically as pure Lorentz transformations. Such a property, satisfied by the local algebras generated by Wightman fields because of the Bisognano-Wichmann theorem, is regarded as a natural primitive assumption.Comment: 15 pages, plain TeX, an error in the statement of a theorem has been corrected, to appear in Commun. Math. Phy

Search for the Flavor-Changing Neutral Current Decay D0→μ+μ−D^0 \to \mu^+\mu^- with the HERA-B Detector

We report on a search for the flavor-changing neutral current decay $D^0 \to \mu^+\mu^-$ using $50 \times 10^6$ events recorded with a dimuon trigger in interactions of 920 GeV protons with nuclei by the HERA-B experiment. We find no evidence for such decays and set a 90% confidence level upper limit on the branching fraction $Br(D^0 \to \mu^+\mu^-) <2.0 \times 10^{-6}$.Comment: 17 pages, 4 figures (of which 1 double), paper to be submitted to Physics Letters

Measurement of the J/Psi Production Cross Section in 920 GeV/c Fixed-Target Proton-Nucleus Interactions

The mid-rapidity (dsigma_(pN)/dy at y=0) and total sigma_(pN) production cross sections of J/Psi mesons are measured in proton-nucleus interactions. Data collected by the HERA-B experiment in interactions of 920 GeV/c protons with carbon, titanium and tungsten targets are used for this analysis. The J/Psi mesons are reconstructed by their decay into lepton pairs. The total production cross section obtained is sigma_(pN)(J/Psi) = 663 +- 74 +- 46 nb/nucleon. In addition, our result is compared with previous measurements

Patterns and Predictors of Cognitive Function Among Virally Suppressed Women With HIV

Cognitive impairment remains frequent and heterogeneous in presentation and severity among virally suppressed (VS) women with HIV (WWH). We identified cognitive profiles among 929 VS-WWH and 717 HIV-uninfected women from 11 Women's Interagency HIV Study sites at their first neuropsychological (NP) test battery completion comprised of: Hopkins Verbal Learning Test-Revised, Trail Making, Symbol Digit Modalities, Grooved Pegboard, Stroop, Letter/Animal Fluency, and Letter-Number Sequencing. Using 17 NP performance metrics (T-scores), we used Kohonen self-organizing maps to identify patterns of high-dimensional data by mapping participants to similar nodes based on T-scores and clustering those nodes. Among VS-WWH, nine clusters were identified (entropy = 0.990) with four having average T-scores ≥45 for all metrics and thus combined into an “unimpaired” profile (n = 311). Impaired profiles consisted of weaknesses in: (1) sequencing (Profile-1; n = 129), (2) speed (Profile-2; n = 144), (3) learning + recognition (Profile-3; n = 137), (4) learning + memory (Profile-4; n = 86), and (5) learning + processing speed + attention + executive function (Profile-5; n = 122). Sociodemographic, behavioral, and clinical variables differentiated profile membership using Random Forest models. The top 10 variables distinguishing the combined impaired vs. unimpaired profiles were: clinic site, age, education, race, illicit substance use, current and nadir CD4 count, duration of effective antiretrovirals, and protease inhibitor use. Additional variables differentiating each impaired from unimpaired profile included: depression, stress-symptoms, income (Profile-1); depression, employment (Profile 2); depression, integrase inhibitor (INSTI) use (Profile-3); employment, INSTI use, income, atazanavir use, non-ART medications with anticholinergic properties (Profile-4); and marijuana use (Profile-5). Findings highlight consideration of NP profile heterogeneity and potential modifiable factors contributing to impaired profiles

Search for pair production of the scalar top quark in the electron-muon final state

We report the result of a search for the pair production of the lightest supersymmetric partner of the top quark ($\tilde{t}_1$) in $p\bar{p}$ collisions at a center-of-mass energy of 1.96 TeV at the Fermilab Tevatron collider corresponding to an integrated luminosity of 5.4 fb$^{-1}$. The scalar top quarks are assumed to decay into a $b$ quark, a charged lepton, and a scalar neutrino ($\tilde{\nu}$), and the search is performed in the electron plus muon final state. No significant excess of events above the standard model prediction is detected, and improved exclusion limits at the 95% C.L. are set in the the ($M_{\tilde{t}_1}$,$M_{\tilde{\nu}}$) mass plane

Measurement of the p-pbar -> Wgamma + X cross section at sqrt(s) = 1.96 TeV and WWgamma anomalous coupling limits

The WWgamma triple gauge boson coupling parameters are studied using p-pbar -> l nu gamma + X (l = e,mu) events at sqrt(s) = 1.96 TeV. The data were collected with the DO detector from an integrated luminosity of 162 pb^{-1} delivered by the Fermilab Tevatron Collider. The cross section times branching fraction for p-pbar -> W(gamma) + X -> l nu gamma + X with E_T^{gamma} > 8 GeV and Delta R_{l gamma} > 0.7 is 14.8 +/- 1.6 (stat) +/- 1.0 (syst) +/- 1.0 (lum) pb. The one-dimensional 95% confidence level limits on anomalous couplings are -0.88 < Delta kappa_{gamma} < 0.96 and -0.20 < lambda_{gamma} < 0.20.Comment: Submitted to Phys. Rev. D Rapid Communication

Measurement of the ttbar Production Cross Section in ppbar Collisions at sqrt{s} = 1.96 TeV using Kinematic Characteristics of Lepton + Jets Events

We present a measurement of the top quark pair ttbar production cross section in ppbar collisions at a center-of-mass energy of 1.96 TeV using 230 pb**{-1} of data collected by the DO detector at the Fermilab Tevatron Collider. We select events with one charged lepton (electron or muon), large missing transverse energy, and at least four jets, and extract the ttbar content of the sample based on the kinematic characteristics of the events. For a top quark mass of 175 GeV, we measure sigma(ttbar) = 6.7 {+1.4-1.3} (stat) {+1.6- 1.1} (syst) +/-0.4 (lumi) pb, in good agreement with the standard model prediction.Comment: submitted to Phys.Rev.Let