Related papers: Simplified Dark Matter Models
In this White Paper we present and discuss a concrete proposal for the consistent interpretation of Dark Matter searches at colliders and in direct detection experiments. Based on a specific implementation of simplified models of vector and…
A new class of neutrino dark energy models is presented. The new models are characterized by the lack of exotic particles or couplings that violate the standard model symmetry. It is shown that these models lead to several concrete…
Cold Dark Matter (CDM) has become the standard modern theory of cosmological structure formation. Its predictions appear to be in good agreement with data on large scales, and it naturally accounts for many properties of galaxies. But…
An effective theory of dark matter offers an attractive framework for global analyses of dark matter. In the light of global fits we test the validity of the link between the non-relativistic dark matter annihilation, or the predicted relic…
Experimental limits on supersymmetry and similar theories are difficult to set because of the enormous available parameter space and difficult to generalize because of the complexity of single points. Therefore, more phenomenological,…
We develop a simple, fast and predictive model of the hierarchical formation of galaxies which is in quantitative agreement with observations. Comparing simulations with observations we place constraints on the density of the universe and…
In these Lectures I review possible constraints on particle physics models, obtained by means of combining the results of collider measurements with astrophysical data. I emphasize the theoretical-model dependence of these results. I…
Our standard model of the Universe predicts the distribution of dark matter to $1\%$ at the scales needed for upcoming experiments, yet our predictions for how the luminous matter -- which has interactions besides gravity -- is distributed…
In this paper we study the possible searches at colliders using Vector Boson Fusion topology in the context of Simplified Models signatures. We examine the possible physics reach of these searches with regard to monojet-type searches, and…
Recent lattice measurements have given accurate estimates of the light and strange quark condensates in the proton. We use these new results to significantly improve the dark matter predictions in a set of benchmark models that represent…
The subtle and unique imprint of dark matter substructure on extended arcs in strong lensing systems contains a wealth of information about the properties and distribution of dark matter on small scales and, consequently, about the…
We illustrate the use of intersection types as a semantic tool for showing properties of the lattice of lambda theories. Relying on the notion of easy intersection type theory we successfully build a filter model in which the interpretation…
The accelerated expansion of the Universe is one of the main discoveries of the past decades, indicating the presence of an unknown component: the dark energy. Evidence of its presence is being gathered by a succession of observational…
I give a short review of the theory of twisted symmetries of differential equations, emphasizing geometrical aspects. Some open problems are also mentioned.
The solution of a fine tuning problem is one of the principal motivations of Supersymmetry. However experimental constraints indicate that many Supersymmetric models are also fine tuned (although to a much lesser extent). We review the…
We discuss the frequent pattern mining problem in a general setting. From an analysis of abstract representations, summarization and frequent pattern mining, we arrive at a generalization of the problem. Then, we show how the problem can be…
In this article we address the mystery of dark matter. We expound the various evidences, astrophysical and cosmological, leading to hypothesize the existence of an invisible form of matter, whose attempts at detecting it have so far all…
Choices in the semantics and the signature of a theory are integral in determining how the theory is used and how challenging it is to reason over it. Our interest in this paper lies in the SMT theory of sequences. Various versions of it…
We propose a cosmological model that makes a significant step toward solving the coincidence problem of the near similarity at the present of the dark energy and dark matter components. Our cosmology has the following properties: a) among…
With the increasing importance of distributed systems as a computing paradigm, a systematic approach to their design is needed. Although the area of formal verification has made enormous advances towards this goal, the resulting…