Proof of the Borwein-Broadhurst conjecture for a dilogarithmic integral arising in quantum field theory

Abstract

Borwein and Broadhurst, using experimental-mathematics techniques, in 1998 identified numerous hyperbolic 3-manifolds whose volumes are rationally related to values of various Dirichlet L series ${\text{L}}_d(s)$. In particular, in the simplest case of an ideal tetrahedron in hyperbolic space, they conjectured that a dilogarithmic integral representing the volume equals to ${\text{L}}_{-7}(2)$. Here we have provided a formal proof of this conjecture which has been recently numerically verified (to at least 19,995 digits, using 45 minutes on 1024 processors) in cutting-edge computing experiments. The proof essentially relies on the results of Zagier on the formula for the value of Dedekind zeta function ${\zeta }_{\mathbb{K}}(2)$ for an arbitrary field $\mathbb{K}$.

8 pages, 1 figure

References in corpus (4)

• Elliptic integral evaluations of Bessel moments
• Experimental mathematics on the magnetic susceptibility of the square lattice Ising model
• The diagonal Ising susceptibility
• Evaluation of a ln tan integral arising in quantum field theory