Algorithms for Game Metrics

Simulation and bisimulation metrics for stochastic systems provide a quantitative generalization of the classical simulation and bisimulation relations. These metrics capture the similarity of states with respect to quantitative specifications written in the quantitative {\mu}-calculus and related probabilistic logics. We first show that the metrics provide a bound for the difference in long-run average and discounted average behavior across states, indicating that the metrics can be used both in system verification, and in performance evaluation. For turn-based games and MDPs, we provide a polynomial-time algorithm for the computation of the one-step metric distance between states. The algorithm is based on linear programming; it improves on the previous known exponential-time algorithm based on a reduction to the theory of reals. We then present PSPACE algorithms for both the decision problem and the problem of approximating the metric distance between two states, matching the best known algorithms for Markov chains. For the bisimulation kernel of the metric our algorithm works in time O(n^4) for both turn-based games and MDPs; improving the previously best known O(n^9\cdot log(n)) time algorithm for MDPs. For a concurrent game G, we show that computing the exact distance between states is at least as hard as computing the value of concurrent reachability games and the square-root-sum problem in computational geometry. We show that checking whether the metric distance is bounded by a rational r, can be done via a reduction to the theory of real closed fields, involving a formula with three quantifier alternations, yielding O(|G|^O(|G|^5)) time complexity, improving the previously known reduction, which yielded O(|G|^O(|G|^7)) time complexity. These algorithms can be iterated to approximate the metrics using binary search.Comment: 27 pages. Full version of the paper accepted at FSTTCS 200

ALPGEN, a generator for hard multiparton processes in hadronic collisions

This paper presents a new event generator, ALPGEN, dedicated to the study of multiparton hard processes in hadronic collisions. The code performs, at the leading order in QCD and EW interactions, the calculation of the exact matrix elements for a large set of parton-level processes of interest in the study of the Tevatron and LHC data. The current version of the code describes the following final states: (W -> ffbar') QQbar+ N jets (Q being a heavy quark, and f=l,q), with N f fbar)+QQbar+Njets (f=l,nu), with N ffbar') + charm + N jets (f=l,q), N f fbar') + N jets (f=l,q) and (Z/gamma* -> f fbar)+ N jets (f=l,nu), with N<=6; nW+mZ+lH+N jets, with n+m+l+N<=8 and N<=3 including all 2-fermion decay modes of W and Z bosons, with spin correlations; Q Qbar+N jets (N b f fbar' decays and relative spin correlations included if Q=t; Q Qbar Q' Qbar'+N jets, with Q and Q' heavy quarks (possibly equal) and N b f fbar' decays and relative spin correlations included if Q=t; N jets, with N<=6. Parton-level events are generated, providing full information on their colour and flavour structure, enabling the evolution of the partons into fully hadronised final states.Comment: 1+38 pages, uses JHEP.cls. Documents code version 1.2: extended list of processes, updated documentation and bibliograph

Thermal Infrared Imaging Experiments of C-Type Asteroid 162173 Ryugu on Hayabusa2

The thermal infrared imager TIR onboard Hayabusa2 has been developed to investigate thermo-physical properties of C-type, near-Earth asteroid 162173 Ryugu. TIR is one of the remote science instruments on Hayabusa2 designed to understand the nature of a volatile-rich solar system small body, but it also has significant mission objectives to provide information on surface physical properties and conditions for sampling site selection as well as the assessment of safe landing operations. TIR is based on a two-dimensional uncooled micro-bolometer array inherited from the Longwave Infrared Camera LIR on Akatsuki (Fukuhara et al., 2011). TIR takes images of thermal infrared emission in 8 to 12 μm with a field of view of 16×12∘ and a spatial resolution of 0.05∘ per pixel. TIR covers the temperature range from 150 to 460 K, including the well calibrated range from 230 to 420 K. Temperature accuracy is within 2 K or better for summed images, and the relative accuracy or noise equivalent temperature difference (NETD) at each of pixels is 0.4 K or lower for the well-calibrated temperature range. TIR takes a couple of images with shutter open and closed, the corresponding dark frame, and provides a true thermal image by dark frame subtraction. Data processing involves summation of multiple images, image processing including the StarPixel compression (Hihara et al., 2014), and transfer to the data recorder in the spacecraft digital electronics (DE). We report the scientific and mission objectives of TIR, the requirements and constraints for the instrument specifications, the designed instrumentation and the pre-flight and in-flight performances of TIR, as well as its observation plan during the Hayabusa2 mission

Search for displaced vertices arising from decays of new heavy particles in 7 TeV pp collisions at ATLAS

We present the results of a search for new, heavy particles that decay at a significant distance from their production point into a final state containing charged hadrons in association with a high-momentum muon. The search is conducted in a pp-collision data sample with a center-of-mass energy of 7 TeV and an integrated luminosity of 33 pb^-1 collected in 2010 by the ATLAS detector operating at the Large Hadron Collider. Production of such particles is expected in various scenarios of physics beyond the standard model. We observe no signal and place limits on the production cross-section of supersymmetric particles in an R-parity-violating scenario as a function of the neutralino lifetime. Limits are presented for different squark and neutralino masses, enabling extension of the limits to a variety of other models.Comment: 8 pages plus author list (20 pages total), 8 figures, 1 table, final version to appear in Physics Letters

Measurement of the polarisation of W bosons produced with large transverse momentum in pp collisions at sqrt(s) = 7 TeV with the ATLAS experiment

