On the enumeration of irreducible k-fold Euler sums and their roles in knot theory and field theory

Abstract

A generating function is given for the number, $E(l,k)$, of irreducible $k$-fold Euler sums, with all possible alternations of sign, and exponents summing to $l$. Its form is remarkably simple: ${\sum }_{n}E(k+2n,k)x^n={\sum }_{d|k}\mu (d)(1-x^d{)}^{-k/d}/k$, where $\mu$ is the Möbius function. Equivalently, the size of the search space in which $k$-fold Euler sums of level $l$ are reducible to rational linear combinations of irreducible basis terms is $S(l,k)={\sum }_{n<k}\left(\genfrac{}{}{0ex}{}{\lfloor (l+n-1)/2\rfloor }{n}\right)$. Analytical methods, using Tony Hearn's REDUCE, achieve this reduction for the 3698 convergent double Euler sums with $l\le 44$; numerical methods, using David Bailey's MPPSLQ, achieve it for the 1457 convergent $k$-fold sums with $l\le 7$; combined methods yield bases for all remaining search spaces with $S(l,k)\le 34$. These findings confirm expectations based on Dirk Kreimer's connection of knot theory with quantum field theory. The occurrence in perturbative quantum electrodynamics of all 12 irreducible Euler sums with $l\le 7$ is demonstrated. It is suggested that no further transcendental occurs in the four-loop contributions to the electron's magnetic moment. Irreducible Euler sums are found to occur in explicit analytical results, for counterterms with up to 13 loops, yielding transcendental knot-numbers, up to 23 crossings.

34 pages, LaTeX

Cited by in corpus (30)

• The Multiple Zeta Value Data Mine
• Space-time dimensionality D as complex variable: calculating loop integrals using dimensional recurrence relation and analytical properties with respect to D
• Motivic Multiple Zeta Values and Superstring Amplitudes
• High-precision epsilon expansions of single-mass-scale four-loop vacuum bubbles
• Gauss hypergeometric function: reduction, epsilon-expansion for integer/half-integer parameters and Feynman diagrams
• Light quark mass effects in the on-shell renormalization constants
• All order epsilon-expansion of Gauss hypergeometric functions with integer and half/integer values of parameters
• Leptonic contributions to the effective electromagnetic coupling at four-loop order in QED
• Simultaneous decoupling of bottom and charm quarks
• Introducing SummerTime: a package for high-precision computation of sums appearing in DRA method
• Three-loop on-shell Feynman integrals with two masses
• Habilitationsschrift: Renormalization and Knot Theory
• The parity theorem for multiple polylogarithms
• Calculating three-loop diagrams in Heavy Quark Effective Theory with integration-by-parts recurrence relations
• Special Values of Multiple Polylogarithms
• Decoupling of heavy quarks in HQET
• Differential Reduction Algorithms for Hypergeometric Functions Applied to Feynman Diagram Calculation
• Higher order QCD results for the fermionic contributions of the Higgs-boson decay into two photons and the decoupling function for the MSbar renormalized fine-structure constant
• Multiple Deligne values: a data mine with empirically tamed denominators
• Hypergeometric functions, their epsilon expansions and Feynman diagrams
• Algorithms to Evaluate Multiple Sums for Loop Computations
• Differential Reduction Algorithms for the All-Order Epsilon Expansion of Hypergeometric Functions
• Feynman diagrams and polylogarithms: shuffles and pentagons
• On certain combination of colored multizeta values
• About a conjectured basis for Multiple Zeta Values
• Alternating multizeta values in positive characteristic
• Multiple Landen values and the tribonacci numbers
• Introduction to XLOOPS
• On knots in subdivergent diagrams
• Hopf algebras and alternating multiple zeta values in positive characteristic