Box integrals with fermion bubbles for low-energy measurements of the weak mixing angle

Abstract

The Moller experiment and the P2 experiment aim at measuring the weak mixing angle at low scales. The Moller experiment uses $e^- e^- \rightarrow e^- e^-$-scattering, the P2 experiment uses $e^- N \rightarrow e^- N$-scattering. In both cases, two-loop electroweak corrections have to be taken into account, and here in particular diagrams which give rise to large logarithms. In this paper we compute a set of two-loop electroweak Feynman integrals for point-like particles, which are obtained from a box integral by the insertion of a light fermion loop. By rationalising all occurring square roots we show that these Feynman integrals can be expressed in terms of multiple polylogarithms. We present the results in a form, which makes the large logarithms manifest. We provide highly efficient numerical evaluation routines for these integrals.

1 Introduction

The Moller experiment [1] at Jefferson Lab and the P2 experiment [2] at the MESA accelerator at Mainz University will measure the weak mixing angle at low scales. The process studied at the Moller experiment is electron–electron scattering, the process studied at the P2 experiment is electron-nucleon scattering. In both cases, the experimental programs require theory input in the form of precision calculations.

Of particular importance are diagrams, which give rise to large logarithms. Neglecting the electron mass, we have for both experiments the hierarchy of scales

$$\begin{aligned} -t \;\; \ll \;\; s \sim m_N^2 \;\; \ll \;\; m_W^2 \sim m_Z^2, \end{aligned}$$

(1)

where s and t are the Mandelstam variables, $m_N$ the nucleon mass (only relevant for the P2 experiment) and $m_W$ and $m_Z$ the mass of the W-boson and Z-boson, respectively. Large logarithms arise due to the smallness of $(-t)$ and/or due to the large mass of the heavy gauge bosons. In this paper we consider a box diagram for point-like particles with the insertion of a light fermion loop both for the Moller experiment and the P2 experiment. This diagram is shown in Fig. 1. The wavy lines in this diagram may either be photons (massless) or heavy gauge bosons. In the case of Møller scattering the green line in Fig. 1 is massless, for $e^- N \rightarrow e^- N$-scattering the green line in Fig. 1 is massive with mass $m_N$. Depending on the mass configuration we have to calculate in total eight different cases, which we label topology A to topology H. The case where all lines are massless is rather easy. This case will be labelled as topology H. The opposite case, where all wavy lines have the mass of a heavy gauge boson (say $m_Z$) and the green line has the mass $m_N$ is rather involved and state-of-the-art in Feynman integral calculations. The complication arises from four square roots, which are associated with this topology. This latter case will be labelled as topology A. We compute the master integrals for all topologies A-H.

As a side remark we note that crossing the diagrams with a massive green line gives diagrams relevant to two-loop electroweak corrections and mixed two-loop QCD/electroweak corrections to the production of a pair of heavy particles at the LHC.

In this paper we perform an analytic calculation of these Feynman integrals. We note that a subset of these integrals together with other related integrals have been computed previously with numerical methods [3,4,5,6,7] or asymptotic approximations [8, 9].

We compute the Feynman integrals with the help of the method of differential equations [10,11,12]: Using integration-by-parts identities [13] we first derive a differential equation for a pre-canonical basis of master integrals. This differential equation is in general not in an $\varepsilon$-factorised form. We then construct a new basis, such that the differential equation is transformed to an $\varepsilon$-factorised form [14]. In doing so, we unavoidably need to introduce square roots. In total we encounter five different square roots. It is advisable to treat each topology separately, as not all five square roots occur simultaneously in a given topology. The most complicated case is topology A with four occurring square roots. For every topology we may simultaneously rationalise all occurring square roots. This shows that the Feynman integrals can be expressed in terms of multiple polylogarithms. Furthermore, by choosing an appropriate boundary point and by isolating trailing zeros in powers of single logarithms we may make all large logarithms manifest. For all topologies we provide a highly efficient numerical C++-program, which evaluates the master integrals in the kinematic region of interest with arbitrary precision.

For phenomenological applications our results can be used as follows: Let us first consider the case of Møller scattering. It is well-known that all occurring Feynman integrals in a scattering amplitude can be reduced to master integrals. Standard integration-by-parts reduction programs like FIRE/Litered [15,16,17,18], Reduze [19, 20], Kira [21, 22] or FiniteFlow [23, 24] facilitate this task. In general, these programs reduce Feynman integrals to a pre-canonical basis of master integrals. Our starting point is the default choice of Kira for a pre-canonical basis of master integrals. The integration-by-parts reduction programs can be used to convert this basis to any other pre-canonical basis. The pre-canonical basis is related by a rotation matrix to the basis of uniform transcendental weight constructed in this paper. The rotation matrix and its inverse are given in the supplementary electronic file attached to the arxiv version of this article. The master integrals of uniform transcendental weight are computed with the provided C++-programs, again given in the supplementary electronic file attached to the arxiv version of this article.

The case of electron-nucleon scattering has additional complications due to the hadronic nature of the nucleon. For the details how calculations are done in this situation we refer to Refs. [25,26,27,28,29,30,31,32,33]. The main interest is the coefficient of the large logarithm related to the heavy boson mass and we provide the master integrals to extract this coefficient. Let us emphasise that although our calculation is with point-like particles, the inclusion of form factors for the coupling of a nucleon to a gauge boson is straightforward, as long as the form factors are modelled by rational functions in the momenta, which do not introduce new singularities. On the other hand, the inclusion of a nucleon resonance introduces another kinematic variable and leads to loop integrals beyond the ones considered in this paper.

This paper is organised as follows: In Sect. 2 we show that due to partial fractioning we only need to compute a reduced graph. In Sect. 3 we introduce the notation for the Feynman integrals. In Sect. 4 we present for all topologies a basis of master integrals of uniform transcendental weight. In Sect. 5 we give the differential equation for each topology and list all differential one-forms appearing in the differential equations. The differential one-forms are dlog-forms with algebraic functions as argument. The algebraic part is given by five square roots. In total we encounter five different square roots. In Sect. 6 we show that for each topology all occurring square roots can be rationalised. As a consequence, all Feynman integrals can be expressed in terms of multiple polylogarithms. In order to solve the differential equations, we need boundary values. These are given in Sect. 7. In Sect. 8 we present numerical results and the leading large logarithms. Finally, our conclusions are given in Sect. 9. In Appendix A we show for all master integrals the corresponding diagrams. In Appendix B we describe the content of the supplementary electronic file attached to the arxiv version of this article. In Appendix C we collect for convenience the corresponding one-loop integrals in the same notation as used for the two-loop integrals.

2 Preliminaries

We are interested in the Feynman graph shown in Fig. 1. The green line could either be a massless fermion or a nucleon (with non-zero mass $m_N$).

Fig. 1

The two-loop Feynman graph. Wavy lines are either photons (massless) or heavy gauge bosons (massive). The mass of the green line is either zero (this case corresponds to the Moller experiment) or massive with mass $m_N$ (this case corresponds to the P2 experiment). All other particles are assumed to be massless

The wavy lines are either massless gauge bosons (photons) or massive gauge bosons (Z-bosons or W-bosons). We are in particular interested in the case, where at least one of the wavy lines is a massive gauge boson. The case where all of them are photons is significantly simpler and only included for completeness. The black solid lines correspond to massless fermions. For $e^- e^- \rightarrow e^- e^-$-scattering we take the green line to be massless, for $e^- N \rightarrow e^- N$-scattering we take the green line to be massive. It is sufficient to focus on the case, where the heavy gauge boson is the Z-boson. As we neglect the electron mass, electrons and neutrinos both have zero mass. Furthermore we do not distinguish between the proton and the neutron mass. With these approximations the case with heavy W-bosons gives rise to exactly the same integrals. In the following we will denote the heavy gauge boson mass by $m_Z$.

We recall that any tensor integral can be reduced to scalar integrals [34, 35]. Therefore, although we are interested in integrals with fermions and gauge bosons, what we have to calculate are scalar integrals.

There is one immediate simplification: The momenta flowing through the propagators labelled $4_a$ and $4_b$ in Fig. 1 are the same. The two propagators may have equal mass (either $m_{4_a}=m_{4_b}=0$ or $m_{4_a}=m_{4_b}=m_Z$) or unequal mass (either $m_{4_a}=0, m_{4_b}=m_Z$ or $m_{4_a}=m_Z, m_{4_b}=0$). In the latter case we may use partial fraction decomposition

$$\begin{aligned}{} & {} \frac{1}{\left( -q^2+m_{4_a}^2\right) \left( -q^2+m_{4_b}^2\right) } \nonumber \\{} & {} \quad = \frac{1}{m_{4_b}^2-m_{4_a}^2} \left[ \frac{1}{\left( -q^2+m_{4_a}^2\right) } - \frac{1}{\left( -q^2+m_{4_b}^2\right) } \right] . \end{aligned}$$

(2)

Fig. 2

The reduced Feynman graph

We therefore have to consider only the reduced topology shown in Fig. 2 with

$$\begin{aligned} m_2, m_4 \; \in \; \left\{ 0, m_Z \right\} ,{} & {} m_3 \; \in \; \left\{ 0, m_N \right\} . \end{aligned}$$

(3)

The external momenta satisfy

$$\begin{aligned} p_1^2 \; = \; p_4^2 \; = \; 0,{} & {} p_2^2 \; = \; p_3^2 \; = \; m_3^2. \end{aligned}$$

(4)

We denote the Mandelstam variables by

$$\begin{aligned} s \;= & {} \; \left( p_1+p_2\right) ^2,\nonumber \\ t \;= & {} \; \left( p_2+p_3\right) ^2,\nonumber \\ u \;= & {} \; \left( p_1+p_3\right) ^2. \end{aligned}$$

(5)

3 Notation

We need to consider an auxiliary graph associated to the reduced graph of Fig. 2, such that any scalar product involving at least one loop momentum can be expressed as a linear combination of inverse propagators. With three independent external momenta and two independent loop momenta this associated graph must have nine internal propagators. We therefore consider the family of integrals

$$\begin{aligned}{} & {} I_{\nu _1 \nu _2 \nu _3 \nu _4 \nu _5 \nu _6 \nu _7 \nu _8 \nu _9} \nonumber \\{} & {} \quad = e^{2 \gamma _{\textrm{E}}\varepsilon } \left( \mu ^2\right) ^{\nu -D} \int \frac{d^Dk_1}{i \pi ^{\frac{D}{2}}} \frac{d^Dk_2}{i \pi ^{\frac{D}{2}}} \prod \limits _{j=1}^9 \frac{1}{ P_j^{\nu _j} }, \end{aligned}$$

(6)

where $\gamma _{\textrm{E}}$ denotes the Euler–Mascheroni constant, $D=4-2\varepsilon$ is the number of space-time dimensions, $\mu$ is an arbitrary scale introduced to render the Feynman integral dimensionless and the quantity $\nu$ is given by

$$\begin{aligned} \nu= & {} \sum \limits _{j=1}^9 \nu _j. \end{aligned}$$

(7)

We will further use the notation $p_{ij}=p_i+p_j$, $p_{ijk}=p_i+p_j+p_k$. The inverse propagators are given by

$$\begin{aligned} P_1&= -k_1^2, \quad P_2 = -\left( k_1-p_1\right) ^2 + m_2^2, \quad \nonumber \\ P_3&= -\left( k_1-p_{12}\right) ^2 + m_3^2, \nonumber \\ P_4&= -\left( k_1-p_{123}\right) ^2 + m_4^2, \quad P_5 = -k_2^2, \quad \nonumber \\ P_6&= -\left( k_1+k_2-p_{123}\right) ^2, \nonumber \\ P_7&= -\left( k_1+k_2+p_{12}\right) ^2, \quad \nonumber \\ P_8&= -\left( k_1+k_2-p_{1}\right) ^2, \nonumber \\ P_9&= -\left( k_1+k_2\right) ^2. \end{aligned}$$

(8)

The graph for this family is shown in Fig. 3.

Fig. 3

The auxiliary graph. Green lines correspond to a particle with mass $m_3$, orange lines correspond to a particle with mass $m_4$ and red lines correspond to a particle with mass $m_2$

We are interested in the sectors, for which we have

$$\begin{aligned} \nu _7, \nu _8, \nu _9\le & {} 0. \end{aligned}$$

(9)

We define a sector id (or topology id) by

$$\begin{aligned} \textrm{id}= & {} \sum \limits _{j=1}^9 2^{j-1} \Theta \left( \nu _j-\frac{1}{2}\right) . \end{aligned}$$

(10)

Here, $\Theta (x)$ denotes the Heaviside step function. Since we assume $\nu _j \in {\mathbb Z}$, the shift by $(-1/2)$ avoids any ambiguity in the definition of $\Theta (0)$.

We have to consider eight cases, depending on whether the masses $(m_2,m_3,m_4)$ are non-zero or zero. We define eight topologies

$$\begin{aligned} A: \;\;&(m_2,m_3,m_4) = (m_Z,m_N,m_Z), \nonumber \\ E:\;\;&(m_2,m_3,m_4) = (m_Z,0,m_Z), \nonumber \\ B: \;\;&(m_2,m_3,m_4) = (0,m_N,m_Z), \nonumber \\ F: \;\;&(m_2,m_3,m_4) = (0,0,m_Z), \nonumber \\ C: \;\;&(m_2,m_3,m_4) = (m_Z,m_N,0), \nonumber \\ G: \;\;&(m_2,m_3,m_4) = (m_Z,0,0),\nonumber \\ D: \;\;&(m_2,m_3,m_4) = (0,m_N,0), \nonumber \\ H: \;\;&(m_2,m_3,m_4) = (0,0,0). \end{aligned}$$

(11)

We write

$$\begin{aligned} I_{\nu _1 \nu _2 \nu _3 \nu _4 \nu _5 \nu _6 \nu _7 \nu _8 \nu _9}^X,{} & {} X \; \in \; \left\{ A,B,C,D,E,F,G,H \right\} \end{aligned}$$

