Some Varieties of Equational Logic (Extended Abstract)

... been a major theme of Joseph Goguen’s research, perhaps even the major theme. One strand of this work concerns algebraic datatypes. Recently there has been some interest in what one may call algebraic computation types. As we will show, these are also given by equational theories, if one only understands the notion of equational logic in somewhat broader senses than usual. One moral of our work is that, suitably considered, equational logic is not tied to the usual first-order syntax of terms and equations. Standard equational logic has proved a useful tool in several branches of computer science, see, for example, the RTA conference series [9] and textbooks, such as [1]. Perhaps the possibilities for richer varieties of equational logic discussed here will lead to further applications. We begin with an explanation of computation types. Starting around 1989, Eugenio Moggi introduced the idea of monadic notions of computation [11, 12

Constraints on the pMSSM from LAT Observations of Dwarf Spheroidal Galaxies

We examine the ability for the Large Area Telescope (LAT) to constrain Minimal Supersymmetric Standard Model (MSSM) dark matter through a combined analysis of Milky Way dwarf spheroidal galaxies. We examine the Lightest Supersymmetric Particles (LSPs) for a set of ~71k experimentally valid supersymmetric models derived from the phenomenological-MSSM (pMSSM). We find that none of these models can be excluded at 95% confidence by the current analysis; nevertheless, many lie within the predicted reach of future LAT analyses. With two years of data, we find that the LAT is currently most sensitive to light LSPs (m_LSP < 50 GeV) annihilating into tau-pairs and heavier LSPs annihilating into b-bbar. Additionally, we find that future LAT analyses will be able to probe some LSPs that form a sub-dominant component of dark matter. We directly compare the LAT results to direct detection experiments and show the complementarity of these search methods.Comment: 24 pages, 9 figures, submitted to JCA

Study of the B^0 Semileptonic Decay Spectrum at the Upsilon(4S) Resonance

We have made a first measurement of the lepton momentum spectrum in a sample of events enriched in neutral B's through a partial reconstruction of B0 --> D*- l+ nu. This spectrum, measured with 2.38 fb**-1 of data collected at the Upsilon(4S) resonance by the CLEO II detector, is compared directly to the inclusive lepton spectrum from all Upsilon(4S) events in the same data set. These two spectra are consistent with having the same shape above 1.5 GeV/c. From the two spectra and two other CLEO measurements, we obtain the B0 and B+ semileptonic branching fractions, b0 and b+, their ratio, and the production ratio f+-/f00 of B+ and B0 pairs at the Upsilon(4S). We report b+/b0=0.950 (+0.117-0.080) +- 0.091, b0 = (10.78 +- 0.60 +- 0.69)%, and b+ = (10.25 +- 0.57 +- 0.65)%. b+/b0 is equivalent to the ratio of charged to neutral B lifetimes, tau+/tau0.Comment: 14 page, postscript file also available at http://w4.lns.cornell.edu/public/CLN

Observation of the Ξc+\Xi_c^+ Charmed Baryon Decays to Σ+K−π+\Sigma^+ K^-\pi^+, Σ+Kˉ∗0\Sigma^+ \bar{K}^{*0}, and ΛK−π+π+\Lambda K^-\pi^+\pi^+

We have observed two new decay modes of the charmed baryon $\Xi_c^+$ into $\Sigma^+ K^-\pi^+$ and $\Sigma^+ \bar{K}^{*0}$ using data collected with the CLEO II detector. We also present the first measurement of the branching fraction for the previously observed decay mode $\Xi_c^+\to\Lambda K^-\pi^+\pi^+$. The branching fractions for these three modes relative to $\Xi_c^+\to\Xi^-\pi^+\pi^+$ are measured to be $1.18 \pm 0.26 \pm 0.17$, $0.92 \pm 0.27 \pm 0.14$, and $0.58 \pm 0.16 \pm 0.07$, respectively.Comment: 12 page uuencoded postscript file, postscript file also available through http://w4.lns.cornell.edu/public/CLN

Time-integrated luminosity recorded by the BABAR detector at the PEP-II e+e- collider

This article is the Preprint version of the final published artcile which can be accessed at the link below.We describe a measurement of the time-integrated luminosity of the data collected by the BABAR experiment at the PEP-II asymmetric-energy e+e- collider at the ϒ(4S), ϒ(3S), and ϒ(2S) resonances and in a continuum region below each resonance. We measure the time-integrated luminosity by counting e+e-→e+e- and (for the ϒ(4S) only) e+e-→μ+μ- candidate events, allowing additional photons in the final state. We use data-corrected simulation to determine the cross-sections and reconstruction efficiencies for these processes, as well as the major backgrounds. Due to the large cross-sections of e+e-→e+e- and e+e-→μ+μ-, the statistical uncertainties of the measurement are substantially smaller than the systematic uncertainties. The dominant systematic uncertainties are due to observed differences between data and simulation, as well as uncertainties on the cross-sections. For data collected on the ϒ(3S) and ϒ(2S) resonances, an additional uncertainty arises due to ϒ→e+e-X background. For data collected off the ϒ resonances, we estimate an additional uncertainty due to time dependent efficiency variations, which can affect the short off-resonance runs. The relative uncertainties on the luminosities of the on-resonance (off-resonance) samples are 0.43% (0.43%) for the ϒ(4S), 0.58% (0.72%) for the ϒ(3S), and 0.68% (0.88%) for the ϒ(2S).This work is supported by the US Department of Energy and National Science Foundation, the Natural Sciences and Engineering Research Council (Canada), the Commissariat à l’Energie Atomique and Institut National de Physique Nucléaire et de Physiquedes Particules (France), the Bundesministerium für Bildung und Forschung and Deutsche Forschungsgemeinschaft (Germany), the Istituto Nazionale di Fisica Nucleare (Italy), the Foundation for Fundamental Research on Matter (The Netherlands), the Research Council of Norway, the Ministry of Education and Science of the Russian Federation, Ministerio de Ciencia e Innovación (Spain), and the Science and Technology Facilities Council (United Kingdom). Individuals have received support from the Marie-Curie IEF program (European Union) and the A.P. Sloan Foundation (USA)

Measurement of the Mass Splittings between the bbˉχb,J(1P)b\bar{b}\chi_{b,J}(1P) States

We present new measurements of photon energies and branching fractions for the radiative transitions: Upsilon(2S)->gamma+chi_b(J=0,1,2). The masses of the chi_b states are determined from the measured radiative photon energies. The ratio of mass splittings between the chi_b substates, r==(M[J=2]-M[J=1])/(M[J=1]-M[J=0]) with M the chi_b mass, provides information on the nature of the bbbar confining potential. We find r(1P)=0.54+/-0.02+/-0.02. This value is in conflict with the previous world average, but more consistent with the theoretical expectation that r(1P)<r(2P); i.e., that this mass splittings ratio is smaller for the chi_b(1P) triplet than for the chi_b(2P) triplet.Comment: 11 page postscript file, postscript file also available through http://w4.lns.cornell.edu/public/CLN

Radiative Decay Modes of the D0D^{0} Meson

Using data recorded by the CLEO-II detector at CESR we have searched for four radiative decay modes of the $D^0$ meson: $D^0\to\phi\gamma$, $D^0\to\omega\gamma$, $D^0\to\bar{K}^{*}\gamma$, and $D^0\to\rho^0\gamma$. We obtain 90% CL upper limits on the branching ratios of these modes of $1.9\times 10^{-4}$, $2.4\times 10^{-4}$, $7.6\times 10^{-4}$ and $2.4\times 10^{-4}$ respectively.Comment: 15 page postscript file, postscript file also available through http://w4.lns.cornell.edu/public/CLN