Skip to content

GitLab

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in / Register
SARAH SARAH
  • Project overview
    • Project overview
    • Details
    • Activity
  • Packages & Registries
    • Packages & Registries
    • Container Registry
  • Analytics
    • Analytics
    • Repository
    • Value Stream
  • Wiki
    • Wiki
  • Members
    • Members
  • Activity
Collapse sidebar
  • GOODSELL Mark
  • SARAHSARAH
  • Wiki
  • Checks_of_implemented_models

Last edited by Martin Gabelmann Jul 27, 2019
Page history

Checks_of_implemented_models

Checks of implemented models

Running the check for a newly implemented model

After the initialization of a model via Start[“MODELNAME”] it can be checked for (self-) consistency using the command

CheckModel;

Performed Checks

Causes the particle content gauge anomalies?

Gauge anomalies are caused by triangle diagrams with three external gauge bosons and internal fermions . The corresponding conditions for all SU(N)_A groups to be anomaly free are

\sum_i \text{Tr}\left[T_{Ar}^a(\psi_i) T_{Ar}^a(\psi_i) T_{Ar}^a(\psi_i)\right] = 0

The T_{Ar}^a(\psi_i) are the generators for a fermion \Psi_i transforming as irreducible representation r under the gauge group SU(N)_A. The sum is taken over all chiral superfields. In the Abelian sector several conditions have to be fulfilled depending on the number of U(1) gauge groups

U(1)_A^3 : \sum_i (Q^A_{\psi_i})^3 = 0 \\ U(1)_A\times U(1)_B^2 : \thinspace \sum_i Q^A_{\psi_i} (Q^B_{\psi_i})^2 = 0 \\ U(1)_A\times U(1)_B\times U(1)_C : \thinspace \sum_i Q^A_{\psi_i} Q^B_{\psi_i} Q^C_{\psi_i}= 0

The mixed condition involving Abelian and non-Abelian groups is

U(1)_A \times SU(N)_B^2: \,\,\,\, \sum_i Q_{\Psi_i}^A \text{Tr}\left[ T_{Br}^a(\Psi_i) T_{Br}^a(\Psi_i)\right] =0

Finally, conditions involving gravity \mathfrak{G} are

\mathfrak{G} \times U(1)_A^2 : \sum_i (Q^A_{\psi_i})^2 = 0 \\ \mathfrak{G} \times U(1)_A\times U(1)_B : \thinspace \sum_i Q^A_{\psi_i} Q^B_{\psi_i} = 0 \\ \mathfrak{G}^2 \times U(1)_A : \sum_i Q^A_{\psi_i} = 0

If one if these conditions is not-fulfilled a warning is printed by SARAH. If some U(1) charges were defined as variable, the conditions on these variables for anomaly cancellation are printed.

Leads the particle content to the Witten anomaly?

SARAH checks that there is an even number of SU(2) doublets. This is the necessary for a model in order to be free of the Witten anomaly

Are all terms in the (super)potential in agreement with global and local symmetries?

As mentioned above, SARAH doesn’t forbid to include terms in the superpotential which violate global or gauge symmetries. However, it prints a warning if this happens.

Are there other terms allowed in the (super)potential by global and local symmetries?

SARAH will print a list of renormalizable terms which are allowed by all symmetries but which haven’t been included in the model file.

Are all unbroken gauge groups respected?

SARAH checks what gauge symmetries remain unbroken and if the definition of all rotations in the matter sector and of the Dirac spinors are consistent with that.

Are there terms in the Lagrangian of the mass eigenstates which can cause additional mixing between fields?

If in the final Lagrangian bilinear terms between different matter eigenstates are present this means that not the entire mixing of states has been taken into account. SARAH checks if those terms are present and returns a warning showing the involved fields and the non-vanishing coefficients.

Are all mass matrices irreducible?

If mass matrices are block diagonal, a mixing has been assumed which is actually not there. In that case SARAH will point this out.

Are the properties of all particles and parameters defined correctly?

These are formal checks about the implementation of a model. It is checked for instance, if the number of PDGs fits to the number of generations for each particle class, if LaTeX names are defined for all particles and parameters, if the position in a Les Houches spectrum file are defined for all parameters, etc. Not all of these warnings have to be addressed by the user. Especially, if he/she is not interested in the output which would fail because of missing definitions.

