Efficient CSL Model Checking Using Stratification

For continuous-time Markov chains, the model-checking problem with respect to continuous-time stochastic logic (CSL) has been introduced and shown to be decidable by Aziz, Sanwal, Singhal and Brayton in 1996. Their proof can be turned into an approximation algorithm with worse than exponential complexity. In 2000, Baier, Haverkort, Hermanns and Katoen presented an efficient polynomial-time approximation algorithm for the sublogic in which only binary until is allowed. In this paper, we propose such an efficient polynomial-time approximation algorithm for full CSL. The key to our method is the notion of stratified CTMCs with respect to the CSL property to be checked. On a stratified CTMC, the probability to satisfy a CSL path formula can be approximated by a transient analysis in polynomial time (using uniformization). We present a measure-preserving, linear-time and -space transformation of any CTMC into an equivalent, stratified one. This makes the present work the centerpiece of a broadly applicable full CSL model checker. Recently, the decision algorithm by Aziz et al. was shown to work only for stratified CTMCs. As an additional contribution, our measure-preserving transformation can be used to ensure the decidability for general CTMCs.Comment: 18 pages, preprint for LMCS. An extended abstract appeared in ICALP 201

Clinicopathological Profile and Surgical Treatment of Abdominal Tuberculosis: A Single Centre Experience in Northwestern Tanzania.

Abdominal tuberculosis continues to be a major public health problem worldwide and poses diagnostic and therapeutic challenges to general surgeons practicing in resource-limited countries. This study was conducted to describe the clinicopathological profile and outcome of surgical treatment of abdominal tuberculosis in our setting and compare with what is described in literature. A prospective descriptive study of patients who presented with abdominal tuberculosis was conducted at Bugando Medical Centre (BMC) in northwestern Tanzania from January 2006 to February 2012. Ethical approval to conduct the study was obtained from relevant authorities. Statistical data analysis was performed using SPSS version 17.0. Out of 256 patients enrolled in the study, males outnumbered females. The median age was 28 years (range = 16-68 years). The majority of patients (77.3%) had primary abdominal tuberculosis. A total of 127 (49.6%) patients presented with intestinal obstruction, 106 (41.4%) with peritonitis, 17 (6.6%) with abdominal masses and 6 (2.3%) patients with multiple fistulae in ano. Forty-eight (18.8%) patients were HIV positive. A total of 212 (82.8%) patients underwent surgical treatment for abdominal tuberculosis. Bands /adhesions (58.5%) were the most common operative findings. Ileo-caecal region was the most common bowel involved in 122 (57.5%) patients. Release of adhesions and bands was the most frequent surgical procedure performed in 58.5% of cases. Complication and mortality rates were 29.7% and 18.8% respectively. The overall median length of hospital stay was 32 days and was significantly longer in patients with complications (p < 0.001). Advanced age (age ≥ 65 years), co-morbid illness, late presentation, HIV positivity and CD4+ count < 200 cells/μl were statistically significantly associated with mortality (p < 0.0001). The follow up of patients were generally poor as only 37.5% of patients were available for follow up at twelve months after discharge. Abdominal tuberculosis constitutes a major public health problem in our environment and presents a diagnostic challenge requiring a high index of clinical suspicion. Early diagnosis, early anti-tuberculous therapy and surgical treatment of the associated complications are essential for survival

Constraints on cosmic strings using data from the first Advanced LIGO observing run

Cosmic strings are topological defects which can be formed in grand unified theory scale phase transitions in the early universe. They are also predicted to form in the context of string theory. The main mechanism for a network of Nambu-Goto cosmic strings to lose energy is through the production of loops and the subsequent emission of gravitational waves, thus offering an experimental signature for the existence of cosmic strings. Here we report on the analysis conducted to specifically search for gravitational-wave bursts from cosmic string loops in the data of Advanced LIGO 2015-2016 observing run (O1). No evidence of such signals was found in the data, and as a result we set upper limits on the cosmic string parameters for three recent loop distribution models. In this paper, we initially derive constraints on the string tension Gμ and the intercommutation probability, using not only the burst analysis performed on the O1 data set but also results from the previously published LIGO stochastic O1 analysis, pulsar timing arrays, cosmic microwave background and big-bang nucleosynthesis experiments. We show that these data sets are complementary in that they probe gravitational waves produced by cosmic string loops during very different epochs. Finally, we show that the data sets exclude large parts of the parameter space of the three loop distribution models we consider

