×

Algebraic relations between harmonic sums and associated quantities. (English) Zbl 1097.11063

Summary: We derive the algebraic relations of alternating and non-alternating finite harmonic sums up to the sums of depth 6. All relations for the sums up to weight 6 are given in explicit form. These relations depend on the structure of the index sets of the harmonic sums only, but not on their value. They are therefore valid for all other mathematical objects which obey the same multiplication relation or can be obtained as a special case thereof, such as the harmonic polylogarithms. We verify that the number of independent elements for a given index set can be determined by counting the Lyndon words which are associated to this set. The algebraic relations between the finite harmonic sums can be used to reduce the high complexity of the expressions for the Mellin moments of the Wilson coefficients and splitting functions significantly for massless field theories such as QED and QCD up to three-loop and higher orders in the coupling constant and are also of importance for processes depending on more scales. The ratio of the number of independent sums thus obtained to the number of all sums for a given index set is found to be \(\leq1/d\) with \(d\) the depth of the sum independently of the weight. The corresponding counting relations are given in analytic form for all classes of harmonic sums to arbitrary depth and are tabulated up to depth \(d=10\).

MSC:

11Z05 Miscellaneous applications of number theory
81T15 Perturbative methods of renormalization applied to problems in quantum field theory
81V05 Strong interaction, including quantum chromodynamics

Software:

OEIS; Nestedsums

References:

