The multiple zeta value data mine

From MaRDI portal
Publication:615104



Abstract: We provide a data mine of proven results for multiple zeta values (MZVs) of the form zeta(s1,s2,...,sk)=sumn1>n2>...>nk>0infty1/(n1s1>...nksk) with weight w=sumi=1ksi and depth k and for Euler sums of the form sumn1>n2>...>nk>0inftyt(epsilon1n1>...epsilon1nk)/(n1s1...nksk) with signs epsiloni=pm1. Notably, we achieve explicit proven reductions of all MZVs with weights wle22, and all Euler sums with weights wle12, to bases whose dimensions, bigraded by weight and depth, have sizes in precise agreement with the Broadhurst--Kreimer and Broadhurst conjectures. Moreover, we lend further support to these conjectures by studying even greater weights (wle30), using modular arithmetic. To obtain these results we derive a new type of relation for Euler sums, the Generalized Doubling Relations. We elucidate the "pushdown" mechanism, whereby the ornate enumeration of primitive MZVs, by weight and depth, is reconciled with the far simpler enumeration of primitive Euler sums. There is some evidence that this pushdown mechanism finds its origin in doubling relations. We hope that our data mine, obtained by exploiting the unique power of the computer algebra language {sc form}, will enable the study of many more such consequences of the double-shuffle algebra of MZVs, and their Euler cousins, which are already the subject of keen interest, to practitioners of quantum field theory, and to mathematicians alike.


The authors provide a data mine of proven results for Multiple Zeta Values (MZVs) and Euler sums. They investigate the Euler sums to weight \(w=12\) completely, deriving basis-representations for all individual values in an explicit analytic calculation. For the MZVs the same analysis is being performed up to \(w=22\). To \(w=24\) they checked the conjectured size of the basis using modular arithmetic. Under the further conjecture that the basis elements can be chosen out of MZVs of depth \(d\leq \frac{w}{3}\) they confirm the conjecture up to \(w=26\). The following runs at limited depth, using modular arithmetic keeping the highest weight terms only, were performed: \(d=7, w=27;d=6,w=28;d=7,w=29;d=6,w=30\). For the Euler sums complete results were obtained for \(d\leq 3,w=29;d\leq 4,w=22;d\leq 5,w=17\) and for \(d\leq 3,w=51;d\leq 4,w=30;d\leq 5,w=21;d\leq 6,w=17\) using modular arithmetic neglecting products of lower weight.



Cites work


Cited in
(only showing first 100 items - show all)


Describes a project that uses

Uses Software






This page was built for publication: The multiple zeta value data mine

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q615104)