Dual Conformal Symmetry and Iterative Integrals in Six Dimensions

In this article, we continue the investigation of hep-th 1611.02179 regarding iterative properties of dual conformal integrals in higher dimensions. In d=4, iterative properties of four and five point dual conformal integrals manifest themselves in the famous BDS ansatz conjecture. In hep-th 1611.02179 it was also conjectured that a similar structure of integrals may reappear in d=6. We show that one can systematically, order by order in the number of loops, construct combinations of d=6 integrals with 1/(p^2)^2 propagators with an iterative structure similar to the d=4 case. Such combinations as a whole also respect dual conformal invariance but individual integrals may not.


Introduction
Study of the S-matrix (the scattering amplitudes) in supersymmetric gauge theories has revealed the existence of hidden symmetries and unexpected properties of this type of objects. It appears that the S-matrix often exhibits symmetries that are hidden from the point of view of the standard Lagrangian formulation of the theory. Applying modern methods for computing the on-shell scattering amplitudes, it is possible to learn more about the S-matrix of many theories even without direct reference to their Lagrangians using only symmetry considerations (see, for example, [2,3] for review).
Dual conformal invariance of N=4 SYM is a canonical example of such hidden symmetries [4]. It imposes very powerful constraints on the S-matrix of N=4 SYM in the planar limit [4,5]. One of the manifestations of these powerful constraints is a very limited set of master integrals contributing to the n-point amplitudes at the low loop level [6,7]. In addition, it was pointed out that such integrals have an iterative structure [6]. These observations culminated in the famous BDS conjecture [6] for the MHV planar amplitudes in N=4 SYM, which indeed gives a correct all loop expression for the four and five point amplitudes [8].
In [1], it was conjectured that there may exist some d = 6 gauge theories with the S-matrix elements (amplitudes) in the planar limit given by d = 6 dual (pseudo)conformal integrals, similar to the N=4 SYM case. The distinct feature of such integrals, compared to the d = 4 case, is the presence of 1/(p 2 ) n propagators ("dots on the lines"). It was also conjectured in [1] that in the strong coupling regime the amplitudes in a theory like this can also be evaluated similar by the d = 4 N=4 SYM case [9] i.e. they should be identified with minimal surfaces in AdS 7 . Under certain assumptions the behaviour of four point amplitude in such a d = 6 theory should be nearly identical to the d = 4 BDS ansatz and for the normalized colour ordered amplitude M 4 = A 4 /A tree 4 can be written as where s, t are the standard Mandelstam variables, g 6 is the properly normalized coupling constant (see [1] for discussion) in six dimensions, L(x) ≡ log(x) and S Q 2 are given by where the coefficients γ l and G l define the so-called cusp γ cusp (g) = l g l γ l and collinear G(g) = l g l G l anomalous dimensions [6]. The results of [1] claim that γ cusp (g) may be identical for the d = 4 and d = 6 cases, while G(g) is different. This suggests that some iterative pattern should exist for appropriately chosen combinations of four point d = 6 dual (pseudo)conformal integrals similar to their d = 4 counterparts. One can also speculate that this six dimensional theory may be in fact mysterious (2, 0) SYM [1]. It is worth mentioning that d = 6 gauge theories, among (2, 0) SYM one, where extensively studied in recent years for different reasons and from different perspectives. In this regard we want to mention [10][11][12][13][14] and [15][16][17] and also [18][19][20][21][22][23][24][25][26].
Inspired by [1] we investigate possible iterative relations between the four point 6d dual (pseudo)conformal integrals listed in [1] at the two and three-loop level. The article is organized as follows: in section 1, we briefly discuss dual conformal symmetry and show how it manifests itself in two types of regularization.
In section 2, we discuss how one can explicitly evaluate the four point dual (pseudo) conformal integrals at the one and two-loop level. We also present the explicit results for the four point dual conformal integrals with the double box topology listed in [1]. In addition, we also discuss some higher loop results.
In section 3, we investigate possible iterative relations between the one and two-loop d = 6 dual conformal integrals listed in [1]. In general, we did not find any iterative relations among these integrals except for the particular subset evaluated at the kinematic point s = t = −Q 2 . This observation however allows us to present the procedure based on the d = 4 expansion of the BDS four point amplitude in terms of the master integrals, which allows one to construct combinations of d = 6 integrals with the iterative structure. These combinations respect dual conformal invariance if an appropriate regularization is chosen, but individual integrals may not be dual conformal invariant.
In conclusion, we sum up our results and in appendix we list the answers for d = 6 integrals mentioned in the text.

