Analytic and algorithmic aspects of generalized harmonic sums and polylogarithms

DOI10.1063/1.4811117MaRDI QIDQ5407665zbMATH OpenOpenAlexFDO

Authors Johannes Blümlein, Jakob Ablinger, Carsten Schneider

Publication date 7 April 2014

Published in Journal of Mathematical Physics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1302.0378, https://bib-pubdb1.desy.de/search?p=id:%22DESY-2014-00205%22

zbMATH Keywords

3-loop Feynman diagrams\(S\)-sumsgeneralized Mellin transformshufflestuffleWilson coefficients

Mathematics Subject Classification ID

Polylogarithms and relations with (K)-theory (11G55) Feynman integrals and graphs; applications of algebraic topology and algebraic geometry (81Q30) Feynman diagrams (81T18) Inelastic and multichannel quantum scattering (81U35) Strong interaction, including quantum chromodynamics (81V05)

Abstract: In recent three--loop calculations of massive Feynman integrals within Quantum Chromodynamics (QCD) and, e.g., in recent combinatorial problems the so-called generalized harmonic sums (in short $S$-sums) arise. They are characterized by rational (or real) numerator weights also different from $pm1$. In this article we explore the algorithmic and analytic properties of these sums systematically. We work out the Mellin and inverse Mellin transform which connects the sums under consideration with the associated Poincar'{e} iterated integrals, also called generalized harmonic polylogarithms. In this regard, we obtain explicit analytic continuations by means of asymptotic expansions of the $S$-sums which started to occur frequently in current QCD calculations. In addition, we derive algebraic and structural relations, like differentiation w.r.t. the external summation index and different multi-argument relations, for the compactification of $S$-sum expressions. Finally, we calculate algebraic relations for infinite $S$-sums, or equivalently for generalized harmonic polylogarithms evaluated at special values. The corresponding algorithms and relations are encoded in the computer algebra package { t HarmonicSums}.

Recommendations

• HARMONIC SUMS, MELLIN TRANSFORMS AND INTEGRALS
• Harmonic sums, polylogarithms, special numbers, and their generalizations
• Harmonic sums and polylogarithms generated by cyclotomic polynomials
• Algebraic relations between harmonic sums and associated quantities.
• HARMONIC POLYLOGARITHMS

Cites work

• A natural ring basis for the shuffle algebra and an application to group schemes
• A new Sigma approach to multi-summation
• A primer of Hopf algebras.
• A refined difference field theory for symbolic summation
• A symbolic summation approach to Feynman integral calculus
• A symbolic summation approach to find optimal nested sum representations
• Algebraic relations between harmonic sums and associated quantities.
• Algebras of Iterated Path Integrals and Fundamental Groups
• Analytic combinatorics
• Analytic continuation of Mellin transforms up to two-loop order
• Apéry's double sum is plain sailing indeed
• Computer proofs of a new family of harmonic number identities.
• Die Unterringe der freien Lieschen Ringe
• Differential Galois theory of linear difference equations
• Expansion around half-integer values, binomial sums, and inverse binomial sums
• Generalised ladders and single-valued polylogs
• HARMONIC POLYLOGARITHMS
• Harmonic sums and polylogarithms generated by cyclotomic polynomials
• HARMONIC SUMS, MELLIN TRANSFORMS AND INTEGRALS
• Hopf algebras, coproducts and symbols: an application to Higgs boson amplitudes
• Hopf algebras, renormalization and noncommutative geometry
• scientific article; zbMATH DE number 417855 (Why is no real title available?)
• scientific article; zbMATH DE number 3136983 (Why is no real title available?)
• scientific article; zbMATH DE number 3728625 (Why is no real title available?)
• scientific article; zbMATH DE number 3527042 (Why is no real title available?)
• scientific article; zbMATH DE number 3587359 (Why is no real title available?)
• scientific article; zbMATH DE number 1315417 (Why is no real title available?)
• scientific article; zbMATH DE number 727429 (Why is no real title available?)
• scientific article; zbMATH DE number 2159646 (Why is no real title available?)
• scientific article; zbMATH DE number 872231 (Why is no real title available?)
• scientific article; zbMATH DE number 3204910 (Why is no real title available?)
• scientific article; zbMATH DE number 3219699 (Why is no real title available?)
• scientific article; zbMATH DE number 3309240 (Why is no real title available?)
• scientific article; zbMATH DE number 3081880 (Why is no real title available?)
• scientific article; zbMATH DE number 3081943 (Why is no real title available?)
• scientific article; zbMATH DE number 3093575 (Why is no real title available?)
• Hypexp 2, expanding hypergeometric functions about half-integer parameters
• Hypexp, a Mathematica package for expanding hypergeometric functions around integer-valued parameters
• Introduction to Feynman integrals
• Iterated binomial sums and their associated iterated integrals
• Massive 3-loop ladder diagrams for quarkonic local operator matrix elements
• Multiple polylogarithms, cyclotomy and modular complexes
• Nested sums, expansion of transcendental functions, and multiscale multiloop integrals
• Nielsen’s Generalized Polylogarithms
• Numerical evaluation of multiple polylogarithms
• Numerical evaluation of two-dimensional harmonic polylogarithms
• On Nielsen's generalized polylogarithms and their numerical calculation
• On the all-order \(\epsilon \)-expansion of generalized hypergeometric functions with integer values of parameters
• On the Hopf algebra strucutre of perturbative quantum field theories
• On the structure of Hopf algebras
• Padé approximations to the logarithm. III: Alternative methods and additional results
• Parameterized telescoping proves algebraic independence of sums
• Primary decomposition of lattice basis ideals
• Product representations in -fields
• Quasi-shuffle products
• Resurrecting the asymptotics of linear recurrences
• Single-valued multiple polylogarithms in one variable
• Solving parameterized linear difference equations in terms of indefinite nested sums and products
• Special values of multiple polylogarithms
• Standard relations of multiple polylogarithm values at roots of unity
• Structural relations of harmonic sums and Mellin transforms at weight w=6
• Structural relations of harmonic sums and Mellin transforms up to weight \(w=5\)
• Structural theorems for symbolic summation
• Structure and asymptotic expansion of multiple harmonic sums
• Summation in Finite Terms
• Symbolic expansion of transcendental functions
• Symbolic summation assists combinatorics
• The \(O(\alpha_s^3)\) massive operator matrix elements of \(O(n_f)\) for the structure function \(F_{2}(x,Q^{2})\) and transversity
• The \(O(\alpha_s^3n_fT_F^2C_{A, F})\) contributions to the gluonic massive operator matrix elements
• The art of computing loop integrals
• The Dilogarithm Function
• The massless higher-loop two-point function
• The multiple zeta value data mine
• The third-order QCD corrections to deep-inelastic scattering by photon exchange
• The three-loop splitting functions in QCD: the non-singlet case
• The three-loop splitting functions in QCD: the singlet case
• Three-mass triangle integrals and single-valued polylogarithms
• Transseries and real differential algebra
• Truncating binomial series with symbolic summation
• When Is 0.999 … Equal to 1?
• XSummer -- transcendental functions and symbolic summation in form