This paper describes an analysis of the angular distribution of W->enu and W->munu decays, using data from pp collisions at sqrt(s) = 7 TeV recorded with the ATLAS detector at the LHC in 2010, corresponding to an integrated luminosity of about 35 pb^-1. Using the decay lepton transverse momentum and the missing transverse energy, the W decay angular distribution projected onto the transverse plane is obtained and analysed in terms of helicity fractions f0, fL and fR over two ranges of W transverse momentum (ptw): 35 < ptw < 50 GeV and ptw > 50 GeV. Good agreement is found with theoretical predictions. For ptw > 50 GeV, the values of f0 and fL-fR, averaged over charge and lepton flavour, are measured to be : f0 = 0.127 +/- 0.030 +/- 0.108 and fL-fR = 0.252 +/- 0.017 +/- 0.030, where the first uncertainties are statistical, and the second include all systematic effects.Comment: 19 pages plus author list (34 pages total), 9 figures, 11 tables, revised author list, matches European Journal of Physics C versio

Observation of a new chi_b state in radiative transitions to Upsilon(1S) and Upsilon(2S) at ATLAS

The chi_b(nP) quarkonium states are produced in proton-proton collisions at the Large Hadron Collider (LHC) at sqrt(s) = 7 TeV and recorded by the ATLAS detector. Using a data sample corresponding to an integrated luminosity of 4.4 fb^-1, these states are reconstructed through their radiative decays to Upsilon(1S,2S) with Upsilon->mu+mu-. In addition to the mass peaks corresponding to the decay modes chi_b(1P,2P)->Upsilon(1S)gamma, a new structure centered at a mass of 10.530+/-0.005 (stat.)+/-0.009 (syst.) GeV is also observed, in both the Upsilon(1S)gamma and Upsilon(2S)gamma decay modes. This is interpreted as the chi_b(3P) system.Comment: 5 pages plus author list (18 pages total), 2 figures, 1 table, corrected author list, matches final version in Physical Review Letter

Measurement of the inclusive isolated prompt photon cross-section in pp collisions at sqrt(s)= 7 TeV using 35 pb-1 of ATLAS data

A measurement of the differential cross-section for the inclusive production of isolated prompt photons in pp collisions at a center-of-mass energy sqrt(s) = 7 TeV is presented. The measurement covers the pseudorapidity ranges |eta|<1.37 and 1.52<=|eta|<2.37 in the transverse energy range 45<=E_T<400GeV. The results are based on an integrated luminosity of 35 pb-1, collected with the ATLAS detector at the LHC. The yields of the signal photons are measured using a data-driven technique, based on the observed distribution of the hadronic energy in a narrow cone around the photon candidate and the photon selection criteria. The results are compared with next-to-leading order perturbative QCD calculations and found to be in good agreement over four orders of magnitude in cross-section.Comment: 7 pages plus author list (18 pages total), 2 figures, 4 tables, final version published in Physics Letters

Reducing heterotic M-theory to five dimensional supergravity on a manifold with boundary

This paper constructs the reduction of heterotic $M$-theory in eleven dimensions to a supergravity model on a manifold with boundary in five dimensions using a Calabi-Yau three-fold. New results are presented for the boundary terms in the action and for the boundary conditions on the bulk fields. Some general features of dualisation on a manifold with boundary are used to explain the origin of some topological terms in the action. The effect of gaugino condensation on the fermion boundary conditions leads to a `twist' in the chirality of the gravitino which can provide an uplifting mechanism in the vacuum energy to cancel the cosmological constant after moduli stabilisation.Comment: 16 pages, RevTe

Measurement of D*+/- meson production in jets from pp collisions at sqrt(s) = 7 TeV with the ATLAS detector

This paper reports a measurement of D*+/- meson production in jets from proton-proton collisions at a center-of-mass energy of sqrt(s) = 7 TeV at the CERN Large Hadron Collider. The measurement is based on a data sample recorded with the ATLAS detector with an integrated luminosity of 0.30 pb^-1 for jets with transverse momentum between 25 and 70 GeV in the pseudorapidity range |eta| < 2.5. D*+/- mesons found in jets are fully reconstructed in the decay chain: D*+ -> D0pi+, D0 -> K-pi+, and its charge conjugate. The production rate is found to be N(D*+/-)/N(jet) = 0.025 +/- 0.001(stat.) +/- 0.004(syst.) for D*+/- mesons that carry a fraction z of the jet momentum in the range 0.3 < z < 1. Monte Carlo predictions fail to describe the data at small values of z, and this is most marked at low jet transverse momentum.Comment: 10 pages plus author list (22 pages total), 5 figures, 1 table, matches published version in Physical Review

Search for scalar top quark pair production in natural gauge mediated supersymmetry models with the ATLAS detector in pp collisions at sqrt(s) = 7 TeV

The results of a search for pair production of the lighter scalar partners of top quarks in 2.05 fb-1 of pp collisions at sqrt(s) =7 TeV using the ATLAS experiment at the LHC are reported. Scalar top quarks are searched for in events with two same flavour opposite-sign leptons (electrons or muons) with invariant mass consistent with the Z boson mass, large missing transverse momentum and jets in the final state. At least one of the jets is identified as originating from a b-quark. No excess over Standard Model expectations is found. The results are interpreted in the framework of R-parity conserving, gauge mediated Supersymmetry breaking `natural' scenarios, where the neutralino is the next-to-lightest supersymmetric particle. Scalar top quark masses up to 310 GeV are excluded for the lightest neutralino mass between 115 GeV and 230 GeV at 95% confidence level, reaching an exclusion of the scalar top quark mass of 330 GeV for the lightest neutralino mass of 190 GeV. Scalar top quark masses below 240 GeV are excluded for all values of the lightest neutralino mass above the Z boson mass.Comment: 7 pages plus author list (20 pages total), 4 figures, 1 table, matches published PLB versio