(12)

to denote the corresponding integrals.

The total number of master integrals for the various topologies are shown in Table 1.

Table 1 The number of master integrals for a given topology

In defining master integrals of uniform transcendental weight we will encounter five square roots.

Table 2 The various roots appearing in a given topology

These are given by

$$\begin{aligned} r_1= & {} \sqrt{-t\left( 4m_N^2-t\right) }, \nonumber \\ r_2= & {} \sqrt{-t\left( 4m_Z^2-t\right) }, \nonumber \\ r_3= & {} \sqrt{-m_Z^2\left( 4m_N^2-m_Z^2\right) }, \nonumber \\ r_4= & {} \sqrt{s t \left[ s t -4m_Z^2\left( m_Z^2 + s\right) \right] }. \nonumber \\ r_5= & {} \sqrt{-t\left[ -t \left( m_N^2-s\right) ^2+4m_Z^2\left( m_Z^2 s + \left( m_N^2-s\right) ^2\right) \right] }.\nonumber \\ \end{aligned}$$

(13)

We have chosen the arguments of the five square roots such that in the region of interest ($t<0$, $s>0$, $m_Z^2 \gg m_N^2,s,(-t)$) the arguments of all five roots are positive. In this region we chose the sign of the square roots such that all five roots are positive. Table 2 shows for each topology the roots appearing in this topology.

The first graph polynomial [36] for the auxiliary graph shown in Fig. 3 reads

$$\begin{aligned}{} & {} \mathcal {U}\left( a_1,a_2,a_3,a_4,a_5,a_6,a_7,a_8,a_9\right) \nonumber \\{} & {} \quad = \left( a_1+a_2+a_3+a_4\right) \left( a_6+a_7+a_8+a_9\right) \nonumber \\{} & {} \qquad + a_5 \left( a_1+a_2+a_3+a_4+a_6+a_7+a_8+a_9\right) . \end{aligned}$$

(14)

We introduce an operator $\textbf{i}^+$, which raises the power of the propagator i by one and multiplies by $\nu _i$, e.g.

$$\begin{aligned} \textbf{1}^+ I_{\nu _1 \nu _2 \nu _3 \nu _4 \nu _5 \nu _6 \nu _7 \nu _8 \nu _9}= & {} \nu _1 \cdot I_{(\nu _1+1) \nu _2 \nu _3 \nu _4 \nu _5 \nu _6 \nu _7 \nu _8 \nu _9}. \end{aligned}$$

(15)

The notation with an extra prefactor $\nu _j$ follows Ref. [37]. In addition we define the operator $\textbf{D}^-$, which lowers the dimension of space-time by two units through

$$\begin{aligned} \textbf{D}^- I_{\nu _1 \nu _2 \nu _3 \nu _4 \nu _5 \nu _6 \nu _7 \nu _8 \nu _9}\left( D \right)= & {} I_{\nu _1 \nu _2 \nu _3 \nu _4 \nu _5 \nu _6 \nu _7 \nu _8 \nu _9}\left( D-2 \right) \!. \end{aligned}$$

(16)

The dimensional shift relations read [34, 35]

$$\begin{aligned}{} & {} \textbf{D}^- I_{\nu _1 \nu _2 \nu _3 \nu _4 \nu _5 \nu _6 \nu _7 \nu _8 \nu _9}\left( D\right) \nonumber \\{} & {} \quad = \mathcal {U}\left( \textbf{1}^+, \textbf{2}^+, \textbf{3}^+, \textbf{4}^+, \textbf{5}^+, \textbf{6}^+, \textbf{7}^+, \textbf{8}^+, \textbf{9}^+ \right) \nonumber \\{} & {} \quad I_{\nu _1 \nu _2 \nu _3 \nu _4 \nu _5 \nu _6 \nu _7 \nu _8 \nu _9}\left( D\right) \! . \end{aligned}$$

(17)

4 The master integrals

We will treat each topology separately. The main motivation is that this allows us to rationalise for each topology all occurring square roots. This introduces a small redundancy, as the same sub-sectors may occur in more than one topology. This redundancy provides an additional cross-check, as the sub-sectors are computed with different rationalisations and different integration paths.

4.1 Pre-canonical master integrals

Standard integration-by-parts reduction programs like FIRE/Litered [15,16,17,18], Reduze [19, 20], Kira [21, 22] or FiniteFlow [23, 24] are capable to express any relevant scalar Feynman integral as a linear combination of master integrals. The chosen master integrals depend on the ordering criteria in the Laporta algorithm [38]. In general, the chosen master integrals are not of uniform weight. Possible pre-canonical bases are:

$$\begin{aligned} I^A= & {} \left( I^A_{010011000}, I^A_{\left( -1\right) 10011000}, I^A_{001011000}, \right. \nonumber \\{} & {} I^A_{000111000}, I^A_{101011000}, I^A_{011011000}, I^A_{\left( -1\right) 11011000}, \nonumber \\{} & {} I^A_{010111000}, I^A_{001111000}, I^A_{111011000}, I^A_{111\left( -1\right) 11000},\nonumber \\{} & {} \left. I^A_{110111000}, I^A_{101111000}, I^A_{011111000}, I^A_{111111000} \right) ^T, \nonumber \\ I^B= & {} \left( I^B_{010011000}, I^B_{001011000}, I^B_{000111000}, I^B_{101011000},\right. \nonumber \\{} & {} I^B_{011011000}, I^B_{010111000}, I^B_{001111000}, I^B_{111011000}, \nonumber \\{} & {} \left. I^B_{101111000}, I^B_{011111000}, I^B_{111111000} \right) ^T, \nonumber \\ I^C= & {} \left( I^C_{010011000}, I^C_{\left( -1\right) 10011000}, I^C_{001011000}, I^C_{101011000}, \right. \nonumber \\{} & {} \left. I^C_{011011000},I^C_{\left( -1\right) 11011000}, I^C_{111011000}, I^C_{111\left( -1\right) 11000} \right) ^T, \nonumber \\ I^D= & {} \left( I^D_{010011000}, I^D_{001011000}, I^D_{101011000}, I^D_{011011000}, I^D_{111011000} \right) ^T, \nonumber \\ I^E= & {} \left( I^E_{010011000}, I^E_{\left( -1\right) 10011000}, I^E_{000111000}, I^E_{101011000}, I^E_{010111000}, \right. \nonumber \\{} & {} \left. I^E_{111011000}, I^E_{111\left( -1\right) 11000}, I^E_{110111000}, I^E_{101111000}, I^E_{111111000} \right) ^T, \nonumber \\ I^F= & {} \left( I^F_{010011000}, I^F_{000111000}, I^F_{101011000}, I^F_{010111000}, \right. \nonumber \\{} & {} \left. I^F_{111011000}, I^F_{101111000}, I^F_{111111000} \right) ^T, \nonumber \\ I^G= & {} \left( I^G_{010011000}, I^G_{\left( -1\right) 10011000}, I^G_{101011000}, \right. \nonumber \\{} & {} \left. I^G_{111011000}, I^G_{111\left( -1\right) 11000} \right) ^T, \nonumber \\ I^H= & {} \left( I^H_{010011000}, I^H_{101011000}, I^H_{111011000} \right) ^T. \end{aligned}$$

(18)

In the following, we will take these pre-canonical bases as our starting point. Diagrams for all master sectors are shown in Appendix A.

4.2 Master integrals of uniform transcendental weight

Below we present for all eight topologies master integrals of uniform transcendental weight. They are related to the pre-canonical basis by

$$\begin{aligned} J^X= & {} U^X I^X, \;\;\;\;\;\; X \in \left\{ A,B,C,D,E,F,G,H \right\} \!. \end{aligned}$$

(19)

The dimension of the matrix $U^X$ is given by the number of master integrals for topology X. The matrices $U^X$ are given in an electronic file attached to the arxiv version of this article. The master integrals of uniform transcendental weight are constructed by analysing the maximal cut in the loop-by-loop Baikov representation [37, 39]. We have chosen the master integrals such that they simplify in kinematic limits (e.g. $m_N\rightarrow 0$ or $m_Z\rightarrow 0$) to the master integrals in the simpler topologies.

4.2.1 Topology A

A possible choice of master integrals of uniform transcendental weight for topology A is given by:

$$\begin{aligned} \text{ Sector } \text{50: } \;\;\;\; J^{A}_{1}&= \;\; \varepsilon ^2 \left( \frac{m_Z^2-t}{\mu ^2}\right) \; \textbf{D}^- I^A_{010011000}, \nonumber \\ J^{A}_{2}&= \;\; \varepsilon ^2 \; \textbf{D}^- I^A_{010\left( -1\right) 11000} \nonumber \\&\quad - \varepsilon ^2 \left( \frac{m_Z^2}{\mu ^2}\right) \; \textbf{D}^- I^A_{010011000}, \nonumber \\ \text{ Sector } \text{52: } \;\;\;\; J^{A}_{3}&= \;\; \varepsilon \left( 1+4\varepsilon \right) \left( \frac{m_N^2}{\mu ^2} \right) \; \textbf{D}^- I^A_{001011000}, \nonumber \\ \text{ Sector } \text{56: } \;\;\;\; J^{A}_{4}&= \;\; \varepsilon ^2 \left( \frac{m_Z^2}{\mu ^2}\right) \; \textbf{D}^- I^A_{000111000}, \nonumber \\ \text{ Sector } \text{53: } \;\;\;\; J^{A}_{5}&= \;\; -4 \varepsilon ^3 \left( \frac{m_N^2-s}{\mu ^2}\right) I^A_{101012000}, \nonumber \\ \text{ Sector } \text{54: } \;\;\;\; J^{A}_{6}&= \;\; \varepsilon ^3 \left( \frac{r_1}{\mu ^2}\right) I^A_{011012000}, \nonumber \\ J^{A}_{7}&= \;\; \varepsilon ^2 \left( \frac{r_3}{\mu ^2}\right) \; \textbf{D}^- I^A_{011\left( -1\right) 11000} \nonumber \\&\quad - \varepsilon ^2 \left( \frac{r_3}{\mu ^2}\right) \left( \frac{m_Z^2}{\mu ^2}\right) \; \textbf{D}^- I^A_{011011000}, \nonumber \\ \text{ Sector } \text{58: } \;\;\;\; J^{A}_{8}&= \;\; \varepsilon ^2 \left( \frac{r_2}{\mu ^2}\right) \left( \frac{m_Z^2}{\mu ^2}\right) \; \textbf{D}^- I^A_{010111000} \nonumber \\&-\quad \varepsilon ^2 \left( \frac{r_2}{\mu ^2}\right) \; \textbf{D}^- I^A_{010011000}, \nonumber \\ \text{ Sector } \text{60: } \;\;\;\; J^{A}_{9}&= \;\; \varepsilon ^2 \left( \frac{m_Z^2}{\mu ^2}\right) \left( \frac{r_3}{\mu ^2}\right) \; \textbf{D}^- I^A_{001111000} \nonumber \\&\quad - \varepsilon ^2 \left( \frac{r_3}{\mu ^2}\right) \; \textbf{D}^- I^A_{001011000}, \nonumber \\ \text{ Sector } \text{55: } \;\;\;\; J^{A}_{10}&= \;\; \varepsilon ^3 \left( \frac{m_N^2-s}{\mu ^2}\right) \left( \frac{m_Z^2-t}{\mu ^2}\right) I^A_{111012000}, \nonumber \\ J^{A}_{11}&= \;\; \varepsilon ^3 \left( \frac{m_N^2-s}{\mu ^2}\right) I^A_{111\left( -1\right) 12000} \nonumber \\&\quad - \varepsilon ^3 \left( \frac{m_N^2-s}{\mu ^2}\right) \left( \frac{m_Z^2}{\mu ^2}\right) I^A_{111012000}, \nonumber \\ \text{ Sector } \text{59: } \;\;\;\; J^{A}_{12}&= \;\; \varepsilon ^3 \left( \frac{-t}{\mu ^2}\right) \left( \frac{m_Z^2}{\mu ^2}\right) I^A_{110112000}, \nonumber \\ \text{ Sector } \text{61: } \;\;\;\; J^{A}_{13}&= \;\; \varepsilon ^3 \left( \frac{m_N^2-s}{\mu ^2}\right) \left( \frac{m_Z^2}{\mu ^2}\right) I^A_{101112000}, \nonumber \\ \text{ Sector } \text{62: } \;\;\;\; J^{A}_{14}&= \;\; \varepsilon ^3 \left( \frac{r_1}{\mu ^2}\right) \left( \frac{m_Z^2}{\mu ^2}\right) I^A_{011112000}, \nonumber \\ \text{ Sector } \text{63: } \;\;\;\; J^{A}_{15}&= \;\; \varepsilon ^3 \left( \frac{r_5}{\mu ^4}\right) \left( \frac{m_Z^2}{\mu ^2}\right) I^A_{111112000} \nonumber \\&\quad - \varepsilon ^3 \left( \frac{r_5}{\mu ^4}\right) I^A_{111012000}. \end{aligned}$$

(20)

4.2.2 Topology B

A possible choice of master integrals of uniform transcendental weight for topology B is given by:

