Compositional Verification and Optimization of Interactive Markov Chains

Interactive Markov chains (IMC) are compositional behavioural models extending labelled transition systems and continuous-time Markov chains. We provide a framework and algorithms for compositional verification and optimization of IMC with respect to time-bounded properties. Firstly, we give a specification formalism for IMC. Secondly, given a time-bounded property, an IMC component and the assumption that its unknown environment satisfies a given specification, we synthesize a scheduler for the component optimizing the probability that the property is satisfied in any such environment

Star Formation and Dynamics in the Galactic Centre

The centre of our Galaxy is one of the most studied and yet enigmatic places in the Universe. At a distance of about 8 kpc from our Sun, the Galactic centre (GC) is the ideal environment to study the extreme processes that take place in the vicinity of a supermassive black hole (SMBH). Despite the hostile environment, several tens of early-type stars populate the central parsec of our Galaxy. A fraction of them lie in a thin ring with mild eccentricity and inner radius ~0.04 pc, while the S-stars, i.e. the ~30 stars closest to the SMBH (<0.04 pc), have randomly oriented and highly eccentric orbits. The formation of such early-type stars has been a puzzle for a long time: molecular clouds should be tidally disrupted by the SMBH before they can fragment into stars. We review the main scenarios proposed to explain the formation and the dynamical evolution of the early-type stars in the GC. In particular, we discuss the most popular in situ scenarios (accretion disc fragmentation and molecular cloud disruption) and migration scenarios (star cluster inspiral and Hills mechanism). We focus on the most pressing challenges that must be faced to shed light on the process of star formation in the vicinity of a SMBH.Comment: 68 pages, 35 figures; invited review chapter, to be published in expanded form in Haardt, F., Gorini, V., Moschella, U. and Treves, A., 'Astrophysical Black Holes'. Lecture Notes in Physics. Springer 201

Anisotropy studies around the galactic centre at EeV energies with the Auger Observatory

