1: \documentclass{article}

2: 

3: \usepackage{amssymb}

4: \usepackage{amsfonts}

5: \usepackage{amsmath}

6: \usepackage{geometry}

7: \usepackage[dvips]{epsfig}

8: 

9: \setcounter{MaxMatrixCols}{10}

10: 

11: \geometry{left=3.0cm,right=2.5cm,top=3cm,bottom=3cm}

12: \input{tcilatex}

13: 

14: \begin{document}

15: 

16: \title{\textbf{Optimized Negative Dimensional Integration Method (NDIM) and

17: multiloop Feynman diagram calculation}}

18: \author{Iv\'{a}n Gonz\'{a}lez\thanks{%

19: e-mail: ivan.gonzalez@usm.cl} and Iv\'{a}n Schmidt\thanks{%

20: e-mail: ivan.schmidt@usm.cl} \\

21: %EndAName

22: Department of Physics and Center of Subatomic Studies\\

23: Universidad T\'{e}cnica Federico Santa Mar\'{\i}a \\

24: Casilla 110-V, Valpara\'{\i}so, Chile}

25: \maketitle

26: 

27: \begin{abstract}

28: We present an improved form of the integration technique known as NDIM

29: (Negative Dimensional Integration Method), which is a powerful tool in the

30: analytical evaluation of Feynman diagrams. Using this technique we study a $%

31: \phi ^{3}\oplus \phi ^{4}$ theory in $D=4-2\epsilon $ dimensions,

32: considering generic topologies of $L$ loops and $E$ independent external

33: momenta, and where the propagator powers are arbitrary. The method

34: transforms the Schwinger parametric integral associated to the diagram into

35: a multiple series expansion, whose main characteristic is that the argument

36: contains several Kronecker deltas which appear naturally in the application

37: of the method, and which we call diagram presolution. The optimization we

38: present here consists in a procedure that minimizes the series multiplicity,

39: through appropriate factorizations in the multinomials that appear in the

40: parametric integral, and which maximizes the number of Kronecker deltas that

41: are generated in the process. The solutions are presented in terms of

42: generalized hypergeometric functions, obtained once the Kronecker deltas

43: have been used in the series. Although the technique is general, we apply it

44: to cases in which there are 2$\;$or$\;$3 different energy scales (masses or

45: kinematic variables associated to the external momenta), obtaining solutions

46: in terms of a finite sum of generalized hypergeometric series de 1 and 2

47: variables respectively, each of them expressible as ratios between the

48: different energy scales that characterize the topology. The main result is a

49: method capable of solving Feynman integrals, expressing the solutions as

50: hypergeometric series of multiplicity $\left( n-1\right) $, where $n$ is the

51: number of energy scales present in the diagram.

52: \end{abstract}

53: 

54: \bigskip\bigskip

55: 

56: \textbf{PACS}: 11.25.Db; 12.38.Bx

57: 

58: \bigskip\bigskip

59: 

60: \textbf{Keywords}: Perturbation theory; Scalar integrals; Multiloop Feynman

61: diagrams; Schwinger parameters; Negative Dimension method.

62: 

63: \vfill\newpage

64: 

65: \section{Introduction}

66: 

67: \qquad In Quantum Field Theory the permanent contrast between experimental

68: measurements and theoretical models has been possible due to the development

69: of novel and powerful analytical and numerical techniques in perturbative

70: calculations. The fundamental problem that arises in perturbation theory is

71: the actual calculation of the loop integrals associated to the Feynman

72: diagrams, whose solution is specially difficult since these integrals

73: contain in general both ultraviolet (UV) and infrared (IR) divergences.

74: Using the dimensional regularization scheme, which extends the

75: dimensionality of space-time by adding a fractional piece $(D=4-2\epsilon )$%

76: , it is possible to know the behavior of such divergences in terms of

77: Laurent expansions with respect to the dimensional regulator $\epsilon $

78: when it tends to zero. On the other hand, the structure of the integral

79: associated to the diagram gets increasingly more complicated when the number

80: of external lines, loops or energy scales is increased, and therefore

81: finding an analytical solution is extremely difficult. Of the many different

82: techniques \cite{VSm} that have been developed in order to evaluate

83: diagrams, we can mention: integration by parts (IBP), contour parametric

84: integrations in terms of a Mellin-Barnes representation of the diagram, the

85: differential equations method (DEM), etc.

86: 

87: In the context of the present article, and as comparison, particular mention

88: has to be made to the Mellin-Barnes integral representation of the diagram,

89: which is a very powerful technique for finding solutions in cases of

90: arbitrary propagator powers. These powers can typically occur when tensorial

91: structures are present, when in the reduction process generate scalar

92: integrals with different powers of propagators, or when there are

93: subtopologies associated to massless virtual particles contained in a

94: propagator, which adds to the corrected propagator a fractional piece

95: proportional to the dimensional regulator $\epsilon $. Something similar

96: happens when the Integration by Parts (IBP) technique is used. The

97: Mellin-Barnes integral representation consists in transforming the momentum

98: space representation of the diagram into a parameter space representation,

99: written in terms of multiple contour integrals. As solution of these contour

100: integrals one obtains generalized hypergeometric series, whose arguments can

101: be '1' or ratios of the different energy scales that are present in the

102: diagram, and which give information about the different kinematical regions,

103: specified in a natural way by the convergence conditions of these functions.

104: The most interesting aspect of these type of solutions is that they can be

105: analyzed and expanded in terms of the dimensional regulator $\epsilon $ in

106: the kinematical region of interest. For this purpose there are known

107: techniques, algorithms and calculation packages \cite{SMo}, \cite{DMa}, \cite%

108: {MKa}.

109: 

110: The specific technique that is used here was suggested originally by

111: Halliday and Ricotta \cite{IRi}, and it is known as NDIM (Negative

112: Dimensional Integration Method) since it performs an analytical continuation

113: in the dimension $D$ to negative values. This can be done due to the fact

114: that the loop integrals have the property of being analytical functions in

115: arbitrary dimension. In actual practice this technique represents the

116: diagram in terms of a multiple series whose argument contains a certain

117: number of Kronecker deltas, and the solutions emerge naturally from

118: evaluating the sums in the different forms that these Kronecker deltas

119: allow. The final result can be always expressed in terms of generalized

120: hypergeometric series. This method has been developed and used by several

121: authors, among them A. Suzuki, A. Schmidt, E. Santos, C. Anastasiou, E.

122: Glover and C. Oleari, in many applications to essentially one-loop diagrams.

123: 

124: Since the results obtained in both the Mellin-Barnes representation of

125: diagrams and in this technique are generalized hypergeometric functions, it

126: is possible to compare them. In these series solutions the arguments are

127: ratios of the different energy scales that appear in the diagram, and the

128: parameters that characterize them are linear combinations of the propagator

129: powers and the dimension $D$. In such applications it was shown that at

130: one-loop level \cite{CAn2,ASu11,ASu13,ASu14,CAn1} this technique is

131: comparable in terms of the complexity of the solutions, with the one coming

132: from the Mellin-Barnes representation. Nevertheless, in two or more loop

133: cases \cite{ASu2,ASu3,ASu4,ASu5,ASu6,ASu10}, the conclusion is that the

134: generalization of the formalism is not adequate since the solutions get to

135: be complicated in two essential aspects. First, the number of terms or

136: contributions of the obtained hypergeometric functions is very high, being

137: for some two-loop diagrams typically of the order of thousands; and second,

138: the complexity of each of them increases, due to the fact that the

139: multiplicity of summations of each hypergeometric series is also quite high

140: and goes over the number needed to represent the solutions with respect to

141: the number of kinematical variables that the diagram possesses. Both of

142: these aspects make that any analytical study of the solutions to the $L$%

143: -loop case be very complex, and therefore it becomes impossible to identify

144: each of the contributions associated to a specific kinematical region.

145: Nevertheless, this technique has an important advantage, since it is much

146: simpler to apply that the Mellin-Barnes representation, because it changes

147: the process of solving multiple contour integrals into solving a linear

148: system of equations, a fact which is very important when one is trying to

149: find analytical solutions.

150: 

151: We have verified that in the form presented by the above mentioned authors,

152: the application of this method to the general $L$-loop case is indeed very

153: cumbersome. This can be observed in the $L-linear$ and $(L+1)-linear$

154: multinomials that are present in the Schwinger parametric integral, which

155: contains a number of terms that increases rapidly when the number of loops

156: or independent external momenta increases. Therefore the number of multiple

157: expansions grows with respect to the number of constraints or Kronecker

158: deltas which can be obtained from the mathematical structure of the diagram

159: and which are an essential part of the method. In the present work we have

160: deduced the method in a different way, and in the process found analytical

161: solutions to $L-loop$ diagrams which moreover can contain massive

162: propagators, extending significantly in this manner the number the diagrams

163: that can be treated with this technique. In our formalism it is not

164: necessary to work with the momentum representation of the graph. We start

165: with its Schwinger parametric representation, using for this purpose the

166: mathematical structure of a generic $L$ loops, $N$ propagators and $E$

167: independent external lines diagram, shown in Ref. \cite{IGo}, and which

168: provides a quick and direct way of obtaining the parametric representation

169: integrand without explicitly solving the momenta integrals. We concluded

170: that this technique is quite powerful and has significant advantages in the

171: evaluation of an infinite set of diagrams belonging to certain topological

172: classes, which is something that will be shown in the specific examples that

173: are going to be presented in this work.

174: 

175: Our emphasis in this work will be mainly in finding appropriate procedures

176: for obtaining the general solutions associated to a diagram, instead of

177: analyzing in more detail each one of them, although we do it in cases in

178: which they are naturally related to the convergence relations of the

179: hypergeometric series, which in turn define the kinematical regions where

180: these series are valid. The presentation of this work is as follows: section

181: $\left( II\right) $ contains a description of the algebraic components of

182: NDIM that are required for Feynman diagram evaluation, with emphasis on the

183: basic formulae of the method, which are related to delta Kronecker

184: generation, topology related series expansions, and the reasons for naming

185: this series multiregion expansion. We also explain here how to obtain in a

186: simple way the explicit Schwinger parametric representation in the different

187: energy scales of a general topology \cite{IGo}. Finally we describe an

188: algorithm that sums up the above in a systematic sequence of steps for

189: solving Feynman%

190: %TCIMACRO{\U{b4}}%

191: %BeginExpansion

192: \'{}%

193: %EndExpansion

194: s integrals and thus obtaining the multiregion expansion of the diagram, or

195: which could be called presolution of the graph. In section $\left(

196: III\right) $ we have considered three examples where the technique is

197: applied systematically, starting from a simple known case until a complex

198: one with until now unknown solutions. The first is the Bubble diagram $%

199: \left( E=1,N=2,L=1\right) $, with equal mass $\left( m\right) $ propagators.

200: This is a basic example, whose solutions are well known \cite{EBo,ADa1,ADa2}%

201: . The following example corresponds to the diagram called CBox $\left(

202: E=3,N=5,L=2\right) $, which although has known solutions \cite{COl}, in the

203: on-shell massless case this is the first time in which they have been

204: obtained using this method. Increasing the complexity, we solve this diagram

205: for the case of three massive propagators, which by itself is a new result.

206: Finally we find the solution for a four-loop propagator case $\left(

207: E=1,N=8,L=4\right) $, where the idea is to show that this technique is very

208: efficient and effective when one factorizes and expands systematically the

209: multinomials of the parametric representation. Initially the massless

210: propagator case is solved, and then with two massive propagators. The

211: massless case is quite simple, since it is a diagram which is reducible loop

212: by loop; but the second case is much more difficult, and the solution is in

213: terms of hypergeometric series of the type $_{9}F_{8}$, in the variables $%

214: \left( p^{2}/4m^{2}\right) $ or its reciprocal $\left( 4m^{2}/p^{2}\right) $%

215: , according to the kinematical region of interest. This result is relevant

216: given the difficulty of obtaining it using any other method in the case of

217: arbitrary propagator powers. In section $(IV)$ we discuss some conceptual

218: aspects of the integration method and about the complexity of the solutions

219: when the number of loops $L$ increases. We have added a section $\left(

220: V\right) $ as an extension of $\left( III\right) $, in which we present

221: several topologies that contain two or three different energy scales, and

222: where we only show the presolution in each case. Finally in the appendices

223: we include a summary of definitions and properties of one and two variable

224: hypergeometric functions, which appear frequently in the solutions of

225: Feynman integrals; and also a more detailed description of the equations

226: that support the integration method here presented, with some of its

227: properties.

228: 

229: The most important aspect of this work is that we have been able to

230: associate this technique with a certain family of $L$-loops topologies, with

231: respect to which it is applied very easily and directly, with the

232: possibility of solving a large number of Feynman diagrams, which can even

233: contain massive propagators with arbitrary powers. This allows to extend

234: considerably the known solutions of Feynman diagrams.

235: 

236: \section{Mathematical foundations}

237: 

238: \qquad In order to understand the method, we describe now its main

239: components:

240: 

241: \begin{description}

242: \item[-] Obtaining Schwinger's parametric representation..

243: 

244: \item[-] Foundations of the integration method NDIM.

245: 

246: \item[-] General algorithm.

247: \end{description}

248: 

249: \subsection{The parametric representation}

250: 

251: \qquad Let us consider a generic topology $G$ that represents a Feynman

252: diagram in a scalar theory, and suppose that this graph is composed of $N$