$$\begin{aligned} \text{ Sector } \text{50: } \;\;\;\; J^{B}_{1}&= \;\; \varepsilon ^2 \left( \frac{-t}{\mu ^2}\right) I^B_{010022000}, \nonumber \\ \text{ Sector } \text{52: } \;\;\;\; J^{B}_{2}&= \;\; \varepsilon \left( 1+4\varepsilon \right) \left( \frac{m_N^2}{\mu ^2} \right) \; \textbf{D}^- I^B_{001011000}, \nonumber \\ \text{ Sector } \text{56: } \;\;\;\; J^{B}_{3}&= \;\; \varepsilon ^2 \left( \frac{m_Z^2}{\mu ^2}\right) \; \textbf{D}^- I^B_{000111000}, \nonumber \\ \text{ Sector } \text{53: } \;\;\;\; J^{B}_{4}&= \;\; -4 \varepsilon ^3 \left( \frac{m_N^2-s}{\mu ^2}\right) I^B_{101012000}, \nonumber \\ \text{ Sector } \text{54: } \;\;\;\; J^{B}_{5}&= \;\; \varepsilon ^3 \left( \frac{r_1}{\mu ^2}\right) I^B_{011012000}, \nonumber \\ \text{ Sector } \text{58: } \;\;\;\; J^{B}_{6}&= \;\; \varepsilon ^2 \left( \frac{m_Z^2}{\mu ^2}\right) \left( \frac{m_Z^2-t}{\mu ^2}\right) \; \textbf{D}^- I^B_{010111000}\nonumber \\&\quad - \varepsilon ^2 \left( \frac{m_Z^2}{\mu ^2}\right) \; \textbf{D}^- I^B_{010011000}, \nonumber \\ \text{ Sector } \text{60: } \;\;\;\; J^{B}_{7}&= \;\; \varepsilon ^2 \left( \frac{m_Z^2}{\mu ^2}\right) \left( \frac{r_3}{\mu ^2}\right) \; \textbf{D}^- I^B_{001111000} \nonumber \\&\quad - \varepsilon ^2 \left( \frac{r_3}{\mu ^2}\right) \; \textbf{D}^- I^B_{001011000}, \nonumber \\ \text{ Sector } \text{55: } \;\;\;\; J^{B}_{8}&= \;\; \varepsilon ^3 \left( \frac{m_N^2-s}{\mu ^2}\right) \left( \frac{-t}{\mu ^2}\right) I^B_{111012000}, \nonumber \\ \text{ Sector } \text{61: } \;\;\;\; J^{B}_{9}&= \;\; \varepsilon ^3 \left( \frac{m_N^2-s}{\mu ^2}\right) \left( \frac{m_Z^2}{\mu ^2}\right) I^B_{101112000}, \nonumber \\ \text{ Sector } \text{62: } \;\;\;\; J^{B}_{10}&= \;\; \varepsilon ^3 \left( \frac{r_1}{\mu ^2}\right) \left( \frac{m_Z^2}{\mu ^2}\right) I^B_{011112000}, \nonumber \\ \text{ Sector } \text{63: } \;\;\;\; J^{B}_{11}&= \;\; \varepsilon ^3 \left( \frac{m_N^2-s}{\mu ^2}\right) \left( \frac{m_Z^2-t}{\mu ^2}\right) \left( \frac{m_Z^2}{\mu ^2}\right) I^B_{111112000} \nonumber \\&\quad - \varepsilon ^3 \left( \frac{m_N^2-s}{\mu ^2}\right) \left( \frac{m_Z^2}{\mu ^2}\right) I^B_{111012000}. \end{aligned}$$

(21)

4.2.3 Topology C

A possible choice of master integrals of uniform transcendental weight for topology C is given by:

$$\begin{aligned} \text{ Sector } \text{50: } \;\;\;\; J^{C}_{1}&= \;\; \varepsilon ^2 \left( \frac{m_Z^2-t}{\mu ^2}\right) \; \textbf{D}^- I^C_{010011000}, \nonumber \\ J^{C}_{2}&= \;\; \varepsilon ^2 \; \textbf{D}^- I^C_{010\left( -1\right) 11000}, \nonumber \\ \text{ Sector } \text{52: } \;\;\;\; J^{C}_{3}&= \;\; \varepsilon \left( 1+4\varepsilon \right) \left( \frac{m_N^2}{\mu ^2} \right) \; \textbf{D}^- I^C_{001011000}, \nonumber \\ \text{ Sector } \text{53: } \;\;\;\; J^{C}_{4}&= \;\; -4 \varepsilon ^3 \left( \frac{m_N^2-s}{\mu ^2}\right) I^C_{101012000}, \nonumber \\ \text{ Sector } \text{54: } \;\;\;\; J^{C}_{5}&= \;\; \varepsilon ^3 \left( \frac{r_1}{\mu ^2}\right) I^C_{011012000}, \nonumber \\ J^{C}_{6}&= \;\; \varepsilon ^2 \left( \frac{r_3}{\mu ^2}\right) \; \textbf{D}^- I^C_{011\left( -1\right) 11000}, \nonumber \\ \text{ Sector } \text{55: } \;\;\;\; J^{C}_{7}&= \;\; \varepsilon ^3 \left( \frac{m_N^2-s}{\mu ^2}\right) \left( \frac{m_Z^2-t}{\mu ^2}\right) I^C_{111012000}, \nonumber \\ J^{C}_{8}&= \;\; \varepsilon ^3 \left( \frac{m_N^2-s}{\mu ^2}\right) I^C_{111\left( -1\right) 12000}. \end{aligned}$$

(22)

4.2.4 Topology D

A possible choice of master integrals of uniform transcendental weight for topology D is given by:

$$\begin{aligned} \text{ Sector } \text{50: } \;\;\;\; J^{D}_{1}&= \;\; \varepsilon ^2 \left( \frac{-t}{\mu ^2}\right) I^D_{010022000}, \nonumber \\ \text{ Sector } \text{52: } \;\;\;\; J^{D}_{2}&= \;\; \varepsilon \left( 1+4\varepsilon \right) \left( \frac{m_N^2}{\mu ^2} \right) \; \textbf{D}^- I^D_{001011000}, \nonumber \\ \text{ Sector } \text{53: } \;\;\;\; J^{D}_{3}&= \;\; -4 \varepsilon ^3 \left( \frac{m_N^2-s}{\mu ^2}\right) I^D_{101012000}, \nonumber \\ \text{ Sector } \text{54: } \;\;\;\; J^{D}_{4}&= \;\; \varepsilon ^3 \left( \frac{r_1}{\mu ^2}\right) I^D_{011012000}, \nonumber \\ \text{ Sector } \text{55: } \;\;\;\; J^{D}_{5}&= \;\; \varepsilon ^3 \left( \frac{m_N^2-s}{\mu ^2}\right) \left( \frac{-t}{\mu ^2}\right) I^D_{111012000}. \end{aligned}$$

(23)

4.2.5 Topology E

A possible choice of master integrals of uniform transcendental weight for topology E is given by:

$$\begin{aligned} \text{ Sector } \text{50: } \;\;\;\; J^{E}_{1}&= \;\; \varepsilon ^2 \left( \frac{m_Z^2-t}{\mu ^2}\right) \; \textbf{D}^- I^E_{010011000}, \nonumber \\ J^{E}_{2}&= \;\; \varepsilon ^2 \; \textbf{D}^- I^E_{010\left( -1\right) 11000} \nonumber \\&\quad - \varepsilon ^2 \left( \frac{m_Z^2}{\mu ^2}\right) \; \textbf{D}^- I^E_{010011000}, \nonumber \\ \text{ Sector } \text{56: } \;\;\;\; J^{E}_{3}&= \;\; \varepsilon ^2 \left( \frac{m_Z^2}{\mu ^2}\right) \; \textbf{D}^- I^E_{000111000}, \nonumber \\ \text{ Sector } \text{53: } \;\;\;\; J^{E}_{4}&= \;\; -4 \varepsilon ^3 \left( \frac{-s}{\mu ^2}\right) I^E_{101012000}, \nonumber \\ \text{ Sector } \text{58: } \;\;\;\; J^{E}_{5}&= \;\; \varepsilon ^2 \left( \frac{r_2}{\mu ^2}\right) \left( \frac{m_Z^2}{\mu ^2}\right) \; \textbf{D}^- I^F_{010111000} \nonumber \\&\quad - \varepsilon ^2 \left( \frac{r_2}{\mu ^2}\right) \; \textbf{D}^- I^F_{010011000}, \nonumber \\ \text{ Sector } \text{55: } \;\;\;\; J^{E}_{6}&= \;\; \varepsilon ^3 \left( \frac{-s}{\mu ^2}\right) \left( \frac{m_Z^2-t}{\mu ^2}\right) I^E_{111012000}, \nonumber \\ J^{E}_{7}&= \;\; \varepsilon ^3 \left( \frac{-s}{\mu ^2}\right) I^E_{111\left( -1\right) 12000} \nonumber \\&\quad - \varepsilon ^3 \left( \frac{-s}{\mu ^2}\right) \left( \frac{m_Z^2}{\mu ^2}\right) I^E_{111012000}, \nonumber \\ \text{ Sector } \text{59: } \;\;\;\; J^{E}_{8}&= \;\; \varepsilon ^3 \left( \frac{-t}{\mu ^2}\right) \left( \frac{m_Z^2}{\mu ^2}\right) I^E_{110112000}, \nonumber \\ \text{ Sector } \text{61: } \;\;\;\; J^{E}_{9}&= \;\; \varepsilon ^3 \left( \frac{-s}{\mu ^2}\right) \left( \frac{m_Z^2}{\mu ^2}\right) I^E_{101112000}, \nonumber \\ \text{ Sector } \text{63: } \;\;\;\; J^{E}_{10}&= \;\; \varepsilon ^3 \left( \frac{r_4}{\mu ^4}\right) \left( \frac{m_Z^2}{\mu ^2}\right) I^E_{111112000} \nonumber \\&\quad - \varepsilon ^3 \left( \frac{r_4}{\mu ^4}\right) I^E_{111012000}. \end{aligned}$$

(24)

4.2.6 Topology F

A possible choice of master integrals of uniform transcendental weight for topology F is given by:

$$\begin{aligned} \text{ Sector } \text{50: } \;\;\;\; J^{F}_{1}&= \;\; \varepsilon ^2 \left( \frac{-t}{\mu ^2}\right) I^F_{010022000}, \nonumber \\ \text{ Sector } \text{56: } \;\;\;\; J^{F}_{2}&= \;\; \varepsilon ^2 \left( \frac{m_Z^2}{\mu ^2}\right) \; \textbf{D}^- I^F_{000111000}, \nonumber \\ \text{ Sector } \text{53: } \;\;\;\; J^{F}_{3}&= \;\; -4 \varepsilon ^3 \left( \frac{-s}{\mu ^2}\right) I^F_{101012000}, \nonumber \\ \text{ Sector } \text{58: } \;\;\;\; J^{F}_{4}&= \;\; \varepsilon ^2 \left( \frac{m_Z^2}{\mu ^2}\right) \left( \frac{m_Z^2-t}{\mu ^2}\right) \; \textbf{D}^- I^F_{010111000} \nonumber \\&\quad - \varepsilon ^2 \left( \frac{m_Z^2}{\mu ^2}\right) \; \textbf{D}^- I^F_{010011000}, \nonumber \\ \text{ Sector } \text{55: } \;\;\;\; J^{F}_{5}&= \;\; \varepsilon ^3 \left( \frac{-s}{\mu ^2}\right) \left( \frac{-t}{\mu ^2}\right) I^F_{111012000}, \nonumber \\ \text{ Sector } \text{61: } \;\;\;\; J^{F}_{6}&= \;\; \varepsilon ^3 \left( \frac{-s}{\mu ^2}\right) \left( \frac{m_Z^2}{\mu ^2}\right) I^F_{101112000}, \nonumber \\ \text{ Sector } \text{63: } \;\;\;\; J^{F}_{7}&= \;\; \varepsilon ^3 \left( \frac{-s}{\mu ^2}\right) \left( \frac{m_Z^2-t}{\mu ^2}\right) \left( \frac{m_Z^2}{\mu ^2}\right) I^F_{111112000} \nonumber \\&\quad - \varepsilon ^3 \left( \frac{-s}{\mu ^2}\right) \left( \frac{m_Z^2}{\mu ^2}\right) I^F_{111012000}. \end{aligned}$$

(25)

4.2.7 Topology G

A possible choice of master integrals of uniform transcendental weight for topology G is given by:

$$\begin{aligned} \text{ Sector } \text{50: } \;\;\;\; J^{G}_{1}&= \;\; \varepsilon ^2 \left( \frac{m_Z^2-t}{\mu ^2}\right) \; \textbf{D}^- I^G_{010011000}, \nonumber \\ J^{G}_{2}&= \;\; \varepsilon ^2 \; \textbf{D}^- I^G_{010\left( -1\right) 11000}, \nonumber \\ \text{ Sector } \text{53: } \;\;\;\; J^{G}_{3}&= \;\; -4 \varepsilon ^3 \left( \frac{-s}{\mu ^2}\right) I^G_{101012000}, \nonumber \\ \text{ Sector } \text{55: } \;\;\;\; J^{G}_{4}&= \;\; \varepsilon ^3 \left( \frac{-s}{\mu ^2}\right) \left( \frac{m_Z^2-t}{\mu ^2}\right) I^G_{111012000}, \nonumber \\ J^{G}_{5}&= \;\; \varepsilon ^3 \left( \frac{-s}{\mu ^2}\right) I^G_{111\left( -1\right) 12000}. \end{aligned}$$

(26)

4.2.8 Topology H

A possible choice of master integrals of uniform transcendental weight for topology H is given by:

$$\begin{aligned} \text{ Sector } \text{50: } \;\;\;\; J^{H}_{1}&= \;\; \varepsilon ^2 \left( \frac{-t}{\mu ^2}\right) I^H_{010022000}, \nonumber \\ \text{ Sector } \text{53: } \;\;\;\; J^{H}_{2}&= \;\; -4 \varepsilon ^3 \left( \frac{-s}{\mu ^2}\right) I^H_{101012000}, \nonumber \\ \text{ Sector } \text{55: } \;\;\;\; J^{H}_{3}&= \;\; \varepsilon ^3 \left( \frac{-s}{\mu ^2}\right) \left( \frac{-t}{\mu ^2}\right) I^H_{111012000}. \end{aligned}$$

(27)

5 The differential equations

The master integrals $J^X$ satisfy a differential equation in $\varepsilon$-factorised form

$$\begin{aligned} d J^X= & {} M^X J^X, \;\;\;\;\;\; X \in \left\{ A,B,C,D,E,F,G,H \right\} \!, \end{aligned}$$

(28)

with $M^X$ of the form

