Timed Parity Games: Complexity and Robustness

We consider two-player games played in real time on game structures with clocks where the objectives of players are described using parity conditions. The games are \emph{concurrent} in that at each turn, both players independently propose a time delay and an action, and the action with the shorter delay is chosen. To prevent a player from winning by blocking time, we restrict each player to play strategies that ensure that the player cannot be responsible for causing a zeno run. First, we present an efficient reduction of these games to \emph{turn-based} (i.e., not concurrent) \emph{finite-state} (i.e., untimed) parity games. Our reduction improves the best known complexity for solving timed parity games. Moreover, the rich class of algorithms for classical parity games can now be applied to timed parity games. The states of the resulting game are based on clock regions of the original game, and the state space of the finite game is linear in the size of the region graph. Second, we consider two restricted classes of strategies for the player that represents the controller in a real-time synthesis problem, namely, \emph{limit-robust} and \emph{bounded-robust} winning strategies. Using a limit-robust winning strategy, the controller cannot choose an exact real-valued time delay but must allow for some nonzero jitter in each of its actions. If there is a given lower bound on the jitter, then the strategy is bounded-robust winning. We show that exact strategies are more powerful than limit-robust strategies, which are more powerful than bounded-robust winning strategies for any bound. For both kinds of robust strategies, we present efficient reductions to standard timed automaton games. These reductions provide algorithms for the synthesis of robust real-time controllers

First measurement of the Hubble Constant from a Dark Standard Siren using the Dark Energy Survey Galaxies and the LIGO/Virgo Binary–Black-hole Merger GW170814

International audienceWe present a multi-messenger measurement of the Hubble constant H 0 using the binary–black-hole merger GW170814 as a standard siren, combined with a photometric redshift catalog from the Dark Energy Survey (DES). The luminosity distance is obtained from the gravitational wave signal detected by the Laser Interferometer Gravitational-Wave Observatory (LIGO)/Virgo Collaboration (LVC) on 2017 August 14, and the redshift information is provided by the DES Year 3 data. Black hole mergers such as GW170814 are expected to lack bright electromagnetic emission to uniquely identify their host galaxies and build an object-by-object Hubble diagram. However, they are suitable for a statistical measurement, provided that a galaxy catalog of adequate depth and redshift completion is available. Here we present the first Hubble parameter measurement using a black hole merger. Our analysis results in , which is consistent with both SN Ia and cosmic microwave background measurements of the Hubble constant. The quoted 68% credible region comprises 60% of the uniform prior range [20, 140] km s−1 Mpc−1, and it depends on the assumed prior range. If we take a broader prior of [10, 220] km s−1 Mpc−1, we find (57% of the prior range). Although a weak constraint on the Hubble constant from a single event is expected using the dark siren method, a multifold increase in the LVC event rate is anticipated in the coming years and combinations of many sirens will lead to improved constraints on H 0

GW170104: Observation of a 50-Solar-Mass Binary Black Hole Coalescence at Redshift 0.2

We describe the observation of GW170104, a gravitational-wave signal produced by the coalescence of a pair of stellar-mass black holes. The signal was measured on January 4, 2017 at 10: 11: 58.6 UTC by the twin advanced detectors of the Laser Interferometer Gravitational-Wave Observatory during their second observing run, with a network signal-to-noise ratio of 13 and a false alarm rate less than 1 in 70 000 years. The inferred component black hole masses are 31.2(-6.0)(+8.4)M-circle dot and 19.4(-5.9)(+5.3)M(circle dot) (at the 90% credible level). The black hole spins are best constrained through measurement of the effective inspiral spin parameter, a mass-weighted combination of the spin components perpendicular to the orbital plane, chi(eff) = -0.12(-0.30)(+0.21) . This result implies that spin configurations with both component spins positively aligned with the orbital angular momentum are disfavored. The source luminosity distance is 880(-390)(+450) Mpc corresponding to a redshift of z = 0.18(-0.07)(+0.08) . We constrain the magnitude of modifications to the gravitational-wave dispersion relation and perform null tests of general relativity. Assuming that gravitons are dispersed in vacuum like massive particles, we bound the graviton mass to m(g) <= 7.7 x 10(-23) eV/c(2). In all cases, we find that GW170104 is consistent with general relativity

Charged-particle distributions at low transverse momentum in √s=13 13 TeV pp interactions measured with the ATLAS detector at the LHC

Measurements of distributions of charged particles produced in proton–proton collisions with a centre-of-mass energy of 13 TeV are presented. The data were recorded by the ATLAS detector at the LHC and correspond to an integrated luminosity of 151 μb −1 μb−1 . The particles are required to have a transverse momentum greater than 100 MeV and an absolute pseudorapidity less than 2.5. The charged-particle multiplicity, its dependence on transverse momentum and pseudorapidity and the dependence of the mean transverse momentum on multiplicity are measured in events containing at least two charged particles satisfying the above kinematic criteria. The results are corrected for detector effects and compared to the predictions from several Monte Carlo event generators

Search for supersymmetry at √s = 13 TeV in final states with jets and two same-sign leptons or three leptons with the ATLAS detector

