ScannerS: Constraining the phase diagram of a complex scalar singlet at the LHC

We present the first version of a new tool to scan the parameter space of generic scalar potentials, ScannerS. The main goal of ScannerS is to help distinguish between different patterns of symmetry breaking for each scalar potential. In this work we use it to investigate the possibility of excluding regions of the phase diagram of several versions of a complex singlet extension of the Standard Model, with future LHC results. We find that if another scalar is found, one can exclude a phase with a dark matter candidate in definite regions of the parameter space, while predicting whether a third scalar to be found must be lighter or heavier. The first version of the code is publicly available and contains various generic core routines for tree level vacuum stability analysis, as well as implementations of collider bounds, dark matter constraints, electroweak precision constraints and tree level unitarity.Comment: 24 pages, 4 figures, 3 tables. Project development webpage - http://gravitation.web.ua.pt/Scanner

Generalised Space-time and Gauge Transformations

We consider the generalised space-time introduced by the author in 2003 in the context of the non-linear realisation of the semi-direct product of E11 and its first fundamental representation. For all the fields we propose gauge transformations which are compatible with the underlying E11 structure. A crucial role is played by the generalised vielbein that the generalised space-time possess. We work out the explicit form of the gauge transformations, at low levels, in four, five and eleven dimensions.Comment: 33 page

The eclipse java metamodel scaffolding software engineering research on java projects with MDE techniques

Java on the Eclipse IDE is a frequent choice for software development nowadays. Software Engineering researchers have built program analysis tools in that environment for several purposes. However, that requires a deep understanding of Eclipse internals, such as the Java AST. This paper discusses the feasibility of a metamodel-driven approach to scaffold the construction of such tools. Its core is the Eclipse Java Metamodel (EJMM), obtained through reverse engineering. The latter is instantiated with meta-objects representing the constructs of a given Java program. We then use OCL to traverse programs very easily. To validate the feasibility of our metamodel-driven approach to program analysis, we developed an Eclipse plug-in based on it, to support the metamodel-driven measurement (M2DM) approach.info:eu-repo/semantics/publishedVersio