$$\begin{aligned} M^X= & {} \varepsilon \sum \limits _{k=1}^{N_L^X} C_k^X \omega _k^X. \end{aligned}$$

(29)

The differential equation is obtained as follows: Standard integration-by-parts reduction programs allow us to obtain the differential equation for the pre-canonical master integrals $I^X$:

$$\begin{aligned} d I^X= & {} A^X I^X. \end{aligned}$$

(30)

Integration-by-parts reduction allows us also to express any master integral $J^X_i$ of uniform transcendental weight as defined in Sect. 4.2 as a linear combination of the pre-canonical master integrals $I^X_j$. This defines the matrix $U^X$ in Eq. (19). The matrix $M^X$ appearing in Eq. (28) is then given by

$$\begin{aligned} M^X= & {} U^X A^X \left( U^X\right) ^{-1} - U^X d \left( U^X\right) ^{-1}. \end{aligned}$$

(31)

The $C_k^X$’s appearing in Eq. (29) are square matrices with constant entries. The dimension of these matrices is given by the number of master integrals for topology X. The differential one-forms $\omega _k^X$ are of the form

$$\begin{aligned} \omega _k^X= & {} d \log f_k^X, \end{aligned}$$

(32)

where $f_k^X$ is an algebraic function of $s, t, m_Z^2, m_N^2$ and $\mu ^2$. The $f_k^X$’s are called letters and the set of all $f_k^X$’s is called the alphabet $\mathcal {A}^X$. The alphabets are

$$\begin{aligned} \mathcal {A}^A= & {} \left\{ e_1, e_2, e_4, e_6, e_7, e_9, e_{10}, e_{11}, e_{12}, e_{13}, e_{14}, e_{15}, e_{16}, \right. \nonumber \\{} & {} \left. o_1, o_5, o_6, o_7, o_8, o_9, o_{10}, o_{11}, o_{12}, o_{13}, o_{14}, o_{15}, o_{16} \right\} \!, \nonumber \\ \mathcal {A}^B= & {} \left\{ e_1, e_2, e_4, e_6, e_9, e_{10}, e_{11}, e_{12}, e_{13}, e_{14}, o_5, o_6, o_7, o_8, o_9 \right\} \!, \nonumber \\ \mathcal {A}^C= & {} \left\{ e_1, e_2, e_4, e_6, e_9, e_{10}, e_{11}, e_{12}, e_{13}, e_{14}, o_5, o_6, o_7, o_8, o_9 \right\} \!, \nonumber \\ \mathcal {A}^D= & {} \left\{ e_1, e_2, e_9, e_{10}, e_{11}, e_{12}, o_5, o_6 \right\} \!, \nonumber \\ \mathcal {A}^E= & {} \left\{ e_1, e_2, e_3, e_4, e_5, e_6, e_7, e_8, o_1, o_2, o_3, o_4 \right\} \!, \nonumber \\ \mathcal {A}^F= & {} \left\{ e_1, e_2, e_3, e_4, e_5, e_6 \right\} \!, \nonumber \\ \mathcal {A}^G= & {} \left\{ e_1, e_2, e_3, e_4, e_5, e_6 \right\} \!, \nonumber \\ \mathcal {A}^H= & {} \left\{ e_1, e_2, e_3 \right\} \!. \end{aligned}$$

(33)

A specific letter may appear in more than one alphabet. We divide the letters in rational (or even) letters and non-rational (or odd) letters. The rational letters are

$$\begin{aligned} e_1&= \frac{-s}{\mu ^2}, \quad e_7 = \frac{4m_Z^2-t}{\mu ^2}, \quad e_{12} = \frac{\left( m_N^2-s\right) ^2+st}{\mu ^4}, \nonumber \\ e_2&= \frac{-t}{\mu ^2}, \quad e_8 = \frac{4m_Z^2\left( m_Z^2+s\right) -st}{\mu ^4}, \quad e_{13} = \frac{4m_N^2-m_Z^2}{\mu ^2}, \nonumber \\ e_3&= \frac{-s-t}{\mu ^2}, \quad e_9 = \frac{m_N^2}{\mu ^2}, \quad e_{14} = \frac{\left( m_N^2-s\right) ^2+sm_Z^2}{\mu ^4}, \nonumber \\ e_4&= \frac{m_Z^2}{\mu ^2}, \quad e_{10} = \frac{m_N^2-s}{\mu ^2},\quad e_{15} = \frac{m_N^2\left( 4m_Z^2-t\right) -m_Z^4}{\mu ^4}, \nonumber \\ e_5&= \frac{m_Z^2+s}{\mu ^2}, \quad e_{11} = \frac{4m_N^2-t}{\mu ^2}, \quad \nonumber \\ e_{16}&= \frac{\left( 4m_Z^2-t\right) \left( m_N^2-s\right) ^2+ 4 s m_Z^4}{\mu ^6}.\nonumber \\ e_6&= \frac{m_Z^2-t}{\mu ^2}, \end{aligned}$$

(34)

The non-rational letters are

$$\begin{aligned} o_1= & {} \frac{2m_Z^2-t-r_2}{2m_Z^2-t+r_2},\\ o_2= & {} \frac{2m_Z^2\left( m_Z^2+s\right) -st-r_4}{2m_Z^2\left( m_Z^2+s\right) -st+r_4},\\ o_3= & {} \frac{\left( 4m_Z^2-t\right) st+2m_Z^4\left( t-s\right) -\left( 2m_Z^2-t\right) r_4}{\left( 4m_Z^2-t\right) st+2m_Z^4 \left( t-s\right) +\left( 2m_Z^2-t\right) r_4},\\ o_4= & {} \frac{2m_Z^4t+st\left( 4m_Z^2-t\right) -r_2r_4}{2m_Z^4t+st\left( 4m_Z^2-t\right) +r_2r_4},\\ o_5= & {} \frac{2m_N^2-t-r_1}{2m_N^2-t+r_1},\\ o_6= & {} \frac{2m_N^2\left( m_N^2-s\right) ^2-t\left( m_N^4+s^2\right) -\left( m_N^4-s^2\right) r_1}{2m_N^2\left( m_N^2-s\right) ^2-t\left( m_N^4+s^2\right) +\left( m_N^4-s^2\right) r_1},\\ o_7= & {} \frac{2m_N^2-m_Z^2-r_3}{2m_N^2-m_Z^2+r_3},\\ o_8= & {} \frac{2m_N^2\left( m_Z^2+t\right) -m_Z^2t-r_1r_3}{2m_N^2\left( m_Z^2+t\right) -m_Z^2t+r_1r_3},\\ o_9= & {} \frac{2m_N^2\left( m_N^2-s\right) ^2-m_Z^2\left( m_N^4+s^2\right) -\left( m_N^4-s^2\right) r_3}{2m_N^2\left( m_N^2-s\right) ^2-m_Z^2\left( m_N^4+s^2\right) +\left( m_N^4-s^2\right) r_3},\\ \end{aligned}$$

$$\begin{aligned} o_{10}= & {} \frac{2m_N^2m_Z^2\left( 4m_N^2\!-\!m_Z^2\right) \!+\!\left[ 2m_N^4\!-\!m_Z^2\left( 4m_N^2\!-\!m_Z^2\right) \right] t \!-\!\left( 2m_N^2-m_Z^2\right) r_1 r_3}{2m_N^2m_Z^2\left( 4m_N^2\!-\!m_Z^2\right) \!+\!\left[ 2m_N^4\!-\!m_Z^2\left( 4m_N^2\!-\!m_Z^2\right) \right] t\!+\!\left( 2m_N^2-m_Z^2\right) r_1 r_3},\\ \end{aligned}$$

$$\begin{aligned} o_{11}= & {} \frac{-t\left[ 2m_Z^4+\left( 2m_N^2-t\right) \left( 4m_Z^2-t\right) \right] -\left( 2m_Z^2-t\right) r_1r_2}{-t\left[ 2m_Z^4+\left( 2m_N^2-t\right) \left( 4m_Z^2-t\right) \right] +\left( 2m_Z^2-t\right) r_1r_2},\\ o_{12}= & {} \frac{\left( m_N^2-s\right) ^2\left( 2m_Z^2-t\right) + 2 s m_Z^4 - \left( m_N^2-s\right) r_5}{\left( m_N^2-s\right) ^2\left( 2m_Z^2-t\right) + 2 s m_Z^4 + \left( m_N^2-s\right) r_5}, \end{aligned}$$

$$\begin{aligned} o_{13}= & {} \frac{\left( m_N^2-s\right) ^2\left( 2m_z^4-4m_Z^2t+t^2\right) -2m_Z^4st-\left( m_N^2-s\right) \left( 2m_Z^2-t\right) r_5}{\left( m_N^2-s\right) ^2\left( 2m_z^4-4m_Z^2t+t^2\right) -2m_Z^4st+\left( m_N^2-s\right) \left( 2m_Z^2-t\right) r_5}, \end{aligned}$$

$$\begin{aligned} o_{14}= & {} \frac{-t Q_8-\left( m_N^2+s\right) \left( 2m_Z^2-t\right) r_1 r_5}{-t Q_8+\left( m_N^2+s\right) \left( 2m_Z^2-t\right) r_1 r_5}, \nonumber \\ o_{15}= & {} \frac{-t\left( m_N^2+s\right) m_Z^2-r_3r_5}{-t\left( m_N^2+s\right) m_Z^2+r_3r_5}, \nonumber \\ o_{16}= & {} \frac{-t\left[ 2m_Z^4-\left( m_N^2-s\right) \left( 4m_Z^2-t\right) \right] -r_2r_5}{-t\left[ 2m_Z^4-\left( m_N^2-s\right) \left( 4m_Z^2-t\right) \right] +r_2r_5}, \end{aligned}$$

(35)

with

$$\begin{aligned} Q_8= & {} \left( 4m_Z^2-t\right) \left[ 2m_N^2\left( m_N^2-s\right) ^2-t\left( m_N^4+s^2\right) \right] \nonumber \\{} & {} +2m_Z^4\left( \left( m_N^2+s\right) ^2+s\left( 4m_N^2-t\right) \right) . \end{aligned}$$

(36)

As an example let us write down the differential equation for topology H:

$$\begin{aligned} d J^H= & {} M^H J^H,\nonumber \\ M^H= & {} \varepsilon \left( \begin{array}{rrr} 0 &{} 0 &{} 0 \\ 0 &{} -2 &{} 0 \\ 0 &{} - \frac{3}{4} &{} -1 \\ \end{array} \right) d \log e_1\nonumber \\{} & {} +\varepsilon \left( \begin{array}{rrr} -2 &{} 0 &{} 0 \\ 0 &{} 0 &{} 0 \\ -\frac{3}{2} &{} 0 &{} -2 \\ \end{array} \right) d \log e_2\nonumber \\{} & {} +\varepsilon \left( \begin{array}{rrr} 0 &{} 0 &{} 0 \\ 0 &{} 0 &{} 0 \\ \frac{3}{2} &{} \frac{3}{4} &{} 1 \\ \end{array} \right) d \log e_3. \end{aligned}$$

(37)

The differential equations for the other topologies are of a similar form. The matrices $M^X$ for all topologies are given in an electronic file attached to the arxiv version of this article.

6 Rationalisation of the square roots

The topologies A-E contain square roots. For each topology all occurring square roots can be rationalised simultaneously. This implies that all integrals can be expressed in terms of multiple polylogarithms. For the rationalisation of the square roots we use the algorithms of [40, 41].

6.1 The square root $r_1$

Topology D involves only the square root $r_1$. The standard rationalisation of the square root $r_1$ is given by

$$\begin{aligned} t = - \frac{\left( 1-y\right) ^2}{y} m_N^2,{} & {} r_1 = \frac{1-y^2}{y} m_N^2, \end{aligned}$$

(38)

with the inverse transformation given by

$$\begin{aligned} y \; = \; \frac{1}{2} \left( 2-\frac{t}{m_N^2} - \frac{r_1}{m_N^2} \right) . \end{aligned}$$

(39)

It is convenient to use instead of y the variable $\bar{y}=1-y$. This has the advantage that $t=0$ corresponds to $\bar{y}=0$. In integrating the differential equation we will choose $t=0$ as boundary. In terms of $\bar{y}$ we have

$$\begin{aligned} t = - \frac{\bar{y}^2}{1-\bar{y}} m_N^2,{} & {} r_1 = \frac{\bar{y}\left( 2-\bar{y}\right) }{1-\bar{y}} m_N^2. \end{aligned}$$

(40)

The inverse transformation is given by

$$\begin{aligned} \bar{y} \; = \; \frac{t+r_1}{2m_N^2}. \end{aligned}$$

(41)

6.2 The square roots $r_1$ and $r_3$

Topologies B and C involve the square roots $r_1$ and $r_3$. The square root $r_1$ is rationalised as above, the square root $r_3$ is rationalised by

$$\begin{aligned} m_Z^2 = \frac{\left( 1+z\right) ^2}{z} m_N^2,{} & {} r_3 = \frac{1-z^2}{z} m_N^2. \end{aligned}$$

(42)

The inverse transformation is given by

$$\begin{aligned} z \; = \; -\frac{1}{2} \left( 2-\frac{m_Z^2}{m_N^2} + \frac{r_3}{m_N^2} \right) . \end{aligned}$$

(43)

6.3 The square roots $r_2$ and $r_4$

Topology E involves the square roots $r_2$ and $r_4$. The square root $r_2$ is rationalised by

$$\begin{aligned} t = - \frac{\tilde{y}^2}{1-\tilde{y}} m_Z^2,{} & {} r_2 = \frac{\tilde{y}\left( 2-\tilde{y}\right) }{1-\tilde{y}} m_Z^2. \end{aligned}$$

(44)

The inverse transformation is given by

$$\begin{aligned} \tilde{y} \; = \; \frac{t+r_2}{2 m_Z^2}. \end{aligned}$$

(45)

The square root $r_4$ is rationalised by

