The Complexity of Codiagnosability for Discrete Event and Timed Systems

In this paper we study the fault codiagnosis problem for discrete event systems given by finite automata (FA) and timed systems given by timed automata (TA). We provide a uniform characterization of codiagnosability for FA and TA which extends the necessary and sufficient condition that characterizes diagnosability. We also settle the complexity of the codiagnosability problems both for FA and TA and show that codiagnosability is PSPACE-complete in both cases. For FA this improves on the previously known bound (EXPTIME) and for TA it is a new result. Finally we address the codiagnosis problem for TA under bounded resources and show it is 2EXPTIME-complete.Comment: 24 pages

Single Spin Asymmetry ANA_N in Polarized Proton-Proton Elastic Scattering at s=200\sqrt{s}=200 GeV

We report a high precision measurement of the transverse single spin asymmetry $A_N$ at the center of mass energy $\sqrt{s}=200$ GeV in elastic proton-proton scattering by the STAR experiment at RHIC. The $A_N$ was measured in the four-momentum transfer squared $t$ range $0.003 \leqslant |t| \leqslant 0.035$ \GeVcSq, the region of a significant interference between the electromagnetic and hadronic scattering amplitudes. The measured values of $A_N$ and its $t$-dependence are consistent with a vanishing hadronic spin-flip amplitude, thus providing strong constraints on the ratio of the single spin-flip to the non-flip amplitudes. Since the hadronic amplitude is dominated by the Pomeron amplitude at this $\sqrt{s}$, we conclude that this measurement addresses the question about the presence of a hadronic spin flip due to the Pomeron exchange in polarized proton-proton elastic scattering.Comment: 12 pages, 6 figure

Longitudinal double-spin asymmetry and cross section for inclusive neutral pion production at midrapidity in polarized proton collisions at sqrt(s) = 200 GeV

We report a measurement of the longitudinal double-spin asymmetry A_LL and the differential cross section for inclusive Pi0 production at midrapidity in polarized proton collisions at sqrt(s) = 200 GeV. The cross section was measured over a transverse momentum range of 1 < p_T < 17 GeV/c and found to be in good agreement with a next-to-leading order perturbative QCD calculation. The longitudinal double-spin asymmetry was measured in the range of 3.7 < p_T < 11 GeV/c and excludes a maximal positive gluon polarization in the proton. The mean transverse momentum fraction of Pi0's in their parent jets was found to be around 0.7 for electromagnetically triggered events.Comment: 6 pages, 3 figures, submitted to Phys. Rev. D (RC

Partonic flow and ϕ\phi-meson production in Au+Au collisions at sNN\sqrt{s_{NN}} = 200 GeV

We present first measurements of the $\phi$-meson elliptic flow ($v_{2}(p_{T})$) and high statistics $p_{T}$ distributions for different centralities from $\sqrt{s_{NN}}$ = 200 GeV Au+Au collisions at RHIC. In minimum bias collisions the $v_{2}$ of the $\phi$ meson is consistent with the trend observed for mesons. The ratio of the yields of the $\Omega$ to those of the $\phi$ as a function of transverse momentum is consistent with a model based on the recombination of thermal $s$ quarks up to $p_{T}\sim 4$ GeV/$c$, but disagrees at higher momenta. The nuclear modification factor ($R_{CP}$) of $\phi$ follows the trend observed in the $K^{0}_{S}$ mesons rather than in $\Lambda$ baryons, supporting baryon-meson scaling. Since $\phi$-mesons are made via coalescence of seemingly thermalized $s$ quarks in central Au+Au collisions, the observations imply hot and dense matter with partonic collectivity has been formed at RHIC.Comment: 6 pages, 4 figures, submit to PR

Plasma Wakefield Acceleration with a Modulated Proton Bunch

The plasma wakefield amplitudes which could be achieved via the modulation of a long proton bunch are investigated. We find that in the limit of long bunches compared to the plasma wavelength, the strength of the accelerating fields is directly proportional to the number of particles in the drive bunch and inversely proportional to the square of the transverse bunch size. The scaling laws were tested and verified in detailed simulations using parameters of existing proton accelerators, and large electric fields were achieved, reaching 1 GV/m for LHC bunches. Energy gains for test electrons beyond 6 TeV were found in this case.Comment: 9 pages, 7 figure

The energy dependence of ptp_t angular correlations inferred from mean-ptp_{t} fluctuation scale dependence in heavy ion collisions at the SPS and RHIC

We present the first study of the energy dependence of $p_t$ angular correlations inferred from event-wise mean transverse momentum fluctuations in heavy ion collisions. We compare our large-acceptance measurements at CM energies $\sqrt{s_{NN}} =$ 19.6, 62.4, 130 and 200 GeV to SPS measurements at 12.3 and 17.3 GeV. $p_t$ angular correlation structure suggests that the principal source of $p_t$ correlations and fluctuations is minijets (minimum-bias parton fragments). We observe a dramatic increase in correlations and fluctuations from SPS to RHIC energies, increasing linearly with $\ln \sqrt{s_{NN}}$ from the onset of observable jet-related fluctuations near 10 GeV.Comment: 10 pages, 4 figure

High pTp_{T} non-photonic electron production in pp+pp collisions at s\sqrt{s} = 200 GeV

We present the measurement of non-photonic electron production at high transverse momentum ($p_T >$ 2.5 GeV/$c$) in $p$ + $p$ collisions at $\sqrt{s}$ = 200 GeV using data recorded during 2005 and 2008 by the STAR experiment at the Relativistic Heavy Ion Collider (RHIC). The measured cross-sections from the two runs are consistent with each other despite a large difference in photonic background levels due to different detector configurations. We compare the measured non-photonic electron cross-sections with previously published RHIC data and pQCD calculations. Using the relative contributions of B and D mesons to non-photonic electrons, we determine the integrated cross sections of electrons ($\frac{e^++e^-}{2}$) at 3 GeV/$c < p_T <~$10 GeV/$c$ from bottom and charm meson decays to be ${d\sigma_{(B\to e)+(B\to D \to e)} \over dy_e}|_{y_e=0}$ = 4.0$\pm0.5$({\rm stat.})$\pm1.1$({\rm syst.}) nb and ${d\sigma_{D\to e} \over dy_e}|_{y_e=0}$ = 6.2$\pm0.7$({\rm stat.})$\pm1.5$({\rm syst.}) nb, respectively.Comment: 17 pages, 17 figure

Evolution of the differential transverse momentum correlation function with centrality in Au+Au collisions at sNN=200\sqrt{s_{NN}} = 200 GeV

We present first measurements of the evolution of the differential transverse momentum correlation function, {\it C}, with collision centrality in Au+Au interactions at $\sqrt{s_{NN}} = 200$ GeV. {\it C} exhibits a strong dependence on collision centrality that is qualitatively similar to that of number correlations previously reported. We use the observed longitudinal broadening of the near-side peak of {\it C} with increasing centrality to estimate the ratio of the shear viscosity to entropy density, $\eta/s$, of the matter formed in central Au+Au interactions. We obtain an upper limit estimate of $\eta/s$ that suggests that the produced medium has a small viscosity per unit entropy.Comment: 7 pages, 4 figures, STAR paper published in Phys. Lett.