SPADE: Verification of Multithreaded Dynamic and Recursive Programs

International audienceThe tool SPADE allows to analyse automatically boolean programs with parallelism, communication between parallel processes, dynamic process creation, and recursion at the same time. As far as we know, this is the first software model checking tool based on an expressive model that accurately models all these aspects in programs

Search for CPCP violation in D0^0→\to KS0^0_\mathrm{S}KS0^0_\mathrm{S} decays in proton-proton collisions at s\sqrt{s} = 13 TeV

International audienceA search is reported for charge-parity D$^0$$\to$ K$^0_\mathrm{S}$K$^0_\mathrm{S}$$CP$ violation in D$^0$$\to$ K$^0_\mathrm{S}$K$^0_\mathrm{S}$ decays, using data collected in proton-proton collisions at $\sqrt{s}$ = 13 TeV recorded by the CMS experiment in 2018. The analysis uses a dedicated data set that corresponds to an integrated luminosity of 41.6 fb$^{-1}$, which consists of about 10 billion events containing a pair of ẖadrons, nearly all of which decay to charm hadrons. The flavor of the neutral D meson is determined by the pion charge in the reconstructed decays D$^{*+}$$\to$ D$^0\pi^+$ and D$^{*-}$$\to$ D$^0\pi^-$. The D$^0$$\to$ K$^0_\mathrm{S}$K$^0_\mathrm{S}$$CP$ asymmetry in D$^0$$\to$ K$^0_\mathrm{S}$K$^0_\mathrm{S}$ is measured to be $A_{CP}$( K$^0_\mathrm{S}$K$^0_\mathrm{S}$) = (6.2 $\pm$ 3.0 $\pm$ 0.2 $\pm$ 0.8)%, where the three uncertainties represent the statistical uncertainty, the systematic uncertainty, and the uncertainty in the measurement of the D$^0$ $\to$ K$^0_\mathrm{S}$K$^0_\mathrm{S}$ $CP$ asymmetry in the D$^0$ $\to$ K$^0_\mathrm{S}\pi^+\pi^-$ decay. This is the first D$^0$ $\to$ K$^0_\mathrm{S}$K$^0_\mathrm{S}$ $CP$ asymmetry measurement by CMS in the charm sector as well as the first to utilize a fully hadronic final state

Search for the Z boson decay to ττμμ\tau\tau\mu\mu in proton-proton collisions at s\sqrt{s} = 13 TeV

International audienceThe first search for the Z boson decay to $\tau\tau\mu\mu$ at the CERN LHC is presented, based on data collected by the CMS experiment at the LHC in proton-proton collisions at a center-of-mass energy of 13 TeV and corresponding to an integrated luminosity of 138 fb$^{-1}$. The data are compatible with the predicted background. For the first time, an upper limit at the 95% confidence level of 6.9 times the standard model expectation is placed on the ratio of the Z $\to$ $\tau\tau\mu\mu$ to Z $\to$ 4$\mu$ branching fractions. Limits are also placed on the six flavor-conserving four-lepton effective-field-theory operators involving two muons and two tau leptons, for the first time testing all such operators

Searches for Higgs boson production through decays of heavy resonances

The discovery of the Higgs boson has led to new possible signatures for heavy resonance searches at the LHC. Since then, search channels including at least one Higgs boson plus another particle have formed an important part of the program of new physics searches. In this report, the status of these searches by the CMS Collaboration is reviewed. Searches are discussed for resonances decaying to two Higgs bosons, a Higgs and a vector boson, or a Higgs boson and another new resonance, with proton-proton collision data collected at $\sqrt{s}=$ 13 TeV in the years 2016-2018. A combination of the results of these searches is presented together with constraints on different beyond-the-standard model scenarios, including scenarios with extended Higgs sectors, heavy vector bosons and extra dimensions. Studies are shown for the first time by CMS on the validity of the narrow-width approximation in searches for the resonant production of a pair of Higgs bosons. The potential for a discovery at the High Luminosity LHC is also discussed.The discovery of the Higgs boson has led to new possible signatures for heavy resonance searches at the LHC. Since then, search channels including at least one Higgs boson plus another particle have formed an important part of the program of new physics searches. In this report, the status of these searches by the CMS Collaboration is reviewed. Searches are discussed for resonances decaying to two Higgs bosons, a Higgs and a vector boson, or a Higgs boson and another new resonance, with proton-proton collision data collected at $\sqrt{s}$ = 13 TeV in the years 2016-2018. A combination of the results of these searches is presented together with constraints on different beyond-the-standard model scenarios, including scenarios with extended Higgs sectors, heavy vector bosons and extra dimensions. Studies are shown for the first time by CMS on the validity of the narrow-width approximation in searches for the resonant production of a pair of Higgs bosons. The potential for a discovery at the High Luminosity LHC is also discussed

The CMS Statistical Analysis and Combination Tool: COMBINE

