Analytic and Algorithmic Aspects of Generalized Harmonic Sums and Polylogarithms

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 $\pm 1$. 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é 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 {\tt HarmonicSums}.

75 pages, 1 figure

References in corpus (22)

• HypExp 2, Expanding Hypergeometric Functions about Half-Integer Parameters
• The massless higher-loop two-point function
• A Computer Algebra Toolbox for Harmonic Sums Related to Particle Physics
• Single-valued harmonic polylogarithms and the multi-Regge limit
• A Refined Difference Field Theory for Symbolic Summation
• Computer Algebra Algorithms for Special Functions in Particle Physics
• The Theory of Deeply Inelastic Scattering
• Three-mass triangle integrals and single-valued polylogarithms
• Gauss hypergeometric function: reduction, epsilon-expansion for integer/half-integer parameters and Feynman diagrams
• Modern Summation Methods and the Computation of 2- and 3-loop Feynman Diagrams
• Massive 3-loop Ladder Diagrams for Quarkonic Local Operator Matrix Elements
• $O({\alpha }_s^2)$ Timelike Wilson Coefficients for Parton-Fragmentation Functions in Mellin Space
• The $O({\alpha }_s^3{n}_f{T}_F^2{C}_{A,F})$} Contributions to the Gluonic Massive Operator Matrix Elements
• Analytic continuation of the Mellin moments of deep inelastic structure functions
• A Symbolic Summation Approach to Find Optimal Nested Sum Representations
• Generalised ladders and single-valued polylogarithms
• Evaluation of Multi-Sums for Large Scale Problems
• On the all-order epsilon-expansion of generalized hypergeometric functions with integer values of parameters
• Advanced Computer Algebra Algorithms for the Expansion of Feynman Integrals
• Structural Relations between Harmonic Sums up to w=6
• Three-Loop Contributions to the Gluonic Massive Operator Matrix Elements at General Values of N
• New Results on the 3-Loop Heavy Flavor Wilson Coefficients in Deep-Inelastic Scattering

Cited by in corpus (113)