$$\begin{aligned} m_Z^2= & {} \frac{\left( 1-2\tilde{z}\right) }{4\tilde{z}^2} \frac{\left( 2-\tilde{y}\right) ^2}{\left( 1-\tilde{y}\right) } s,\nonumber \\ r_4= & {} \frac{\left( 1-\tilde{z}\right) \left( 1-2\tilde{z}\right) }{4\tilde{z}^3} \frac{\tilde{y}\left( 2-\tilde{y}\right) ^3}{\left( 1-\tilde{y}\right) ^2} s^2. \end{aligned}$$

(46)

The inverse transformation is given by

$$\begin{aligned} \tilde{z} \; = \; -\frac{\left( 4m_Z^2-t\right) }{4 m_Z^2} \left( \frac{s}{m_Z^2} - \frac{r_4}{m_Z^2 r_2} \right) . \end{aligned}$$

(47)

6.4 The square roots $r_1$, $r_2$, $r_3$ and $r_5$

Topology A involves the square roots $r_1$, $r_2$ $r_3$ and $r_5$. The square roots $r_1$ and $r_2$ are rationalised by

$$\begin{aligned} t= & {} - \frac{\left( \hat{y}^2m_Z^2-m_N^2\right) ^2}{\hat{y}\left( 1+\hat{y}\right) \left( m_N^2+\hat{y}m_Z^2\right) }, \nonumber \\ r_1= & {} \frac{\left( \hat{y}^2m_Z^2-m_N^2\right) \left( \left( 1+2\hat{y}\right) m_N^2+\hat{y}^2m_Z^2\right) }{\hat{y}\left( 1+\hat{y}\right) \left( m_N^2+\hat{y}m_Z^2\right) }, \nonumber \\ r_2= & {} \frac{\left( \hat{y}^2m_Z^2-m_N^2\right) \left( m_N^2+\hat{y}\left( 2+\hat{y}\right) m_Z^2\right) }{\hat{y}\left( 1+\hat{y}\right) \left( m_N^2+\hat{y}m_Z^2\right) }. \end{aligned}$$

(48)

The inverse transformation is given by

$$\begin{aligned} \hat{y} \; = \; -\frac{t^2 - t\left( r_1+r_2\right) +r_1r_2}{4m_Z^2 t}. \end{aligned}$$

(49)

The root $r_3$ is rationalised as in Sect. 6.2:

$$\begin{aligned} m_Z^2 = \frac{\left( 1+z\right) ^2}{z} m_N^2,{} & {} r_3 = \frac{1-z^2}{z} m_N^2. \end{aligned}$$

(50)

The inverse transformation is given by

$$\begin{aligned} z \; = \; -\frac{1}{2} \left( 2-\frac{m_Z^2}{m_N^2} + \frac{r_3}{m_N^2} \right) . \end{aligned}$$

(51)

Finally, the root $r_5$ is rationalised by

$$\begin{aligned} s= & {} \frac{\hat{x}}{\left( 1+\hat{x}\right) } \left( m_N^2 + \hat{x} \frac{m_Z^4}{4m_Z^2-t} \right) , \nonumber \\ r_5= & {} \frac{-t}{\left( 1+\hat{x}\right) r_2} \left[ m_N^2 \left( 4m_Z^2-t\right) + \hat{x} \left( 2+\hat{x}\right) m_Z^4 \right] . \end{aligned}$$

(52)

The occurrence of $r_2$ on the right-hand side is unproblematic, as $r_2$ is rationalised by Eq. (48). The inverse transformation is given by

$$\begin{aligned} \hat{x}= & {} - \frac{1}{2m_Z^4} \left[ \left( m_N^2-s\right) \left( 4m_Z^2-t\right) + \frac{r_2 r_5}{t} \right] . \end{aligned}$$

(53)

7 Boundary values

In order to solve the differential equation, we need boundary values. As boundary point we choose

$$\begin{aligned} t \; = \; 0, \;\;\;\;\;\; m_N^2 \; = \; 0, \;\;\;\;\;\; m_Z^2 \; = \; \infty . \end{aligned}$$

(54)

There are four master integrals with a trivial kinematic dependence. These integrals are easily calculated with the help of the Feynman parametrisation. We find

$$\begin{aligned} J^H_1= & {} e^{2\varepsilon \gamma _{\textrm{E}}} \left( \frac{-t}{\mu ^2}\right) ^{-2\varepsilon } \frac{\Gamma \left( 1+2\varepsilon \right) \Gamma \left( 1-\varepsilon \right) ^3}{\Gamma \left( 1-3\varepsilon \right) }, \nonumber \\ J^H_2= & {} e^{2\varepsilon \gamma _{\textrm{E}}} \left( \frac{-s}{\mu ^2}\right) ^{-2\varepsilon } \frac{\Gamma \left( 1\!+\!2\varepsilon \right) \Gamma \left( 1\!+\!\varepsilon \right) \Gamma \left( 1\!-\!2\varepsilon \right) \Gamma \left( 1\!-\!\varepsilon \right) ^2}{\Gamma \left( 1\!-\!3\varepsilon \right) }, \nonumber \\ J^F_2= & {} e^{2\varepsilon \gamma _{\textrm{E}}} \left( \frac{m_Z^2}{\mu ^2}\right) ^{-2\varepsilon } \Gamma \left( 1+2\varepsilon \right) \Gamma \left( 1+\varepsilon \right) \Gamma \left( 1-\varepsilon \right) , \nonumber \\ J^D_2= & {} \frac{3}{2} e^{2\varepsilon \gamma _{\textrm{E}}} \left( \frac{m_N^2}{\mu ^2}\right) ^{-2\varepsilon }\nonumber \\{} & {} \frac{\Gamma \left( 1+2\varepsilon \right) \Gamma \left( 1+\varepsilon \right) \Gamma \left( 1-\varepsilon \right) ^2\Gamma \left( 1-4\varepsilon \right) }{\Gamma \left( 1-2\varepsilon \right) \Gamma \left( 1-3\varepsilon \right) }. \end{aligned}$$

(55)

The boundary values of the master integrals of intermediate complexity we compute with the help of the Mellin–Barnes representation. We illustrate this for the example of the master integral $J^F_6$. For this integral we obtain the Mellin–Barnes representation

$$\begin{aligned} J^F_6= & {} - e^{2\varepsilon \gamma _{\textrm{E}}} \varepsilon ^2 \frac{\Gamma \left( 1+\varepsilon \right) \Gamma \left( 1-\varepsilon \right) ^2}{\Gamma \left( 1-2\varepsilon \right) } \left( \frac{m_Z^2}{\mu ^2}\right) ^{-2\varepsilon } \nonumber \\{} & {} \times \frac{1}{2\pi i} \int d\sigma \left( \frac{-s}{m_Z^2}\right) ^{\sigma +1}\nonumber \\{} & {} \times \frac{\Gamma \left( -\!\sigma \right) \Gamma \left( -\!\sigma \!-\!1\!-\!2\varepsilon \right) \Gamma \left( \sigma +1\right) ^2\Gamma \left( \sigma +2\!+\!2\varepsilon \right) }{\Gamma \left( \sigma \!+\!2\!-\!\varepsilon \right) }.\nonumber \\ \end{aligned}$$

(56)

The integration contour runs from $-i\infty$ to $+i\infty$ and separates the poles of $\Gamma (-\sigma )$ and $\Gamma (-\sigma -1-2\varepsilon )$ from the poles of $\Gamma (\sigma +1)$ and $\Gamma (\sigma +2+2\varepsilon )$. For $|s| < m_Z^2$ we may close the integration contour to the right and sum up the residues of $\Gamma (-\sigma )$ and $\Gamma (-\sigma -1-2\varepsilon )$. For the boundary value we are only interested in the leading term in an expansion in $1/m_Z^2$. The leading term is given by the first residue of $\Gamma (-\sigma -1-2\varepsilon )$ located at

$$\begin{aligned} \sigma= & {} -1-2\varepsilon . \end{aligned}$$

(57)

We therefore obtain

$$\begin{aligned} J^F_6= & {} - \frac{1}{4} e^{2\varepsilon \gamma _{\textrm{E}}} \frac{\Gamma \left( 1+2\varepsilon \right) \Gamma \left( 1+\varepsilon \right) \Gamma \left( 1-\varepsilon \right) ^2\Gamma \left( 1-2\varepsilon \right) }{\Gamma \left( 1-3\varepsilon \right) } \nonumber \\{} & {} \times \left( \frac{-s}{\mu ^2}\right) ^{-2\varepsilon }+{\mathcal O}\left( \frac{-s}{m_Z^2}\right) . \end{aligned}$$

(58)

The boundary values of the more complicated integrals we obtain from regularity conditions. For example, the boundary values for $J^H_3$ are determined from the condition that this integral is regular at $e_3=0$, this corresponds to the condition that there is no singularity whenever the Mandelstam variable u vanishes. This follows from physics: As the master integral is a planar integral, there is no singularity in the crossed u-channel.

8 Results

We set $\mu ^2=s$. The values of the Feynman integrals at another scale $\mu _1^2$ are easily obtained through

$$\begin{aligned} J\left( \mu _1^2\right) \; = \; e^{2 \varepsilon L} J\left( \mu ^2\right)&\text{ with }&L \; = \; \ln \left( \frac{\mu _1^2}{\mu ^2}\right) . \end{aligned}$$

(59)

8.1 Integrating the differential equation

As already mentioned in Sect. 7, we use

$$\begin{aligned} t \; = \; 0, \;\;\;\;\;\; m_N^2 \; = \; 0, \;\;\;\;\;\; m_Z^2 \; = \; \infty \end{aligned}$$

(60)

as boundary point. After setting $\mu ^2=s$ the Feynman integrals depend only on dimensionless kinematic variables, which we may take as

$$\begin{aligned} x_t&= \frac{-t}{s},&x_{m_N^2}&= \frac{m_N^2}{s},&x^{-1}_{m_Z^2}&= \frac{s}{m_Z^2}. \end{aligned}$$

(61)

Our chosen boundary point corresponds to

$$\begin{aligned} \left( x_t, x_{m_N^2}, x^{-1}_{m_Z^2} \right)= & {} \left( 0, 0, 0 \right) . \end{aligned}$$

(62)

The rationalisation of square roots will introduce a change of variables. By a suitable definition of the new variables we may ensure that the boundary point in the new variables is still (0, 0, 0). Let us now assume that our integration variables are $(x_1,x_2,x_3)$. We then fix an integration path $\gamma$: We first integrate along $x_1$ at $x_2=x_3=0$, followed by an integration along $x_2$ at $x_1=\textrm{const}$ and $x_3=0$ and finally an integration along $x_3$ at $x_1=\textrm{const}$ and $x_2=\textrm{const}$.

8.1.1 Integration for topologies B-H

In Table 3 we show for topologies B-H the dimensionless kinematic variables and the integration order.

Table 3 The dimensionless kinematic variables and the integration order for topologies B-H

For topologies B and C we use the variable $\bar{y}$ from Sect. 6.1 and the variable z from Sect. 6.2. The variable $\bar{y}$ from Sect. 6.1 is also used for topology D. For topology E we use the variables $\tilde{y}$ and $\tilde{z}$ from Sect. 6.3. The rationalisation of the square roots turns the arguments of the dlog-forms given in Eq. (32) into rational functions. This implies that all iterated integrals from the integration of the differential equation can be expressed in terms of multiple polylogarithms. Multiple polylogarithms are defined as follows: One first defines $G(0,\ldots ,0;y)$ with k zeros to be

$$\begin{aligned} G(0,\ldots ,0;y)= & {} \frac{1}{k!} \left( \ln y \right) ^k. \end{aligned}$$

(63)

This includes the trivial case $G(;y)=1$. Multiple polylogarithms are then defined recursively by

$$\begin{aligned} G(z_1,z_2,\ldots ,z_k;y)= & {} \int \limits _0^y \frac{dy_1}{y_1-z_1} G(z_2,\ldots ,z_k;y_1). \end{aligned}$$

(64)

A multiple polylogarithm $G(z_1,\ldots ,z_k;y)$ is said to have a trailing zero if $z_k=0$. Using the shuffle product, we may isolate trailing zeros in powers of

$$\begin{aligned} G(0;y)= & {} \ln y. \end{aligned}$$

(65)

An example is given by

$$\begin{aligned} G(z,0;y)= & {} \ln y \cdot G(z;y) - G(0,z;y). \end{aligned}$$

(66)

For multiple polylogarithms without a trailing zero we have the scaling identity

$$\begin{aligned} G(z_1,\ldots ,z_k;y)= & {} G(\frac{z_1}{y},\ldots ,\frac{z_k}{y};1) \end{aligned}$$

(67)

A multiple polylogarithm $G(z_1,\dots ,z_k;1)$ has a convergent power series expansion if $z_1 \ne 1$ and

$$\begin{aligned} \left| z_j \right| \; \ge \; 1{} & {} \text{ for } \text{ all } \; j \; \in \; \{1,\ldots ,k\}. \end{aligned}$$

(68)

The kinematic variables and the integration order for topologies B-H have been chosen such that after isolating all trailing zeros in powers of logarithms, the remaining multiple polylogarithms have convergent power series expansions in the kinematic region of interest. This ensures a highly efficient numerical evaluation. Furthermore, since we have for small values of $(-t)$

$$\begin{aligned} -t \; \sim \; \bar{y}^2 \; \sim \; \tilde{y}^2 \end{aligned}$$

(69)

and since we have for large values of $m_Z^2$

$$\begin{aligned} m_Z^2 \; \sim \; z^{-1} \; \sim \; \tilde{z}^{-2} \end{aligned}$$

(70)

this procedure also makes the large logarithms

$$\begin{aligned} \ln \left( \frac{-t}{s}\right)&\text{ and }&\ln \left( \frac{s}{m_Z^2}\right) \end{aligned}$$

(71)

manifest. As an example one finds