Dual Conformal Symmetry
Dual conformal symmetry is conformal symmetry in momentum space. It can be realized as follows. One introduces the coordinates x µ i that are defined as and then considers the action of the standard conformal generators on these new variables x µ i . For example, the action of inversion I on x µ i and x 2 ij = (x i − x j ) 2 is given by: To see how this symmetry manifests itself at the level of Feynman integrals, let us consider the 1-loop box diagram in d dimensions which is given by (see fig. 1) Having in mind that the measure of integration transforms under I as it is easy to see that this integral is invariant with respect to I and other conformal transformations of x 0i and x ij when d = 4. When x 2 ii+1 = 0, which is equivalent to p 2 i = 0, this integral is finite and can be evaluated exactly [27,28] (see appendix A). Dual conformal invariance guarantees that the function Box d=4 4 (s, t) = f (u, v) depends on two conformal cross ratios For example, one can see that the action of the dual conformal boost K ν defined by on Box d=4 4 (s, t) is zero: Obviously, higher loop integrals can also be dual conformal invariant. See fig.3 for the two loop d = 4 example. If x 2 ii+1 ≡ p 2 i = 0 (i.e. external momenta are on-shell), the d = 4 one loop box integral as well as its higher loop counterparts are IR divergent. These divergences can be regularized, for example, by dimensional regularization in d = 4 − 2 which, however, will spoil dual conformal invariance. The divergent and finite parts of the box function in this case can be found in Appendix. The answer in all orders in is known in terms of hypergeometric functions. Such regularized integrals with the on-shell external momenta are usually called pseudo dual conformal integrals. In this on-shell regime the notion of dual conformal invariance is somewhat obscure; however, for small the breaking of dual conformal invariance should be under control in some way. Indeed, in the case of N=4 SYM, one can show [8] that at least for appropriate combinations of (pseudo) dual conformal integrals, which give the amplitude M d=4−2 4 , while and split it into divergent S s + S t and finite parts F 4 ∼ L 2 (s/t). Then for the finite part F 4 one has Other dual conformal generators acts regularly on M 4 . This relation can be interpreted as (anomalous) Ward identities and is an analogue of (9) in the case when the dual conformal invariance is broken by the IR regulator.
Concluding this section, we consider another way to regularize four point dual conformal integrals, which we will find useful later. Let us return to the one loop d = 4 box example. One can [29] introduce two sets of coordinates: the d dimensional x i , defined as in the previous case as  [30]. The solid lines correspond to the massive propagators and the dashed lines correspond to the massless ones. Integral A) has an equivalent in dimensional regularisation, integral B) is unique to the Higgs one -it is proportional to m.
As a consequence of this invariance, integral (16) becomes a function of only two variables [29] u Note that these arguments however are different from the p 2 i = 0 case. The explicit form of this function can also be found in Appendix for the case of small identical m i .
The regularization with masses is usually called the Higgs regularization because originally it was introduced in the context of N=4 SYM and the masses in the propagators were related to the vev's of the N=4 SYM scalars [29]. The higher loop generalizations of this regularization can also be considered at least for n = 4, 5 external legs (see fig. 2).
It is interesting to compare the action of the dual conformal boost generator on the amplitude M d=4 4 in such regularization with relation (11), since formally we now have Higgs reg.
In the small mass limit, Log(M d=4 4 ) in the Higgs regularization can also be split into divergent and finite parts, and the action of K ν on the divergent part will produce the term identical to the rhs of (11), so that relation (11) will hold in this regularization as well [29].