Directional Limits on Persistent Gravitational Waves from Advanced LIGO’s First Observing Run

We employ gravitational-wave radiometry to map the stochastic gravitational wave background expected from a variety of contributing mechanisms and test the assumption of isotropy using data from the Advanced Laser Interferometer Gravitational Wave Observatory’s (aLIGO) first observing run. We also search for persistent gravitational waves from point sources with only minimal assumptions over the 20–1726 Hz frequency band. Finding no evidence of gravitational waves from either point sources or a stochastic background, we set limits at 90% confidence. For broadband point sources, we report upper limits on the gravitational wave energy flux per unit frequency in the range Fα;ΘðfÞ < ð0.1–56Þ × 10−8 erg cm−2 s−1 Hz−1ðf=25 HzÞα−1 depending on the sky location Θ and the spectral power index α. For extended sources, we report upper limits on the fractional gravitational wave energy density required to close the Universe of Ωðf; ΘÞ < ð0.39–7.6Þ × 10−8 sr−1ðf=25 HzÞα depending on Θ and α. Directed searches for narrowband gravitational waves from astrophysically interesting objects (Scorpius X-1, Supernova 1987 A, and the Galactic Center) yield median frequency-dependent limits on strain amplitude of h0 < ð6.7; 5.5; and 7.0Þ × 10−25, respectively, at the most sensitive detector frequencies between 130–175 Hz. This represents a mean improvement of a factor of 2 across the band compared to previous searches of this kind for these sky locations, considering the different quantities of strain constrained in each case

Search for post-merger gravitational waves from the remnant of the binary neutron star merger GW170817

The first observation of a binary neutron star (NS) coalescence by the Advanced LIGO and Advanced Virgo gravitational-wave (GW) detectors offers an unprecedented opportunity to study matter under the most extreme conditions. After such a merger, a compact remnant is left over whose nature depends primarily on the masses of the inspiraling objects and on the equation of state of nuclear matter. This could be either a black hole (BH) or an NS, with the latter being either long-lived or too massive for stability implying delayed collapse to a BH. Here, we present a search for GWs from the remnant of the binary NS merger GW170817 using data from Advanced LIGO and Advanced Virgo. We search for short- (≲1 s) and intermediate-duration (≲500 s) signals, which include GW emission from a hypermassive NS or supramassive NS, respectively. We find no signal from the post-merger remnant. Our derived strain upper limits are more than an order of magnitude larger than those predicted by most models. For short signals, our best upper limit on the root sum square of the GW strain emitted from 1-4 kHz is at 50% detection efficiency. For intermediate-duration signals, our best upper limit at 50% detection efficiency is for a millisecond magnetar model, and for a bar-mode model. These results indicate that post-merger emission from a similar event may be detectable when advanced detectors reach design sensitivity or with next-generation detectors.</p

Increasing the Astrophysical Reach of the Advanced Virgo Detector via the Application of Squeezed Vacuum States of Light

Current interferometric gravitational-wave detectors are limited by quantum noise over a wide range of their measurement bandwidth. One method to overcome the quantum limit is the injection of squeezed vacuum states of light into the interferometer’s dark port. Here, we report on the successful application of this quantum technology to improve the shot noise limited sensitivity of the Advanced Virgo gravitational-wave detector. A sensitivity enhancement of up to 3.2±0.1  dB beyond the shot noise limit is achieved. This nonclassical improvement corresponds to a 5%–8% increase of the binary neutron star horizon. The squeezing injection was fully automated and over the first 5 months of the third joint LIGO-Virgo observation run O3 squeezing was applied for more than 99% of the science time. During this period several gravitational-wave candidates have been recorded