$$\begin{aligned} J^F_7= & {} -\frac{5}{4} + \left( 2 L_t -\frac{1}{2} i \pi \right) \varepsilon + \left( -L_t^2 + 2 i \pi L_t + \frac{15}{4} \zeta _2 \right) \varepsilon ^2 \nonumber \\{} & {} + \left( -2 i \pi L_t^2 - 12 \zeta _2 L_t + \frac{89}{6} \zeta _3 - \frac{1}{12} i \pi ^3 \right) \varepsilon ^3 \nonumber \\{} & {} + \left[ \frac{1}{3} L_t^4 + \frac{4}{3} i \pi L_t^3 + 11 \zeta _2 L_t^2 - \left( \frac{70}{3} \zeta _3 + \frac{1}{3} i \pi ^3 \right) L_t \right. \nonumber \\{} & {} + \left. \frac{493}{16} \zeta _4 + \frac{19}{3} i \pi \zeta _3 \right] \varepsilon ^4\nonumber \\{} & {} + \mathcal {O}\left( x_{m_Z^2}^{-1}\right) + {\mathcal O}\left( x_t\right) + \mathcal {O}\left( \varepsilon ^5\right) , \end{aligned}$$

(72)

with $L_t=\ln (-t/s)$.

8.1.2 Integration for topology A

For topologies B-H we were in the lucky situation that with our choice of variables all multiple polylogarithms had convergent power series expansions in the kinematic region of interest. This is no longer straightforward for topology A.

The variables $\hat{x}, \hat{y}, z$ from Sect. 6.4 rationalise all square roots for topology A. This allows us to conclude that all integrals from topology A can be expressed in terms of multiple polylogarithms and that all master integrals from topology A are of uniform weight. The latter statement uses the fact that the boundary constants are of uniform weight as well [42]. As the master integrals $J^A_1$-$J^A_{13}$ appear also in other topologies, the new information is the statement that the master integrals $J^A_{14}$ and $J^A_{15}$ can be expressed in term of multiple polylogarithms and are of uniform weight.

The polynomials appearing in the dlog-forms after rationalisation suggest the integration order

$$\begin{aligned} \left( z, \hat{y}, \hat{x} \right) . \end{aligned}$$

(73)

This integration order has the property that for each integration we encounter at most quadratic polynomials in the integration variable. However, the resulting expression in terms of multiple polylogarithms involves multiple polylogarithms which do not have convergent power series expansions in the kinematic region of interest. This is not a fundamental problem, as we may transform these multiple polylogarithms such that they do have a convergent power series expansion. However, these transformations are rather slow.

Choosing other integration orders will result in polynomials of higher degree in the integration variables. While we may determine the roots of these polynomials numerically, there is a second drawback: Factorising these polynomials into linear factors will significantly increase the number of terms. To give an example: Consider an iterated integral of depth w, where each dlog-form has as argument a polynomial of degree N in the integration variable. A single iterated integral of this type will lead to $N^w$ terms. This growth prevents an efficient numerical evaluation.

An efficient numerical evaluation routine for the kinematic region of interest is achieved as follows: We introduce the variable

$$\begin{aligned} v= & {} \sqrt{x_t} \end{aligned}$$

(74)

and integrate the differential equation with the integration order

$$\begin{aligned} (x_{m_N^2}, z, v). \end{aligned}$$

(75)

The first two integrations are done at $t=0$ and give multiple polylogarithms. From the definition of the square roots in Eq. (13) we see that at $t=0$ only the square root $r_3$ is non-zero. The square root $r_3$ is rationalised by the change of variables from $m_Z^2$ to z given in Eq. (42). There is one subtlety: The $(t \rightarrow 0)$-limit of the letters $o_{11}$, $o_{14}$ and $o_{16}$ is not a rational function of $x_{m_N^2}$ and z. However, in the differential equation these letters always multiply the integrals $J^A_6$, $J^A_8$ and $J^A_{14}$. These integrals vanish at $t=0$ and as a consequence the letters $o_{11}$, $o_{14}$ and $o_{16}$ do not appear in the result for the master integrals at $t=0$.

For the last integration in v we have the integration kernels

$$\begin{aligned}{} & {} \left\{ e_2, e_6, e_7, e_{11}, e_{12}, e_{15}, e_{16}, o_1, o_5, o_6, o_8, o_{10},\right. \nonumber \\{} & {} \left. o_{11}, o_{12}, o_{13}, o_{14}, o_{15}, o_{16} \right\} . \end{aligned}$$

(76)

$d\ln (e_2)$ has a simple pole at $v=0$, all others have Taylor expansions in v. The Taylor expansions are convergent for

$$\begin{aligned} \left| t\right|< & {} \min \left\{ 4 m_N^2, m_Z^2, \left| \frac{m_Z^2\left( 4m_N^2-m_Z^2\right) }{m_N^2}\right| ^{}, \left| \frac{\left( m_N^2-s\right) ^2}{s} \right| ,\right. \nonumber \\{} & {} \times \left. \left| \frac{4m_Z^2\left[ \left( m_N^2-s\right) ^2+sm_Z^2\right] }{\left( m_N^2-s\right) ^2} \right| \right\} . \end{aligned}$$

(77)

This includes the kinematic region of the P2 experiment. For large $m_Z^2$, the most stringent condition is

$$\begin{aligned} \left| t\right|< & {} \left| \frac{\left( m_N^2-s\right) ^2}{s} \right| . \end{aligned}$$

(78)

This is nothing else than the condition on the physical region [43].

8.2 Numerical results

For the numerical evaluation we have written for each topology a C++-program, which uses the GiNaC-library [44]. This allows numerical evaluations with arbitrary precision. The algorithms for the numerical evaluation of multiple polylogarithms are based on [45], topology A uses in addition the class user_defined_kernel from Ref. [46] for the last integration over the variable v.

As a typical kinematical point we use

$$\begin{aligned} s&= 1.18 \, \textrm{GeV}^2, \quad t = - 4.5 \cdot 10^{-3} \, \textrm{GeV}^2, \nonumber \\ m_Z^2&= 8.32 \cdot 10^{3} \, \textrm{GeV}^2, \quad m_N^2 = 0.867 \, \textrm{GeV}^2. \end{aligned}$$

(79)

This corresponds to the kinematics of the P2 experiment with an electron beam of $E_{\textrm{beam}} = 155 \, \textrm{MeV}$ and momentum transfer of $Q^2=-t= 4.5 \cdot 10^{-3} \, \textrm{GeV}^2$. The Mandelstam variable s is then given by

$$\begin{aligned} s= & {} \left( E_{\textrm{beam}} + m_N \right) ^2. \end{aligned}$$

(80)

We use

$$\begin{aligned} m_N \, = \, 0.931 \, \textrm{GeV},{} & {} m_Z \, = \, 91.2 \, \textrm{GeV}. \end{aligned}$$

(81)

The values of the master integrals for the first five terms of the $\varepsilon$-expansion at the kinematic point specified by Eq. (79) are given to 8 digits in Tables 4, 5, 6, 7, 8, 9, 10, and 11. In addition, we compared our results to the results of the program AMFlow [47,48,49] to 50 digits and found perfect agreement. Our numerical evaluation routines are significantly faster than AMFlow. For example, our program takes about eight seconds to evaluate all master integrals of topology A to 50 digits up to and including the $\varepsilon ^4$-term. The corresponding evaluation with AMFlow takes about 21 minutes. All calculations were done on a single core of a standard desktop computer.

Table 4 Numerical results for the first five terms of the $\varepsilon$-expansion of the master integrals $J^A_{1}$-$J^A_{15}$ for the kinematic point specified by Eq. (79)

Table 5 Numerical results for the first five terms of the $\varepsilon$-expansion of the master integrals $J^B_{1}$-$J^B_{11}$ for the kinematic point specified by Eq. (79)

Table 6 Numerical results for the first five terms of the $\varepsilon$-expansion of the master integrals $J^C_{1}$-$J^C_{8}$ for the kinematic point specified by Eq. (79)

Table 7 Numerical results for the first five terms of the $\varepsilon$-expansion of the master integrals $J^D_{1}$-$J^D_{5}$ for the kinematic point specified by Eq. (79)

Table 8 Numerical results for the first five terms of the $\varepsilon$-expansion of the master integrals $J^E_{1}$-$J^E_{10}$ for the kinematic point specified by Eq. (79)

Table 9 Numerical results for the first five terms of the $\varepsilon$-expansion of the master integrals $J^F_{1}$-$J^F_{7}$ for the kinematic point specified by Eq. (79)

Table 10 Numerical results for the first five terms of the $\varepsilon$-expansion of the master integrals $J^G_{1}$-$J^G_{5}$ for the kinematic point specified by Eq. (79)

Table 11 Numerical results for the first five terms of the $\varepsilon$-expansion of the master integrals $J^H_{1}$-$J^H_{3}$ for the kinematic point specified by Eq. (79)

8.3 Large logarithms

In the kinematic region of interest (i.e. small $(-t)$ and large $m_Z^2$)

$$\begin{aligned} \ln \left( \frac{-t}{s}\right)&\text{ and }&\ln \left( \frac{s}{m_Z^2}\right) \end{aligned}$$

(82)

are large logarithms. Below we list for all master integrals the leading logarithms. At order $\varepsilon ^j$ we can have at most j powers of large logarithms. The leading logarithms are the ones which occur to power j at order $\varepsilon ^j$. We remark that this counting defines at order $\varepsilon ^0$ constants as leading logarithms. In some topologies we use different variables. Since we have for small values of $(-t)$

$$\begin{aligned} -t \, \sim \,\, \bar{y}^2 \, \sim \, \tilde{y}^2 \end{aligned}$$

(83)

and since we have for large values of $m_Z^2$

$$\begin{aligned} m_Z^2 \, \sim \, z^{-1} \, \sim \, \tilde{z}^{-2} \end{aligned}$$

(84)

the discussion carries over in a straightforward way to the new variables. Let us stress that the following formulae are provided only to quickly gauge the numerical importance of all master integrals. The analytic results are exact and can be used to extract not only the leading logarithms, but also all sub-leading ones as well as the non-logarithmic part. We use the following notation:

$$\begin{aligned} L_t \;= & {} \; \ln \left( \frac{-t}{s}\right) , \;\;\; L_Z \; = \; \ln \left( \frac{s}{m_Z^2}\right) , \nonumber \\ L_{\bar{y}} \;= & {} \; \ln \left( \bar{y}\right) , \;\;\; L_{z} \; = \; \ln \left( z\right) , \;\;\; L_{\tilde{z}} \; = \; \ln \left( \tilde{z}\right) . \end{aligned}$$

(85)

Comparing the expressions for the leading logarithms with the numerical results from Sect. 8.2 we see – as expected – a correlation between large logarithms and large numerical values.

8.3.1 Topology A

$$\begin{aligned} J^{A}_{1}= & {} 1 + 2 L_z \varepsilon + 2 L_z^2 \varepsilon ^2 + \frac{4}{3} L_z^3 \varepsilon ^3 \nonumber \\{} & {} + \frac{2}{3} L_z^4 \varepsilon ^4 + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) , \nonumber \\ J^{A}_{2}= & {} -1 - 2 L_z \varepsilon - 2 L_z^2 \varepsilon ^2 - \frac{4}{3} L_z^3 \varepsilon ^3 \nonumber \\{} & {} - \frac{2}{3} L_z^4 \varepsilon ^4 + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) , \nonumber \\ J^{A}_{3}= & {} \frac{3}{2} + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) , \nonumber \\ J^{A}_{4}= & {} 1 + 2 L_z \varepsilon + 2 L_z^2 \varepsilon ^2 + \frac{4}{3} L_z^3 \varepsilon ^3 + \frac{2}{3} L_z^4 \varepsilon ^4 \nonumber \\{} & {} + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) , \nonumber \\ J^{A}_{5}= & {} \frac{1}{2} + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) , \nonumber \\ J^{A}_{6}= & {} 0 + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) , \nonumber \\ J^{A}_{7}= & {} 2 L_z \varepsilon + 2 L_z^2 \varepsilon ^2 + \frac{4}{3} L_z^3 \varepsilon ^3 \nonumber \\{} & {} + \frac{2}{3} L_z^4 \varepsilon ^4 + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) , \nonumber \\ J^{A}_{8}= & {} 0 + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) , \nonumber \\ J^{A}_{9}= & {} -2 L_z \varepsilon - 2 L_z^2 \varepsilon ^2 - \frac{4}{3} L_z^3 \varepsilon ^3 \nonumber \\{} & {} - \frac{2}{3} L_z^4 \varepsilon ^4 + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) , \nonumber \\ J^{A}_{10}= & {} - \frac{1}{8} + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) , \nonumber \\ J^{A}_{11}= & {} 0 + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) , \nonumber \\ J^{A}_{12}= & {} 0 + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) , \nonumber \\ J^{A}_{13}= & {} - \frac{1}{8} + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) , \nonumber \\ J^{A}_{14}= & {} 0 + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) , \nonumber \\ J^{A}_{15}= & {} 0 + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) . \end{aligned}$$

(86)

8.3.2 Topology B