Clone repository

Home

Index

  • Additional terms in Lagrangian
  • Advanced usage of FlavorKit
  • Advanced usage of FlavorKit to calculate new Wilson coefficients
  • Advanced usage of FlavorKit to define new observables
  • Already defined Operators in FlavorKit
  • Already defined observables in FlavorKit
  • Auto-generated templates for particles.m and parameters.m
  • Automatic index contraction
  • Basic definitions for a non-supersymmetric model
  • Basic definitions for a supersymmetric model
  • Basic usage of FlavorKit
  • Boundary conditions in SPheno
  • CalcHep CompHep
  • Calculation of flavour and precision observables with SPheno
  • Checking the particles and parameters within Mathematica
  • Checks of implemented models
  • Conventions
  • Decay calculation with SPheno
  • Defined FlavorKit parameters
  • Definition of the properties of different eigenstates
  • Delete Particles
  • Different sets of eigenstates
  • Diphoton and digluon vertices with SPheno
  • Dirac Spinors
  • FeynArts
  • Fine-Tuning calculations with SPheno
  • Flags for SPheno Output
  • Flags in SPheno LesHouches file
  • FlavorKit
  • FlavorKit Download and Installation
  • Flavour Decomposition
  • GUT scale condition in SPheno
  • Gauge Symmetries SUSY
  • Gauge Symmetries non-SUSY
  • Gauge fixing
  • Gauge group constants
  • General information about Field Properties
  • General information about model implementations
  • Generating files with particle properties
  • Generic RGE calculation
  • Global Symmetries SUSY
  • Global Symmetries non-SUSY
  • Handling of Tadpoles with SPheno
  • Handling of non-fundamental representations
  • HiggsBounds
  • Higher dimensionsal terms in superpotential
  • Input parameters of SPheno
  • Installation
  • Installing Vevacious
  • LHCP
  • LHPC
  • LaTeX
  • Lagrangian
  • Loop Masses
  • Loop calculations
  • Loop functions
  • Low or High scale SPheno version
  • Main Commands
  • Main Model File
  • Matching to the SM in SPheno
  • MicrOmegas
  • ModelOutput
  • Model files for Monte-Carlo tools
  • Model files for other tools
  • Models with Thresholds in SPheno
  • Models with another gauge group at the SUSY scale
  • Models with several generations of Higgs doublets
  • More precise mass spectrum calculation
  • No SPheno output possible
  • Nomenclature for fields in non-supersymmetric models
  • Nomenclature for fields in supersymmetric models
  • One-Loop Self-Energies and Tadpoles
  • One-Loop Threshold Corrections in Scalar Sectors
  • Options SUSY Models
  • Options non-SUSY Models
  • Parameters.m
  • Particle Content SUSY
  • Particle Content non-SUSY
  • Particles.m
  • Phases
  • Potential
  • Presence of super-heavy particles
  • RGE Running with Mathematica
  • RGEs
  • Renormalisation procedure of SPheno
  • Rotations angles in SPheno
  • Rotations in gauge sector
  • Rotations in matter sector
  • SARAH in a Nutshell
  • SARAH wiki
  • SLHA input for Vevacious
  • SPheno
  • SPheno Higgs production
  • SPheno Output
  • SPheno and Monte-Carlo tools
  • SPheno files
  • SPheno mass calculation
  • SPheno threshold corrections
  • Setting up SPheno.m
  • Setting up Vevacious
  • Setting up the SPheno properties
  • Special fields and parameters in SARAH
  • Superpotential
  • Support of Dirac Gauginos
  • Supported Models
  • Supported gauge sectors
  • Supported global symmetries
  • Supported matter sector
  • Supported options for symmetry breaking
  • Supported particle mixing
  • Tadpole Equations
  • The renormalisation scale in SPheno
  • Tree-level calculations
  • Tree Masses
  • Two-Loop Self-Energies and Tadpoles
  • UFO
  • Usage of tadpoles equations
  • Using SPheno for two-loop masses
  • Using auxiliary parameters in SPheno
  • VEVs
  • Vertices
  • Vevacious
  • WHIZARD