Massive 3-loop Feynman diagrams reducible to SC* primitives of algebras of the sixth root of unity

In each of the 10 cases with propagators of unit or zero mass, the finite part of the scalar 3-loop tetrahedral vacuum diagram is reduced to 4-letter words in the 7-letter alphabet of the 1-forms $\Omega:=dz/z$ and $\omega_p:=dz/ (\lambda^{-p}-z)$, where $\lambda$ is the sixth root of unity. Three diagrams yield only $\zeta(\Omega^3\omega_0)=1/90\pi^4$. In two cases $\pi^4$ combines with the Euler-Zagier sum $\zeta(\Omega^2\omega_3\omega_0)=\sum_{m> n>0}(-1)^{m+n}/m^3n$; in three cases it combines with the square of Clausen's $Cl_2(\pi/3)=\Im \zeta(\Omega\omega_1)=\sum_{n>0}\sin(\pi n/3)/n^2$. The case with 6 masses involves no further constant; with 5 masses a Deligne-Euler-Zagier sum appears: $\Re \zeta(\Omega^2\omega_3\omega_1)= \sum_{m>n>0}(-1)^m\cos(2\pi n/3)/m^3n$. The previously unidentified term in the 3-loop rho-parameter of the standard model is merely $D_3=6\zeta(3)-6 Cl_2^2(\pi/3)-{1/24}\pi^4$. The remarkable simplicity of these results stems from two shuffle algebras: one for nested sums; the other for iterated integrals. Each diagram evaluates to 10 000 digits in seconds, because the primitive words are transformable to exponentially convergent single sums, as recently shown for $\zeta(3)$ and $\zeta(5)$, familiar in QCD. Those are SC$^*(2)$ constants, whose base of super-fast computation is 2. Mass involves the novel base-3 set SC$^*(3)$. All 10 diagrams reduce to SC$^*(3)\cup$SC$^* (2)$ constants and their products. Only the 6-mass case entails both bases.Comment: 41 pages, LaTe

A dilogarithmic 3-dimensional Ising tetrahedron

In 3 dimensions, the Ising model is in the same universality class as $\phi^4$-theory, whose massive 3-loop tetrahedral diagram, $C^{Tet}$, was of an unknown analytical nature. In contrast, all single-scale 4-dimensional tetrahedra were reduced, in hep-th/9803091, to special values of exponentially convergent polylogarithms. Combining dispersion relations with the integer-relation finder PSLQ, we find that $C^{Tet}/2^{5/2} = Cl_2(4\alpha) - Cl_2(2\alpha)$, with $Cl_2(\theta):=\sum_{n>0}\sin(n\theta)/n^2$ and $\alpha:=\arcsin\frac13$. This empirical relation has been checked at 1,000-digit precision and readily yields 50,000 digits of $C^{Tet}$, after transformation to an exponentially convergent sum, akin to those studied in math.CA/9803067. It appears that this 3-dimensional result entails a polylogarithmic ladder beginning with the classical formula for $\pi/\sqrt2$, in the manner that 4-dimensional results build on that for $\pi/\sqrt3$.Comment: 8 pages, LaTeX; Eq(25) simplified; Eqs(27,33) and refs[3,18] adde

Two-Loop Gluon-Condensate Contributions To Heavy-Quark Current Correlators: Exact Results And Approximations

The coefficient functions of the gluon condensate $$, in the correlators of heavy-quark vector, axial, scalar and pseudoscalar currents, are obtained analytically, to two loops, for all values of $z=q^2/4m^2$. In the limiting cases $z\to0$, $z\to1$, and $z\to-\infty$, comparisons are made with previous partial results. Approximation methods, based on these limiting cases, are critically assessed, with a view to three-loop work. High accuracy is achieved using a few moments as input. A {\em single} moment, combined with only the {\em leading} threshold and asymptotic behaviours, gives the two-loop corrections to better than 1% in the next 10 moments. A two-loop fit to vector data yields $\approx0.021$ GeV$^4$.Comment: 9 page

