An operator basis for the Standard Model with an added scalar singlet

Motivated by the possible di-gamma resonance at 750 GeV, we present a basis of effective operators for the Standard Model plus a scalar singlet at dimensions 5, 6, and 7. We point out that an earlier list at dimensions 5 and 6 contains two redundant operators at dimension 5.


Introduction
Both ATLAS [1] and CMS [2] have recently observed a slight excess in the γγ spectrum at an invariant mass of approximately 750 GeV. If this excess persists in the 2016 dataset, it will be apt to consider the relevant data in the most model independent way possible; any such approach will be invariably based on the number and nature of putative lagrangian terms which are consistent with the assumed symmetries of a new particle. Therefore, we present here a basis of operators up to and including mass dimension 7 for the simplest case: we assume Standard Model symmetries acting on the fields of the Standard Model plus a real scalar singlet, which we denote by φ. We assume flavour diagonal couplings of the fermions. At dimensions 5 and 6, a putative basis has been given recently in [3]. As we shall show, two linear combinations of the operators given there at dimension 5 are redundant (in the sense that they do not contribute to scattering amplitudes and can hence be eliminated from the basis). We also present a list of operators at dimension 7. As the large couplings required for the anomaly in γγ suggest that the cutoff scale of its effective field theory may be quite low, and as the number of basis operators at dimension 7 is still manageable, we reason that this list may also be useful.
In contrast to some recent elegant methods [4][5][6][7] using Hilbert series, we proceed by brute force, using a computer to enumerate both the possible terms consistent with given symmetries, and the redundancies between them. Although this approach taxes the computer at higher dimensions due to the exponential growth of terms and relations between them, it is tractable at the dimensions of interest, and, moreover, the code is generic and yields a wealth of explicit information on the possible choices of basis, and how to convert to or inbetween arbitrary bases, for any particular input of fields and SU(N )like symmetries. We will study these expressions systematically in a few interesting cases, including the Standard Model, in a forthcoming paper [8]. However, for now, we just summarise our approach for the Standard Model plus singlet in section 2, and then pick one basis according to simple criteria (such as minimising the number of derivatives in operators), writing it down in section 3. We compare with earlier results at dimensions 5 and 6 in section 4.

Method
We use Python code to exhaustively generate all products of fields of a given mass dimension that transform as a singlet under the Standard Model gauge and Lorentz symmetries. Thereafter, the program enumerates all linear combinations of operators which do not contribute to scattering amplitudes at the same mass dimension order; finally, it performs some simple linear algebra to determine a suitable basis of operators to parametrise measurable effects in scattering amplitudes. We postpone a fuller exposition of the program to a forthcoming paper [8], and provide instead the following summary. We consider the Standard Model fields, plus an additional scalar singlet, in irreps of the group SU(3) c × SU(2) L × U(1) Y × SO(3, 1). We parametrise the components of the irreps of the non-abelian SU(N ) gauge groups by upper indices (which transform in the fundamental irrep), lower indices (which transform in the conjugate irrep to the fundamental), and symmetric, anti-symmetric and traceless combinations thereof. Under Hermitian conjugation of the field, upper indices are lowered and vice versa. We treat the Lorentz group irreps as if they were the irreps of the direct product of two SU(2) groups, with the exception that, under Hermitian conjugation, their indices are swapped (i.e., undotted indices are dotted and vice versa). As we are considering only flavour diagonal couplings, we work with just one fermion generation (flavour indices may be trivially reinserted). Table 1 displays the fields in component form. 1 The only three non-Abelian group invariants are the Kronecker delta, which contracts an upper and lower index of the same group; the lower index Levi-Civita epsilon, which 1 In this formalism, the gauge boson field strengths are three component complex fields, e.g. B αβ . We relate them to the more familiar Bµν via the definition σ µ αα σ ν ββ Bµν = − 1 2 ( αβ B αβ + αβ B † αβ ), wherein all other quantities follow the conventions of [9].