Data from the Pierre Auger Observatory are analyzed to search for anisotropies near the direction of the Galactic Centre at EeV energies. The exposure of the surface array in this part of the sky is already significantly larger than that of the fore-runner experiments. Our results do not support previous findings of localized excesses in the AGASA and SUGAR data. We set an upper bound on a point-like flux of cosmic rays arriving from the Galactic Centre which excludes several scenarios predicting sources of EeV neutrons from Sagittarius $A$. Also the events detected simultaneously by the surface and fluorescence detectors (the `hybrid' data set), which have better pointing accuracy but are less numerous than those of the surface array alone, do not show any significant localized excess from this direction.Comment: Matches published versio

Search for single top quarks in the tau+jets channel using 4.8 fb−1^{-1} of ppˉp\bar{p} collision data

We present the first direct search for single top quark production using tau leptons. The search is based on 4.8 fb$^{-1}$ of integrated luminosity collected in $p\bar{p}$ collisions at $\sqrt{s}$=1.96 TeV with the D0 detector at the Fermilab Tevatron Collider. We select events with a final state including an isolated tau lepton, missing transverse energy, two or three jets, one or two of them $b$ tagged. We use a multivariate technique to discriminate signal from background. The number of events observed in data in this final state is consistent with the signal plus background expectation. We set in the tau+jets channel an upper limit on the single top quark cross section of \TauLimObs pb at the 95% C.L. This measurement allows a gain of 4% in expected sensitivity for the observation of single top production when combining it with electron+jets and muon+jets channels already published by the D0 collaboration with 2.3 fb$^{-1}$ of data. We measure a combined cross section of \SuperCombineXSall pb, which is the most precise measurement to date.Comment: 12 pages, 5 figure

b-Jet Identification in the D0 Experiment

Algorithms distinguishing jets originating from b quarks from other jet flavors are important tools in the physics program of the D0 experiment at the Fermilab Tevatron p-pbar collider. This article describes the methods that have been used to identify b-quark jets, exploiting in particular the long lifetimes of b-flavored hadrons, and the calibration of the performance of these algorithms based on collider data.Comment: submitted to Nuclear Instruments and Methods in Physics Research

Measurement of Z/gamma*+jet+X angular distributions in ppbar collisions at sqrt{s}=1.96 TeV

We present the first measurements at a hadron collider of differential cross sections for Z+jet+X production in delta phi(Z, jet), |delta y(Z, jet)| and |y_boost(Z, jet)|. Vector boson production in association with jets is an excellent probe of QCD and constitutes the main background to many small cross section processes, such as associated Higgs production. These measurements are crucial tests of the predictions of perturbative QCD and current event generators, which have varied success in describing the data. Using these measurements as inputs in tuning event generators will increase the experimental sensitivity to rare signals.Comment: Published in Physics Letters B 682 (2010), pp. 370-380. 15 pages, 6 figure

Search for pair production of the scalar top quark in the electron-muon final state

We report the result of a search for the pair production of the lightest supersymmetric partner of the top quark ($\tilde{t}_1$) in $p\bar{p}$ collisions at a center-of-mass energy of 1.96 TeV at the Fermilab Tevatron collider corresponding to an integrated luminosity of 5.4 fb$^{-1}$. The scalar top quarks are assumed to decay into a $b$ quark, a charged lepton, and a scalar neutrino ($\tilde{\nu}$), and the search is performed in the electron plus muon final state. No significant excess of events above the standard model prediction is detected, and improved exclusion limits at the 95% C.L. are set in the the ($M_{\tilde{t}_1}$,$M_{\tilde{\nu}}$) mass plane

Measurement of the dijet invariant mass cross section in proton anti-proton collisions at sqrt{s} = 1.96 TeV

The inclusive dijet production double differential cross section as a function of the dijet invariant mass and of the largest absolute rapidity of the two jets with the largest transverse momentum in an event is measured in proton anti-proton collisions at sqrt{s} = 1.96 TeV using 0.7 fb^{-1} integrated luminosity collected with the D0 detector at the Fermilab Tevatron Collider. The measurement is performed in six rapidity regions up to a maximum rapidity of 2.4. Next-to-leading order perturbative QCD predictions are found to be in agreement with the data.Comment: Published in Phys. Lett. B, 693, (2010), 531-538, 8 pages, 2 figures, 6 table

Search for the standard model Higgs boson in tau final states

We present a search for the standard model Higgs boson using hadronically decaying tau leptons, in 1 inverse femtobarn of data collected with the D0 detector at the Fermilab Tevatron ppbar collider. We select two final states: tau plus missing transverse energy and b jets, and tau+ tau- plus jets. These final states are sensitive to a combination of associated W/Z boson plus Higgs boson, vector boson fusion and gluon-gluon fusion production processes. The observed ratio of the combined limit on the Higgs production cross section at the 95% C.L. to the standard model expectation is 29 for a Higgs boson mass of 115 GeV.Comment: publication versio

Measurement of the p-pbar -> Wgamma + X cross section at sqrt(s) = 1.96 TeV and WWgamma anomalous coupling limits

The WWgamma triple gauge boson coupling parameters are studied using p-pbar -> l nu gamma + X (l = e,mu) events at sqrt(s) = 1.96 TeV. The data were collected with the DO detector from an integrated luminosity of 162 pb^{-1} delivered by the Fermilab Tevatron Collider. The cross section times branching fraction for p-pbar -> W(gamma) + X -> l nu gamma + X with E_T^{gamma} > 8 GeV and Delta R_{l gamma} > 0.7 is 14.8 +/- 1.6 (stat) +/- 1.0 (syst) +/- 1.0 (lum) pb. The one-dimensional 95% confidence level limits on anomalous couplings are -0.88 < Delta kappa_{gamma} < 0.96 and -0.20 < lambda_{gamma} < 0.20.Comment: Submitted to Phys. Rev. D Rapid Communication