FlexibleSUSY -- A spectrum generator generator for supersymmetric models

We introduce FlexibleSUSY, a Mathematica and C++ package, which generates a fast, precise C++ spectrum generator for any SUSY model specified by the user. The generated code is designed with both speed and modularity in mind, making it easy to adapt and extend with new features. The model is specified by supplying the superpotential, gauge structure and particle content in a SARAH model file; specific boundary conditions e.g. at the GUT, weak or intermediate scales are defined in a separate FlexibleSUSY model file. From these model files, FlexibleSUSY generates C++ code for self-energies, tadpole corrections, renormalization group equations (RGEs) and electroweak symmetry breaking (EWSB) conditions and combines them with numerical routines for solving the RGEs and EWSB conditions simultaneously. The resulting spectrum generator is then able to solve for the spectrum of the model, including loop-corrected pole masses, consistent with user specified boundary conditions. The modular structure of the generated code allows for individual components to be replaced with an alternative if available. FlexibleSUSY has been carefully designed to grow as alternative solvers and calculators are added. Predefined models include the MSSM, NMSSM, E$_6$SSM, USSM, R-symmetric models and models with right-handed neutrinos.Comment: 56 pages, 3 figures, 3 tables; v3: correcting typos, matches version accepted for publication by CP

The Phenomenology of Universal Extra Dimensions at Hadron Colliders

Theories with extra dimensions of inverse TeV size (or larger) predict a multitude of signals which can be searched for at present and future colliders. In this paper, we review the different phenomenological signatures of a particular class of models, universal extra dimensions, where all matter fields propagate in the bulk. Such models have interesting features, in particular Kaluza-Klein (KK) number conservation, which makes their phenomenology similar to that of supersymmetric theories. Thus, KK excitations of matter are produced in pairs, and decay to a lightest KK particle (LKP), which is stable and weakly interacting, and therefore will appear as missing energy in the detector (similar to a neutralino LSP). Adding gravitational interactions which can break KK number conservation greatly expands the class of possible signatures. Thus, if gravity is the primary cause for the decay of KK excitations of matter, the experimental signals at hadron colliders will be jets + missing energy, which is typical of supergravity models. If the KK quarks and gluons decay first to the LKP, which then decays gravitationally, the experimental signal will be photons and/or leptons (with some jets), which resembles the phenomenology of gauge mediated supersymmetry breaking models.Comment: review article, 39 pages, 10 figures, uses IJMPA style file

Ontological theory for ontological engineering: Biomedical systems information integration

Software application ontologies have the potential to become the keystone in state-of-the-art information management techniques. It is expected that these ontologies will support the sort of reasoning power required to navigate large and complex terminologies correctly and efficiently. Yet, there is one problem in particular that continues to stand in our way. As these terminological structures increase in size and complexity, and the drive to integrate them inevitably swells, it is clear that the level of consistency required for such navigation will become correspondingly difficult to maintain. While descriptive semantic representations are certainly a necessary component to any adequate ontology-based system, so long as ontology engineers rely solely on semantic information, without a sound ontological theory informing their modeling decisions, this goal will surely remain out of reach. In this paper we describe how Language and Computing nv (L&C), along with The Institute for Formal Ontology and Medical Information Sciences (IFOMIS), are working towards developing and implementing just such a theory, combining the open software architecture of L&C’s LinkSuiteTM with the philosophical rigor of IFOMIS’s Basic Formal Ontology. In this way we aim to move beyond the more or less simple controlled vocabularies that have dominated the industry to date

Animating the evolution of software

The use and development of open source software has increased significantly in the last decade. The high frequency of changes and releases across a distributed environment requires good project management tools in order to control the process adequately. However, even with these tools in place, the nature of the development and the fact that developers will often work on many other projects simultaneously, means that the developers are unlikely to have a clear picture of the current state of the project at any time. Furthermore, the poor documentation associated with many projects has a detrimental effect when encouraging new developers to contribute to the software. A typical version control repository contains a mine of information that is not always obvious and not easy to comprehend in its raw form. However, presenting this historical data in a suitable format by using software visualisation techniques allows the evolution of the software over a number of releases to be shown. This allows the changes that have been made to the software to be identified clearly, thus ensuring that the effect of those changes will also be emphasised. This then enables both managers and developers to gain a more detailed view of the current state of the project. The visualisation of evolving software introduces a number of new issues. This thesis investigates some of these issues in detail, and recommends a number of solutions in order to alleviate the problems that may otherwise arise. The solutions are then demonstrated in the definition of two new visualisations. These use historical data contained within version control repositories to show the evolution of the software at a number of levels of granularity. Additionally, animation is used as an integral part of both visualisations - not only to show the evolution by representing the progression of time, but also to highlight the changes that have occurred. Previously, the use of animation within software visualisation has been primarily restricted to small-scale, hand generated visualisations. However, this thesis shows the viability of using animation within software visualisation with automated visualisations on a large scale. In addition, evaluation of the visualisations has shown that they are suitable for showing the changes that have occurred in the software over a period of time, and subsequently how the software has evolved. These visualisations are therefore suitable for use by developers and managers involved with open source software. In addition, they also provide a basis for future research in evolutionary visualisations, software evolution and open source development

Fermion Masses and Mixing and CP-Violation in SO(10) Models with Family Symmetries

Several ideas for solving the problem of fermion mass hierarchy and mixing and specific supersymmetric models that realize it are reviewed. In particular, we discuss many models based on SO(10) in four dimensions combined with a family symmetry to accommodate fermion mass hierarchy and mixing, including the case of neutrinos. These models are compared and various tests that can be used to distinguish these models are suggested. We also include a discussion of a few SO(10) models in higher space-time dimensions.Comment: 66 pages; 5 figures; Submitted to International Journal of Modern Physics A; v2: a few references added; some changes in tex

5D Perspective on Higgs Production at the Boundary of a Warped Extra Dimension

A comprehensive, five-dimensional calculation of Higgs-boson production in gluon fusion is performed for both the minimal and the custodially protected Randall-Sundrum (RS) model, with Standard Model fields propagating in the bulk and the scalar sector confined on or near the IR brane. For the first time, an exact expression for the gg->h amplitude in terms of the five-dimensional fermion propagator is derived, which includes the full dependence on the Higgs-boson mass. Various results in the literature are reconciled and shown to correspond to different incarnations of the RS model, in which the Higgs field is either localized on the IR brane or is described in terms of a narrow bulk state. The results in the two scenarios differ in a qualitative way: the gg->h amplitude is suppressed in models where the scalar sector is localized on the IR brane, while it tends to be enhanced in bulk Higgs models. In both cases, effects of higher-dimensional operators contributing to the gg->h amplitude at tree level are shown to be numerically suppressed under reasonable assumptions. There is no smooth cross-over between the two scenarios, since the effective field-theory description breaks down in the transition region. A detailed phenomenological analysis of Higgs production in various RS scenarios is presented, and for each scenario the regions of parameter space already excluded by LHC data are derived.Comment: 44 pages (plus appendices), 6 figures; several improvements of the discussion, new section estimating the effects of brane-localized higher-dimensional operator