We show how several properties of the QCD axion can be extracted at high precision using only first principle QCD computations. By combining NLO results obtained in chiral perturbation theory with recent Lattice QCD results the full axion potential, its mass and the coupling to photons can be reconstructed with percent precision. Axion couplings to nucleons can also be derived reliably, with uncertainties smaller than ten percent. The approach presented here allows the precision to be further improved as uncertainties on the light quark masses and the effective theory couplings are reduced. We also compute the finite temperature dependence of the axion potential and its mass up to the crossover region. For higher temperature we point out the unreliability of the conventional instanton approach and study its impact on the computation of the axion relic abundance.

HEPfit is a flexible open-source tool which, given the Standard Model or any of its extensions, allows to (i) fit the model parameters to a given set of experimental observables; (ii) obtain predictions for observables. HEPfit can be used either in Monte Carlo mode, to perform a Bayesian Markov Chain Monte Carlo analysis of a given model, or as a library, to obtain predictions of observables for a given point in the parameter space of the model, allowing HEPfit to be used in any statistical framework. In the present version, around a thousand observables have been implemented in the Standard Model and in several new physics scenarios. In this paper, we describe the general structure of the code as well as models and observables implemented in the current release.

We present accurate and up-to-date constraints on the complete set of dimension five and six operators with scalar, fermion and vector Dark Matter (DM). We find limits using LHC mono-jet data, spin independent and spin dependent direct searches, relic density and CMB, and show the interplay between high and low energy data in setting bounds on the parameter space. In order to properly compare data taken at different energies, we take into account the effect of the running and mixing of operators. We also take into account the local density uncertainties affecting direct detection data, and apply EFT validity criteria related to the cut on the invariant mass of DM pair production at the LHC, which turns out to be especially important for the case of vector DM. Finally, we estimate the potential of the future LHC runs to probe DM parameter space.

Many models of Beyond the Standard Model physics contain particles that are charged under both Standard Model and Hidden Valley gauge groups, yet very little effort has been put into establishing their experimental signatures. We provide a general overview of the collider phenomenology of spin 0 or 1/2 mediators with non-trivial gauge numbers under both the Standard Model and a single new confining group. Due to the possibility of many unconventional signatures, the focus is on direct production with semivisible jets. For the mediators to be able to decay, a global U (1) symmetry must be broken. This is best done by introducing a set of operators explicitly violating this symmetry. We find that there is only a finite number of such renormalizable operators and that the phenomenology can be classified into five distinct categories. We show that large regions of the parameter space are already excluded, while others are unconstrained by current search strategies. We also discuss how searches could be modified to better probe these unconstrained regions by exploiting special properties of semivisible jets.