Cited in

(only showing first 100 items - show all)

• The three-loop cusp anomalous dimension in QCD and its supersymmetric extensions
• On the reduction of generalized polylogarithms to \(\mathrm{Li}_n\) and \(\mathrm{Li}_{2,2}\) and on the evaluation thereof
• Quantum spectral curve for a cusped Wilson line in \( \mathcal{N}=4 \) SYM
• Unitarity methods for Mellin moments of Drell-Yan cross sections
• ABJM quantum spectral curve and Mellin transform
• Algebraic independence of sequences generated by (cyclotomic) harmonic sums
• Non-abelian \(Z\)-theory: Berends-Giele recursion for the \(\alpha^{'}\)-expansion of disk integrals
• MPL -- a program for computations with iterated integrals on moduli spaces of curves of genus zero
• The two-mass contribution to the three-loop pure singlet operator matrix element
• Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects
• Automated solution of first order factorizable systems of differential equations in one variable
• Integrals of polylogarithmic functions with negative argument
• General order Euler sums with multiple argument
• Lambert-W solves the noncommutative \(\Phi^4\)-model
• Two-loop coefficient function for DVCS: vector contributions
• Moments in Pearson's four-step uniform random walk problem and other applications of very well-poised generalized hypergeometric series
• Clean single-valued polylogarithms
• The absent-minded passengers problem: a motivating challenge solved by computer algebra
• The three-loop polarized singlet anomalous dimensions from off-shell operator matrix elements
• Analytic continuation of harmonic sums: dispersion representation
• Exact result in \(\mathcal{N} = 4\) SYM theory: generalised double-logarithmic equation
• The two-loop massless off-shell QCD operator matrix elements to finite terms
• BFKL eigenvalue and maximal alternation of harmonic sums
• The polarized three-loop anomalous dimensions from on-shell massive operator matrix elements
• The heavy fermion contributions to the massive three loop form factors
• From positive geometries to a coaction on hypergeometric functions
• Crossing symmetry, transcendentality and the Regge behaviour of 1d CFTs
• The three-loop polarized pure singlet operator matrix element with two different masses
• The three-loop single mass polarized pure singlet operator matrix element
• Subleading logarithmic QED initial state corrections to \(e^+ e^- \to \gamma^\ast / Z^{0^\ast}\) to \(O(\alpha^6 L^5)\)
• The two-mass contribution to the three-loop polarized gluonic operator matrix element \(A_{gg, Q}^{(3)}\)
• The O(^2) initial state QED corrections to e^+ e^- ^ / Z₀^
• The polarized transition matrix element \(A_{gq}(N)\) of the variable flavor number scheme at \(O(\alpha_s^3)\)
• Collider physics at the precision frontier
• The three-loop unpolarized and polarized non-singlet anomalous dimensions from off shell operator matrix elements
• ABJM quantum spectral curve at twist 1: algorithmic perturbative solution
• The unpolarized two-loop massive pure singlet Wilson coefficients for deep-inelastic scattering
• Toward an analytic perturbative solution for the ABJM quantum spectral curve
• Three loop massive operator matrix elements and asymptotic Wilson coefficients with two different masses
• The three-loop splitting functions \(P_{q g}^{(2)}\) and \(P_{g g}^{(2, \operatorname{N}_{\operatorname{F}})}\)
• BFKL spectrum of \( \mathcal{N}=4\): non-zero conformal spin
• P-wave contribution to third-order top-quark pair production near threshold
• The \(O({\alpha}_s^2)\) heavy quark corrections to charged current deep-inelastic scattering at large virtualities
• The transition matrix element \(A_{gq}(N)\) of the variable flavor number scheme at \(O({\alpha}_s^3)\)
• Harmonic sums and polylogarithms at non-positive multi-indices
• Elliptic multiple zeta values and one-loop superstring amplitudes
• Higgs boson contribution to the leading two-loop Yukawa corrections to \(gg \rightarrow HH\)
• The massless three-loop Wilson coefficients for the deep-inelastic structure functions \(F_2\), \(F_L\), \(xF_3\) and \(g_1\)
• Numerical implementation of harmonic polylogarithms to weight w = 8
• From multiple unitarity cuts to the coproduct of Feynman integrals
• Harmonic sums and polylogarithms generated by cyclotomic polynomials
• Differential equations and dispersion relations for Feynman amplitudes. The two-loop massive sunrise and the kite integral
• Iterated binomial sums and their associated iterated integrals
• Discovering and proving infinite binomial sums identities
• Structural relations of harmonic sums and Mellin transforms at weight w=6
• Algorithms for the symbolic integration of hyperlogarithms with applications to Feynman integrals
• Large Scale Analytic Calculations in Quantum Field Theories
• Calculating three loop ladder and V-topologies for massive operator matrix elements by computer algebra
• HARMONIC SUMS, MELLIN TRANSFORMS AND INTEGRALS
• HARMONIC POLYLOGARITHMS
• Analytic computing methods for precision calculations in quantum field theory
• Iterated elliptic and hypergeometric integrals for Feynman diagrams
• scientific article; zbMATH DE number 2143049 (Why is no real title available?)
• A difference ring theory for symbolic summation
• Explicit formulas of sums involving harmonic numbers and Stirling numbers
• Integrals of polylogarithmic functions with alternating argument
• Extensions of the AZ-Algorithm and the Package MultiIntegrate
• Hypergeometric functions and Feynman diagrams
• Nested Integrals and Rationalizing Transformations
• Term algebras, canonical representations and difference ring theory for symbolic summation
• Discovering and proving infinite Pochhammer sum identities
• Infinite summation formulas involving the Riemann-Zeta function
• Harmonic sums, polylogarithms, special numbers, and their generalizations
• Simplifying multiple sums in difference fields
• Harmonic sums and polylogarithms at negative multi-indices
• The analytic structure of the BFKL equation and reflection identities of harmonic sums at weight five
• Algorithms to evaluate multiple sums for loop computations
• scientific article; zbMATH DE number 5050604 (Why is no real title available?)
• The SAGEX review on scattering amplitudes Chapter 3: Mathematical structures in Feynman integrals
• The SAGEX review on scattering amplitudes Chapter 4: Multi-loop Feynman integrals
• Multiple zeta functions and double wrapping in planar \(\mathcal{N} = 4\) SYM
• Beam functions for \(N\)-jettiness at \(\mathrm{N^3LO}\) in perturbative QCD
• The ice cone family and iterated integrals for Calabi-Yau varieties
• Hypergeometric structures in Feynman integrals
• Refined telescoping algorithms in RΠΣ -extensions to reduce the degrees of the denominators✱
• Sun's series via cyclotomic multiple zeta values
• Renormalization of twist-two operators in covariant gauge to three loops in QCD
• Three loop QCD corrections to the heavy-light form factors in the color-planar limit
• The first-order factorizable contributions to the three-loop massive operator matrix elements \(A_{Qg}^{(3)}\) and \(\Delta A_{Qg}^{(3)}\)
• \texttt{MultiHypExp}: a \textsc{Mathematica} package for expanding multivariate hypergeometric functions in terms of multiple polylogarithms
• Black hole perturbation theory and multiple polylogarithms
• The inverse Mellin transform via analytic continuation
• The \(N_f C_F^3\) contribution to the non-singlet splitting function at four-loop order
• Complete N_f^2 contributions to four-loop pure-singlet splitting functions
• Computing Mellin representations and asymptotics of nested binomial sums in a symbolic way: the Rica package
• Analytic auxiliary mass flow to compute master integrals in singular kinematics
• The non-first-order-factorizable contributions to the three-loop single-mass operator matrix elements \(A_{Qg}^{(3)}\) and \(\Delta A_{Qg}^{(3)}\)
• The inverse tangent integral and its association with Euler sums
• The soaring kite: a tale of two punctured tori
• Expansion of hypergeometric functions in terms of polylogarithms with a nontrivial change of variables

Describes a project that uses

Uses Software

• Mathematica
• Nestedsums
• HYPERDIRE
• HarmonicSums

This page was built for publication: Analytic and algorithmic aspects of generalized harmonic sums and polylogarithms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5407665)