Abstract: We introduce version 2.0 of Z'-explorer, a software tool that provides a simple, fast, and user-friendly test of models with an extra U (1) gauge boson (Z') against experimental LHC results. The main novelty of the second version is the inclusion of missing energy searches, as the first version only included final states into SM particles. Hence Z'-explorer 2.0 is able to test dark matter models where the Z' acts as an s-channel mediator between the Standard Model and the dark sector, a widespread benchmark employed by the ATLAS and CMS experimental collaborations. To this end, we perform here the first public reinterpretation of the most recent ATLAS mono-jet search with 139 fb-1. In addition, the corresponding searches in the visible final states have also been updated. We illustrate the power of our code by re -obtaining public plots and also showing novel results. In particular, we study the cases where the Z' couples strongly to top quarks (top-philic), where dark matter couples with a mixture of vector and axial-vector couplings, and also perform a scan in the parameter space of a string inspired Stuckelberg model. Z'-explorer 2.0 is publicly available on GitHub. Program summary Program Title: Z'-explorer 2.0 CPC Library link to program files: https://doi .org /10 .17632 /k7tdp8kwgf .2 Developer's repository link: https://github .com /ro -sanda /Z--explorer-2 .0 Licensing provisions: GPLv3 Programming language: C++ and bash Nature of problem: New SM neutral gauge bosons, Z', are ubiquitously present in models of New Physics. In order to confront these models versus a large and ever-growing library of LHC searches, Z'-explorer 1.0 had already included all final states including Standard Model particles. Notably, the previous version of this tool lacked the so-called invisible final states manifested as a momentum imbalance in the transverse plane (“missing energy”). These searches help to probe mediators into a dark sector, where a dark matter candidate resides. Solution method: Z'-explorer encodes the production cross sections for Z' bosons at the LHC as a function of their mass, allowing for a fast evaluation of the exclusion limits. This version of Z'-explorer includes a careful validation of the latest search with one energetic jet (mono-jet) performed by the ATLAS collaboration. Hence one can now test if a given point in parameter space is excluded by both visible and invisible searches. The modular structure of the code has been kept, which allows for potential additions (low-energy constraints, flavor, extrapolation to future colliders).

Abstract: A multi-TeV muon collider offers a spectacular opportunity in the direct exploration of the energy frontier. Offering a combination of unprecedented energy collisions in a comparatively clean leptonic environment, a high energy muon collider has the unique potential to provide both precision measurements and the highest energy reach in one machine that cannot be paralleled by any currently available technology. The topic generated a lot of excitement in Snowmass meetings and continues to attract a large number of supporters, including many from the early career community. In light of this very strong interest within the US particle physics community, Snowmass Energy, Theory and Accelerator Frontiers created a cross-frontier Muon Collider Forum in November of 2020. The Forum has been meeting on a monthly basis and organized several topical workshops dedicated to physics, accelerator technology, and detector R&D. Findings of the Forum are summarized in this report.

Abstract: In this work, we discuss the possibility to test Heavy Neutral Leptons (HNLs) using “Cosmic Ray Beam Dump” experiments. In analogy with terrestrial beam dump experiments, where a beam first hits a target and is then absorbed by a shield, we consider high-energy incident cosmic rays impinging on the Earth's atmosphere and then the Earth's surface. We focus here on HNL production from atmospherically produced kaon, pion and D-meson decays, and discuss the possible explanation of the appearing Cherenkov showers observed by the SHALON Cherenkov telescope and the ultra-high energy events detected by the neutrino experiment ANITA. We show that these observations can not be explained with a long-lived HNL, as the relevant parameter space is excluded by existing constraints. Then we propose two new experimental setups that are inspired by these experiments, namely a Cherenkov telescope pointing at a sub-horizontal angle and shielded by the mountain cliff at Mount Thor, and a geostationary satellite that observes part of the Sahara desert. We show that the Cherenkov telescope at Mount Thor can probe currently untested HNL parameter space for masses below the kaon mass. We also show that the geostationary satellite experiment can significantly increase the HNL parameter space coverage in the whole mass range from 10 MeV up to 2 GeV and test neutrino mixing |U-& alpha;4|(2) down to 10(-11) for masses around 300 MeV.