International audienceThis paper describes the COMBINE software package used for statistical analyses by the CMS Collaboration. The package, originally designed to perform searches for a Higgs boson and the combined analysis of those searches, has evolved to become the statistical analysis tool presently used in the majority of measurements and searches performed by the CMS Collaboration. It is not specific to the CMS experiment, and this paper is intended to serve as a reference for users outside of the CMS Collaboration, providing an outline of the most salient features and capabilities. Readers are provided with the possibility to run COMBINE and reproduce examples provided in this paper using a publicly available container image. Since the package is constantly evolving to meet the demands of ever-increasing data sets and analysis sophistication, this paper cannot cover all details of COMBINE. However, the online documentation referenced within this paper provides an up-to-date and complete user guide

Dark sector searches with the CMS experiment

Astrophysical observations provide compelling evidence for gravitationally interacting dark matter in the universe that cannot be explained by the standard model of particle physics. The extraordinary amount of data from the CERN LHC presents a unique opportunity to shed light on the nature of dark matter at unprecedented collision energies. This Report comprehensively reviews the most recent searches with the CMS experiment for particles and interactions belonging to a dark sector and for dark-sector mediators. Models with invisible massive particles are probed by searches for signatures of missing transverse momentum recoiling against visible standard model particles. Searches for mediators are also conducted via fully visible final states. The results of these searches are compared with those obtained from direct-detection experiments. Searches for alternative scenarios predicting more complex dark sectors with multiple new particles and new forces are also presented. Many of these models include long-lived particles, which could manifest themselves with striking unconventional signatures with relatively small amounts of background. Searches for such particles are discussed and their impact on dark-sector scenarios is evaluated. Many results and interpretations have been newly obtained for this Report.Astrophysical observations provide compelling evidence for gravitationally interacting dark matter in the universe that cannot be explained by the standard model of particle physics. The extraordinary amount of data from the CERN LHC presents a unique opportunity to shed light on the nature of dark matter at unprecedented collision energies. This Report comprehensively reviews the most recent searches with the CMS experiment for particles and interactions belonging to a dark sector and for dark-sector mediators. Models with invisible massive particles are probed by searches for signatures of missing transverse momentum recoiling against visible standard model particles. Searches for mediators are also conducted via fully visible final states. The results of these searches are compared with those obtained from direct-detection experiments. Searches for alternative scenarios predicting more complex dark sectors with multiple new particles and new forces are also presented. Many of these models include long-lived particles, which could manifest themselves with striking unconventional signatures with relatively small amounts of background. Searches for such particles are discussed and their impact on dark-sector scenarios is evaluated. Many results and interpretations have been newly obtained for this Report

Search for a resonance decaying to a W boson and a photon in proton-proton collisions at s= \sqrt{s} = 13 TeV using leptonic W boson decays

A search for a new charged particle X with mass between 0.3 and 2.0 TeV decaying to a W boson and a photon is presented, using proton-proton collision data at a center-of-mass energy of 13 TeV, collected by the CMS experiment and corresponding to an integrated luminosity of 138 fb$^{-1}$. Particle X has electric charge $\pm$1 and is assumed to have spin 0. The search is performed using the electron and muon decays of the W boson. No significant excess above the predicted background is observed. The upper limit at 95% confidence level on the product of the production cross section of the X and its branching fraction to a W boson and a photon is found to be 94 (137) fb for a 0.3 TeV resonance and 0.75 (0.81) fb for a 2.0 TeV resonance, for an X width-to-mass ratio of 0.01% (5%). This search presents the most stringent constraints to date on the existence of such resonances across the probed mass range. A statistical combination with an earlier study based on the hadronic decay mode of the W boson is also performed, and the upper limit at 95% confidence level for a 2.0 TeV resonance is reduced to 0.50 (0.63) fb for an X width-to-mass ratio of 0.01% (5%).A search for a new charged particle X with mass between 0.3 and 2.0 TeV decaying to a W boson and a photon is presented, using proton-proton collision data at a center-of-mass energy of 13 TeV, collected by the CMS experiment and corresponding to an integrated luminosity of 138 fb$^{-1}$. Particle X has electric charge $\pm$1 and is assumed to have spin 0. The search is performed using the electron and muon decays of the W boson. No significant excess above the predicted background is observed. The upper limit at 95% confidence level on the product of the production cross section of the X and its branching fraction to a W boson and a photon is found to be 94 (137) fb for a 0.3 TeV resonance and 0.75 (0.81) fb for a 2.0 TeV resonance, for an X width-to-mass ratio of 0.01% (5%). This search presents the most stringent constraints to date on the existence of such resonances across the probed mass range. A statistical combination with an earlier study based on the hadronic decay mode of the W boson is also performed, and the upper limit at 95% confidence level for a 2.0 TeV resonance is reduced to 0.50 (0.63) fb for an X width-to-mass ratio of 0.01% (5%)