Prospects for observing and localizing gravitational-wave transients with Advanced LIGO, Advanced Virgo and KAGRA

We present possible observing scenarios for the Advanced LIGO, Advanced Virgo and KAGRA gravitational-wave detectors over the next decade, with the intention of providing information to the astronomy community to facilitate planning for multi-messenger astronomy with gravitational waves. We estimate the sensitivity of the network to transient gravitational-wave signals, and study the capability of the network to determine the sky location of the source. We report our findings for gravitational-wave transients, with particular focus on gravitational-wave signals from the inspiral of binary neutron star systems, which are the most promising targets for multi-messenger astronomy. The ability to localize the sources of the detected signals depends on the geographical distribution of the detectors and their relative sensitivity, and 90% credible regions can be as large as thousands of square degrees when only two sensitive detectors are operational. Determining the sky position of a significant fraction of detected signals to areas of 5– 20 deg2 requires at least three detectors of sensitivity within a factor of ∼2 of each other and with a broad frequency bandwidth. When all detectors, including KAGRA and the third LIGO detector in India, reach design sensitivity, a significant fraction of gravitational-wave signals will be localized to a few square degrees by gravitational-wave observations alone

Full band all-sky search for periodic gravitational waves in the O1 LIGO data

We report on a new all-sky search for periodic gravitational waves in the frequency band 475–2000 Hz and with a frequency time derivative in the range of ½−1.0; þ0.1 × 10−8 Hz=s. Potential signals could be produced by a nearby spinning and slightly nonaxisymmetric isolated neutron star in our Galaxy. This search uses the data from Advanced LIGO’s first observational run O1. No gravitational-wave signals were observed, and upper limits were placed on their strengths. For completeness, results from the separately published low-frequency search 20–475 Hz are included as well. Our lowest upper limit on worst-case (linearly polarized) strain amplitude h0 is ∼4 × 10−25 near 170 Hz, while at the high end of our frequency range, we achieve a worst-case upper limit of 1.3 × 10−24. For a circularly polarized source (most favorable orientation), the smallest upper limit obtained is ∼1.5 × 10−25

Measuring (KSK +/-)-K-0 interactions using pp collisions at root s=7 TeV

We present the first measurements of femtoscopic correlations between the K-S(0) and K-+/- particles in pp collisions at root s = 7 TeV measured by the ALICE experiment. The observed femtoscopic correlations are consistent with final-state interactions proceeding solely via the a(0)(980) resonance. The extracted kaon source radius and correlation strength parameters for (KSK-)-K-0 are found to be equal within the experimental uncertainties to those for (KSK+)-K-0. Results of the present study are compared with those from identical-kaon femtoscopic studies also performed with pp collisions at root s = 7 TeV by ALICE and with a (KSK +/-)-K-0 measurement in Pb-Pb collisions at root s(NN) = 2.76 TeV. Combined with the Pb-Pb results, our pp analysis is found to be compatible with the interpretation of the a (980) having a tetraquark structure instead of that of a diquark. (C) 2018 Published by Elsevier B.V.Peer reviewe

Direct photon elliptic flow in Pb-Pb collisions at root s(NN)=2.76 TeV

The elliptic flow of inclusive and direct photons was measured at mid-rapidity in two centrality classes 0-20% and 20-40% in Pb-Pb collisions at root s(NN) = 2.76 TeV by ALICE. Photons were detected with the highly segmented electromagnetic calorimeter PHOS and via conversions in the detector material with the e(broken vertical bar)e pairs reconstructed in the central tracking system. The results of the two methods were combined and the direct-photon elliptic flow was extracted in the transverse momentum range 0.9 < p(T) < 6.2 GeV/c. A comparison to RHIC data shows a similar magnitude of the measured direct-photon elliptic flow. Hydrodynamic and transport model calculations are systematically lower than the data, but are found to be compatible. (C) 2018 The Author. Published by Elsevier B.V.Peer reviewe