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

Search for lepton-flavor violation at HERA

A search for lepton-flavor-violating interactions $e p \to \mu X$ and $e p\to \tau X$ has been performed with the ZEUS detector using the entire HERA I data sample, corresponding to an integrated luminosity of 130 pb^{-1}. The data were taken at center-of-mass energies, $\sqrt{s}$, of 300 and 318 GeV. No evidence of lepton-flavor violation was found, and constraints were derived on leptoquarks (LQs) that could mediate such interactions. For LQ masses below $\sqrt{s}$, limits were set on $\lambda_{eq_1} \sqrt{\beta_{\ell q}}$, where $\lambda_{eq_1}$ is the coupling of the LQ to an electron and a first-generation quark $q_1$, and $\beta_{\ell q}$ is the branching ratio of the LQ to the final-state lepton $\ell$ ($\mu$ or $\tau$) and a quark $q$. For LQ masses much larger than $\sqrt{s}$, limits were set on the four-fermion interaction term $\lambda_{e q_\alpha} \lambda_{\ell q_\beta} / M_{\mathrm{LQ}}^2$ for LQs that couple to an electron and a quark $q_\alpha$ and to a lepton $\ell$ and a quark $q_\beta$, where $\alpha$ and $\beta$ are quark generation indices. Some of the limits are also applicable to lepton-flavor-violating processes mediated by squarks in $R$-Parity-violating supersymmetric models. In some cases, especially when a higher-generation quark is involved and for the process $e p\to \tau X$, the ZEUS limits are the most stringent to date.Comment: 37 pages, 10 figures, Accepted by EPJC. References and 1 figure (Fig. 6) adde

Multijet production in neutral current deep inelastic scattering at HERA and determination of alpha_s

Multijet production rates in neutral current deep inelastic scattering have been measured in the range of exchanged boson virtualities 10 < Q2 < 5000 GeV2. The data were taken at the ep collider HERA with centre-of-mass energy sqrt(s) = 318 GeV using the ZEUS detector and correspond to an integrated luminosity of 82.2 pb-1. Jets were identified in the Breit frame using the k_T cluster algorithm in the longitudinally invariant inclusive mode. Measurements of differential dijet and trijet cross sections are presented as functions of jet transverse energy E_{T,B}{jet}, pseudorapidity eta_{LAB}{jet} and Q2 with E_{T,B}{jet} > 5 GeV and -1 < eta_{LAB}{jet} < 2.5. Next-to-leading-order QCD calculations describe the data well. The value of the strong coupling constant alpha_s(M_Z), determined from the ratio of the trijet to dijet cross sections, is alpha_s(M_Z) = 0.1179 pm 0.0013(stat.) {+0.0028}_{-0.0046}(exp.) {+0.0064}_{-0.0046}(th.)Comment: 22 pages, 5 figure

Search for a narrow charmed baryonic state decaying to D^*+/- p^-/+ in ep collisions at HERA

A resonance search has been made in the D^*+/- p^-/+ invariant-mass spectrum with the ZEUS detector at HERA using an integrated luminosity of 126 pb^-1. The decay channels D^*+ -> D^0 pi^+_s -> (K^- pi^+) pi^+_s and D^*+ -> D^0 pi^+_s -> (K^- pi^+ pi^+ pi^-) pi^+_s (and the corresponding antiparticle decays) were used to identify D^*+/- mesons. No resonance structure was observed in the D^*+/- p^-/+ mass spectrum from more than 60000 reconstructed D^*+/- mesons. The results are not compatible with a report of the H1 Collaboration of a charmed pentaquark, Theta^0_c.Comment: 22 pages, 7 figures, 1 table; minor text revisions; 2 references adde

Measurement of charm fragmentation ratios and fractions in photoproduction at HERA

The production of D^*+, D^0, D^+, D_s^+ and Lambda_c^+ charm hadrons and their antiparticles in ep scattering at HERA was measured with the ZEUS detector using an integrated luminosity of 79 pb^-1. The measurement has been performed in the photoproduction regime with the exchanged-photon virtuality Q^2 < 1 GeV^2 and for photon-proton centre-of-mass energies in the range 130 < W < 300 GeV. The charm hadrons were reconstructed in the range of transverse momentum p_T(D, Lambda_c) > 3.8 GeV and pseudorapidity |eta(D, Lambda_c)| < 1.6. The production cross sections were used to determine the ratio of neutral and charged D-meson production rates, R_u/d, the strangeness-suppression factor, gamma_s, and the fraction of charged D mesons produced in a vector state, P_v^d. The measured R_u/d and gamma_s values agree with those obtained in deep inelastic scattering and in e^+e^- annihilations. The measured P_v^d value is smaller than, but consistent with, the previous measurements. The fractions of c quarks hadronising as a particular charm hadron, f(c -> D, Lambda_c), were derived in the given kinematic range. The measured open-charm fragmentation fractions are consistent with previous results, although the measured f(c -> D^*+) is smaller and f(c -> Lambda_c^+) is larger than those obtained in e^+e^- annihilations. These results generally support the hypothesis that fragmentation proceeds independently of the hard sub-process.Comment: 29 pages, 5 figures, 6 tables; minor text revision