JHEP08(2016)103
contracts N SU(N ) upper indices; and, similarly, the upper index Levi-Civita epsilon. The program generates, up to a specified dimension, all products of fields and their covariant derivatives with zero net U(1) Y charge. It then finds all possible ways of partitioning the upper and lower indices amongst epsilon and delta tensors. The resulting list of possible gauge and Lorentz singlet operators provide a hugely redundant description of measurable effects in scattering amplitudes. The program enumerates the following linear combinations of operators which make no such contribution to observables: Fierz relations (achieved by replacing products of epsilons with sums of products of deltas); integration by parts relations (by moving covariant derivatives amongst the fields of an operator); commuting derivatives (by switching the order of covariant derivatives and setting the difference equal to a sum of field strengths); and equation of motion relations, for operators of mass dimension greater than the spacetime dimension (by functionally differentiating the marginal operators and contracting the resulting equation of motion with all possible combinations of fields and derivatives).
For each linear combination the program constructs a row vector out of its coefficients, representing an unmeasurable direction in the vector space of operators. The position of each term's coefficient in the row vector corresponds to the ordering of the terms under an arbitrary comparison operator, such that undesirable terms that we hope to eliminate from the basis are to the left, and desirable terms that we wish to keep are to the right. Listed in descending priority, our preferences are for fewest derivatives, followed by fewest epsilons, followed by fewest group indices. 2 The row vectors are combined into the rows of a matrix, whose rank indicates how many operators in our original list can be discarded to leave a suitable basis. The program then puts the matrix in reduced row echelon form. Each operator whose coefficient is the first non-zero entry in a row of the reduced matrix may then be consistently eliminated.
We have verified the results of the program against a few simple examples, including the model documented in appendix B of [11], as well as the one generation Standard Model at dimensions 5 [12], 6 [10], and 7 [6]. Table 2 shows the number of independent operators at each mass dimension up to 7 for a one generation Standard Model plus a real scalar singlet. Note that we count an operator and its distinct Hermitian conjugate separately, and the entries hence reflect the number of real parameters that can be fit at each dimension, not accounting for the freedom to canonically normalise fields, nor to perform subsequent unitary/orthogonal transformations thereof.  Table 2. The number of independent operators at each dimension d ≤ 7 that contribute to scattering amplitudes. In the last two rows we partition them according to whether they do not or do contain a φ field respectively. and the operators of appendix D of [6] 4 at d = 7, plus their distinct Hermitian conjugates, plus the following at each dimension d ≤ 7 that include at least one scalar singlet φ. Greek under the left-handed part of the Lorentz group, and dotted Greek indices under the right-handed part. Horizontal lines separate operators that conserve both B and L, and those that don't. Note that the inclusion of a real scalar singlet spoils the correspondence between operator dimension and B and L charges which is present in the Standard Model [13,14].

Results
We use colours to denote the effects of requiring that the lagrangian respect CP, in the two cases that φ is CP even and CP odd. Pairs of adjacent operators in blue are Hermitian conjugates of each other (up to a sign): requiring CP invariance, these operators must have equal real coefficients (up to the same sign). Pairs of adjacent operators in green or orange are also Hermitian conjugates of each other (up to a sign): requiring CP invariance, these operators must have either equal real or equal imaginary coefficients (up to the same sign) in the respective cases of φ CP even and CP odd when green, or in the respective cases of φ CP odd and CP even when orange. Red operators are simply forbidden if we require CP invariance and that φ be CP odd.

JHEP08(2016)103 4 Comparison with previous results
At dimension 5, ref. [3] has two extra operators in their basis. In our notation, these may be written as αβ αβ φD αβ φD βα φ and αβ αβ φD αβ H † a D βα H a . To see that the first is redundant, we first integrate by parts to get a 'φ 2 φ' term and then use the equation of motion for φ to obtain a sum of products of φ and H fields, without derivatives. To see that the second is redundant, first integrate by parts to obtain a sum of three terms: 'φH † D 2 H', ' φH † H', and '∂ µ φH † ← → D µ H'. The former two operators may be expressed in terms of others in the basis using the equations of motion for the Higgs and singlet respectively. The latter term, via the B's equation of motion, may be expressed as a sum of '∂ µ φΨγ µ Ψ'-like terms, where Ψ is a generic fermion. Finally, integrating by parts again, and using the fermions' equations of motion, we obtain a sum of terms already in the basis.
Note that, at dimension 6, ref. [3] opt to exclude the lepton-number violating operator obtained by multiplying the Weinberg operator [12] in the SM at dimension 5 by φ, viz.
αβ ab de H d H b L L αa L L βe φ and its Hermitian conjugate.