Syntax for free: representing syntax with binding using parametricity

We show that, in a parametric model of polymorphism, the type ∀ α. ((α → α) → α) → (α → α → α) → α is isomorphic to closed de Bruijn terms. That is, the type of closed higher-order abstract syntax terms is isomorphic to a concrete representation. To demonstrate the proof we have constructed a model of parametric polymorphism inside the Coq proof assistant. The proof of the theorem requires parametricity over Kripke relations. We also investigate some variants of this representation

Measurement of the mass difference between top quark and antiquark in pp collisions at root s=8 TeV

Peer reviewe

Search for leptophobic Z ' bosons decaying into four-lepton final states in proton-proton collisions at root s=8 TeV

Peer reviewe

Search for jet extinction in the inclusive jet-pT spectrum from proton-proton collisions at s=8 TeV

Published by the American Physical Society under the terms of the Creative Commons Attribution 3.0 License. Further distribution of this work must maintain attribution to the author(s) and the published articles title, journal citation, and DOI.The first search at the LHC for the extinction of QCD jet production is presented, using data collected with the CMS detector corresponding to an integrated luminosity of 10.7  fb−1 of proton-proton collisions at a center-of-mass energy of 8 TeV. The extinction model studied in this analysis is motivated by the search for signatures of strong gravity at the TeV scale (terascale gravity) and assumes the existence of string couplings in the strong-coupling limit. In this limit, the string model predicts the suppression of all high-transverse-momentum standard model processes, including jet production, beyond a certain energy scale. To test this prediction, the measured transverse-momentum spectrum is compared to the theoretical prediction of the standard model. No significant deficit of events is found at high transverse momentum. A 95% confidence level lower limit of 3.3 TeV is set on the extinction mass scale

Measurements of the ϒ(1S), ϒ(2S), and ϒ(3S) differential cross sections in pp collisions at s=7TeV

Differential cross sections as a function of transverse momentum pTpT are presented for the production of ϒ(nS)ϒ(nS) (n = 1, 2, 3) states decaying into a pair of muons. Data corresponding to an integrated luminosity of 4.9View the MathML sourcefb−1 in pp collisions at View the MathML sources=7TeV were collected with the CMS detector at the LHC. The analysis selects events with dimuon rapidity |y|<1.2|y|<1.2 and dimuon transverse momentum in the range View the MathML source10<pT<100GeV. The measurements show a transition from an exponential to a power-law behavior at View the MathML sourcepT≈20GeV for the three ϒ states. Above that transition, the ϒ(3S)ϒ(3S) spectrum is significantly harder than that of the ϒ(1S)ϒ(1S). The ratios of the ϒ(3S)ϒ(3S) and ϒ(2S)ϒ(2S) differential cross sections to the ϒ(1S)ϒ(1S) cross section show a rise as pTpT increases at low pTpT, then become flatter at higher pTpT

Search for a Higgs boson decaying into γ*γ→ℓℓγ with low dilepton mass in pp collisions at √s=8 TeV

A search is described for a Higgs boson decaying into two photons, one of which has an internal conversion to a muon or an electron pair ( ℓℓγ ). The analysis is performed using proton–proton collision data recorded with the CMS detector at the LHC at a centre-of-mass energy of 8 TeV, corresponding to an integrated luminosity of 19.7 fb −1 . The events selected have an opposite-sign muon or electron pair and a high transverse momentum photon. No excess above background has been found in the three-body invariant mass range 12

Search for W ' -> tb in proton-proton collisions at root s=8 TeV

Peer reviewe

Measurement of the t-channel single-top-quark production cross section and of the |Vtb| CKM matrix element in pp collisions at SQR = 8 TeV

Measurements are presented of the t -channel single-top-quark production cross section in proton-proton collisions at s&#8730; = 8 TeV. The results are based on a data sample corresponding to an integrated luminosity of 19.7 fb &#8722;1 recorded with the CMS detector at the LHC. The cross section is measured inclusively, as well as separately for top (t) and antitop (t¯) , in final states with a muon or an electron. The measured inclusive t -channel cross section is &#963; t -ch. = 83 . 6 ± 2 . 3 (stat.) ± 7 . 4 (syst.) pb. The single t and t¯ cross sections are measured to be &#963; t -ch. ( t ) = 53 . 8 ± 1 . 5 (stat.) ± 4 . 4 (syst.) pb and &#963; t -ch. (t¯) = 27 . 6 ± 1 . 3 (stat.) ± 3 . 7 (syst.) pb, respectively. The measured ratio of cross sections is R t -ch. = &#963; t -ch. (t) /&#963; t -ch. (t¯) = 1 . 95 ± 0 . 10 (stat.) ± 0 . 19 (syst.), in agreement with the standard model prediction. The modulus of the Cabibbo-Kobayashi-Maskawa matrix element V tb is extracted and, in combination with a previous CMS result at s&#8730; = 7 TeV, a value | V tb | = 0 . 998 ± 0 . 038 (exp.) ± 0 . 016 (theo.) is obtained

Search for stealth supersymmetry in events with jets, either photons or leptons, and low missing transverse momentum in pp collisions at 8 TeV

The results of a search for new physics in final states with jets, either photons or leptons, and low missing transverse momentum are reported. The study is based on a sample of proton-proton collisions collected at a center-of-mass energy s=8 TeV with the CMS detector in 2012. The integrated luminosity of the sample is 19.7 fb-1. Many models of new physics predict the production of events with jets, electroweak gauge bosons, and little or no missing transverse momentum. Examples include stealth models of supersymmetry (SUSY), which predict a hidden sector at the electroweak energy scale in which SUSY is approximately conserved. The data are used to search for stealth SUSY signatures in final states with either two photons or an oppositely charged electron and muon. No excess is observed with respect to the standard model expectation, and the results are used to set limits on squark pair production in the stealth SUSY framework