Search for Scalar-Charm Pair Production in pp Collisions at s√=8 TeV with the ATLAS Detector

The results of a dedicated search for pair production of scalar partners of charm quarks are reported. The search is based on an integrated luminosity of 20.3fb−1 of pp collisions at s√=8 TeV recorded with the ATLAS detector at the LHC. The search is performed using events with large missing transverse momentum and at least two jets, where the two leading jets are each tagged as originating from c-quarks. Events containing isolated electrons or muons are vetoed. In an R-parity-conserving minimal supersymmetric scenario in which a single scalar-charm state is kinematically accessible, and where it decays exclusively into a charm quark and a neutralino, 95% confidence-level upper limits are obtained in the scalar-charm—neutralino mass plane such that, for neutralino masses below 200 GeV, scalar-charm masses up to 490 GeV are excluded.

Search for New Phenomena in Dijet Angular Distributions in Proton-Proton Collisions at s√=8 TeV Measured with the ATLAS Detector

A search for new phenomena in LHC proton-proton collisions at a center-of-mass energy of s√=8 TeV was performed with the ATLAS detector using an integrated luminosity of 17.3 fb−1. The angular distributions are studied in events with at least two jets; the highest dijet mass observed is 5.5 TeV. All angular distributions are consistent with the predictions of the Standard Model. In a benchmark model of quark contact interactions, a compositeness scale below 8.1 TeV in a destructive interference scenario and 12.0 TeV in a constructive interference scenario is excluded at 95% CL; median expected limits are 8.9 TeV for the destructive interference scenario and 14.1 TeV for the constructive interference scenario.

Search for type-III Seesaw heavy leptons in pp collisions at s√=8 TeV with the ATLAS Detector

A search for the pair-production of heavy leptons (N0,L±) predicted by the type-III seesaw theory formulated to explain the origin of small neutrino masses is presented. The decay channels N0→W±l∓ (ℓ=e,μ,τ) and L±→W±ν (ν=νe,νμ,ντ) are considered. The analysis is performed using the final state that contains two leptons (electrons or muons), two jets from a hadronically decaying W boson, and large missing transverse momentum. The data used in the measurement correspond to an integrated luminosity of 20.3fb−1 of pp collisions at s√=8 TeV collected by the ATLAS detector at the LHC. No evidence of heavy lepton pair-production is observed. Heavy leptons with masses below 325--540 GeV are excluded at the 95% confidence level, depending on the theoretical scenario considered.

Exploring scenario exploration

Model finders are very popular for exploring scenarios, helping users validate specifications by navigating through conforming model instances. To be practical, the semantics of such scenario exploration operations should be formally defined and, ideally, controlled by the users, so that they are able to quickly reach interesting scenarios. This paper explores the landscape of scenario exploration operations, by formalizing them with a relational model finder. Several scenario exploration operations provided by existing tools are formalized, and new ones are proposed, namely to allow the user to easily explore very similar (or different) scenarios, by attaching preferences to model elements. As a proof-of-concept, such operations were implemented in the popular Alloy Analyzer, further increasing its usefulness for (user-guided) scenario exploration.