Conformance relations and hyperproperties for doping detection in time and space

We present a novel and generalised notion of doping cleanness for cyber-physical systems that allows for perturbing the inputs and observing the perturbed outputs both in the time- and value-domains. We instantiate our definition using existing notions of conformance for cyber-physical systems. As a formal basis for monitoring conformance-based cleanness, we develop the temporal logic HyperSTL*, an extension of Signal Temporal Logics with trace quantifiers and a freeze operator. We show that our generalised definitions are essential in a data-driven method for doping detection and apply our definitions to a case study concerning diesel emission tests

Phi meson production in Au+Au and p+p collisions at sqrt (s)=200 GeV

We report the STAR measurement of Phi meson production in Au+Au and p+p collisions at sqrt (s)=200 GeV. Using the event mixing technique, the Phi spectra and yields are obtained at mid-rapidity for five centrality bins in Au+Au collisions and for non-singly-diffractive p+p collisions. It is found that the Phi transverse momentum distributions from Au+Au collisions are better fitted with a single-exponential while the p+p spectrum is better described by a double-exponential distribution. The measured nuclear modification factors indicate that Phi production in central Au+Au collisions is suppressed relative to peripheral collisions when scaled by the number of binary collisions. The systematics of versus centrality and the constant Phi/K- ratio versus beam species, centrality, and collision energy rule out kaon coalescence as the dominant mechanism for Phi production.Comment: 6 pages, 3 figures, submitted to Phys. Rev. Let

Effects of environmental pollutants on the reproduction and welfare of ruminants

Anthropogenic pollutants comprise a wide range of synthetic organic compounds and heavy metals, which are dispersed throughout the environment, usually at low concentrations. Exposure of ruminants, as for all other animals, is unavoidable and while the levels of exposure to most chemicals are usually too low to induce any physiological effects, combinations of pollutants can act additively or synergistically to perturb multiple physiological systems at all ages but particularly in the developing foetus. In sheep, organs affected by pollutant exposure include the ovary, testis, hypothalamus and pituitary gland and bone. Reported effects of exposure include changes in organ weight and gross structure, histology and gene and protein expression but these changes are not reflected in changes in reproductive performance under the conditions tested. These results illustrate the complexity of the effects of endocrine disrupting compounds on the reproductive axis, which make it difficult to extrapolate between, or even within, species. Effects of pollutant exposure on the thyroid gland, immune, cardiovascular and obesogenic systems have not been shown explicitly, in ruminants, but work on other species suggests that these systems can also be perturbed. It is concluded that exposure to a mixture of anthropogenic pollutants has significant effects on a wide variety of physiological systems, including the reproductive system. Although this physiological insult has not yet been shown to lead to a reduction in ruminant gross performance, there are already reports indicating that anthropogenic pollutant exposure can compromise several physiological systems and may pose a significant threat to both reproductive performance and welfare in the longer term. At present, many potential mechanisms of action for individual chemicals have been identified but knowledge of factors affecting the rate of tissue exposure and of the effects of combinations of chemicals on physiological systems is poor. Nevertheless, both are vital for the identification of risks to animal productivity and welfare

Energy and system size dependence of \phi meson production in Cu+Cu and Au+Au collisions

We study the beam-energy and system-size dependence of \phi meson production (using the hadronic decay mode \phi -- K+K-) by comparing the new results from Cu+Cu collisions and previously reported Au+Au collisions at \sqrt{s_NN} = 62.4 and 200 GeV measured in the STAR experiment at RHIC. Data presented are from mid-rapidity (|y|<0.5) for 0.4 < pT < 5 GeV/c. At a given beam energy, the transverse momentum distributions for \phi mesons are observed to be similar in yield and shape for Cu+Cu and Au+Au colliding systems with similar average numbers of participating nucleons. The \phi meson yields in nucleus-nucleus collisions, normalised by the average number of participating nucleons, are found to be enhanced relative to those from p+p collisions with a different trend compared to strange baryons. The enhancement for \phi mesons is observed to be higher at \sqrt{s_NN} = 200 GeV compared to 62.4 GeV. These observations for the produced \phi(s\bar{s}) mesons clearly suggest that, at these collision energies, the source of enhancement of strange hadrons is related to the formation of a dense partonic medium in high energy nucleus-nucleus collisions and cannot be alone due to canonical suppression of their production in smaller systems.Comment: 20 pages and 5 figure

Formation of dense partonic matter in relativistic nucleus-nucleus collisions at RHIC: Experimental evaluation by the PHENIX collaboration

Extensive experimental data from high-energy nucleus-nucleus collisions were recorded using the PHENIX detector at the Relativistic Heavy Ion Collider (RHIC). The comprehensive set of measurements from the first three years of RHIC operation includes charged particle multiplicities, transverse energy, yield ratios and spectra of identified hadrons in a wide range of transverse momenta (p_T), elliptic flow, two-particle correlations, non-statistical fluctuations, and suppression of particle production at high p_T. The results are examined with an emphasis on implications for the formation of a new state of dense matter. We find that the state of matter created at RHIC cannot be described in terms of ordinary color neutral hadrons.Comment: 510 authors, 127 pages text, 56 figures, 1 tables, LaTeX. Submitted to Nuclear Physics A as a regular article; v3 has minor changes in response to referee comments. Plain text data tables for the points plotted in figures for this and previous PHENIX publications are (or will be) publicly available at http://www.phenix.bnl.gov/papers.htm