Determinations of rational Dedekind-zeta invariants of hyperbolic manifolds and Feynman knots and links

We identify 998 closed hyperbolic 3-manifolds whose volumes are rationally related to Dedekind zeta values, with coprime integers $a$ and $b$ giving $a/b vol(M)=(-D)^{3/2}/(2\pi)^{2n-4} (\zeta_K(2))/(2\zeta(2))$ for a manifold M whose invariant trace field $K$ has a single complex place, discriminant $D$, degree $n$, and Dedekind zeta value $\zeta_K(2)$. The largest numerator of the 998 invariants of Hodgson-Weeks manifolds is, astoundingly, $a=2^4\times23\times37\times691 =9,408,656$; the largest denominator is merely b=9. We also study the rational invariant a/b for single-complex-place cusped manifolds, complementary to knots and links, both within and beyond the Hildebrand-Weeks census. Within the censi, we identify 152 distinct Dedekind zetas rationally related to volumes. Moreover, 91 census manifolds have volumes reducible to pairs of these zeta values. Motivated by studies of Feynman diagrams, we find a 10-component 24-crossing link in the case n=2 and D=-20. It is one of 5 alternating platonic links, the other 4 being quartic. For 8 of 10 quadratic fields distinguished by rational relations between Dedekind zeta values and volumes of Feynman orthoschemes, we find corresponding links. Feynman links with D=-39 and D=-84 are missing; we expect them to be as beautiful as the 8 drawn here. Dedekind-zeta invariants are obtained for knots from Feynman diagrams with up to 11 loops. We identify a sextic 18-crossing positive Feynman knot whose rational invariant, a/b=26, is 390 times that of the cubic 16-crossing non-alternating knot with maximal D_9 symmetry. Our results are secure, numerically, yet appear very hard to prove by analysis.Comment: 53 pages, LaTe

Feynman diagrams as a weight system: four-loop test of a four-term relation

At four loops there first occurs a test of the four-term relation derived by the second author in the course of investigating whether counterterms from subdivergence-free diagrams form a weight system. This test relates counterterms in a four-dimensional field theory with Yukawa and $\phi^4$ interactions, where no such relation was previously suspected. Using integration by parts, we reduce each counterterm to massless two-loop two-point integrals. The four-term relation is verified, with $= 0 - 3\zeta_3 + 6\zeta_3 - 3\zeta_3 = 0$, demonstrating non-trivial cancellation of the trefoil knot and thus supporting the emerging connection between knots and counterterms, via transcendental numbers assigned by four-dimensional field theories to chord diagrams. Restrictions to scalar couplings and renormalizable interactions are found to be necessary for the existence of a pure four-term relation. Strong indications of richer structure are given at five loops.Comment: minor changes, references updated, 10 pages, LaTe

Renormalization automated by Hopf algebra

It was recently shown that the renormalization of quantum field theory is organized by the Hopf algebra of decorated rooted trees, whose coproduct identifies the divergences requiring subtraction and whose antipode achieves this. We automate this process in a few lines of recursive symbolic code, which deliver a finite renormalized expression for any Feynman diagram. We thus verify a representation of the operator product expansion, which generalizes Chen's lemma for iterated integrals. The subset of diagrams whose forest structure entails a unique primitive subdivergence provides a representation of the Hopf algebra ${\cal H}_R$ of undecorated rooted trees. Our undecorated Hopf algebra program is designed to process the 24,213,878 BPHZ contributions to the renormalization of 7,813 diagrams, with up to 12 loops. We consider 10 models, each in 9 renormalization schemes. The two simplest models reveal a notable feature of the subalgebra of Connes and Moscovici, corresponding to the commutative part of the Hopf algebra ${\cal H}_T$ of the diffeomorphism group: it assigns to Feynman diagrams those weights which remove zeta values from the counterterms of the minimal subtraction scheme. We devise a fast algorithm for these weights, whose squares are summed with a permutation factor, to give rational counterterms.Comment: 22 pages, latex, epsf for figure