253: propagators or internal lines, $L$ loops (associated to independent internal

254: momenta $\underline{q}=\left\{ q_{1},...,q_{L}\right\} $, and $E$

255: independent external momenta $\underline{p}=\left\{ p_{1},...,p_{E}\right\} $%

256: . Each propagator or internal line is characterized by an arbitrary and in

257: general different mass, $\underline{m}=\left\{ m_{1},...,m_{N}\right\} $.

258: 

259: Using the prescription of dimensional regularization we can write the

260: momentum integral expression that represents the diagram in $D=4-2\epsilon $

261: dimensional Minkowski space as:

262: 

263: \begin{equation}

264: G=G(\underline{p},\underline{m})=\dint \frac{d^{D}q_{1}}{i\pi ^{\frac{D}{2}}}%

265: ...\frac{d^{D}q_{L}}{i\pi ^{\frac{D}{2}}}\frac{1}{(B_{1}^{2}-m_{1}^{2}+i0)^{%

266: \nu _{1}}}...\frac{1}{(B_{N}^{2}-m_{N}^{2}+i0)^{\nu _{N}}}.  \label{f11}

267: \end{equation}%

268: In this expression the symbol $B_{j}$ represents the momentum of the $j$

269: propagator or internal line, which in general depends on a linear

270: combination of external $\left\{ \underline{p}\right\} $ and internal $%

271: \left\{ \underline{q}\right\} $ momenta: $B_{j}=B_{j}(\underline{q},%

272: \underline{p})$. We also define $\underline{\nu }=\left\{ \nu _{1},...,\nu

273: _{N}\right\} $ as the set of powers of the propagators, which in general can

274: take arbitrary values. After introducing Schwinger's representation, it is

275: possible to solve the momenta integrals in terms of Gaussian integrals. The

276: result is Schwinger's parametric representation of the diagram associated to

277: equation $\left( \ref{f11}\right) $, which in the general case is given by

278: the expression:

279: 

280: \begin{equation}

281: G=\dfrac{(-1)^{-\frac{LD}{2}}}{\tprod\nolimits_{j=1}^{N}\Gamma (\nu _{j})}%

282: \dint\limits_{0}^{\infty }d\overrightarrow{x}\;\dfrac{\exp \left(

283: \tsum\nolimits_{j=1}^{N}x_{j}m_{j}^{2}\right) \exp \left( -\dfrac{F}{U}%

284: \right) }{U^{\frac{D}{2}}}.  \label{f12}

285: \end{equation}%

286: We have introduced for simplicity the following notation $d\overrightarrow{x}%

287: =dx_{1}...dx_{N}\,\tprod\nolimits_{j=1}^{N}x_{j}^{\nu _{j}-1}$, where $U$

288: and $F$ are $L-linear$ and $(L+1)-linear$ multinomials respectively, defined

289: in terms of determinants \cite{IGo}:

290: 

291: \begin{equation}

292: \begin{array}{ll}

293: U & =\Delta _{LL}^{(L)}, \\

294: &  \\

295: F & =\dsum\limits_{i,j=1}^{E}\Delta _{(L+i)(L+j)}^{(L+1)}\;p_{i}.p_{j} \\

296: &  \\

297: & =\dsum\limits_{i=1}^{E}\Delta

298: _{(L+i)(L+j)}^{(L+1)}\;p_{i}^{2}+2\dsum\limits_{i=1}^{E-1}\dsum%

299: \limits_{j>i}^{E}\Delta _{(L+i)(L+j)}^{(L+1)}\;p_{i}.p_{j},%

300: \end{array}%

301: \end{equation}%

302: where $\Delta _{ij}^{(k+1)}$ is the determinant defined by the equation:

303: 

304: \begin{equation}

305: \Delta _{ij}^{(k+1)}=\left\vert

306: \begin{array}{cccc}

307: M_{11} & \cdots & M_{1k} & M_{1j} \\

308: \vdots &  & \vdots & \vdots \\

309: M_{k1} & \cdots & M_{kk} & M_{kj} \\

310: M_{i1} & \cdots & M_{ik} & M_{ij}%

311: \end{array}%

312: \right\vert .

313: \end{equation}%

314: The matrix symmetric $\mathbf{M}$ has dimension $\left( L+E\right) \times

315: \left( L+E\right) $, and is called Initial Parameters Matrix. It is possible

316: to easily built it when $\left( \ref{f11}\right) $ is parametrized, and the

317: internal products of loop momenta and external momenta are expanded, with

318: coefficients which correspond to the elements of the matrix $M_{ij}$. For a

319: better understanding of this process let us define the momentum:%

320: \begin{equation}

321: Q_{j}=\left\{

322: \begin{array}{lll}

323: q_{j} & \text{if} & L\geq j\geq 1, \\

324: &  &  \\

325: p_{j-L} & \text{if} & \left( L+E\right) \geq j>L,%

326: \end{array}%

327: \right.

328: \end{equation}%

329: with the $\left( L+E\right) $-$vector$ $\mathbf{Q=[}Q_{1}\;Q_{2}\;...%

330: \;Q_{(L+E)}]^{t}$. Using this definition the following matrix structure is

331: generated, as a previous step to the loop momenta integration:%

332: \begin{equation}

333: \dsum\limits_{i=1}^{L+E}\dsum\limits_{j=1}^{L+E}Q_{i}M_{ij}Q_{j}=\mathbf{Q}%

334: ^{t}\mathbf{MQ},

335: \end{equation}%

336: with which we finally identify the symmetric matrix $\mathbf{M}$. Let us

337: develop briefly a simple example, for the massless one loop diagram shown in

338: Fig. 1.

339: 

340: \begin{figure}[th]

341: \begin{center}

342: \epsfig{file=fig1.eps,width=0.25\textwidth}

343: \end{center}

344: \caption{Bubble diagram.}

345: \end{figure}

346: The corresponding 1-loop integral is given by the expression:

347: 

348: \begin{equation}

349: G=\int \frac{d^{D}q}{i\pi ^{D/2}}\frac{1}{q^{2}(q+p)^{2}}.

350: \end{equation}%

351: We then apply Schwinger's parametrization, and then obtain the following

352: equation:

353: 

354: \begin{equation}

355: G=\int \frac{d^{D}q}{i\pi ^{D/2}}\int\limits_{0}^{\infty }dx_{1}\;\exp

356: \left( -x_{1}\;q^{2}\right) \int\limits_{0}^{\infty }dx_{2}\;\exp \left(

357: -x_{2}\left( q+p\right) ^{2}\right) ,

358: \end{equation}%

359: or equivalently, expanding the squares in the exponents and factorizing in

360: terms of internal and external momenta, it follows that:

361: 

362: \begin{equation}

363: G=\int dx_{1}dx_{2}\int \frac{d^{D}q}{i\pi ^{D/2}}\;\exp \left[ -\left[

364: \left( x_{1}+x_{2}\right) \;q^{2}+2x_{2}\;q.p+x_{2}\;p^{2}\right] \right] .

365: \end{equation}%

366: Now the matrix of parameters is obtained directly from the exponent by

367: simple observation, that is:

368: 

369: \begin{equation}

370: \mathbf{M}=\left(

371: \begin{array}{cc}

372: x_{1}+x_{2} & x_{2} \\

373: x_{2} & x_{2}%

374: \end{array}%

375: \right) ,

376: \end{equation}%

377: where it has been used that $Q_{1}=q$ and $Q_{2}=p$. Later on other examples

378: are going to be presented. For more details see Ref. \cite{IGo}.

379: 

380: \subsection{Foundations of the integration method NDIM}

381: 

382: \subsubsection{Notation and essential formulae}

383: 

384: \qquad The exponential structure that the integral of parameters $\left( \ref%

385: {f12}\right) $ presents allows that the integration method NDIM be developed

386: and sustained by two formulae that can be deduced starting from the

387: following integral expression:

388: 

389: \begin{equation}

390: \frac{1}{A^{\beta }}=\frac{1}{\Gamma (\beta )}\dint\limits_{0}^{\infty

391: }dx\;x^{\beta -1}\exp (-Ax),  \label{f20}

392: \end{equation}%

393: where the quantities $A$ and $\beta $ are in general complex. Using this

394: equality one can justify the essential point of this method, and which is

395: related to the equivalence (from an operational point of view) of the

396: integration sign with a quantity which is proportional to a Kronecker delta.

397: In order to show this we expand the integrand of equation $\left( \ref{f20}%

398: \right) $:

399: 

400: \begin{equation}

401: \frac{1}{A^{\beta }}=\frac{1}{\Gamma (\beta )}\dsum\limits_{n}\frac{\left(

402: -1\right) ^{n}}{\Gamma \left( n+1\right) }A^{n}\dint\limits_{0}^{\infty

403: }dx\;x^{\beta +n-1}.

404: \end{equation}%

405: Now the corresponding evaluation of the integral will not be done in the

406: usual way, but we define an identity which fulfills the equality. This

407: happens after we define the following operational relation:

408: 

409: \begin{equation}

410: \dint\limits_{0}^{\infty }dx\;x^{\beta +n-1}\equiv \Gamma \left( \beta

411: \right) \dfrac{\Gamma \left( n+1\right) }{\left( -1\right) ^{n}}\;\delta

412: _{\beta +n,0}.  \label{f28}

413: \end{equation}%

414: For convenience we introduce the following notation in order to write the

415: operational equivalent of the integral sign:

416: 

417: \begin{equation}

418: \dint dx\;x^{\alpha +\beta -1}\equiv \left\langle \alpha +\beta

419: \right\rangle ,  \label{f21}

420: \end{equation}%

421: where the parenthesis $\left\langle \cdot \right\rangle $ has implicit the

422: constraint associated to the Kronecker delta and which furthermore satisfies

423: the following property (see appendix):

424: 

425: \begin{equation}

426: \left\langle \alpha +\beta \right\rangle \equiv \Gamma (-\omega )\dfrac{%

427: \Gamma (\omega +1)}{(-1)^{\omega }}\;\delta _{\alpha +\beta ,0},

428: \end{equation}%

429: or in a simplified manner:

430: 

431: \begin{equation}

432: \left\langle \alpha +\beta \right\rangle =\frac{\Gamma (-\omega )}{\phi

433: _{\omega }}\;\delta _{\alpha +\beta ,0},  \label{f35}

434: \end{equation}%

435: where $\omega $ is an arbitrary index or parameter and where we have also

436: defined the factor:

437: 

438: \begin{equation}

439: \phi _{\omega }=\dfrac{(-1)^{\omega }}{\Gamma (\omega +1)}.  \label{f38}

440: \end{equation}%

441: On the other hand, by applying successively equation $\left( \ref{f20}%

442: \right) $ and then equation $\left( \ref{f21}\right) $ to an arbitrary

443: multinomial, we can deduce the second fundamental formula on which the

444: method is based. This expresses the fact that a multinomial of $\sigma $

445: terms can be written as a multiregion expansion, in such a way that it

446: simultaneously contains all limiting possible cases with respect to the

447: relation between the different terms present in the multinomial. The series

448: so described can be written as:

449: 

450: \begin{equation}

451: \left( A_{1}+...+A_{\sigma }\right) ^{\pm \nu

452: }=\dsum\limits_{n_{1}}...\dsum\limits_{n_{\sigma }}\phi _{n_{1},..,n_{\sigma

453: }}\ A_{1}^{n_{1}}...A_{\sigma }^{n_{\sigma }}\frac{\left\langle \mp \nu

454: +n_{1}+...+n_{\sigma }\right\rangle }{\Gamma (\mp \nu )},  \label{f22}

455: \end{equation}%

456: where the terms $A_{i}$ $\left( i=1,...,\sigma \right) $ and the exponent $%

457: \nu $ are quantities that can take arbitrary values. The expression $\left( %

458: \ref{f22}\right) $ contains the $\sigma $ expansions that can be obtained

459: and which have the general form:

460: 

461: \begin{equation}

462: \sim \frac{A_{i}^{\pm \nu }}{\Gamma (\mp \nu )}\dsum\limits_{n_{1}=0}^{%

463: \infty }...\dsum\limits_{n_{\sigma }=0}^{\infty }\phi _{n_{1},..,n_{\sigma

464: }}\;\left( \frac{A_{1}}{A_{i}}\right) ^{n_{1}}...\left( \frac{A_{\sigma }}{%

465: A_{i}}\right) ^{n_{\sigma }}\Gamma \left( \tsum\limits_{j=1}^{\sigma

466: }n_{j}\mp \nu \right) \;\delta _{n_{i},0},  \label{f26}

467: \end{equation}%

468: where the definition of the factor in $\left( \ref{f38}\right) $ has been

469: generalized:

470: \begin{equation}

471: \phi _{n_{1},..,n_{\sigma }}=(-1)^{_{n_{1}+...+n_{\sigma }}}\dfrac{1}{\Gamma

472: (n_{1}+1)...\Gamma (n_{\sigma }+1)}.

473: \end{equation}%

474: In this case each of the expansions $\left( \ref{f26}\right) $ that can be

475: obtained starting from $\left( \ref{f22}\right) $ correspond to

476: multivariable generalized hypergeometric series of multiplicity $\mu =\left(

477: \sigma -1\right) $, and each one of them contains the limiting cases or

478: region where it is fulfilled that $\left( \dfrac{A_{j}}{A_{i}}<1\right) $ $%

479: \forall $ $j\neq i$.

480: 

481: \subsubsection{General form of the multiregion expansion (MRE) of a diagram

482: and its solution}

483: 

484: \qquad Once the parametric representation of a diagram $\left( \ref{f12}%

485: \right) $ has been obtained, the following step is to evaluate it, and for

486: this purpose it is necessary to make an expansion of the integrand starting

487: from the exponential functions if they are present, and then continuing with

488: a multiregion expansion of all the multinomials that the process generates

489: according to formula $\left( \ref{f22}\right) .$ The expansion process ends

490: when one finally obtains only one term, which is a product of all the

491: Schwinger parameters. Now it only remains to replace all the integrals

492: according to the formula $\left( \ref{f21}\right) $\ or its equivalent $%

493: \left\langle \cdot \right\rangle $. We have obtained in this manner the

494: presolution or multiregion expansion of the Feynman integral considered in $%

495: \left( \ref{f11}\right) $. In the case in which we consider a generic

496: topology $G$, characterized by $M$ different mass scales, $N$ propagators

497: and $P$ Lorentz invariants associated to internal products of the external

498: independent momenta, then the general form of the multiregion expansion is

499: given by the following expression:

500: 

501: \begin{equation}

502: G=(-1)^{-\frac{LD}{2}}\dsum\limits_{n_{1},..,n_{\sigma }}\phi

503: _{n_{1},..,n_{\sigma

504: }}\;\tprod\limits_{j=1}^{P}(Q_{j}^{2})^{n_{j}}\tprod%

505: \limits_{j=P+1}^{P+M}(-m_{j}^{2})^{n_{j}}\tprod\limits_{j=1}^{N}\dfrac{%

506: \left\langle \nu _{j}+\alpha _{j}\right\rangle }{\Gamma (\nu _{j})}%

507: \tprod\limits_{j=1}^{K}\dfrac{\left\langle \beta _{j}+\gamma

508: _{j}\right\rangle }{\Gamma (\beta _{j})},  \label{f23}

509: \end{equation}%

510: where it is possible to identify the following quantities:

511: 

512: $\sigma \Longrightarrow $ Corresponds to the multiplicity or number of

513: summations that conform the multiregion expansion, or in this case the

514: presolution of the diagram $G$.

515: 

516: \bigskip

517: 

518: $Q_{j}^{2}\Longrightarrow $ Corresponds to a kinematical Lorentz invariant,

519: which is a quadratic form of the independent external momenta.

520: 

521: \bigskip

522: 

523: $\alpha _{j},\beta _{j},\gamma _{j}\Longrightarrow $ Correspond to linear

524: combinations of the indexes $\left\{ n_{1},..,n_{\sigma }\right\} $, with

525: the exception of $\beta _{1}$, which includes a dependence on the dimension $%

526: D$:

527: 

528: \begin{equation}

529: \beta _{1}=\frac{D}{2}+n_{1}+...+n_{P}.

530: \end{equation}%

531: The coefficients of the sum indexes $\left\{ n_{i}\right\} $ in the linear

532: combinations $\alpha _{j}$ and $\gamma _{j}$ are (+1) and in the case of $%

533: \beta _{j}$ the indexes have coefficients (-1), except for $\beta _{1}$.

534: 

535: \bigskip

536: 

537: $N\Longrightarrow $Number of propagators or equivalently number of

538: parametric integrations that the method transforms into $N$ Kronecker deltas.

539: 

540: \bigskip

541: 

542: $K\Longrightarrow $Number related to the total number of multiregion

543: expansions performed over the integrand of the parametric representation,

544: which in turn generates $K$ constraints or equivalently $K$ Kronecker deltas.

545: 

546: \bigskip

547: 

548: A particular case corresponds to vacuum fluctuation diagrams, in which case

549: the presolution $\left( \ref{f23}\right) $ is written in the following form:

550: 

551: \begin{equation}

552: G=(-1)^{-\frac{LD}{2}}\dsum\limits_{n_{1},..,n_{\sigma }}\phi

553: _{n_{1},..,n_{\sigma

554: }}\;\tprod\limits_{j=1}^{M}(-m_{j}^{2})^{n_{j}}\tprod\limits_{j=1}^{N}\frac{%

555: \left\langle \nu _{j}+\alpha _{j}\right\rangle }{\Gamma (\nu _{j})}%

556: \tprod\limits_{j=1}^{K}\dfrac{\left\langle \beta _{j}+\gamma

557: _{j}\right\rangle }{\Gamma (\beta _{j})},

558: \end{equation}%

559: where $\beta _{1}=\frac{D}{2}$.

560: 

561: In order to find the solutions, it is necessary to evaluate the sums using

562: for this purpose the existing constraints among the indexes of the sum,

563: represented by the $\delta =(N+K)$ Kronecker deltas; but as it can be seen

564: there are several ways to do this evaluation. In fact the number of

565: different forms to evaluate the presolution of $G$ using the Kronecker

566: deltas is given by the combinatorial formula:

567: 

568: \begin{equation}

569: C_{\delta }^{\sigma }=\dfrac{\sigma !}{\delta !(\sigma -\delta )!}.

570: \end{equation}%

571: Each one of these forms of summing using the Kronecker deltas in $G$,

572: generates in turn as a result a multiple series, which corresponds to a

573: generalized hypergeometric function, whose multiplicity is given by:

574: 

575: \begin{equation}

576: \mu =\left( \sigma -\delta \right) .

577: \end{equation}%

578: In general it is not always possible to use the $\delta $\ deltas in order

579: to evaluate the corresponding $\delta $ sums, since this will depend on the

580: combination of indexes with respect to which the sum should be done. If this

581: happens, these cases are simply not considered as contributions to the

582: solution and therefore are discarded. In those cases in which we do have a

583: relevant expansion contribution, this corresponds to an serie representation

584: of the set of kinematical variables that are present in the problem, in the

585: form of ratios of the different energy scales that appear in the topology.

586: Since the multiregion expansion $\left( \ref{f23}\right) $ contains all the

587: limits simultaneously, all the solutions that have been found are related

588: between them by analytical continuation, which is realized implicitly by the

589: integration method NDIM.

590: 

591: In practical terms the idea of the method is to generate finally an

592: expansion that represents the diagram $G$, the Multiregion Expansion,

593: characterized by multiplicity $\sigma $, in combination with a number $%

594: \delta $ of Kronecker deltas. Using this it is possible to find the

595: solutions in terms of generalized hypergeometric functions of multiplicity $%

596: \mu $. In this work we study in detail only the topologies where the $\mu $

597: variables of the different solutions correspond to ratios of the different $%

598: \left( P+M\right) $ energy scales present in the topology, that is when the

599: following condition if fulfilled:

600: 

601: \begin{equation}

602: \mu =\left( P+M-1\right) .  \label{f46}

603: \end{equation}

604: 

605: \subsubsection{Minimizing expansions and maximizing the number of

606: constraints (Kronecker deltas)}

607: 

608: \qquad This is an essential point in the improvement of the integration

609: technique NDIM, since it explains the procedure used to find the optimal

610: multiregion expansion of the diagram $G$. The idea is quite simple and it is

611: related to the form in which the expansion of the multinomials $F$ and $U$

612: of the parametric representation $\left( \ref{f12}\right) $ is done. The

613: technique consists in the factorization of all the multinomials which are

614: repeated two or more times in the integrand, without expanding them until

615: they factorize in one term as product of the previous expansions. In the

616: same way the process is repeated for all the submultinomials that the

617: process generates and ends when finally one obtains one single monomial

618: which is a product of the $N$ Schwinger parameters. Finally applying

619: equation $\left( \ref{f21}\right) $, the integrals get associated to $N$

620: Kronecker deltas.

621: 

622: The main result that is achieved by such a procedure is the minimization of

623: the number of expansions, increasing the number of submultinomials that have

624: to be expanded and since each multiregion expansion done over them generates

625: one Kronecker delta, using formula $\left( \ref{f22}\right) $ it is clear

626: that the number of deltas is also maximized.

627: 

628: Let us see the following examples where it is verified that this systematic

629: expansion indeed generates generalized hypergeometric functions of minimized

630: multiplicity $\mu $, and that in general less terms than in previous

631: approaches are part of the solution of the diagram.

632: 

633: \paragraph{Example I}

634: 

635: Let us consider the following function:

636: 

637: \begin{equation}

638: g=(a_{1}a_{2}+a_{1}a_{3}+a_{2}a_{4}+a_{3}a_{4})^{\beta },

639: \end{equation}%

640: and let us find its corresponding multiregion expansion, with and without

641: the factorization previously indicated.

642: 

643: \subparagraph{Expansion without factorization :}

644: 

645: Applying directly formula $\left( \ref{f22}\right) $ to function $g$, one

646: easily obtains the multiregion expansion of the function:

647: 

648: \begin{equation*}

649: g=\dsum\limits_{n_{1},..,n_{4}}\phi

650: _{n_{1},..,n_{4}}%

651: \;a_{1}^{n_{1}+n_{2}}a_{2}^{n_{1}+n_{3}}a_{3}^{n_{2}+n_{4}}a_{4}^{n_{3}+n_{4}}%

652: \frac{\left\langle -\beta +n_{1}+n_{2}+n_{3}+n_{4}\right\rangle }{\Gamma

653: (-\beta )}.

654: \end{equation*}

655: 

656: \subparagraph{Expansion with factorization :}

657: 

658: We now reorder the function $g$, factorizing the multinomial in the

659: following way:

660: 

661: \begin{equation}

662: g=\left[ a_{1}b+a_{4}b\right] ^{\beta },  \label{f24}

663: \end{equation}%

664: where $b=\left( a_{2}+a_{3}\right) $. We have applied the previously stated

665: idea with respect to repeated submultinomials. We now expand the binomial in

666: $\left( \ref{f24}\right) $, obtaining the following:

667: 

668: \begin{equation}

669: g=\dsum\limits_{n_{1},n_{2}}\phi

670: _{n_{1},n_{2}}\;b^{n_{1}+n_{2}}a_{1}^{n_{1}}a_{4}^{n_{2}}\frac{\left\langle

671: -\beta +n_{1}+n_{2}\right\rangle }{\Gamma (-\beta )},

672: \end{equation}%

673: in an analogous manner the binomial $b=\left( a_{2}+a_{3}\right) $ is now

674: expanded, which gives as result the multiregion expansion of $g$:

675: 

676: \begin{equation}

677: g=\dsum\limits_{n_{1},..,n_{4}}\phi

678: _{n_{1},..,n_{4}}\;a_{1}^{n_{1}}a_{2}^{n_{3}}a_{3}^{n_{4}}a_{4}^{n_{2}}\frac{%

679: \left\langle -\beta +n_{1}+n_{2}\right\rangle }{\Gamma (-\beta )}\frac{%

680: \left\langle -n_{1}-n_{2}+n_{3}+n_{4}\right\rangle }{\Gamma (-n_{1}-n_{2})}.

681: \end{equation}%

682: The advantage of expanding after using the factorization of repeated

683: submultinomials can be clearly appreciated in Table I.

684: 

685: \begin{equation}

686: \begin{tabular}{lll}

687: \hline

688: & without factorization & with factorization \\ \hline

689: Multiplicity multiregion series $\left( \sigma \right) $ &

690: \multicolumn{1}{c}{4} & \multicolumn{1}{c}{4} \\

691: Kronecker deltas associated to the expansion $\left( \delta \right) $ &

692: \multicolumn{1}{c}{1} & \multicolumn{1}{c}{2} \\

693: Multiplicity of resulting series $\left( {\mu =\sigma -\delta }\right) $ &

694: \multicolumn{1}{c}{3} & \multicolumn{1}{c}{2} \\

695: Possible resulting expansions $\left( {C}_{\delta }^{\sigma }\right) $ &

696: \multicolumn{1}{c}{4} & \multicolumn{1}{c}{6} \\

697: Relevant resulting expansions & \multicolumn{1}{c}{4} & \multicolumn{1}{c}{4}

698: \\ \hline

699: \end{tabular}

700: \tag{Table I}

701: \end{equation}%

702: Notice that the multiplicity $\mu $ of the produced hypergeometric series

703: has decreased, although the number of relevant contributions, those that

704: correspond to a limiting case of $g$, has remained the same.

705: 

706: \paragraph{Example II}

707: 

708: Let us consider a second example, a function $g$ which is a product of two

709: monomials:

710: 

711: \begin{equation}

712: g=\left( a_{1}+a_{2}\right) ^{\alpha }(a_{1}+a_{2}+a_{3})^{\beta },

713: \label{f25}

714: \end{equation}%

715: and find its respective multiregion expansion with and without factorization.

716: 

717: \subparagraph{Expansion without factorization:}

718: 

719: We expand each multinomial separately, and then after reordering obtain the

720: following series for $g$:

721: 

722: \begin{equation}

723: g=\dsum\limits_{n_{1},..,n_{5}}\phi

724: _{n_{1},..,n_{5}}\;a_{1}^{n_{1}+n_{3}}a_{2}^{n_{2}+n_{4}}a_{3}^{n_{5}}\frac{%

725: \left\langle -\alpha +n_{1}+n_{2}\right\rangle }{\Gamma (-\alpha )}\frac{%

726: \left\langle -\beta +n_{3}+n_{4}+n_{5}\right\rangle }{\Gamma (-\beta )}.

727: \end{equation}

728: 

729: \subparagraph{Expansion with factorization :}

730: 

731: Let us now see what happens if the repeated submultinomials in $\left( \ref%

732: {f25}\right) $ are factorized as follows:

733: 

734: \begin{equation}

735: g=b^{\alpha }\left[ b+a_{3}\right] ^{\beta },

736: \end{equation}%

737: where $b=\left( a_{1}+a_{2}\right) .$ Then expanding the binomial, one

738: obtains the series:

739: 

740: \begin{equation}

741: g=\dsum\limits_{n_{1},n_{2}}\phi _{n_{1},n_{2}}\;b^{\alpha

742: +n_{1}}a_{3}^{n_{2}}\frac{\left\langle -\beta +n_{1}+n_{2}\right\rangle }{%

743: \Gamma (-\beta )},

744: \end{equation}%

745: and then expanding the factor $b=\left( a_{1}+a_{2}\right) $, which finally

746: gives us the multiregion expansion for $g$:

747: 

748: \begin{equation}

749: g=\dsum\limits_{n_{1},..,n_{4}}\phi

750: _{n_{1},..,n_{4}}\;a_{1}^{n_{3}}a_{2}^{n_{4}}a_{3}^{n_{2}}\frac{\left\langle

751: -\alpha -n_{1}+n_{3}+n_{4}\right\rangle }{\Gamma (-\alpha -n_{1})}\frac{%

752: \left\langle -\beta +n_{1}+n_{2}\right\rangle }{\Gamma (-\beta )}.

753: \end{equation}%

754: The important fact is that once again the complexity of the resulting series

755: representations gets reduced, both in the multiplicity $\mu $ and in the

756: number of relevant contributions, as can be seen in Table II.

757: 

758: \begin{equation}

759: \begin{tabular}{lll}

760: \hline

761: & without factorization & with factorization \\ \hline

762: Multiplicity of multiregion series $\left( {\sigma }\right) $ &

763: \multicolumn{1}{c}{5} & \multicolumn{1}{c}{4} \\

764: Kronecker deltas associated to the expansion $\left( {\delta }\right) $ &

765: \multicolumn{1}{c}{2} & \multicolumn{1}{c}{2} \\

766: Multiplicity of resulting series $\left( {\mu =\sigma -\delta }\right) $ &

767: \multicolumn{1}{c}{3} & \multicolumn{1}{c}{2} \\

768: Possible resulting expansions $\left( {C}_{\delta }^{\sigma }\right) $ &

769: \multicolumn{1}{c}{10} & \multicolumn{1}{c}{6} \\

770: Relevant resulting expansions & \multicolumn{1}{c}{6} & \multicolumn{1}{c}{5}

771: \\ \hline

772: \end{tabular}

773: \tag{Table II}

774: \end{equation}%

775: Although we have presented very simple examples, they illustrate the

776: advantages of first doing the factorization and then expanding

777: systematically a multinomial. In these examples we verify that the

778: multiplicity of each hypergeometric function finally obtained decreases when

779: using the factorization procedure of repeated submultinomials, and also the

780: number of relevant expansions obtained from the multiregion series is

781: reduced as well.

782: 

783: For the particular case of Feynman integrals, the equivalent Schwinger

784: parametric representation is composed of two multinomials, $F$ and $U$, and

785: the factorization and expansion process shown in the examples is directly

786: applicable to them.

787: 

788: \subsection{The algorithm}

789: 

790: \qquad Here we present an algorithm for finding the solution of an arbitrary

791: Feynman diagram:

792: 

793: \begin{enumerate}

794: \item Find Schwinger%

795: %TCIMACRO{\U{b4}}%

796: %BeginExpansion

797: \'{}%

798: %EndExpansion

799: s parametric representation $\left( \ref{f12}\right)$ of the Feynman diagram

800: $G$, characterized by $L$ loops, $N$ propagators, $E$ independent external

801: momenta and $M$ different masses. In general $\left( M\leq N\right) $.

802: 

803: \item Minimize the number of terms of the multinomial $F$, reordering such

804: that:

805: \begin{equation}

806: F=\dsum\limits_{i=1}^{E}\dsum\limits_{j=1}^{E}\Delta

807: _{(L+i)(L+j)}^{(L+1)}\;p_{i}.p_{j}=\dsum\limits_{j=1}^{P}f_{j}(%

808: \overrightarrow{x})\;Q_{j}^{2},

809: \end{equation}%

810: where the factors $f_{j}(\overrightarrow{x})$ correspond to multinomials

811: which depend only on Schwinger%

812: %TCIMACRO{\U{b4}}%

813: %BeginExpansion

814: \'{}%

815: %EndExpansion

816: s parameters, and where $Q_{j}^{2}$ is a kinematical invariant which depends

817: on the independent external momenta. Thus the integrand of the parametric

818: representation acquires the following structure:

819: 

820: \begin{equation}

821: \dfrac{\exp \left( y_{1}m_{1}^{2}\right) ...\exp \left(

822: y_{M}m_{M}^{2}\right) \exp \left( -\dfrac{f_{1}Q_{1}^{2}}{U}\right) ...\exp

823: \left( -\dfrac{f_{P}Q_{P}^{2}}{U}\right) }{U^{D/2}}.

824: \end{equation}%

825: Being $\left\{ y_{1},...,y_{M}\right\} \subseteq \left\{

826: x_{1},...,x_{N}\right\} $. In principle, assuming that all masses are

827: different and non-vanishing, $(M+P)$ independent (between them) expansions

828: are obtained, only associated to these exponential functions.

829: 

830: \item The following step is finding repeated multinomials susceptible to

831: factorize, both in the functions $f_{j}(\overrightarrow{x})$ as well as in

832: the multinomial $U$. For the equal masses case, before expanding the

833: exponential which contains them, it is convenient to factorize the terms

834: that build a multinomial already existent in the previously factorized

835: integrand, and then one proceeds to expand such exponential.

836: 

837: \item Expand the multinomials until finally a single product of Schwinger's

838: parameters is obtained. Each performed expansion will be associated to a

839: Kronecker delta.

840: 

841: \item After doing all the expansions, finally it remains to replace the

842: integral signs by its equivalent $\left\langle \cdot \right\rangle $. By

843: doing that we add $N$ additional Kronecker deltas. The result is the

844: presolution of the diagram $G$ or its equivalent multiregion expansion $%

845: \left( \ref{f23}\right) $.

846: 

847: \item In order to find the contribution or serie representation associated

848: to a particular combination of the $\mu $ free indexes, the most appropriate

849: procedure is to solve the linear system corresponding to the constraints

850: among the indexes, obtained from the Kronecker deltas, and assume that such

851: indexes in these equations correspond to independent free variables. Thus we

852: obtain a set of solutions for the indexes that are not free, in terms of the

853: $\mu $ free indexes, of the parameters $\left\{ \nu _{1},...,\nu

854: _{N}\right\} $ and of the dimension $D$. Each of these combinations

855: constitute a generalized hypergeometric function, whose series

856: representation has multiplicity $\mu $. Not all the combinations of free

857: indexes generate a solution, in which case the associated linear system

858: simply has no solution or equivalently the Kronecker deltas cannot eliminate

859: the $\delta $ sums in the non-free indexes, so the quantity $C_{\delta

860: }^{\sigma }$ is an upper bound with respect to the number of possible

861: hypergeometric contributions that are present in the solution of the diagram

862: $G$.

863: 

864: \item Repeat the previous process for the $C_{\delta }^{\sigma }$ forms of

865: combining the $\mu $ indexes. Thus we obtain at most $C_{\delta }^{\sigma }$

866: hypergeometric series, which are classified according to kinematical region

867: of interest. The solution in each kinematical region corresponds to the

868: algebraic sum of all the contributions that have the same kinematical

869: argument or variable. The final result is the evaluation of the diagram $G$

870: in terms of all its series solutions.

871: \end{enumerate}

872: 

873: \section{Applications}

874: 

875: \qquad In order to show explicitly the integration technique, let us

876: consider three applications. The first corresponds to the evaluation of the

877: one-loop massive propagator. Through this simple and known problem we

878: present the formalism and proposed notation. In the second example, the CBox

879: diagram, it is already possible to notice the efficiency of an adequate

880: factorization. In this case the solution is also known and has been already

881: obtained using a different method to the one proposed here, which is useful

882: in order to compare the simplicity of the NDIM with respect to other

883: methods. We also generalize this problem to cases in which the solution has

884: not been found until now. And the last example is a four-loop diagram which

885: has associated a very complex integral given the number of terms that are

886: present in the polynomials $F$ and $U$, and which nevertheless with an

887: optimal factorization becomes possible to be solved, even considering one

888: mass scale in the graph. Is here where the integration technique

889: demonstrates all its power, obtaining a completely new result and showing

890: the simplicity of the method.

891: 

892: \subsection{Example I : Massive Bubble diagram}

893: 

894: \qquad This is a case in which the solutions are well known \cite%

895: {EBo,ADa1,ADa2}, and which we will use in order to introduce the integration

896: method:

897: 

898: \begin{figure}[th]

899: \begin{center}

900: \epsfig{file=fig2.eps,width=0.32\textwidth}

901: \end{center}

902: \caption{Labelled Bubble diagram.}

903: \end{figure}

904: The integral representation of this diagram (Fig. 2) in momentum space is

905: given by the equation:

906: 

907: \begin{equation}

908: G=\int \frac{d^{D}q_{1}}{i\pi ^{D/2}}\frac{1}{(q_{1}^{2}-m_{1}^{2})^{\nu

909: _{1}}\left( (p_{1}-q_{1})^{2}-m_{2}^{2}\right) ^{\nu _{2}}}.

910: \end{equation}%

911: Let us consider the case of equal mass propagators, $m_{1}=m_{2}=m$, and

912: then according to equation $\left( \ref{f12}\right) $, the corresponding

913: Schwinger parametric representation is given by the expression:

914: 

915: \begin{equation}

916: G=\dfrac{(-1)^{-\frac{D}{2}}}{\tprod\nolimits_{j=1}^{2}\Gamma (\nu _{j})}%

917: \dint\limits_{0}^{\infty }d\overrightarrow{x}\;\frac{\exp \left( -\left(

918: x_{1}+x_{2}\right) (-m^{2})\right) \exp \left( -\dfrac{x_{1}x_{2}}{%

919: x_{1}+x_{2}}p_{1}^{2}\right) }{\left( x_{1}+x_{2}\right) ^{\frac{D}{2}}},

920: \end{equation}%

921: where we readily identify the multinomials of the representation, that is $%

922: U=\left( x_{1}+x_{2}\right) $ and $F=x_{1}x_{2}\;p_{1}^{2}$. Then the only

923: repeated multinomial coincides with $U$. For finding the multiregion

924: expansion we expand first the exponentials, therefore obtaining the series:

925: 

926: \begin{equation}

927: G=\dfrac{(-1)^{-\frac{D}{2}}}{\tprod\nolimits_{j=1}^{2}\Gamma (\nu _{j})}%

928: \dsum\limits_{n_{1},n_{2}}\phi _{n_{1,}n_{2}}\;\left( p_{1}^{2}\right)

929: ^{n_{1}}\left( -m^{2}\right) ^{n_{2}}\dint d\overrightarrow{x}\;\frac{%

930: x_{1}^{n_{1}}x_{2}^{n_{1}}}{\left( x_{1}+x_{2}\right) ^{\frac{D}{2}%

931: +n_{1}-n_{2}}}.  \label{k}

932: \end{equation}%

933: Now $U$ is expanded:

934: 

935: \begin{equation}

936: \dfrac{1}{\left( x_{1}+x_{2}\right) ^{\frac{D}{2}+n_{1}-n_{2}}}%

937: =\dsum\limits_{n_{3},n_{4}}\phi _{n_{3,}n_{4}}\;\frac{%

938: x_{1}^{n_{3}}x_{2}^{n_{4}}}{\Gamma (\frac{D}{2}+n_{1}-n_{2})}\Delta _{1},

939: \label{f39}

940: \end{equation}%

941: which replaced in $\left( \ref{k}\right) $ and doing a separation of

942: integration variables gives us:%

943: \begin{equation}

944: G=\dfrac{(-1)^{-\frac{D}{2}}}{\tprod\nolimits_{j=1}^{2}\Gamma (\nu _{j})}%

945: \dsum\limits_{n_{1},..,n_{4}}\phi _{n_{1,..,}n_{4}}\;\frac{\left(

946: p_{1}^{2}\right) ^{n_{1}}\left( -m^{2}\right) ^{n_{2}}}{\Gamma (\frac{D}{2}%

947: +n_{1}-n_{2})}\Delta _{1}\int dx_{1}\;x_{1}^{\nu _{1}+n_{1}+n_{3}-1}\int

948: dx_{2}\;x_{2}^{\nu _{2}+n_{1}+n_{4}-1}.

949: \end{equation}%

950: Then using equation $\left( \ref{f21}\right) $ the integrals are transformed

951: in its equivalent $\left\langle \cdot \right\rangle $, which finally allows

952: us to obtain the multiregion expansion of the diagram $G$:

953: 

954: \begin{equation}

955: G=\dfrac{(-1)^{-\frac{D}{2}}}{\tprod\nolimits_{j=1}^{2}\Gamma (\nu _{j})}%

956: \dsum\limits_{n_{1},..,n_{4}}\phi _{n_{1,..,}n_{4}}\;\left( p_{1}^{2}\right)

957: ^{n_{1}}\left( -m^{2}\right) ^{n_{2}}\frac{\tprod\nolimits_{j=1}^{3}\Delta

958: _{j}}{\Gamma (\frac{D}{2}+n_{1}-n_{2})},  \label{f27}

959: \end{equation}%

960: where we have defined a notation for constraints $\left\{ \Delta

961: _{i}\right\} $:

962: 

963: \begin{equation}

964: \begin{array}{l}

965: \Delta _{1}=\left\langle \frac{D}{2}+n_{1}-n_{2}+n_{3}+n_{4}\right\rangle ,

966: \\

967: \Delta _{2}=\left\langle \nu _{1}+n_{1}+n_{3}\right\rangle , \\

968: \Delta _{3}=\left\langle \nu _{2}+n_{1}+n_{4}\right\rangle .%

969: \end{array}

970: \label{f34}

971: \end{equation}%

972: The number of possible representations is given by the combinatorics $%

973: C_{3}^{4}=4$, and the obtained hypergeometric series will have multiplicity

974: one. The constraints in $\left( \ref{f34}\right) $ provide us with the

975: following linear system:

976: 

977: \begin{equation}

978: \begin{array}{l}

979: 0=\frac{D}{2}+n_{1}-n_{2}+n_{3}+n_{4}, \\

980: \\

981: 0=\nu _{1}+n_{1}+n_{3}, \\

982: \\

983: 0=\nu _{2}+n_{1}+n_{4}.%

984: \end{array}

985: \label{l}

986: \end{equation}%

987: Explicitly the combinatorics expresses that we have three equations and four

988: variables(indexes), and therefore it is necessary to leave one free or

989: independent index, which can be done in four different ways. Let us see this

990: case by case:

991: 

992: \subsubsection{Serie representation when $n_{1}$\textit{\ is taken as

993: independent index:}}

994: 

995: \qquad Before doing any calculation let us define a notation for relating

996: the index that is taken as free and the respective hypergeometric

997: representation that it generates. For this purpose let us identify $G_{j}$

998: as the contribution obtained once we leave index $n_{j}$ free in the

999: multiregion representation of diagram $G$.

1000: 

1001: Now starting form the multiregion expression $\left( \ref{f27}\right) $, and

1002: using formula $\left( \ref{f35}\right) $, we can replace the parenthesis $%

1003: \left\langle \cdot \right\rangle $ conveniently, thus obtaining the series

1004: with index of sum $n_{1}$:

1005: 

1006: \begin{equation}

1007: G_{1}=\dfrac{(-1)^{-\frac{D}{2}}}{\tprod\nolimits_{j=1}^{2}\Gamma (\nu _{j})}%

1008: \dsum\limits_{n_{1}}\dfrac{(-1)^{n_{1}}}{n_{1}!}\left( p_{1}^{2}\right)

1009: ^{n_{1}}\left( -m^{2}\right) ^{n_{2}}\frac{\Gamma (-n_{2})\Gamma

1010: (-n_{3})\Gamma (-n_{4})}{\Gamma (\frac{D}{2}+n_{1}-n_{2})},  \label{f16}

1011: \end{equation}%

1012: where the dependent indexes (solutions of the system in $\left( \ref{l}%

1013: \right) $ ) take the following values:

1014: 

1015: \begin{equation}

1016: \begin{array}{l}

1017: n_{2}=\frac{D}{2}-\nu _{1}-\nu _{2}-n_{1}, \\

1018: \\

1019: n_{3}=-\nu _{1}-n_{1}, \\

1020: \\

1021: n_{4}=-\nu _{2}-n_{1}.%

1022: \end{array}%

1023: \end{equation}%

1024: Replacing now in $\left( \ref{f16}\right) $, we get:

1025: 

1026: \begin{equation}

1027: G_{1}=(-1)^{-\frac{D}{2}}\dfrac{\left( -m^{2}\right) ^{\frac{D}{2}-\nu

1028: _{1}+\nu _{2}}}{\tprod\nolimits_{j=1}^{2}\Gamma (\nu _{j})}%

1029: \dsum\limits_{n_{1}}\dfrac{\left( p_{1}^{2}/m^{2}\right) ^{n_{1}}}{n_{1}!}%

1030: \frac{\Gamma (\nu _{1}+\nu _{2}-\frac{D}{2}+n_{1})\Gamma (\nu

1031: _{1}+n_{1})\Gamma (\nu _{2}+n_{1})}{\Gamma (\nu _{1}+\nu _{2}+2n_{1})},

1032: \end{equation}%

1033: and we can then reduce the above expression in terms of a hypergeometric

1034: function:

1035: 

1036: \begin{equation}

1037: G_{1}=\chi _{1}\;\left( -m^{2}\right) ^{\frac{D}{2}-\nu _{1}+\nu _{2}}\

1038: _{3}F_{2}\left( \left.

1039: \begin{array}{c}

1040: \begin{array}{ccc}

1041: \nu _{1}+\nu _{2}-\tfrac{D}{2}, & \nu _{1}, & \nu _{2}%

1042: \end{array}

1043: \\

1044: \begin{array}{cc}

1045: \tfrac{1}{2}+\tfrac{\nu _{1}+\nu _{2}}{2}, & \tfrac{\nu _{1}+\nu _{2}}{2}%

1046: \end{array}%

1047: \end{array}%

1048: \right\vert \dfrac{p_{1}^{2}}{4m^{2}}\right) ,

1049: \end{equation}%

1050: where:

1051: 

1052: \begin{equation}

1053: \chi _{1}=(-1)^{-\frac{D}{2}}\dfrac{\Gamma (\nu _{1}+\nu _{2}-\frac{D}{2})}{%

1054: \Gamma (\nu _{1}+\nu _{2})}.

1055: \end{equation}

1056: 

1057: \subsubsection{Serie representation when $n_{2}$\textit{\ is independent

1058: index:}}

1059: 

1060: \qquad Analogously to the previous case, we now make the index $n_{2}$

1061: independent, and from an adequate writing of the factors $\left\{ \Delta

1062: _{i}\right\} $, we get the following expression associated to a free $n_{2}$:

1063: 

1064: \begin{equation}

1065: G_{2}=\dfrac{(-1)^{-\frac{D}{2}}}{\tprod\nolimits_{j=1}^{2}\Gamma (\nu _{j})}%

1066: \dsum\limits_{n_{2}}\dfrac{(-1)^{n_{2}}}{n_{2}!}\left( p_{1}^{2}\right)

1067: ^{n_{1}}\left( -m^{2}\right) ^{n_{2}}\frac{\Gamma (-n_{1})\Gamma

1068: (-n_{3})\Gamma (-n_{4})}{\Gamma (\frac{D}{2}+n_{1}-n_{2})}.

1069: \end{equation}%

1070: This time the solutions for the dependent indexes are given by:

1071: 

1072: \begin{equation}

1073: \begin{array}{l}

1074: n_{1}=\frac{D}{2}-\nu _{1}-\nu _{2}-n_{2}, \\

1075: \\

1076: n_{3}=\nu _{2}-\frac{D}{2}+n_{2}, \\

1077: \\

1078: n_{4}=\nu _{1}-\frac{D}{2}+n_{2},%

1079: \end{array}%

1080: \end{equation}%

1081: which allows to obtain the serie representation when $n_{2}$ is free in the

1082: presolution $\left( \ref{f27}\right) $:

1083: 

1084: \begin{equation}

1085: G_{2}=\chi _{2}\;\left( p_{1}^{2}\right) ^{\frac{D}{2}-\nu _{1}+\nu

1086: _{2}}\;_{3}F_{2}\left( \left.

1087: \begin{array}{c}

1088: \begin{array}{ccc}

1089: \nu _{1}+\nu _{2}-\tfrac{D}{2}, & \tfrac{1}{2}+\tfrac{\nu _{1}+\nu _{2}}{2}-%

1090: \tfrac{D}{2}, & 1+\tfrac{\nu _{1}+\nu _{2}}{2}-\tfrac{D}{2}%

1091: \end{array}

1092: \\

1093: \begin{array}{cc}

1094: 1+\nu _{1}-\tfrac{D}{2}, & 1+\nu _{2}-\tfrac{D}{2}%

1095: \end{array}%

1096: \end{array}%

1097: \right\vert \dfrac{4m^{2}}{p_{1}^{2}}\right) ,

1098: \end{equation}%

1099: where the prefactor $\chi _{2}$ is given by the identity:

1100: 

1101: \begin{equation*}

1102: \chi _{2}=(-1)^{-\frac{D}{2}}\dfrac{\Gamma (\nu _{1}+\nu _{2}-\frac{D}{2}%

1103: )\Gamma (\frac{D}{2}-\nu _{1})\Gamma (\frac{D}{2}-\nu _{2})}{\Gamma (\nu

1104: _{1})\Gamma (\nu _{2})\Gamma (D-\nu _{1}-\nu _{2})}.

1105: \end{equation*}

1106: 

1107: \subsubsection{\textit{Solution for }$n_{3}$ and $n_{4}$\textit{\

1108: independent:}}

1109: 

1110: \qquad Similar procedures to the previous ones allow us to quickly get the

1111: terms $G_{3}$ and $G_{4}$ respectively:

1112: 

1113: \begin{equation}

1114: G_{3}=\chi _{3}\;\left( p_{1}^{2}\right) ^{-\nu _{1}}\left( -m^{2}\right) ^{%

1115: \frac{D}{2}-\nu _{2}}\;_{3}F_{2}\left( \left.

1116: \begin{array}{c}

1117: \begin{array}{ccc}

1118: \nu _{1}, & \tfrac{1}{2}+\tfrac{\nu _{1}-\nu _{2}}{2}, & 1+\tfrac{\nu

1119: _{1}-\nu _{2}}{2}%

1120: \end{array}

1121: \\

1122: \begin{array}{cc}

1123: 1+\nu _{1}-\nu _{2}, & 1+\tfrac{D}{2}-\nu _{2}%

1124: \end{array}%

1125: \end{array}%

1126: \right\vert \dfrac{4m^{2}}{p_{1}^{2}}\right) ,

1127: \end{equation}%

1128: and:%

1129: \begin{equation}

1130: G_{4}=\chi _{4}\;\left( p_{1}^{2}\right) ^{-\nu _{2}}\left( -m^{2}\right) ^{%

1131: \frac{D}{2}-\nu _{1}}\;_{3}F_{2}\left( \left.

1132: \begin{array}{c}

1133: \begin{array}{ccc}

1134: \nu _{2}, & \tfrac{1}{2}+\tfrac{\nu _{2}-\nu _{1}}{2}, & 1+\tfrac{\nu

1135: _{2}-\nu _{1}}{2}%

1136: \end{array}

1137: \\

1138: \begin{array}{cc}

1139: 1+\nu _{2}-\nu _{1}, & 1+\tfrac{D}{2}-\nu _{1}%

1140: \end{array}%

1141: \end{array}%

1142: \right\vert \dfrac{4m^{2}}{p_{1}^{2}}\right) ,

1143: \end{equation}%

1144: where the following factors have been defined:

1145: 

1146: \begin{equation}

1147: \chi _{3}=(-1)^{-\frac{D}{2}}\dfrac{\Gamma (\nu _{2}-\frac{D}{2})}{\Gamma

1148: (\nu _{2})},

1149: \end{equation}

1150: 

1151: \begin{equation}

1152: \chi _{4}=(-1)^{-\frac{D}{2}}\dfrac{\Gamma (\nu _{1}-\frac{D}{2})}{\Gamma

1153: (\nu _{1})}.

1154: \end{equation}

1155: 

1156: \subsubsection{Solutions in the different kinematical regions, expressed as

1157: sums of terms $G_{j}$}

1158: 

1159: \qquad We can distribute the previously found solutions in the two regions

1160: where it is possible to expand the kinematical variables, the first located

1161: in $\left\vert \dfrac{4m^{2}}{p_{1}^{2}}\right\vert <1$, where the solution

1162: of $G$ is given by the expression:

1163: 

1164: \begin{equation}

1165: G\left( \dfrac{4m^{2}}{p_{1}^{2}}\right) =G_{2}+G_{3}+G_{4},

1166: \end{equation}%

1167: and the solution in the region where $\left\vert \dfrac{p_{1}^{2}}{4m^{2}}%

1168: \right\vert <1$:

1169: 

1170: \begin{equation}

1171: \begin{array}{c}

1172: \\

1173: G\left( \dfrac{p_{1}^{2}}{4m^{2}}\right) =G_{1}.%

1174: \end{array}%

1175: \end{equation}%

1176: In this way we have evaluated $G$ in terms of hypergeometric functions,

1177: which correspond naturally to serie representations with respect to the two

1178: energy scales present in diagram $G$.

1179: 

1180: \subsection{Example II : CBox diagram (On-Shell case)}

1181: 

1182: \qquad The next diagram has known solutions \cite{COl}, found by a different

1183: method. An attempt using NDIM can be found in Ref. \cite{ASu15}.

1184: Nevertheless, the result presented here is an improvement in the sense that

1185: it is much simpler and easy to obtain. We do not need to use any

1186: simplification tools in order to get the final result.

1187: 

1188: \begin{figure}[th]

1189: \begin{center}

1190: \epsfig{file=fig3.eps,width=0.31\textwidth}

1191: \end{center}

1192: \caption{Labelled CBox diagram.}

1193: \end{figure}

1194: For this diagram (Fig. 3) the integral representation in momentum space is

1195: given by:

1196: 

1197: \begin{equation}

1198: G=\dint \frac{d^{D}q_{1}}{i\pi ^{\frac{D}{2}}}\frac{d^{D}q_{2}}{i\pi ^{\frac{%

1199: D}{2}}}\frac{1}{(B_{1})^{\nu _{1}}}\frac{1}{(B_{2})^{\nu _{2}}}\frac{1}{%

1200: (B_{3})^{\nu _{3}}}\frac{1}{(B_{4})^{\nu _{4}}}\frac{1}{(B_{5})^{\nu _{5}}},

1201: \end{equation}%

1202: where the quantities $B_{i}$ correspond to:

1203: 

1204: \begin{equation}

1205: \begin{array}{l}

1206: B_{1}=q_{1}^{2}-m_{1}^{2}+i0, \\

1207: B_{2}=\left( q_{1}+p_{1}\right) ^{2}-m_{2}^{2}+i0, \\

1208: B_{3}=\left( q_{1}+q_{2}+p_{1}+p_{2}\right) ^{2}-m_{3}^{2}+i0, \\

1209: B_{4}=\left( q_{1}+q_{2}+p_{1}+p_{2}+p_{3}\right) ^{2}-m_{4}^{2}+i0, \\

1210: B_{5}=q_{2}^{2}-m_{5}^{2}+i0.%

1211: \end{array}%

1212: \end{equation}%

1213: According to the method developed in Ref. \cite{IGo}, we can find the

1214: initial parameters matrix associated to the topology, which is:

1215: 

1216: \begin{equation}

1217: \mathbf{M}=\left(

1218: \begin{array}{ccccc}

1219: x_{1}+x_{2}+x_{3}+x_{4} & x_{3}+x_{4} & x_{2}+x_{3}+x_{4} & x_{3}+x_{4} &

1220: x_{4} \\

1221: x_{3}+x_{4} & x_{3}+x_{4}+x_{5} & x_{3}+x_{4} & x_{3}+x_{4} & x_{4} \\

1222: x_{2}+x_{3}+x_{4} & x_{3}+x_{4} & x_{2}+x_{3}+x_{4} & x_{3}+x_{4} & x_{4} \\

1223: x_{3}+x_{4} & x_{3}+x_{4} & x_{3}+x_{4} & x_{3}+x_{4} & x_{4} \\

1224: x_{4} & x_{4} & x_{4} & x_{4} & x_{4}%

1225: \end{array}%

1226: \right) .

1227: \end{equation}%

1228: Starting from this matrix we can find the algebraic components of the

1229: parametric representation, evaluating for this purpose the polynomials $U$

1230: and $F$. The multinomial $\left( 2-lineal\right) $ $U$ will be evaluated

1231: using the determinant:

1232: 

1233: \begin{equation}

1234: \begin{array}{ll}

1235: U & =\left\vert

1236: \begin{array}{cc}

1237: x_{1}+x_{2}+x_{3}+x_{4} & x_{3}+x_{4} \\

1238: x_{3}+x_{4} & x_{3}+x_{4}+x_{5}%

1239: \end{array}%

1240: \right\vert \\

1241: &  \\

1242: &

1243: =x_{5}x_{1}+x_{5}x_{2}+x_{5}x_{3}+x_{5}x_{4}+x_{1}x_{3}+x_{1}x_{4}+x_{2}x_{3}+x_{2}x_{4},%

1244: \end{array}%

1245: \end{equation}%

1246: and the multinomial $\left( 3-lineal\right) $ $F$ will be written as:

1247: 

1248: \begin{equation}

1249: F=2C_{1,2}\;p_{1}.p_{2}+2C_{1,3}\;p_{1}.p_{3}+2C_{2,3}\;p_{2}.p_{3},

1250: \end{equation}%

1251: where the coefficients $C_{i,j}$ are evaluated in terms of subdeterminants

1252: of the matrix of parameters, and then:

1253: 

1254: \begin{equation}

1255: \begin{array}{l}

1256: C_{1,2}=\left\vert

1257: \begin{array}{ccc}

1258: x_{1}+x_{2}+x_{3}+x_{4} & x_{3}+x_{4} & x_{2}+x_{3}+x_{4} \\

1259: x_{3}+x_{4} & x_{3}+x_{4}+x_{5} & x_{3}+x_{4} \\

1260: x_{3}+x_{4} & x_{3}+x_{4} & x_{3}+x_{4}%

1261: \end{array}%

1262: \right\vert =x_{1}x_{5}x_{3}+x_{1}x_{5}x_{4}, \\

1263: \\

1264: C_{1,3}=\left\vert

1265: \begin{array}{ccc}

1266: x_{1}+x_{2}+x_{3}+x_{4} & x_{3}+x_{4} & x_{2}+x_{3}+x_{4} \\

1267: x_{3}+x_{4} & x_{3}+x_{4}+x_{5} & x_{3}+x_{4} \\

1268: x_{4} & x_{4} & x_{4}%

1269: \end{array}%

1270: \right\vert =x_{1}x_{4}x_{5}, \\

1271: \\

1272: C_{2,3}=\left\vert

1273: \begin{array}{ccc}

1274: x_{1}+x_{2}+x_{3}+x_{4} & x_{3}+x_{4} & x_{3}+x_{4} \\

1275: x_{3}+x_{4} & x_{3}+x_{4}+x_{5} & x_{3}+x_{4} \\

1276: x_{4} & x_{4} & x_{4}%

1277: \end{array}%

1278: \right\vert =x_{4}x_{5}x_{1}+x_{4}x_{5}x_{2}.%

1279: \end{array}%

1280: \end{equation}%

1281: We then have for $F$:

1282: 

1283: \begin{equation}

1284: F=2\left( p_{1}.p_{2}\right) x_{1}x_{3}x_{5}\;+2\left( p_{2}.p_{3}\right)

1285: x_{2}x_{4}x_{5}\;+2(p_{1}.p_{2}+p_{1}.p_{3}+p_{2}.p_{3})x_{1}x_{4}x_{5},

1286: \end{equation}%

1287: but since $%

1288: 2(p_{1}.p_{2}+p_{1}.p_{3}+p_{2}.p_{3})=(p_{1}+p_{2}+p_{3})^{2}=p_{4}^{2}=0$,

1289: $2p_{1}.p_{2}=(p_{1}+p_{2})^{2}=s$ and $2p_{2}.p_{3}=(p_{2}+p_{3})^{2}=t$,

1290: we can rewrite $F$ as:

1291: 

1292: \begin{equation}

1293: F=x_{1}x_{3}x_{5}\;s+x_{2}x_{4}x_{5}\;t.

1294: \end{equation}

1295: 

1296: \subsubsection{Massless case $\left( m_{1}=...=m_{5}=0\right) $}

1297: 

1298: \qquad The simplest case is the one that does not consider mass scales in

1299: the diagram. In this situation the parametric representation of $G$ has the

1300: form:

1301: 

1302: \begin{equation}

1303: G=\dfrac{(-1)^{-D}}{\tprod\nolimits_{j=1}^{5}\Gamma (\nu _{j})}%

1304: \dint\limits_{0}^{\infty }d\overrightarrow{x}\;\frac{\exp \left( -\dfrac{%

1305: x_{1}x_{3}x_{5}}{U}s\right) \exp \left( -\dfrac{x_{2}x_{4}x_{5}}{U}t\right)

1306: }{U^{\frac{D}{2}}}.

1307: \end{equation}%

1308: The first step is the expansion of the exponentials, after which we find:

1309: 

1310: \begin{equation}

1311: G=\dfrac{(-1)^{-D}}{\tprod\nolimits_{j=1}^{5}\Gamma (\nu _{j})}%

1312: \dsum\limits_{n_{1},n_{2}}\phi _{n_{1},n_{2}}\;\left( s\right)

1313: ^{n_{1}}\left( t\right) ^{n_{2}}\dint\limits_{0}^{\infty }d\overrightarrow{x}%

1314: \;\dfrac{%

1315: x_{1}^{n_{1}}x_{3}^{n_{1}}x_{2}^{n_{2}}x_{4}^{n_{2}}x_{5}^{n_{1}+n_{2}}}{U^{%

1316: \frac{D}{2}+n_{1}+n_{2}}}.  \label{f17}

1317: \end{equation}%

1318: The exponentials are not susceptible to factorization, since the exponents

1319: contain only one term. On the other hand, in order to apply the method the

1320: polynomial $U$ is factorized in the following form:

1321: 

1322: \begin{equation}

1323: U=f_{1}f_{2}+f_{1}x_{5}+f_{2}x_{5},

1324: \end{equation}%

1325: where we have defined the submultinomials:

1326: 

1327: \begin{equation}

1328: \begin{array}{l}

1329: f_{1}=(x_{1}+x_{2}), \\

1330: f_{2}=(x_{3}+x_{4}).%

1331: \end{array}%

1332: \end{equation}%

1333: We now proceed to find the multiregion expansion for the factorized

1334: multinomial $U$, which reads:

1335: 

1336: \begin{equation}

1337: \begin{array}{ll}

1338: \dfrac{1}{U^{\frac{D}{2}+n_{1}+n_{2}}} & =\dfrac{1}{\left[

1339: f_{1}f_{2}+f_{1}x_{5}+f_{2}x_{5}\right] ^{\frac{D}{2}+n_{1}+n_{2}}} \\

1340: &  \\

1341: & =\dsum\limits_{n_{3},..,n_{5}}\phi _{n_{3},..,n_{5}}\;\dfrac{\left(

1342: f_{1}\right) ^{n_{3}+n_{4}}\left( f_{2}\right)

1343: ^{n_{3}+n_{5}}x_{5}^{n_{4}+n_{5}}}{\Gamma (\frac{D}{2}+n_{1}+n_{2})}\Delta

1344: _{1},%

1345: \end{array}%

1346: \end{equation}%

1347: and the expansion of the submultinomials $f_{1}$ and $f_{2}$:

1348: 

1349: \begin{equation}

1350: \begin{array}{l}

1351: \left( f_{1}\right)

1352: ^{n_{3}+n_{4}}=(x_{1}+x_{2})^{n_{3}+n_{4}}=\dsum\limits_{n_{6},n_{7}}\phi

1353: _{n_{6},n_{7}}\;x_{1}^{n_{6}}x_{2}^{n_{7}}\dfrac{\Delta _{2}}{\Gamma

1354: (-n_{3}-n_{4})}, \\

1355: \\

1356: \left( f_{2}\right)

1357: ^{n_{3}+n_{5}}=(x_{3}+x_{4})^{n_{3}+n_{5}}=\dsum\limits_{n_{8},n_{9}}\phi

1358: _{n_{8},n_{9}}\;x_{3}^{n_{8}}x_{4}^{n_{9}}\dfrac{\Delta _{3}}{\Gamma

1359: (-n_{3}-n_{5})},%

1360: \end{array}%

1361: \end{equation}%

1362: where the costraints $\left\{ \Delta _{i}\right\} $ are given by the

1363: following equations:

1364: 

1365: \begin{equation}

1366: \begin{array}{l}

1367: \Delta _{1}=\left\langle \frac{D}{2}+n_{1}+n_{2}+n_{3}+n_{4}+n_{5}\right%

1368: \rangle , \\

1369: \Delta _{2}=\left\langle -n_{3}-n_{4}+n_{6}+n_{7}\right\rangle , \\

1370: \Delta _{3}=\left\langle -n_{3}-n_{5}+n_{8}+n_{9}\right\rangle .%

1371: \end{array}%

1372: \end{equation}%

1373: Finally the multiregion expansion for $U$ can be written as follows:

1374: 

1375: \begin{equation}

1376: \dfrac{1}{U^{\frac{D}{2}+n_{1}+n_{2}}}=\dsum\limits_{n_{3},..,n_{9}}\phi

1377: _{n_{3},..,n_{9}}\;\dfrac{%

1378: x_{1}^{n_{6}}x_{2}^{n_{7}}x_{3}^{n_{8}}x_{4}^{n_{9}}x_{5}^{n_{4}+n_{5}}}{%

1379: \Gamma (\frac{D}{2}+n_{1}+n_{2})}\frac{\tprod\nolimits_{j=1}^{3}\Delta _{j}}{%

1380: \Gamma (-n_{3}-n_{4})\Gamma (-n_{3}-n_{5})},

1381: \end{equation}%

1382: then replacing in $\left( \ref{f17}\right) $ and separating the integration

1383: variables, we get:

1384: 

1385: \begin{equation}

1386: \begin{array}{ll}

1387: G= & \dfrac{(-1)^{-D}}{\tprod\nolimits_{j=1}^{5}\Gamma (\nu _{j})}%

1388: \dsum\limits_{n_{1},..,n_{9}}\phi _{n_{1},..,n_{9}}\;\dfrac{\left( s\right)

1389: ^{n_{1}}\left( t\right) ^{n_{2}}}{\Gamma (\frac{D}{2}+n_{1}+n_{2})}\dfrac{%

1390: \tprod\nolimits_{j=1}^{3}\Delta _{j}}{\Gamma (-n_{3}-n_{4})\Gamma

1391: (-n_{3}-n_{5})} \\

1392: &  \\

1393: & \dint dx_{1\;}x_{1}^{n_{1}+n_{6}}\dint dx_{2\;}x_{2}^{n_{2}+n_{7}}\dint

1394: dx_{3\;}x_{3}^{n_{1}+n_{8}}\dint dx_{4\;}x_{4}^{n_{2}+n_{9}}\dint

1395: dx_{5\;}x_{5}^{n_{1}+n_{2}+n_{4}+n_{5}},%

1396: \end{array}%

1397: \end{equation}%

1398: and changing the integrations by their equivalents $\left\langle \cdot

1399: \right\rangle $, we finally obtain the presolution of $G$:

1400: 

1401: \begin{equation}

1402: G=\dfrac{(-1)^{-D}}{\tprod\nolimits_{j=1}^{5}\Gamma (\nu _{j})}%

1403: \dsum\limits_{n_{1},..,n_{9}}\phi _{n_{1},..,n_{9}}\;\dfrac{\left( s\right)

1404: ^{n_{1}}\left( t\right) ^{n_{2}}}{\Gamma (\frac{D}{2}+n_{1}+n_{2})}\dfrac{%

1405: \tprod\nolimits_{j=1}^{8}\Delta _{j}}{\Gamma (-n_{3}-n_{4})\Gamma

1406: (-n_{3}-n_{5})},

1407: \end{equation}%

1408: where the constrains $\left\{ \Delta _{i}\right\} $\ associated to the

1409: integrals are:

1410: 

1411: \begin{equation}

1412: \begin{array}{l}

1413: \Delta _{4}=\left\langle \nu _{1}+n_{1}+n_{6}\right\rangle , \\

1414: \Delta _{5}=\left\langle \nu _{2}+n_{2}+n_{7}\right\rangle , \\

1415: \Delta _{6}=\left\langle \nu _{3}+n_{1}+n_{8}\right\rangle , \\

1416: \Delta _{7}=\left\langle \nu _{4}+n_{2}+n_{9}\right\rangle , \\

1417: \Delta _{8}=\left\langle \nu _{5}+n_{1}+n_{2}+n_{4}+n_{5}\right\rangle .%

1418: \end{array}%

1419: \end{equation}%

1420: In this case we generate at most $C_{8}^{9}=9$ terms or contributions to the

1421: solution of $G$, each of which has the form $\ _{l}F_{\left( l-1\right) }$.

1422: Nevertheless, three of them do not contribute to the solution, and the

1423: remaining terms are distributed in two kinematical regions, which we now

1424: summarize.

1425: 

1426: \paragraph{Solutions in the region $\left\vert \dfrac{s}{t}\right\vert <1 $:}

1427: 

1428: \begin{equation}

1429: G\left( \dfrac{s}{t}\right) =G_{1}+G_{7}+G_{9}.

1430: \end{equation}

1431: 

1432: \paragraph{Solutions in the region $\left\vert \dfrac{t}{s}\right\vert <1 $:}

1433: 

1434: \begin{equation}

1435: G\left( \dfrac{t}{s}\right) =G_{2}+G_{6}+G_{8}.

1436: \end{equation}

1437: 

1438: \paragraph{Explicit analytical solution for the kinematical region $%

1439: \left\vert \dfrac{s}{t}\right\vert <1$.}

1440: 

1441: \qquad In order to compare our results with those of Ref. \cite{COl}, we now

1442: present the solution which corresponds to the limit $\left\vert \dfrac{s}{t}%

1443: \right\vert <1$. The contributions that correspond to the solution of the

1444: diagram in this region are associated to the free indexes $n_{1}$, $n_{7}$

1445: and $n_{9}$. In order to simplify the final resulting expressions we have

1446: used the following notation $\nu _{ijk...}=\nu _{i}+\nu _{j}+\nu _{k}+...$.

1447: 

1448: Explicitly the solution in this kinematical region can be written as:

1449: 

1450: \begin{equation}

1451: G\left( \dfrac{s}{t}\right) =G_{1}+G_{7}+G_{9},

1452: \end{equation}%

1453: where the contributions $G_{1}$, $G_{7}$, $G_{9}$ are given by:

1454: \begin{equation}

1455: G_{1}=\chi _{1}\;t^{D-\nu _{12345}}\;_{3}F_{2}\left( \left.

1456: \begin{array}{c}

1457: \nu _{1},\quad \nu _{3,}\quad \nu _{12345}-D \\

1458: 1+\nu _{1345}-D,\quad 1+\nu _{1235}-D%

1459: \end{array}%

1460: \right\vert -\dfrac{s}{t}\right) ,

1461: \end{equation}%

1462: and the prefactor $\chi _{1}$\ corresponds to:

1463: 

1464: \begin{equation}

1465: \chi _{1}=(-1)^{-D}\dfrac{\Gamma (\nu _{12345}-D)\Gamma (\frac{D}{2}-\nu

1466: _{12})\Gamma (\frac{D}{2}-\nu _{34})\Gamma (\frac{D}{2}-\nu _{5})\Gamma

1467: (D-\nu _{1345})\Gamma (D-\nu _{1235})}{\Gamma (\nu _{2})\Gamma (\nu

1468: _{4})\Gamma (\nu _{5})\Gamma (\frac{3D}{2}-\nu _{12345})\Gamma (D-\nu

1469: _{125})\Gamma (D-\nu _{345})}.

1470: \end{equation}%

1471: We also have:

1472: 

1473: \begin{equation}

1474: G_{7}=\chi _{7}\;s^{D-\nu _{1345}}t^{-\nu _{2}}\;_{3}F_{2}\left( \left.

1475: \begin{array}{c}

1476: \nu _{2},\quad D-\nu _{345},\quad D-\nu _{145} \\

1477: 1+D-\nu _{1345},\quad 1-\nu _{4}+\nu _{2}%

1478: \end{array}%

1479: \right\vert -\dfrac{s}{t}\right) ,

1480: \end{equation}%

1481: where the prefactor $\chi _{7}$ is:

1482: 

1483: \begin{equation}

1484: \chi _{7}=(-1)^{-D}\dfrac{\Gamma (\frac{D}{2}-\nu _{12})\Gamma (\frac{D}{2}%

1485: -\nu _{34})\Gamma (\frac{D}{2}-\nu _{5})\Gamma (D-\nu _{145})\Gamma (\nu

1486: _{1345}-D)\Gamma (\nu _{4}-\nu _{2})}{\Gamma (\nu _{1})\Gamma (\nu

1487: _{3})\Gamma (\nu _{4})\Gamma (\nu _{5})\Gamma (\frac{3D}{2}-\nu

1488: _{12345})\Gamma (D-\nu _{125})},

1489: \end{equation}%

1490: and finally:

1491: 

1492: \begin{equation}

1493: G_{9}=\chi _{9}\;s^{D-\nu _{1235}}t^{-\nu _{4}}\;_{3}F_{2}\left( \left.

1494: \begin{array}{c}

1495: \nu _{4},\quad D-\nu _{235},\quad D-\nu _{125} \\

1496: 1+D-\nu _{1235},\quad 1-\nu _{2}+\nu _{4}%

1497: \end{array}%

1498: \right\vert -\dfrac{s}{t}\right) ,

1499: \end{equation}%

1500: with:

1501: 

1502: \begin{equation}

1503: \chi _{9}=(-1)^{-D}\dfrac{\Gamma (\nu _{1235}-D)\Gamma (\frac{D}{2}-\nu

1504: _{12})\Gamma (\frac{D}{2}-\nu _{34})\Gamma (\frac{D}{2}-\nu _{5})\Gamma

1505: (D-\nu _{235})\Gamma (\nu _{2}-\nu _{4})}{\Gamma (\nu _{1})\Gamma (\nu

1506: _{2})\Gamma (\nu _{3})\Gamma (\nu _{5})\Gamma (\frac{3D}{2}-\nu

1507: _{12345})\Gamma (D-\nu _{345})}.

1508: \end{equation}

1509: 

1510: \subsubsection{Massive CBox diagram}

1511: 

1512: \qquad The next level of difficulty of this problem corresponds to the

1513: addition of another energy scale in the topology. In particular let us

1514: consider associating masses of magnitude $m$ to some of the propagators of

1515: the diagram. As a result we now obtain two-variable hypergeometric functions

1516: as solutions.

1517: 

1518: There are different alternatives for factorizing the multinomial $U$ and

1519: extending the solution of the massless case found previously to a set of

1520: massive cases. Nevertheless, not all the possible distributions of the mass

1521: scale in the propagators generate two-variable series, and in general an

1522: arbitrary assignment of masses, even if they are equal, produces series

1523: solutions of multiplicity $\mu >2$. The following forms of factorization of $%

1524: U$ allow us to visualize any cases in which it is possible to solve the

1525: problem in terms of two-variable series.

1526: 

1527: \paragraph{Factorization I.}

1528: 

1529: \begin{equation}

1530: U=f_{1}f_{2}+f_{1}x_{5}+f_{2}x_{5},  \label{f41}

1531: \end{equation}%

1532: where we have defined the submultinomials:

1533: 

1534: \begin{equation}

1535: \begin{array}{l}

1536: f_{1}=(x_{1}+x_{2}), \\

1537: f_{2}=(x_{3}+x_{4}).%

1538: \end{array}%

1539: \end{equation}%

1540: With this factorization it is possible to have a two-variable solution for

1541: the following massive cases:

1542: 

1543: a)

1544: 

1545: \begin{equation}

1546: \begin{array}{l}

1547: m_{1}=m_{2}=m, \\

1548: m_{3}=m_{4}=m_{5}=0.%

1549: \end{array}%

1550: \end{equation}

1551: 

1552: \begin{equation*}

1553: \text{or}

1554: \end{equation*}

1555: 

1556: b)