• Algorithms for the symbolic integration of hyperlogarithms with applications to Feynman integrals
• Lectures on differential equations for Feynman integrals
• Elliptic multiple zeta values and one-loop superstring amplitudes
• Differential equations and dispersion relations for Feynman amplitudes. The two-loop massive sunrise and the kite integral
• Collider Physics at the Precision Frontier
• Elliptic Feynman integrals and pure functions
• Calculating Three Loop Ladder and V-Topologies for Massive Operator Matrix Elements by Computer Algebra
• The 3-Loop Non-Singlet Heavy Flavor Contributions and Anomalous Dimensions for the Structure Function $F_2(x,Q^2)$ and Transversity
• The 3-Loop Pure Singlet Heavy Flavor Contributions to the Structure Function $F_2(x,Q^2)$ and the Anomalous Dimension
• Non-abelian $Z$-theory: Berends-Giele recursion for the ${\alpha }^{\prime }$-expansion of disk integrals
• Iterated Elliptic and Hypergeometric Integrals for Feynman Diagrams
• The three-loop cusp anomalous dimension in QCD
• The three-loop cusp anomalous dimension in QCD and its supersymmetric extensions
• The three-loop unpolarized and polarized non-singlet anomalous dimensions from off shell operator matrix elements
• Iterated Binomial Sums and their Associated Iterated Integrals
• The Transition Matrix Element A_{gq}(N) of the Variable Flavor Number Scheme at O(α_s^3)
• NNLO BFKL Pomeron eigenvalue in N=4 SYM
• Automated Solution of First Order Factorizable Systems of Differential Equations in One Variable
• Modern Summation Methods for Loop Integrals in Quantum Field Theory: The Packages Sigma, EvaluateMultiSums and SumProduction
• Calculating Massive 3-loop Graphs for Operator Matrix Elements by the Method of Hyperlogarithms
• Analytic results for two-loop master integrals for Bhabha scattering I
• Two-loop helicity amplitudes for diphoton plus jet production in full color
• From multiple unitarity cuts to the coproduct of Feynman integrals
• The three-loop polarized singlet anomalous dimensions from off-shell operator matrix elements
• Quantum Spectral Curve for a Cusped Wilson Line in N=4 SYM
• The massless three-loop Wilson coefficients for the deep-inelastic structure functions $F_2,F_L,x{F}_3$ and $g_1$
• The Complete $O({\alpha }_s^2)$ Non-Singlet Heavy Flavor Corrections to the Structure Functions $g_{1,2}^{ep}(x,Q^2)$, $F_{1,2,L}^{ep}(x,Q^2)$, $F_{1,2,3}^{\nu (\bar{\nu })}(x,Q^2)$ and the Associated Sum Rules
• On the reduction of generalized polylogarithms to ${\text{Li}}_n$ and ${\text{Li}}_{2,2}$ and on the evaluation thereof
• The Three-Loop Splitting Functions $P_{qg}^{(2)}$ and $P_{gg}^{(2,N_F)}$
• The $O({\alpha }_s^2)$ Heavy Quark Corrections to Charged Current Deep-Inelastic Scattering at large Virtualities
• The O(α_s^3 T_F^2) Contributions to the Gluonic Operator Matrix Element
• The SAGEX Review on Scattering Amplitudes, Chapter 3: Mathematical structures in Feynman integrals
• Three Loop Massive Operator Matrix Elements and Asymptotic Wilson Coefficients with Two Different Masses
• Simplified differential equations approach for Master Integrals
• The Polarized Three-Loop Anomalous Dimensions from On-Shell Massive Operator Matrix Elements
• Generalized Harmonic, Cyclotomic, and Binomial Sums, their Polylogarithms and Special Numbers
• The Heavy Quark Form Factors at Two Loops
• Towards a fitting procedure to deeply virtual meson production -- the next-to-leading order case --
• Black hole perturbation theory and multiple polylogarithms
• Numerical Implementation of Harmonic Polylogarithms to Weight w = 8
• The Heavy Fermion Contributions to the Massive Three Loop Form Factors
• Crossing symmetry, transcendentality and the Regge behaviour of 1d CFTs
• The ice cone family and iterated integrals for Calabi-Yau varieties
• Mixed QCD-electroweak corrections to W-boson production in hadron collisions
• Analytic Computing Methods for Precision Calculations in Quantum Field Theory
• NNLO QCD$\times$EW corrections to Z production in the $q\bar{q}$ channel
• Heavy Quark Form Factors at Three Loops in the Planar Limit
• The 3-Loop Non-Singlet Heavy Flavor Contributions to the Structure Function g_1(x,Q^2) at Large Momentum Transfer
• Higgs boson contribution to the leading two-loop Yukawa corrections to $gg\to HH$
• The Kinetic Heavy Quark Mass to Three Loops
• The O(α_s^3) Heavy Flavor Contributions to the Charged Current Structure Function xF_3(x,Q^2) at Large Momentum Transfer
• MPL - a program for computations with iterated integrals on moduli spaces of curves of genus zero
• The three-loop single mass polarized pure singlet operator matrix element
• On the relation between the $\overline{\mathrm{MS}}$ and the kinetic mass of heavy quarks
• Massive planar and non-planar double box integrals for light Nf contributions to gg->tt
• The two-mass contribution to the three-loop pure singlet operator matrix element
• A semi-analytic method to compute Feynman integrals applied to four-loop corrections to the $\overline{\mathrm{MS}}$-pole quark mass relation
• From positive geometries to a coaction on hypergeometric functions
• P-wave contribution to third-order top-quark pair production near threshold
• The Polarized Transition Matrix Element $A_{gq}(N)$ of the Variable Flavor Number Scheme at $O({\alpha }_s^3)$
• BFKL Spectrum of N=4 SYM: non-Zero Conformal Spin
• Higgs decay into massive b-quarks at NNLO QCD in the nested soft-collinear subtraction scheme
• The Two-mass Contribution to the Three-Loop Gluonic Operator Matrix Element $A_{gg,Q}^{(3)}$
• The $O({\alpha }^2)$ Initial State QED Corrections to $e^{+}{e}^{-}$ Annihilation to a Neutral Vector Boson Revisited
• Exact results for $Z_m^{\mathrm{OS}}$ and $Z_2^{\mathrm{OS}}$ with two mass scales and up to three loops
• Two-loop coefficient function for DVCS: Vector contributions
• Subleading Logarithmic QED Initial State Corrections to $e^{+}{e}^{-}\to {\gamma }^{\ast }/{Z^0}^{\ast }$ to $O({\alpha }^6{L}^5)$
• The $O({\alpha }^2)$ Initial State QED Corrections to $e^{+}{e}^{-}\to {\gamma }^{\ast }/Z_0^{\ast }$
• The three-loop polarized pure singlet operator matrix element with two different masses
• Analytic approximations of $2\to 2$ processes with massive internal particles
• On the computation of finite bottom-quark mass effects in Higgs boson production
• Massive three-loop form factors: anomaly contribution
• The $N_f{C}_F^3$ contribution to the non-singlet splitting function at four-loop order
• Bootstrapping elliptic Feynman integrals using Schubert analysis
• The Unpolarized and Polarized Single-Mass Three-Loop Heavy Flavor Operator Matrix Elements $A_{gg,Q}$ and $\Delta A_{gg,Q}$
• Complete $N_f^2$ contributions to four-loop pure-singlet splitting functions
• The Logarithmic Contributions to the Polarized and Operator Matrix Elements in Deeply Inelastic Scattering
• The Two-mass Contribution to the Three-Loop Polarized Operator Matrix Element $A_{gg,Q}^{(3)}$
• The first-order factorizable contributions to the three-loop massive operator matrix elements $A_{Qg}^{(3)}$ and $\Delta A_{Qg}^{(3)}$
• The unpolarized two-loop massive pure singlet Wilson coefficients for deep-inelastic scattering
• The SAGEX Review on Scattering Amplitudes, Chapter 4: Multi-loop Feynman Integrals
• Beam functions for $N$-jettiness at N${}^3$LO in perturbative QCD
• Iterated integrals over letters induced by quadratic forms
• Schottky-Kronecker forms and hyperelliptic polylogarithms
• Lambert-W solves the noncommutative ${\Phi }^4$-model
• Master integrals for splitting functions from differential equations in QCD
• The Two-Loop Massless Off-Shell QCD Operator Matrix Elements to Finite Terms
• Top-quark pair production at next-to-next-to-leading order QCD in electron positron collisions
• The inverse Mellin transform via analytic continuation
• The non-first-order-factorizable contributions to the three-loop single-mass operator matrix elements $A_{Qg}^{(3)}$ and $\Delta A_{Qg}^{(3)}$
• ABJM quantum spectral curve and Mellin transform
• Renormalization of twist-two operators in covariant gauge to three loops in QCD
• The real-virtual antenna functions for $S\to Q\bar{Q}X$ at NNLO QCD
• The QED Initial State Corrections to the Forward-Backward Asymmetry of $e^{+}{e}^{-}\to {\gamma }^{\ast }/Z^{0\ast }$ to Higher Orders
• Massive two-loop four-point Feynman integrals at high energies with AsyInt
• High Precision QED Initial State Corrections for $e^{+}{e}^{-}\to {\gamma }^{\ast }/Z^{\ast }$ Annihilation
• A Novel Algorithm for Nested Summation and Hypergeometric Expansions
• Expansion of hypergeometric functions in terms of polylogarithms with nontrivial variable change
• Charm-quark mass effects in NRQCD matching coefficients and the leptonic decay of the ${\rm Y}(1S)$ meson
• BFKL Eigenvalue and Maximal Alternation of Harmonic Sums
• Exact result in N=4 SYM theory: Generalised double-logarithmic equation
• On analytical perturbative solution of ABJM quantum spectral curve
• ABJM quantum spectral curve at twist 1: algorithmic perturbative solution
• Single-valued representation of unpolarized and polarized semi-inclusive deep inelastic scattering at next-to-next-to-leading order
• Analytic continuation of harmonic sums: dispersion representation
• Scalar 1-loop Feynman integrals as meromorphic functions in space-time dimension d, II: Special kinematics
• Unitarity methods for Mellin moments of Drell-Yan cross sections
• Three-loop helicity amplitudes for four-quark scattering in massless QCD
• Analytic continuation of harmonic sums with purely imaginary indices near the integer values
• 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
• Three loop QCD corrections to heavy quark form factors
• Two-loop master integrals for pseudo-scalar quarkonium and leptonium production and decay