Help Privacy Policy Disclaimer
  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 Resource
No external resources are shared
Fulltext (restricted access)
There are currently no full texts shared for your IP range.
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: https://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.