Search for CP violation in D0→KS0KS0 \mathrm{D^0}\to\mathrm{K^0_S}\mathrm{K^0_S} decays in proton-proton collisions at s= \sqrt{s} = 13 TeV

A search is reported for charge-parity CP violation in $\mathrm{D^0}\to\mathrm{K^0_S}\mathrm{K^0_S}$ decays, using data collected in proton-proton collisions at $\sqrt{s} =$ 13 TeV recorded by the CMS experiment in 2018. The analysis uses a dedicated data set that corresponds to an integrated luminosity of 41.6 fb$^{-1}$, which consists of about 10 billion events containing a pair of b hadrons, nearly all of which decay to charm hadrons. The flavor of the neutral $\mathrm{D}$ meson is determined by the pion charge in the reconstructed decays $\mathrm{D}^{*+}\to\mathrm{D^0}\pi^{+}$ and $\mathrm{D}^{*-}\to\overline{\mathrm{D}}^{0}\pi^{-}$. The CP asymmetry in $\mathrm{D^0}\to\mathrm{K^0_S}\mathrm{K^0_S}$ is measured to be $A_{CP}(\mathrm{K^0_S}\mathrm{K^0_S}) =$ (6.2 $\pm$ 3.0 $\pm$ 0.2 $\pm$ 0.8)%, where the three uncertainties represent the statistical uncertainty, the systematic uncertainty, and the uncertainty in the measurement of the CP asymmetry in the $\mathrm{D^0}\to\mathrm{K^0_S}\pi^{+}\pi^{-}$ decay. This is the first CP asymmetry measurement by CMS in the charm sector as well as the first to utilize a fully hadronic final state.A search is reported for charge-parity D$^0$$\to$ K$^0_\mathrm{S}$K$^0_\mathrm{S}$$CP$ violation in D$^0$$\to$ K$^0_\mathrm{S}$K$^0_\mathrm{S}$ decays, using data collected in proton-proton collisions at $\sqrt{s}$ = 13 TeV recorded by the CMS experiment in 2018. The analysis uses a dedicated data set that corresponds to an integrated luminosity of 41.6 fb$^{-1}$, which consists of about 10 billion events containing a pair of ẖadrons, nearly all of which decay to charm hadrons. The flavor of the neutral D meson is determined by the pion charge in the reconstructed decays D$^{*+}$$\to$ D$^0\pi^+$ and D$^{*-}$$\to$ D$^0\pi^-$. The D$^0$$\to$ K$^0_\mathrm{S}$K$^0_\mathrm{S}$$CP$ asymmetry in D$^0$$\to$ K$^0_\mathrm{S}$K$^0_\mathrm{S}$ is measured to be $A_{CP}$( K$^0_\mathrm{S}$K$^0_\mathrm{S}$) = (6.2 $\pm$ 3.0 $\pm$ 0.2 $\pm$ 0.8)%, where the three uncertainties represent the statistical uncertainty, the systematic uncertainty, and the uncertainty in the measurement of the D$^0$ $\to$ K$^0_\mathrm{S}$K$^0_\mathrm{S}$ $CP$ asymmetry in the D$^0$ $\to$ K$^0_\mathrm{S}\pi^+\pi^-$ decay. This is the first D$^0$ $\to$ K$^0_\mathrm{S}$K$^0_\mathrm{S}$ $CP$ asymmetry measurement by CMS in the charm sector as well as the first to utilize a fully hadronic final state

Search for the Z boson decay to ττμμ\tau\tau\mu\mu in proton-proton collisions at s\sqrt{s} = 13 TeV

International audienceThe first search for the Z boson decay to $\tau\tau\mu\mu$ at the CERN LHC is presented, based on data collected by the CMS experiment at the LHC in proton-proton collisions at a center-of-mass energy of 13 TeV and corresponding to an integrated luminosity of 138 fb$^{-1}$. The data are compatible with the predicted background. For the first time, an upper limit at the 95% confidence level of 6.9 times the standard model expectation is placed on the ratio of the Z $\to$ $\tau\tau\mu\mu$ to Z $\to$ 4$\mu$ branching fractions. Limits are also placed on the six flavor-conserving four-lepton effective-field-theory operators involving two muons and two tau leptons, for the first time testing all such operators

Search for soft unclustered energy patterns in proton-proton collisions at 13 TeV

International audienceThe first search for soft unclustered energy patterns (SUEPs) is performed using an integrated luminosity of 138 fb$^{-1}$ of proton-proton collision data at $\sqrt{s}$ = 13 TeV collected in 2016-2018 by the CMS detector at the LHC. Such SUEPs are predicted by Hidden Valley models with a new, confining force with a large 't Hooft coupling. In events with boosted topologies, selected by high-threshold hadronic triggers, the multiplicity and sphericity of clustered tracks are used to reject the background from standard model quantum chromodynamics. With no observed excess of events over the standard model expectation, limits are set on the cross section for production via gluon fusion of a scalar mediator with SUEP-like decays