A search for strongly produced supersymmetric particles is conducted using signatures involving multiple energetic jets and either two isolated leptons (e or μμ ) with the same electric charge or at least three isolated leptons. The search also utilises b-tagged jets, missing transverse momentum and other observables to extend its sensitivity. The analysis uses a data sample of proton–proton collisions at s√=13s=13 TeV recorded with the ATLAS detector at the Large Hadron Collider in 2015 corresponding to a total integrated luminosity of 3.2 fb −1−1. No significant excess over the Standard Model expectation is observed. The results are interpreted in several simplified supersymmetric models and extend the exclusion limits from previous searches. In the context of exclusive production and simplified decay modes, gluino masses are excluded at 95%95% confidence level up to 1.1–1.3 TeV for light neutralinos (depending on the decay channel), and bottom squark masses are also excluded up to 540 GeV. In the former scenarios, neutralino masses are also excluded up to 550–850 GeV for gluino masses around 1 TeV

Measurement of the inelastic proton-proton cross section at √s=13 TeV with the ATLAS detector at the LHC

This Letter presents a measurement of the inelastic proton-proton cross section using 60  μb −1 of pp collisions at a center-of-mass energy √s of 13 TeV with the ATLAS detector at the LHC. Inelastic interactions are selected using rings of plastic scintillators in the forward region (2.0710 −6 , where M X is the larger invariant mass of the two hadronic systems separated by the largest rapidity gap in the event. In this ξ range the scintillators are highly efficient. For diffractive events this corresponds to cases where at least one proton dissociates to a system with M X >13  GeV . The measured cross section is compared with a range of theoretical predictions. When extrapolated to the full phase space, a cross section of 78.1±2.9  mb is measured, consistent with the inelastic cross section increasing with center-of-mass energy

Search for lepton-flavour-violating decays of the Higgs and Z bosons with the ATLAS detector

Direct searches for lepton flavour violation in decays of the Higgs and Z bosons with the ATLAS detector at the LHC are presented. The following three decays are considered: H→eτ, H→μτ, and Z→μτ. The searches are based on the data sample of proton–proton collisions collected by the ATLAS detector corresponding to an integrated luminosity of 20.3 fb−1 at a centre-of-mass energy of s√=8 TeV. No significant excess is observed, and upper limits on the lepton-flavour-violating branching ratios are set at the 95 % confidence level: Br (H→eτ)<1.04%, Br (H→μτ)<1.43%, and Br (Z→μτ)<1.69×10−5

Reconstruction of primary vertices at the ATLAS experiment in Run 1 proton–proton collisions at the LHC

This paper presents the method and performance of primary vertex reconstruction in proton–proton collision data recorded by the ATLAS experiment during Run 1 of the LHC. The studies presented focus on data taken during 2012 at a centre-of-mass energy of √s=8 TeV. The performance has been measured as a function of the number of interactions per bunch crossing over a wide range, from one to seventy. The measurement of the position and size of the luminous region and its use as a constraint to improve the primary vertex resolution are discussed. A longitudinal vertex position resolution of about 30μm is achieved for events with high multiplicity of reconstructed tracks. The transverse position resolution is better than 20μm and is dominated by the precision on the size of the luminous region. An analytical model is proposed to describe the primary vertex reconstruction efficiency as a function of the number of interactions per bunch crossing and of the longitudinal size of the luminous region. Agreement between the data and the predictions of this model is better than 3% up to seventy interactions per bunch crossing

Measurement of the angular coefficients in Z-boson events using electron and muon pairs from data taken at √s=8 TeV with the ATLAS detector

The angular distributions of Drell-Yan charged lepton pairs in the vicinity of the Z-boson mass peak probe the underlying QCD dynamics of Z-boson production. This paper presents a measurement of the complete set of angular coefficients A0−7 describing these distributions in the Z-boson Collins-Soper frame. The data analysed correspond to 20.3 fb−1 of pp collisions at s√=8s=8 TeV, collected by the ATLAS detector at the CERN LHC. The measurements are compared to the most precise fixed-order calculations currently available (O(α2s))(O(αs2)) and with theoretical predictions embedded in Monte Carlo generators. The measurements are precise enough to probe QCD corrections beyond the formal accuracy of these calculations and to provide discrimination between different parton-shower models. A significant deviation from the (O(α2s))(O(αs2)) predictions is observed for A0 − A2. Evidence is found for non-zero A5,6,7, consistent with expectations

Study of the rare decays of B 0 s Bs0 and B 0 B0 into muon pairs from data collected during the LHC Run 1 with the ATLAS detector

A study of the decays B 0 s →μ + μ − Bs0→μ+μ− and B 0 →μ + μ − B0→μ+μ− has been performed using data corresponding to an integrated luminosity of 25 fb −1 −1 of 7 and 8 TeV proton–proton collisions collected with the ATLAS detector during the LHC Run 1. For the B 0 B0 dimuon decay, an upper limit on the branching fraction is set at B(B 0 →μ + μ − )<4.2×10 −10 B(B0→μ+μ−)<4.2×10−10 at 95 % confidence level. For B 0 s Bs0, the branching fraction B(B 0 s →μ + μ − )=(0.9 +1.1 −0.8 )×10 −9 B(Bs0→μ+μ−)=(0.9−0.8+1.1)×10−9 is measured. The results are consistent with the Standard Model expectation with a p value of 4.8 %, corresponding to 2.0 standard deviations