$$\begin{aligned} J^{B}_{1}= & {} 1 -4 L_{\bar{y}} \varepsilon + 8 L_{\bar{y}}^2 \varepsilon ^2 - \frac{32}{3} L_{\bar{y}}^3 \varepsilon ^3 \nonumber \\{} & {} + \frac{32}{3} L_{\bar{y}}^4 \varepsilon ^4 + \textrm{subleading} + \mathcal {O}\left( \varepsilon ^5\right) , \nonumber \\ J^{B}_{2}= & {} \frac{3}{2} + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) , \nonumber \\ J^{B}_{3}= & {} 1 + 2 L_z \varepsilon + 2 L_z^2 \varepsilon ^2 + \frac{4}{3} L_z^3 \varepsilon ^3 \nonumber \\{} & {} + \frac{2}{3} L_z^4 \varepsilon ^4 + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) , \nonumber \\ J^{B}_{4}= & {} \frac{1}{2} + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) , \nonumber \\ J^{B}_{5}= & {} 0 + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) , \nonumber \\ J^{B}_{6}= & {} 1 - \left( 2L_z+8L_{\bar{y}}\right) \varepsilon - \left( 2L_z^2 -16L_{\bar{y}}^2\right) \varepsilon ^2 \nonumber \\{} & {} - \left( \frac{4}{3}L_z^3 + \frac{64}{3}L_{\bar{y}}^3\right) \varepsilon ^3 - \left( \frac{2}{3}L_z^4 - \frac{64}{3} L_{\bar{y}}^4 \right) \varepsilon ^4 \nonumber \\{} & {} + \textrm{subleading} + \mathcal {O}\left( \varepsilon ^5\right) , \nonumber \\ J^{B}_{7}= & {} -2 L_z \varepsilon - 2 L_z^2 \varepsilon ^2 - \frac{4}{3} L_z^3 \varepsilon ^3 \nonumber \\{} & {} - \frac{2}{3} L_z^4 \varepsilon ^4 + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) , \nonumber \\ J^{B}_{8}= & {} - \frac{9}{8} + 3 L_{\bar{y}} \varepsilon - 3 L_{\bar{y}}^2 \varepsilon ^2 \nonumber \\{} & {} + 4 L_{\bar{y}}^4 \varepsilon ^4 + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) , \nonumber \\ J^{B}_{9}= & {} -\frac{1}{8} + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) , \nonumber \\ J^{B}_{10}= & {} 0 + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) , \nonumber \\ J^{B}_{11}= & {} - \frac{5}{8} + 2 L_{\bar{y}} \varepsilon -2 L_{\bar{y}}^2 \varepsilon ^2 \nonumber \\{} & {} + \frac{8}{3} L_{\bar{y}}^4 \varepsilon ^4 + \textrm{subleading} + \mathcal {O}\left( \varepsilon ^5\right) . \end{aligned}$$

(87)

8.3.3 Topology C

$$\begin{aligned} J^{C}_{1}= & {} 1 + 2 L_z \varepsilon + 2 L_z^2 \varepsilon ^2 + \frac{4}{3} L_z^3 \varepsilon ^3 \nonumber \\{} & {} + \frac{2}{3} L_z^4 \varepsilon ^4 + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) , \nonumber \\ J^{C}_{2}= & {} -1 - 2 L_z \varepsilon - 2 L_z^2 \varepsilon ^2 - \frac{4}{3} L_z^3 \varepsilon ^3\nonumber \\{} & {} - \frac{2}{3} L_z^4 \varepsilon ^4 + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) , \nonumber \\ J^{C}_{3}= & {} \frac{3}{2} + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) , \nonumber \\ J^{C}_{4}= & {} \frac{1}{2} + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) , \nonumber \\ J^{C}_{5}= & {} 0 + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) , \nonumber \\ J^{C}_{6}= & {} 2 L_z \varepsilon + 2 L_z^2 \varepsilon ^3 + \frac{4}{3} L_z^3 \varepsilon ^3 \nonumber \\{} & {} + \frac{2}{3} L_z^4 \varepsilon ^4 + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) , \nonumber \\ J^{C}_{7}= & {} - \frac{1}{8} + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) , \nonumber \\ J^{C}_{8}= & {} 0 + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) . \end{aligned}$$

(88)

8.3.4 Topology D

$$\begin{aligned} J^{D}_{1}= & {} 1 -4 L_{\bar{y}} \varepsilon + 8 L_{\bar{y}}^2 \varepsilon ^2 - \frac{32}{3} L_{\bar{y}}^3 \varepsilon ^3 \nonumber \\{} & {} + \frac{32}{3} L_{\bar{y}}^4 \varepsilon ^4 + \textrm{subleading} + \mathcal {O}\left( \varepsilon ^5\right) , \nonumber \\ J^{D}_{2}= & {} \frac{3}{2} + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) , \nonumber \\ J^{D}_{3}= & {} \frac{1}{2} + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) , \nonumber \\ J^{D}_{4}= & {} 0 + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) , \nonumber \\ J^{D}_{5}= & {} - \frac{9}{8} + 3 L_{\bar{y}} \varepsilon - 3 L_{\bar{y}}^2 \varepsilon ^2 \nonumber \\{} & {} + 4 L_{\bar{y}}^4 \varepsilon ^4 + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) . \end{aligned}$$

(89)

8.3.5 Topology E

$$\begin{aligned} J^{E}_{1}= & {} 1 + 4 L_{\tilde{z}} \varepsilon + 8 L_{\tilde{z}}^2 \varepsilon ^2 + \frac{32}{3} L_{\tilde{z}}^3 \varepsilon ^3 \nonumber \\{} & {} + \frac{32}{3} L_{\tilde{z}}^4 \varepsilon ^4 + \textrm{subleading} + \mathcal {O}\left( \varepsilon ^5\right) , \nonumber \\ J^{E}_{2}= & {} -1 - 4 L_{\tilde{z}} \varepsilon - 8 L_{\tilde{z}}^2 \varepsilon ^2 - \frac{32}{3} L_{\tilde{z}}^3 \varepsilon ^3 \nonumber \\{} & {} - \frac{32}{3} L_{\tilde{z}}^4 \varepsilon ^4 + \textrm{subleading} + \mathcal {O}\left( \varepsilon ^5\right) , \nonumber \\ J^{E}_{3}= & {} 1 + 4 L_{\tilde{z}} \varepsilon + 8 L_{\tilde{z}}^2 \varepsilon ^2 + \frac{32}{3} L_{\tilde{z}}^3 \varepsilon ^3 \nonumber \\{} & {} + \frac{32}{3} L_{\tilde{z}}^4 \varepsilon ^4 + \textrm{subleading} + \mathcal {O}\left( \varepsilon ^5\right) , \nonumber \\ J^{E}_{4}= & {} 1 + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) , \nonumber \\ J^{E}_{5}= & {} 0 + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) , \nonumber \\ J^{E}_{6}= & {} - \frac{1}{4} + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) , \nonumber \\ J^{E}_{7}= & {} 0 + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) , \nonumber \\ J^{E}_{8}= & {} 0 + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) , \nonumber \\ J^{E}_{9}= & {} - \frac{1}{4} + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) , \nonumber \\ J^{E}_{10}= & {} 0 + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) . \end{aligned}$$

(90)

8.3.6 Topology F

$$\begin{aligned} J^{F}_{1}= & {} 1 - 2 L_t \varepsilon + 2 L_t^2 \varepsilon ^2 - \frac{4}{3} L_t^3 \varepsilon ^3 \nonumber \\{} & {} + \frac{2}{3} L_t^4 \varepsilon ^4 + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) , \nonumber \\ J^{F}_{2}= & {} 1 + 2 L_Z \varepsilon + 2 L_Z^2 \varepsilon ^2 + \frac{4}{3} L_Z^3 \varepsilon ^3 \nonumber \\{} & {} + \frac{2}{3} L_Z^4 \varepsilon ^4 + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) , \nonumber \\ J^{F}_{3}= & {} 1 + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) , \nonumber \\ J^{F}_{4}= & {} 1 - \left( 2L_Z + 4L_t\right) \varepsilon - \left( 2L_Z^2 - 4L_t^2\right) \varepsilon ^2 \nonumber \\{} & {} - \left( \frac{4}{3} L_Z^3 + \frac{8}{3} L_t^3 \right) \varepsilon ^3 - \left( \frac{2}{3} L_Z^4 - \frac{4}{3} L_t^4 \right) \varepsilon ^4 \nonumber \\{} & {} + \textrm{subleading} + \mathcal {O}\left( \varepsilon ^5\right) , \nonumber \\ J^{F}_{5}= & {} - \frac{9}{4} + 3 L_t \varepsilon - \frac{3}{2} L_t^2 \varepsilon ^2 \nonumber \\{} & {} + \frac{1}{2} L_t^4 \varepsilon ^4 + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) , \nonumber \\ J^{F}_{6}= & {} - \frac{1}{4} + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) , \nonumber \\ J^{F}_{7}= & {} - \frac{5}{4} + 2 L_t \varepsilon - L_t^2 \varepsilon ^2 \nonumber \\{} & {} +\frac{1}{3} L_t^4 \varepsilon ^4 + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) . \end{aligned}$$

(91)

8.3.7 Topology G

$$\begin{aligned} J^{G}_{1}= & {} 1 + 2 L_Z \varepsilon + 2 L_Z^2 \varepsilon ^2 + \frac{4}{3} L_Z^3 \varepsilon ^3 \nonumber \\{} & {} + \frac{2}{3} L_Z^4 \varepsilon ^4 + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) , \nonumber \\ J^{G}_{2}= & {} - 1 - 2 L_Z \varepsilon - 2 L_Z^2 \varepsilon ^2 - \frac{4}{3} L_Z^3 \varepsilon ^3 \nonumber \\{} & {} - \frac{2}{3} L_Z^4 \varepsilon ^4 + \textrm{subleading} + \mathcal {O}\left( \varepsilon ^5\right) , \nonumber \\ J^{G}_{3}= & {} 1 + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) , \nonumber \\ J^{G}_{4}= & {} - \frac{1}{4} + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) , \nonumber \\ J^{G}_{5}= & {} 0 + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) . \end{aligned}$$

(92)

8.3.8 Topology H

$$\begin{aligned} J^{H}_{1}= & {} 1 - 2 L_t \varepsilon + 2 L_t^2 \varepsilon ^2 - \frac{4}{3} L_t^3 \varepsilon ^3 \nonumber \\{} & {} + \frac{2}{3} L_t^4 \varepsilon ^4 + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) , \nonumber \\ J^{H}_{2}= & {} 1 + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) , \nonumber \\ J^{H}_{3}= & {} - \frac{9}{4} + 3 L_t \varepsilon - \frac{3}{2} L_t^2 \varepsilon ^2 \nonumber \\{} & {} + \frac{1}{2} L_t^4 \varepsilon ^4 + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^5\right) . \end{aligned}$$

(93)

9 Conclusions

In this paper we computed a set of two-loop Feynman integrals relevant to the Moller experiment and to the P2 experiment. We considered Feynman integrals, which are obtained from a box integral by the insertion of a light fermion loop. The exchanged particles in the box integral are either photons or heavy electro-weak gauge bosons. We considered all combinations. By rationalising all occurring square roots we showed that all these Feynman integrals can be expressed in terms of multiple polylogarithms. We organised our results such that all large logarithms are manifest. Furthermore, we provided highly efficient numerical evaluation routines for all master integrals in the kinematic region of interest.

For the complete set of the two-loop electro-weak corrections there are of course more diagrams to be considered. In particular, this includes the planar and non-planar double box integrals. Again, one has to consider all possible combinations of photon and heavy gauge boson exchanges. The case of the exchange of three heavy gauge bosons is particularly interesting: We expect the planar double box integral with the exchange of three heavy gauge bosons to be associated with a curve of genus one and the non-planar double box integral with the exchange of three heavy gauge bosons to be associated with a curve of genus two [50]. This is an interesting project for the future.

Appendices

Appendix A: Master sectors

In this appendix we show in Figs. 4, 5 and 6 the diagrams of all master sectors. The colour coding is as follows: A green line indicates a particle of mass $m_N$, a red line a particle of mass $m_Z$. Uncoloured lines are massless.

Fig. 4

Master sectors (part 1)

Fig. 5

Master sectors (part 2)

Fig. 6

Master sectors (part 3)

Appendix B: Supplementary material

Attached to the arxiv version of this article are for each topology

$$\begin{aligned} X\in & {} \left\{ A,B,C,D,E,F,G,H \right\} \end{aligned}$$

(94)

the electronic files

topo_X_symbolic.mpl,   topo_X_numeric.cc.

The first file is in Maple syntax and defines the transformation matrix $U^X$ appearing in eq. (19), its inverse $(U^X)^{-1}$ and the matrix $M^X$ appearing in the differential equation (28). These are denoted as

U_X,   Uinv_X,   M_X.

The second file topo_X_numeric.cc is a C++-program and provides numerical evaluation routines for all master integrals of a given topology. This C++-program requires the GiNaC-library [44].

Appendix C: One-loop integrals

For convenience we also include the corresponding one-loop integrals. At one-loop we consider the family of integrals

$$\begin{aligned} I_{\nu _1 \nu _2 \nu _3 \nu _4}= & {} e^{\gamma _{\textrm{E}}\varepsilon } \left( \mu ^2\right) ^{\nu -\frac{D}{2}} \int \frac{d^Dk_1}{i \pi ^{\frac{D}{2}}} \prod \limits _{j=1}^4 \frac{1}{ P_j^{\nu _j} }, \end{aligned}$$

(95)

where the notation is as in Sect. 2. At one-loop, the topologies B and C are related by symmetry, and so are the topologies F and G. We therefore have to consider only the topologies A, B, D, E, F and H. Possible pre-canonical bases are:

$$\begin{aligned} K^A= & {} \left( I^A_{0100}, I^A_{0010}, I^A_{1010}, I^A_{0110}, I^A_{0101}, I^A_{1110} I^A_{1101} I^A_{0111}, I^A_{1111} \right) ^T, \nonumber \\ K^B= & {} \left( I^B_{0010}, I^B_{0001}, I^B_{1010}, I^B_{0101}, I^B_{0011}, I^B_{1011} I^B_{0111}, I^B_{1111} \right) ^T, \nonumber \\ K^D= & {} \left( I^D_{0010}, I^D_{1010}, I^D_{0101}, I^D_{0111}, I^D_{1111} \right) ^T, \nonumber \\ K^E= & {} \left( I^E_{0100}, I^E_{1010}, I^E_{0101}, I^E_{1110} I^E_{1101}, I^E_{1111} \right) ^T, \nonumber \\ K^F= & {} \left( I^F_{0001}, I^F_{1010}, I^F_{0101}, I^F_{1011} I^F_{1111} \right) ^T, \nonumber \\ K^H= & {} \left( I^H_{1010}, I^H_{0101}, I^H_{1111} \right) ^T. \end{aligned}$$

(96)

