Polylogarithmic ladders, hypergeometric series and the ten millionth digits of $ζ(3)$ and $ζ(5)$

Abstract

We develop ladders that reduce $ζ(n):=\sum_{k>0}k^{-n}$, for $n=3,5,7,9,11$, and $β(n):=\sum_{k\ge0}(-1)^k(2k+1)^{-n}$, for $n=2,4,6$, to convergent polylogarithms and products of powers of $π$ and $\log2$. Rapid computability results because the required arguments of ${\rm Li}_n(z)=\sum_{k>0}z^k/k^n$ satisfy $z^8=1/16^p$, with $p=1,3,5$. We prove that $G:=β(2)$, $π^3$, $\log^32$, $ζ(3)$, $π^4$, $\log^42$, $\log^52$, $ζ(5)$, and six products of powers of $π$ and $\log2$ are constants whose $d$th hexadecimal digit can be computed in time~$=O(d\log^3d)$ and space~$=O(\log d)$, as was shown for $π$, $\log2$, $π^2$ and $\log^22$ by Bailey, Borwein and Plouffe. The proof of the result for $ζ(5)$ entails detailed analysis of hypergeometric series that yield Euler sums, previously studied in quantum field theory. The other 13 results follow more easily from Kummer's functional identities. We compute digits of $ζ(3)$ and $ζ(5)$, starting at the ten millionth hexadecimal place. These constants result from calculations of massless Feynman diagrams in quantum chromodynamics. In a related paper, hep-th/9803091, we show that massive diagrams also entail constants whose base of super-fast computation is $b=3$.