Separation of Test-Free Propositional Dynamic Logics over Context-Free Languages

For a class L of languages let PDL[L] be an extension of Propositional Dynamic Logic which allows programs to be in a language of L rather than just to be regular. If L contains a non-regular language, PDL[L] can express non-regular properties, in contrast to pure PDL. For regular, visibly pushdown and deterministic context-free languages, the separation of the respective PDLs can be proven by automata-theoretic techniques. However, these techniques introduce non-determinism on the automata side. As non-determinism is also the difference between DCFL and CFL, these techniques seem to be inappropriate to separate PDL[DCFL] from PDL[CFL]. Nevertheless, this separation is shown but for programs without test operators.Comment: In Proceedings GandALF 2011, arXiv:1106.081

System size dependence of cluster properties from two-particle angular correlations in Cu+Cu and Au+Au collisions at sNN\sqrt{s_{_{NN}}} = 200 GeV

We present results on two-particle angular correlations in Cu+Cu and Au+Au collisions at a center of mass energy per nucleon pair of 200 GeV over a broad range of pseudorapidity ($\eta$) and azimuthal angle ($\phi$) as a function of collision centrality. The PHOBOS detector at RHIC has a uniquely-large angular coverage for inclusive charged particles, which allows for the study of correlations on both long- and short-range scales. A complex two-dimensional correlation structure in $\Delta \eta$ and $\Delta \phi$ emerges, which is interpreted in the context of a cluster model. The effective cluster size and decay width are extracted from the two-particle pseudorapidity correlation functions. The effective cluster size found in semi-central Cu+Cu and Au+Au collisions is comparable to that found in proton-proton collisions but a non-trivial decrease of the size with increasing centrality is observed. Moreover, a comparison between results from Cu+Cu and Au+Au collisions shows an interesting scaling of the effective cluster size with the measured fraction of total cross section (which is related to the ratio of the impact parameter to the nuclear radius, $b/2R$), suggesting a geometric origin. Further analysis for pairs from restricted azimuthal regions shows that the effective cluster size at $\Delta\phi \sim 180^{\circ}$ drops more rapidly toward central collisions than the size at $\Delta\phi \sim 0^{\circ}$. The effect of limited $\eta$ acceptance on the cluster parameters is also addressed, and a correction is applied to present cluster parameters for full $\eta$ coverage, leading to much larger effective cluster sizes and widths than previously noted in the literature. These results should provide insight into the hot and dense medium created in heavy ion collisions.Comment: 9 pages, 8 figures, Published in Phys. Rev.

Nucleon-Gold Collisions at 200 AGeV Using Tagged d+Au Interactions in PHOBOS

Forward calorimetry in the PHOBOS detector has been used to study charged hadron production in d+Au, p+Au and n+Au collisions at sqrt(s_nn) = 200 GeV. The forward proton calorimeter detectors are described and a procedure for determining collision centrality with these detectors is detailed. The deposition of energy by deuteron spectator nucleons in the forward calorimeters is used to identify p+Au and n+Au collisions in the data. A weighted combination of the yield of p+Au and n+Au is constructed to build a reference for Au+Au collisions that better matches the isospin composition of the gold nucleus. The p_T and centrality dependence of the yield of this improved reference system is found to match that of d+Au. The shape of the charged particle transverse momentum distribution is observed to extrapolate smoothly from pbar+p to central d+Au as a function of the charged particle pseudorapidity density. The asymmetry of positively- and negatively-charged hadron production in p+Au is compared to that of n+Au. No significant asymmetry is observed at mid-rapidity. These studies augment recent results from experiments at the LHC and RHIC facilities to give a more complete description of particle production in p+A and d+A collisions, essential for the understanding the medium produced in high energy nucleus-nucleus collisions.Comment: 17 pages, 18 figure

Differential cross section measurements for the production of a W boson in association with jets in proton–proton collisions at √s = 7 TeV

Measurements are reported of differential cross sections for the production of a W boson, which decays into a muon and a neutrino, in association with jets, as a function of several variables, including the transverse momenta (pT) and pseudorapidities of the four leading jets, the scalar sum of jet transverse momenta (HT), and the difference in azimuthal angle between the directions of each jet and the muon. The data sample of pp collisions at a centre-of-mass energy of 7 TeV was collected with the CMS detector at the LHC and corresponds to an integrated luminosity of 5.0 fb[superscript −1]. The measured cross sections are compared to predictions from Monte Carlo generators, MadGraph + pythia and sherpa, and to next-to-leading-order calculations from BlackHat + sherpa. The differential cross sections are found to be in agreement with the predictions, apart from the pT distributions of the leading jets at high pT values, the distributions of the HT at high-HT and low jet multiplicity, and the distribution of the difference in azimuthal angle between the leading jet and the muon at low values.United States. Dept. of EnergyNational Science Foundation (U.S.)Alfred P. Sloan Foundatio

Search for physics beyond the standard model in events with two leptons, jets, and missing transverse momentum in pp collisions at √s = 8 TeV