[1] Gonzalez-Arroyo, A.; Lopez, C., Nucl. Phys. B, 166, 429 (1980)
[2] Vermaseren, J. A.M., Int. J. Mod. Phys. A, 14, 2037 (1999) · Zbl 0939.65032
[3] Blümlein, J.; Kurth, S., Phys. Rev. D, 60, 014018 (1999)
[4] Baikov, P. A.; Chetyrkin, K. G.; Kuhn, J. H., Phys. Rev. D, 67, 074026 (2003)
[5] Fleischer, J.; Riemann, T.; Tarasov, O. V.; Werthenbach, A., Nucl. Phys. B (Proc. Suppl.), 116, 43 (2003)
[6] Glover, E. W.N.; Tejeda-Yeomans, M. E., J. High Energy Phys., 0306, 033 (2003)
[7] Bern, Z.; De Freitas, A.; Dixon, L. J., J. High Energy Phys., 0109, 037 (2001)
[8] Field, B.; Smith, J.; Tejeda-Yeomans, M. E.; van Neerven, W. L., Phys. Lett. B, 551, 137 (2003)
[9] Binoth, T.; Glover, E. W.N.; Marquard, P.; van der Bij, J. J., J. High Energy Phys., 0205, 060 (2002)
[10] Blümlein, J.; Kawamura, H., Phys. Lett. B, 553, 242 (2003)
[11] Bonciani, R.; Mastrolia, P.; Remiddi, E., Nucl. Phys. B, 661, 289 (2003)
[12] Yoshida, K., Functional Analysis (1978), Springer: Springer Berlin · Zbl 0365.46001
[13] Kölbig, S., Siam J. Math. Anal., 17, 1232 (1986) · Zbl 0606.33013
[14] Kölbig, S., Siam J. Math. Anal., 17, 1232 (1986) · Zbl 0606.33013
[15] Devoto, A.; Duke, D. W., Riv. Nuovo Cimento, 7 N6, 1 (1984)
[16] Zagier, D., First European Congress of Mathematics, vol. II (1994), Birkhauser: Birkhauser Boston, p. 497
[17] Weinzierl, S.
[18] Sweedler, M. E., Hopf Algebras (1969), Benjamin: Benjamin New York · Zbl 0194.32901
[19] Kassel, C., Quantum Groups (1995), Springer: Springer Berlin · Zbl 0808.17003
[20] Goncharov, A. B., Math. Res. Lett., 5, 497 (1998) · Zbl 0961.11040
[21] Gehrmann, T.; Remiddi, E., Nucl. Phys. B, 601, 248 (2001)
[22] Hoang Ngoc Minh; Petitot, M.; van der Hoeven, J., (Proc. of the Conference Formal Power Series and Algebraic Combinatorics, Toronto, ON (1998)). (Proc. of the Conference Formal Power Series and Algebraic Combinatorics, Toronto, ON (1998)), Discrete Math., 225, 217 (2000) · Zbl 0965.68129
[23] Zudilin, V. V., Uspekhi Mat. Nauk (Russian Math. Surveys), 58, 3 (2003)
[24] Blümlein, J.; Ravindran, V.; van Neerven, W. L., Nucl. Phys. B, 586, 349 (2000)
[25] Blümlein, J., Comput. Phys. Commun., 133, 76 (2000) · Zbl 0977.65120
[26] D.J. Broadhurst, private communication, 1999; D.J. Broadhurst, private communication, 1999
[27] Hoang Ngoc Minh; Petitot, M., Discrete Math., 217, 273 (2000) · Zbl 0959.68144
[28] G. Jacob, M. Bigotte, Hoang Ngoc Minh, N.E. Oussous, M. Petitot, Algebre des nombres d’Euler-Zagier calculs effectifs et conjectures, Preprint Lille, 1999; G. Jacob, M. Bigotte, Hoang Ngoc Minh, N.E. Oussous, M. Petitot, Algebre des nombres d’Euler-Zagier calculs effectifs et conjectures, Preprint Lille, 1999
[29] Gastmans, R.; Troost, W., Simon Stevin, 55, 205 (1981) · Zbl 0477.33011
[30] Bigotte, M.; Jacob, G.; Oussous, N. E.; Petitot, M., Theor. Comput. Sci., 273, 271 (2002) · Zbl 1014.68126
[31] Vermaseren, J. A.M.
[32] Müller, U.; Schubert, C., Int. J. Math. Math. Sci., 31, 127 (2002) · Zbl 1085.05016
[33] Lyndon, R. C., Trans. Amer. Math. Soc., 77, 202 (1954) · Zbl 0058.01702
[34] Lyndon, R. C., Trans. Amer. Math. Soc., 78, 329 (1955) · Zbl 0066.27701
[35] Fàa di Bruno, F., Einleitung in die Theorie der binären Formen, dt. Bearbeitung von Th. Walter (1881), Teubner: Teubner Leipzig · JFM 13.0086.02
[36] Gordan, P., Über das Formensystem der binären Formen (1875), Teubner: Teubner Leipzig · JFM 07.0050.01
[37] Hoffman, M. E., J. Algebra, 194, 477 (1997) · Zbl 0881.11067
[38] P. Will, DESY Summer-Student report, 1999; P. Will, DESY Summer-Student report, 1999
[39] Euler, L., Novi Comm. Acad. Sci. Petropolitanae, 1, 140 (1775)
[40] Sita Ramachandra Rao, R.; Subbarao, M. V., Pac. J. Math., 113, 471 (1984) · Zbl 0549.10031
[41] Berndt, B. C., Ramanujan’s Notebook, Part I (1985), Springer: Springer Berlin, p. 212 · Zbl 0555.10001
[42] Eilenburg, S.; MacLane, S., Ann. Math., 58, 55 (1953) · Zbl 0050.39304
[43] Bowman, D.; Bradley, D. M., J. Combin. Theory A, 97, 43 (2002) · Zbl 1021.11026
[44] Lugowski, H.; Weinert, H. J., Grundzüge der Algebra, vol. III (1960), Teubner: Teubner Leipzig · Zbl 0199.04801
[45] Macdonald, I. G., Symmetric Functions and Hall Polynomials (1995), Calendron Press: Calendron Press Oxford · Zbl 0487.20007
[46] Borwein, J. M.; Girgensohn, R., Electron. J. Combinatorics, 3, R23 (1996), (Appendix by D.J. Broadhurst)
[47] Lothaire, M., Algebraic Combinatorics on Words (2002), Cambridge University Press: Cambridge University Press Cambridge · Zbl 1001.68093
[48] Reutenauer, C., Free Lie Algebras (1993), Calendron Press: Calendron Press Oxford · Zbl 0798.17001
[49] Radford, D. E., J. Algebra, 58, 432 (1979) · Zbl 0409.16011
[50] Lang, S., Algebra (2002), Springer: Springer Berlin · Zbl 0984.00001
[51] Witt, E., Math. Z., 64, 195 (1956) · Zbl 0070.02903
[52] Gauss, C. F., Analysis Residuorum: Caput Octavum. Dissquisitiones Generalis de Congruentiis, Collected Works, vol. 2 (1876), Königliche Gesellschaft der Wissenschaften: Königliche Gesellschaft der Wissenschaften Göttingen, pp. 212-240
[53] Broadhurst, D. J.; Kreimer, D., Phys. Lett. B, 393, 403 (1997) · Zbl 0946.81028
[54] Sloane, N., The Encyclopedia of Integer Sequences (1995), Academic Press: Academic Press London · Zbl 1044.11108
[55] van Neerven, W. L.; Vogt, A., Phys. Lett. B, 490, 111 (2000)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.