Harmonic Sums, Polylogarithms, Special Numbers, and their Generalizations
Jakob Ablinger, Johannes Blümlein
TL;DR
Massless and massive multi-loop Feynman calculations generate a hierarchy of nested sums, iterated integrals, and special constants that are organized by shuffle and stuffle algebras and represented via Mellin transforms. The paper surveys harmonic sums, harmonic polylogarithms, and their generalizations (S-sums, cyclotomic sums, binomial-weighted sums), clarifying their algebraic/structural relations and analytic continuation to complex $N$. It links these objects to multiple zeta values and discusses basis counting and computational tools (HarmonicSums) that enable efficient, high-precision perturbative calculations. The framework provides a unified language for high-loop quantum field theory, guiding both analytic and numerical evaluation of observables across increasingly complex kinematic configurations.
Abstract
In these introductory lectures we discuss classes of presently known nested sums, associated iterated integrals, and special constants which hierarchically appear in the evaluation of massless and massive Feynman diagrams at higher loops. These quantities are elements of stuffle and shuffle algebras implying algebraic relations being widely independent of the special quantities considered. They are supplemented by structural relations. The generalizations are given in terms of generalized harmonic sums, (generalized) cyclotomic sums, and sums containing in addition binomial and inverse-binomial weights. To all these quantities iterated integrals and special numbers are associated. We also discuss the analytic continuation of nested sums of different kind to complex values of the external summation bound N.