A search is presented for physics beyond the standard model in final states with two opposite-sign same-flavor leptons, jets, and missing transverse momentum. The data sample corresponds to an integrated luminosity of 19.4 fb[superscript −1] of proton-proton collisions at √s = 8 TeV collected with the CMS detector at the CERN LHC in 2012. The analysis focuses on searches for a kinematic edge in the invariant mass distribution of the oppositesign same-flavor lepton pair and for final states with an on-shell Z boson. The observations are consistent with expectations from standard model processes and are interpreted in terms of upper limits on the production of supersymmetric particles.United States. Dept. of EnergyNational Science Foundation (U.S.)Alfred P. Sloan Foundatio

Search for the production of dark matter in association with top-quark pairs in the single-lepton final state in proton-proton collisions at √s = 8 TeV

A search is presented for particle dark matter produced in association with a pair of top quarks in pp collisions at a centre-of-mass energy of √s = 8 TeV. The data were collected with the CMS detector at the LHC and correspond to an integrated luminosity of 19.7 fb[superscript −1]. This search requires the presence of one lepton, multiple jets, and large missing transverse energy. No excess of events is found above the SM expectation, and upper limits are derived on the production cross section. Interpreting the findings in the context of a scalar contact interaction between fermionic dark matter particles and top quarks, lower limits on the interaction scale are set. These limits are also interpreted in terms of the dark matter-nucleon scattering cross sections for the spin-independent scalar operator and they complement direct searches for dark matter particles in the low mass region.United States. Dept. of EnergyNational Science Foundation (U.S.)Alfred P. Sloan Foundatio

Search for new physics in events with same-sign dileptons and jets in pp collisions at √s = 8 TeV

A search for new physics is performed based on events with jets and a pair of isolated, same-sign leptons. The results are obtained using a sample of proton-proton collision data collected by the CMS experiment at a centre-of-mass energy of 8 TeV at the LHC, corresponding to an integrated luminosity of 19.5 fb[superscript −1]. In order to be sensitive to a wide variety of possible signals beyond the standard model, multiple search regions defined by the missing transverse energy, the hadronic energy, the number of jets and b-quark jets, and the transverse momenta of the leptons in the events are considered. No excess above the standard model background expectation is observed and constraints are set on a number of models for new physics, as well as on the same-sign top-quark pair and quadruple-top-quark production cross sections. Information on event selection efficiencies is also provided, so that the results can be used to confront an even broader class of new physics models.United States. Dept. of EnergyNational Science Foundation (U.S.)Alfred P. Sloan Foundatio

Measurement of the W boson helicity in events with a single reconstructed top quark in pp collisions at √s = 8 TeV

A measurement of the W boson helicity is presented, where the W boson originates from the decay of a top quark produced in pp collisions. The event selection, optimized for reconstructing a single top quark in the final state, requires exactly one isolated lepton (muon or electron) and exactly two jets, one of which is likely to originate from the hadronization of a bottom quark. The analysis is performed using data recorded at a center-of-mass energy of 8 TeV with the CMS detector at the CERN LHC in 2012. The data sample corresponds to an integrated luminosity of 19.7 fb[superscript −1]. The measured helicity fractions are F [subscript L] = 0.298 ± 0.028 (stat) ± 0.032(syst), F [subscript 0] = 0.720 ± 0.039 (stat) ± 0.037(syst), and F [subscript R] = −0.018 ± 0.019 (stat) ± 0.011(syst). These results are used to set limits on the real part of the tWb anomalous couplings, g [subscript L] and g [subscript R]

Search for a standard model Higgs boson produced in association with a top-quark pair and decaying to bottom quarks using a matrix element method

A search for a standard model Higgs boson produced in association with a top-quark pair and decaying to bottom quarks is presented. Events with hadronic jets and one or two oppositely charged leptons are selected from a data sample corresponding to an integrated luminosity of 19.5 fb[superscript -1] collected by the CMS experiment at the LHC in pp collisions at a centre-of-mass energy of 8 TeV. In order to separate the signal from the larger t[bar over t] + jets background, this analysis uses a matrix element method that assigns a probability density value to each reconstructed event under signal or background hypotheses. The ratio between the two values is used in a maximum likelihood fit to extract the signal yield. The results are presented in terms of the measured signal strength modifier, μ, relative to the standard model prediction for a Higgs boson mass of 125 GeV. The observed (expected) exclusion limit at a 95 % confidence level is μ < 4.2 (3.3), corresponding to a best fit value [^ over μ] = 1.2[+1.6 over −1.5].United States. Dept. of EnergyNational Science Foundation (U.S.)Alfred P. Sloan Foundatio

Search for the associated production of the Higgs boson with a top-quark pair

A search for the standard model Higgs boson produced in association with a top-quark pair (tt¯H) is presented, using data samples corresponding to integrated luminosities of up to 5.1 fb−1 and 19.7 fb−1 collected in pp collisions at center-of-mass energies of 7 TeV and 8 TeV respectively. The search is based on the following signatures of the Higgs boson decay: H → hadrons, H → photons, and H → leptons. The results are characterized by an observed tt¯H signal strength relative to the standard model cross section, μ=σ/σ SM,under the assumption that the Higgs boson decays as expected in the standard model. The best fit value is μ = 2.8 ± 1.0 for a Higgs boson mass of 125.6 GeV.National Science Foundation (U.S.