Dissociation of virtual photons in events with a leading proton at HERA

The ZEUS detector has been used to study dissociation of virtual photons in events with a leading proton, gamma^* p -> X p, in e^+p collisions at HERA. The data cover photon virtualities in two ranges, 0.03<Q^2<0.60 GeV^2 and 2<Q^2<100 GeV^2, with M_X>1.5 GeV, where M_X is the mass of the hadronic final state, X. Events were required to have a leading proton, detected in the ZEUS leading proton spectrometer, carrying at least 90% of the incoming proton energy. The cross section is presented as a function of t, the squared four-momentum transfer at the proton vertex, Phi, the azimuthal angle between the positron scattering plane and the proton scattering plane, and Q^2. The data are presented in terms of the diffractive structure function, F_2^D(3). A next-to-leading-order QCD fit to the higher-Q^2 data set and to previously published diffractive charm production data is presented

Measurement of inclusive D*+- and associated dijet cross sections in photoproduction at HERA

Inclusive photoproduction of D*+- mesons has been measured for photon-proton centre-of-mass energies in the range 130 < W < 280 GeV and a photon virtuality Q^2 < 1 GeV^2. The data sample used corresponds to an integrated luminosity of 37 pb^-1. Total and differential cross sections as functions of the D* transverse momentum and pseudorapidity are presented in restricted kinematical regions and the data are compared with next-to-leading order (NLO) perturbative QCD calculations using the "massive charm" and "massless charm" schemes. The measured cross sections are generally above the NLO calculations, in particular in the forward (proton) direction. The large data sample also allows the study of dijet production associated with charm. A significant resolved as well as a direct photon component contribute to the cross section. Leading order QCD Monte Carlo calculations indicate that the resolved contribution arises from a significant charm component in the photon. A massive charm NLO parton level calculation yields lower cross sections compared to the measured results in a kinematic region where the resolved photon contribution is significant.Comment: 32 pages including 6 figure

The dependence of dijet production on photon virtuality in ep collisions at HERA

The dependence of dijet production on the virtuality of the exchanged photon, Q^2, has been studied by measuring dijet cross sections in the range 0 < Q^2 < 2000 GeV^2 with the ZEUS detector at HERA using an integrated luminosity of 38.6 pb^-1. Dijet cross sections were measured for jets with transverse energy E_T^jet > 7.5 and 6.5 GeV and pseudorapidities in the photon-proton centre-of-mass frame in the range -3 < eta^jet <0. The variable xg^obs, a measure of the photon momentum entering the hard process, was used to enhance the sensitivity of the measurement to the photon structure. The Q^2 dependence of the ratio of low- to high-xg^obs events was measured. Next-to-leading-order QCD predictions were found to generally underestimate the low-xg^obs contribution relative to that at high xg^obs. Monte Carlo models based on leading-logarithmic parton-showers, using a partonic structure for the photon which falls smoothly with increasing Q^2, provide a qualitative description of the data.Comment: 35 pages, 6 eps figures, submitted to Eur.Phys.J.

Measurement of beauty production in deep inelastic scattering at HERA

The beauty production cross section for deep inelastic scattering events with at least one hard jet in the Breit frame together with a muon has been measured, for photon virtualities Q^2 > 2 GeV^2, with the ZEUS detector at HERA using integrated luminosity of 72 pb^-1. The total visible cross section is sigma_b-bbar (ep -> e jet mu X) = 40.9 +- 5.7 (stat.) +6.0 -4.4 (syst.) pb. The next-to-leading order QCD prediction lies about 2.5 standard deviations below the data. The differential cross sections are in general consistent with the NLO QCD predictions; however at low values of Q^2, Bjorken x, and muon transverse momentum, and high values of jet transverse energy and muon pseudorapidity, the prediction is about two standard deviations below the data.Comment: 18 pages, 4 figure