A seventeenth-order polylogarithm ladder
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
1999
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866912655854272512 |
|---|---|
| author | Bailey, David H. Broadhurst, David J. |
| author_facet | Bailey, David H. Broadhurst, David J. |
| contents | Cohen, Lewin and Zagier found four ladders that entail the polylogarithms ${\rm Li}_n(α_1^{-k}):=\sum_{r>0}α_1^{-k r}/r^n$ at order $n=16$, with indices $k\le360$, and $α_1$ being the smallest known Salem number, i.e. the larger real root of Lehmer's celebrated polynomial $α^{10}+α^9-α^7-α^6-α^5-α^4-α^3+α+1$, with the smallest known non-trivial Mahler measure. By adjoining the index $k=630$, we generate a fifth ladder at order 16 and a ladder at order 17 that we presume to be unique. This empirical integer relation, between elements of $\{{\rm Li}_{17}(α_1^{-k})\mid0\le k\le630\}$ and $\{π^{2j}(\logα_1)^{17-2j}\mid 0\le j\le8\}$, entails 125 constants, multiplied by integers with nearly 300 digits. It has been checked to more than 59,000 decimal digits. Among the ladders that we found in other number fields, the longest has order 13 and index 294. It is based on $α^{10}-α^6-α^5-α^4+1$, which gives the sole Salem number $α<1.3$ with degree $d<12$ for which $α^{1/2}+α^{-1/2}$ fails to be the largest eigenvalue of the adjacency matrix of a graph. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_math_9906134 |
| institution | arXiv |
| publishDate | 1999 |
| record_format | arxiv |
| spellingShingle | A seventeenth-order polylogarithm ladder Bailey, David H. Broadhurst, David J. Classical Analysis and ODEs Numerical Analysis Number Theory Cohen, Lewin and Zagier found four ladders that entail the polylogarithms ${\rm Li}_n(α_1^{-k}):=\sum_{r>0}α_1^{-k r}/r^n$ at order $n=16$, with indices $k\le360$, and $α_1$ being the smallest known Salem number, i.e. the larger real root of Lehmer's celebrated polynomial $α^{10}+α^9-α^7-α^6-α^5-α^4-α^3+α+1$, with the smallest known non-trivial Mahler measure. By adjoining the index $k=630$, we generate a fifth ladder at order 16 and a ladder at order 17 that we presume to be unique. This empirical integer relation, between elements of $\{{\rm Li}_{17}(α_1^{-k})\mid0\le k\le630\}$ and $\{π^{2j}(\logα_1)^{17-2j}\mid 0\le j\le8\}$, entails 125 constants, multiplied by integers with nearly 300 digits. It has been checked to more than 59,000 decimal digits. Among the ladders that we found in other number fields, the longest has order 13 and index 294. It is based on $α^{10}-α^6-α^5-α^4+1$, which gives the sole Salem number $α<1.3$ with degree $d<12$ for which $α^{1/2}+α^{-1/2}$ fails to be the largest eigenvalue of the adjacency matrix of a graph. |
| title | A seventeenth-order polylogarithm ladder |
| topic | Classical Analysis and ODEs Numerical Analysis Number Theory |
| url | https://arxiv.org/abs/math/9906134 |