Abstract
The dynamics of the subatomic fundamental particles, represented by quantum fields, and their interactions are determined uniquely by the assigned transformation properties, i.e., the quantum numbers associated with the underlying symmetry of the model under consideration. These fields constitute a finite number of group invariant operators which are assembled to build a polynomial, known as the Lagrangian of that particular model. The order of the polynomial is determined by the mass dimension. In this paper, we have introduced an automated \({\texttt {Mathematica}}^{\tiny \textregistered }\) package, GrIP, that computes the complete set of operators that form a basis at each such order for a model containing any number of fields transforming under connected compact groups. The spacetime symmetry is restricted to the Lorentz group. The first part of the paper is dedicated to formulating the algorithm of GrIP. In this context, the detailed and explicit construction of the characters of different representations corresponding to connected compact groups and respective Haar measures have been discussed in terms of the coordinates of their respective maximal torus. In the second part, we have documented the user manual of GrIP that captures the generic features of the main program and guides to prepare the input file. We have attached a sub-program CHaar to compute characters and Haar measures for \(SU(N), SO(2N), SO(2N+1), Sp(2N)\). This program works very efficiently to find out the higher mass (non-supersymmetric) and canonical (supersymmetric) dimensional operators relevant to the effective field theory (EFT). We have demonstrated the working principles with two examples: the standard model (SM) and the minimal supersymmetric standard model (MSSM). We have further highlighted important features of GrIP, e.g., identification of effective operators leading to specific rare processes linked with the violation of baryon and lepton numbers, using several beyond standard model (BSM) scenarios. We have also tabulated a complete set of dimension-6 operators for each such model. Some of the operators possess rich flavour structures which are discussed in detail. This work paves the way towards BSM-EFT.
Similar content being viewed by others
1 Introduction
Particle physics, an intricate medley between theory and experiment, aims to provide an accurate description of the dynamics and interactions of the subatomic particles. The experimental results are quantified by a set of observables, e.g., decay widths and the scattering cross-sections. The symbiotic relationship between theory and experiment implies that each measurement lends credence to some theoretically calculated number. To calculate the theoretical values of these observables we need to rely on Feynman vertices which are derived from the expanded form of the Lagrangian density. Therefore, it is the Lagrangian densityFootnote 1 that is the fons et origo of any justifiable or falsifiable claim that we can attempt to make based on the theory.
Now, this begs a couple of questions, the first being which terms are allowed in the Lagrangian that would ultimately determine the characteristics of the interactions and the structure of the Feynman vertices. The second is whether we can backtrack further, i.e., are there more rudimentary aspects below the level of the Lagrangian from which the complete theory can be built procedurally. One can ask if the Lagrangian is the true genesis of the theory or if we can probe its anatomy further. The answers to these questions are affirmative. There are well-defined, mathematically sound guidelines that determine what interactions are allowed and which ones are not and in a nutshell, these are the interplay of the conservation and violation of certain symmetries. Also, it is quite evident that the minimum information that we require for building a Lagrangian and in turn constructing a model is the quantum fields representing the particles and their transformation properties guided by the underlying symmetries of the model. The concept that we endeavour to forge an understanding of is how to build a full-fledged theoretical model, whose predictions could be corroborated using ingeniously designed high energy experiments, using nothing but this minimal piece of information.
We need to do meticulous scrutiny of the eccentric features of a general Lagrangian. For the sake of our analysis, we will treat the Lagrangian as a polynomial of certain spurion variables which are nothing but the quantum fields representing the actual particles. Just as we can define the order of a polynomial in terms of the powers of the variables, analogously we can define the order of the Lagrangian density in terms of certain parameters associated to the fields. The mass dimension of the terms of the Lagrangian in natural units (where \(c=1\), \(\hbar =1\) and consequently \(\left[ L\right] =\left[ T\right] =\left[ M\right] ^{-1}\)) is customarily used to define this order. We restrict ourselves to \(d=3+1\) space-time dimensions. Here, the action is defined as:
Since \({\mathscr {S}}\) is dimensionless (\([{\mathscr {S}}] \equiv 0\)) and the integration measure possesses a mass dimension of “\(-4\)” (\([d^4x] \equiv -4\)), the Lagrangian density \(({\mathscr {L}})\) must have a mass dimension “+4” (\( [{\mathscr {L}}]\equiv 4\)). This has two significant consequences. First, this fixes the mass dimensions of bosonic \((\phi ,A_{\mu })\) and fermionic (\(\psi \)) fields in \(3+1\) dimensions based on their kinetic terms. We can also obtain the mass dimension for field strength tensors \(F_{\mu \nu }\) using the gauge kinetic terms. Thus to summarize,
The second major consequence is that even though we may add terms of any mass dimension to the Lagrangian density, they all must be suitably multiplied by coefficients of suitable mass dimensions to be successfully accommodated in \({\mathscr {L}}\). Thus, a schematic form of the Lagrangian density can be written as:
where \({\mathscr {O}}^{(i)}\)’s are operators of mass dimension i and \(\alpha ^{(i)}\)’s are the coefficients of mass dimension \((4-i)\). Now, since we can have operators of mass dimension \(>4\), this implies that certain coupling constants will have negative mass dimensions. Then from power counting arguments and taking into account the issue of superficial renormalizability we divide the full Lagrangian density into two parts: the renormalizable Lagrangian and the effective Lagrangian:
Here, i denotes the mass dimension of the operators and since there can be more than one operator at a particular mass dimension, therefore we have a sum over all such operators \((\sum _j)\). The total number of operators at a given mass dimension has been denoted by \(N_i\). \(\varLambda \) has dimensions of mass and \({\mathscr {C}}_j^{(i)}\)’s are dimensionless coefficients known as the Wilson coefficients. The second term on the RHS is called the effective Lagrangian (\({\mathscr {L}}_{EFT}\)) [1,2,3,4].
Having established the form of the Lagrangian density the next question is given some quantum fields, can we include all possible combinations of these fields in the Lagrangian density or are there certain restrictions. In other words, how does one fix \(N_i\) for a specific theory?
Again, the answer comes from looking at Eq. (1), since \({\mathscr {S}}\) is invariant w.r.t. spacetime symmetry as well as any internal symmetry (and so does \(d^4x\)), the Lagrangian density \({\mathscr {L}}\) must be invariant as well under the same set of symmetries. We further demand that the operators must form a complete and independent set. Below we shall illustrate the role of symmetry in restricting the inclusion of arbitrary operators with a few examples. For a theory consisting only of a real scalar field \(\phi \), the renormalizable Lagrangian is given as:
Now, for a theory consisting of a scalar field \(\rho \) which possesses a discrete symmetry \(\rho \rightarrow -\rho \), the Lagrangian becomes:
It is evident that this discrete symmetry (\({\mathbb {Z}}_2\)) rules out the linear and cubic terms as these are no longer invariant. As a second example, we consider the case of a complex scalar field and its conjugate which transform under a global U(1) symmetry:
Even in this case, we see that if the Lagrangian has to be invariant w.r.t the U(1) symmetry we cannot have terms linear, quadratic or trilinear in only one of the fields. Hence, the permissible Lagrangian looks like:
The situation becomes more involved if we have a gauge symmetry and when the number of degrees of freedom (DOF) is large. For most cases constructing an independent set of operators is a painstaking task not only for higher dimensions but even at the renormalizable level. Let us look at the most popular model, i.e., the Standard Model (SM) of particle physics where in addition to spacetime symmetry we also have local \(SU(3)_C\otimes SU(2)_L \otimes U(1)_Y\) symmetry, then the renormalizable Lagrangian is:
Here, \(\lambda , y_e, y_d, y_u\) are dimensionless couplings while m is the mass parameter. We can neatly categorize each of these terms as in Table 1. Different terms, i.e., the operators in the Lagrangian can have diagrammatic representations. The operator classes corresponding to the renormalizable Lagrangian have been depicted in Fig. 1Footnote 2. We have shown 2 more invariant operator structures (\({\mathscr {D}}^4, \, {\mathscr {D}}^2X\)) at mass dimension-4 which are excluded from the Lagrangian as they are total derivative terms and therefore do not affect the dynamics. We have also displayed the Feynman diagrams representing processes encapsulated in operators of dimensions-5 and -6 (Figs. 2 and 3). Here, in addition to the operator classes in which the SM operators can be categorized into, we have also identified the classes which appear for general theories with fields having spins-0, -1/2, and -1.
The fields under consideration have a dynamical nature. This is substantiated by the presence of the covariant derivative (\({\mathscr {D}}_{\mu }\)). The \({\mathscr {D}}_{\mu }\) is a singlet under the internal symmetries but transforms non-trivially under the Lorentz group. As we go to higher mass dimensions, we encounter operators with multiple derivatives. The presence of \({\mathscr {D}}_{\mu }\) leads to redundancy in the operator set, see [6, 8,9,10, 12]. Essentially, two operators containing the covariant derivative can be related to each other through integration by parts (IBP) and removal of a total derivative from the Lagrangian density. Also, two classes of operators could be related through the equations of motion (EOM) of one of the fields, e.g., the operators described by Fig. 3 (ix) and (x) are related to those described by Fig. 3 (vi) and (viii) respectively through the equation of motion of the gauge fields. We need to ensure that the operators which are a part of our set at a given dimension are invariant w.r.t. spacetime as well as internal symmetries and also form a complete and independent set, i.e., a basis at a given order of the polynomial. To do so any IBP and EOM redundancies in the operator set must be taken care of.
Now, the positive thing is that the guiding principle behind this sequence of steps is not entirely an unfathomable, esoteric mathematical artifact. In fact, it can be elegantly described in terms familiar to a physicist [8,9,10,11,12]. The centerpiece of this construction is the Hilbert Series [8,9,10,11, 14,15,16] which can be generated from group theoretic principles. Before performing phenomenological analysis on any proposed model, the most important task is to write down the correct Lagrangian. Keeping that in mind we have developed a \(\text {\texttt {Mathematica}}^{\tiny \textregistered }\) [17] based package, GrIP which automatizes the myriad of steps involved in constructing Group Invariant Polynomials, i.e., the Lagrangian for any given model based on the very minimal input, the field content of the model and their transformation properties. While the auxiliary notebook given in [9] could compute the Hilbert Series output of any mass dimension for the Standard Model, it relied on a fixed set of predefined character functions and the Haar measures corresponding only to the Standard Model symmetry groups. With GrIP we have streamlined and automatized the entire procedure so that the necessary characters and Haar measures are automatically generated within the program and there is no dependency on any predefined quantities. This makes our code highly generalizable and extends its utility to generate results for models where the internal symmetry is described by the connected compact groups – SU(N), SO(2N), \(SO(2N+1)\), Sp(2N). We are sure that GrIP, will be an indispensable addition to the phenomenologist’s EFT toolbox [18] along with other ingenious computational packages, like CoDEx [19], DsixTools [20], FlavorKit [21, 22], FormFlavor [23], Wilson [24], SMEFT-FR [25], SMEFTsim [26], SPheno [27, 28], WCxf-python [29], Sym2Int [30] and ECO [31].
We have divided this work into two broad parts. The first part highlights the theoretical principles behind group invariant polynomial construction and its necessity in particle physics model building. To start with, in Sect. 2, we have outlined the detailed mathematics behind the computation of the basic ingredients of the Hilbert Series, i.e., the characters corresponding to the representations under given groups and the Haar measures of various groups. We have delineated the explicit calculations for the connected compact groups \(SU(N), SO(2N), SO(2N+1)\) and Sp(2N). This is followed by a brief discussion on the non-triviality associated with the Lorentz group. Then in Sect. 3, we have employed the Hilbert Series [8,9,10,11] approach to build the operator sets for a few known models. We have revisited the Two Higgs Doublet Model and unveiled the detailed intermediate steps. Then we have introduced the Pati-Salam Model, etc. and performed a comparative analysis with the existing literature to underline the power of this method.
The second half of this work sheds light on the salient features of GrIP. We start with Sect. 5 where we have described the chronological steps to elaborate (i) the installation of the package, (ii) preparation of a general input file and interfacing it with the main program, and (iii) generating specific as well as generic output in the form of operators of different mass dimensions. We have provided specific illustrations in Sect. 6 using two example models: the Standard Model and the Minimal Supersymmetric Standard Model. We have also drawn attention towards certain GrIP functions that help us to filter out the operators leading to rare processes.
In Sect. 7 we have discussed the bottom-up approach to formulate Effective Field Theory [1,2,3,4] and further paved the way to construct Beyond Standard Model Effective Field Theory (BSM-EFT). We have demonstrated this idea through a few examples where SM is extended by different choices of infrared degrees of freedoms (IR-DOFs). For each such scenario, we have computed the additional (beyond the SM-EFT ones) operators of dimensions-5 and -6 using GrIP. We have also outlined other possible features of this code to generate unique effective operators based on the specific phenomenological demands. Our program GrIP provides the operators for arbitrary number of fermion flavours \((N_f)\) keeping the provision to analyse the explicit flavour dependence. In Sect. 8, we have reasoned the origin of different \(N_f\)-dependent factors that appear for similar structures across various phenomenological models. We have also tabulated the operator sets for a few more models and some necessary group-theoretic information in the appendices.
2 Hilbert series: the underlying theoretical framework for GrIP
The object of our inquiry in this section is the Hilbert Series (HS) method [8,9,10,11,12,13, 15, 32, 33] based on which GrIP has been developed. In the context of particle physics models, we can define a set of quantum fields representing particles that posses certain transformation properties under the symmetries of the model. The Hilbert Series is an infinite series consisting of all possible symmetry group invariant clusters of the quantum fields and is built on two necessary ingredients: (i) the Plethystic Exponential (PE) and (ii) the Haar measure. The relevant generic form of the Hilbert Series is given as [8, 9, 11, 13, 15]:
where \(\varphi \) is a spurion variable that represents either a scalar (\(\phi \)) or a fermion (\(\psi \)), or a gauge field (\(A_{\mu }\)). With the aid of the Haar measure, the PEs are integrated on the symmetry group space. The Plethystic Exponentials for fields having integer and half-integer spins can be depicted as [8, 9, 11, 13, 15]:
respectively. Here, R denotes the representation of the symmetry group \({\mathscr {G}}_j\) under which the fields (\(\phi ,\psi \)) transform and \(\chi _R(z^r_j)\) the corresponding “Weyl” character.
We are specifically interested in studying the representations of connected compact Lie groups which encapsulates the internal symmetry of the particle physics models. In addition, the non-compact Lorentz group which describes the space-time transformations of the fields also attracts our attention. We have summarized the complete scheme of building the Hilbert Series through the explicit computation of characters and Haar measures in Fig. 4. We have started by explicitly calculating the Haar measures of the groups (\(SU(N), SO(2N+1), SO(2N), Sp(2N)\)) [34] for small values of N and built characters of some example representations in Sect. 2.1. Then we have briefly examined the non-triviality associated with constructing characters and Haar measure for the non-compact Lorentz group in Sect. 2.2.
2.1 Characters and Haar measures of connected compact Lie groups
We are interested in both abelian and non-abelian Lie groups. The procedures followed for computing the characters and Haar measures for each of these groups have been described below.
2.1.1 Abelian Group - U(1)
Characters
The U(1) characters depend on the associated charge of a field. For a field having charge q the U(1) character is simply
Haar Measure
The maximal torus of U(1) is simply the unit circle. So, the group space integral is equivalent to the integral over some \(\theta \) from \(\theta = 0\) to \(\theta = 2\pi \). With the parametrization as \(z = e^{i\theta }\), this turns into a contour integral over z. Thus, the U(1) Haar measure can be written as:
Non-Abelian groups
2.1.2 1. SU(N)
Characters
For SU(N) the Weyl character formula [35,36,37,38,39] is given as:
where \(M(\varepsilon )\) = diag\((\varepsilon _1,\varepsilon _2,\ldots ,\varepsilon _N)\) identifies a particular representation of SU(N) with \(\prod ^{N}_{a=1}\varepsilon _{a}\) = 1 and \(r_1, r_2,\ldots , r_{N-1}\) are integers such that \(r_1>r_2>\cdots r_{N-1}>0\) and these are obtained from the Dynkin labels of a particular representation. We can write the numerator in expanded form as:
while the denominator is the Vandermonde determinant as given below in Eq. (17):
The \(\varepsilon _a\)’s define coordinates on the maximal torus of SU(N) which is the group \({\mathbb {T}}^{N-1} = U(1)\otimes U(1)\cdots \otimes U(1)\) [40]. It can be described by the matrix shown in Eq. (18):
Here \(\theta _i\)’s parametrize the points on the torus. The co-ordinates of these points on the torus can be reparametrized in terms of the complex variables \(z_i\)’s as \(z_i=e^{i\theta _i}\). The \(\varepsilon _a\)’s are functions of these \(z_i\)’s, i.e., \(\varepsilon _a = \varepsilon _a\left( z_1, z_2,\dots , z_{N-1}\right) \) and they follow the properties:
This relationship between \(z_i\)’s and \(\varepsilon _a\) is determined using the weight tree [41] with respect to the lowest dimension fundamental (LDF) representationFootnote 3 corresponding to the group. The weight tree can be constructed starting from the respective Dynkin label \(\left( 1,0,\dots ,0\right) \) by successively subtracting the rows (\(\alpha _i\)) of the Cartan matrix shown below:
The weight tree corresponding to the LDF representation of SU(N) is shown below:
Then, if the \((N-1)\) tuple \(L_i\) is denoted as \((l_i^{(1)},l_i^{(2)},l_i^{(3)},\ldots ,l_i^{(N-1)})\), a general formula for \(\varepsilon _a\) can be written in terms of \(z_i\)’s as:
which enables us to write:
\(\mathbf{Calculating} the r _\mathbf{i }{} \mathbf 's \)
A particular representation of SU(N) of dimension d can be uniquely identified by its Dynkin label \((a_1,a_2,\ldots ,a_{N-1})\) and it is represented by the Young diagram consisting of \(N-1\) rows with boxes. To find the \(r_i\)’s we first need to obtain the \(\lambda _i\)’s, which can be obtained as solutions of the following equation in terms of the Dynkin label and the fundamental weight tree of the LDF representation.
Note that the equation contains N-unknowns in \(\lambda _1,\lambda _2,\ldots ,\lambda _N\) while the Dynkin label and the fundamental weights are (\(N-1\)) tuples. Thus we are required to solve (\(N-1\)) equations in N-unknowns but this difficulty is remedied by making an association between the \(\lambda _i\) and the Young diagrams. It turns out that \(\lambda _i\) equals the number of boxes in the i-th row of the Young diagrams for the particular representation of SU(N) and for non-trivial representations \(\lambda _N\) = 0. Using this we get (\(N-1\)) equations in (\(N-1\)) unknowns:
Solving this we get:
The \(r_i\)’s are related to the \(\lambda _i\)’s through the following equation:
Since \(\lambda _N = 0\) and \(\rho _N = N-N = 0\), therefore \(r_N = 0\). Now, having obtained \(r_1, r_2,\ldots , r_{N-1}\), the numerator can be computed using Eq. (16) corresponding to the given representation and subsequently the full character as well. We must mention that the \(\lambda _i\)’s and hence the \(r_i\)’s can be directly obtained from the Young diagram corresponding to the representation as shown in Fig. 5.
Haar measure
The general formula can be written as [8, 16, 42]:
\(\varDelta \left( \varepsilon \right) \) is the Vandermonde determinant as given in Eq. (17) which can be evaluated in terms of the \(\varepsilon _a(z_l)\)’s, \(\varDelta (\varepsilon ^{-1})\) can similarly be computed by substituting \(\varepsilon ^{-1}_a\) in the place of \(\varepsilon _a\) in the expression of \(\varDelta \left( \varepsilon \right) \). Finally, substituting for known quantities in Eq. (27) the Haar measure for a given group can be obtained.
Next, the characters for certain representations [43, 44] of SU(2), SU(3), SU(4) and SU(5) have been computed and the Haar measures of these groups have also been explicitly calculated.
\(\fbox {SU(2)}\)
Haar measure
Using Eq. (23), we can obtain for SU(2), \(\varepsilon _1 = z_1\) and \(\varepsilon _2\) = \(z_1^{-1}\). The Vandermonde determinant for this case is:
\(\varDelta (\varepsilon ^{-1})\) is obtained by replacing \(\varepsilon _i\) by \(\varepsilon _i^{-1}\) in the above expression. Then using Eq. (27),
Characters
-
The Singlet Representation:
For the singlet representation, we can directly get \(\mathbf {\lambda }\) = (1, 1) from the Young diagram. Now, since \(\mathbf {\rho }\) = (1, 0) therefore, \(\mathbf {r} = \mathbf {\lambda }+\mathbf {\rho }= (2,1)\) and the character is obtained as:
(30)Now, this result is easily generalized for the case of general SU(N), i.e., the character of the singlet representation for any SU(N) is simply
$$\begin{aligned} \chi _{({SU(N)})_{1}}= & {} \prod _{i=1}^{N}\varepsilon _i = z_1\times \frac{z_2}{z_1}\nonumber \\&\times \cdots \times \frac{z_{N-1}}{z_{N-2}}\times \frac{1}{z_{N-1}} = 1. \end{aligned}$$(31) -
The (Anti-)Fundamental Representation:
Using Eq. (25), we get \(\mathbf {\lambda }\) = (1, 0). Now, since \(\mathbf {\rho }\) = (1, 0) therefore, \(\mathbf {r} = \mathbf {\lambda }+\mathbf {\rho } = (2,0)\) and the character is obtained as:
(32) -
The Adjoint Representation:
We obtain \(\mathbf {\lambda }\) = (2, 0) and \(\mathbf {r} = \mathbf {\lambda }+\mathbf {\rho }= (3,0)\) and the character is obtained as:
(33)
It must be noted that the character of the fundamental representation of any SU(N) is simply \(\sum _{i=1}^{N}\varepsilon _i = z_1 + \sum _{k=2}^{k={N-1}}\frac{z_k}{z_{k-1}} + \frac{1}{z_{N-1}}\) and the character of the anti-fundamental representation is obtained by making the substitution \(z_i\leftrightarrow \frac{1}{z_i}\). The character of adjoint representation can be computed using those for the fundamental and anti-fundamental representations:
So, the true utility of the formalism outlined above lies in the character computation of other representations of a given group. Below, a few more examples of character computation for irreducible representations of SU(2) have been elucidated.
-
The Quadruplet Representation:
We obtain \(\mathbf {\lambda }\) = (3, 0) and \(\mathbf {r} = \mathbf {\lambda }+\mathbf {\rho } = (4,0)\) and the character is obtained as:
(34) -
The Quintuplet Representation:
We obtain \(\mathbf {\lambda }\) = (4, 0) and \(\mathbf {r} = \mathbf {\lambda }+\mathbf {\rho } = (5,0)\) and the character is obtained as:
(35)
\(\fbox {SU(3)}\)
Haar measure
Using Eq. (23), we can obtain for SU(3), \(\varepsilon _1 = z_1\), \(\varepsilon _2\) = \(z_1^{-1}z_2\) and \(\varepsilon _3\) = \(z_2^{-1}\). The Vandermonde determinant for this case is:
\(\varDelta (\varepsilon ^{-1})\) is obtained by replacing \(\varepsilon _i\) by \(\varepsilon _i^{-1}\) in the above expression. Then using Eq. (27),
Characters
-
The Fundamental Representation:
Using Eq. (25), we get \(\mathbf {\lambda }\) = (1, 0, 0). Now, since \(\mathbf {\rho }\) = (2, 1, 0) therefore, \(\mathbf {r} = \mathbf {\lambda }+\mathbf {\rho } = (3,1,0)\) and the character is obtained as:
(38) -
The Anti-fundamental Representation:
We obtain \(\mathbf {\lambda }\) = (1, 1, 0) and \(\mathbf {r} = \mathbf {\lambda }+\mathbf {\rho } = (3,2,0)\) and the character is obtained as:
(39) -
The Adjoint Representation:
We obtain \(\mathbf {\lambda }\) = (2, 1, 0) and \(\mathbf {r} = \mathbf {\lambda }+\mathbf {\rho } = (4,2,0)\) and the character is obtained as:
(40) -
The Sextet Representation:
We obtain \(\mathbf {\lambda }\) = (2, 0, 0) and \(\mathbf {r} = \mathbf {\lambda }+\mathbf {\rho } = (4,1,0)\) and the character is obtained as:
(41) -
The 27-dimensional Representation:
We obtain \(\mathbf {\lambda }\) = (4, 2, 0) and \(\mathbf {r} = \mathbf {\lambda }+\mathbf {\rho } = (6,3,0)\) and the character is obtained as:
(42)
\(\fbox {SU(4)}\)
Haar measure
Using Eq. (23), we can obtain for SU(4), \(\varepsilon _1 = z_1\), \(\varepsilon _2\) = \(z_1^{-1}z_2\), \(\varepsilon _3\) = \(z_2^{-1}z_3\) and \(\varepsilon _4 = z_3^{-1}\). The Vandermonde determinant for this case is:
\(\varDelta (\varepsilon ^{-1})\) is obtained by replacing \(\varepsilon _i\) by \(\varepsilon _i^{-1}\) in the above expression. Then using Eq. (27),
Characters
-
The Fundamental Representation:
Using Eq. (25), we get \(\mathbf {\lambda }\) = (1, 0, 0, 0). Now, since \(\mathbf {\rho }\) = (3, 2, 1, 0) therefore, \(\mathbf {r} = \mathbf {\lambda }+\mathbf {\rho } = (4,2,1,0)\) and the character is obtained as:
(45) -
The Anti-fundamental Representation:
We get \(\mathbf {\lambda }\) = (1, 1, 1, 0) and \(\mathbf {r} = \mathbf {\lambda }+\mathbf {\rho } = (4,3,2,0)\) and the character is obtained as:
(46) -
The Decuplet Representation:
We get \(\mathbf {\lambda }\) = (2, 0, 0, 0) and \( \mathbf {r} = \mathbf {\lambda }+\mathbf {\rho } = (5,2,1,0)\) and the character is obtained as:
(47) -
The Anti-decuplet Representation:
We get \(\mathbf {\lambda }\) = (2, 2, 2, 0) and \(\mathbf {r} = \mathbf {\lambda }+\mathbf {\rho } = (5,4,3,0)\) and the character is obtained as:
(48) -
The Adjoint Representation:
We get \(\mathbf {\lambda }\) = (2, 1, 1, 0) and \(\mathbf {r} = \mathbf {\lambda }+\mathbf {\rho } = (5,3,2,0)\) and the character is obtained as:
(49)
2.2 \(2.~SO(2N+1)\)
Characters
The Weyl character formula for \(SO(2N+1)\) representations [35, 37,38,39] can be written as:
where \(M(\varepsilon )\) = diag\((\varepsilon _1,\varepsilon _2,\ldots ,\varepsilon _N)\) identifies a particular representation of \(SO(2N+1)\) and the \(r_i\)’s are obtained from the Dynkin labels of a particular representation. The \(\varepsilon _i\)’s can again be obtained by inspecting the matrix form of the maximal torus of \(SO(2N+1)\) [40]:
Each \(2\times 2\) block can be written in diagonal form as: \(\begin{pmatrix} \cos \,\theta _i \ \ -\sin \,\theta _i\\ \sin \,\theta _i \ \ \cos \,\theta _i \end{pmatrix} \rightarrow \begin{pmatrix} e^{i\theta _i} \ \ 0\\ 0 \ \ e^{-i\theta _i} \end{pmatrix}\). Then, by defining \(\varepsilon _i = e^{i\theta _i}\), we find \((2N+1)\) parameters \(\{\varepsilon _i, \varepsilon _i{}^{-1}, 1\}\) where \(i=1,2,\dots N\). The numerator of Eq. (50) can be recast as:
where the denominator is expressed as:
Calculating the \({{\varvec{r}}}_{{\varvec{i}}}\)’s
The Cartan matrix corresponding to \(SO(2N+1)\) is an \(N\times N\) matrix
To find the \(r_i\)’s, the weight tree [41] corresponding to the LDF representation of \(SO(2N+1)\) needs to be constructed first. This can be done by successively subtracting the rows of the Cartan matrix (\({\mathscr {A}}_{SO(2N+1)}\)), given in Eq. (54), from the respective Dynkin label \(\left( 1,0,\ldots ,0\right) \). The general structure of the weight tree is given as:
A particular representation of \(SO(2N+1)\) can be uniquely identified by its Dynkin label \((a_1,a_2,\ldots ,a_{N})\). To find the \(r_i\)’s, first, we solve the following equation in terms of the Dynkin label and the fundamental weight tree of LDF representation to obtain \(\lambda _i\)’s:
Here, we have N-unknowns in \(\{ \lambda _1,\lambda _2,\ldots ,\lambda _N \}\) and there are N-equations in \(\{ a_1,a_2,\ldots ,a_{N} \}\) as:
Thus, we find unique solutions of \(\lambda _i\)’s as:
The \(r_i\)’s are related to the \(\lambda _i\)’s through the following equation:
Having obtained \(r_i\)’s, we can compute the numerator given in Eq. (52) and subsequently the full character.
Haar measure
The general form of the Haar measure can be written as [8, 16, 42]:
\(\varDelta \left( \varepsilon \right) \) is given in Eq. (53), \(\varDelta (\varepsilon ^{-1})\) can similarly be computed by substituting \(\varepsilon ^{-1}_i\) in the place of \(\varepsilon _i\) in the expression of \(\varDelta \left( \varepsilon \right) \). Finally, substituting for known quantities in Eq. (59) we can obtain the Haar measure for given group.
Next, the characters for certain representations [43, 44] of SO(7) and SO(9) have been computed and the explicit computation of the respective Haar measures of these groups have also been shown.
\(\fbox {SO(7)}\)
Haar measure
The denominator for the character formula in this case is:
\(\varDelta (\varepsilon ^{-1})\) is obtained by replacing \(\varepsilon _i\) by \(\varepsilon _i^{-1}\) in the above expression. Then using Eq. (59),
Characters
-
The Fundamental Representation: \(7 \equiv (1,0,0)\)
Using Eq. (57), we get \(\mathbf {\lambda }\) = (1, 0, 0). Now, since \(\mathbf {\rho }\) = \((\frac{5}{2},\frac{3}{2},\frac{1}{2})\), therefore, \(\mathbf {r} = \mathbf {\lambda }+\mathbf {\rho } = (\frac{7}{2},\frac{3}{2},\frac{1}{2})\) and the character is obtained as:
(62) -
The Spinor Representation: \(8 \equiv (0,0,1)\)
We obtain \(\mathbf {\lambda }\) = \((\frac{1}{2},\frac{1}{2},\frac{1}{2})\) and \(\mathbf {r} = \mathbf {\lambda }+\mathbf {\rho } = (3,2,1)\) and the character is obtained as:
(63) -
The Adjoint Representation: \(21 \equiv (0,1,0)\)
We obtain \(\mathbf {\lambda }\) = (1, 1, 0) and \(\mathbf {r} = \mathbf {\lambda }+\mathbf {\rho } = (\frac{7}{2},\frac{5}{2},\frac{1}{2})\) and the character is obtained as:
(64)
\(\fbox {SO(9)}\)
Haar measure
The denominator for the character formula in this case is:
\(\varDelta (\varepsilon ^{-1})\) is obtained by replacing \(\varepsilon _i\) by \(\varepsilon _i^{-1}\) in the above expression. Then using Eq. (59),
Characters
-
The Fundamental Representation: \(9 \equiv (1,0,0,0)\)
Using Eq. (57), we get \(\mathbf {\lambda }\) = (1, 0, 0, 0). Now, since \(\mathbf {\rho }\) = \((\frac{7}{2},\frac{5}{2},\frac{3}{2},\frac{1}{2})\), therefore, \(\mathbf {r} = \mathbf {\lambda }+\mathbf {\rho } = (\frac{9}{2},\frac{5}{2},\frac{3}{2},\frac{1}{2})\) and the character is obtained as:
(67) -
The Spinor Representation: \(16 \equiv (0,0,0,1)\)
With \(\mathbf {\lambda }\) = \((\frac{1}{2},\frac{1}{2},\frac{1}{2},\frac{1}{2})\) and \(\mathbf {r} = \mathbf {\lambda }+\mathbf {\rho }\) = (4, 3, 2, 1), the character is obtained as:
(68) -
The Adjoint Representation: \(36 \equiv (0,1,0,0)\)
With \(\mathbf {\lambda }\) = (1, 1, 0, 0) and \(\mathbf {r} = \mathbf {\lambda }+\mathbf {\rho }\) = \((\frac{9}{2},\frac{7}{2},\frac{3}{2},\frac{1}{2})\), the character is obtained as:
(69)
2.3 3. SO(2N)
Characters
The character computation of a particular representation for SO(2N) needs special attention as it possesses the notion of simple and double characters. First, we compute two character functions [35, 37, 38]
For \(\lambda _{N}=0\), the simple character is given as:
Otherwise, if \(\lambda _{N}\ne 0\), the simple character computation is redefined as:
Here \(M(\varepsilon )\) = diag\((\varepsilon _1,\varepsilon _2,\ldots ,\varepsilon _N)\) identifies a particular representation of SO(2N). The \(r_i\)’s can be obtained from the Dynkin labels of the representation while the \(\varepsilon _a\)’s can be obtained by examining the matrix form of the maximal torus of SO(2N) [40] given below:
Each \(2\times 2\) block can be written in diagonal form as: \(\begin{pmatrix} \cos \,\theta _i \ \ -\sin \,\theta _i\\ \sin \,\theta _i \ \ \cos \,\theta _i \end{pmatrix} \rightarrow \begin{pmatrix} e^{i\theta _i} \ \ 0\\ 0 \ \ e^{-i\theta _i} \end{pmatrix}\). Then, by defining \(\varepsilon _i = e^{i\theta _i}\) we get 2N parameters \(\{\varepsilon _i, \varepsilon _i{}^{-1}\}\) where \(i=1,2,\cdots N\). The respective numerators on the RHS of Eq. (70) can be explicitly written as:
while the denominator is
Calculating the \({{\varvec{r}}}_{{\varvec{i}}}\)’s
Cartan matrix for SO(2N) group is an \(N\times N\) matrix
Once again our first step in calculating the \(r_i\)’s is the construction of the weight tree [41] corresponding to the LDF representation of SO(2N). We start with the Dynkin label \(\left( 1,0,..,0\right) \) and successively subtract rows of the Cartan matrix shown in Eq. (76). The weight tree can be expressed as:
A particular representation of SO(2N) is uniquely identified by its Dynkin label \((a_1,\dots ,a_{N})\). The elements of Dynkin label \(a_i\)’s can be written in terms of the fundamental weight tree of LDF representation and the \(\lambda _i\)’s as:
The above equation can be solved to find the \(\lambda _i\)’s uniquely through following steps
which are inverted as:
The \(r_i\)’s are related to the \(\lambda _i\)’s through the following equation:
Once \(r_i\)’s are noted down, we can compute the numerator using Eq. (74) and subsequently the full character.
Haar measure
The Haar measure for SO(2N) group can be written as [8, 16, 42]:
\(\varDelta \left( \varepsilon \right) \) is the denominator given in Eq. (75), \(\varDelta (\varepsilon ^{-1})\) can similarly be computed by substituting \(\varepsilon ^{-1}_i\) in the place of \(\varepsilon _i\) in the expression of \(\varDelta \left( \varepsilon \right) \). Finally, substituting them in Eq. (81) we can obtain the Haar measure.
As examples, the characters for a few representations [43, 44] of SO(8) and the Haar measure are explicitly computed.
\(\fbox {SO(8)}\)
Haar measure
The denominator for the character formula in this case is:
\(\varDelta (\varepsilon ^{-1})\) is obtained by replacing \(\varepsilon _i\) by \(\varepsilon _i^{-1}\) in the above expression. Then using Eq. (81),
Characters
-
The Fundamental Representation: \(8_v \equiv (1,0,0,0)\)
Using Eq. (79), we get \(\mathbf {\lambda }\) = (1, 0, 0, 0). Now, since \(\mathbf {\rho }\) = (3, 2, 1, 0), therefore, \(\mathbf {r} = \mathbf {\lambda }+\mathbf {\rho } = (4,2,1,0)\) and using Eq. (71) the character is obtained as:
(84) -
The Spinor Representation: \(8_s \equiv (0,0,0,1)\)
We obtain \(\mathbf {\lambda }\) = \((\frac{1}{2},\frac{1}{2},\frac{1}{2},\frac{1}{2})\) and \(\mathbf {r} = \mathbf {\lambda }+\mathbf {\rho } = (\frac{7}{2},\frac{5}{2},\frac{3}{2},\frac{1}{2})\) and using Eq. (70) we get:
Using Eq. (72) the character of this representation can be given as:
$$\begin{aligned}&\chi _{(SO(8))_{8_s}} (\varepsilon _1,\varepsilon _2,\varepsilon _3,\varepsilon _4)\nonumber \\&\quad = \frac{1}{2} ({\mathscr {C}}_{(SO(8))_{8_s}} (\varepsilon _1,\varepsilon _2,\varepsilon _3,\varepsilon _4)+{\mathscr {S}}_{(SO(8))_{8_s}} (\varepsilon _1,\varepsilon _2,\varepsilon _3,\varepsilon _4)) \nonumber \\&\quad = \sqrt{\varepsilon _{1} \varepsilon _{2} \varepsilon _{3}\varepsilon _{4}} +\sqrt{\frac{\varepsilon _{1}\varepsilon _{2}}{\varepsilon _{3} \varepsilon _{4}}} +\sqrt{\frac{\varepsilon _{1}\varepsilon _{4}}{\varepsilon _{3} \varepsilon _{2}}} +\sqrt{\frac{\varepsilon _{1}\varepsilon _{3}}{\varepsilon _{2} \varepsilon _{4}}} +\sqrt{\frac{\varepsilon _{3}\varepsilon _{4}}{\varepsilon _{1} \varepsilon _{2}}}\nonumber \\&\quad +\sqrt{\frac{\varepsilon _{2}\varepsilon _{3}}{\varepsilon _{1} \varepsilon _{4}}} +\sqrt{\frac{\varepsilon _{2}\varepsilon _{4}}{\varepsilon _{1} \varepsilon _{3}}} +\frac{1}{\sqrt{\varepsilon _{1} \varepsilon _{2} \varepsilon _{3} \varepsilon _{4}}}. \end{aligned}$$(85) -
The Conjugate Spinor Representation: \(8_c \equiv (0,0,1,0)\)
We get \(\mathbf {\lambda }\) = \((\frac{1}{2},\frac{1}{2},\frac{1}{2},-\frac{1}{2})\) and \(\mathbf {r} = \mathbf {\lambda }+\mathbf {\rho } = (\frac{7}{2},\frac{5}{2},\frac{3}{2},-\frac{1}{2})\) and using Eq. (70) we get:
Using Eq. (72) the character of this representation can be given as:
$$\begin{aligned}&\chi _{(SO(8))_{8_c}} (\varepsilon _1,\varepsilon _2,\varepsilon _3,\varepsilon _4)\nonumber \\&\quad = \frac{1}{2}({\mathscr {C}}_{(SO(8))_{8_c}} (\varepsilon _1,\varepsilon _2,\varepsilon _3,\varepsilon _4) +{\mathscr {S}}_{(SO(8))_{8_c}} (\varepsilon _1,\varepsilon _2,\varepsilon _3,\varepsilon _4)) \nonumber \\&\quad = \sqrt{\frac{\varepsilon _{1}}{\varepsilon _{2} \varepsilon _{3} \varepsilon _{4}}} +\sqrt{\frac{\varepsilon _{2}}{\varepsilon _{1} \varepsilon _{3} \varepsilon _{4}}} +\sqrt{\frac{\varepsilon _{3}}{\varepsilon _{1} \varepsilon _{2} \varepsilon _{4}}} +\sqrt{\frac{\varepsilon _{4}}{\varepsilon _{1} \varepsilon _{2} \varepsilon _{3}}}\nonumber \\&\quad +\sqrt{\frac{\varepsilon _{2} \varepsilon _{3} \varepsilon _{4}}{\varepsilon _{1}}} +\sqrt{\frac{\varepsilon _{1} \varepsilon _{3} \varepsilon _{4}}{\varepsilon _{2}}} +\sqrt{\frac{\varepsilon _{1} \varepsilon _{2} \varepsilon _{4}}{\varepsilon _{3}}} +\sqrt{\frac{\varepsilon _{1} \varepsilon _{2} \varepsilon _{3}}{\varepsilon _{4}}}. \end{aligned}$$(86) -
The Adjoint Representation: \(28 \equiv (0,1,0,0)\)
We obtain \(\mathbf {\lambda }\) = (1, 1, 0, 0) and \(\mathbf {r} = \mathbf {\lambda }+\mathbf {\rho }\) = (4, 3, 1, 0) and using Eq. (71) we get:
(87)
2.4 4. Sp(2N)
Characters
The Weyl character formula for Sp(2N) group is given as [35, 37,38,39]:
where \(M(\varepsilon )\) = diag\((\varepsilon _1,\varepsilon _2,\ldots ,\varepsilon _N)\) represents a specific representation of Sp(2N). The \(\varepsilon _a\)’s are determined using the matrix form of the maximal torus of Sp(2N) [40]. The simple parametrization \(\varepsilon _{i} = e^{i\theta _i}\) yields the variables used in the definition of the character.
The numerator of Eq. (88) can be expressed as:
and the denominator is given as follows:
Calculating the \({{\varvec{r}}}_{{\varvec{i}}}\)’s
The Cartan matrix for Sp(2N) group is given as:
Starting from the Dynkin label for the LDF representation of Sp(2N) \(\left( 1,0,\ldots ,0\right) \) and successively subtracting the rows of the Cartan matrix, see Eq. (92), the corresponding weight tree [41] is computed as:
Similar to the earlier cases, a particular representation of Sp(2N) is uniquely identified by its Dynkin label \((a_1,a_2,\ldots ,a_{N})\). Following the same trajectory, we can rewrite the \(\lambda _i\)’s in terms of the \(a_j\)’s using the weight tree of LDF. The successive paths adopted in this construction are as follows:
Each entry of the Dynkin label can be recast as:
Then we can find unique \(\lambda _i\)’s in the following form
The \(r_i\)’s are related to the \(\lambda _i\)’s through the following equation:
After computing the \(r_i\)’s, we can further simplify the numerator using Eq. (90) and compute the full character.
Haar measure
Here, the Haar measure can be written as [8, 16, 42]:
\(\varDelta \left( \varepsilon \right) \) is the denominator given in Eq. (91), \(\varDelta (\varepsilon ^{-1})\) can similarly be computed by substituting \(\varepsilon ^{-1}_i\) in the place of \(\varepsilon _i\) in the expression of \(\varDelta \left( \varepsilon \right) \). Then using these information we obtain the Haar measure for Sp(2N) group.
Here, the characters for certain representations [43, 44] and the Haar measures correspond to Sp(4) and Sp(6) groups have been computed in detail.
\(\fbox {Sp(4)}\)
Haar measure
The denominator for the character formula in this case is:
\(\varDelta (\varepsilon ^{-1})\) is obtained by replacing \(\varepsilon _i\) by \(\varepsilon _i^{-1}\) in the above expression. Then using Eq. (97),
Characters
-
The Fundamental Representation: \(4 \equiv (1,0)\)
Using Eq. (95), we get \(\mathbf {\lambda }\) = (1, 0). Now, since \(\mathbf {\rho }\) = (2, 1) therefore, \(\mathbf {r} = \mathbf {\lambda }+\mathbf {\rho } = (3,1)\) and the character is obtained as:
(100) -
The Quintuplet Representation: \(5 \equiv (0,1)\)
We obtain \(\mathbf {\lambda }\) = (1, 1) and \(\mathbf {r} = \mathbf {\lambda }+\mathbf {\rho } = (3,2)\) and the character is obtained as:
(101) -
The Adjoint Representation: \(10 \equiv (2,0)\)
We obtain \(\mathbf {\lambda }\) = (2, 0) and \(\mathbf {r} = \mathbf {\lambda }+\mathbf {\rho }\) = (4, 1) and the character is obtained as:
(102)
\(\fbox {Sp(6)}\)
Haar measure
The denominator for the character formula in this case is:
\(\varDelta (\varepsilon ^{-1})\) is obtained by replacing \(\varepsilon _i\) by \(\varepsilon _i^{-1}\) in the above expression. Then using Eq. (97),
Characters
-
The Fundamental Representation: \(6 \equiv (1,0,0)\)
Using Eq. (95), we get \(\mathbf {\lambda }\) = (1, 0, 0). Now, since \(\mathbf {\rho }\) = (3, 2, 1) therefore, \(\mathbf {r} = \mathbf {\lambda }+\mathbf {\rho } = (4,2,1)\) and the character is obtained as:
(105) -
The 14-dimensional Representation: \(14 \equiv (0,1,0)\)
We obtain \(\mathbf {\lambda }\) = (1, 1, 0) and \(\mathbf {r} = \mathbf {\lambda }+\mathbf {\rho }\) = (4, 3, 1) and the character is obtained as:
(106) -
The Adjoint Representation: \(21 \equiv (2,0,0)\)
We obtain \(\mathbf {\lambda }\) = (2, 0, 0) and \(\mathbf {r} = \mathbf {\lambda }+\mathbf {\rho }\) = (5, 2, 1) and the character is obtained as:
(107)
2.5 The curious case of the non-compact Lorentz group
The quantum fields under consideration are dynamical in nature. Thus to perform a gauge invariant operator construction we need to include the covariant derivative \({\mathscr {D}}_{\mu }\) in a consistent way. We have devoted this section to address that. We know that \({\mathscr {D}}_{\mu }\) transforms trivially under the internal symmetry groups while it has a non-trivial transformation property under the space-time transformations. Again, unlike the quantum fields we can not simply treat it as another degree of freedom because such an inclusion can introduce redundancies within the operator sets by virtue of integration by parts (IBP) and equation of motion of fields (EOM). It has been discussed in [6, 9, 45] how some of the effective operator structures can be removed in favor of others by paying close attention to IBP and EOM. Thus the incorporation of \({\mathscr {D}}_{\mu }\) is a highly involved task. The quantum fields carrying non-zero spins of any model as well as \({\mathscr {D}}_{\mu }\) transform non-trivially under the Lorentz group, i.e., the group of space-time transformations in \(3+1\) dimensions. For the sake of the computation, we prefer to work with finite dimensional unitary representations. Thus, instead of working with non-compact Lorentz group SO(3, 1) we choose to work with the Euclidean conformal group \(SO(4,{\mathbb {C}})\). It has been noted that in case of dimensions \(d = p + q \ge 3\) dimensions, the conformal group is \(SO(p + 1, q + 1)\). Thus for \(d=3+1\) dimensions, the conformal group is SO(4, 2). While writing \(SO(3,1)\cong SO(4,{\mathbb {C}})\) we recognize the fact that the presence of 2 extra dimensions increases the rank by one unit and this manifests itself as the scaling dimension (\(\varDelta _{\varphi }\)) of the representation. We recall, here, that the Lorentz group is non-compact and its unitary representations are infinite dimensional. Therefore, we will realize \(SO(4,{\mathbb {C}})\) as \(SU(2)\times SU(2)\) or more appropriately \(SU(2)_l\times SU(2)_r\). In addition to that we will be working in the Weyl (chiral) basis instead of the Dirac basis for the spinors. The similar treatment is extended to the field strength tensors where instead of \(F_{\mu \nu }\) and \({\tilde{F}}_{\mu \nu }\), we will work with Fl and Fr:
which transform under the (1, 0) and (0, 1) representations of \(SU(2)_l\times SU(2)_r\) respectively. Here, \(\sigma ^{\mu } = ({\mathbb {I}}, \sigma ^{i})\) and \({\overline{\sigma }}^{\mu } = ({\mathbb {I}}, -\sigma ^{i})\) with \(\sigma ^{i}\) (\(i=1,2,3\) ) being the Pauli matrices and \({\mathbb {I}}\) is the \(2\times 2\) unit matrix. Also, \(\varepsilon \) is the fully antisymmetric rank-two tensor.
The next step is the identification of our physical fields, i.e., scalars, spinors and vectors as Unitary Irreducible Representations (UIRs) of the conformal group. These representations can be categorized into long and short representations based on whether they satisfy certain unitarity bounds defined by the scaling dimension and the highest weight of the representation [8,9,10, 46,47,48,49,50,51,52,53]. Once a representation is identified as either long or short, the next step is to express the \(SO(4,{\mathbb {C}})\) characters as a linear combination of \(SU(2)\times SU(2)\) characters. The detailed procedure, as well as the precise meaning of each term, is given in [8, 47, 48, 53]. Instead of repeating the detailed computations, we have provided the characters relevant for our analysis involving fields of spins-0, -1/2, and -1:
where the subscripts on the LHS \([\varDelta _{\varphi },(j_1,j_2)]\) contain information about the scaling dimension (\(\varDelta _{\varphi }\)) and the representation under \(SU(2)\times SU(2)\) as \((j_1, j_2)\). \(P^{(4)}({\mathscr {D}}, \alpha , \beta )\) is the momentum generating function which can be written as [8, 9, 48]:
The removal of redundancies in this construction due to the EOM and IBP are discussed in Refs. [8, 9] in great detail. Next, the PE in Eq. (11) also gets modified as [9]:
for bosons and fermions respectively.
Haar measure for the Lorentz group
Since the Lorentz group is non-compact the Haar measure is not defined for it. So, to enable the group space integration we transform Minkowskian SO(3, 1) to the Euclidean \(SO(4,{\mathbb {C}})\) which is further decomposed into \(SU(2)\times SU(2)\). Based on the knowledge of the Haar measure for SU(2) Eq. (29) the Haar measure for the Lorentz group is depicted as:
The incorporation of the derivative operators and consequently the Lorentz group modifies the Hilbert Series in Eq. (10) to the following form [8,9,10]:
where, \({\mathscr {D}}\) is the spurion variable symbolizing the covariant derivative operator.
3 Invariant polynomial: paving the path to Lagrangian
3.1 Two Higgs doublet model (2HDM)
The Two Higgs Doublet Model (2HDM) is a minimal extension of the Standard Model (SM) content through an additional SU(2) complex doublet scalar [54,55,56,57,58,59,60,61,62,63,64]. Here, we have considered a generic 2HDM scenario without imposing any \({\mathbb {Z}}_2\) symmetry. We start the discussion by first giving the full field content and their transformation properties under the gauge group \(SU(3)_C\otimes SU(2)_L\otimes U(1)_Y\) and the Lorentz group in Table 2. Based on this information our aim is to construct the invariant polynomial, i.e., the Lagrangian for 2HDM.
Gauge group characters and Haar measure
The first step is to compute the characters corresponding to each field as well as its conjugate. The characters of the relevant representations of SU(3), i.e., the 1, 3 and 8-dimensional representations and SU(2), i.e., the 1, 2 and 3-dimensional representations have been computed in Sect. 2.1. Also, the U(1) characters can be obtained using Eq. (13). Multiplying together the characters of representations under different groups one can obtain the total gauge group character for a field. One must also note that the Haar measures of these groups, which are important to carry out integration over the group space have been computed in Eqs. (14), (29) and (37).
Lorentz characters and Haar measure
Now, 2HDM contains only particles with spins-0, -1/2, and -1 particles. So, the relevant Lorentz characters are the ones given in Eq. (109). Multiplying together the gauge group characters and Lorentz characters we obtain the total character of each field.
Argument of the plethystic exponential
Having obtained the total character, the next step is to construct the Plethystic Exponential. The argument of the Plethystic Exponential is an infinite sum whose general term is the total character of a particular field weighted by a spurion denoting the field name. The variables parametrizing the characters as well as the spurion are raised to the power r, where r runs from 1 to \(\infty \). Below we have enlisted the contributions to the argument of the Plethystic Exponential corresponding to each field,
Having thus constructed the Plethystic Exponential and with the knowledge of the momentum generating function Eq. (110) and Haar measures of the gauge groups and the Lorentz group, we can compute the Hilbert Series using Eq. (114). From the full Hilbert Series we have filtered out the output based on the mass dimension of the fields and suitably categorized them. For operators up to mass dimension-4, we have provided the proper scheme to translate them into a covariant form in Table 3 because the Hilbert Series construction is oblivious to parameters such as coupling constants as well as to the presence of invariant tensors such as \(\gamma ^{\mu }, \sigma _{\mu \nu }\) in the Lagrangian.
In Table 4 we have presented both the Hilbert Series output and the covariant form of operators up to mass dimension-4 for general \(N_f\) (number of fermion flavours), side by side and we have categorized the operators based on whether they are constituted of purely SM fields, purely BSM fields, i.e., operators containing only the second doublet scalar or a mixture of the two. We have also catalogued higher dimensional effective operators up to dimension-6 in Table 5 and categorized the operators based on their composition in terms of scalars (\(\phi \)), fermions (\(\psi \)) and the field strength tensor of gauge bosons (X). Note, the covariant form of these operators (for \(N_f=1\)) were discussed in great detail in [45]. So, we do not repeat the same here.
3.2 The Pati-Salam model
The Pati-Salam model can be thought of as a partially unified scenario where \(SU(3)_C\) and \(U(1)_{B-L}\) are embedded to form \(SU(4)_C\). This leads to quark-lepton unification and the lepton is considered to be the fourth color [65,66,67]. The underlying gauge symmetry is \(SU(4)_C\otimes SU(2)_L\otimes SU(2)_R\). The Pati-Salam model also has a rich scalar structure to facilitate symmetry breaking. We consider the most general form of Pati-Salam [68] where scalar fields transform as (1, 1, 1), (1, 2, 2), (15, 2, 2), (10, 3, 1) and (10, 1, 3). On top of that, a global Pecci-Quinn \(U(1)_{PQ}\) symmetry is imposed. The field content and their transformation properties under the gauge groups and the Lorentz group, as well as their \(U(1)_{PQ}\) charges, are provided in Table 6. The necessary information related to characters and Haar measures has already been discussed in earlier sections. Based on that we have computed the Hilbert Series. It must be kept in mind that since the model consists of two distinct SU(2)s, their characters must be parametrized using distinct variables. Unlike 2HDM, for this particular case, we have limited ourselves up to dimension-5 operators. Due to the rich scalar structure, we have emphasized the scalar potential and Yukawa terms by explicitly giving their covariant forms in Tables 7 and 8. The dimension-5 result is collected in Table 9. On comparing with [68], we have found some discrepancies. We observe that the operator structure is absent in [68], whereas the Hilbert Series output contains operators having this structure as well as their hermitian conjugates. We have shown the explicit forms of those operators in Table 8. We also observe an under-counting w.r.t. the operator structure , while [68] contains only 1 such operator (and its hermitian conjugate), Hilbert Series output contains such operators (and their hermitian conjugates).
4 Bridging the theory and the program
In the previous sections we have delineated the mathematical ideas in an algorithmic way and we have shown how they can be used to write down the Lagrangian as a polynomial constituted of quantum fields. We have accentuated the procedure through an in-depth study of two distinct non-supersymmetric models. The same guiding principles can be employed to construct group invariant polynomials of superfields. Based on these ideas and to automatize the process a \(\text {\texttt {Mathematica}}^{\tiny \textregistered }\) package has been developed named “GrIP”. This program asks for minimal information from the user about the model. One needs to provide only the particle content and their transformation properties under connected compact internal symmetry groups and the Lorentz group to generate the a complete and independent set of operators at any (canonical)mass dimension. The remaining sections depict the anatomy of GrIP and illustrate its utility in the context of supersymmetric as well as non-supersymmetric model building.
5 GrIP: automatizing invariant polynomial computation
GrIP is a Mathematica\({}^{\tiny \textregistered }\)Footnote 4 based scientific package that automatizes the computation of group invariant polynomials following the algorithm sketched in Fig. 6.
5.1 Introducing GrIP
The complete package can be downloaded from https://TeamGrIP.github.io/GrIP/ in .zip as well as .tar.gz formats. The downloaded file contains :
-
1.
‘GrIP.m’ \(\rightarrow \) This is the main program where all the relevant functions have been defined, which enables the user to carry out all of the computations.
-
2.
‘GrpInfo.m’ \(\rightarrow \) This file contains information about dimensions of the representations of various SU(N) groups with \(N\le 5\) and their corresponding Dynkin labels.
-
3.
‘MODEL’ \(\rightarrow \) This folder contains examples for model input files. Two model files are provided one in terms of the Dynkin label (_Dyn is appended at the end) another in terms of the representation (_Rep is appended at the end), for each of the following scenarios.Footnote 5
-
(a)
SM and its Extensions: Standard Model and its extension by the other lighter degrees of freedoms: Singly Charged Scalar; Doubly Charged Scalar; Complex Triplet Scalar; SU(2) Quadruplet Scalar; SU(2) Quintuplet Scalar; Left-Handed Triplet Fermion; Right-Handed Singlet Fermion; Scalar Lepto-Quarks; SU(2) Doublet Scalar (with different hypercharge); Real Triplet Scalar; Color Triplet Scalars and Sterile Neutrino; SU(2) Triplet and Quadruplet Fermions,
-
(b)
Supersymmetric scenarios: MSSM, NMSSM, Supersymmetric Pati-Salam, Minimal Supersymmetric Left-Right models.
-
(c)
UV models: Two Higgs doublet, Minimal Left-Right Symmetric, Pati-Salam, and SU(5) Grand Unified models.
-
(d)
Models below electroweak scale: \(SU(3)_C\otimes U(1)_{em}\) and its extension by additional: Scalar Dark Matter; Vector-like Fermion Dark Matter.
-
(a)
-
4.
‘Example_SM.nb’, ‘Example_MSSM.nb’ \(\rightarrow \) Two \({\texttt {Mathematica}}^{\tiny \textregistered }\) Notebook files, for non-supersymmetric and supersymmetric input models are provided. The results there are generated using “SM_Rep.m” and “MSSM_Rep.m” input files from the ‘MODEL’ folder respectively.
-
5.
‘CHaar.m’ \(\rightarrow \) This sub-program calculates character for a particular representation and Haar measure for a given connected compact group when the corresponding Dynkin label is provided. This program can be used without preparing any input file.
-
6.
‘Example_CHaar.nb’ \(\rightarrow \) A \({\texttt {Mathematica}}^{\tiny \textregistered }\) Notebook file that contains illustrative examples showing how the functions of CHaar work.
5.2 User input: model description
The user is required to prepare an input file to feed information into the main program. This file should contain information about the symmetry groups, particles and their representations and(or) charges under the given symmetries. The conjugate fields need not to be mentioned separately in the input file. For a given field, the respective conjugate will be created by the program.
There are four main classes within the input file:
5.2.1 Model name
There is a provision to save the results in a folder for each input model file. The user must provide a suitable name for the model as a string as shown below:
5.2.2 Group class
The user must provide information about the gauge and(or) global symmetry groups within the "SymmetryGroupClass". These groups must be connected and compact, but can represent global or gauge symmetries. The user needs to provide the name of the groups in the following format, i.e., one should write "SUN" for SU(N) and "U1" for U(1) groups. So far this program can handle symmetries of the form of U(1) and SU(N). A point to be noted is that for multiple occurrence of the same group one must give different names as shown in Table 10.
5.2.3 (Super)field class
(Super)Field content of the model should be given in this class. Within this class following information must be provided:
\(\mathtt {\{<"FieldName">,<"Self-Conjugate">,} \mathtt {<"Lorentz Behaviour">,<"Chirality">,} \mathtt {<"Baryon Number">,<"Lepton Number">,} \mathtt { <"G1Rep/G1Dyn">, \cdots \}}\). If there are multiple symmetry groups, then the quantum numbers or representations of a particle under each group must be provided in the same order in which the groups are mentioned in the "SymmetryGroupClass". If the model does not contain any (Super)Field, the user should leave this part empty. The possible values of these attributes are described in Table 11.
The characteristics of the particle (or superfield) under group "G1" can be incorporated in two ways:
either "G1Rep"\({\mathtt {-> "<}}\) dimension of the representation under Group[1]\({\mathtt {>",}}\)
or "G1Dyn"\({\mathtt {-> "<}}\) Dynkin label of the representation under Group[1]\({\mathtt {>".}}\)
The "(Super)FieldClass" when representations are provided in terms of dimension is:
The "(Super)FieldClass" when representations are provided in terms of Dynkin label is:
5.2.4 (Super)field strength tensor class
A gauge invariant Lagrangian does not explicitly contain the gauge fields, instead, it contains the corresponding field strength tensors. In the "(Super)FieldTensorClass" the user must provide the information about these (super)field strength tensors. In absence of any gauge symmetry, this part should be left empty. We must emphasize that within the "SymmetryGroupClass" all the symmetry groups, irrespective of gauge or global symmetries, must be enlisted. But field strength tensors correspond to only the gauge symmetries and not the global symmetries. The user must keep this in mind while framing this sector.
5.3 Running the code
The user must perform the following tasks to run the code successfully:
-
1.
Step-1: The user should prepare a ‘Model’ file, if it is not already inside the ‘MODEL’ folder and keep it inside the ‘MODEL’ folder which already contains many example model input files.
-
2.
Step-2: Then load the model file using "Get[]" function in Mathematica\({}^{\tiny \textregistered }\) by providing proper $Path to access the model file:
-
3.
Step-3: Now one has to install the main program. There are two ways to do that:
-
(a)
If the user keeps ‘GrIP.m’ in a local folder, to load one has to use "Get[]" with proper address of the main program file as shown in Step-2:
-
(b)
If the user keeps it in the ‘Applications’ folder in $UserBaseDirectory, it can be loaded using "Needs[]":
-
(a)
If the program is loaded correctly, a text cell will appear in the Notebook file to notify the user.
5.4 Saving private output
Once the program is loaded, a folder named "Name of the model" will be created in the working directory. All the results generated through specific commands will be saved in this folder in TeXForm.
The output functions available in GrIP can be grouped into the following categories based on their specific purpose. Details on these have also been provided in Tables 12, 13, 14 and 15.
5.4.1 Input verification
The input information provided by the user can be verified using:
We also need the conjugate fields to construct valid Lagrangian. These conjugate fields will be automatically generated internally based on the information entered by the user in the model input file, and the full list of particles can be verified through:
5.4.2 Group theoretic output
The characters of the representations of each field and their respective conjugate fields can be obtained through:
Similarly, the associated Haar measure of the underlying symmetry groups are displayed using:
5.4.3 Hilbert series output: polynomial of fields
This program aims to compute the independent group invariant polynomials that can be expressed as the monomial basis of different mass dimensions. We can further classify the operators for a given mass dimension as a polynomial whose order is determined by specific baryon number and lepton number violation. Here, we have provided two options to get the operators: (i) for a specific mass dimension setting "OnlyMassDimOutput"-> True and (ii) up to a specific mass dimension setting "OnlyMassDimOutput"-> False. One can be more specific while selecting the operator set by probing specific values (#) to "\(\varDelta \)B"-># and "\(\varDelta \)L"->#.
Note that for the case of supersymmetric models we have the following function which serves the same purpose:
One can also look for operators violating baryon number (B) and lepton number (L) by specific amounts using the following command:
The argument "HighestMassDim" sets the upper limit of search process. The function always returns the lowest dimensional operator amounting the required B and L violations if any within the given "HighestMassDim".
If the user wants to obtain a suggestive form of the Lagrangian, it is also possible to collect all the terms of the Hilbert Series polynomial and give them the schematic form of a Lagrangian through suitable incorporation of the dimension full parameters. This can be obtained using the following function:
There is also the provision of storing the output (i.e., the operator set) under a variable to allow for further manipulations for both non-supersymmetric and supersymmetric models. For the non-supersymmetric case, this job is performed using:
Same can be achieved for the supersymmetric case using:
To count the number of terms in any polynomial one can use the function . If the polynomial is composed of chiral and vector superfields then the corresponding task is carried out by :
Given a polynomial in the input fields, one can also impose external global symmetries which were not defined in "SymmetryGroupClass" to sort out specific operators (Table 14). The function enables the user to do that:
5.5 CHaar and its working principle
In addition to GrIP, the package also includes a separate sub-program CHaar which would enable the user to obtain Haar measures and characters for any given irreducible representations of connected compact groups: \(SU(N), SO(2N+1), SO(2N)\) and Sp(2N). Note that unlike GrIP, it does not rely on any input file and it operates independently. The process of loading ‘CHaar.m’ in the Notebook file is the same as what has been followed for ‘GrIP.m’. Again one can use both "Get[]" or "Needs[]" to load the program after setting up the package directory $Path using "SetDirectory[]". If the package is installed in a local folder, ‘CHaar.m’ can be launched in the following manner:
If the package is installed in the ‘Applications’ folder in $UserBaseDirectory one can use "Needs[]" to load the program. In this case, there is no need to set up the $Path of the folder it is installed in.
We illustrate the functions of CHaar and their working principles in Table 16.
Examples of output provided by the functions of CHaar are shown below:
6 GrIPping: ilustrating the action of GrIP
6.1 Operator construction for a non-supersymmetric model using GrIP
This subsection illustrates how GrIP works for a non-supersymmetric model. The input file and the results from GrIP are shown explicitly with the proper functions. The Standard Model (SM) is used as an example.
6.1.1 The fields and their transformation properties
The field content and the transformation properties of those fields under the gauge groups \(SU(3)_C\otimes SU(2)_L\otimes U(1)_Y\) and the Lorentz group are enlisted in Table 17.
6.1.2 The GrIP Input file
The structure of the model input file "SM_Rep.m" is shown in detail below:
Alternate provision: Providing Dynkin labels instead of dimension of the representation.
6.1.3 Possible sources of errors
Here, we have highlighted possible errors one can make while preparing the input file for a new model. The prime focus should be on the keys: "FieldName", "Self-Conjugate", "Lorentz Behaviour", "Chirality", "Baryon Number" and "Lepton Number". Their sequence must be unaltered and none of the keys should be omitted.
The entries within the "SymmetryGroupClass" must be incorporated systematically, respecting the following thumb-rules:
-
The sequence of group information in "SymmetryGroupClass" and "Field[i]" must be the same.
-
The chiral nature of the field strength tensors must be reflected at the end of "FieldName" by appending “l" or “r", e.g.,“Bl" or “Br", see Fig. 7.
-
Different names to the same group must be assigned in case of their repetitive appearance, e.g, two SU(2) groups should be named as “SU2L" and “SU2R" to distinguish them from each other.
-
The transformation property under a particular group must be entered in the form of the dimension of the representation (“Rep") or Dynkin label corresponding to that representation (“Dyn"). These options should not be mixed up and must be used uniformly for the whole input file, see Figs. 8 and 9.
-
The dimensions of the representations must be provided keeping the following points in mind:
-
1.
For non-abelian groups the dimension of the representation must be written as a string, see Fig. 9. Also, for abelian groups such as U(1), the charge must be entered as a number.
-
2.
The conjugate of any representation must contain "bar", e.g.: \({\overline{3}} \, \rightarrow \) "3 bar".
-
3.
One must distinguish different representations of the same dimension: \(8^{\prime } \, \rightarrow \) "8 p", similarly, \(8^{\prime \prime } \, \rightarrow \) "8 pp", see Table 18.
-
1.
6.1.4 Details of the user interface for the Standard Model
Here, we provide an illustration of how to run GrIP and utilize its various commands to obtain specific outputs based on the Standard Model and how to further modify those results.
Field | Self | Lorentz | Chirality | Baryon | Lepton | SU3Rep | SU2Rep | U1Rep |
---|---|---|---|---|---|---|---|---|
name | conjugate | behaviour | number | number | ||||
H | False | SCALAR | NA | 0 | 0 | 1 | 2 | 1/2 |
Q | False | FERMION | l | 1/3 | 0 | 3 | 2 | 1/6 |
u | False | FERMION | r | 1/3 | 0 | 3 | 1 | 2/3 |
d | False | FERMION | r | 1/3 | 0 | 3 | 1 | \(-\)1/3 |
L | False | FERMION | l | 0 | \(-\)1 | 1 | 2 | \(-\)1/2 |
el | False | FERMION | r | 0 | \(-\)1 | 1 | 1 | \(-\)1 |
Bl | False | VECTOR | l | 0 | 0 | 1 | 1 | 0 |
Wl | False | VECTOR | l | 0 | 0 | 1 | 3 | 0 |
Gl | False | VECTOR | l | 0 | 0 | 8 | 1 | 0 |
Field | Self | Lorentz | Chirality | Baryon | Lepton | SU3Dyn | SU2Dyn | U1Dyn |
---|---|---|---|---|---|---|---|---|
name | conjugate | behaviour | number | number | ||||
H | False | SCALAR | NA | 0 | 0 | {0,0} | {1} | 1/2 |
Q | False | FERMION | l | 1/3 | 0 | {1,0} | {1} | 1/6 |
u | False | FERMION | r | 1/3 | 0 | {1,0} | {0} | 2/3 |
d | False | FERMION | r | 1/3 | 0 | {1,0} | {0} | \(-\)1/3 |
L | False | FERMION | l | 0 | \(-\)1 | {0,0} | {1} | \(-\)1/2 |
el | False | FERMION | r | 0 | \(-\)1 | {0,0} | {0} | \(-\)1 |
\(H^{\dagger }\) | False | SCALAR | NA | 0 | 0 | {0,0} | {1} | \(-\)1/2 |
\(Q^{\dagger }\) | False | FERMION | r | \(-\)1/3 | 0 | {0,1} | {1} | \(-\)1/6 |
\(u^{\dagger }\) | False | FERMION | l | \(-\)1/3 | 0 | {0,1} | {0} | \(-\)2/3 |
\(d^{\dagger }\) | False | FERMION | l | \(-\)1/3 | 0 | {0,1} | {0} | 1/3 |
\(L^{\dagger }\) | False | FERMION | r | 0 | 1 | {0,0} | {1} | 1/2 |
\(el^{\dagger }\) | False | FERMION | l | 0 | 1 | {0,0} | {0} | 1 |
Bl | False | VECTOR | l | 0 | 0 | {0,0} | {0} | 0 |
Wl | False | VECTOR | l | 0 | 0 | {0,0} | {2} | 0 |
Gl | False | VECTOR | l | 0 | 0 | {1,1} | {0} | 0 |
Br | False | VECTOR | r | 0 | 0 | {0,0} | {0} | 0 |
Wr | False | VECTOR | r | 0 | 0 | {0,0} | {2} | 0 |
Gr | False | VECTOR | r | 0 | 0 | {1,1} | {0} | 0 |
SU3 | SU2 | U1 |
---|---|---|
\(-\frac{\left( -{G1z}_1^4 {G1z}_2+{G1z}_2^3+{G1z}_1^3 \left( 1+{G1z}_2^3\right) -{G1z}_1 \left( {G1z}_2+{G1z}_2^4\right) \right) ^2}{6{G1z}_1^5 {G1z}_2^5} \) | \(-\frac{\left( -1+{G2z}_1^2\right) ^2}{2 {G2z}_1^3}\) | \(\frac{1}{G3z}\) |
Dyn | SU3 | SU2 | U1 |
---|---|---|---|
{{0,0},{1},1/2} | 1 | \(\frac{1}{G2z_1}+G2z_1 \) | \(\sqrt{G3z}\) |
{{1,0},{1},1/6} | \(G1z_1+\frac{1}{G1z_2}+\frac{G1z_2}{G1z_1}\) | \(\frac{1}{G2z_1}+G2z_1\) | \(G3z^{1/6}\) |
{{1,0},{0},2/3} | \(G1z_1+\frac{1}{G1z_2}+\frac{G1z_2}{G1z_1}\) | 1 | \(G3z^{2/3}\) |
{{1,0},{0},\(-\)1/3} | \(G1z_1+\frac{1}{G1z_2}+\frac{G1z_2}{G1z_1}\) | 1 | \(\frac{1}{G3z^{1/3}}\) |
{{0,0},{1},\(-\)1/2} | 1 | \(\frac{1}{G2z_1}+G2z_1\) | \(\frac{1}{\sqrt{G3z}}\) |
{{0,0},{0},\(-\)1} | 1 | 1 | \(\frac{1}{G3z}\) |
{{0,0},{1},\(-\)1/2} | 1 | \(\frac{1}{G2z_1}+G2z_1\) | \(\frac{1}{\sqrt{G3z}}\) |
{{0,1},{1},\(-\)1/6} | \(\frac{1}{{G1z}_1}+\frac{{G1z}_1}{{G1z}_2}+G1z_2\) | \(\frac{1}{{G2z}_1}+G2z_1\) | \(\frac{1}{{G3z}^{1/6}}\) |
{{0,1},{0},\(-\)2/3} | \(\frac{1}{{G1z}_1}+\frac{{G1z}_1}{{G1z}_2}+{G1z}_2\) | 1 | \(\frac{1}{{G3z}^{2/3}}\) |
{{0,1},{0},1/3} | \(\frac{1}{{G1z}_1}+\frac{{G1z}_1}{{G1z}_2}+G1z_2\) | 1 | \({G3z}^{1/3}\) |
{{0,0},{1},1/2} | 1 | \(\frac{1}{{G2z}_1}+G2z_1\) | \(\sqrt{G3z}\) |
{{0,0},{0},1} | 1 | 1 | G3z |
{{0,0},{0},0} | 1 | 1 | 1 |
{{0,0},{2},0} | 1 | \(1+\frac{1}{{G2z}_1^2}+{G2z}_1^2\) | 1 |
{{1,1},{0},0} | \(2+\frac{{G1z}_1}{{G1z}_2^2}+\frac{1}{{G1z}_1 {G1z}_2}+\frac{{G1z}_1^2}{{G1z}_2}+\frac{{G1z}_2}{{G1z}_1^2}+{G1z}_1 {G1z}_2+\frac{{G1z}_2^2}{{G1z}_1}\) | 1 | 1 |
{{0,0},{0},0} | 1 | 1 | 1 |
{{0,0},{2},0} | 1 | \(1+\frac{1}{{G2z}_1^2}+G2z_1^2\) | 1 |
{{1,1},{0},0} | \(2+\frac{{G1z}_1}{{G1z}_2^2}+\frac{1}{{G1z}_1 {G1z}_2}+\frac{{G1z}_1^2}{{G1z}_2}+\frac{{G1z}_2}{{G1z}_1^2}+{G1z}_1 {G1z}_2+\frac{{G1z}_2^2}{{G1z}_1}\) | 1 | 1 |
6.2 Operator construction for a supersymmetric model using GrIP
Our prescription is not restricted to non-supersymmetric models. The program GrIP enables one to construct the polynomial in terms of chiral and vector superfields. In our construction, we have taken care of the transformation of vector superfield (V) under the Wess-Zumino [69, 70] gauge as \(V^{\prime } = V + i(\varLambda -\varLambda ^{\dagger })\). The chiral superfield \(\varPhi \) transforms as \(\varPhi \rightarrow e^{-iq\varLambda }\varPhi \) and its conjugate as \(\varPhi ^{\dagger } \rightarrow e^{iq\varLambda ^{\dagger }}\varPhi ^{\dagger }\). This leaves \(\varPhi ^{\dagger }e^{qV}\varPhi \) invariant.
For multiple chiral superfields (\(\varPhi \)) and gauge symmetries, the respective \(V_{\varPhi }\) can be written as linear combinations of vector superfields corresponding to the individual gauge groups suitably accompanied by the gauge charges of \(\varPhi \). We have enlisted the transformation properties of the superfields of the Minimal Supersymmetric Standard Model [71, 72] under the gauge group \(SU(3)_C\otimes SU(2)_L\otimes U(1)_Y\) in Table 19. The \(V_{\varPhi }\) for this particular scenario is summarized in Table 20.
6.2.1 GrIP input file for MSSM
The input file is prepared following the similar rules prescribed for the SM case:
6.2.2 User interface for MSSM
The above commands display similar output as shown in the non-supersymmetric case.
Super | Self- | Lorentz | Chirality | Baryon | Lepton | SU3Rep | SU2Rep | U1Rep |
---|---|---|---|---|---|---|---|---|
field | conjugate | behaviour | number | number | ||||
\(H_u\) | False | SUPERSCALAR | NA | 0 | 0 | 1 | 2 | 1/2 |
\(H_d\) | False | SUPERSCALAR | NA | 0 | 0 | 1 | 2 | \(-\)1/2 |
Q | False | SUPERFERMION | NA | 1/3 | 0 | 3 | 2 | 1/6 |
U | False | SUPERFERMION | NA | 1/3 | 0 | 3 bar | 1 | \(-\)2/3 |
D | False | SUPERFERMION | NA | 1/3 | 0 | 3 bar | 1 | 1/3 |
L | False | SUPERFERMION | NA | 0 | \(-\)1 | 1 | 2 | \(-\)1/2 |
E | False | SUPERFERMION | NA | 0 | \(-\)1 | 1 | 1 | 1 |
Bl | False | SUPERVECTOR | l | 0 | 0 | 1 | 1 | 0 |
Wl | False | SUPERVECTOR | l | 0 | 0 | 1 | 3 | 0 |
Gl | False | SUPERVECTOR | l | 0 | 0 | 8 | 1 | 0 |
Super | Self- | Lorentz | Chirality | Baryon | Lepton | SU3Dyn | SU2Dyn | U1Dyn |
---|---|---|---|---|---|---|---|---|
field | conjugate | behaviour | number | number | ||||
\(H_{u}\) | False | SUPERSCALAR | NA | 0 | 0 | {0,0} | {1} | 1/2 |
\({H}_{d}\) | False | SUPERSCALAR | NA | 0 | 0 | {0,0} | {1} | \(-\)1/2 |
Q | False | SUPERFERMION | NA | 1/3 | 0 | {1,0} | {1} | 1/6 |
U | False | SUPERFERMION | NA | 1/3 | 0 | {0,1} | {0} | \(-\)2/3 |
D | False | SUPERFERMION | NA | 1/3 | 0 | {0,1} | {0} | 1/3 |
L | False | SUPERFERMION | NA | 0 | \(-\)1 | {0,0} | {1} | \(-\)1/2 |
E | False | SUPERFERMION | NA | 0 | \(-\)1 | {0,0} | {0} | 1 |
\(\left( {H}_{u}\right) ^{\dagger } e^{V_{H_u}}\) | False | SUPERSCALAR | NA | 0 | 0 | {0,0} | {1} | \(-\)1/2 |
\(\left( H_d\right) ^{\dagger } e^{V_{H_d}}\) | False | SUPERSCALAR | NA | 0 | 0 | {0,0} | {1} | 1/2 |
\(Q^{\dagger } e^{{V}_{Q}}\) | False | SUPERFERMION | NA | \(-\)1/3 | 0 | {0,1} | {1} | \(-\)1/6 |
\(U^{\dagger } e^{{V}_{U}}\) | False | SUPERFERMION | NA | \(-\)1/3 | 0 | {1,0} | {0} | 2/3 |
\(D^{\dagger } e^{{V}_{D}}\) | False | SUPERFERMION | NA | \(-\)1/3 | 0 | {1,0} | {0} | \(-\)1/3 |
\(L^{\dagger } e^{{V}_{L}}\) | False | SUPERFERMION | NA | 0 | 1 | {0,0} | {1} | 1/2 |
\(E^{\dagger } e^{{V}_{E}}\) | False | SUPERFERMION | NA | 0 | 1 | {0,0} | {0} | \(-\)1 |
Bl | False | SUPERVECTOR | l | 0 | 0 | {0,0} | {0} | 0 |
Wl | False | SUPERVECTOR | l | 0 | 0 | {0,0} | {2} | 0 |
Gl | False | SUPERVECTOR | l | 0 | 0 | {1,1} | {0} | 0 |
Br | False | SUPERVECTOR | r | 0 | 0 | {0,0} | {0} | 0 |
Wr | False | SUPERVECTOR | r | 0 | 0 | {0,0} | {2} | 0 |
Gr | False | SUPERVECTOR | r | 0 | 0 | {1,1} | {0} | 0 |
The functions - and generate similar output as in the case of SM since the gauge groups and and the transformation properties of the particles are similar.
Total number of independent operators at dimension 1 is 0,
Operators: 0
Total number of independent operators at dimension 2 is \(4+4 N_f+5 N_f^2\)
Operators:
Total number of independent operators at dimension 3 is \(3+2N_f+11N_f^2+9N_f^3\)
Operators:
6.3 Categorizing the operators and writing them in a covariant form
6.3.1 Covariant form of the SM Lagrangian
To convert the GrIP output into a covariant form, we employ the translation between symbols as outlined in Table 21. The correspondence between the Hilbert Series output generated by GrIP and their covariant forms is shown in Table 22.
6.3.2 Higher dimension effective operators of the SM
We have enlisted the higher dimensional effective operators upto mass dimension 6 in Table 23. These operators and their implications in the context of SMEFT have been heavily studied [73,74,75,76,77,78,79,80,81,82,83,84,85,86,87].
6.3.3 Categorizing the operators of the MSSM based on canonical dimension
For supersymmetric scenarios, the operators are constructed out of superfields. Unlike the usual quantum fields, e.g. non-supersymmetric models, mass dimension is not a suitable index for superfields and it cannot be used as the order parameter of the polynomial. Instead, the canonical dimension does the required job.Footnote 6 At the end of the previous subsection, we showed a representative MSSM Lagrangian comprised of operators having canonical dimension 4. We can similarly obtain operators having different canonical dimensions. We have tabulated those operators in Tables 24 and 25 and also classified them based on whether they only contain chiral superfields or a mixture of chiral as well as vector superfields.
While comparing our results with those of [88], one must keep in mind that while we have categorized the operators based on their canonical dimension, in [88] the categorization is based on the mass dimension of the F-term (for operators composed solely of chiral superfields) or the D-term (for operators composed of chiral as well as vector superfields) obtained after expanding the superfields in terms of the quantum fields. Also, the mass dimension of the F-term is one more than the canonical dimension of the original operator while that of the D-term is two more.
Here, we have elaborated on the detailed structures of the operators and their flavour dependence:
-
1.
We have noted that the operators \({\mathscr {O}}_D^{(8)}\equiv E^{\dagger }e^{V_E}H_d^2\), \({\mathscr {O}}_D^{(53)}\equiv U^{\dagger }e^{V_U}DH_u^2\), \({\mathscr {O}}_D^{(54)}\equiv D^{\dagger }e^{V_D}UH_d^2\), \({\mathscr {O}}_F^{(19)}\equiv U^2DH_d^2\), \({\mathscr {O}}_F^{(20)}\equiv D^3H_u^2\), \({\mathscr {O}}_F^{(27)}\equiv EH_u^3H_d\) which appear in [88], are absent from our set. We can justify this as follows. Here, we have \(N_f\) fermion-like superfields while only one flavour of the Higgs-like superfields \(H_u\) and \(H_d\). So, each of the structures \({\mathscr {O}}_D^{(8)}, {\mathscr {O}}_D^{(53)}, {\mathscr {O}}_D^{(54)}, {\mathscr {O}}_F^{(19)}, {\mathscr {O}}_F^{(20)}, {\mathscr {O}}_F^{(27)}\) would appear if \(H_u, H_d\) were to have more than one flavour.
-
2.
Operators enclosed in boxes vanish for certain values of \(N_f\). The following operator structures vanish for \(N_f = 1\):
Another set of operators vanish for \(N_f = 1,2\)
It is easy to understand this vanishing behaviour. Each of these operators contains 3 similar superfields which transform under the fundamental representation of SU(3) (D, U). The explicit index contraction can be written as, for example, for \(H_{d}LD^3\):
where a, b are SU(2) indices and \(\alpha ,\beta ,\gamma \) are SU(3) indices. Here, \(\varepsilon _{\alpha \,\beta \,\gamma }\) is fully anti-symmetric whereas \(D^{\alpha } D^{\beta } D^{\gamma }\) is fully symmetric. Now, if we have 2 flavors of D, then the expression is still symmetric in 2 of the indices (Table 26). Therefore, this operator and other similar operators are non-vanishing only if \(N_f>2\).
6.4 Extracting phenomenologically relevant operators using GrIP
6.4.1 Baryon and Lepton Number violating rare processes in the SM
The renormalizable SM Lagrangian has accidental symmetries in the form of baryon and lepton number conservation. But these do get violated at higher mass dimensions [89,90,91,92,93,94]. Operators displaying such violations have attracted a lot of attention due to a variety of reasons. The most popular being contributions to neutrino mass [92, 95,96,97,98] as well as predictions of exotic processes, for instance, neutrinoless double beta decay [99,100,101,102], and the decay of proton and other nucleons into leptons [103, 104]. As we look for higher and higher mass dimensional operators the number of possible combinations of the fields increases. Thus it becomes difficult to filter out operators that violate baryon and lepton numbers by some specific amount. Keeping this in mind, we have defined a function within GrIP, which enables one to obtain the lowest dimensional operators for a particular combination of \(\varDelta B\) and \(\varDelta L\). We have collected the results in Table 27 and also described the action of this particular function.
The baryon and lepton number violations are also signatures of various extended SM scenarios. It is important to note that operators with the same amounts of \(\varDelta B\) and \(\varDelta L\) appear at different mass dimensions for different models. If in the near future such rare process(es) are discovered one can perform a comparative analysis across a variety of models.
6.4.2 External \(U(1)_{R}\) global symmetry and extended MSSM
We have kept the provision to assign quantum numbers under some external global symmetry, which is not introduced in the input file, to each particle. Based on this new assignment, one can identify operators that either conserve this symmetry or violate it by a specific amount. This can be achieved through by judiciously using the functions Footnote 7 and in tandem. As an illustration, we have worked with the model given in [107]. We have listed the superfield content and their transformation properties under the gauge group \(SU(3)_C\otimes SU(2)_L\otimes U(1)_Y\) as well as under the global \(U(1)_R\) in Table 28. One can obtain the superpotential up to canonical dimension 4 with the help of GrIP in the same way in which we obtained the superpotential for MSSM. Then, using the function , see Table 13, we can assign the \(U(1)_R\) charges and segregate between operators having different values of the overall R-charge. In Table 29, we have collected the segregated superpotential for \(N_f = 1\).
Total No. of Operators: 1
Operators: \({\mathscr {S}}\)
\( R_d\;H_u+H_d\;R_u+H_d\; H_u+R_d\; R_u+L\; H_u+L\; R_u+{\mathscr {O}}^2+{\mathscr {S}}^2+{\mathscr {T}}^2\)
Total No. of Operators: 4
Operators: \(H_d H_u+{\mathscr {O}}^2+S^2+T^2\)
Total No. of Operators: 3
Operators: \(R_d H_u+H_d R_u+L H_u\)
Total No. of Operators: 2
Operators: \(R_d R_u+L R_u\)
Total No. of Operators: 6
Operators: \({\mathscr {S}}\; H_d\; H_u +{\mathscr {T}}\; H_d\; H_u +{\mathscr {O}}^3+{\mathscr {O}}^2\; {\mathscr {S}}+{\mathscr {S}}^3+{\mathscr {S}}\; {\mathscr {T}}^2\)
Total No. of Operators: 10
Operators: \(D\; Q\; H_d +E\; L\; H_d\;+E\; H_d\; R_d + {\mathscr {S}} H_d\; R_u +{\mathscr {S}}\; R_d\; H_u\;+{\mathscr {T}}\; H_d\; R_u+{\mathscr {T}}\; R_d\; H_u +L\; {\mathscr {S}}\; H_u +L\; {\mathscr {T}}\; H_u +Q\; U\; H_u\)
Total No. of Operators: 8
Operators: \(D\; Q\; R_d+E\; L\; R_d+{\mathscr {S}}\; R_d\; R_u +{\mathscr {T}}\; R_d\; R_u+D\; L\; Q+L\; {\mathscr {S}}\; R_u+L\; {\mathscr {T}}\; R_u+Q\; U\; R_u\)
7 Operator bases of SM extended by Infrared degrees of freedom
The shortcomings of the Standard Model are attempted to be cured by extending the gauge symmetry and (or) adding new particles. Some of the additional particles, i.e., DOFs, are expected to be lying around the electroweak scale (within the TeV scale). These particles can be remnants of a complete UV theory where the other heavier modes are beyond the reach of present days experiments. In that case, the light enough BSM particles or multiplets need to be taken into consideration as IR DOF along with the SM ones. Thus we need to include the higher dimensional effective operators involving these new IR DOFs which extend the SM-EFT operator basis. This is the key idea behind this section where we have provided the complete set of dimension-6 operators for a few popular choices of beyond SM infrared degrees of freedom. We have tabulated the results for a few more scenarios in the appendix. A pertinent detail that must be kept in mind is that different UV theories may lead to the same set of IR DOFs, after integrating out suitable heavier modes for respective theories. Our program GrIP allows one to construct the complete basis of effective operators which is always a superset of the operator sets achieved through the top-down (integrating out) method [19, 108,109,110,111,112,113,114]. We have illustrated the complementary nature of these constructions in Fig. 10. This construction also opens up the possibility to use the EFT method in the light of present and future experiments to address the “inverse problem". This work is a significant step towards that final goal of identifying the experimentally favoured BSM physics.
We start by constructing operator sets for minimal, single particle extensions of the Standard Model. These extra particles are kept in the same footing as the SM ones and are considered to be IR DOFs for further operator construction. Here, we will not repeat the SM interactions, which are neatly categorized in Table 23. Rather, our focus will be on the interactions of the non-SM particles among themselves and with the SM ones. We have considered a variety of exotic scalars and fermions that transform differently under the SM gauge symmetry. These extra fields and their transformation properties under the gauge groups \(SU(3)_C\otimes SU(2)_L\otimes U(1)_Y\) and their spins are enlisted in Table 30.
7.1 SM + singly charged scalar
Our first minimal non-trivial extension, the trivial case being that of a real gauge singlet scalar [115], is the inclusion of a singly charged color and isospin singlet scalar. Now, such a scalar could exist outside of any multiplet or it could be a part of some n-plet whose other components acquire larger masses. As those heavy modes are integrated out, their footprints can be captured through the effective operators composed of SM fields and a light singly charged scalar. We have collected the operator sets at mass dimensions-5 and -6 in Table 31.
7.1.1 SM + doubly charged scalar
Similar to the earlier case, the doubly charged scalar can be the IR DOF and several theories can lead to this scenario [116]. The additional effective operators in the presence of \(\delta ^{++}\) are shown in Table 32.
7.1.2 SM + complex triplet scalar
Unlike the previous two scenarios, an entire multiplet may be light enough to be included as an IR DOF. The \(SU(2)_L\) complex triplet \((\varDelta )\) leading to neutrino mass generation through the Type-II seesaw is one such case [117,118,119]. The effective operators involving \(\varDelta \) have been catalogued in Table 33.
7.1.3 SM + SU(2) quadruplet scalar
SU(2) quadruplet scalars often appear in the study of fermionic dark matter candidates which themselves are quadruplets under SU(2) [120]. They have also appeared in discussions of the Type-III Seesaw where they contribute to the Dirac mass of a lepton triplet [121]. Lastly, they also furnish a doubly charged scalar and provide an avenue to study the relevant phenomenology [116]. Here, we have considered a SU(2) quadruplet scalar with hypercharge 3/2 and provided the effective operators of mass dimensions-5 and -6 in Table 34.
7.1.4 SM + SU(2) quintuplet scalar
SU(2) quintuplet or higher n-plet scalars are commonly studied in the context of Minimal Dark Matter (MDM) models [122], where the neutral component is usually proposed to be the candidate particle. At the same time, a SU(2) quintuplet can also furnish a doubly charged scalar. So any discussion of such multiplets brings forth a discussion of the phenomenology of doubly charged scalars [116]. We provide the effective operators of mass dimensions-5 and -6 in Table 35.
7.1.5 SM + left-handed triplet Fermion
Extensions of SM through the addition of a triplet fermion leads to the generation of neutrino mass through Type-III seesaw mechanism. This has also been discussed in the context of dark matter model building where the neutral component of \(\left( \varSigma ^{+},\varSigma ^{0},\varSigma ^{-}\right) \) is proposed as the DM candidate [123]. We have enlisted the effective operators of mass dimensions-5 and -6 in Table 36.
7.1.6 SM + right-handed singlet fermion
Inclusion of a heavy right handed singlet fermion attempts to describe neutrino mass by way of the Type-I seesaw mechanism [124]. But recently, the discussion has shifted towards the extension of the SM degrees of freedom by a light singlet fermion [125] and construction of effective operators. One such scenario was considered in [126] where the full particle content was comprised of SM fields, a right handed fermion singlet (\({\mathscr {N}}\)), a couple of vector-like fermions (\(\chi _E, \chi _N\)) and a scalar (\(\varPhi \)). Operators of dimensions-5 and -6, comprised of SM fields and the right handed singlet fermion are obtained when the vector-like fermions and the heavy scalar are integrated out. We have categorized all the dimensions-5 and -6 operators highlighting interactions between the SM fields and the right handed fermion as well as self-interactions of the fermion in Table 37. It must be remarked that the operator set given in [126] contained redundancies w.r.t. equations of motion of the fields. Such redundancies do not exist in the operator set provided in Table 37. We have also drawn a pie-chart showing the number of effective operators of mass dimension-6 for \(N_f\) number of fermion flavours and distinguishing the three cases: (i) Operators composed only of SM fields (ii) Operators composed of SM fields + \({\mathscr {N}}\) and (iii) Operators composed of SM fields + \({\mathscr {N}}\) + \(\chi _E\) + \(\chi _N\) + \(\varPhi \) in Fig. 11.
7.1.7 Extensions of the SM through addition of Lepto-Quarks
We now shift our attention towards the extension of the SM by including lepto-quarks, i.e., particles having both baryon and lepton numbers [127]. We expect to observe baryon and lepton number violation among the operators constituted by them. Lepto-quarks attract a lot of attention not just because they act as mediators between the quark and lepton sectors [128,129,130,131] but also because they can lead to the breaking of the SU(3) color symmetry as well. We have considered the models discussed in [128, 129]. We have listed the lepto-quark fields and their transformation properties under the gauge groups \(SU(3)_C\otimes SU(2)_L\otimes U(1)_Y\) and the Lorentz group as well as their baryon and lepton numbers in Table 38. The effective operators of dimensions-5 and -6 have been neatly categorized and given in Tables 39, 40, 41 and 42.
7.1.8 Interactions of a light dark matter candidate with SM fields
Recently, models built of the lighter SM fermions, after having integrated out the heavy particles, i.e., the SU(2) gauge bosons, the Higgs and the top quark, with the gauge group \(SU(3)_C\otimes U(1)_{em}\) and the corresponding gauge fields the gluons (\(G^a_{\mu \nu }\)) and the photon (\(F_{\mu \nu }\)) have sparked some interest. Also known as Low Energy Effective Field Theory (LEFT), [132,133,134,135] these below electroweak scale models provide a nice platform to study interactions between weakly interacting light dark matter and the SM fermions [136]. We consider two distinct scenarios [136], one where the DM candidate is a complex scalar and another where it is a fermion. Since we are working in the Weyl basis we separately define the left and right chiral parts. In each of these cases, there is an extra \(U(1)_D\) charge assigned to the dark matter candidate, see Table 43. We have catalogued the effective operators for the two cases in Tables 44 and 45 respectively.
In the second model, the broken SM is extended by fermions (\(\chi _L, \chi _R\)). The imposition of a \(U(1)_D\) symmetry removes the terms having odd powers of \(\chi _{L,R}\) and \(\chi _{L,R}^{\dagger }\). The remaining terms contain one operator at mass dimension-5 and 275 operators at dimension-6. Since all the dimension-6 operators have a similar form we have only given a schematic form of these operators in Table 45.
8 Covariant form of operators and their explicit flavour dependence
Explicit flavour dependence in higher dimensional operators has always been of interest and drawn the attention of active researchers [95, 116, 137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153]. Our program GrIP offers the user an avenue to gain familiarity with the possible ways in which the flavour and symmetry indices can be contracted to construct independent sets of operators. Among the models studied in this paper, the operators could always be categorized into distinct classes. Of those classes we can identify the following two classes where explicit flavour dependence becomes significant: (i) \(\varPsi ^4\) and (ii) \(\varPsi ^2\varPhi X\).
As the program output does not show the flavour and symmetry indices explicitly, it is difficult to explain why and how the number of operators varies as a function of the number of fermion flavours (\(N_f\)). To do so we are required to rewrite those operators (\({\mathscr {O}}_i\)) in covariant form.
-
\({\mathscr {O}}_i \in \varPsi ^4\): Here, we have focussed our attention on the \(\varPsi ^4\) sector of Table 23.
Now, the fermions in this model can be divided into 4 categories based on their internal quantum numbers:
-
(a)
SU(3) triplet and SU(2) doublet: Q,
-
(b)
SU(3) triplet and SU(2) singlet: \(u,\,d\),
-
(c)
SU(3) singlet and SU(2) doublet: L,
-
(d)
SU(3) singlet and SU(2) singlet: el.
We can have three possible covariant structures for the \(\varPsi ^4\) operators constituted of the above:
-
(i)
\(({\bar{\varPsi }}\gamma _{\mu }\varPsi )({\bar{\varPsi }}\gamma ^{\mu }\varPsi )\),
-
(ii)
\(({\bar{\varPsi }}\gamma _{\mu }\tau ^{I}\varPsi )({\bar{\varPsi }} \gamma ^{\mu }\tau ^{I}\varPsi )\)
-
(iii)
\(({\bar{\varPsi }}\gamma _{\mu }T^{a}\varPsi )({\bar{\varPsi }} \gamma ^{\mu }T^{a}\varPsi )\)Footnote 8.
But all of these need not be independent. These may be connected through Fierz identities. If all three structures are possible as in the case of (a), then only two of them are independent. Thus, the independent structures for fermions of types (a)–(d) are:
-
(1)
\(({\bar{\varPsi }}\gamma _{\mu }\varPsi )({\bar{\varPsi }}\gamma ^{\mu }\varPsi )\) for (b), (c), (d) and
-
(2)
\(({\bar{\varPsi }}\gamma _{\mu }\varPsi )({\bar{\varPsi }}\gamma ^{\mu }\varPsi )\), \(({\bar{\varPsi }}\gamma _{\mu }\tau ^{I}\varPsi )({\bar{\varPsi }}\gamma ^{\mu }\tau ^{I}\varPsi )\) for (a).
In case (1), if \(\varPsi \) transforms non-trivially under SU(3) and SU(2) then there are \(\frac{1}{2}N_f^2(N_f^2+1)\) number of symmetric combinations. If \(\varPsi \) is an overall singlet under these non-abelian groups, then the number of symmetric combinations is \([\frac{1}{2}N_f(N_f+1)]\times [\frac{1}{2}N_f(N_f+1)]\). For case (2), the counting gets doubled compared to case (1) as there exist two independent structures, i.e., the number becomes \(2\times [\frac{1}{2}N_f^2(N_f^2+1)]\) as \(\varPsi \) transforms non-trivially under the non-abelian groups. We must also remark that when all four \(\varPsi \)’s are different then we get a factor of \(N_f^4\) or \(2N_f^4\) depending on the number of independent structures.
-
(a)
-
\({\mathscr {O}}_i \in \varPsi ^2\varPhi X\): Within this class, we have considered three operators \(N_f^2Wl_{1}\varDelta _1L_1^2\), \(\frac{1}{2}\left( N_f^2+N_f\right) Wl_{2}\varDelta _2L_1^2\) and \(\frac{1}{2}\left( N_f^2-N_f\right) Bl\varDelta _1L_1^2 \) from Table 48. Now, focussing on \(Wl_{i}\varDelta _iL_j^2\), we see that since \(\varDelta \) is Lorentz scalar and Wl transforms as (1, 0) under \(SU(2)_l\times SU(2)_r\), \(L_j^2\) must be a symmetric product of \((\frac{1}{2},0)\) and \((\frac{1}{2},0)\), i.e., in Lorentz indices. Now, if \(i=j\), then \(L_j^2\) can be yield both a symmetric and an antisymmetric product in internal symmetry indices. Thus we must include both such structures which gives \(\frac{1}{2}N_f(N_f+1)\) and \(\frac{1}{2}N_f(N_f-1)\) symmetric and antisymmetric combinations respectively, i.e., a total number \(N_f^2\). Now, if \(i\ne j\), then \(L_j^2\) must appear only as a symmetric combination in internal symmetry indices. Otherwise, the full term will be antisymmetric in internal indices and vanish identically. So, the total number of combinations is \(\frac{1}{2}N_f(N_f+1)\).
Following a similar line of reasoning, in the case of \(Bl \varDelta _1L_1^2\) the number of combinations is \(\frac{1}{2}N_f(N_f-1)\) due to the antisymmetric nature of (\(L_1\varDelta _1L_1\)) in flavour indices.
These ideas can be conveniently generalized to construct covariant form of dimension 6 operators for any model. However, when we investigate operators of dimension > 6, we are have to be careful about the new tensor structures that may appear and operator construction is not directly generalizable from the dimension 6 set. Rather, we need novel and ingenious techniques to accomplish this as has recently been shown for SMEFT operators of mass dimension 8 [154, 155] and mass dimension 9 [156, 157].
9 Conclusion and remarks
In this paper, our primary objective has been to elucidate the construction of group invariant polynomials of the quantum fields. The relevance of such invariants in high energy physics stems from the fact that most of the phenomenological models contain certain quantum fields as the degrees of freedom that are attributed unique transformation properties under the assigned symmetries. The phenomenological explorations within a proposed model rely on Feynman vertices and for that information of a complete Lagrangian is necessary. Recognition of the fact that the individual constituents of the Lagrangian are invariants under all the symmetries of the model (global, gauge as well as spacetime) motivates us to delve deeper into their construction. The fundamental ingredients for such development are the characters of different representations and Haar measure corresponding to the connected compact groups representing the symmetries of the adopted model. In the first part of this paper, we have outlined the detailed mathematical steps in an algorithmic way to lay the platform for the central part of this work which is based around developing the \(\text {\texttt {Mathematica}}^{\tiny \textregistered }\) package, GrIP. We have explained all the necessary information such as how to install the package, and to create an input model file. We have also shown how to translate the output of the program into a working Lagrangian through some example scenarios. One of the most essential guiding principles behind the analysis has been to ensure that the required input be as minimal as possible and the output as simple as it can be. This is reflected in the character computation where the only input needed is the Dynkin label for the corresponding representation and again in the development of GrIP where the input only comprises of the quantum fields corresponding to the particles of a given model and their respective transformations under various symmetry groups. We would like to mention that we have also provided a separate sub-program CHaar which computes the character of representation using the suitable Dynkin label provided by the user.
Adopting the output of GrIP for any phenomenological analysis is based on its identification as the Lagrangian. So, we have kept the provision to identify the operators at different mass dimensions, for different values of overall baryon and lepton numbers, and the different number of fermion flavours. All this has been exemplified through both non-supersymmetric as well as supersymmetric scenarios. We have shown how in addition to being a Lagrangian builder, GrIP can also act as a search tool for rare processes mediated by varying degrees of baryon and lepton number violations. At the same time, it can also enable the user to filter out the output based on the conservation or violation of externally imposed global symmetry. Both of these targets have been achieved through suitably defined functions within the package and their working principles have been emphasized through relevant examples. The contemporary state of particle physics has transcended past the Standard Model (SM). Keeping this in mind, we have employed our package in laying the groundwork for the first step towards a model-independent comparative study of different BSM scenarios. We have mentioned the need for an extension of the SM particle content through the addition of certain infrared degrees of freedom and paved the way for the study of BSM-EFT. We have further highlighted this by constructing and tabulating the higher dimensional effective operators for a plethora of extended SM scenarios ranging from SU(2) scalars transforming in various multiplets to lepto-quarks, and some possible dark matter particles. Lastly, we have commented on the distinct flavour structures of a few classes of operators and shown how these can be understood based on group-theoretic principles.
In the future, we will further explore the avenue of BSM-EFT. We will employ esoteric tools based on statistical methods and Effective Field Theory to pinpoint the new physics proposals, most favoured by experimental data.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: There is no data since this paper highlights the workings of a Mathematica based package which does not have any external dependencies stored in a server. However, the package can be accessed from https://TeamGrIP.github.io/GrIP/ and this fact has been highlighted within the text.]
Notes
In what follows we will use the terms Lagrangian and Lagrangian density interchangeably even though their specific usage depends on whether we are working with discrete or continuum theories.
All these diagrams have been generated using JaxoDraw [5].
For a particular group, the fundamental representations are those whose Dynkin labels (\(N-1\) tuples for SU(N)) have a single entry as unity while all other entries are 0s. Among these the representations denoted by \(\left( 1,0,0,\dots ,0,0\right) \) and \(\left( 0,0,0,\dots ,0,1\right) \) (which are conjugate to each other) have the lowest dimension equal to N. For example, for SU(3), the fundamental representations are \(\left( 1,0\right) \) and \(\left( 0,1\right) \) which are conjugate to each other and each of them have dimension 3. While for SU(4), the fundamental representations are \(\left( 1,0,0\right) \), \(\left( 0,1,0\right) \) and \(\left( 0,0,1\right) \). Among these \(\left( 1,0,0\right) \) and \(\left( 0,0,1\right) \) have the lowest dimension 4 whereas \(\left( 0,1,0\right) \) has dimension 6.
The current version of this code is compatible with Mathematica\({}^{\tiny \textregistered }\) V.11 and higher.
The effective operators corresponding to the models depicted in italics are discussed in this paper. The respective input files for all scenarios, given below, can be found in the downloaded package.
For chiral superfields the canonical dimension is 1, while for vector superfields it is 0. The covariant derivatives have canonical dimension 1/2, hence the field strength tensors which are composed of a vector superfield and 3 covariant derivatives have canonical dimension 3/2.
For non-supersymmetric cases, one must use instead of .
\(\tau ^{I}\) and \(T^a\) are the generators of SU(2) and SU(3) group respectively.
References
H. Georgi, Ann. Rev. Nucl. Part. Sci. 43, 209 (1993)
A.V. Manohar, Lect. Notes Phys. 479, 311 (1997)
D.B. Kaplan, in Beyond the standard model 5. Proceedings, 5th Conference, Balholm, Norway, April 29–May 4, 1997 (1995)
C.P. Burgess, Ann. Rev. Nucl. Part. Sci. 57, 329 (2007)
D. Binosi, L. Theussl, Comput. Phys. Commun. 161, 76 (2004)
B. Grzadkowski, M. Iskrzynski, M. Misiak, J. Rosiek, JHEP 10, 085 (2010)
G.F. Giudice, C. Grojean, A. Pomarol, R. Rattazzi, JHEP 06, 045 (2007)
B. Henning, X. Lu, T. Melia, H. Murayama, JHEP 10, 199 (2017)
B. Henning, X. Lu, T. Melia, H. Murayama, JHEP 08, 016 (2017)
B. Henning, X. Lu, T. Melia, H. Murayama, Commun. Math. Phys. 347(2), 363 (2016)
L. Lehman, A. Martin, Phys. Rev. D 91, 105014 (2015)
L. Lehman, A. Martin, JHEP 02, 081 (2016)
B. Feng, A. Hanany, Y.H. He, JHEP 03, 090 (2007)
A. Hanany, N. Mekareeya, G. Torri, Nucl. Phys. B 825, 52 (2010)
A. Hanany, E.E. Jenkins, A.V. Manohar, G. Torri, JHEP 03, 096 (2011)
A. Hanany, R. Kalveks, JHEP 10, 152 (2014)
W.R. Inc. Mathematica, Version 11.0. Champaign, IL (2018)
I. Brivio, et al., in Computing Tools for the SMEFT, ed. by J. Aebischer, M. Fael, A. Lenz, M. Spannowsky, J. Virto (2019)
S. Das Bakshi, J. Chakrabortty, S.K. Patra, Eur. Phys. J. C 79(1), 21 (2019)
A. Celis, J. Fuentes-Martin, A. Vicente, J. Virto, Eur. Phys. J. C 77(6), 405 (2017)
W. Porod, F. Staub, A. Vicente, Eur. Phys. J. C 74(8), 2992 (2014)
A. Vicente, Nucl. Part. Phys. Proc. 273–275, 1423 (2016)
J. A. Evans, D. Shih, arXiv:1606.00003 [hep-ph]
J. Aebischer, J. Kumar, D.M. Straub, Eur. Phys. J. C 78(12), 1026 (2018)
A. Dedes, M. Paraskevas, J. Rosiek, K. Suxho, L. Trifyllis, (2019)
I. Brivio, Y. Jiang, M. Trott, JHEP 12, 070 (2017)
W. Porod, Comput. Phys. Commun. 153, 275 (2003)
W. Porod, F. Staub, Comput. Phys. Commun. 183, 2458 (2012)
J. Aebischer et al., Comput. Phys. Commun. 232, 71 (2018)
R.M. Fonseca, Phys. Rev. D 101(3), 035040 (2020)
C.B. Marinissen, R. Rahn, W.J. Waalewijn, (2020)
A. Kobach, S. Pal, Phys. Lett. B 772, 225 (2017)
A. Trautner, JHEP 05, 208 (2019)
H. Weyl, Princeton Landmarks in Mathematics and Physics (Princeton University Press, Princeton, 1997)
A.B. Balantekin, P. Cassak, J. Math. Phys. 43, 604 (2002)
R. Plymen, Int. J. Theor. Phys. 15(3), 201 (1976)
K. Koike, I. Terada, Commutative Algebra and Combinatorics (Mathematical Society of Japan, Tokyo, 1987), pp. 147–160
D. Littlewood, The Theory of Group Characters and Matrix Representations of Groups (AMS Chelsea Publishing Series University Microfilms, Madison, 1977)
W. Rossmann, Lie Groups: An Introduction Through Linear Groups. Oxford Graduate Texts in Mathematics (Oxford University Press, Oxford, 2006)
T. Bröcker, T. Dieck, Graduate Texts in Mathematics. Springer, New York, 98 (2003)
M. Foster, Lie algebra representation theory course notes (2016)
J. Gray, A. Hanany, Y.H. He, V. Jejjala, N. Mekareeya, JHEP 05, 099 (2008)
R. Slansky, Phys. Rept. 79, 1 (1981)
N. Yamatsu, (2015). arXiv:1511.08771 [hep-ph]
Anisha, S. Das Bakshi, J. Chakrabortty, S. Prakash, JHEP 09, 035 (2019)
S. Ferrara, C. Fronsdal, (2000). arXiv:hep-th/0006009 [hep-th]
A. Barabanschikov, L. Grant, L.L. Huang, S. Raju, JHEP 01, 160 (2006)
F.A. Dolan, J. Math. Phys. 47, 062303 (2006)
W. Siegel, Int. J. Mod. Phys. A 4, 2015 (1989)
B. Gruber, A.U. Klimyk, J. Math. Phys. 16, 1816 (1975)
V.K. Dobrev, Phys. Part. Nucl. 38, 564 (2007)
A. Bourget, J. Troost, JHEP 04, 055 (2018)
S. Minwalla, Adv. Theor. Math. Phys. 2, 783 (1998)
J.F. Gunion, H.E. Haber, G.L. Kane, S. Dawson, Front. Phys. 80, 1 (2000)
J.F. Gunion, H.E. Haber, Phys. Rev. D 67, 075019 (2003)
G.C. Branco, P.M. Ferreira, L. Lavoura, M.N. Rebelo, M. Sher, J.P. Silva, Phys. Rept. 516, 1 (2012)
M. Carena, I. Low, N.R. Shah, C.E.M. Wagner, JHEP 04, 015 (2014)
H.E. Haber, in Proceedings, 1st Toyama International Workshop on Higgs as a Probe of New Physics 2013 (HPNP2013): Toyama, Japan, February 13–16, 2013 (2013)
C.Y. Chen, M. Freid, M. Sher, Phys. Rev. D 89(7), 075009 (2014)
J. Mrazek, A. Pomarol, R. Rattazzi, M. Redi, J. Serra, A. Wulzer, Nucl. Phys. B 853, 1 (2011)
P.S. Bhupal Dev, A. Pilaftsis, JHEP 12, 024 (2014). [Erratum: JHEP11,147(2015)]
G. Bhattacharyya, D. Das, Pramana 87(3), 40 (2016)
A. Crivellin, J. Heeck, P. Stoffer, Phys. Rev. Lett. 116(8), 081801 (2016)
A. Crivellin, M. Ghezzi, M. Procura, JHEP 09, 160 (2016)
J.C. Pati, A. Salam, Phys. Rev. Lett. 31, 661 (1973)
J.C. Pati, A. Salam, Phys. Rev. D 8, 1240 (1973)
J.C. Pati, A. Salam, Phys. Rev. D 10, 275 (1974). [Erratum: Phys. Rev.D11,703(1975)]
S. Saad, Nucl. Phys. B 943, 114630 (2019)
J. Wess, J. Bagger, Supersymmetry and Supergravity (Princeton University Press, Princeton, 1992)
D. Bailin, A. Love, Supersymmetric Gauge Field Theory and String Theory (CRC Press, New York, 1994)
H. Baer, X. Tata, Weak Scale Supersymmetry: From Superfields to Scattering Events (Cambridge University Press, Cambridge, 2006)
S.P. Martin, Adv. Ser. Direct. High Energy Phys. 21, 1–153 (2010)
E.E. Jenkins, A.V. Manohar, M. Trott, JHEP 10, 087 (2013)
E.E. Jenkins, A.V. Manohar, M. Trott, JHEP 01, 035 (2014)
R. Alonso, E.E. Jenkins, A.V. Manohar, M. Trott, JHEP 04, 159 (2014)
I. Brivio, M. Trott, Phys. Rept. 793, 1 (2019)
L. Berthier, M. Trott, JHEP 05, 024 (2015)
L. Berthier, M. Trott, JHEP 02, 069 (2016)
M. Bjørn, M. Trott, Phys. Lett. B 762, 426 (2016)
A. Falkowski, M. González-Alonso, K. Mimouni, JHEP 08, 123 (2017)
R. Gomez-Ambrosio, Eur. Phys. J. C 79(5), 389 (2019)
E. Vryonidou, C. Zhang, JHEP 08, 036 (2018)
A. Dedes, M. Paraskevas, J. Rosiek, K. Suxho, L. Trifyllis, JHEP 08, 103 (2018)
S. Dawson, A. Ismail, Phys. Rev. D 98(9), 093003 (2018)
S. Dawson, P.P. Giardino, Phys. Rev. D 98(9), 095005 (2018)
A. Barzinji, M. Trott, A. Vasudevan, Phys. Rev. D 98(11), 116005 (2018)
J. de Vries, M. Postma, J. van de Vis, G. White, JHEP 01, 089 (2018)
D. Piriz, J. Wudka, Phys. Rev. D 56, 4170 (1997)
B. Pontecorvo, Sov. Phys. JETP 26, 984 (1968)
B. Pontecorvo, Zh. Eksp. Teor. Fiz 53, 1717 (1967)
H. Fritzsch, P. Minkowski, Ann. Phys. 93, 193 (1975)
S. Weinberg, Phys. Rev. Lett. 43, 1566 (1979)
Y. Chikashige, R.N. Mohapatra, R.D. Peccei, Phys. Lett. 98B, 265 (1981)
J. Schechter, J.W.F. Valle, Phys. Rev. D 25, 774 (1982)
T. Hambye, Nucl. Phys. Proc. Suppl. 248–250, 13 (2014)
G. Anamiati, O. Castillo-Felisola, R.M. Fonseca, J.C. Helo, M. Hirsch, JHEP 12, 066 (2018)
R.N. Mohapatra, G. Senjanovic, Phys. Rev. Lett. 44, 912 (1980)
R.N. Mohapatra, G. Senjanovic, Phys. Rev. D 23, 165 (1981)
H.V. Klapdor-Kleingrothaus, A. Dietz, H.L. Harney, I.V. Krivosheina, Mod. Phys. Lett. A 16, 2409 (2001)
M. Doi, T. Kotani, E. Takasugi, Prog. Theor. Phys. Suppl. 83, 1 (1985)
P. Bhupal Dev, S. Goswami, M. Mitra, W. Rodejohann, Phys. Rev. D 88, 091301 (2013)
R.M. Fonseca, M. Hirsch, Phys. Rev. D 95(3), 035033 (2017)
T. Hambye, J. Heeck, Phys. Rev. Lett. 120(17), 171801 (2018)
R.M. Fonseca, M. Hirsch, R. Srivastava, Phys. Rev. D 97(7), 075026 (2018)
R.M. Fonseca, M. Hirsch, Phys. Rev. D 98(1), 015035 (2018)
J. Heeck, W. Rodejohann, EPL 103(3), 32001 (2013)
S. Chakraborty, J. Chakrabortty, JHEP 10, 012 (2017)
C.W. Chiang, R. Huo, JHEP 09, 152 (2015)
R. Huo, JHEP 09, 037 (2015)
R. Huo, Phys. Rev. D 97(7), 075013 (2018)
J. Fuentes-Martin, J. Portoles, P. Ruiz-Femenia, JHEP 09, 156 (2016)
M. Krämer, B. Summ, A. Voigt, JHEP 01, 079 (2020)
R. Alonso, JHEP 05, 131 (2020)
J.C. Criado Áamo, Effective field theories for general extensions of the Standard Model with new particles. Ph.D. thesis, Granada U. (2019)
S. Adhikari, I. M. Lewis, M. Sullivan, (2020). arXiv:2003.10449 [hep-ph]
J. Chakrabortty, P. Ghosh, S. Mondal, T. Srivastava, Phys. Rev. D 93(11), 115004 (2016)
W. Konetschny, W. Kummer, Phys. Lett. B 70, 433 (1977)
G. Senjanovic, Nucl. Phys. B 153, 334 (1979)
J. Schechter, J.W.F. Valle, Phys. Rev. D 22, 2227 (1980)
T.M.P. Tait, Z.H. Yu, JHEP 03, 204 (2016)
B. Ren, K. Tsumura, X.G. He, Phys. Rev. D 84, 073004 (2011)
C. Cai, Z. Kang, Z. Luo, Z.H. Yu, H.H. Zhang, Chin. Phys. C 43(2), 023102 (2019)
E. Ma, D. Suematsu, Mod. Phys. Lett. A 24, 583 (2009)
F. del Aguila, S. Bar-Shalom, A. Soni, J. Wudka, Phys. Lett. B 670, 399 (2009)
Y. Liao, X.D. Ma, Phys. Rev. D 96(1), 015012 (2017)
M. Chala, A. Titov, JHEP 05, 139 (2020)
W. Buchmuller, R. Ruckl, D. Wyler, Phys. Lett. B 191, 442 (1987). [Erratum: Phys. Lett. B 448, 320 (1999)]
U.K. Dey, D. Kar, M. Mitra, M. Spannowsky, A.C. Vincent, Phys. Rev. D 98(3), 035014 (2018)
S. Bar-Shalom, J. Cohen, A. Soni, J. Wudka, Phys. Rev. D 100(5), 055020 (2019)
P. Bandyopadhyay, R. Mandal, Eur. Phys. J. C 78, 491 (2018)
D. Das, K. Ghosh, M. Mitra, S. Mondal, Phys. Rev. D 97(1), 015024 (2018)
E.E. Jenkins, A.V. Manohar, P. Stoffer, JHEP 01, 084 (2018)
E.E. Jenkins, A.V. Manohar, P. Stoffer, JHEP 03, 016 (2018)
J. Aebischer, M. Fael, C. Greub, J. Virto, JHEP 09, 158 (2017)
W. Dekens, P. Stoffer, JHEP 10, 197 (2019)
J. Brod, A. Gootjes-Dreesbach, M. Tammaro, J. Zupan, JHEP 10, 065 (2018)
G. Ecker, W. Grimus, H. Neufeld, Phys. Lett. B 127, 365 (1983)
W. Buchmuller, D. Wyler, Nucl. Phys. B 268, 621 (1986)
M.L. Swartz, Phys. Rev. D 40, 1521 (1989)
M. Pospelov, Phys. Rev. D 56, 259 (1997)
S. Kovalenko, Z. Lu, I. Schmidt, Phys. Rev. D 80, 073014 (2009)
D. Guadagnoli, R.N. Mohapatra, Phys. Lett. B 694, 386 (2011)
O. Seon, Y. Kwon, T. Iijima, I. Adachi, H. Aihara et al., Phys. Rev. D 84, 071106 (2011)
J. Barry, W. Rodejohann, JHEP 1309, 153 (2013)
M. Chrzaszcz, (2013). arXiv:1301.2088 [hep-ex]
J.N. Esteves, J.C. Romao, M. Hirsch, A. Vicente, W. Porod, F. Staub, JHEP 12, 077 (2010)
J.C. Helo, S. Kovalenko, I. Schmidt, Nucl. Phys. B 853, 80 (2011)
M. Blanke, A.J. Buras, K. Gemmler, T. Heidsieck, JHEP 03, 024 (2012)
S. Das, F. Deppisch, O. Kittel, J. Valle, Phys. Rev. D 86, 055006 (2012)
C.Q. Geng, D. Huang, JHEP 03, 103 (2017)
L. Silvestrini, M. Valli, Phys. Lett. B 799, 135062 (2019)
S. Davidson, Y. Kuno, M. Yamanaka, Phys. Lett. B 790, 380 (2019)
T. Hurth, S. Renner, W. Shepherd, JHEP 06, 029 (2019)
C. W. Murphy, arXiv:2005.00059 [hep-ph]
H. L. Li, Z. Ren, J. Shu, M. L. Xiao, J. H. Yu, Y. H. Zheng, arXiv:2005.00008 [hep-ph]
H. L. Li, Z. Ren, M. L. Xiao, J. H. Yu, Y. H. Zheng, arXiv:2007.07899 [hep-ph]
Y. Liao, X. D. Ma, arXiv:2007.08125 [hep-ph]
R. Mohapatra, J.C. Pati, Phys. Rev. D 11, 2558 (1975)
G. Senjanovic, R.N. Mohapatra, Phys. Rev. D 12, 1502 (1975)
J. Gunion, J. Grifols, A. Mendez, B. Kayser, F.I. Olness, Phys. Rev. D 40, 1546 (1989)
N.G. Deshpande, J.F. Gunion, B. Kayser, F.I. Olness, Phys. Rev. D 44, 837 (1991)
P. Duka, J. Gluza, M. Zralek, Ann. Phys. 280, 336 (2000)
G. Senjanovic, A. Sokorac, Phys. Rev. D 18, 2708 (1978)
J.A. Grifols, Phys. Rev. D 18, 2704 (1978)
F.I. Olness, M.E. Ebel, Phys. Rev. D 32, 1769 (1985)
M. Frank, H. Hamidian, C.S. Kalman, Phys. Rev. D 45, 241 (1992)
D. Chang, X.G. He, W.Y. Keung, B.H.J. McKellar, D. Wyler, Phys. Rev. D 46, 3876 (1992)
J. Maalampi, A. Pietilae, Z. Phys. C 59, 257 (1993)
J. Gluza, M. Zralek, Phys. Rev. D 51, 4695 (1995)
G. Bhattacharyya, A. Raychaudhuri, Phys. Lett. B 357, 119 (1995)
G.G. Boyarkina, O.M. Boyarkin, A.N. Senko, Eur. Phys. J. C 13, 99 (2000)
G. Barenboim, M. Gorbahn, U. Nierste, M. Raidal, Phys. Rev. D 65, 095003 (2002)
I. Gogoladze, Y. Mimura, S. Nandi, Phys. Lett. B 560, 204 (2003)
G. Azuelos, K. Benslama, J. Ferland, J. Phys. G32(2), 73 (2006)
K. Kiers, M. Assis, A.A. Petrov, Phys. Rev. D 71, 115015 (2005)
D.W. Jung, K.Y. Lee, Phys. Rev. D 78, 015022 (2008)
R.N. Mohapatra, Y. Zhang, Phys. Rev. D 89(5), 055001 (2014)
U. Aydemir, D. Minic, C. Sun, T. Takeuchi, Phys. Rev. D 91, 045020 (2015)
A. Maiezza, M. Nemevšek, F. Nesti, Phys. Rev. Lett. 115, 081802 (2015)
A. Maiezza, M. Nemevsek, Acta Phys. Polon. B 46(11), 2317 (2015)
P.S.B. Dev, R.N. Mohapatra, Y. Zhang, JHEP 05, 174 (2016)
J. Chakrabortty, (2010). arXiv:1003.3154 [hep-ph]
J. Chakrabortty, Phys. Lett. B 690, 382 (2010)
A. Maiezza, G. Senjanović, J.C. Vasquez, Phys. Rev. D 95(9), 095004 (2017)
F.F. Deppisch, T.E. Gonzalo, L. Graf, Phys. Rev. D 96(5), 055003 (2017)
P.S. Bhupal Dev, R.N. Mohapatra, W. Rodejohann, X.J. Xu, JHEP 02, 154 (2019)
H. Georgi, S.L. Glashow, Phys. Rev. Lett. 32, 438 (1974)
P. Langacker, Phys. Rept. 72, 185 (1981)
A.J. Buras, J.R. Ellis, M.K. Gaillard, D.V. Nanopoulos, Nucl. Phys. B 135, 66 (1978)
J. Chakrabortty, A. Raychaudhuri, Phys. Rev. D 81, 055004 (2010)
G.G. Ross, Grand Unified Theories (Benjamin-Cummings Pub. Co., Benjamin, 1985)
R.N. Mohapatra, Unification and Supersymmetry. The Frontiers of Quark - Lepton Physics (Springer, Berlin, 1986)
U. Ellwanger, C. Hugonie, A.M. Teixeira, Phys. Rept. 496, 1 (2010)
W. Ahmed, A. Karozas, Phys. Rev. D 98(2), 023538 (2018)
C.S. Aulakh, A. Melfo, G. Senjanovic, Phys. Rev. D 57, 4174 (1998)
Acknowledgements
We acknowledge the highly insightful discussions with Santosh Nadimpalli. We thank Arjun Bagchi, Shamik Banerjee, Diptarka Das, Nilay Kundu, Amitava Raychaudhuri for useful discussions, and their comments on the draft. This work is supported by the Science and Engineering Research Board, Government of India, under the agreements SERB/PHY/2016348 (Early Career Research Award) and SERB/PHY/2019501 (MATRICS) and Initiation Research Grant, agreement number IITK/PHY/2015077, by IIT Kanpur.
Author information
Authors and Affiliations
Corresponding author
Appendix A
Appendix A
1.1 Appendix A.1: Non-supersymmetric models
Below we shall discuss a couple of popular BSM scenarios and highlight the utility of the Hilbert Series in the construction of their operator sets.
1.1.1 Minimal left-right symmetric model (MLRSM)
The Minimal Left-Right Symmetric Model (MLRSM) is an intricate extension of the Standard Model where P and CP symmetries are on par with the gauge symmetries [97, 98, 142, 148, 158,159,160,161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186]. In this model the right handed neutrino is accommodated naturally. The field content and the transformation properties of those fields under the gauge groups \(SU(3)_C\otimes SU(2)_L\otimes SU(2)_R\otimes U(1)_{B-L}\) and their spins are enlisted in Table 46. We have also given the gauge group characters corresponding to each field in the table. The Lorentz characters can be conveniently obtained based on the spin of each particle. The Hilbert Series can be obtained by following a similar strategy as in the case of 2HDM. The Hilbert Series output and the corresponding covariant form of the renormalizable operators has been listed in Table 47. The categorization of the non-covariant HS output of mass dimension-6 has been shown in Table 48. See [45] for their covariant forms. All the operators are provided for general \(N_f\). Some of the operators vanish for \(N_f = 1\) and these have been highlighted by enclosing them in boxes in Table 48.
1.1.2 SU(5) Grand Unification - The Georgi Glashow Model
The SM gauge group \(SU(3)\otimes SU(2)\otimes U(1)\) can be successfully embedded in SU(5) – a unified group [187,188,189,190,191,192]. The field content of this model and their transformation properties are listed in Table 49.
We shall now utilize the strategy sketched in section 2.1 and show the explicit computation of the Haar measure and the characters of the relevant representations of SU(5).
Haar Measure: Using Eq. (23), we can obtain for SU(5), \(\varepsilon _1\) = \(z_1\), \(\varepsilon _2\) = \(z_1^{-1}z_2\), \(\varepsilon _3\) = \(z_2^{-1}z_3\), \(\varepsilon _4\) = \(z_3^{-1}z_4\) and \(\varepsilon _5\) = \(z_4^{-1}\). The Vandermonde determinant for this case is:
\(\varDelta (\varepsilon ^{-1})\) is obtained by replacing \(\varepsilon _i\) by \(\varepsilon _i^{-1}\) in the above expression. Then using Eq. (27),
Characters
-
The Fundamental Representation: \(5 \equiv (1,0,0,0)\)
Using Eq. (25), we get \(\mathbf {\lambda }\) = (1, 0, 0, 0, 0). Now, since \(\mathbf {\rho }\) = (4, 3, 2, 1, 0) therefore, \(\mathbf {r} = \mathbf {\lambda }+\mathbf {\rho } = (5,3,2,1,0)\) and the character is obtained as:
(A.3) -
The Anti-fundamental Representation: \({\overline{5}} \equiv (0,0,0,1)\)
With \(\mathbf {\lambda }\) = (1, 1, 1, 1, 0) and \(\mathbf {r} = \mathbf {\lambda }+\mathbf {\rho } = (5,4,3,2,0)\), the character is obtained as:
(A.4) -
The Decuplet Representation: \(10 \equiv (0,1,0,0)\)
With \(\mathbf {\lambda }\) = (1, 1, 0, 0, 0) and \(\mathbf {r} = \mathbf {\lambda }+\mathbf {\rho } = (5,4,2,1,0)\), the character is obtained as:
(A.5) -
The Adjoint Representation: \(24 \equiv (1,0,0,1)\)
With \(\mathbf {\lambda }\) = (2, 1, 1, 1, 0) and \(\mathbf {r} = \mathbf {\lambda }+\mathbf {\rho } = (6,4,3,2,0)\), the character is obtained as:
(A.6)
These results can be used to obtain the Hilbert Series for this model. We have tabulated the Hilbert Series as well as the covariant form of the operators that constitute the renormalizable Lagrangian in Table 50.
1.2 Appendix A.2: Supersymmetric models
We shall now discuss model building in the context of supersymmetric scenarios. For each of the following models we will enlist the chiral superfields and tabulate operators of various canonical dimensions constituted of these superfields. It must be noted that for each of these scenarios one can introduce vector superfields and with a suitable use of GrIP obtain the full operator set at different canonical dimensions.
1.2.1 Next to minimal supersymmetric standard model - NMSSM
The Next to Minimal Supersymmetric Standard Model extends MSSM by addition of a gauge group singlet chiral superfield \({\mathscr {S}}\). We have noted the transformation properties of the chiral superfields of this model under the gauge groups \(SU(3)_C\otimes SU(2)_L\otimes U(1)_Y\) in Table 51. We have collected the operators constituted only of chiral superfields of canonical dimensions-1, -2, -3, and -4 comprised of beyond MSSM interactions in Table 52, see Ref. [193].
1.2.2 The supersymmetric pati-salam model
The transformation properties of the superfields of the Supersymmetric Pati-Salam Model under the gauge groups \(SU(4)_C\otimes SU(2)_L\otimes SU(2)_R\) are enlisted in Table 53. The results for this model are based on [194]. We have listed the operators constituted only of chiral superfields of canonical dimensions-2, -3 and -4 in Table 54. The terms relevant to the phenomenology discussed in [194] are highlighted using red colour.
1.2.3 Minimal supersymmetric left-right model
The transformation properties of the superfields of the Minimal Supersymmetric Left-Right Model under the gauge groups \(SU(3)_C\otimes SU(2)_L\otimes SU(2)_R\otimes U(1)_{B-L}\) are enlisted in Table 55. We have reproduced the results of [195], i.e., the operators constituted only of chiral superfields of canonical dimensions-2, -3, and -4. We also extend the operator set by adding terms of canonical dimension-5. We have tabulated these in Table 56.
1.3 Appendix A.3: Dimensions and Dynkin labels for few representations of SU(N)
1.3.1 SU(2)
1.3.2 SU(3)
1.3.3 SU(4)
1.3.4 SU(5)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3
About this article
Cite this article
Banerjee, U., Chakrabortty, J., Prakash, S. et al. Characters and group invariant polynomials of (super)fields: road to “Lagrangian”. Eur. Phys. J. C 80, 938 (2020). https://doi.org/10.1140/epjc/s10052-020-8392-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-020-8392-x