1557: 

1558: \begin{equation}

1559: \begin{array}{l}

1560: m_{1}=m_{2}=m_{5}=0, \\

1561: m_{3}=m_{4}=m.%

1562: \end{array}%

1563: \end{equation}

1564: 

1565: \paragraph{Factorization II.}

1566: 

1567: Another possible factorization is given by the expression:

1568: 

1569: \begin{equation}

1570: U=f_{2}x_{1}+f_{2}x_{2}+f_{1}x_{5},  \label{f40}

1571: \end{equation}%

1572: where the submultinomials $f_{i}$ are given by:

1573: 

1574: \begin{equation}

1575: \begin{array}{l}

1576: f_{2}=(f_{1}+x_{5}), \\

1577: f_{1}=(x_{3}+x_{4}),%

1578: \end{array}%

1579: \end{equation}%

1580: which allows the evaluation of a more complex case, containing the following

1581: mass distribution:

1582: 

1583: \begin{equation}

1584: \begin{array}{l}

1585: m_{1}=m_{2}=0, \\

1586: m_{3}=m_{4}=m_{5}=m.%

1587: \end{array}%

1588: \end{equation}

1589: 

1590: \paragraph{Factorization III.}

1591: 

1592: We can have yet another factorization of $U$:

1593: 

1594: \begin{equation}