Below we list a possible choice of master integrals of uniform transcendental weight, together with the corresponding leading logarithms. For the logarithms we use the same notation as in Sect. 8.3.

1.1 C.1 Topology A

$$\begin{aligned} \text{ Sector } \text{2: } \;\;\;\; L^{A}_{1}&= \;\; \varepsilon \; \textbf{D}^- I^A_{0100} \nonumber \\&\; = \; 1 + L_z \varepsilon + \frac{1}{2} L_z^2 \varepsilon ^2 \nonumber \\&\qquad + \textrm{subleading} + \mathcal {O}\left( \varepsilon ^3\right) , \nonumber \\ \text{ Sector } \text{4: } \;\;\;\; L^{A}_{2}&= \;\; \varepsilon \; \textbf{D}^- I^A_{0010} \nonumber \\&\; = \; 1 + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^3\right) , \nonumber \\ \text{ Sector } \text{5: } \;\;\;\; L^{A}_{3}&= \;\; \varepsilon \left( \frac{m_N^2-s}{\mu ^2}\right) \; \textbf{D}^- I^A_{1010} \nonumber \\&\; = \; -1 + \textrm{subleading} + \mathcal {O}\left( \varepsilon ^3\right) , \nonumber \\ \text{ Sector } \text{6: } \;\;\;\; L^{A}_{4}&= \;\; \varepsilon \left( \frac{r_3}{\mu ^2}\right) \; \textbf{D}^- I^A_{0110} \nonumber \\&\; = \; - L_z \varepsilon - \frac{1}{2} L_z^2 \varepsilon ^2 \nonumber \\&\qquad + \textrm{subleading} + \mathcal {O}\left( \varepsilon ^3\right) , \nonumber \\ \text{ Sector } \text{10: } \;\;\;\; L^{A}_{5}&= \;\; \varepsilon \left( \frac{r_2}{\mu ^2}\right) \; \textbf{D}^- I^A_{0101} \nonumber \\&\; = \; 0 + \textrm{subleading} + \mathcal {O}\left( \varepsilon ^3\right) , \nonumber \\ \text{ Sector } \text{7: } \;\;\;\; L^{A}_{6}&= \;\; \varepsilon ^2 \left( \frac{m_N^2-s}{\mu ^2}\right) \; I^A_{1110} \nonumber \\&\; = \; 0 + \textrm{subleading} + \mathcal {O}\left( \varepsilon ^3\right) , \nonumber \\ \text{ Sector } \text{11: } \;\;\;\; L^{A}_{7}&= \;\; \varepsilon ^2 \left( \frac{-t}{\mu ^2}\right) \; I^A_{1101} \nonumber \\&\; = \; 0 + \textrm{subleading} + \mathcal {O}\left( \varepsilon ^3\right) , \nonumber \\ \text{ Sector } \text{14: } \;\;\;\; L^{A}_{8}&= \;\; \varepsilon ^2 \left( \frac{r_1}{\mu ^2}\right) \; I^A_{0111} \nonumber \\&\; = \; 0 + \textrm{subleading} + \mathcal {O}\left( \varepsilon ^3\right) , \nonumber \\ \text{ Sector } \text{15: } \;\;\;\; L^{A}_{9}&= \;\; \varepsilon ^2 \left( \frac{r_5}{\mu ^4}\right) \; I^A_{1111} \nonumber \\&\; = \; 0 + \textrm{subleading} + \mathcal {O}\left( \varepsilon ^3\right) . \end{aligned}$$

(97)

1.1.1 C.2 Topology B

$$\begin{aligned} \text{ Sector } \text{4: } \;\;\;\; L^{B}_{1}&= \;\; \varepsilon \; \textbf{D}^- I^B_{0010}\nonumber \\&\; = \; 1 + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^3\right) , \nonumber \\ \text{ Sector } \text{8: } \;\;\;\; L^{B}_{2}&= \;\; \varepsilon \; \textbf{D}^- I^B_{0001} \nonumber \\&\; = \; 1 + L_z \varepsilon + \frac{1}{2} L_z^2 \varepsilon ^2 \nonumber \\&\qquad + \textrm{subleading} + \mathcal {O}\left( \varepsilon ^3\right) , \nonumber \\ \text{ Sector } \text{5: } \;\;\;\; L^{B}_{3}&= \;\; \varepsilon \left( \frac{m_N^2-s}{\mu ^2}\right) \; \textbf{D}^- I^B_{1010}\nonumber \\&\; = \; -1 + \textrm{subleading} + \mathcal {O}\left( \varepsilon ^3\right) , \nonumber \\ \text{ Sector } \text{10: } \;\;\;\; L^{B}_{4}&= \;\; \varepsilon \left( \frac{m_Z^2-t}{\mu ^2}\right) \; \textbf{D}^- I^B_{0101} \nonumber \\&\; = \; -1 - L_z \varepsilon - \frac{1}{2} L_z^2 \varepsilon ^2\nonumber \\&\qquad + \textrm{subleading} + \mathcal {O}\left( \varepsilon ^3\right) , \nonumber \\ \text{ Sector } \text{12: } \;\;\;\; L^{B}_{5}&= \;\; \varepsilon \left( \frac{r_3}{\mu ^2}\right) \; \textbf{D}^- I^B_{0011} \nonumber \\&\; = \; -L_z \varepsilon - \frac{1}{2} L_z^2 \varepsilon ^2 \nonumber \\&\qquad + \textrm{subleading} + \mathcal {O}\left( \varepsilon ^3\right) , \nonumber \\ \text{ Sector } \text{13: } \;\;\;\; L^{B}_{6}&= \;\; \varepsilon ^2 \left( \frac{m_N^2-s}{\mu ^2}\right) \; I^B_{1011}\nonumber \\&\; = \; 0 + \textrm{subleading} + \mathcal {O}\left( \varepsilon ^3\right) , \nonumber \\ \text{ Sector } \text{14: } \;\;\;\; L^{B}_{7}&= \;\; \varepsilon ^2 \left( \frac{r_1}{\mu ^2}\right) \; I^B_{0111}\nonumber \\&\; = \; 0 + \textrm{subleading} + \mathcal {O}\left( \varepsilon ^3\right) , \nonumber \\ \text{ Sector } \text{15: } \;\;\;\; L^{B}_{8}&= \;\; \varepsilon ^2 \left( \frac{m_N^2-s}{\mu ^2}\right) \left( \frac{m_Z^2-t}{\mu ^2}\right) \; I^B_{1111} \nonumber \\&\; = \; \frac{1}{2} + \textrm{subleading} + \mathcal {O}\left( \varepsilon ^3\right) . \end{aligned}$$

(98)

1.1.2 C.3 Topology D

$$\begin{aligned} \text{ Sector } \text{4: } \;\;\;\; L^{D}_{1}&= \;\; \varepsilon \; \textbf{D}^- I^D_{0010} \nonumber \\&\; = \; 1 + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^3\right) , \nonumber \\ \text{ Sector } \text{5: } \;\;\;\; L^{D}_{2}&= \;\; \varepsilon \left( \frac{m_N^2-s}{\mu ^2}\right) \; \textbf{D}^- I^D_{1010} \nonumber \\&\; = \; -1 + \textrm{subleading} + \mathcal {O}\left( \varepsilon ^3\right) , \nonumber \\ \text{ Sector } \text{10: } \;\;\;\; L^{D}_{3}&= \;\; \varepsilon \left( \frac{-t}{\mu ^2}\right) \; \textbf{D}^- I^D_{0101} \nonumber \\&\; = \; -2 + 4 L_{\bar{y}} \varepsilon - 4 L_{\bar{y}}^2 \varepsilon ^2 \nonumber \\&\qquad + \textrm{subleading} + \mathcal {O}\left( \varepsilon ^3\right) , \nonumber \\ \text{ Sector } \text{14: } \;\;\;\; L^{D}_{4}&= \;\; \varepsilon ^2 \left( \frac{r_1}{\mu ^2}\right) \; I^D_{0111} \nonumber \\&\; = \; 0 + \textrm{subleading} + \mathcal {O}\left( \varepsilon ^3\right) , \nonumber \\ \text{ Sector } \text{15: } \;\;\;\; L^{D}_{5}&= \;\; \varepsilon ^2 \left( \frac{m_N^2-s}{\mu ^2}\right) \left( \frac{-t}{\mu ^2}\right) \; I^D_{1111} \nonumber \\&\; = \; 2 - 2 L_{\bar{y}} \varepsilon + \textrm{subleading} + \mathcal {O}\left( \varepsilon ^3\right) . \end{aligned}$$

(99)

1.1.3 C.4 Topology E

$$\begin{aligned} \text{ Sector } \text{2: } \;\;\;\; L^{E}_{1}&= \;\; \varepsilon \; \textbf{D}^- I^E_{0100} \nonumber \\&\; = \; 1 + 2 L_{\tilde{z}} \varepsilon + 2 L_{\tilde{z}}^2 \varepsilon ^2 \nonumber \\&\qquad + \textrm{subleading} + \mathcal {O}\left( \varepsilon ^3\right) , \nonumber \\ \text{ Sector } \text{5: } \;\;\;\; L^{E}_{2}&= \;\; \varepsilon \left( \frac{-s}{\mu ^2}\right) \; \textbf{D}^- I^E_{1010} \nonumber \\&\; = \; -2 + \textrm{subleading} + \mathcal {O}\left( \varepsilon ^3\right) , \nonumber \\ \text{ Sector } \text{10: } \;\;\;\; L^{E}_{3}&= \;\; \varepsilon \left( \frac{r_2}{\mu ^2}\right) \; \textbf{D}^- I^E_{0101} \nonumber \\&\; = \; 0 + \textrm{subleading} + \mathcal {O}\left( \varepsilon ^3\right) , \nonumber \\ \text{ Sector } \text{7: } \;\;\;\; L^{E}_{4}&= \;\; \varepsilon ^2 \left( \frac{-s}{\mu ^2}\right) \; I^E_{1110} \nonumber \\&\; = \; 0 +\textrm{subleading} + \mathcal {O}\left( \varepsilon ^3\right) , \nonumber \\ \text{ Sector } \text{11: } \;\;\;\; L^{E}_{5}&= \;\; \varepsilon ^2 \left( \frac{-t}{\mu ^2}\right) \; I^E_{1101} \nonumber \\&\; = \; 0 +\textrm{subleading} + \mathcal {O}\left( \varepsilon ^3\right) , \nonumber \\ \text{ Sector } \text{15: } \;\;\;\; L^{E}_{6}&= \;\; \varepsilon ^2 \left( \frac{r_4}{\mu ^4}\right) \; I^E_{1111} \nonumber \\&\; = \; 0 +\textrm{subleading} + \mathcal {O}\left( \varepsilon ^3\right) . \end{aligned}$$

(100)

1.1.4 C.5 Topology F

$$\begin{aligned} \text{ Sector } \text{8: } \;\;\;\; L^{F}_{1}&= \;\; \varepsilon \; \textbf{D}^- I^F_{0001} \nonumber \\&\; = \; 1+ L_Z \varepsilon + \frac{1}{2} L_Z^2 \varepsilon ^2 \nonumber \\&\qquad + \textrm{subleading} + \mathcal {O}\left( \varepsilon ^3\right) , \nonumber \\ \text{ Sector } \text{5: } \;\;\;\; L^{F}_{2}&= \;\; \varepsilon \left( \frac{-s}{\mu ^2}\right) \; \textbf{D}^- I^F_{1010} \nonumber \\&\; = \; -2+ \textrm{subleading} + \mathcal {O}\left( \varepsilon ^3\right) , \nonumber \\ \text{ Sector } \text{10: } \;\;\;\; L^{F}_{3}&= \;\; \varepsilon \left( \frac{m_Z^2-t}{\mu ^2}\right) \; \textbf{D}^- I^F_{0101} \nonumber \\&\; = \; -1 - L_Z \varepsilon - \frac{1}{2} L_Z^2 \varepsilon ^2 \nonumber \\&\qquad + \textrm{subleading} + \mathcal {O}\left( \varepsilon ^3\right) , \nonumber \\ \text{ Sector } \text{13: } \;\;\;\; L^{F}_{4}&= \;\; \varepsilon ^2 \left( \frac{-s}{\mu ^2}\right) \; I^F_{1011}\nonumber \\&\; = \; 0 +\textrm{subleading} + \mathcal {O}\left( \varepsilon ^3\right) , \nonumber \\ \text{ Sector } \text{15: } \;\;\;\; L^{F}_{5}&= \;\; \varepsilon ^2 \left( \frac{-s}{\mu ^2}\right) \left( \frac{m_Z^2-t}{\mu ^2}\right) \; I^F_{1111} \nonumber \\&\; = \; 1 + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^3\right) . \end{aligned}$$

(101)

1.1.5 C.6 Topology H

$$\begin{aligned} \text{ Sector } \text{5: } \;\;\;\; L^{H}_{1}&= \;\; \varepsilon \left( \frac{-s}{\mu ^2}\right) \; \textbf{D}^- I^H_{1010} \nonumber \\&\; = \; -2+ \textrm{subleading} + \mathcal {O}\left( \varepsilon ^3\right) , \nonumber \\ \text{ Sector } \text{10: } \;\;\;\; L^{H}_{2}&= \;\; \varepsilon \left( \frac{-t}{\mu ^2}\right) \; \textbf{D}^- I^H_{0101} \nonumber \\&\; = \; -2 +2 L_t \varepsilon - L_t^2 \varepsilon ^2\nonumber \\&\qquad + \textrm{subleading} + {\mathcal O}\left( \varepsilon ^3\right) , \nonumber \\ \text{ Sector } \text{15: } \;\;\;\; L^{H}_{3}&= \;\; \varepsilon ^2 \left( \frac{-s}{\mu ^2}\right) \left( \frac{-t}{\mu ^2}\right) \; I^H_{1111} \nonumber \\&\; = \; 4 -2 L_t \varepsilon + \textrm{subleading} + \mathcal {O}\left( \varepsilon ^3\right) . \end{aligned}$$

(102)