Graphical Reasoning in Compact Closed Categories for Quantum Computation

Compact closed categories provide a foundational formalism for a variety of important domains, including quantum computation. These categories have a natural visualisation as a form of graphs. We present a formalism for equational reasoning about such graphs and develop this into a generic proof system with a fixed logical kernel for equational reasoning about compact closed categories. Automating this reasoning process is motivated by the slow and error prone nature of manual graph manipulation. A salient feature of our system is that it provides a formal and declarative account of derived results that can include `ellipses'-style notation. We illustrate the framework by instantiating it for a graphical language of quantum computation and show how this can be used to perform symbolic computation.Comment: 21 pages, 9 figures. This is the journal version of the paper published at AIS

Identification of Early Intermediates of Caspase Activation Using Selective Inhibitors and Activity-Based Probes

Caspases are cysteine proteases that are key effectors in apoptotic cell death. Currently, there is a lack of tools that can be used to monitor the regulation of specific caspases in the context of distinct apoptotic programs. We describe the development of highly selective inhibitors and active site probes and their applications to directly monitor executioner (caspase-3 and -7) and initiator (caspase-8 and -9) caspase activity. Specifically, these reagents were used to dissect the kinetics of caspase activation upon stimulation of apoptosis in cell-free extracts and intact cells. These studies identified a full-length caspase-7 intermediate that becomes catalytically activated early in the pathway and whose further processing is mediated by mature executioner caspases rather than initiator caspases. This form also shows distinct inhibitor sensitivity compared to processed caspase-7. Our data suggest that caspase-7 activation proceeds through a previously uncharacterized intermediate that is formed without cleavage of the intact zymogen

Methamphetamine Use among Newly Diagnosed HIV-Positive Young Men in North Carolina, United States, from 2000 to 2005

Methamphetamine (MA) is a new arrival to the Southeastern United States (US). Incidence of HIV is also increasing regionally, but data are limited regarding any association between this trend and MA use. We examined behavioral data from North Carolina (NC) residents newly diagnosed with HIV, collected by the Department of Health between 2000-2005.Among 1,460 newly diagnosed HIV-positive young men, an increasing trend was seen from 2000-2005 in MA use (p = 0.01, total n = 20). In bivariate analyses, users of MA had significantly greater odds of reporting other substance use, including alcohol, powder or crack cocaine, marijuana, and methylenedioxymethamphetamine (MDMA, "ecstasy"). They were also more likely to have reported sexual activity while traveling outside NC; sex with anonymous partners; and previous HIV testing. In a predictive model, MA use had a negative association with nonwhite race, and strong positive associations with powder cocaine, "ecstasy," or intravenous drug use and being a university student.Similar to trends seen in more urban parts of the US, MA use among newly diagnosed, HIV-positive young men is increasing in NC. These data are among the first to demonstrate this relationship in a region with a burgeoning epidemic of MA use. Opportunities exist for MA-related HIV risk-reduction interventions whenever young men intersect the healthcare system

Transverse energy production and charged-particle multiplicity at midrapidity in various systems from sNN=7.7\sqrt{s_{NN}}=7.7 to 200 GeV

Measurements of midrapidity charged particle multiplicity distributions, $dN_{\rm ch}/d\eta$, and midrapidity transverse-energy distributions, $dE_T/d\eta$, are presented for a variety of collision systems and energies. Included are distributions for Au$+$Au collisions at $\sqrt{s_{_{NN}}}=200$, 130, 62.4, 39, 27, 19.6, 14.5, and 7.7 GeV, Cu$+$Cu collisions at $\sqrt{s_{_{NN}}}=200$ and 62.4 GeV, Cu$+$Au collisions at $\sqrt{s_{_{NN}}}=200$ GeV, U$+$U collisions at $\sqrt{s_{_{NN}}}=193$ GeV, $d$$+$Au collisions at $\sqrt{s_{_{NN}}}=200$ GeV, $^{3}$He$+$Au collisions at $\sqrt{s_{_{NN}}}=200$ GeV, and $p$$+$$p$ collisions at $\sqrt{s_{_{NN}}}=200$ GeV. Centrality-dependent distributions at midrapidity are presented in terms of the number of nucleon participants, $N_{\rm part}$, and the number of constituent quark participants, $N_{q{\rm p}}$. For all $A$$+$$A$ collisions down to $\sqrt{s_{_{NN}}}=7.7$ GeV, it is observed that the midrapidity data are better described by scaling with $N_{q{\rm p}}$ than scaling with $N_{\rm part}$. Also presented are estimates of the Bjorken energy density, $\varepsilon_{\rm BJ}$, and the ratio of $dE_T/d\eta$ to $dN_{\rm ch}/d\eta$, the latter of which is seen to be constant as a function of centrality for all systems.Comment: 706 authors, 32 pages, 20 figures, 34 tables, 2004, 2005, 2008, 2010, 2011, and 2012 data. v2 is version accepted for publication in Phys. Rev.

Measurement of the Forward-Backward Asymmetry in the B -> K(*) mu+ mu- Decay and First Observation of the Bs -> phi mu+ mu- Decay

We reconstruct the rare decays $B^+ \to K^+\mu^+\mu^-$, $B^0 \to K^{*}(892)^0\mu^+\mu^-$, and $B^0_s \to \phi(1020)\mu^+\mu^-$ in a data sample corresponding to $4.4 {\rm fb^{-1}}$ collected in $p\bar{p}$ collisions at $\sqrt{s}=1.96 {\rm TeV}$ by the CDF II detector at the Fermilab Tevatron Collider. Using $121 \pm 16$ $B^+ \to K^+\mu^+\mu^-$ and $101 \pm 12$ $B^0 \to K^{*0}\mu^+\mu^-$ decays we report the branching ratios. In addition, we report the measurement of the differential branching ratio and the muon forward-backward asymmetry in the $B^+$ and $B^0$ decay modes, and the $K^{*0}$ longitudinal polarization in the $B^0$ decay mode with respect to the squared dimuon mass. These are consistent with the theoretical prediction from the standard model, and most recent determinations from other experiments and of comparable accuracy. We also report the first observation of the $B^0_s \to \phi\mu^+\mu^- decay and measure its branching ratio${\mathcal{B}}(B^0_s \to \phi\mu^+\mu^-) = [1.44 \pm 0.33 \pm 0.46] \times 10^{-6}$using$27 \pm 6$signal events. This is currently the most rare$B^0_s$ decay observed.Comment: 7 pages, 2 figures, 3 tables. Submitted to Phys. Rev. Let

Measurements of the properties of Lambda_c(2595), Lambda_c(2625), Sigma_c(2455), and Sigma_c(2520) baryons

We report measurements of the resonance properties of Lambda_c(2595)+ and Lambda_c(2625)+ baryons in their decays to Lambda_c+ pi+ pi- as well as Sigma_c(2455)++,0 and Sigma_c(2520)++,0 baryons in their decays to Lambda_c+ pi+/- final states. These measurements are performed using data corresponding to 5.2/fb of integrated luminosity from ppbar collisions at sqrt(s) = 1.96 TeV, collected with the CDF II detector at the Fermilab Tevatron. Exploiting the largest available charmed baryon sample, we measure masses and decay widths with uncertainties comparable to the world averages for Sigma_c states, and significantly smaller uncertainties than the world averages for excited Lambda_c+ states.Comment: added one reference and one table, changed order of figures, 17 pages, 15 figure

Search for a New Heavy Gauge Boson Wprime with Electron + missing ET Event Signature in ppbar collisions at sqrt(s)=1.96 TeV

We present a search for a new heavy charged vector boson $W^\prime$ decaying to an electron-neutrino pair in $p\bar{p}$ collisions at a center-of-mass energy of 1.96\unit{TeV}. The data were collected with the CDF II detector and correspond to an integrated luminosity of 5.3\unit{fb}^{-1}. No significant excess above the standard model expectation is observed and we set upper limits on $\sigma\cdot{\cal B}(W^\prime\to e\nu)$. Assuming standard model couplings to fermions and the neutrino from the $W^\prime$ boson decay to be light, we exclude a $W^\prime$ boson with mass less than 1.12\unit{TeV/}c^2 at the 95\unit{%} confidence level.Comment: 7 pages, 2 figures Submitted to PR

Search for New Physics with Jets and Missing Transverse Momentum in pp collisions at sqrt(s) = 7 TeV

A search for new physics is presented based on an event signature of at least three jets accompanied by large missing transverse momentum, using a data sample corresponding to an integrated luminosity of 36 inverse picobarns collected in proton--proton collisions at sqrt(s)=7 TeV with the CMS detector at the LHC. No excess of events is observed above the expected standard model backgrounds, which are all estimated from the data. Exclusion limits are presented for the constrained minimal supersymmetric extension of the standard model. Cross section limits are also presented using simplified models with new particles decaying to an undetected particle and one or two jets

X-ray emission from the Sombrero galaxy: discrete sources

We present a study of discrete X-ray sources in and around the bulge-dominated, massive Sa galaxy, Sombrero (M104), based on new and archival Chandra observations with a total exposure of ~200 ks. With a detection limit of L_X = 1E37 erg/s and a field of view covering a galactocentric radius of ~30 kpc (11.5 arcminute), 383 sources are detected. Cross-correlation with Spitler et al.'s catalogue of Sombrero globular clusters (GCs) identified from HST/ACS observations reveals 41 X-rays sources in GCs, presumably low-mass X-ray binaries (LMXBs). We quantify the differential luminosity functions (LFs) for both the detected GC and field LMXBs, whose power-low indices (~1.1 for the GC-LF and ~1.6 for field-LF) are consistent with previous studies for elliptical galaxies. With precise sky positions of the GCs without a detected X-ray source, we further quantify, through a fluctuation analysis, the GC LF at fainter luminosities down to 1E35 erg/s. The derived index rules out a faint-end slope flatter than 1.1 at a 2 sigma significance, contrary to recent findings in several elliptical galaxies and the bulge of M31. On the other hand, the 2-6 keV unresolved emission places a tight constraint on the field LF, implying a flattened index of ~1.0 below 1E37 erg/s. We also detect 101 sources in the halo of Sombrero. The presence of these sources cannot be interpreted as galactic LMXBs whose spatial distribution empirically follows the starlight. Their number is also higher than the expected number of cosmic AGNs (52+/-11 [1 sigma]) whose surface density is constrained by deep X-ray surveys. We suggest that either the cosmic X-ray background is unusually high in the direction of Sombrero, or a distinct population of X-ray sources is present in the halo of Sombrero.Comment: 11 figures, 5 tables, ApJ in pres

Performance of the CMS Cathode Strip Chambers with Cosmic Rays

The Cathode Strip Chambers (CSCs) constitute the primary muon tracking device in the CMS endcaps. Their performance has been evaluated using data taken during a cosmic ray run in fall 2008. Measured noise levels are low, with the number of noisy channels well below 1%. Coordinate resolution was measured for all types of chambers, and fall in the range 47 microns to 243 microns. The efficiencies for local charged track triggers, for hit and for segments reconstruction were measured, and are above 99%. The timing resolution per layer is approximately 5 ns