1595: U=f_{2}x_{3}+f_{2}x_{4}+f_{1}x_{5},  \label{f18}

1596: \end{equation}%

1597: where we have defined:

1598: 

1599: \begin{equation}

1600: \begin{array}{l}

1601: f_{2}=(f_{1}+x_{5}), \\

1602: f_{1}=(x_{1}+x_{2}).%

1603: \end{array}%

1604: \end{equation}%

1605: Such a factorization allows to consider the case when we have the following

1606: configuration:

1607: 

1608: \begin{equation}

1609: \begin{array}{l}

1610: m_{1}=m_{2}=m_{5}=m, \\

1611: m_{3}=m_{4}=0.%

1612: \end{array}%

1613: \end{equation}

1614: 

1615: \paragraph{Obtaining the presolution in a case with massive propagators.}

1616: 

1617: \qquad In order to show once again the simplicity of NDIM, we will find the

1618: multiregion expansion of the diagram $G$ associated to the following

1619: particular distribution of masses $\left( m_{1}=m_{2}=m_{5}=m\right) $ and $%

1620: \left( m_{3}=m_{4}=0\right) $, and we will show explicitly the solution

1621: associated to a specific kinematical region. In this case the integral

1622: representation in terms of Schwinger parameters is given by:

1623: 

1624: \begin{equation}

1625: G=\dfrac{(-1)^{-D}}{\tprod\nolimits_{j=1}^{5}\Gamma (\nu _{j})}%

1626: \dint\limits_{0}^{\infty }d\overrightarrow{x}\;\frac{\exp \left(

1627: -f_{2}\left( -m^{2}\right) \right) \exp \left( -\dfrac{x_{1}x_{3}x_{5}}{U}%

1628: s\right) \exp \left( -\dfrac{x_{2}x_{4}x_{5}}{U}t\right) }{U^{\frac{D}{2}}},

1629: \end{equation}%

1630: where the multinomial $U$ is given by $\left( \ref{f18}\right) $:

1631: 

1632: \begin{equation}

1633: U=f_{2}x_{3}+f_{2}x_{4}+f_{1}x_{5},

1634: \end{equation}%

1635: with the submultinomials:

1636: 

1637: \begin{equation}

1638: \begin{array}{ccc}

1639: f_{2}=(f_{1}+x_{5}) & \text{and} & f_{1}=(x_{1}+x_{2}).%

1640: \end{array}%

1641: \end{equation}%

1642: The expansion of the exponentials gives us:

1643: 

1644: \begin{equation}

1645: G=\dfrac{(-1)^{-D}}{\tprod\nolimits_{j=1}^{5}\Gamma (\nu _{j})}%

1646: \dsum\limits_{n_{1},..,n_{3}}\phi _{n_{1},..,n_{3}}\;\left( -m^{2}\right)

1647: ^{n_{1}}\left( s\right) ^{n_{2}}\left( t\right)

1648: ^{n_{3}}\dint\limits_{0}^{\infty }d\overrightarrow{x}\;\dfrac{%

1649: x_{1}^{n_{2}}x_{2}^{n_{3}}x_{3}^{n_{2}}x_{4}^{n_{3}}x_{5}^{n_{2}+n_{3}}}{U^{%

1650: \frac{D}{2}+n_{2}+n_{3}}}\left( f_{2}\right) ^{n_{1}},

1651: \end{equation}%

1652: where the order in which the multiregion expansions to the multinomials that

1653: are present ($U,\;f_{2}$ and $f_{1}$) have to be made is simple, and is the

1654: following, according to the dependence level between them:

1655: 

1656: \begin{equation*}

1657: U\left( f_{2},f_{1}\right) \longrightarrow f_{2}\left( f_{1}\right)

1658: \longrightarrow f_{1}.

1659: \end{equation*}%

1660: A little algebra allows to finally obtain the presolution of the diagram $G$%

1661: . Explicitly we have that:

1662: 

1663: \begin{equation}

1664: G=\dfrac{(-1)^{-D}}{\tprod\nolimits_{j=1}^{5}\Gamma (\nu _{j})}%

1665: \dsum\limits_{n_{1},..,n_{10}}\phi _{n_{1},..,n_{10}}\;\dfrac{\left(

1666: -m^{2}\right) ^{n_{1}}\left( s\right) ^{n_{2}}\left( t\right) ^{n_{3}}}{%

1667: \Gamma (\frac{D}{2}+n_{2}+n_{3})}\dfrac{\tprod\nolimits_{j=1}^{8}\Delta _{j}%

1668: }{\Gamma (-n_{1}-n_{4}-n_{5})\Gamma (-n_{6}-n_{7})},

1669: \end{equation}%

1670: where the following constraints have been defined:

1671: 

1672: \begin{equation}

1673: \begin{array}{l}

1674: \Delta _{1}=\left\langle \frac{D}{2}+n_{2}+n_{3}+n_{4}+n_{5}+n_{6}\right%

1675: \rangle , \\

1676: \Delta _{2}=\left\langle -n_{1}-n_{4}-n_{5}+n_{7}+n_{8}\right\rangle , \\

1677: \Delta _{3}=\left\langle -n_{6}-n_{7}+n_{9}+n_{10}\right\rangle , \\

1678: \Delta _{4}=\left\langle \nu _{1}+n_{2}+n_{9}\right\rangle , \\

1679: \Delta _{5}=\left\langle \nu _{2}+n_{3}+n_{10}\right\rangle , \\

1680: \Delta _{6}=\left\langle \nu _{3}+n_{2}+n_{4}\right\rangle , \\

1681: \Delta _{7}=\left\langle \nu _{4}+n_{3}+n_{5}\right\rangle , \\

1682: \Delta _{8}=\left\langle \nu _{5}+n_{2}+n_{3}+n_{6}+n_{8}\right\rangle .%

1683: \end{array}%

1684: \end{equation}%

1685: According to this result we can say that the total number of possible

1686: contributions to the solution is $C_{8}^{10}=45$, and that evidently they

1687: correspond to series of multiplicity two. Nevertheless, 18 of these do not

1688: really contribute due to the particular nature of the linear system build

1689: from the constraints. We now show the remaining contributions, in terms of a

1690: set of components $G_{i,j}$, according to the type of two-variable

1691: hypergeometric function ($F^{\substack{ p:r:u  \\ q:s:v}}$ or $\overline{F}

1692: ^{\substack{ p:r:u  \\ q:s:v}}$ , see appendix) that is generated and also

1693: according to the arguments of this same function:

1694: 

1695: \bigskip

1696: 

1697: \begin{itemize}

1698: \item[Set. 1 :] $G_{1,5}+G_{1,10}+G_{7,10}+G_{8,10}\Longrightarrow \overline{%

1699: F}^{\substack{ 1:4:1  \\ 2:2:1}}\left( \left.

1700: \begin{array}{cc}

1701: &

1702: \end{array}%

1703: \right\vert \dfrac{4m^{2}}{s},\dfrac{s}{t}\right) $

1704: 

1705: \item[Set. 2 :] $G_{5,7}+G_{5,8}\Longrightarrow \overline{F}^{\substack{ %

1706: 2:1:4  \\ 1:1:2}}\left( \left.

1707: \begin{array}{cc}

1708: &

1709: \end{array}%

1710: \right\vert -\dfrac{s}{t},-\dfrac{4m^{2}}{s}\right) $

1711: 

1712: \item[Set. 3 :] $G_{1,4}+G_{1,9}+G_{7,9}+G_{8,9}\Longrightarrow \overline{F}

1713: ^{\substack{ 1:4:1  \\ 2:2:1}}\left( \left.

1714: \begin{array}{cc}

1715: &

1716: \end{array}%

1717: \right\vert \dfrac{4m^{2}}{t},\dfrac{t}{s}\right) $

1718: 

1719: \item[Set. 4 :] $G_{4,7}+G_{4,8}\Longrightarrow \overline{F}^{\substack{ %

1720: 2:1:4  \\ 1:1:2}}\left( \left.

1721: \begin{array}{cc}

1722: &

1723: \end{array}%

1724: \right\vert -\dfrac{t}{s},-\dfrac{4m^{2}}{t}\right) $

1725: 

1726: \item[Set. 5 :] $G_{4,5}+G_{4,10}+G_{5,9}+\left( G_{9,10}=0\right)

1727: \Longrightarrow F^{\substack{ 4:1:1  \\ 3:1:1}}\left( \left.

1728: \begin{array}{cc}

1729: &

1730: \end{array}%

1731: \right\vert \dfrac{4m^{2}}{s},\dfrac{4m^{2}}{t}\right) $

1732: 

1733: \item[Set. 6 :] $G_{1,3}+G_{3,7}+G_{3,8}\Longrightarrow F^{\substack{ 1:4:2

1734: \\ 2:2:0}}\left( \left.

1735: \begin{array}{cc}

1736: &

1737: \end{array}%

1738: \right\vert \dfrac{4m^{2}}{s},-\dfrac{t}{s}\right) $

1739: 

1740: \item[Set. 7 :] $G_{1,2}+G_{2,7}+G_{2,8}\Longrightarrow F^{\substack{ 1:4:2

1741: \\ 2:2:0}}\left( \left.

1742: \begin{array}{cc}

1743: &

1744: \end{array}%

1745: \right\vert \dfrac{4m^{2}}{t},-\dfrac{s}{t}\right) $

1746: 

1747: \item[Set. 8 :] $G_{2,5}+G_{2,10}\Longrightarrow \overline{F}^{\substack{ %

1748: 3:2:1  \\ 4:0:1}}\left( \left.

1749: \begin{array}{cc}

1750: &

1751: \end{array}%

1752: \right\vert \dfrac{s}{4m^{2}},-\dfrac{4m^{2}}{t}\right) $

1753: 

1754: \item[Set. 9 :] $G_{3,4}+G_{3,9}\Longrightarrow \overline{F}^{\substack{ %

1755: 3:2:1  \\ 4:0:1}}\left( \left.

1756: \begin{array}{cc}

1757: &

1758: \end{array}%

1759: \right\vert \dfrac{t}{4m^{2}},-\dfrac{4m^{2}}{s}\right) $

1760: 

1761: \item[Set. 10 :] $G_{2,3}\Longrightarrow F^{\substack{ 3:2:2  \\ 4:0:0}}%

1762: \left( \left.

1763: \begin{array}{cc}

1764: &

1765: \end{array}%

1766: \right\vert \dfrac{s}{4m^{2}},\dfrac{t}{4m^{2}}\right) .$

1767: \end{itemize}

1768: 

1769: \bigskip

1770: 

1771: It is important to notice that each set of contributions does not

1772: necessarily constitutes the final solution in certain kinematical region,

1773: because it is possible that for some cases the type of solutions get mixed.

1774: As an example let us consider the case where the magnitude of the variable $%

1775: \left\vert t\right\vert $ is the dominant, in which case and according to

1776: the convergence conditions of each set of solutions, it will be possible to

1777: write immediately the solution in this region as the algebraic sum of the

1778: sets 1, 2, 5, 7 and 8.

1779: 

1780: Now let us write explicitly one of the solutions of $G$. For this purpose we

1781: consider the solutions that are present in the region where $\left(

1782: 4m^{2}>\left\vert s\right\vert \right) $ and $\left( 4m^{2}>\left\vert

1783: t\right\vert \right) $, which according to the previous set is composed of

1784: only one contribution, $G_{2,3}$:

1785: 

1786: \begin{equation}

1787: G\left( \dfrac{s}{4m^{2}},\dfrac{t}{4m^{2}}\right) =G_{2,3},

1788: \end{equation}%

1789: where the contribution $G_{2,3}$ refers to the series:

1790: 

1791: \begin{equation}

1792: G_{2,3}=\dfrac{(-1)^{-D}}{\tprod\nolimits_{j=1}^{5}\Gamma (\nu _{j})}%

1793: \dsum\limits_{n_{2},n_{3}}\frac{(-1)^{n_{2}+n_{3}}}{n_{2}!n_{3}!}\dfrac{%

1794: \left( -m^{2}\right) ^{n_{1}}\left( s\right) ^{n_{2}}\left( t\right) ^{n_{3}}%

1795: }{\Gamma (D/2+n_{2}+n_{3})}\dfrac{\tprod\nolimits_{\substack{ j=1,  \\ j\neq

1796: 2,3}}^{8}\Gamma (-n_{j})}{\Gamma (-n_{1}-n_{4}-n_{5})\Gamma (-n_{6}-n_{7})},

1797: \label{f19}

1798: \end{equation}%

1799: and where the dependent indexes take the following values:

1800: 

1801: \begin{equation}

1802: \begin{array}{l}

1803: n_{1}=-\nu _{12345}+D-n_{2}-n_{3}, \\

1804: n_{4}=-\nu _{3}-n_{2}, \\

1805: n_{5}=-\nu _{4}-n_{3}, \\

1806: n_{6}=\nu _{34}-\frac{D}{2}, \\

1807: n_{7}=-\nu _{1234}+\frac{D}{2}-n_{2}-n_{3}, \\

1808: n_{8}=-\nu _{345}+\frac{D}{2}-n_{2}-n_{3}, \\

1809: n_{9}=-\nu _{1}-n_{2}, \\

1810: n_{10}=\nu _{2}-n_{3}.%

1811: \end{array}%

1812: \end{equation}%

1813: Making the corresponding replacements and after a little algebra in the

1814: expression $\left( \ref{f19}\right) $, we obtain the representation in terms

1815: of the Kamp\'{e} de F\'{e}riet generalized hypergeometric function $\left( F

1816: ^{\substack{ p:r:u  \\ q:s:v}}\right) $:

1817: 

1818: \begin{equation}

1819: G\left( \dfrac{s}{4m^{2}},\dfrac{t}{4m^{2}}\right) =\chi \;(-m^{2})^{D-\nu

1820: _{12345}}\;F^{\substack{ 3:2:2  \\ 4:0:0}}\left( \left.

1821: \begin{array}{ccc}

1822: \left\{ \alpha \right\} & \left\{ a\right\} & \left\{ c\right\} \\

1823: \left\{ \beta \right\} & \left\{ -\right\} & \left\{ -\right\}%

1824: \end{array}%

1825: \right\vert

1826: \begin{array}{c}

1827: \dfrac{s}{4m^{2}},\dfrac{t}{4m^{2}}%

1828: \end{array}%

1829: \right) ,

1830: \end{equation}%

1831: where the prefactor $\chi $ is given by:

1832: 

1833: \begin{equation}

1834: \chi =(-1)^{-D}\frac{\Gamma (\nu _{12345}-D)\Gamma (\nu _{1234}-\frac{D}{2}%

1835: )\Gamma (\nu _{345}-\frac{D}{2})\Gamma (\frac{D}{2}-\nu _{34})}{\Gamma (\nu

1836: _{5})\Gamma (\nu _{125}+2\nu _{34}-D)\Gamma (\nu _{12})\Gamma (\frac{D}{2})},

1837: \end{equation}%

1838: and where the corresponding parameters are:

1839: 

1840: \begin{equation}

1841: \begin{array}{lll}

1842: \alpha _{1}=\nu _{12345}-D, &  & \beta _{4}=\frac{1}{2}+\tfrac{\nu _{125}}{2}%

1843: +\nu _{34}-\frac{D}{2}, \\

1844: \alpha _{2}=\nu _{1234}-\frac{D}{2}, &  & a_{1}=\nu _{1}, \\

1845: \alpha _{3}=\nu _{345}-\frac{D}{2}, &  & a_{2}=\nu _{3}, \\

1846: \beta _{1}=\nu _{12}, &  & c_{1}=\nu _{2}, \\

1847: \beta _{2}=\frac{D}{2}, &  & c_{2}=\nu _{4}, \\

1848: \beta _{3}=\tfrac{\nu _{125}}{2}+\nu _{34}-\frac{D}{2}. &  &

1849: \end{array}%

1850: \end{equation}%

1851: In this case the series converges if the following condition is satisfied:

1852: 

1853: \begin{equation}

1854: \begin{array}{c}

1855: \max \left\{ \left\vert \dfrac{s}{4m^{2}}\right\vert ,\left\vert \dfrac{t}{%

1856: 4m^{2}}\right\vert \right\} <1.%

1857: \end{array}%

1858: \end{equation}

1859: 

1860: \subsection{Example III : Four-loop propagator}

1861: 

1862: \qquad In this example the full power of the integration technique here

1863: presented is revealed, due to the fact that the parametric integral that

1864: represents the diagram of Fig. 4 is quite complex.

1865: 

1866: \begin{figure}[ht]

1867: \begin{center}

1868: \epsfig{file=fig4.eps,width=0.5\textwidth}

1869: \end{center}

1870: \caption{Labelled four-loop propagator.}

1871: \end{figure}

1872: The integral representation in momentum space is in this case:

1873: 

1874: \begin{equation}

1875: G=\dint \frac{d^{D}q_{1}}{i\pi ^{\frac{D}{2}}}...\frac{d^{D}q_{4}}{i\pi ^{%

1876: \frac{D}{2}}}\;\tprod\limits_{j=1}^{8}\frac{1}{(k_{j}^{2}-m_{j}^{2}+i0)^{\nu

1877: _{j}}},

1878: \end{equation}%

1879: where the branch momenta $k_{i}$ $(i=1,...,8)$ are respectively:

1880: 

1881: \begin{equation}

1882: \begin{array}{l}

1883: k_{1}=q_{1}+p_{1}, \\

1884: k_{2}=q_{1}, \\

1885: k_{3}=q_{2}-q_{1}, \\

1886: k_{4}=q_{2}, \\

1887: k_{5}=q_{2}-q_{3}, \\

1888: k_{6}=q_{3}, \\

1889: k_{7}=q_{4}-q_{3}, \\

1890: k_{8}=q_{4}.%

1891: \end{array}%

1892: \end{equation}%

1893: The initial parameter matrix associated to the diagram can be easily

1894: obtained from its topology:

1895: 

1896: \begin{equation}

1897: \mathbf{M}=\left(

1898: \begin{array}{ccccc}

1899: x_{1}+x_{2}+x_{3} & -x_{3} & 0 & 0 & x_{1} \\

1900: -x_{3} & x_{3}+x_{4}+x_{5} & -x_{5} & 0 & 0 \\

1901: 0 & -x_{5} & x_{5}+x_{6}+x_{7} & -x_{7} & 0 \\

1902: 0 & 0 & -x_{7} & x_{7}+x_{8} & 0 \\

1903: x_{1} & 0 & 0 & 0 & x_{1}%

1904: \end{array}%

1905: \right) .  \label{f6}

1906: \end{equation}%

1907: The multinomial $U$ is obtained from the evaluation of the following

1908: determinant:

1909: 

1910: \begin{equation}

1911: \begin{array}{ll}

1912: U= & \left\vert

1913: \begin{array}{cccc}

1914: x_{1}+x_{2}+x_{3} & -x_{3} & 0 & 0 \\

1915: -x_{3} & x_{3}+x_{4}+x_{5} & -x_{5} & 0 \\

1916: 0 & -x_{5} & x_{5}+x_{6}+x_{7} & -x_{7} \\

1917: 0 & 0 & -x_{7} & x_{7}+x_{8}%

1918: \end{array}%

1919: \right\vert \\

1920: &  \\

1921: U= &

1922: x_{1}x_{3}x_{5}x_{7}+x_{1}x_{3}x_{5}x_{8}+x_{1}x_{3}x_{6}x_{7}+x_{1}x_{4}x_{5}x_{7}+x_{2}x_{3}x_{5}x_{7}+

1923: \\

1924: &

1925: x_{1}x_{3}x_{6}x_{8}+x_{1}x_{4}x_{5}x_{8}+x_{1}x_{4}x_{6}x_{7}+x_{2}x_{3}x_{5}x_{8}+x_{2}x_{3}x_{6}x_{7}+

1926: \\

1927: &

1928: x_{2}x_{4}x_{5}x_{7}+x_{1}x_{3}x_{7}x_{8}+x_{1}x_{4}x_{6}x_{8}+x_{1}x_{5}x_{6}x_{7}+x_{2}x_{3}x_{6}x_{8}+

1929: \\

1930: &

1931: x_{2}x_{4}x_{5}x_{8}+x_{2}x_{4}x_{6}x_{7}+x_{3}x_{4}x_{5}x_{7}+x_{1}x_{4}x_{7}x_{8}+x_{1}x_{5}x_{6}x_{8}+

1932: \\

1933: &

1934: x_{2}x_{3}x_{7}x_{8}+x_{2}x_{4}x_{6}x_{8}+x_{2}x_{5}x_{6}x_{7}+x_{3}x_{4}x_{5}x_{8}+x_{3}x_{4}x_{6}x_{7}+

1935: \\

1936: &

1937: x_{1}x_{5}x_{7}x_{8}+x_{2}x_{4}x_{7}x_{8}+x_{2}x_{5}x_{6}x_{8}+x_{3}x_{4}x_{6}x_{8}+x_{3}x_{5}x_{6}x_{7}+

1938: \\

1939: &

1940: x_{2}x_{5}x_{7}x_{8}+x_{3}x_{4}x_{7}x_{8}+x_{3}x_{5}x_{6}x_{8}+x_{3}x_{5}x_{7}x_{8},%

1941: \end{array}%

1942: \end{equation}%

1943: and $F$ is in turn obtained from the evaluation of the determinant of the

1944: expression $\left( \ref{f6}\right) $:

1945: 

1946: \begin{equation}

1947: \begin{array}{ll}

1948: F= &

1949: (x_{1}x_{2}x_{3}x_{5}x_{7}+x_{1}x_{2}x_{3}x_{5}x_{8}+x_{1}x_{2}x_{3}x_{6}x_{7}+x_{1}x_{2}x_{4}x_{5}x_{7}+

1950: \\

1951: &

1952: x_{1}x_{2}x_{3}x_{6}x_{8}+x_{1}x_{2}x_{4}x_{5}x_{8}+x_{1}x_{2}x_{4}x_{6}x_{7}+x_{1}x_{3}x_{4}x_{5}x_{7}+

1953: \\

1954: &

1955: x_{1}x_{2}x_{3}x_{7}x_{8}+x_{1}x_{2}x_{4}x_{6}x_{8}+x_{1}x_{2}x_{5}x_{6}x_{7}+x_{1}x_{3}x_{4}x_{5}x_{8}+

1956: \\

1957: &

1958: x_{1}x_{3}x_{4}x_{6}x_{7}+x_{1}x_{2}x_{4}x_{7}x_{8}+x_{1}x_{2}x_{5}x_{6}x_{8}+x_{1}x_{3}x_{4}x_{6}x_{8}+

1959: \\

1960: &

1961: x_{1}x_{3}x_{5}x_{6}x_{7}+x_{1}x_{2}x_{5}x_{7}x_{8}+x_{1}x_{3}x_{4}x_{7}x_{8}+x_{1}x_{3}x_{5}x_{6}x_{8}+

1962: \\

1963: & x_{1}x_{3}x_{5}x_{7}x_{8})\;p_{1}^{2}.%

1964: \end{array}%

1965: \end{equation}

1966: 

1967: \subsubsection{Factorization of the multinomials $U$ and $F$}

1968: 

1969: \qquad The large number of terms that $U(34)$ and $F(21)$ have makes

1970: impossible to get manageable solutions if the method is applied without

1971: performing the necessary factorizations first. Nevertheless, this type of

1972: diagrams that in the massless case are solvable loop by loop, present a form

1973: such that they can be easily factorized in submultinomials. For this

1974: particular case the adequate multimomial factorization is:

1975: 

1976: \begin{equation}

1977: \begin{array}{l}

1978: F=x_{1}f_{7}\;p_{1}^{2}, \\

1979: \\

1980: U=x_{1}f_{6}+f_{7},%

1981: \end{array}%

1982: \end{equation}%

1983: where the functions $f_{i}$ are given by the equations:

1984: 

1985: \begin{equation}

1986: \begin{array}{l}

1987: f_{7}=(x_{2}f_{6}+f_{5}), \\

1988: f_{6}=x_{3}f_{4}+(x_{4}f_{4}+f_{3}), \\

1989: f_{5}=x_{3}(x_{4}f_{4}+f_{3}), \\

1990: f_{4}=x_{5}f_{2}+(x_{6}f_{2}+f_{1}), \\

1991: f_{3}=x_{5}(x_{6}f_{2}+f_{1}), \\

1992: f_{2}=(x_{7}+x_{8}), \\

1993: f_{1}=x_{7}x_{8}.%

1994: \end{array}%

1995: \end{equation}

1996: 

1997: \subsubsection{Massless case\ $(m_{1}=...=m_{8}=0)$}

1998: 

1999: \qquad This case is simple to solve loop by loop, but the advantage of the

2000: technique NDIM is that it is possible to solve the corresponding Feynman

2001: integral considering simultaneously all the loops. The parametric

2002: representation of his diagram is:

2003: 

2004: \begin{equation}

2005: G=\dfrac{(-1)^{-2D}}{\tprod\nolimits_{j=1}^{8}\Gamma (\nu _{j})}%