Four point (pseudo)dual conformal integrals in various dimensions
As was discussed in the introduction the combinations of (pseudo)dual conformal integrals in d = 4 − 2 dimensions possess some remarkable iterative properties [6,[31][32][33]. Namely, the four and five point amplitudes in N=4 SYM can be expressed via such integrals in the weak coupling regime, and the divergent and finite parts of higher loop corrections exponentiate. This means that effectively the amplitudes can be expressed via the one loop contribution and some functions of the coupling constant. These relations are manifested in the famous BDS ansatz [6]. The results of [1] suggest that similar relations may hold for d = 6−2 (pseudo)dual conformal invariant integrals with n = 4 external legs. We will investigate this conjecture in more detail in the next section while here we concentrate on evaluation of such integrals.

Dual conformal bubbles, triangles and boxes at one loop in various dimensions
Let us consider the case of n = 4 external legs [1] in d > 4. To get dual (pseudo)conformal invariant integrals in this case, as it was pointed out in [1], one has to consider integrals with dots on the lines, i.e. introduce the propagators of type 1/(p 2 ) 2 , etc. This, however, effectively rules out the bubble and triangle topologies in d = 6 since such integrals give constant contributions, that can be associated with the scheme dependence in the full combination of such integrals if one is interested in BDS-like exponent structures. This leaves us with one possible topology at the one-loop level, namely, the boxlike integral. At d = 6 dual (pseudo)conformal symmetry uniquely fixes powers of the propagators and the overall coefficient and gives If p 2 i = 0 this integral is IR divergent and some regularization is required. If one adopts dimensional regularization, this integral can be evaluated by means of the Mellin-Barnes representation [34]. Introducing the function (let us remind that x 2 13 = (p 1 + p 2 ) 2 = s and which is related to Box d=6 4 (s, t) as one can obtain for I the one fold Mellin-Barnes representation: with This integral in its turn can be evaluated 2 in the form of a series in and the result for with (see Appendix for the result up to 1 terms). These results were first obtained in [1]. It is interesting to note the connection between this d = 6 − 2 dual (pseudo)conformal integral and the standard d = 4−2 box integral discussed in the previous section. Indeed, one can see that the α-representation for the function I(s, t, ν 1 , ν 2 , ν 3 , ν 4 , d) has the form (see fig.1): Then one can see that the following relations hold: 2 Thought the paper we used the Mathematica packages AMBRE.m [35] to obtain the Mellin-Barnes representation for a given integral and MB.m [36] for evaluating the Mellin-Barnes integral. We also used MBresolve.m [37] -the additional code for MB.m which implements another strategy of evaluating the Laurent series and MBSums.m [38] for the series summation. so for the box integrals we get Due to the s, t symmetry of the d = 4 box integral a similar result can also be obtained by taking the partial derivative with respect to s. For d = 4−2 this relation connects all the terms of expansion of the dual (pseudo)conformal box integral in d = 4 − 2 and the integral in d = 6 − 2 dimensions. We have also verified that this relation holds by explicit evaluation of several first terms of expansion for d = 4 and d = 6 MB-integrals. This relation explains similarities and discrepancies observed by [1] between the d = 6 conjectured one loop amplitudes and the d = 4 N=4 SYM amplitude.
Note that this relation does not hold only for dimensional regularized integrals but for the Higgs regularization as well. Indeed the α-parametrization for the box integral with massive propagators has a similar form but with slightly modified exponent From this relation we can see that the derivative with respect to t shifts the dimension and powers of propagators identical to the massles case.
Remarkably, the d = 6 integrals in such identities are not all manifestly dual conformally invariant. However, in the Higgs regularization dual conformal invariance is preserved for the whole sum in a sense that both the RHS and the LHS of the relation are the functions of the dual conformal cross ratios u, v (19) and hence are annihilated by the action of K ν in the form of (18).

Higher loops
At three loops in d = 6 − 2 one has two possible topologies: the triple box and the tennis court ones. Correspondingly, one has more ways to distribute the 1/(p 2 ) n propagators among the triple box and the tennis court rungs. Higher loops will bring even more possibilities. We do not systematically discuss them here but instead we point out that among different possible dual conformal integrals there always exist the one which is related to the l-loop d = 4 ladder type diagram. Namely, one can see that for a diagram like this in d = 4 the structure of the alpha representation polynomial V has the form (here, as before, we consider the horizontal ladder) where P is some (complicated) polynomial of α parameters and α 1 , . . . , α l=1 are the parameters associated with vertical rungs. Thus, as in the previous cases we see that the following relation holds Here D l Box d=6 4 (s, t) is the d = 6 l-loop dual conformal ladder type diagram with vertical rungs given by 1/(p 2 ) 2 propagators and D l Box d=4 4 (s, t) is the d = 4 l-loop dual conformal ladder. As for the derivative with respect to ∂/∂s, one obtains similar identities between d = 4 integral and the sum of d = 6 integrals with 1/p 2 and (1/p 2 ) 2 propagators as in the two loop example. The same will be true for the tennis court topology for any type of derivative. The structure of such identities, however, is controlled by V polynomials of the corresponding d = 4 diagrams.
In all such relations in the Higgs regularization dual conformal invariance is preserved in the same sense as in the two loop case. However, individual d = 6 integrals may not be dual conformal invariant.

Iterative structure of the integrals
Now we are ready to discuss a possible iterative structure of the d = 6 dual conformal integrals. However first let us remind how the iterative structure manifests itself in the d = 4 case.
In N=4 SYM for the colour ordered four point amplitude at the l-loop level the ratio M are related with each other as: where f (2) = a 1 + a 2 + 2 a 3 , and a i , C (2) are some known constants [6]. Similar relations were found for higher loop orders for M d=4,(l) 4 , l > 2 [6] which culminated in the BDS ansatz conjecture 3 where f (l) ( ) has the same structure as before and is in fact related with cusp anomalous dimension as f (l) (0) = γ l /4. C (l) is some constant and E In [29,30] it was shown that up to three loops the following relation holds (here for convenience we put all regulator masses equal m i = m so that the dual conformal cross ratios are equal to u = m 4 /s and v = m 4 /t): Here the functionsG(g) andC are different from their dimensional regularization counterparts but γ cusp (g) is the same [29]. We see that as expected the finite part of the amplitude exp(γ cusp (g)L 2 (u/v)) = exp(γ cusp (g)L 2 (s/t)) is regularisation independent. From this form one can obtain the evolution equation [30,42] of the following form: with: The function ω(v) is usually called the Regge trajectory. Let us return to the d = 6 case. Under the assumption that we are reconstructing the four point colour ordered amplitude in a hypothetical d = 6 theory with dual conformal symmetry with massless particles, the only possible form for M Using the results of the previous chapter, we conclude that the most general form (under the assumptions of section 2) for M d=6,(2) 4 is: where a N are some arbitrary numerical coefficients and DBox d=6,N 4 (s, t) are the integrals of the form (34) from table 2.2. We then used our results from the previous section and tried to fix the coefficients a N to satisfy relation (46). However, we found, that this is impossible for general values of s and t. This observation can be interpreted in several ways: • There is no iterative relation between d = 6 four point dual conformal integrals.
• The iterative relation between d = 6 four point dual conformal integrals has a more complicated form than (46).
• The two loop basis of the dual conformal integrals is incomplete and one has to consider possible contribution from the integrals with the bubble and triangle subgraphs.
Hereafter we will argue that some combination of the second and third propositions can be indeed realized. To do so, we first consider the integrals in the Higgs regularization where the notion of the dual conformal invariance is more transparent. Taking into account d = 4 vs d = 6 relations between the integrals such as (32) we can combine together the sets of d = 6 integrals which we can be obtained from d = 4 master integrals by the action of the operatorD Let us label such sets of integrals asM Here g 6 is perturbation theory parameter in our hypothetical d = 6 theory. The sets of the corresponding d = 6 one and two loop integrals can be found in figs. 6 and 7 . We want to stress once more that the resulting sum of d = 6 integrals which one obtains from the action of the differential operatorD st is uniquely determined by the form of V polynomial in the α-representation. This effectively means that one can explicitly constructM may not be dual conformal invariant. Therefore, if we want to construct the combination of d = 6 integrals with iterative structure we likely have to abandon the requirement that individual d = 6 integrals obey dual conformal invariance. It is restored in total combination of such integrals. This is in fact rather well-known phenomenon when individual Feynman diagrams (integrals) contributing to some amplitude may have less symmetry than the amplitude itself.
An interesting question to ask is whether it is possible, for example at the two loop level, to express the combination of the integrals which are individually not dual conformal invariant via the basis of dual conformal integrals in d = 6 ? We will avoid a detailed discussion here, and only mention that it is likely that the basis of (2.2) integrals regularized with Higgs regularization will not be sufficient and integrals different from the double box topology will be required. See fig. 2 B) as an example.
It seems that similar iterative structure appears also in the case of dimensional regularization with exchange of the Regge trajectory ω(v) computed in the Higgs regularization with ω(t): Note, however, that for practical implementation of this formula one needs to know the O( ) terms in the definition of ω due to the interference with the poles in from the BDS exponent. This is why we made emphasis on the Higgs regularization where such problem is absent (analogous terms m log(m) in the Higgs regularization can be simply omitted).
Note also that in this form the iterative structure is consistent with the AdS volume calculation of [1] in a sense that the sum of the M d=6,(l) 4 terms over l will be proportional to However, in our construction the proportionality coefficient is a non-trivial pre-exponent function containing the 1/ pole and terms proportional to . This situation is reminiscent of the Schwinger pair production process where the exponential factor can be predicted from quasi-classical considerations, while the pre-exponent can be obtained only from full computations. It is also interesting to compare this result with investigation of [43,44] where similar connection between d = 4 N=4 SYM and d = 3 ABJM amplitudes where discovered.

Conclusion
In this article we investigated the conjecture of [1] on a possible iterative structure of d = 6 four point (pseudo) dual conformal integrals. By construction such integrals contain 1/p 2 as well as 1/(p 2 ) 2 propagators. We found by explicit computations of the set of two loop integrals presented in [1] that there is no iterative pattern between such integrals similar to their d = 4 counterparts (the BDS exponent). Alternatively here we propose the algorithm how to construct such a set of d = 6 integrals with 1/p 2 and (1/p 2 ) 2 propagators which possess an iterative structure that is consistent with the AdS minimal volume computations of [1]. Individual integrals in these sets, however, are not explicitly dual conformal invariant and the invariance in appropriate regularization is restored only for the whole set of integrals.