User Manual Privacy Policy Disclaimer Contact us
  Advanced SearchBrowse




Journal Article

A sixteenth-order polylogarithm ladder.


Lewin,  Leonard
Max Planck Society;


Zagier,  Don
Max Planck Institute for Mathematics, Max Planck Society;

External Ressource
No external resources are shared
Fulltext (public)
There are no public fulltexts stored in PuRe
Supplementary Material (public)
There is no public supplementary material available

Cohen, H., Lewin, L., & Zagier, D. (1992). A sixteenth-order polylogarithm ladder. Experimental Mathematics, 1(1), 25-34.

Cite as: http://hdl.handle.net/21.11116/0000-0004-3916-4
The mth polylogarithm function is defined by \textLi\sb m(z)=\sum\sp ∞\sbn=1z\sp nn\sp-m. The modified polylogarithm is defined by P\sb m(x)=\textRe\sb m≤ft(\sum\sp m\sbr=02\sp rB\sb r(r!)\sp- 1(\log\vert x\vert)\sp r\textLi\sbm-r(x)\right), where \textRe\sb m is the real part if m is odd, and the imaginary part if m is even. It is desired to find linear relations between P-values of powers of an algebraic integer.\par Starting from \prod\sp ∞\sbn=1(α\sp n-1)\spc\sb n=ζα\sp N, where c\sb n=0 for almost all n, and ζ is a root of unity, one obtains \sum\sp ∞\sbn=1c\sb nP\sb 1(α\sp n)=0. Now P\sb 1(α\sp n) is replaced by n\sp-(m- 1)P\sb m(α\sp n) to give \sum\sp ∞\sbn=1c\sb nn\sp-(m- 1)P\sb m(α\sp n)=0, but not all these relations are true. To establish conjecturally which ones are true the functions P are evaluated to a large number of decimal places (up to 305). At each increase of m some relations have to be discarded: the authors start with enough relations to reach m=16. One of the conjectured relations is given explicitly; it involves coefficients with up to 71 digits.