Experimental and Theoretical Challenges in the Search for the Quark Gluon Plasma: The STAR Collaboration's Critical Assessment of the Evidence from RHIC Collisions

We review the most important experimental results from the first three years of nucleus-nucleus collision studies at RHIC, with emphasis on results from the STAR experiment, and we assess their interpretation and comparison to theory. The theory-experiment comparison suggests that central Au+Au collisions at RHIC produce dense, rapidly thermalizing matter characterized by: (1) initial energy densities above the critical values predicted by lattice QCD for establishment of a Quark-Gluon Plasma (QGP); (2) nearly ideal fluid flow, marked by constituent interactions of very short mean free path, established most probably at a stage preceding hadron formation; and (3) opacity to jets. Many of the observations are consistent with models incorporating QGP formation in the early collision stages, and have not found ready explanation in a hadronic framework. However, the measurements themselves do not yet establish unequivocal evidence for a transition to this new form of matter. The theoretical treatment of the collision evolution, despite impressive successes, invokes a suite of distinct models, degrees of freedom and assumptions of as yet unknown quantitative consequence. We pose a set of important open questions, and suggest additional measurements, at least some of which should be addressed in order to establish a compelling basis to conclude definitively that thermalized, deconfined quark-gluon matter has been produced at RHIC.Comment: 101 pages, 37 figures; revised version to Nucl. Phys.

Energy dependence of charged pion, proton and anti-proton transverse momentum spectra for Au+Au collisions at \sqrt{s_NN} = 62.4 and 200 GeV

We study the energy dependence of the transverse momentum (pT) spectra for charged pions, protons and anti-protons for Au+Au collisions at \sqrt{s_NN} = 62.4 and 200 GeV. Data are presented at mid-rapidity (|y| < 0.5) for 0.2 < pT < 12 GeV/c. In the intermediate pT region (2 < pT < 6 GeV/c), the nuclear modification factor is higher at 62.4 GeV than at 200 GeV, while at higher pT (pT >7 GeV/c) the modification is similar for both energies. The p/pi+ and pbar/pi- ratios for central collisions at \sqrt{s_NN} = 62.4 GeV peak at pT ~ 2 GeV/c. In the pT range where recombination is expected to dominate, the p/pi+ ratios at 62.4 GeV are larger than at 200 GeV, while the pbar/pi- ratios are smaller. For pT > 2 GeV/c, the pbar/pi- ratios at the two beam energies are independent of pT and centrality indicating that the dependence of the pbar/pi- ratio on pT does not change between 62.4 and 200 GeV. These findings challenge various models incorporating jet quenching and/or constituent quark coalescence.Comment: 19 pages and 6 figure

Updated precision measurement of the average lifetime of B hadrons

The measurement of the average lifetime of B hadrons using inclusively reconstructed secondary vertices has been updated using both an improved processing of previous data and additional statistics from new data. This has reduced the statistical and systematic uncertainties and gives \tau_{\mathrm{B}} = 1.582 \pm 0.011\ \mathrm{(stat.)} \pm 0.027\ \mathrm{(syst.)}\ \mathrm{ps.} Combining this result with the previous result based on charged particle impact parameter distributions yields \tau_{\mathrm{B}} = 1.575 \pm 0.010\ \mathrm{(stat.)} \pm 0.026\ \mathrm{(syst.)}\ \mathrm{ps.

Limits on the production of scalar leptoquarks from Z (0) decays at LEP

A search has been made for pairs and for single production of scalar leptoquarks of the first and second generations using a data sample of 392000 Z0 decays from the DELPHI detector at LEP 1. No signal was found and limits on the leptoquark mass, production cross section and branching ratio were set. A mass limit at 95% confidence level of 45.5 GeV/c2 was obtained for leptoquark pair production. The search for the production of a single leptoquark probed the mass region above this limit and its results exclude first and second generation leptoquarks D0 with masses below 65 GeV/c2 and 73 GeV/c2 respectively, at 95% confidence level, assuming that the D0lq Yukawa coupling alpha(lambda) is equal to the electromagnetic one. An upper limit is also given on the coupling alpha(lambda) as a function of the leptoquark mass m(D0)

Search for Tensor, Vector, and Scalar Polarizations in the Stochastic Gravitational-Wave Background

The detection of gravitational waves with Advanced LIGO and Advanced Virgo has enabled novel tests of general relativity, including direct study of the polarization of gravitational waves. While general relativity allows for only two tensor gravitational-wave polarizations, general metric theories can additionally predict two vector and two scalar polarizations. The polarization of gravitational waves is encoded in the spectral shape of the stochastic gravitational-wave background, formed by the superposition of cosmological and individually unresolved astrophysical sources. Using data recorded by Advanced LIGO during its first observing run, we search for a stochastic background of generically polarized gravitational waves. We find no evidence for a background of any polarization, and place the first direct bounds on the contributions of vector and scalar polarizations to the stochastic background. Under log-uniform priors for the energy in each polarization, we limit the energy densities of tensor, vector, and scalar modes at 95% credibility to Ω0T<5.58×10-8, Ω0V<6.35×10-8, and Ω0S<1.08×10-7 at a reference frequency f0=25 Hz. © 2018 American Physical Society