Extra data

In the paper "Ricardo Cepedello, Renato M. Fonseca and Martin Hirsch, *Systematic classification of three-loop realizations of
the Weinberg operator*, arXiv:1807.00629 [hep-ph]" we analyzed all the possible ways of generating the Weinberg operator $HHLL$ via diagrams with three loops.

But in many cases, the fields used to generate a 3-loop diagram will also contribute to neutrino masses through other, more dominant diagrams with less loops.
Therefore we used the concept of a **genuine** 3-loop diagram to refer to those cases which can indeed provide the dominant neutrino mass contribution. One of our main conclusions is that, out of thousands, there are only 374 genuine diagrams, and each is associated to one of 73 topologies. By removing the Higgs VEV insertions from these 374 diagrams, one obtains 30 amputated genuine diagrams.

As explained in our paper, the genuine topologies, diagrams and amputated diagrams were divided into **normal** and **special** ones (the latter are only genuine
in models with very particular fields).

Due to the large number of diagrams and topologies involved, it was not advisable to present them all in printed form. Nevertheless, they can be found in this page. Thes files below contains the following data:

- All 3-loop connected topologies which can be built with 3- and 4-point vertices, containing 4 external lines [
allTopologies ] - The topologies in (I) for which there is at least one diagram yielding the Weinberg operator (2 external fermions + 2 external scalars) using only renormalizable vertices [
renormalizableTopologies ] - The topologies in (II) with no tadpoles not self-energy loops [
noTadpoleTopologies ] - The topologies in (III) which are not disconnected by deletion of one line (i.e. the 1-particule-irreducible ones) [
onePITopologies ] - What we called the "normal genuine topologies" [
normalGenuineTopologies ] - What we called the "special genuine topologies" [
specialGenuineTopologies ] - What we called the "non-genuine finite topologies" [
nonGenuineFiniteTopologies ] - What we called the "normal genuine diagrams" [
normalGenuineDiagrams ]] - What we called the "special genuine diagrams" [
specialGenuineDiagrams ] - What we called the "amputated normal genuine diagrams", i.e. normal genuine diagrams in the mass basis [
normalGenuineAmpDiagrams ] - What we called the "amputated special genuine diagrams", i.e. the special genuine diagrams in the mass basis [
specialGenuineAmpDiagrams ]

This data is here: . There are two files in the archive: *dataFile* with the raw data, and the Mathematica file *Weinberg3Loops.nb* which loads it and presents some examples. Topologies are saved as adjacency matrices A such that A[[i,j]] contains the number of lines between the vertex i and vertex j. They can be displayed graphically with the built-in function AdjacencyGraph.

Diagrams are also saved as matrices D, where D[[i,j]] is a list indicating what is connecting vertex i to vertex j ("F" stands for a fermion, and an "S" represents a scalar). For example D[[i,j]]={} would mean that the two vertices are not connected, {"S"} would mean that they are connected by a scalar, and {"S","F"} implies that a scalar and a fermion connect them. We have included in *dataFile* the function PaintLabelledDiagram which can be used to plot diagrams specified in this way.

Renato Fonseca

renatofonseca@gmail.com

or

fonseca@ipnp.mff.cuni.cz

16 July 2018