2006: \dint\limits_{0}^{\infty }d\overrightarrow{x}\;\frac{\exp \left( -\dfrac{%

2007: x_{1}f_{7}}{x_{1}f_{6}+f_{7}}p_{1}^{2}\right) }{\left(

2008: x_{1}f_{6}+f_{7}\right) ^{\frac{D}{2}}},

2009: \end{equation}%

2010: where as usual the exponential is expanded, and systematically we make the

2011: successive multiregion expansions associated to the multinomials $f_{i}$.

2012: The order in which these multinomials appear and get expanded is:

2013: 

2014: \begin{equation}

2015: U\longrightarrow f_{7}\longrightarrow f_{6}\longrightarrow

2016: f_{5}\longrightarrow f_{4}\longrightarrow f_{3}\longrightarrow f_{2}.

2017: \end{equation}%

2018: Once the integration process finishes, finally the presolution or

2019: multiregion expansion of the diagram $G$ is obtained:

2020: 

2021: \begin{equation}

2022: G=\dfrac{(-1)^{-2D}}{\tprod\nolimits_{j=1}^{8}\Gamma (\nu _{j})}%

2023: \dsum\limits_{n_{1},..,n_{15}}\phi _{n_{1},..,n_{15}}\;\dfrac{%

2024: (p_{1}^{2})^{n_{1}}}{\Gamma (\frac{D}{2}+n_{1})}\;\Omega _{\left\{ n\right\}

2025: }\tprod\nolimits_{j=1}^{15}\Delta _{j},

2026: \end{equation}%

2027: where we have defined the factor:

2028: 

2029: \begin{equation}

2030: \Omega _{\left\{ n\right\} }=\dfrac{1}{\Gamma (-n_{1}-n_{3})\Gamma

2031: (-n_{2}-n_{4})\Gamma (-n_{5}-n_{7})\Gamma (-n_{6}-n_{8})\Gamma

2032: (-n_{9}-n_{11})\Gamma (-n_{10}-n_{12})},  \label{f42}

2033: \end{equation}%

2034: and the corresponding constraints are:

2035: 

2036: \begin{equation}

2037: \begin{array}{lll}

2038: \Delta _{1}=\left\langle \frac{D}{2}+n_{1}+n_{2}+n_{3}\right\rangle , &  &

2039: \Delta _{8}=\left\langle \nu _{1}+n_{1}+n_{2}\right\rangle , \\

2040: \Delta _{2}=\left\langle -n_{1}-n_{3}+n_{4}+n_{5}\right\rangle , &  & \Delta

2041: _{9}=\left\langle \nu _{2}+n_{4}\right\rangle , \\

2042: \Delta _{3}=\left\langle -n_{2}-n_{4}+n_{6}+n_{7}\right\rangle , &  & \Delta

2043: _{10}=\left\langle \nu _{3}+n_{5}+n_{6}\right\rangle , \\

2044: \Delta _{4}=\left\langle -n_{5}-n_{7}+n_{8}+n_{9}\right\rangle , &  & \Delta

2045: _{11}=\left\langle \nu _{4}+n_{8}\right\rangle , \\

2046: \Delta _{5}=\left\langle -n_{6}-n_{8}+n_{10}+n_{11}\right\rangle , &  &

2047: \Delta _{12}=\left\langle \nu _{5}+n_{9}+n_{10}\right\rangle , \\

2048: \Delta _{6}=\left\langle -n_{9}-n_{11}+n_{12}+n_{13}\right\rangle , &  &

2049: \Delta _{13}=\left\langle \nu _{6}+n_{12}\right\rangle , \\

2050: \Delta _{7}=\left\langle -n_{10}-n_{12}+n_{14}+n_{15}\right\rangle , &  &

2051: \Delta _{14}=\left\langle \nu _{7}+n_{13}+n_{14}\right\rangle , \\

2052: &  & \Delta _{15}=\left\langle \nu _{8}+n_{13}+n_{15}\right\rangle .%

2053: \end{array}%

2054: \end{equation}%

2055: The number of possible contributions that the solution has is $C_{15}^{15}=1$%

2056: , and it does not correspond to a series but to a single term. The solution

2057: for this case is simply:

2058: 

2059: \begin{equation}

2060: G=(-1)^{-2D}\dfrac{(p_{1}^{2})^{n_{1}}}{\Gamma (D/2+n_{1})}\;\Omega

2061: _{\left\{ n\right\} }\;\dfrac{\tprod\nolimits_{j=1}^{15}\Gamma (-n_{j})}{%

2062: \tprod\nolimits_{j=1}^{8}\Gamma (\nu _{j})},

2063: \end{equation}%

2064: where the indexes $n_{i}$ are to be replaced by the values:

2065: 

2066: \begin{equation}

2067: \begin{array}{lll}

2068: n_{1}=2D-\nu _{1}-\nu _{2}-\nu _{3}-\nu _{4}-\nu _{5}-\nu _{6}-\nu _{7}-\nu

2069: _{8}, &  & n_{9}=D-\nu _{5}-\nu _{6}-\nu _{7}-\nu _{8}, \\

2070: n_{2}=\nu _{2}+\nu _{3}+\nu _{4}+\nu _{5}+\nu _{6}+\nu _{7}+\nu _{8}-2D, &

2071: & n_{10}=\nu _{6}+\nu _{7}+\nu _{8}-D, \\

2072: n_{3}=\nu _{1}-\frac{D}{2}, &  & n_{11}=\nu _{5}-\frac{D}{2}, \\

2073: n_{4}=-\nu _{2}, &  & n_{12}=-\nu _{6}, \\

2074: n_{5}=\frac{3D}{2}-\nu _{3}-\nu _{4}-\nu _{5}-\nu _{6}-\nu _{7}-\nu _{8}, &

2075: & n_{13}=\frac{D}{2}-\nu _{7}-\nu _{8}, \\

2076: n_{6}=\nu _{4}+\nu _{5}+\nu _{6}+\nu _{7}+\nu _{8}-\frac{3D}{2}, &  &

2077: n_{14}=\nu _{8}-\frac{D}{2}, \\

2078: n_{7}=\nu _{3}-\frac{D}{2}, &  & n_{15}=\nu _{7}-\frac{D}{2}, \\

2079: n_{8}=-\nu _{4}. &  &

2080: \end{array}%

2081: \end{equation}

2082: 

2083: \subsubsection{A massive case example$\;\left( m_{1}=...=m_{6}=0\right)

2084: \left( m_{7}=m_{8}=m\right) $}

2085: 

2086: \begin{figure}[th]

2087: \begin{center}

2088: \epsfig{file=fig5.eps,width=0.5\textwidth}

2089: \end{center}

2090: \caption{Mass configuration in the four-loop propagator.}

2091: \end{figure}

2092: Let us consider a more complicated situation, which adds one energy scale $m$%

2093: \ to the previous problem, as it is shown in Fig. 5. Starting from the

2094: parametric representation of the diagram:

2095: 

2096: \begin{equation}

2097: G=\dfrac{(-1)^{-2D}}{\tprod\nolimits_{j=1}^{8}\Gamma (\nu _{j})}%

2098: \dint\limits_{0}^{\infty }d\overrightarrow{x}\;\frac{\exp

2099: (-f_{2}(-m^{2}))\exp \left( -\dfrac{x_{1}f_{7}}{x_{1}f_{6}+f_{7}}%

2100: p_{1}^{2}\right) }{\left( x_{1}f_{6}+f_{7}\right) ^{\frac{D}{2}}},

2101: \end{equation}%

2102: and remembering that $f_{2}=(x_{7}+x_{8})$, we proceed to make the

2103: expansions, similar to the massless case, except that this time an extra

2104: expansion appears, due to the exponential that contains the mass scale, and

2105: which gets expanded later on in the process or replacing the functions $%

2106: f_{i} $. At the end of the procedure we obtain as presolution the following

2107: expression:

2108: 

2109: \begin{equation}

2110: G=\dfrac{(-1)^{-2D}}{\tprod\nolimits_{j=1}^{8}\Gamma (\nu _{j})}%

2111: \dsum\limits_{n_{1},..,n_{16}}\phi _{n_{1},..,n_{16}}\;\dfrac{%

2112: (p_{1}^{2})^{n_{1}}(-m^{2})^{n_{14}}}{\Gamma (D/2+n_{1})}\;\Omega _{\left\{

2113: n\right\} }\tprod\nolimits_{j=1}^{15}\Delta _{j},

2114: \end{equation}%

2115: where $\Omega _{\left\{ n\right\} }$ is the factor:

2116: 

2117: \begin{equation}

2118: \Omega _{\left\{ n\right\} }=\dfrac{1}{\Gamma (-n_{1}-n_{3})\Gamma

2119: (-n_{2}-n_{4})\Gamma (-n_{5}-n_{7})\Gamma (-n_{6}-n_{8})\Gamma

2120: (-n_{9}-n_{11})\Gamma (-n_{10}-n_{12}-n_{14})}.

2121: \end{equation}%

2122: The new set of constraints $\left\{ \Delta _{j}\right\} $, is given by the

2123: following identities:

2124: 

2125: \begin{equation}

2126: \begin{array}{lll}

2127: \Delta _{1}=\left\langle \frac{D}{2}+n_{1}+n_{2}+n_{3}\right\rangle , &  &

2128: \Delta _{9}=\left\langle \nu _{2}+n_{4}\right\rangle , \\

2129: \Delta _{2}=\left\langle -n_{1}-n_{3}+n_{4}+n_{5}\right\rangle , &  & \Delta

2130: _{10}=\left\langle \nu _{3}+n_{5}+n_{6}\right\rangle , \\

2131: \Delta _{3}=\left\langle -n_{2}-n_{4}+n_{6}+n_{7}\right\rangle , &  & \Delta

2132: _{11}=\left\langle \nu _{4}+n_{8}\right\rangle , \\

2133: \Delta _{4}=\left\langle -n_{5}-n_{7}+n_{8}+n_{9}\right\rangle , &  & \Delta

2134: _{12}=\left\langle \nu _{5}+n_{9}+n_{10}\right\rangle , \\

2135: \Delta _{5}=\left\langle -n_{6}-n_{8}+n_{10}+n_{11}\right\rangle , &  &

2136: \Delta _{13}=\left\langle \nu _{6}+n_{12}\right\rangle , \\

2137: \Delta _{6}=\left\langle -n_{9}-n_{11}+n_{12}+n_{13}\right\rangle , &  &

2138: \Delta _{14}=\left\langle \nu _{7}+n_{13}+n_{15}\right\rangle , \\

2139: \Delta _{7}=\left\langle -n_{10}-n_{12}-n_{14}+n_{15}+n_{16}\right\rangle ,

2140: &  & \Delta _{15}=\left\langle \nu _{8}+n_{13}+n_{16}\right\rangle , \\

2141: \Delta _{8}=\left\langle \nu _{1}+n_{1}+n_{2}\right\rangle . &  &

2142: \end{array}%

2143: \end{equation}%

2144: According to the previous analysis the number of possible contributions to

2145: the solution of $G$ is $C_{15}^{16}=16$, of which actually only ten

2146: contribute to the final solution. These can be distributed in the following

2147: manner, taking into account the kinematical region of interest:

2148: 

2149: \paragraph{Solutions in the region $\left\vert \dfrac{p_{1}^{2}}{4m^{2}}%

2150: \right\vert <1$:}

2151: 

2152: \begin{equation}

2153: G\left( \dfrac{p_{1}^{2}}{4m^{2}}\right) =G_{1}+G_{5}+G_{9}+G_{13}.

2154: \end{equation}

2155: 

2156: \paragraph{Solutions in the region $\left\vert \dfrac{4m^{2}}{p_{1}^{2}}%

2157: \right\vert <1$:}

2158: 

2159: \begin{equation}

2160: G\left( \dfrac{4m^{2}}{p_{1}^{2}}\right)

2161: =G_{2}+G_{6}+G_{10}+G_{14}+G_{15}+G_{16}.

2162: \end{equation}

2163: 

2164: \section{Comments}

2165: 

2166: \subsection{The factorization process}

2167: 

2168: \qquad From the point of view of the actual procedure the aspect that

2169: optimizes the method has to do with how the multinomials that appear in

2170: Schwinger's parametric integral are factorized. Is in this process where

2171: resides the possibility that the integration method be generalized to $L$

2172: loops for both massless and massive diagrams. In this respect we worked out

2173: a procedure that allows for an adequate factorization of the multinomials $U$

2174: and $F$ at the moment in which they are generated, which is something very

2175: useful since without it the number of sums of these multinomials can be

2176: quite large, depending on the number of loops and external lines that the

2177: topology has.

2178: 

2179: In this work we have treated cases in which the multiplicity of the series

2180: that conform the solution fulfilles the condition $\mu =\left( n-1\right) $,

2181: where $n$ is the number of different energy scales present in the diagram.

2182: With this criterion we have classified in three families the topologies

2183: considered here, and for each case we give the recipe to factorize the

2184: multinomials $U$ and $F$.

2185: 

2186: \subsubsection{Diagrams reducible recursively loop by loop}

2187: 

2188: \qquad The topologies that are included in this category are those that in

2189: the case in which the theory does not contain masses, they can be evaluated

2190: loop by loop by successive application of the formula corresponding to the

2191: one-loop diagram:

2192: 

2193: \begin{equation}

2194: G=\int \frac{d^{D}q_{1}}{i\pi ^{D/2}}\frac{1}{\left[ q_{1}^{2}\right]

2195: ^{a_{1}}\left[ (q_{1}+p_{1})^{2}\right] ^{a_{2}}},  \label{f37}

2196: \end{equation}%

2197: whose explicit solution is:

2198: 

2199: \begin{equation}

2200: G=g(a_{1},a_{2})\dfrac{1}{(p^{2})^{a_{1}+a_{2}-\frac{D}{2}}},  \label{f43}

2201: \end{equation}%

2202: where the factor $g(a_{1},a_{2})$ is defined as:

2203: 

2204: \begin{equation}

2205: g(a_{1},a_{2})=(-1)^{-\frac{D}{2}}\dfrac{\Gamma (a_{1}+a_{2}-\frac{D}{2}%

2206: )\Gamma (\frac{D}{2}-a_{1})\Gamma (\frac{D}{2}-a_{2})}{\Gamma (a_{1})\Gamma

2207: (a_{2})\Gamma (D-a_{1}-a_{2})}.

2208: \end{equation}%

2209: The formulae $\left( \ref{f37}\right) $ and $\left( \ref{f43}\right) $ can

2210: be represented graphically as shown in Fig. 6.

2211: 

2212: \begin{figure}[th]

2213: \begin{center}

2214: \epsfig{file=fig6.eps,width=0.5\textwidth}

2215: \end{center}

2216: \caption{Graphic formula for Bubble diagram.}

2217: \end{figure}

2218: A situation that happens quite often together with the loop by loop

2219: reduction is when there are two scalar propagators in series and associated

2220: to the same mass scale, with powers $a_{1}$ and $a_{2}$ in the propagators.

2221: In this case such powers can be summed and replaced by only one,

2222: characterized by the power $\left( a_{1}+a_{2}\right) $. Graphically this is

2223: represented in Fig. 7.

2224: 

2225: \begin{figure}[th]

2226: \begin{center}

2227: \epsfig{file=fig7.eps,width=0.5\textwidth}

2228: \end{center}

2229: \caption{Reduction of propagators in serie.}

2230: \end{figure}

2231: The massless diagrams which applying formula $\left( \ref{f43}\right) $ can

2232: be evaluated recursively loop by loop, are also capable of evaluation

2233: considering all loops simultaneously and even if different mass scales are

2234: added to the topology. That this can be done depends only on finding the

2235: optimal factorization of $U$ and $F$. For this purpose we use the well known

2236: topological analogy between Feynman diagram and resistive electrical

2237: circuits, in the sense that in both 'something'\ flows in their branches and

2238: 'something'\ is conserved in their vertices. But this analogy goes further,

2239: since electrical resistors in an electrical network are equivalent to

2240: Schwinger%

2241: %TCIMACRO{\U{b4}}%

2242: %BeginExpansion

2243: \'{}%

2244: %EndExpansion

2245: s parameters in Feynman diagrams. The analogy is obvious if we observe Fig.

2246: 8.

2247: 

2248: \begin{figure}[th]

2249: \begin{center}

2250: \epsfig{file=fig8.eps,width=0.5\textwidth}

2251: \end{center}

2252: \caption{Simple analogy of Feynman diagram and network of resistances.}

2253: \end{figure}

2254: In this example the following can be seen: in the Feynman diagram one finds

2255: that the ratio between the multinomials $F$ and $U$ is given by the

2256: expression:

2257: 

2258: \begin{equation}

2259: \frac{F}{U}=\frac{x_{1}x_{2}}{x_{1}+x_{2}}\Longrightarrow

2260: F=x_{1}x_{2}\;\wedge \;U=x_{1}+x_{2}.

2261: \end{equation}%

2262: For simplicity we have taken $p^{2}=1$, since the results are independent of

2263: this choice. Similarly the equivalent resistance of the electrical circuit

2264: shown if the figure can be easily evaluated, giving:

2265: 

2266: \begin{equation}

2267: R_{eq}=\frac{R_{1}R_{2}}{R_{1}+R_{2}}.

2268: \end{equation}%

2269: The resemblance of these mathematical structures and also considering the

2270: graphic equations shown above, allow us to explain the reason why a massless

2271: $L$-loop Feynman diagram can be reduced loop by loop in the same way that a

2272: resistive circuit can be reduced in terms of sums of series and parallel

2273: resistors. Both systems have the same topological characteristics.

2274: Therefore, using this similitude it is possible to think in doing 'sums of

2275: parameters'\ depending on whether we have series or parallel propagators,

2276: and with this it is possible to find the ratio $\left( F/U\right) $ and thus

2277: identify directly the multinomials $F$ and $U$. Nevertheless, the main

2278: advantage is not really the determination of these multinomials, but the

2279: fact that in this way it is possible to find simultaneously the adequate

2280: factorization for the diagrams solvable directly and recursively loop by

2281: loop, since in the process of reducing the diagram in terms of series and

2282: parallel branches, the factorizations of the type $\left(

2283: x_{i}+x_{j}+...+x_{k}\right) $, adequate for the application of NDIM, are

2284: generated automatically. This is the trick used in the example $\left(

2285: III\right) $ in order to find the factorizations. A particular case are

2286: vacuum fluctuation diagrams, for which the multinomial $F$ vanishes, and

2287: therefore for finding $U$ it becomes necessary to assume that the diagram

2288: corresponds to a propagator, and for that purpose we adequately add two

2289: external lines, in such a way that the topology be reducible loop by loop.

2290: Then the same recipe as above is applied, the ratio $\left( F/U\right) $ is

2291: determined and finally the already factorized multinomial $U$ is found.

2292: 

2293: Notice that the factorizations of the type $\left(

2294: x_{i}+x_{j}+...+x_{k}\right) $ contain the parameters that belong to the

2295: same loop (once the subtopologies of the loop propagators have been

2296: reduced), which seems natural since the series-parallel reduction can be

2297: done one loop at the time. It is also worth pointing out that it is possible

2298: to do this 'parameters reduction' independently on whether the propagators

2299: are massless or massive, which is due to the fact that the mass scales do

2300: not appear in the multinomials $U$ and $F$ of the parametric integral.

2301: Moreover, it is thus clear that when adding equal mass scales, these can

2302: only be associated to the same loop, and therefore we can be sure that the

2303: series solutions increase the multiplicity in one unit, which is logical

2304: since one more mass scale has been added. As an example, if in the

2305: multinomials the factor $\left( x_{i}+x_{j}+...+x_{k}\right) $ appears, it

2306: is possible to add to the topology equal masses in various possible

2307: situations and associate to the integral of parameters the following

2308: exponential factors:

2309: 

2310: \begin{equation*}

2311: \exp (x_{i}m^{2}),\;\exp (\left( x_{i}+x_{j}\right) m^{2}),\;\exp (\left(

2312: x_{i}+x_{j}+...+x_{k}\right) m^{2}),\;etc.

2313: \end{equation*}%

2314: In the case in which equal masses are distributed in different loops, in

2315: most situations it will not be possible to factorize adequately the

2316: multinomials and the integration method will generate extra sums in the

2317: series solutions, whose arguments would be one. The way to think about this

2318: is that when masses are put into different loops this really corresponds to

2319: different mass scales and therefore the multiplicity of the series solution

2320: will grow with the different number of mass scales in the problem.

2321: 

2322: \subsubsection{Two loop topologies, with three or more external lines.}

2323: 

2324: \qquad For topologies with more than two external lines, the previous trick

2325: is not useful. Nevertheless, there is still a generic procedure that can

2326: provide an optimal factorization for the multinomial $U$, which in this case

2327: is the one that determines and conditions the adequate factorization that

2328: must be done in $F$. This procedure can be applied in general to any

2329: two-loop diagram, although only in certain topologies optimal results are

2330: obtained, according to the criteria expressed in $\left( \ref{f46}\right) $.

2331: In actual practice the factorization of $U$ is done directly from the matrix

2332: of parameters of the diagram, and since we are considering the two loop

2333: case, $U$ is obtained from the determinant of the $2\times 2$ symmetric

2334: submatrix that relates the loop momenta only. The general structure of the

2335: determinant is given by the expression:

2336: 

2337: \begin{equation}

2338: U=\left\vert

2339: \begin{array}{cc}

2340: X_{a}+X_{b} & \pm X_{b} \\

2341: \pm X_{b} & X_{b}+X_{c}%

2342: \end{array}%

2343: \right\vert ,

2344: \end{equation}%

2345: where the terms $X_{a}$ and $X_{c}$ are 1-linear combinations of Schwinger

2346: parameters, such that they do not contain common parameters among them, that

2347: is $\left\{ X_{a}\right\} \cap \left\{ X_{c}\right\} =\varnothing $. The

2348: term $X_{b}$ is a combination of the parameters that are common in the

2349: diagonal elements.

2350: 

2351: The form of $U$ comes from the determinant of this matrix, that is:

2352: 

2353: \begin{equation}

2354: U=X_{a}X_{b}+X_{b}X_{c}+X_{a}X_{c},

2355: \end{equation}%

2356: where we can do the following factorizations in case they are necessary:

2357: 

2358: \begin{equation}

2359: U=\left( X_{a}+X_{c}\right) X_{b}+X_{a}X_{c},

2360: \end{equation}

2361: 

2362: \begin{equation}

2363: U=X_{a}X_{b}+X_{c}\left( X_{a}+X_{c}\right) ,

2364: \end{equation}

2365: 

2366: \begin{equation}

2367: U=X_{a}\left( X_{b}+X_{c}\right) +X_{b}X_{c}.

2368: \end{equation}%

2369: When adding one more mass scale, the appropriate factorization will depend

2370: on the form in which this scale gets distributed, and them in the integrand

2371: the following factor appears:

2372: 

2373: \begin{equation*}

2374: \exp (X_{a}m^{2}),\;\exp (\left( X_{a}+X_{c}\right) m^{2}),\;etc.

2375: \end{equation*}%

2376: This provides us with a general recipe for the case of two-loop diagrams and

2377: more than two external points. In our work only three topologies are

2378: suitable for applying the method and producing optimal solutions, that is

2379: they fulfill the condition that the solution multiplicity is less than the

2380: number of energy scales of the diagram. These are indicated in Fig. 9.

2381: 

2382: \begin{figure}[ht]

2383: \begin{center}

2384: \epsfig{file=fig9.eps,width=0.6\textwidth}

2385: \end{center}

2386: \caption{Two loops diagrams compatible with NDIM.}

2387: \end{figure}

2388: 

2389: \subsubsection{The previous topologies + propagator insertions of loop by

2390: loop reducible topologies.}

2391: 

2392: \qquad The last case we will consider is a combination of the two-loop

2393: topologies shown in Fig. 9, with the addition of subgraphs in the loop by

2394: loop reducible propagators, and with the advantage that it is also possible

2395: to include masses in them. In this manner it becomes possible to extend to $%

2396: L $-loops the two-loop topologies shown previously.

2397: 

2398: \subsection{Increase in complexity of the hypergeometric series as the

2399: number of loops $L$ grows}

2400: 

2401: \qquad In this work we have applied the method to certain $L$-loop class of

2402: diagrams characterized for having one, two or three different energy scales,

2403: and such that the solutions correspond only to series of zero, one or two

2404: variables respectively.

2405: 

2406: With this restriction in the type of solution, the topologies to which is

2407: possible to apply the technique NDIM advantageously are the following:

2408: 

2409: \begin{itemize}

2410: \item One loop topologies with two, three and four external points, which

2411: have been studied in Refs. \cite{CAn2, CAn1}.

2412: 

2413: \item All $L$-loop topologies of two external points which are loop by loop

2414: recursively reducible in the massless propagators case, but to which one or

2415: two mass scales are added.

2416: 

2417: \item All $L$-loop vacuum fluctuation topologies that are reducible loop by

2418: loop, and to which up to three different energy scales can be added.

2419: 

2420: \item Some two-loop diagrams, shown in Fig. 9.

2421: \end{itemize}

2422: 

2423: \bigskip

2424: 

2425: To all these topologies more loops can be added by including one-loop

2426: insertions in the propagators, and since it is also possible to assign mass

2427: to these insertions, we can therefore study a great variety of graphs with

2428: this integration technique. In conclusion a large family of $L$-loop

2429: diagrams can be evaluated with this method.

2430: 

2431: Our results indicate that the number of parameters that characterize the

2432: generalized hypergeometric functions that are obtained as solutions to the

2433: diagrams increases linearly with the number of loops $L$ of the graph. In

2434: the case of topologies that have two energy scales, the solutions are always

2435: expressible as generalized hypergeometric series of the type $_{l}F_{l-1}$,

2436: where $l$ corresponds to the hypergeometric order and the quantity $\left(

2437: 2l-1\right) $ is the total number of parameters that it has. Let us see how

2438: the number of loops $L$ affects the order of the hypergeometric series in

2439: the solution. We consider the following examples which are associated to the

2440: diagram in Fig. 10, and which have two different energy scales $\left\{

2441: p^{2},m^{2}\right\} $ and $L$ loops. For this class of diagrams we show two

2442: topologies which have masses associated to one of the loops, with the

2443: difference that while the first (A) has one massive propagator the second

2444: (B) has both propagators massive, and the rest of the propagators are

2445: massless.

2446: 

2447: \begin{figure}[th]

2448: \begin{center}

2449: \epsfig{file=fig10.eps,width=0.6\textwidth}

2450: \end{center}

2451: \caption{Two massive family of L loops propagators.}

2452: \end{figure}

2453: The solutions that we have found for these diagrams are given in terms of

2454: generalized hypergeometric functions $_{l}F_{l-1}$, where the graphs with

2455: the condition (A) have series solutions of the form:

2456: 

2457: \begin{equation*}

2458: \;_{2L}F_{(2L-1)}\left( \left.

2459: \begin{array}{c}

2460: ...%

2461: \end{array}%

2462: \right\vert

2463: \begin{array}{c}

2464: \frac{p^{2}}{m^{2}}%

2465: \end{array}%

2466: \right) ,

2467: \end{equation*}

2468: 

2469: \begin{equation*}

2470: \;_{2L}F_{(2L-1)}\left( \left.

2471: \begin{array}{c}

2472: ...%

2473: \end{array}%

2474: \right\vert

2475: \begin{array}{c}

2476: \frac{m^{2}}{p^{2}}%

2477: \end{array}%

2478: \right) ,

2479: \end{equation*}%

2480: while for diagrams of the form (B) we get:

2481: 

2482: \begin{equation*}

2483: \;_{(2L+1)}F_{2L}\left( \left.

2484: \begin{array}{c}

2485: ...%

2486: \end{array}%

2487: \right\vert

2488: \begin{array}{c}

2489: \frac{p^{2}}{4m^{2}}%

2490: \end{array}%

2491: \right) ,

2492: \end{equation*}

2493: 

2494: \begin{equation*}

2495: \;_{(2L+1)}F_{2L}\left( \left.

2496: \begin{array}{c}

2497: ...%

2498: \end{array}%

2499: \right\vert

2500: \begin{array}{c}

2501: \frac{4m^{2}}{p^{2}}%

2502: \end{array}%

2503: \right) .

2504: \end{equation*}%

2505: The example $\left( III\right) $ of this work corresponds precisely to a

2506: diagram of the type (B), in which $L=4$ and whose solutions are just

2507: hypergeometric series of type $_{9}F_{8}$. Another family of solutions that

2508: we can consider are vacuum fluctuations of the type shown in Fig. 11,

2509: composed of two energy scales $\left\{ m^{2},M^{2}\right\} $ and which gives

2510: rise to solutions of the form:

2511: 

2512: \begin{equation*}

