Abstract
We introduce a class of iterated integrals, defined through a set of linearly independent integration kernels on elliptic curves. As a direct generalisation of multiple polylogarithms, we construct our set of integration kernels ensuring that they have at most simple poles, implying that the iterated integrals have at most logarithmic singularities. We study the properties of our iterated integrals and their relationship to the multiple elliptic polylogarithms from the mathematics literature. On the one hand, we find that our iterated integrals span essentially the same space of functions as the multiple elliptic polylogarithms. On the other, our formulation allows for a more direct use to solve a large variety of problems in high-energy physics. We demonstrate the use of our functions in the evaluation of the Laurent expansion of some hypergeometric functions for values of the indices close to half integers.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
A.B. Goncharov, Geometry of configurations, polylogarithms, and motivic cohomology, Adv. Math. 114 (1995) 197.
E. Remiddi and J.A.M. Vermaseren, Harmonic polylogarithms, Int. J. Mod. Phys. A 15 (2000) 725 [hep-ph/9905237] [INSPIRE].
A.B. Goncharov, Multiple polylogarithms and mixed Tate motives, math/0103059 [INSPIRE].
J. Vollinga and S. Weinzierl, Numerical evaluation of multiple polylogarithms, Comput. Phys. Commun. 167 (2005) 177 [hep-ph/0410259] [INSPIRE].
N. Nielsen, Der Eulersche Dilogarithmus und seine Verallgemeinerungen, Nova Acta Leopoldina (Halle) 90 (1909) 123.
E.E. Kummer, Über die Transcendenten, welche aus wiederholten Integrationen rationaler Formeln entstehen I, J. Reine Angew. Math. 21 (1840) 74.
E.E. Kummer, Über die Transcendenten, welche aus wiederholten Integrationen rationaler Formeln entstehen II, J. Reine Angew. Math. 21 (1840) 193.
E.E. Kummer, Über die Transcendenten, welche aus wiederholten Integrationen rationaler Formeln entstehen III, J. Reine Angew. Math. 21 (1840) 328.
A.B. Goncharov, M. Spradlin, C. Vergu and A. Volovich, Classical polylogarithms for amplitudes and Wilson loops, Phys. Rev. Lett. 105 (2010) 151605 [arXiv:1006.5703] [INSPIRE].
J. Ablinger, J. Blumlein and C. Schneider, Harmonic sums and polylogarithms generated by cyclotomic polynomials, J. Math. Phys. 52 (2011) 102301 [arXiv:1105.6063] [INSPIRE].
C. Duhr, Hopf algebras, coproducts and symbols: an application to Higgs boson amplitudes, JHEP 08 (2012) 043 [arXiv:1203.0454] [INSPIRE].
U. Aglietti, R. Bonciani, L. Grassi and E. Remiddi, The two loop crossed ladder vertex diagram with two massive exchanges, Nucl. Phys. B 789 (2008) 45 [arXiv:0705.2616] [INSPIRE].
S. Caron-Huot and K.J. Larsen, Uniqueness of two-loop master contours, JHEP 10 (2012) 026 [arXiv:1205.0801] [INSPIRE].
S. Bloch, M. Kerr and P. Vanhove, Local mirror symmetry and the sunset Feynman integral, Adv. Theor. Math. Phys. 21 (2017) 1373 [arXiv:1601.08181] [INSPIRE].
E. Remiddi and L. Tancredi, Schouten identities for Feynman graph amplitudes; the master integrals for the two-loop massive sunrise graph, Nucl. Phys. B 880 (2014) 343 [arXiv:1311.3342] [INSPIRE].
S. Laporta and E. Remiddi, Analytic treatment of the two loop equal mass sunrise graph, Nucl. Phys. B 704 (2005) 349 [hep-ph/0406160] [INSPIRE].
S. Bloch and P. Vanhove, The elliptic dilogarithm for the sunset graph, J. Number Theor. 148 (2015) 328 [arXiv:1309.5865] [INSPIRE].
L. Adams, C. Bogner and S. Weinzierl, The two-loop sunrise graph with arbitrary masses, J. Math. Phys. 54 (2013) 052303 [arXiv:1302.7004] [INSPIRE].
L. Adams, C. Bogner and S. Weinzierl, The two-loop sunrise graph in two space-time dimensions with arbitrary masses in terms of elliptic dilogarithms, J. Math. Phys. 55 (2014) 102301 [arXiv:1405.5640] [INSPIRE].
L. Adams, C. Bogner and S. Weinzierl, The two-loop sunrise integral around four space-time dimensions and generalisations of the Clausen and Glaisher functions towards the elliptic case, J. Math. Phys. 56 (2015) 072303 [arXiv:1504.03255] [INSPIRE].
L. Adams, C. Bogner and S. Weinzierl, The iterated structure of the all-order result for the two-loop sunrise integral, J. Math. Phys. 57 (2016) 032304 [arXiv:1512.05630] [INSPIRE].
E. Remiddi and L. Tancredi, Differential equations and dispersion relations for Feynman amplitudes. The two-loop massive sunrise and the kite integral, Nucl. Phys. B 907 (2016) 400 [arXiv:1602.01481] [INSPIRE].
L. Adams, C. Bogner, A. Schweitzer and S. Weinzierl, The kite integral to all orders in terms of elliptic polylogarithms, J. Math. Phys. 57 (2016) 122302 [arXiv:1607.01571] [INSPIRE].
R. Bonciani et al., Two-loop planar master integrals for Higgs→ 3 partons with full heavy-quark mass dependence, JHEP 12 (2016) 096 [arXiv:1609.06685] [INSPIRE].
A. von Manteuffel and L. Tancredi, A non-planar two-loop three-point function beyond multiple polylogarithms, JHEP 06 (2017) 127 [arXiv:1701.05905] [INSPIRE].
A. Primo and L. Tancredi, Maximal cuts and differential equations for Feynman integrals. An application to the three-loop massive banana graph, Nucl. Phys. B 921 (2017) 316 [arXiv:1704.05465] [INSPIRE].
J. Ablinger et al., Iterated Elliptic and Hypergeometric Integrals for Feynman Diagrams, arXiv:1706.01299 [INSPIRE].
L.-B. Chen, Y. Liang and C.-F. Qiao, NNLO QCD corrections to γ + η c(η b) exclusive production in electron-positron collision, JHEP 01 (2018) 091 [arXiv:1710.07865] [INSPIRE].
J.L. Bourjaily et al., Elliptic double-box integrals: massless scattering amplitudes beyond polylogarithms, Phys. Rev. Lett. 120 (2018) 121603 [arXiv:1712.02785] [INSPIRE].
L.-B. Chen, J. Jiang and C.-F. Qiao, Two-loop integrals for CP-even heavy quarkonium production and decays: elliptic sectors, arXiv:1712.03516 [INSPIRE].
J. Broedel, C.R. Mafra, N. Matthes and O. Schlotterer, Elliptic multiple zeta values and one-loop superstring amplitudes, JHEP 07 (2015) 112 [arXiv:1412.5535] [INSPIRE].
A. Sabry, Fourth order spectral functions for the electron propagator, Nucl. Phys. 33 (1962) 401.
D.J. Broadhurst, The master two loop diagram with masses, Z. Phys. C 47 (1990) 115 [INSPIRE].
S. Bauberger, F.A. Berends, M. Böhm and M. Buza, Analytical and numerical methods for massive two loop selfenergy diagrams, Nucl. Phys. B 434 (1995) 383 [hep-ph/9409388] [INSPIRE].
S. Bauberger and M. Böhm, Simple one-dimensional integral representations for two loop selfenergies: the master diagram, Nucl. Phys. B 445 (1995) 25 [hep-ph/9501201] [INSPIRE].
B.A. Kniehl, A.V. Kotikov, A. Onishchenko and O. Veretin, Two-loop sunset diagrams with three massive lines, Nucl. Phys. B 738 (2006) 306 [hep-ph/0510235] [INSPIRE].
E. Remiddi and L. Tancredi, An elliptic generalization of multiple polylogarithms, Nucl. Phys. B 925 (2017) 212 [arXiv:1709.03622] [INSPIRE].
M. Hidding and F. Moriello, All orders structure and efficient computation of linearly reducible elliptic Feynman integrals, arXiv:1712.04441 [INSPIRE].
G. Passarino, Elliptic polylogarithms and basic hypergeometric functions, Eur. Phys. J. C 77 (2017) 77 [arXiv:1610.06207] [INSPIRE].
D. Zagier, The bloch-wigner-ramakrishnan polylogarithm function, Math. Ann. 286 (1990) 613.
S.J. Bloch, Higher regulators, algebraic K-theory, and zeta functions of elliptic curves, American Mathematical Society, U.S.A. (2000).
A. Levin, Elliptic polylogarithms: an analytic theory, Comp. Math. 106 (1997) 267.
A. Beilinson and A. Levin, The elliptic polylogarithm, in Proceedings of Symposium in Pure Mathematics 55, Part II, J.P.S.U. Jannsen, S.L. Kleiman eds., American Mathematical Society, U.S.A. (1994).
A. Levin and G. Racinet, Towards multiple elliptic polylogarithms, math/0703237.
F. Brown and A. Levin, Multiple elliptic polylogarithms, arXiv:1110.6917.
J. Broedel, C. Duhr, F. Dulat and L. Tancredi, Elliptic polylogarithms and iterated integrals on elliptic curves II: an application to the sunrise integral, arXiv:1712.07095.
J. A. Lappo-Danilevski, Résolution algorithmique des problèmes réguliers de Poincaré et de Riemann ( Mémoire premier: Le problème de poincaré, concernant la construction d’un groupe de monodromie d’un système donné d’équations différentielles linéaires aux intégrales régulières), J. Soc. Phys.-Math. Léningrade 2 (1928) 94.
J.H. Silverman, The arithmetic of elliptic curves, second edition, Springer, Germany (1986).
N. Matthes, Elliptic multiple Zeta values, Ph.D. thesis, Universität Hamburg, Hamburg, Germany (2016).
S. Bloch, M. Kerr and P. Vanhove, A Feynman integral via higher normal functions, Compos. Math. 151 (2015) 2329 [arXiv:1406.2664] [INSPIRE].
J. Ablinger et al., Iterated Binomial Sums and their Associated Iterated Integrals, J. Math. Phys. 55 (2014) 112301 [arXiv:1407.1822] [INSPIRE].
U. Aglietti and R. Bonciani, Master integrals with 2 and 3 massive propagators for the 2 loop electroweak form-factor — Planar case, Nucl. Phys. B 698 (2004) 277 [hep-ph/0401193] [INSPIRE].
R. Bonciani, G. Degrassi and A. Vicini, On the generalized harmonic polylogarithms of one complex variable, Comput. Phys. Commun. 182 (2011) 1253 [arXiv:1007.1891] [INSPIRE].
E. Panzer, Various guises of elliptic iterated integrals, talk give at The elliptic/missing Feynman integrals, June 5-9, ETH Zürich, Switzerland (2017).
F. Brown, Multiple modular values and the relative completion of the fundamental group of m 1,1, arXiv:1407.5167.
J. Broedel, N. Matthes and O. Schlotterer, Relations between elliptic multiple zeta values and a special derivation algebra, J. Phys. A 49 (2016) 155203 [arXiv:1507.02254] [INSPIRE].
N. Matthes, Linear independence of indefinite iterated Eisenstein integrals, arXiv:1601.05743 [INSPIRE].
N. Matthes, Decomposition of elliptic multiple zeta values and iterated Eisenstein integrals, arXiv:1703.09597.
N. Matthes, On the algebraic structure of iterated integrals of quasimodular forms, Alg. Number Theor. 11-9 (2017) 2113 [arXiv:1708.04561].
F. Brown, The massless higher-loop two-point function, Commun. Math. Phys. 287 (2009) 925 [arXiv:0804.1660] [INSPIRE].
E. Panzer, Algorithms for the symbolic integration of hyperlogarithms with applications to Feynman integrals, Comput. Phys. Commun. 188 (2015) 148 [arXiv:1403.3385] [INSPIRE].
Open Access
This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.
Author information
Authors and Affiliations
Corresponding author
Additional information
ArXiv ePrint: 1712.07089
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made.
The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
To view a copy of this licence, visit https://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Broedel, J., Duhr, C., Dulat, F. et al. Elliptic polylogarithms and iterated integrals on elliptic curves. Part I: general formalism. J. High Energ. Phys. 2018, 93 (2018). https://doi.org/10.1007/JHEP05(2018)093
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/JHEP05(2018)093