Model Examples

This page acts as a database of results obtained by CoDEx for a portfolio of representative models. The intension is to simultaneously showcase the range of functionality of CoDEx, as well as guide the user to successfully apply CoDEx to their own model.

Click for copyable input

A. Examples with single BSM field

1) Electro-weak SU(2)L Real Singlet Scalar

Field Definitions:
Click for copyable input
Build the Lagrangian:
Click for copyable input
Click for copyable input
Lagrangian:

Click for copyable input
Initialize generators:
Click for copyable input
Wilson Coefficients in "Warsaw" basis:
Click for copyable input
Wilson Coefficients in "SILH" basis:
Click for copyable input

2) Electro-weak SU(2)L Real Triplet Scalar (Y=0)

Field Definitions:
Click for copyable input
Build the Lagrangian:
Click for copyable input
Click for copyable input
Lagrangian:

L  superset  2  kappa  H^|tau^aH  Phi^a -eta Phi^a Phi^a TemplateBox[{H}, Abs]^2 -1/4lambda (Phi^a Phi^a)^2

Click for copyable input
Initialize generators:
Click for copyable input

Check the documentation page CoDExParafernalia for details.

Wilson Coefficients in "Warsaw" basis:
Click for copyable input
Wilson Coefficients in "SILH" basis:
Click for copyable input

3) Electro-weak SU(2)L Complex Triplet Scalar (Y=1)

AKA Type-II seesaw.

Field Definitions:
Click for copyable input
Build the Lagrangian:
Click for copyable input
Click for copyable input
Click for copyable input
Click for copyable input
Click for copyable input
Now, if

Click for copyable input
and,

Click for copyable input
Click for copyable input
Then the Lagrangian:

Click for copyable input
Initialize generators:
Click for copyable input

Check the documentation page CoDExParafernalia for details.

Wilson Coefficients in "Warsaw" basis:
Click for copyable input
Wilson Coefficients in "SILH" basis:
Click for copyable input
There's one dimension 5 operator as well::
Click for copyable input

4) Electro-weak SU(2)L Quartet Scalar (Y=)

Field Definitions:
In[2]:=
Click for copyable input
Build the Lagrangian:
In[3]:=
Click for copyable input
Out[3]=
In[4]:=
Click for copyable input
In[5]:=
Click for copyable input
Out[5]=
In[13]:=
Click for copyable input
Now, the Lagrangian is:

In[15]:=
Click for copyable input
Initialize generators:
In[7]:=
Click for copyable input

Check the documentation page CoDExParafernalia for details.

Wilson Coefficients in "Warsaw" basis:
In[12]:=
Click for copyable input
Out[14]=
Wilson Coefficients in "SILH" basis:
In[10]:=
Click for copyable input
Out[11]=

5) SU(2)L -singlet Heavy Right-handed neutrino

AKA Type-I seesaw.

Field Definitions:
Click for copyable input
Build the Lagrangian:
Click for copyable input
Click for copyable input
Click for copyable input
Click for copyable input
Thus, the Lagrangian is:

Click for copyable input
Click for copyable input
Initialize generators:
Click for copyable input

Check the documentation page CoDExParafernalia for details.

There's one dimension 5 operator:
Click for copyable input

The extra prompt in the output above tells you that there's no point searching for Wilson coefficients in any dim. 6 operator basis.

6) SU(2)L Real triplet Heavy fermion (Y = 0)

AKA Type-III seesaw.

Field Definitions:
Click for copyable input
Build the Lagrangian:
Click for copyable input
Click for copyable input
Click for copyable input
In[20]:=
Click for copyable input
In[21]:=
Click for copyable input
In[22]:=
Click for copyable input
Out[22]=
Thus, the Lagrangian is:

In[23]:=
Click for copyable input
Initialize generators:
In[24]:=
Click for copyable input
Results:
In[13]:=
Click for copyable input
Out[13]=
In[14]:=
Click for copyable input
Out[14]=

7) 2HDM

Field Definitions:
Click for copyable input
Build the Lagrangian:
Click for copyable input
Click for copyable input
Click for copyable input
Click for copyable input
Lagrangian:

Click for copyable input
Initialize generators:
Click for copyable input
Results:
Click for copyable input
Click for copyable input
Click for copyable input
(Local2) In[15]:=
Click for copyable input
(Local2) Out[15]=

8) Exotic SU(2) gauge boson

Field Definitions:
Click for copyable input
Build the Lagrangian:
Click for copyable input
Click for copyable input
Lagrangian:

where,

Click for copyable input
Click for copyable input
Click for copyable input
Initialize generators:
Click for copyable input
Results:
Click for copyable input
Click for copyable input
Click for copyable input
Click for copyable input

U(1)

Field Definitions:
Click for copyable input
Build the Lagrangian:
Click for copyable input
Click for copyable input
Lagrangian:

where,

Click for copyable input
Click for copyable input
Initialize generators:
Click for copyable input
Results:
Click for copyable input
Click for copyable input

B. Examples with multiple BSM fields

Field Definitions:
Click for copyable input
Build the Lagrangian:
Click for copyable input
Click for copyable input
Click for copyable input
Click for copyable input
Click for copyable input
Click for copyable input
Click for copyable input
Click for copyable input
Click for copyable input
Here, the Lagrangian is:

where,

,

Click for copyable input

,

Click for copyable input

and

Click for copyable input
Thus,
Click for copyable input
Initialize generators:
Click for copyable input

Check the documentation page CoDExParafernalia for details.

Results:
Click for copyable input
Click for copyable input
Click for copyable input
Click for copyable input

Field Definitions:
Click for copyable input
Build the Lagrangian:
Click for copyable input
Click for copyable input
Click for copyable input
Here, the Lagrangian is:

where,

Singlet part:

Click for copyable input
Triplet part:

L_3  superset  2  kappa  H^|tau^aH  Phi^a -eta Phi^a Phi^a TemplateBox[{H}, Abs]^2 -1/4lambda_Phi (Phi^a Phi^a)^2

(Local2) In[6]:=
Click for copyable input
and interaction part:

Click for copyable input
Thus,
Click for copyable input
Initialize generators:
Click for copyable input

Check the documentation page CoDExParafernalia for details.

Results:
(Local2) In[11]:=
Click for copyable input
(Local2) In[15]:=
Click for copyable input
(Local2) Out[15]=
(Local2) In[12]:=
Click for copyable input
(Local2) In[14]:=
Click for copyable input
(Local2) Out[14]=

Field Definitions:
Click for copyable input
Build the Lagrangian:
Click for copyable input
Click for copyable input
Click for copyable input
Click for copyable input
Here, the Lagrangian is:

where,

Click for copyable input
Click for copyable input
Click for copyable input
Click for copyable input
Click for copyable input
Click for copyable input
Click for copyable input
Click for copyable input
Click for copyable input
Initialize generators:
Click for copyable input

Check the documentation page CoDExParafernalia for details.

Click for copyable input
Results:
Click for copyable input
Click for copyable input
Click for copyable input
(Local2) In[14]:=
Click for copyable input