2513: \;_{\left( 2L-2\right) }F_{(2L-3)}\left( \left.

2514: \begin{array}{c}

2515: ...%

2516: \end{array}%

2517: \right\vert

2518: \begin{array}{c}

2519: \frac{M^{2}}{m^{2}}%

2520: \end{array}%

2521: \right) ,

2522: \end{equation*}

2523: 

2524: \begin{equation*}

2525: \;_{\left( 2L-2\right) }F_{(2L-3)}\left( \left.

2526: \begin{array}{c}

2527: ...%

2528: \end{array}%

2529: \right\vert

2530: \begin{array}{c}

2531: \frac{m^{2}}{M^{2}}%

2532: \end{array}%

2533: \right) .

2534: \end{equation*}

2535: 

2536: \begin{figure}[th]

2537: \begin{center}

2538: \epsfig{file=fig11.eps,width=0.4\textwidth}

2539: \end{center}

2540: \caption{Two mass scales of vacuum fluctuations of L loops.}

2541: \end{figure}

2542: In case in which there are three energy scales, the solutions can be

2543: expressed in terms of double hypergeometric series. In the calculations

2544: performed in the case of one-loop diagrams \cite{CAn2}, the solutions are

2545: completely described by Appell functions $\left(

2546: F_{1},F_{2},F_{3},F_{4}\right) $, one Horn function $H_{2}$, and the

2547: particular cases $S_{1}$ and $S_{2}$ of the de Kamp\'{e} de F\'{e}riet

2548: function. Nevertheless, for $L>1$ the number of parameters that characterize

2549: the hypergeometrics grows and then it is not possible to describe the

2550: solutions with the same functions associated to the 1-loop results and it is

2551: necessary to turn to a more general version of the two-variable series $F

2552: ^{\substack{ p:r:u  \\ q:s:v}}$ or $\overline{F}^{\substack{ p:r:u  \\ q:s:v

2553: }}$.

2554: 

2555: \section{Other examples}

2556: 

2557: \qquad Although the previously shown examples are sufficient to demonstrate

2558: the versatility and power of the method, we want to add briefly other

2559: topologies of two, three and four external lines. The last two correspond to

2560: specific two-loop topologies to which the method is applicable, and which

2561: were not discussed before.

2562: 

2563: \subsection{Sunset diagram}

2564: 

2565: \begin{figure}[ht]

2566: \begin{center}

2567: \epsfig{file=fig12.eps,width=0.4\textwidth}

2568: \end{center}

2569: \caption{Sunset diagram.}

2570: \end{figure}

2571: 

2572: \begin{equation*}

2573: \begin{array}{ll}

2574: U & =x_{1}x_{2}+x_{1}x_{3}+x_{2}x_{3}. \\

2575: &  \\

2576: F & =x_{1}x_{2}x_{3}\;p_{1}^{2}.%

2577: \end{array}%

2578: \end{equation*}

2579: 

2580: \subsubsection{Massless case\ $\left( m_{1}=m_{2}=m_{3}=0\right) $}

2581: 

2582: \begin{equation}

2583: \fbox{$G=\dfrac{(-1)^{-D}}{\tprod\nolimits_{j=1}^{3}\Gamma (\nu _{j})}%

2584: \dsum\limits_{n_{1},..,n_{4}}\phi _{n_{1},..,n_{4}}$\ $\left(

2585: p_{1}^{2}\right) ^{n_{1}}\dfrac{\tprod\nolimits_{j=1}^{4}\Delta _{j}}{\Gamma

2586: \left( D/2+n_{1}\right) }.$}

2587: \end{equation}

2588: 

2589: \begin{equation}

2590: \begin{array}{l}

2591: \left\{

2592: \begin{array}{l}

2593: \Delta _{1}=\left\langle D/2+n_{1}+n_{2}+n_{3}+n_{4}\right\rangle , \\

2594: \Delta _{2}=\left\langle \nu _{1}+n_{1}+n_{2}+n_{3}\right\rangle , \\

2595: \Delta _{3}=\left\langle \nu _{2}+n_{1}+n_{2}+n_{4}\right\rangle , \\

2596: \Delta _{4}=\left\langle \nu _{3}+n_{1}+n_{3}+n_{4}\right\rangle .%

2597: \end{array}%

2598: \right.%

2599: \end{array}%

2600: \end{equation}%

2601: The solution is found immediately, and reads:

2602: 

2603: \begin{equation}

2604: G=(-1)^{-D}\dfrac{\Gamma (D/2-\nu _{1})\Gamma (D/2-\nu _{2})\Gamma (D/2-\nu

2605: _{3})\Gamma (\nu _{1}+\nu _{2}+\nu _{3}-D)}{\Gamma (\nu _{1})\Gamma (\nu

2606: _{2})\Gamma (\nu _{3})\Gamma (3D/2-\nu _{1}-\nu _{2}-\nu _{3})}\left(

2607: p_{1}^{2}\right) ^{D-\nu _{1}-\nu _{2}-\nu _{3}}.

2608: \end{equation}

2609: 

2610: \subsubsection{Massive case I $\left( m_{1}=m_{2}=m\right) \left(

2611: m_{3}=0\right) $}

2612: 

2613: \begin{equation}

2614: G=\dfrac{(-1)^{-D}}{\tprod\nolimits_{j=1}^{3}\Gamma (\nu _{j})}%

2615: \dint\limits_{0}^{\infty }d\overrightarrow{x}\;\frac{\exp \left( -f\left(

2616: -m^{2}\right) \right) \exp \left( -F/U\right) }{U^{D/2}}.

2617: \end{equation}%

2618: For this particular case $U$ has to be factorized as:

2619: 

2620: \begin{equation}

2621: \begin{array}{l}

2622: U=x_{1}x_{2}+x_{3}f, \\

2623: \\

2624: f=\left( x_{1}+x_{2}\right) .%

2625: \end{array}%

2626: \end{equation}

2627: 

2628: \begin{equation}

2629: \fbox{$G=\dfrac{(-1)^{-D}}{\tprod\nolimits_{j=1}^{3}\Gamma (\nu _{j})}%

2630: \dsum\limits_{n_{1},..,n_{6}}\phi _{n_{1},..,n_{6}}$\ $\left( -m^{2}\right)

2631: ^{n_{1}}\left( p_{1}^{2}\right) ^{n_{2}}\dfrac{\tprod\nolimits_{j=1}^{5}%

2632: \Delta _{j}}{\Gamma \left( D/2+n_{2}\right) \Gamma (-n_{2}-n_{4})}.$}

2633: \end{equation}

2634: 

2635: \begin{equation}

2636: \begin{array}{l}

2637: \left\{

2638: \begin{array}{l}

2639: \Delta _{1}=\left\langle D/2+n_{2}+n_{3}+n_{4}\right\rangle , \\

2640: \Delta _{2}=\left\langle -n_{1}-n_{4}+n_{5}+n_{6}\right\rangle , \\

2641: \Delta _{3}=\left\langle \nu _{1}+n_{2}+n_{3}+n_{5}\right\rangle , \\

2642: \Delta _{4}=\left\langle \nu _{2}+n_{2}+n_{3}+n_{6}\right\rangle , \\

2643: \Delta _{5}=\left\langle \nu _{3}+n_{2}+n_{4}\right\rangle .%

2644: \end{array}%

2645: \right.%

2646: \end{array}%

2647: \end{equation}%

2648: The solutions, in terms of the contributions $G_{j}$, are:

2649: 

2650: \begin{equation}

2651: \begin{array}{l}

2652: G\left( \dfrac{m^{2}}{p_{1}^{2}}\right) =G_{1}+G_{4}+G_{5}+G_{6}, \\

2653: \\

2654: G\left( \dfrac{p_{1}^{2}}{m^{2}}\right) =G_{2}.%

2655: \end{array}%

2656: \end{equation}

2657: 

2658: \subsubsection{Massive case II\ $\left( m_{1}=m_{2}=m\right) \left(

2659: m_{3}=M\right) $}

2660: 

2661: \begin{equation}

2662: G=\dfrac{(-1)^{-D}}{\tprod\nolimits_{j=1}^{3}\Gamma (\nu _{j})}%

2663: \dint\limits_{0}^{\infty }d\overrightarrow{x}\;\frac{\exp \left( -f\left(

2664: -m^{2}\right) -x_{3}\left( -M^{2}\right) \right) \exp \left( -F/U\right) }{%

2665: U^{D/2}}.

2666: \end{equation}

2667: 

2668: \begin{equation}

2669: \begin{array}{l}

2670: U=x_{1}x_{2}+x_{3}f, \\

2671: \\

2672: f=\left( x_{1}+x_{2}\right) .%

2673: \end{array}%

2674: \end{equation}

2675: 

2676: \begin{equation}

2677: \fbox{$G=\dfrac{(-1)^{-D}}{\tprod\nolimits_{j=1}^{3}\Gamma (\nu _{j})}%

2678: \dsum\limits_{n_{1},..,n_{7}}\phi _{n_{1},..,n_{7}}$\ $\left( -m^{2}\right)

2679: ^{n_{1}}\left( -M^{2}\right) ^{n_{2}}\left( p_{1}^{2}\right) ^{n_{3}}\dfrac{%

2680: \tprod\nolimits_{j=1}^{5}\Delta _{j}}{\Gamma \left( D/2+n_{3}\right) \Gamma

2681: (-n_{1}-n_{5})}.$}

2682: \end{equation}

2683: 

2684: \begin{equation}

2685: \begin{array}{l}

2686: \left\{

2687: \begin{array}{l}

2688: \Delta _{1}=\left\langle D/2+n_{3}+n_{4}+n_{5}\right\rangle , \\

2689: \Delta _{2}=\left\langle -n_{1}-n_{5}+n_{6}+n_{7}\right\rangle , \\

2690: \Delta _{3}=\left\langle \nu _{1}+n_{3}+n_{4}+n_{6}\right\rangle , \\

2691: \Delta _{4}=\left\langle \nu _{2}+n_{3}+n_{4}+n_{7}\right\rangle , \\

2692: \Delta _{5}=\left\langle \nu _{3}+n_{2}+n_{3}+n_{5}\right\rangle .%

2693: \end{array}%

2694: \right.%

2695: \end{array}%

2696: \end{equation}%

2697: The solutions determine three kinematical regions, which we write in terms

2698: of the contributions $G_{i,j}$:

2699: 

2700: \begin{equation}

2701: \begin{array}{l}

2702: G\left( \dfrac{4m^{2}}{p_{1}^{2}},\dfrac{M^{2}}{p_{1}^{2}}\right)

2703: =G_{1,2}+G_{1,4}+G_{2,5}+G_{2,6}+G_{2,7}+\left( G_{4,5}=0\right)

2704: +G_{4,6}+G_{4,7}\Longrightarrow F^{\substack{ 2:2:0  \\ 0:3:1}}\left(

2705: ...\right) \\

2706: \\

2707: G\left( \dfrac{M^{2}}{4m^{2}},\dfrac{p_{1}^{2}}{4m^{2}}\right)

2708: =G_{2,3}+G_{3,4}\Longrightarrow F^{\substack{ 4:0:0  \\ 2:1:1}}\left(

2709: ...\right) \\

2710: \\

2711: G\left( \dfrac{4m^{2}}{M^{2}},\dfrac{p_{1}^{2}}{M^{2}}\right)

2712: =G_{1,3}+G_{3,5}+G_{3,6}+G_{3,7}\Longrightarrow F^{\substack{ 2:2:0  \\ %

2713: 0:3:1 }}\left( ...\right)%

2714: \end{array}%

2715: \end{equation}%

2716: In each of these cases the contributions $G_{i,j}$ correspond to de Kamp\'{e}

2717: de F\'{e}riet functions $(F^{\substack{ p:r:u  \\ q:s:v}})$.

2718: 

2719: \subsection{Massless non-planar Double-Box diagram (On-Shell case)}

2720: 

2721: \begin{figure}[th]

2722: \begin{center}

2723: \epsfig{file=fig13.eps,width=0.36\textwidth}

2724: \end{center}

2725: \caption{Labelled non-planar Box diagram.}

2726: \end{figure}

2727: 

2728: \begin{equation}

2729: \begin{array}{ll}

2730: U & =\left( x_{1}+x_{2}\right) \left( x_{5}+x_{6}\right) +\left(

2731: x_{3}+x_{4}\right) \left( x_{5}+x_{6}\right) +\left( x_{1}+x_{2}\right)

2732: \left( x_{3}+x_{4}\right) , \\

2733: &  \\

2734: F & =x_{1}x_{3}x_{6}\;s+x_{2}x_{3}x_{5}\;u+x_{2}x_{4}x_{6}\;t,%

2735: \end{array}%

2736: \end{equation}

2737: 

2738: \begin{equation}

2739: \fbox{$G=A\dsum\limits_{n_{1},..,n_{12}}\phi _{n_{1},..,n_{12}}$\ $\dfrac{%

2740: \left( s\right) ^{n_{1}}\left( u\right) ^{n_{2}}\left( t\right) ^{n_{3}}}{%

2741: \Gamma (D/2+n_{1}+n_{2}+n_{3})}\dfrac{\tprod\nolimits_{j=1}^{10}\Delta _{j}}{%

2742: \Gamma (-n_{4}-n_{6})\Gamma (-n_{5}-n_{6})\Gamma (-n_{4}-n_{5})}.$}

2743: \end{equation}

2744: 

2745: \begin{equation*}

2746: A=\dfrac{(-1)^{-D}}{\tprod\nolimits_{j=1}^{6}\Gamma (\nu _{j})},

2747: \end{equation*}

2748: 

2749: \begin{equation*}

2750: \begin{array}{l}

2751: \left\{

2752: \begin{array}{l}

2753: \begin{array}{l}

2754: \Delta _{1}=\left\langle

2755: D/2+n_{1}+n_{2}+n_{3}+n_{4}+n_{5}+n_{6}\right\rangle , \\

2756: \Delta _{2}=\left\langle -n_{4}-n_{6}+n_{7}+n_{8}\right\rangle , \\

2757: \Delta _{3}=\left\langle -n_{5}-n_{6}+n_{9}+n_{10}\right\rangle , \\

2758: \Delta _{4}=\left\langle -n_{4}-n_{5}+n_{11}+n_{12}\right\rangle , \\

2759: \Delta _{5}=\left\langle \nu _{1}+n_{1}+n_{7}\right\rangle , \\

2760: \Delta _{6}=\left\langle \nu _{2}+n_{2}+n_{3}+n_{8}\right\rangle , \\

2761: \Delta _{7}=\left\langle \nu _{3}+n_{1}+n_{2}+n_{9}\right\rangle , \\

2762: \Delta _{8}=\left\langle \nu _{4}+n_{3}+n_{10}\right\rangle , \\

2763: \Delta _{9}=\left\langle \nu _{5}+n_{2}+n_{11}\right\rangle , \\

2764: \Delta _{10}=\left\langle \nu _{6}+n_{1}+n_{3}+n_{12}\right\rangle .%

2765: \end{array}%

2766: \end{array}%

2767: \right.%

2768: \end{array}%

2769: \end{equation*}%

2770: The sets of terms which contribute to the solution are shown as functions of

2771: the components $G_{i,j}$ and of the type of two-valued function that

2772: represents them:

2773: 

2774: \bigskip

2775: 

2776: \begin{itemize}

2777: \item[Set 1 :] $G_{1,2}+G_{1,12}+G_{2,8}+G_{8,12}\Longrightarrow F

2778: ^{\substack{ 2:1:1  \\ 1:1:1}}\left( \left.

2779: \begin{array}{cc}

2780: &

2781: \end{array}%

2782: \right\vert -\dfrac{u}{t},-\dfrac{s}{t}\right) $

2783: 

2784: \item[Set 2 :] $G_{2,3}+G_{2,9}+G_{3,12}+G_{9,12}\Longrightarrow F

2785: ^{\substack{ 2:1:1  \\ 1:1:1}}\left( \left.

2786: \begin{array}{cc}

2787: &

2788: \end{array}%

2789: \right\vert -\dfrac{u}{s},-\dfrac{t}{s}\right) $

2790: 

2791: \item[Set 3 :] $G_{1,3}+G_{1,9}+G_{3,8}+G_{8,9}\Longrightarrow F^{\substack{ %

2792: 2:1:1  \\ 1:1:1}}\left( \left.

2793: \begin{array}{cc}

2794: &

2795: \end{array}%

2796: \right\vert -\dfrac{s}{u},-\dfrac{t}{u}\right) $

2797: 

2798: \item[Set 4 :] $G_{1,11}+G_{8,11}\Longrightarrow \overline{F}^{\substack{ %

2799: 2:1:2  \\ 1:1:0}}\left( \left.

2800: \begin{array}{cc}

2801: &

2802: \end{array}%

2803: \right\vert -\dfrac{s}{t},\dfrac{t}{u}\right) $

2804: 

2805: \item[Set 5 :] $G_{3,11}+G_{9,11}\Longrightarrow \overline{F}^{\substack{ %

2806: 2:1:2  \\ 1:1:0}}\left( \left.

2807: \begin{array}{cc}

2808: &

2809: \end{array}%

2810: \right\vert -\dfrac{t}{s},\dfrac{s}{u}\right) $

2811: 

2812: \item[Set 6:] $G_{1,10}+G_{8,10}\Longrightarrow \overline{F}^{\substack{ %

2813: 2:1:2  \\ 1:1:0}}\left( \left.

2814: \begin{array}{cc}

2815: &

2816: \end{array}%

2817: \right\vert -\dfrac{s}{u},\dfrac{u}{t}\right) $

2818: 

2819: \item[Set 7 :] $G_{2,7}\Longrightarrow \overline{F}^{\substack{ 2:1:2  \\ %

2820: 1:1:0}}\left( \left.

2821: \begin{array}{cc}

2822: &

2823: \end{array}%

2824: \right\vert -\dfrac{u}{t},\dfrac{t}{s}\right) $

2825: 

2826: \item[Set 8 :] $G_{7,12}\Longrightarrow \overline{F}^{\substack{ 1:2:1  \\ %

2827: 2:0:1}}\left( \left.

2828: \begin{array}{cc}

2829: &

2830: \end{array}%

2831: \right\vert -\dfrac{t}{s},\dfrac{u}{t}\right) $

2832: 

2833: \item[Set 9 :] $G_{2,10}\Longrightarrow \overline{F}^{\substack{ 2:1:2  \\ %

2834: 1:1:0}}\left( \left.

2835: \begin{array}{cc}

2836: &

2837: \end{array}%

2838: \right\vert -\dfrac{u}{s},\dfrac{s}{t}\right) $

2839: 

2840: \item[Set 10 :] $G_{10,12}\Longrightarrow \overline{F}^{\substack{ 1:2:1  \\ %

2841: 2:0:1}}\left( \left.

2842: \begin{array}{cc}

2843: &

2844: \end{array}%

2845: \right\vert -\dfrac{s}{t},\dfrac{u}{s}\right) $

2846: 

2847: \item[Set 11 :] $G_{3,7}\Longrightarrow \overline{F}^{\substack{ 2:1:2  \\ %

2848: 1:1:0}}\left( \left.

2849: \begin{array}{cc}

2850: &

2851: \end{array}%

2852: \right\vert -\dfrac{t}{u},\dfrac{u}{s}\right) $

2853: 

2854: \item[Set 12 :] $G_{7,9}\Longrightarrow \overline{F}^{\substack{ 1:2:1  \\ %

2855: 2:0:1}}\left( \left.

2856: \begin{array}{cc}

2857: &

2858: \end{array}%

2859: \right\vert -\dfrac{u}{s},\dfrac{t}{u}\right) $

2860: 

2861: \item[Set 13 :] $G_{7,10}\Longrightarrow F^{\substack{ 1:2:2  \\ 2:0:0}}%

2862: \left( \left.

2863: \begin{array}{cc}

2864: &

2865: \end{array}%

2866: \right\vert -\dfrac{u}{t},-\dfrac{u}{s}\right) $

2867: 

2868: \item[Set 14 :] $G_{10,11}\Longrightarrow F^{\substack{ 1:2:2  \\ 2:0:0}}%

2869: \left( \left.

2870: \begin{array}{cc}

2871: &

2872: \end{array}%

2873: \right\vert -\dfrac{s}{t},-\dfrac{s}{u}\right) $

2874: 

2875: \item[Set 15 :] $G_{7,11}\Longrightarrow F^{\substack{ 1:2:2  \\ 2:0:0}}%

2876: \left( \left.

2877: \begin{array}{cc}

2878: &

2879: \end{array}%

2880: \right\vert -\dfrac{t}{s},-\dfrac{t}{u}\right) .$

2881: \end{itemize}

2882: 

2883: \bigskip

2884: 

2885: This example has been solved with the usual NDIM method in Ref. \cite{ASu10}%

2886: . Nevertheless, it is evident that doing it the way presented here the

2887: solutions are found more directly. They are of the type that corresponds to

2888: three different energy scales, that is two-variable series, although without

2889: generating a big number of contributions to the solution, neither redundant

2890: sums with unit argument in each one of them. Table III allows to visualize

2891: more precisely the improvement of our optimization, comparing the solutions

2892: obtained without any simplification and with the present method.

2893: 

2894: \begin{equation}

2895: \begin{tabular}{lll}

2896: \hline

2897: & Previous NDIM & New NDIM \\ \hline

2898: Possible solutions & \multicolumn{1}{c}{6435} & \multicolumn{1}{c}{66} \\

2899: Relevant solutions & \multicolumn{1}{c}{2916} & \multicolumn{1}{c}{27} \\

2900: Multiplicity$\text{ }\left( {\mu }\right) $ & \multicolumn{1}{c}{8} &

2901: \multicolumn{1}{c}{2} \\ \hline

2902: \end{tabular}

2903: \tag{Table III}

2904: \end{equation}

2905: 

2906: \subsection{Four-loop vertex}

2907: 

2908: \begin{figure}[th]

2909: \begin{center}

2910: \epsfig{file=fig14.eps,width=0.4\textwidth}

2911: \end{center}

2912: \caption{Labelled four-loop vertex diagram.}

2913: \end{figure}

2914: 

2915: \subsubsection{A case with three energy scales $\left(

2916: p_{1}^{2}=p_{2}^{2}=0\right) $ and $\left( m_{6}=m\text{, }m_{9}=M\right) $}

2917: 

2918: \begin{equation}

2919: G=\dfrac{(-1)^{-2D}}{\tprod\nolimits_{j=1}^{9}\Gamma (\nu _{j})}%

2920: \dint\limits_{0}^{\infty }d\overrightarrow{x}\;\frac{\exp \left(

2921: -x_{6}\left( -m^{2}\right) \right) \exp \left( -x_{9}\left( -M^{2}\right)

2922: \right) \exp \left( -F/U\right) }{U^{D/2}},

2923: \end{equation}

2924: 

2925: \begin{equation}

2926: \begin{array}{l}

2927: F=x_{1}x_{5}f_{2}f_{5}\;p^{2}, \\

2928: \\

2929: U=f_{1}f_{4}f_{6}+f_{1}f_{2}f_{5}+f_{5}f_{6},%

2930: \end{array}%

2931: \end{equation}%

2932: where the functions $f_{i}$ are given by:

2933: 

2934: \begin{equation}

2935: \begin{array}{l}

2936: f_{6}=x_{8}x_{9}+x_{5}f_{2}, \\

2937: f_{5}=x_{6}x_{7}+f_{3}f_{4}, \\

2938: f_{4}=x_{6}+x_{7}, \\

2939: f_{3}=x_{3}+x_{4}, \\

2940: f_{2}=x_{8}+x_{9}, \\

2941: f_{1}=x_{1}+x_{2}.%

2942: \end{array}%

2943: \end{equation}

2944: 

2945: \begin{equation}

2946: \fbox{$G=\dfrac{(-1)^{-2D}}{\tprod\nolimits_{j=1}^{9}\Gamma (\nu _{j})}%

2947: \dsum\limits_{n_{1},..,n_{18}}\phi _{n_{1},..,n_{18}}$\ $\dfrac{%

2948: (-m^{2})^{n_{1}}(-M^{2})^{n_{2}}(p^{2})^{n_{3}}}{\Gamma (\frac{D}{2}+n_{3})}$%

2949: \ $\Omega _{\left\{ n\right\} }\tprod\nolimits_{j=1}^{16}\Delta _{j}$},

2950: \end{equation}%

2951: where the factor $\Omega _{\left\{ n\right\} }$ is:

2952: 

2953: \begin{equation}

2954: \Omega _{\left\{ n\right\} }=\dfrac{1}{\Gamma (-n_{4}-n_{5})\Gamma

2955: (-n_{3}-n_{5}-n_{6})\Gamma (-n_{4}-n_{6})\Gamma (-n_{3}-n_{5}-n_{12})\Gamma

2956: (-n_{10})\Gamma (-n_{4}-n_{10})},

2957: \end{equation}

2958: 

2959: \begin{equation*}

2960: \begin{array}{l}

2961: \left\{

2962: \begin{array}{l}

2963: \begin{array}{l}

2964: \Delta _{1}=\left\langle D/2+n_{3}+n_{4}+n_{5}+n_{6}\right\rangle , \\

2965: \Delta _{2}=\left\langle -n_{4}-n_{5}+n_{7}+n_{8}\right\rangle , \\

2966: \Delta _{3}=\left\langle -n_{3}-n_{5}-n_{6}+n_{9}+n_{10}\right\rangle , \\

2967: \Delta _{4}=\left\langle -n_{4}-n_{6}+n_{11}+n_{12}\right\rangle , \\

2968: \Delta _{5}=\left\langle -n_{3}-n_{5}-n_{12}+n_{13}+n_{14}\right\rangle , \\

2969: \Delta _{6}=\left\langle -n_{10}+n_{15}+n_{16}\right\rangle , \\

2970: \Delta _{7}=\left\langle -n_{4}-n_{10}+n_{17}+n_{18}\right\rangle , \\

2971: \Delta _{8}=\left\langle \nu _{1}+n_{3}+n_{7}\right\rangle ,%

2972: \end{array}%

2973: \end{array}%

2974: \begin{array}{ll}

2975: & \Delta _{9}=\left\langle \nu _{2}+n_{8}\right\rangle , \\

2976: & \Delta _{10}=\left\langle \nu _{3}+n_{15}\right\rangle , \\

2977: & \Delta _{11}=\left\langle \nu _{4}+n_{16}\right\rangle , \\

2978: & \Delta _{12}=\left\langle \nu _{5}+n_{3}+n_{12}\right\rangle , \\

2979: & \Delta _{13}=\left\langle \nu _{6}+n_{1}+n_{9}+n_{17}\right\rangle , \\

2980: & \Delta _{14}=\left\langle \nu _{7}+n_{9}+n_{18}\right\rangle , \\

2981: & \Delta _{15}=\left\langle \nu _{8}+n_{11}+n_{13}\right\rangle , \\

2982: & \Delta _{16}=\left\langle \nu _{9}+n_{2}+n_{11}+n_{14}\right\rangle .%

2983: \end{array}%

2984: \right.%

2985: \end{array}%

2986: \end{equation*}

2987: 

2988: The sets of solutions are given by the following equations in terms of the

2989: contributions $G_{i,j}$.

2990: 

2991: \bigskip

2992: 

2993: \begin{itemize}

2994: \item[Set 1 :] $G_{1,2}+G_{1,5}+G_{1,13}+G_{2,4}+G_{2,18}+\left(

2995: G_{4,5}=0\right) +G_{4,13}+G_{5,18}+G_{13,18}\Longrightarrow F^{\substack{ %

2996: 3:3:2  \\ 2:3:2}}\left( \left.

2997: \begin{array}{cc}

2998: &

2999: \end{array}%

3000: \right\vert \dfrac{m^{2}}{p^{2}},-\dfrac{M^{2}}{p^{2}}\right) $

3001: 

3002: \item[Set 2 :] $G_{1,3}+G_{3,4}+G_{3,18}\Longrightarrow F^{\substack{ 3:3:2

3003: \\ 2:3:2}}\left( \left.

3004: \begin{array}{cc}

3005: &

3006: \end{array}%

3007: \right\vert \dfrac{m^{2}}{M^{2}},-\dfrac{p^{2}}{M^{2}}\right) $

3008: 

3009: \item[Set 3 :] $G_{2,3}+G_{3,5}+G_{3,13}\Longrightarrow F^{\substack{ 4:2:2

3010: \\ 3:2:2}}\left( \left.

3011: \begin{array}{cc}

3012: &

3013: \end{array}%

3014: \right\vert \dfrac{M^{2}}{m^{2}},\dfrac{p^{2}}{m^{2}}\right) $

3015: 

3016: \item[Set 4 :] $G_{7,9}+G_{9,12}\Longrightarrow F^{\substack{ 2:4:3  \\ %

3017: 3:2:1 }}\left( \left.

3018: \begin{array}{cc}

3019: &

3020: \end{array}%

3021: \right\vert \dfrac{M^{2}}{m^{2}},-\dfrac{M^{2}}{p^{2}}\right) $

3022: 

3023: \item[Set 5 :] $G_{7,11}+\left( G_{11,12}=0\right) \Longrightarrow F

3024: ^{\substack{ 3:3:3  \\ 4:1:1}}\left( \left.

3025: \begin{array}{cc}

3026: &

3027: \end{array}%

3028: \right\vert \dfrac{m^{2}}{M^{2}},\dfrac{m^{2}}{p^{2}}\right) $

3029: 

3030: \item[Set 6 :] $G_{9,11}\Longrightarrow F^{\substack{ 2:4:3  \\ 3:2:1}}%

3031: \left( \left.

3032: \begin{array}{cc}

3033: &

3034: \end{array}%

3035: \right\vert \dfrac{p^{2}}{m^{2}},-\dfrac{p^{2}}{M^{2}}\right) $

3036: 

3037: \item[Set 7 :] $G_{1,11}+G_{4,11}\Longrightarrow \overline{F}^{\substack{ %

3038: 3:3:3  \\ 2:3:1}}\left( \left.

3039: \begin{array}{cc}

3040: &

3041: \end{array}%

3042: \right\vert \dfrac{m^{2}}{p^{2}},\dfrac{p^{2}}{M^{2}}\right) $

3043: 

3044: \item[Set 8 :] $G_{11,18}\Longrightarrow \overline{F}^{\substack{ 2:3:3  \\ %

3045: 3:1:3}}\left( \left.

3046: \begin{array}{cc}

3047: &

3048: \end{array}%

3049: \right\vert -\dfrac{p^{2}}{M^{2}},-\dfrac{m^{2}}{p^{2}}\right) $

3050: 

3051: \item[Set 9 :] $G_{2,9}+G_{5,9}\Longrightarrow \overline{F}^{\substack{ %

3052: 3:2:4  \\ 2:2:2}}\left( \left.

3053: \begin{array}{cc}

3054: &

3055: \end{array}%

3056: \right\vert -\dfrac{M^{2}}{p^{2}},-\dfrac{p^{2}}{m^{2}}\right) $

3057: 

3058: \item[Set 10 :] $G_{9,13}\Longrightarrow \overline{F}^{\substack{ 2:4:2  \\ %

3059: 3:2:2}}\left( \left.

3060: \begin{array}{cc}

3061: &

3062: \end{array}%

3063: \right\vert \dfrac{p^{2}}{m^{2}},\dfrac{M^{2}}{p^{2}}\right) $

3064: 

3065: \item[Set 11 :] $G_{1,7}+G_{1,12}+G_{4,7}+G_{4,12}\Longrightarrow \overline{F%

3066: }^{\substack{ 3:3:3  \\ 2:3:1}}\left( \left.

3067: \begin{array}{cc}

3068: &

3069: \end{array}%

3070: \right\vert \dfrac{m^{2}}{M^{2}},\dfrac{M^{2}}{p^{2}}\right) $

3071: 

3072: \item[Set 12 :] $G_{7,18}+G_{12,18}\Longrightarrow \overline{F}^{\substack{ %

3073: 2:3:3  \\ 3:1:3}}\left( \left.

3074: \begin{array}{cc}

3075: &

3076: \end{array}%

3077: \right\vert -\dfrac{M^{2}}{p^{2}},-\dfrac{m^{2}}{M^{2}}\right) $

3078: 

3079: \item[Set 13 :] $G_{3,9}\Longrightarrow \overline{F}^{\substack{ 3:2:4  \\ %

3080: 2:2:2}}\left( \left.

3081: \begin{array}{cc}

3082: &

3083: \end{array}%

3084: \right\vert -\dfrac{p^{2}}{M^{2}},-\dfrac{M^{2}}{m^{2}}\right) $

3085: 

3086: \item[Set 14 :] $G_{2,7}+G_{2,12}+G_{5,7}+G_{5,12}\Longrightarrow \overline{F%

3087: }^{\substack{ 4:2:3  \\ 3:2:1}}\left( \left.

3088: \begin{array}{cc}

3089: &

3090: \end{array}%

3091: \right\vert \dfrac{M^{2}}{m^{2}},-\dfrac{m^{2}}{p^{2}}\right) $

3092: 

3093: \item[Set 15 :] $G_{7,13}+G_{12,13}\Longrightarrow \overline{F}^{\substack{ %

3094: 3:3:2  \\ 4:1:2}}\left( \left.

3095: \begin{array}{cc}

3096: &

3097: \end{array}%

3098: \right\vert \dfrac{m^{2}}{p^{2}},-\dfrac{M^{2}}{m^{2}}\right) $

3099: 

3100: \item[Set 16 :] $G_{3,11}\Longrightarrow \overline{F}^{\substack{ 4:2:3  \\ %

3101: 3:2:1}}\left( \left.

3102: \begin{array}{cc}

3103: &

3104: \end{array}%

3105: \right\vert \dfrac{p^{2}}{m^{2}},-\dfrac{m^{2}}{M^{2}}\right) .$

3106: \end{itemize}

3107: 

3108: In this example the fact that $\left( M^{2}>m^{2}\right) $ or viceversa

3109: leaves out automatically sets of solutions, since only one of these

3110: conditions can appear in the same topology.

3111: 

3112: \section{Conclusions}

3113: 

3114: \qquad The integration method here presented is a powerful tool for solving

3115: Feynman integrals with arbitrary exponents in the propagators. Its main

3116: characteristics resides in its simplicity in finding the solution of

3117: diagrams, even in the evaluation of $L$-loop diagrams. This technique, which

3118: can be more appropriately called Integration by Fractional Expansion, is

3119: clearly an important competitor to other Feynman diagram evaluation methods.

3120: In spite of its generality, we have found that the technique is adequately

3121: applicable to certain types of graphs, obtaining solutions which we call

3122: optimal, in the sense that they are algebraically manageable, and whose

3123: complexity does not depend on the number of loops $L$ of the diagram.

3124: Although this method can be applied to any diagram, the complexity of the

3125: solutions in the more general cases has a high dependence on $L$, which

3126: implies a large number of terms as well as a high multiplicity $\mu $ of the

3127: resulting series expansions, which makes the analysis of the solution highly

3128: non trivial. Imposing to evaluate only topologies whose solutions can be

3129: represented as series in which the variables are expressed as ratios between

3130: the different energy scales of the diagram, determines that the multiplicity

3131: of each of them fulfills the relation $\mu =\left( n-1\right) $, where $n$

3132: is the number of different energy scales in the diagram. This is the

3133: restriction that allowed us to find that the method here proposed is

3134: applicable in a natural way to certain $L$-loop class of diagrams, which in

3135: the massless case happen to be solvable loop by loop. Using this condition

3136: it becomes possible, depending on the number of energy scales present in

3137: this class of topologies, obtain solutions as expansions in multivalued

3138: series. Nevertheless, we have considered adequate to evaluate topologies

3139: whose solutions could be expressed at most in terms of two-variable series,

3140: because hypergeometric series of this type have been amply treated in the

3141: literature. The advantages of this integration method can be summarized in

3142: the following:

3143: 

3144: \begin{itemize}

3145: \item For the family of $L$ loop graphs, reducible recursively loop by loop,

3146: the application of the technique makes possible to find the solution

3147: considering all loops simultaneously, through its Schwinger parametric

3148: representation.

3149: 

3150: \item The integration method allows to extend in a simple manner the

3151: solutions to cases in which different mass scales are considered in the

3152: graph.

3153: 

3154: \item It is possible to apply the integration method to certain three and

3155: four external line topologies, and generalize it to $L$ loops making

3156: one-loop insertions in the propagators. In general the application of this

3157: technique can be extended to more external lines, but the solutions are

3158: series with $\mu >2$, and therefore have not been considered in this work.

3159: 

3160: \item Independently of the number of loops, in topologies of the loop by

3161: loop reducible type, the multiplicity $\mu $ of the hypergeometric series

3162: solution does not have any dependence on the number of loops $L$, and only

3163: depends on the number of different energy scales that characterize the

3164: graph. For topologies that are not in the class reducible loop by loop,

3165: except for the special cases described previously, the multiplicity grows

3166: when $L$ increases. This fact makes this type of topologies not optimal for

3167: the application of the method, because the complexity of the solutions grows

3168: very quickly with $L$. We can estimate this growth in terms of the

3169: contributions that the solution contains, using the following expression:

3170: \end{itemize}

3171: 

3172: \bigskip

3173: 

3174: \begin{equation*}

3175: \text{Number of contributions of the solution}\sim \frac{\left( \mu

3176: (L)+\delta \right) !}{\delta !\left( \mu (L)\right) !}.

3177: \end{equation*}

3178: 

3179: \bigskip

3180: 

3181: A significant fact is that the method allows to easily add masses to any

3182: type of topologies. In general for generic diagrams we have been able to

3183: conclude that:

3184: 

3185: \begin{itemize}

3186: \item If we add $M$ different mass scales, the multiplicity of the series

3187: expressions that are part of the solution grows in $M$ units.

3188: 

3189: \item In most cases if we add masses to propagators belonging to $l$

3190: different loops, the masses have to be considered different, even if they

3191: have the same value, and the multiplicity increases in $l$ units.

3192: 

3193: \item The conjunction of the previous premises implies that if one

3194: associates $M$ equal masses to the propagators of a loop, the multiplicity

3195: of the series solution only increases in one unit.

3196: \end{itemize}

3197: 

3198: \newpage

3199: 

3200: \appendix

3201: 

3202: \section{Mathematical formalism of NDIM}

3203: 

3204: \qquad In section $\left( 2.2\right) $ the technique was introduced, and

3205: also its origins starting from the identity associated to the loop integral

3206: parametrization and known as Schwinger's parametrization:

3207: 

3208: \begin{equation}

3209: \frac{1}{A^{\beta }}=\frac{1}{\Gamma (\beta )}\dint\limits_{0}^{\infty

3210: }dx\;x^{\beta -1}\exp (-Ax),  \label{f1}

3211: \end{equation}%

3212: and furthermore the equivalence between the integral symbol and a delta

3213: Kronecker $\left( \ref{f28}\right)$ was shown starting from the equation $%

3214: \left( \ref{f1}\right)$:

3215: 

3216: \begin{equation}

3217: \dint dx\;x^{\beta +n-1}\equiv \Gamma \left( \beta \right) \dfrac{\Gamma

3218: \left( n+1\right) }{\left( -1\right) ^{n}}\;\delta _{\beta +n,0}.  \label{f2}

3219: \end{equation}%

3220: For simplicity we have eliminated the limits of the integral, since this

3221: identity has validity only in the context of the expansion of the integrand

3222: in $\left( \ref{f1}\right) $. This expression is crucial for the development

3223: of the method NDIM, since in the evaluation of Feynman diagrams the

3224: corresponding Schwinger parametric representation is a generalized structure

3225: of the expression $\left( \ref{f1}\right) $.

3226: 

3227: \subsection{Some properties}

3228: 

3229: \qquad In order to study some of the properties of $\left( \ref{f2}\right) $%

3230: , it is convenient to introduce a useful notation for helping us to

3231: formalize the mechanism of the technique NDIM. Thus:

3232: 

3233: \begin{equation}

3234: \int dx\;x^{\nu _{1}+\nu _{2}-1}\equiv \left\langle \nu _{1}+\nu

3235: _{2}\right\rangle ,  \label{f4}

3236: \end{equation}%

3237: where $\nu _{1}$ and $\nu _{2}$ are indexes that can assume arbitrary values.

3238: 

3239: \subsubsection{Property l. Commutativity of indexes}

3240: 

3241: \qquad We can write $\left( \ref{f4}\right) $ explicitly in two possible

3242: forms, according to formula $\left( \ref{f2}\right) $, and then:

3243: 

3244: \begin{equation}

3245: \begin{array}{cc}

3246: \left\langle \nu _{1}+\nu _{2}\right\rangle = & \left\{

3247: \begin{array}{c}

3248: \Gamma \left( \nu _{1}\right) \dfrac{\Gamma \left( \nu _{2}+1\right) }{%

3249: \left( -1\right) ^{\nu _{2}}}\;\delta _{\nu _{1}+\nu _{2},0}, \\

3250: \\

3251: \Gamma \left( \nu _{2}\right) \dfrac{\Gamma \left( \nu _{1}+1\right) }{%

3252: \left( -1\right) ^{\nu _{1}}}\;\delta _{\nu _{1}+\nu _{2},0}.%

3253: \end{array}%

3254: \right.%

3255: \end{array}

3256: \label{f10}

3257: \end{equation}%

3258: Starting from $\left( \ref{f1}\right) $ it is possible to show the

3259: equivalence of both forms in $\left( \ref{f10}\right) $, and for this

3260: purpose it is enough to expand the exponential of the integrand and replace $%

3261: \left\langle \cdot \right\rangle $ for this case.

3262: 

3263: Let us consider the following integral representation:

3264: 

3265: \begin{equation}

3266: \frac{1}{A^{\nu _{1}}}=\frac{1}{\Gamma \left( \nu _{1}\right) }%

3267: \dint\limits_{0}^{\infty }dx\;x^{\nu _{1}-1}\exp \left( -Ax\right) ,

3268: \label{f5}

3269: \end{equation}%

3270: which in terms of series, in the sense proposed $\left( \ref{f4}\right) $,

3271: turns out to be:

3272: 

3273: \begin{equation}

3274: \frac{1}{A^{\nu _{1}}}=\frac{1}{\Gamma \left( \nu _{1}\right) }%

3275: \dsum\limits_{\nu _{2}}\frac{\left( -1\right) ^{\nu _{2}}}{\Gamma \left( \nu

3276: _{2}+1\right) }A^{\nu _{2}}\left\langle \nu _{1}+\nu _{2}\right\rangle .

3277: \end{equation}%

3278: Selecting now $\left\langle \nu _{1}+\nu _{2}\right\rangle =\dfrac{\Gamma

3279: \left( \nu _{1}\right) \Gamma \left( \nu _{2}+1\right) }{\left( -1\right)

3280: ^{\nu _{2}}}\;\delta _{\nu _{1}+\nu _{2},0}$, we directly obtain the

3281: equality in $\left( \ref{f5}\right) $. Analogously selecting $\left\langle

3282: \nu _{1}+\nu _{2}\right\rangle =\dfrac{\Gamma \left( \nu _{2}\right) \Gamma

3283: \left( \nu _{1}+1\right) }{\left( -1\right) ^{\nu _{1}}}\;\delta _{\nu

3284: _{1}+\nu _{2},0}$ and using afterwards the identity:

3285: 

3286: \begin{equation}

3287: \dfrac{\Gamma \left( y\right) }{\Gamma \left( y-z\right) }=\left( -1\right)

3288: ^{-z}\dfrac{\Gamma \left( 1+z-y\right) }{\Gamma \left( 1-y\right) },

3289: \end{equation}%

3290: with $y=\nu _{1}$ and $z=2\nu _{1}$, the equality $\left( \ref{f5}\right) $

3291: is obtained once again, and therefore the equivalence between both forms of

3292: writing $\left\langle \nu _{1}+\nu _{2}\right\rangle $ is quickly

3293: established.

3294: 

3295: Another form of writing $\left( \ref{f4}\right) $, which is quite useful for

3296: simplifying terms that contain the factor:

3297: 

3298: \begin{equation}

3299: \frac{1}{\Gamma (m+1)},

3300: \end{equation}%

3301: where $m$ is an arbitrary index, is the following:

3302: 

3303: \begin{equation}

3304: \left\langle \nu _{1}+\nu _{2}\right\rangle =\left\langle \nu _{1}+\nu

3305: _{2}-m+m\right\rangle =\left\langle -m+m\right\rangle =\Gamma (-m)\frac{%

3306: \Gamma (m+1)}{(-1)^{m}}\;\delta _{\nu _{1}+\nu _{2},0}.

3307: \end{equation}%

3308: Notice that we have made explicit use of the Kronecker delta in order to

3309: simplify the parenthesis $\left\langle \cdot \right\rangle $, and since this

3310: is in the context of expansions, the Kronecker delta remains as an

3311: indication of the constraints between the indexes $\nu _{1}$ and $\nu _{2}$.

3312: 

3313: \subsubsection{Property ll. Multiregion Expansion (MRE)}

3314: 

3315: \qquad Consider the binomial expression:

3316: 

3317: \begin{equation}

3318: \left( A_{1}+A_{2}\right) ^{\pm \nu },  \label{f13}

3319: \end{equation}%

3320: where the quantities $A_{1}$,$A_{2}$ and $\nu $, can take arbitrary values.

3321: In this case there are two limits or possible regions with respect to the

3322: expansion: the region where $\left( A_{1}>A_{2}\right) $ and the region

3323: where $\left( A_{1}<A_{2}\right) $. These expansions are respectively:

3324: 

3325: \begin{enumerate}

3326: \item Region $\left( A_{1}>A_{2}\right) $

3327: \end{enumerate}

3328: 

3329: \begin{equation}

3330: \left( A_{1}+A_{2}\right) ^{\pm \nu }=A_{1}^{\pm \nu

3331: }\dsum\limits_{n=0}^{\infty }\dfrac{\left( \mp \nu \right) _{n}}{\Gamma (n+1)%

3332: }\left( -\dfrac{A_{2}}{A_{1}}\right) ^{n}.  \label{f15}

3333: \end{equation}

3334: 

3335: \begin{enumerate}

3336: \item[2.] Region $\left( A_{1}<A_{2}\right) $

3337: \end{enumerate}

3338: 

3339: \begin{equation}

3340: \left( A_{1}+A_{2}\right) ^{\pm \nu }=A_{2}^{\pm \nu

3341: }\dsum\limits_{n=0}^{\infty }\dfrac{\left( \mp \nu \right) _{n}}{\Gamma (n+1)%

3342: }\left( -\dfrac{A_{1}}{A_{2}}\right) ^{n}.  \label{f14}

3343: \end{equation}%

3344: %

3345: %

3346: %

3347: %

3348: %

3349: %

3350: %

3351: %

3352: %

3353: %

3354: %

3355: %

3356: %

3357: %

3358: %

3359: %

3360: %

3361: %

3362: %

3363: %

3364: %

3365: %

3366: %

3367: %

3368: %

3369: %

3370: %

3371: %

3372: %

3373: %

3374: %

3375: %

3376: %

3377: %

3378: %

3379: %

3380: %

3381: %

3382: %

3383: %

3384: %

3385: %

3386: %

3387: %

3388: %

3389: %

3390: %

3391: %

3392: %

3393: %

3394: %

3395: %

3396: %

3397: %

3398: %

3399: %

3400: %

3401: %

3402: %

3403: %

3404: %

3405: %

3406: %

3407: %

3408: %

3409: %

3410: %

3411: %

3412: %

3413: %

3414: %

3415: %

3416: %

3417: %

3418: %

3419: %

3420: %

3421: %

3422: %

3423: %

3424: %

3425: %

3426: %

3427: %

3428: %

3429: %

3430: %E

3431: The factor $(\nu )_{n}$ is called Pochhammer symbol and is defined as:

3432: 

3433: \begin{equation}

3434: (\nu )_{n}=\dfrac{\Gamma \left( \nu +n\right) }{\Gamma \left( \nu \right) }.

3435: \end{equation}%

3436: We have thus obtained separate expansions in the two possible limits.

3437: Nevertheless, it is possible to express both results using a single series

3438: that contains both limiting regions. In this sense we can say that this type

3439: of expansion corresponds to a multiregion series representation of the

3440: binomial $\left( \ref{f13}\right) $, through the use of the integral

3441: representation of the denominator indicated in $\left( \ref{f1}\right) $.

3442: Then we have:

3443: 

3444: \begin{equation}

3445: \left( A_{1}+A_{2}\right) ^{\pm \nu }=\frac{1}{\Gamma (\mp \nu )}%

3446: \int\limits_{0}^{\infty }dx\;x^{\mp \nu -1}\exp (-xA_{1})\exp (-xA_{2}),

3447: \end{equation}%

3448: and the exponentials are expanded separately, with the result:

3449: 

3450: \begin{equation}

3451: \left( A_{1}+A_{2}\right) ^{\pm \nu }=\frac{1}{\Gamma (\mp \nu )}%

3452: \dsum\limits_{n_{1}}\dsum\limits_{n_{2}}\frac{(-1)^{n_{1}+n_{2}}}{\Gamma

3453: (n_{1}+1)\Gamma (n_{2}+1)}A_{1}^{n_{1}}A_{2}^{n_{2}}\int dx\;x^{\mp \nu

3454: +n_{1}+n_{2}-1}.

3455: \end{equation}%

3456: Making use of the identity $\left( \ref{f4}\right) $ we get the multiregion

3457: binomial expansion:

3458: 

3459: \begin{equation}

3460: \left( A_{1}+A_{2}\right) ^{\pm \nu }=\frac{1}{\Gamma (\mp \nu )}%

3461: \dsum\limits_{n_{1}}\dsum\limits_{n_{2}}\dfrac{(-1)^{n_{1}+n_{2}}}{\Gamma

3462: (n_{1}+1)\Gamma (n_{2}+1)}A_{1}^{n_{1}}A_{2}^{n_{2}}\left\langle \mp \nu

3463: +n_{1}+n_{2}\right\rangle ,  \label{f8}

3464: \end{equation}%

3465: where the parenthesis $\left\langle \cdot \right\rangle $, according to

3466: property $\left( \ref{f10}\right) $, can be expressed this time in three

3467: different ways, although in each one of them we will have the same Kronecker

3468: delta which eliminates one of the two sums that are present:%

3469: \begin{equation}

3470: \begin{array}{cc}

3471: \left\langle \mp \nu +n_{1}+n_{2}\right\rangle = & \left\{

3472: \begin{array}{l}

3473: \Gamma \left( \mp \nu +n_{1}\right) \dfrac{\Gamma \left( n_{2}+1\right) }{%

3474: \left( -1\right) ^{n_{2}}}\;\delta _{\mp \nu +n_{1}+n_{2},0}, \\

3475: \\

3476: \Gamma \left( \mp \nu +n_{2}\right) \dfrac{\Gamma \left( n_{1}+1\right) }{%

3477: \left( -1\right) ^{n_{1}}}\;\delta _{\mp \nu +n_{1}+n_{2},0}, \\

3478: \\

3479: \Gamma \left( n_{2}+n_{1}\right) \dfrac{\Gamma \left( \mp \nu +1\right) }{%

3480: \left( -1\right) ^{\mp \nu }}\;\delta _{\mp \nu +n_{1}+n_{2},0}.%

3481: \end{array}%

3482: \right.%

3483: \end{array}%

3484: \end{equation}%

3485: On the other hand, the number of possible forms of summing $\left( \ref{f8}%

3486: \right) $ using for this purpose the Kronecker delta, can be found

3487: evaluating the combinatorics $C_{Deltas}^{Sums}$, which in this case is $%

3488: C_{1}^{2}=2$. Let us see what happens if one sums with respect to a

3489: particular index:

3490: 

3491: \begin{enumerate}

3492: \item \textbf{Sum respect to} $n_{2}$

3493: \end{enumerate}

3494: 

3495: Using for this case the following equality:

3496: 

3497: \begin{equation}

3498: \left\langle \mp \nu +n_{1}+n_{2}\right\rangle =\Gamma \left( \mp \nu

3499: +n_{1}\right) \dfrac{\Gamma \left( n_{2}+1\right) }{\left( -1\right) ^{n_{2}}%

3500: }\;\delta _{\mp \nu +n_{1}+n_{2},0},

3501: \end{equation}%

3502: and then replacing in $\left( \ref{f8}\right) $, we get:

3503: 

3504: \begin{equation}

3505: \left( A_{1}+A_{2}\right) ^{\pm \nu }=\frac{1}{\Gamma (\mp \nu )}%

3506: \dsum\limits_{n_{1}}(-1)^{n_{1}}\dfrac{\Gamma \left( \mp \nu +n_{1}\right) }{%

3507: \Gamma (n_{1}+1)}A_{1}^{n_{1}}A_{2}^{\pm \nu -n_{1}},

3508: \end{equation}%

3509: or equivalently:

3510: 

3511: \begin{equation}

3512: \left( A_{1}+A_{2}\right) ^{\pm \nu }=A_{2}^{\pm \nu

3513: }\dsum\limits_{n_{1}=0}^{\infty }\dfrac{\left( \mp \nu \right) _{n_{1}}}{%

3514: \Gamma (n_{1}+1)}\left( -\frac{A_{1}}{A_{2}}\right) ^{n_{1}},

3515: \end{equation}%

3516: which gives the expression associated to the region $\left(

3517: A_{1}<A_{2}\right) $, obtained previously in $\left( \ref{f14}\right) $.

3518: 

3519: \begin{enumerate}

3520: \item[2.] \textbf{Sum respect to} $n_{1}$

3521: \end{enumerate}

3522: 

3523: Analogously, we now use the identity:

3524: 

3525: \begin{equation}

3526: \left\langle \mp \nu +n_{1}+n_{2}\right\rangle =\Gamma \left( \mp \nu

3527: +n_{2}\right) \dfrac{\Gamma (n_{1}+1)}{\left( -1\right) ^{n_{1}}}\;\delta

3528: _{\mp \nu +n_{1}+n_{2},0},

3529: \end{equation}%

3530: and replacing in $\left( \ref{f8}\right) $, one gets:

3531: 

3532: \begin{equation}

3533: \left( A_{1}+A_{2}\right) ^{\pm \nu }=A_{1}^{\pm \nu

3534: }\dsum\limits_{n_{2}=0}^{\infty }\frac{\left( \mp \nu \right) _{n_{2}}}{%

3535: \Gamma (n_{2}+1)}\left( -\frac{A_{2}}{A_{1}}\right) ^{n_{2}},

3536: \end{equation}%

3537: an expression that was already found in $\left( \ref{f15}\right) $, and

3538: valid in the region $\left( A_{1}>A_{2}\right) $.

3539: 

3540: The fundamental idea that has been exposed in the previous demonstration is

3541: that using the definition $\left( \ref{f2}\right) $ one can do a binomial

3542: expansion that differs from the conventional expansion, in the sense that

3543: one obtains an expression where all the possible limits of the binomial are

3544: included simultaneously.

3545: 

3546: \subsection{Multiregion expansion of a multinomial}

3547: 

3548: \qquad The previous discussion can be generalized to the multiregion

3549: expansion of a multinomial of $n_{l}$ terms:

3550: 

3551: \begin{equation}

3552: \left( A_{1}+...+A_{l}\right) ^{\pm \nu

3553: }=\dsum\limits_{n_{1}}...\dsum\limits_{n_{l}}\phi

3554: _{n_{1},..,n_{l}}\;A_{1}^{n_{1}}...A_{l}^{n_{l}}\frac{\left\langle \mp \nu

3555: +n_{1}+...+n_{l}\right\rangle }{\Gamma (\mp \nu )},  \label{f9}

3556: \end{equation}%

3557: where for simplicity we have defined the following notation:

3558: 

3559: \begin{equation}

3560: \phi _{n_{1},..,n_{l}}=(-1)^{n_{1}+...+n_{l}}\;\frac{1}{\Gamma

3561: (n_{1}+1)..\Gamma (n_{l}+1)}.

3562: \end{equation}%

3563: The number of expansions that can be obtained starting from $\left( \ref{f9}%

3564: \right) $ is given at most by all the possible forms of evaluating some of

3565: the sums, using for this the Kronecker delta generated by the same

3566: expansion, that is $C_{1}^{n_{l}}=n_{l}$ possible forms. More generally, a

3567: function expressed as a multiregion expansion through $\sigma $ sums and $%

3568: \delta $ Kronecker deltas, can be evaluated at most in:

3569: 

3570: \begin{equation}

3571: C_{\delta }^{\sigma }=\dfrac{\sigma !}{\delta !(\sigma -\delta )!}

3572: \end{equation}%

3573: possible forms, each one of them expressed in terms of series of

3574: multiplicity $\mu =\left( \sigma -\delta \right) $. All the resulting series

3575: are representations with respect to the ratios between the terms of the

3576: multinomial, and all of them correspond to multivariable generalizations of

3577: the hypergeometric function.

3578: 

3579: \section{Negative dimension $D$ ?}

3580: 

3581: \qquad The original name of the integration method here presented, NDIM

3582: (Negative Dimension Integration Method), comes from applying the expansion

3583: and subsequent association, integral$\Leftrightarrow $Kronecker delta, over

3584: the gaussian integral in $D$ dimensions:

3585: 

3586: \begin{equation}

3587: \dint \frac{d^{D}k}{i\pi ^{\frac{D}{2}}}\;\exp (\alpha k^{2}),  \label{f36}

3588: \end{equation}%

3589: where $k$ corresponds to a 4-momentum and $\alpha $ is an arbitrary

3590: parameter. This is a typical integral that appears upon using Schwinger's

3591: parametrization and after using the completion of squares procedure of the

3592: loop momenta. Starting from this equation it is possible to deduce in a

3593: similar way to equation $\left( \ref{f28}\right) $ the following identity

3594: \cite{IRi}:

3595: 

3596: \begin{equation}

3597: \dint \frac{d^{D}k}{i\pi ^{\frac{D}{2}}}\;(k^{2})^{n}=n!\;\delta _{n+\frac{D%

3598: }{2},0}.  \label{f29}

3599: \end{equation}%

3600: Since this is in fact a Taylor expansion, we assume that $n\geq 0$, and

3601: therefore the constraint associated to the Kronecker delta in $\left( \ref%

3602: {f29}\right) $\ requires that $\frac{D}{2}\leq 0$, that is, la dimension has

3603: to be negative, which is then the origin of the name of this integration

3604: technique. Nevertheless, there can appear reasonable doubts with respect to

3605: some concepts that the NDIM uses in its original approach.

3606: 

3607: It is entirely possible for $D$ to be a negative integer considering that

3608: the Feynman integrals are analytic functions in $D$ arbitrary dimensions,

3609: but rigorously what is wanted is to solve the loop integrals in the limit $%

3610: D\rightarrow +4$ and not in the limit $D\rightarrow -4$. The inconsistency

3611: is even more clear if the dimensional regularization prescription is used,

3612: and the dimension $D$ now includes a non integer piece, the dimensional

3613: regulator $\epsilon $, which cannot be associated to the sum index $n$ in $%

3614: \left( \ref{f29}\right) $.

3615: 

3616: Such inconsistencies could be resolved if the expansion of the exponential

3617: could be written as:

3618: 

3619: \begin{equation}

3620: \begin{array}{ccc}

3621: \exp (x)=\lim\limits_{\xi \rightarrow 0}\dsum\limits_{m=-\infty +\xi

3622: }^{\infty +\xi }\dfrac{x^{m}}{\Gamma (m+1)} &  & \text{such that }\left.

3623: \dfrac{d^{m}\exp (x)}{dx^{m}}\right\vert _{x=0}=1,%

3624: \end{array}

3625: \label{f45}

3626: \end{equation}%

3627: where $\left\vert \xi \right\vert <1$ and $m$ is an index that increases in

3628: one unit steps. Such an expansion is possible, but for this purpose it is

3629: necessary to resort to the area of calculus called Fractional Calculus \cite%

3630: {RHi, KMi, KOl}, through which it can be shown that both the derivative and

3631: the integration operators can be represented in terms of a unique operator,

3632: and in second term shows that the analytical continuation in the operator

3633: order can in fact be done, and can be fractional and even complex. This is

3634: very useful in order to justify the validity of the NDIM integration

3635: technique, and therefore it is necessary to review some concepts for

3636: understanding this type of calculus.

3637: 

3638: \subsection{Preliminaries : The fractional expansion of the exponential

3639: function.}

3640: 

3641: \qquad We are interested in knowing the nature of the expansion that is

3642: performed in the exponential function in $\left( \ref{f36}\right) $, since

3643: due to the arguments mentioned before it should not really correspond to a

3644: Taylor expansion.

3645: 

3646: In order to provide a more rigorous basis for equation $\left( \ref{f45}%

3647: \right) $, it becomes necessary to define the integration and derivative

3648: operators in a generalized form. In fractional calculus is possible to

3649: define the fractional integral of order $\alpha $ as follows:

3650: 

3651: \begin{equation}

3652: \;_{c}D_{x}^{-\alpha }f(x)=\frac{1}{\Gamma (\alpha )}\int\limits_{c}^{x}dt\;

3653: \frac{f(t)}{(x-t)^{1-\alpha }},  \label{f30}

3654: \end{equation}%

3655: where $c\in

3656: %TCIMACRO{\U{211d} }%

3657: %BeginExpansion

3658: \mathbb{R}

3659: %EndExpansion

3660: $ and $\alpha $ is an arbitrary quantity. For the particular case in which $%

3661: c=0 $ in $\left( \ref{f30}\right) $, we get the so called Riemann-Liouville

3662: fractional integral:

3663: 

3664: \begin{equation}

3665: \;_{0}D_{x}^{-\alpha }f(x)=\frac{1}{\Gamma (\alpha )}\int\limits_{0}^{x}dt\;%

3666: \frac{f(t)}{(x-t)^{1-\alpha }}.

3667: \end{equation}%

3668: Another version of the fractional integral can be obtained making $c=-\infty

3669: $, which is called Liouville fractional integral:

3670: 

3671: \begin{equation}

3672: \;_{-\infty }D_{x}^{-\alpha }f(x)=\frac{1}{\Gamma (\alpha )}%

3673: \int\limits_{-\infty }^{x}dt\;\frac{f(t)}{(x-t)^{1-\alpha }}.  \label{f32}

3674: \end{equation}%

3675: This last version of the fractional integral will be used in this work in

3676: order to justify more rigorously the integration method of Feynman diagrams

3677: here presented. Certainly this would be incomplete if we do not define also

3678: the fractional derivative (in the Liouville version). For an order $\alpha $

3679: which fulfills that $(m-1)<\alpha \leq m$, with $m\in

3680: %TCIMACRO{\U{2115} }%

3681: %BeginExpansion

3682: \mathbb{N}

3683: %EndExpansion

3684: $, the fractional derivative is defined by the expression $_{-\infty

3685: }D_{x}^{\alpha }f(x)=\dfrac{d^{m}}{dx^{m}}\;\left[ _{-\infty

3686: }D_{x}^{m-\alpha }f(x)\right] $, or in operational terms:

3687: 

3688: \begin{equation}

3689: _{-\infty }D_{x}^{\alpha }f(x)=\left\{

3690: \begin{array}{ll}

3691: \dfrac{1}{\Gamma (m-\alpha )}\dfrac{d^{m}}{dx^{m}}\dint\limits_{-\infty

3692: }^{x}dt\;\dfrac{f(t)}{(x-t)^{1+\alpha -m}} & ,\;(m-1)<\alpha <m, \\

3693: &  \\

3694: \dfrac{d^{m}}{dx^{m}}f(x) & ,\;\alpha =m.%

3695: \end{array}%

3696: \right.  \label{f33}

3697: \end{equation}%

3698: We are particularly interested in the Liouville integro-differential

3699: operator, so for simplifying the notation let us define $_{-\infty

3700: }D_{x}^{\alpha }=D_{x}^{\alpha }$, where we can have $\left( \alpha

3701: <0\right) $, which is an integral, or $\left( \alpha >0\right) $, a

3702: derivative.

3703: 

3704: A property that makes this version of the fractional operator particularly

3705: interesting is the effect that it has over the exponential function, and

3706: which in practice is an extension of what is done by integrals and

3707: derivatives of integer order (conventional calculus) over this function:

3708: 

3709: \begin{equation}

3710: D_{x}^{\alpha }\left[ \exp (\beta x)\right] =\left\{

3711: \begin{array}{l}

3712: \beta ^{-\alpha }\exp (\beta x) \\

3713: \\

3714: \beta ^{\alpha }\exp (\beta x)%

3715: \end{array}%

3716: \right.

3717: \begin{array}{l}

3718: \alpha <0\;\text{(integration of order }\alpha \text{),} \\

3719: \\

3720: \alpha >0\;\text{(derivation of order }\alpha \text{).}%

3721: \end{array}

3722: \label{f44}

3723: \end{equation}%

3724: This expression can be easily proved using the equations $\left( \ref{f32}%

3725: \right) $ and $\left( \ref{f33}\right) $.

3726: 

3727: \subsection{Taylor and Taylor-Riemann series. The fractional expansion of

3728: diagram $G$}

3729: 

3730: \qquad Particular interest has the series representation of the exponential

3731: function, since it is the only function over which the expansions in the

3732: Schwinger parameter integral are done, either because it appears explicitly

3733: in the integrand, or because it is used implicitly in order to do the

3734: multiregion expansions of the multinomials present in the problem. When the

3735: expansions in the integral of the parametric integral are done, we

3736: automatically assume that this is a Taylor series. Nevertheless, what is

3737: really done implicitly is a Taylor-Riemann expansion of the exponential,

3738: which reads:

3739: 

3740: \begin{equation}

3741: \exp (x)=\dsum\limits_{n=-\infty }^{\infty }\left. D_{x}^{n+\xi }\left[ \exp

3742: (x)\right] \right\vert _{x=0}\dfrac{x^{n+\xi }}{\Gamma (n+\xi +1)}.

3743: \end{equation}%

3744: The parameter $\ \xi $ is arbitrary and fulfills the condition $0\leq

3745: \left\vert \xi \right\vert <1$. Notice that taking $\xi \rightarrow 0$ the

3746: Taylor series for the exponential is obtained. Moreover, since $\left.

3747: D_{x}^{n+\xi }\left[ \exp (x)\right] \right\vert _{x=0}=1$, according to

3748: formula $\left( \ref{f44}\right) $, one gets:

3749: 

3750: \begin{equation}

3751: \exp (x)=\dsum\limits_{n=-\infty }^{\infty }\dfrac{x^{n+\xi }}{\Gamma (n+\xi

3752: +1)}.

3753: \end{equation}%

3754: If we make now the change of variables $m=n+\xi $, we can rewrite the

3755: previous expansion as:

3756: 

3757: \begin{equation}

3758: \exp (x)=\sum\limits_{m=-\infty +\xi }^{\infty +\xi }\dfrac{x^{m}}{\Gamma

3759: (m+1)},  \label{f31}

3760: \end{equation}%

3761: which looks like the conventional Taylor series expansion of the

3762: exponential, with the difference that the index of the sum has been

3763: analytically continued to negative and fractional values. This justifies

3764: that both $D$ and the propagator powers $\left\{ \nu _{1},...,\nu

3765: _{N}\right\} $ do not change its nature due to some analytical continuation

3766: required by the Kronecker deltas generated in the process, but rather are

3767: the expansion indexes the ones that can acquire arbitrary values, including

3768: negative and fractional. But moreover it justifies the presence of Gamma

3769: functions in the multiregion expansion of the diagram, both in the numerator

3770: and denominator, which having the form $\Gamma (-n)$, where $n$ is an index

3771: associated to a sum, give a multiregion expansion not necessarily infinite

3772: or vanishing.

3773: 

3774: After having said that, it is still necessary to justify what refers to the

3775: integration method, since they correspond to hypergeometric series whose

3776: summation indexes are positive integers. This can be explained by saying

3777: that for applying the integration method NDIM an analytical continuation of

3778: the summation indexes has to be done, or equivalently the exponentials are

3779: expanded in Taylor-Riemann series, using the expression $\left( \ref{f31}%

3780: \right) $. In practical terms it is enough to assume a fractional arbitrary

3781: parameter $\xi $ associated to the indexes of all the sums, and at the end

3782: of the integration process, when each contribution to the solution is

3783: determined, evaluate the limit:

3784: 

3785: \begin{equation}

3786: \lim_{\xi \rightarrow 0}\dsum\limits_{m=-\infty +\xi }^{\infty +\xi

3787: }\Longrightarrow \dsum\limits_{m=0}^{\infty }\;,

3788: \end{equation}%

3789: which naturally happens since all the solutions that are obtained have the

3790: factor $\dfrac{1}{\Gamma (m+1+\xi )}$, and in the limit $\xi \rightarrow 0$

3791: we have that:

3792: 

3793: \begin{equation}

3794: \lim_{\xi \rightarrow 0}\dfrac{1}{\Gamma (m+1+\xi )}=\left\{

3795: \begin{array}{l}

3796: \dfrac{1}{m!} \\

3797: \\

3798: 0%

3799: \end{array}%

3800: \right.

3801: \begin{array}{l}

3802: \text{, para }m\geq 0, \\

3803: \\

3804: \text{, para }m<0.%

3805: \end{array}%

3806: \end{equation}%

3807: Therefore, strictly speaking we should write the Multiregion Expansion $%

3808: \left( \ref{f23}\right) $ of a generic diagram $G$ in the following form:

3809: 

3810: \begin{equation}

3811: \begin{array}{ll}

3812: G= & (-1)^{-\frac{LD}{2}}\lim_{\xi _{1},..,\xi _{\sigma }\rightarrow

3813: 0}\dsum\limits_{n_{1}=-\infty +\xi _{1}}^{\infty +\xi

3814: _{1}}...\dsum\limits_{n_{\sigma }=-\infty +\xi _{\sigma }}^{\infty +\xi

3815: _{\sigma }}\phi _{n_{1},..,n_{\sigma

3816: }}\;\tprod\limits_{j=1}^{P}(Q_{j}^{2})^{n_{j}}\tprod%

3817: \limits_{j=P+1}^{P+M}(-m_{j}^{2})^{n_{j}} \\

3818: &  \\

3819: & \tprod\limits_{j=1}^{N}\dfrac{\left\langle \nu _{j}+\alpha

3820: _{j}\right\rangle }{\Gamma (\nu _{j})}\tprod\limits_{j=1}^{K}\dfrac{%

3821: \left\langle \beta _{j}+\gamma _{j}\right\rangle }{\Gamma (\beta _{j})}.%

3822: \end{array}%

3823: \end{equation}%

3824: Operationally NDIM does not consider the presence of the fractional part $%

3825: \xi $ in the summation index nor its extension to negative values.

3826: Nevertheless, the analytic continuation of the summation indexes and the

3827: evaluation of the limit at the end of the process, are inherent to the

3828: process and justify why it works. A confusion might arise from the

3829: similarity of the Taylor series expansion of the exponential and its

3830: Taylor-Riemann expansion (equation $\left( \ref{f31}\right) $), something

3831: that explains why both versions of the expansion give the same result, which

3832: in turn shows that there is a conceptual but not operational difference.

3833: Thus it would be more appropriate to call the method integration by

3834: fractional expansion (IBFE) instead of NDIM.

3835: 

3836: \section{Hypergeometric Functions of one and two variables}

3837: 

3838: \qquad In this work we have developed the evaluation of loop integrals of

3839: certain class of diagrams with arbitrary $L$. All the found solutions have

3840: been presented in terms of hypergeometric series of one or two variables,

3841: which correspond in a natural way to an serie representation with respect to

3842: the ratio between the energy scales associated to the graph. The purpose of

3843: this appendix is precisely to provide the necessary information about the

3844: hypergeometric functions \cite{WBa, GGa, LSl, LGr} and especially with

3845: respect to their convergence properties.

3846: 

3847: \subsection{Definition of the generalized hypergeometric function}

3848: 

3849: \qquad In those cases in which the solutions contain two energy scales the

3850: series representations are expressed in terms of generalized hypergeometric

3851: functions:

3852: 

3853: \begin{equation}

3854: \;_{q}F_{q-1}(a_{1},...,a_{q};b_{1},...,b_{q-1};z)\equiv \;_{q}F_{q-1}\left(

3855: \left.

3856: \begin{array}{c}

3857: \left\{ a\right\} \\

3858: \left\{ b\right\}%

3859: \end{array}%

3860: \right\vert z\right) =\dsum\limits_{k=0}^{\infty }\frac{\left( a_{1}\right)

3861: _{k}...\left( a_{q}\right) _{k}}{\left( b_{1}\right) _{k}...\left(

3862: b_{q-1}\right) _{k}}\frac{z^{k}}{k!},

3863: \end{equation}%

3864: where the factors $\left( \alpha \right) _{k}$ are called Pochhammer

3865: symbols, defined as:

3866: 

3867: \begin{equation}

3868: \left( \alpha \right) _{k}=\dfrac{\Gamma (\alpha +k)}{\Gamma (\alpha )}.

3869: \end{equation}%

3870: The convergence conditions for these series are given according to the

3871: magnitude of the argument:

3872: 

3873: \begin{enumerate}

3874: \item If $\left\vert z\right\vert <1$ the series converges absolutely. The

3875: variable $z$ represents the ratio between energy scales of the topology.

3876: 

3877: \item If $z=1$, the necessary requirement for the convergence of the series

3878: is that $\func{Re}\left( \omega \right) >0$, where $\omega $ is called

3879: parametric excess and is given by:

3880: \end{enumerate}

3881: 

3882: \begin{equation}

3883: \begin{array}{l}

3884: \omega =\dsum\limits_{j=0}^{q}b_{j}-\dsum\limits_{j=0}^{q+1}a_{j}.%

3885: \end{array}%

3886: \end{equation}%

3887: For the convergence when $z=-1$ it is sufficient that $\func{Re}\left(

3888: \omega \right) >-1$.

3889: 

3890: \subsection{Some identities of the Pochhammer symbols}

3891: 

3892: \qquad The following identities are useful when building the hypergeometric

3893: function from the contributions that in turn are obtained from the

3894: multiregion expansion of an arbitrary diagram $G$. The Pochhammer symbols

3895: are defined as follows:

3896: 

3897: \begin{equation}

3898: \left( a\right) _{n}=\left\{

3899: \begin{array}{lll}

3900: \tprod\limits_{j=0}^{n-1}(a+j) &  & \text{si }n>0, \\

3901: &  &  \\

3902: 1 &  & \text{si }n=0,%

3903: \end{array}%

3904: \right.

3905: \end{equation}%

3906: Nevertheless, the series that are the result of applying the NDIM to Feynman

3907: integrals will always contain factors of the type $\Gamma (a\pm n)$ and $%

3908: \Gamma (a\pm 2n)$. In these cases it is convenient to use the following

3909: formulae for finding the hypergeometric representations:

3910: 

3911: \begin{equation}

3912: \left( a\right) _{n}=\dfrac{\Gamma (a+n)}{\Gamma (a)},

3913: \end{equation}

3914: 

3915: \begin{equation}

3916: \left( a\right) _{-n}=\dfrac{\Gamma (a-n)}{\Gamma (a)}=\dfrac{(-1)^{n}}{%

3917: (1-a)_{n}},

3918: \end{equation}

3919: 

3920: \begin{equation}

3921: (a)_{2n}=\dfrac{\Gamma (a+2n)}{\Gamma (a)}=4^{n}\left( \dfrac{a}{2}\right)

3922: _{n}\left( \dfrac{a}{2}+\dfrac{1}{2}\right) _{n}.

3923: \end{equation}

3924: 

3925: \subsection{Two-variable hypergeometric functions}

3926: 

3927: \qquad In this part of the appendix we describe the functions which are

3928: useful for representing those cases that consider three different energy

3929: scales, in the general case $L>1$. Such functions correspond to the de Kamp%

3930: \'{e} de F\'{e}riet generalized double hypergeometric function $F^{\substack{

3931: p:r:u  \\ q:s:v}}$ and the generalized hypergeometric $\overline{F}

3932: ^{\substack{ p:r:u  \\ q:s:v}}$. The first is defined as:

3933: 

3934: \begin{equation}

3935: \begin{array}{ll}

3936: F^{\substack{ p:r:u  \\ q:s:v}}\left( \left.

3937: \begin{array}{ccc}

3938: \alpha _{1},..,\alpha _{p} & a_{1},..,a_{r} & c_{1},..,c_{u} \\

3939: \beta _{1},..,\beta _{q} & b_{1},..,b_{s} & d_{1},..,d_{v}%

3940: \end{array}%

3941: \right\vert x,y\right) & =F^{\substack{ p:r:u  \\ q:s:v}}\left( \left.

3942: \begin{array}{ccc}

3943: \{\alpha \} & \{a\} & \{c\} \\

3944: \{\beta \} & \{b\} & \{d\}%

3945: \end{array}%

3946: \right\vert x,y\right) \\

3947: &  \\

3948: & =\dsum\limits_{n,m}^{\infty }\dfrac{\tprod\limits_{j=1}^{p}(\alpha

3949: _{j})_{n+m}\tprod\limits_{j=1}^{r}(a_{j})_{n}\tprod%

3950: \limits_{j=1}^{u}(c_{j})_{m}}{\tprod\limits_{j=1}^{q}(\beta

3951: _{j})_{n+m}\tprod\limits_{j=1}^{s}(b_{j})_{n}\tprod%

3952: \limits_{j=1}^{v}(d_{j})_{m}}\dfrac{x^{n}}{n!}\dfrac{y^{m}}{m!},%

3953: \end{array}%

3954: \end{equation}%

3955: where the convergence of the double series requires that the following

3956: relation between the indexes is fulfilled:

3957: 

3958: \begin{equation}

3959: p+r\leqslant q+s+1,

3960: \end{equation}

3961: 

3962: \begin{equation}

3963: p+u\leqslant q+v+1,

3964: \end{equation}%

3965: and also that the arguments fulfill the condition:

3966: 

3967: \begin{equation*}

3968: \begin{array}{lll}

3969: \left\vert x\right\vert ^{\tfrac{1}{(p-q)}}+\left\vert y\right\vert ^{\tfrac{%

3970: 1}{(p-q)}}<1 &  & \text{, for the case in which }(p>q), \\

3971: &  &  \\

3972: \max \{\left\vert x\right\vert ,\left\vert y\right\vert \}<1 &  & \text{, in

3973: the case }(p\leqslant q).%

3974: \end{array}%

3975: \end{equation*}%

3976: For the other series that occurs frequently we have the following definition:

3977: 

3978: \begin{equation}

3979: \begin{array}{ll}

3980: \overline{F}^{\substack{ p:r:u  \\ q:s:v}}\left( \left.

3981: \begin{array}{ccc}

3982: \alpha _{1},..,\alpha _{p} & a_{1},..,a_{r} & c_{1},..,c_{u} \\

3983: \beta _{1},..,\beta _{q} & b_{1},..,b_{s} & d_{1},..,d_{v}%

3984: \end{array}%

3985: \right\vert x,y\right) & =\overline{F}^{\substack{ p:r:u  \\ q:s:v}}\left(

3986: \left.

3987: \begin{array}{ccc}

3988: \{\alpha \} & \{a\} & \{c\} \\

3989: \{\beta \} & \{b\} & \{d\}%

3990: \end{array}%

3991: \right\vert x,y\right) \\

3992: &  \\

3993: & =\dsum\limits_{n,m}^{\infty }\dfrac{\tprod\limits_{j=1}^{p}(\alpha

3994: _{j})_{n-m}\tprod\limits_{j=1}^{r}(a_{j})_{n}\tprod%

3995: \limits_{j=1}^{u}(c_{j})_{m}}{\tprod\limits_{j=1}^{q}(\beta

3996: _{j})_{n-m}\tprod\limits_{j=1}^{s}(b_{j})_{n}\tprod%

3997: \limits_{j=1}^{v}(d_{j})_{m}}\dfrac{x^{n}}{n!}\dfrac{y^{m}}{m!},%

3998: \end{array}%

3999: \end{equation}%

4000: where the convergence of the double series requires that the following

4001: relations between the indexes are satisfied:

4002: 

4003: \begin{equation}

4004: p+r\leqslant q+s+1,

4005: \end{equation}

4006: 

4007: \begin{equation}

4008: q+u\leqslant p+v+1.

4009: \end{equation}%

4010: All solutions obtained with the technique of integration NDIM fullfill the

4011: previous condition in the sum indexes. The conditions of convergence of

4012: arguments may be worked out using Horns general theory of convergence \cite%

4013: {HEx}.

4014: 

4015: \newpage

4016: 

4017: \section{Bibliograf\'{\i}a}

4018: 

4019: \begin{thebibliography}{99}

4020: \bibitem{VSm} V.A.Smirnov, Evaluating Feynman Integrals (Springer, Berlin,

4021: Heidelberg, 2004); and references therein.

4022: 

4023: \bibitem{SMo} S.Moch, P.Uwer, S.Weinzierl, J.Math.Phys. 43 (2002) 3363,

4024: (hep-ph/0110083).

4025: 

4026: \bibitem{DMa} T.Huber, D.Maitre, Comput.Phys.Commun. 175 (2006) 122-144,

4027: (hep-ph/0507094).

4028: 

4029: \bibitem{MKa} M.Yu.Kalmykov JHEP 0604 (2006) 056, (hep-th/0602028).

4030: 

4031: \bibitem{IRi} I.G.Halliday, R.M. Ricotta, Phys. Lett. B 193\textbf{\ }(1987)

4032: 241.

4033: 

4034: \bibitem{CAn2} C.Anastasiou, E.W.N.Glover, C.Oleari, Nucl. Phys. B 572

4035: (2000) 307, (hep-ph/9907494).

4036: 

4037: \bibitem{ASu11} A.T.Suzuki, E.S.Santos, A.G.M.Schmidt, Eur.Phys.J. C 26

4038: (2002) 125, (hep-th/0205158).

4039: 

4040: \bibitem{ASu13} A.T.Suzuki, E.S.Santos, A.G.M.Schmidt, J.Phys. A36 (2003)

4041: 4465, (hep-ph/0210148).

4042: 

4043: \bibitem{ASu14} A.T.Suzuki, A.G.M.Schmidt, J.Phys. A31 (1998) 8023.

4044: 

4045: \bibitem{CAn1} C.Anastasiou, E.W.N.Glover, C.Oleari, Nucl.Phys. B 565 (2000)

4046: 445, (hep-ph/9907523).

4047: 

4048: \bibitem{COl} C.Anastasiou, E.W.N.Glover, C.Oleari,Nucl.Phys. B 575 (2000)

4049: 416. [Erratum-ibid. B 585 (2000) 763].

4050: 

4051: \bibitem{ASu2} A.T.Suzuki, A.G.M.Schmidt, Can.J.Phys. 78 (2000) 769,

4052: (hep-th/9904195).

4053: 

4054: \bibitem{ASu3} A.T.Suzuki, A.G.M.Schmidt, JHEP 9709 (1997) 002,

4055: (hep-th/9709024).

4056: 

4057: \bibitem{ASu4} A.T.Suzuki, A.G.M.Schmidt, Eur.Phys.J. C 5 (1998) 175,

4058: (hep-th/9709144).

4059: 

4060: \bibitem{ASu5} A.T.Suzuki, A.G.M.Schmidt, Solutions for a massless off-shell

4061: two-loop three-point vertex, (hep-th/9712104).

4062: 

4063: \bibitem{ASu6} A.T.Suzuki, A.G.M. Schmidt, Phys.Rev. D58 (1998) 047701,

4064: (hep-th/9712108).

4065: 

4066: \bibitem{ASu10} A.T.Suzuki, A.G.M.Schmidt, J.Phys. A35 (2002) 151,

4067: (hep-th/0110047).

4068: 

4069: \bibitem{IGo} I.Gonzalez, I.Schmidt, Phys.Rev. D72 (2005) 106006,

4070: (hep-th/0508013).

4071: 

4072: \bibitem{EBo} E.E.Boos, A.I.Davydychev, Theor. Math. Phys. 89 (1991) 1052.

4073: 

4074: \bibitem{ADa1} A.I.Davydychev, J. Math.Phys.32 (1991) 1052.

4075: 

4076: \bibitem{ADa2} A.I.Davydychev, J. Math.Phys.33 (1992) 358.

4077: 

4078: \bibitem{ASu15} A.T.Suzuki, A.G.M. Schmidt, J.Comput.Phys. 168 (2001) 207,

4079: (hep-th/0008143).

4080: 

4081: \bibitem{RHi} R.Hilfer, Applications of Fractional Calculus in Physics

4082: (World Scientific Publishing Co. Pte. Ltd., Singapore, 2000).

4083: 

4084: \bibitem{KMi} K.S.Miller, B.Ross, An introduction to the fractional calculus

4085: and fractional differential equations (John Wiley \& Sons, Inc., 1993).

4086: 

4087: \bibitem{KOl} K.B.Oldham, J.Spanier, The Fractional Calculus\textit{,}

4088: Theory and Applications of Differentiation and Integration to Arbitrary

4089: Order (Academic Press, Inc., 1974).

4090: 

4091: \bibitem{WBa} W.N.Bailey, Generalized Hypergeometric Functions (Cambridge

4092: University Press, Cambridge, 1966).

4093: 

4094: \bibitem{GGa} G.Gasper, M.Rahman, Basic Hypergeometric Series (Cambridge

4095: University Press, 1990).

4096: 

4097: \bibitem{LSl} L.J.Slater, Generalized Hypergeometric Functions (Cambridge

4098: University Press, 1966).

4099: 

4100: \bibitem{LGr} L.S.Gradshteyn, L.M.Ryzhik, Table of Integrals, Series, and

4101: Products, Sixth Edition (Academic Press, 2000).

4102: 

4103: \bibitem{HEx} H. Exton, \textit{Multiple Hypergeometric Functions and

4104: Applications} (Ellis Horwood,Westergate, England, 1976).

4105: \end{thebibliography}

4106: 

4107: \end{document}

4108: