#### Vol. 9, No. 4, 2020

 Download this article For screen For printing  Recent Issues Volume 12, Issue 2 Volume 12, Issue 1 Volume 11, Issue 4 Volume 11, Issue 3 Volume 11, Issue 2 Volume 11, Issue 1 Volume 10, Issue 4 Volume 10, Issue 3 Volume 10, Issue 2 Volume 10, Issue 1 Volume 9, Issue 4 Volume 9, Issue 3 Volume 9, Issue 2 Volume 9, Issue 1 Volume 8, Issue 4 Volume 8, Issue 3 Volume 8, Issue 2 Volume 8, Issue 1  Older Issues Volume 7, Issue 4 Volume 7, Issue 3 Volume 7, Issue 2 Volume 7, Issue 1 Volume 6, Issue 4 Volume 6, Issue 2-3 Volume 6, Issue 1 Volume 5, Issue 4 Volume 5, Issue 3 Volume 5, Issue 1-2 Volume 4, Issue 4 Volume 4, Issue 3 Volume 4, Issue 2 Volume 4, Issue 1 Volume 3, Issue 3-4 Volume 3, Issue 2 Volume 3, Issue 1 Volume 2, Issue 4 Volume 2, Issue 3 Volume 2, Issue 2 Volume 2, Issue 1 Volume 1, Issue 4 Volume 1, Issue 3 Volume 1, Issue 2 Volume 1, Issue 1  The Journal About the Journal Editorial Board Subscriptions Submission Guidelines Submission Form Policies for Authors Ethics Statement founded and published with the scientific support and advice of mathematicians from the Moscow Institute of Physics and Technology ISSN (electronic): 2640-7361 ISSN (print): 2220-5438 Author Index To Appear Other MSP Journals  Can polylogarithms at algebraic points be linearly independent?

### Sinnou David, Noriko Hirata-Kohno and Makoto Kawashima

Vol. 9 (2020), No. 4, 389–406
##### Abstract

Let $r,m$ be positive integers. Let $0\le x<1$ be a rational number. We denote by ${\Phi }_{s}\left(x,z\right)$ the $s$-th Lerch function

$\sum _{k=0}^{\infty }\frac{{z}^{k+1}}{{\left(k+x+1\right)}^{s}},$

with $s=1,2,\dots ,r$. When $x=0$, this is the polylogarithmic function. Let ${\alpha }_{1},\dots ,{\alpha }_{m}$ be pairwise distinct algebraic numbers with $0<|{\alpha }_{j}|<1$ ($1\le j\le m$). We state a linear independence criterion over algebraic number fields of all the $rm+1$ numbers: ${\Phi }_{1}\left(x,{\alpha }_{1}\right)$, ${\Phi }_{2}\left(x,{\alpha }_{1}\right)$, $\dots \phantom{\rule{0.3em}{0ex}}$, ${\Phi }_{r}\left(x,{\alpha }_{1}\right)$, ${\Phi }_{1}\left(x,{\alpha }_{2}\right)$, ${\Phi }_{2}\left(x,{\alpha }_{2}\right)$, $\dots \phantom{\rule{0.3em}{0ex}}$, ${\Phi }_{r}\left(x,{\alpha }_{2}\right)$, $\dots \phantom{\rule{0.3em}{0ex}}$, ${\Phi }_{1}\left(x,{\alpha }_{m}\right)$, ${\Phi }_{2}\left(x,{\alpha }_{m}\right)$, $\dots \phantom{\rule{0.3em}{0ex}}$, ${\Phi }_{r}\left(x,{\alpha }_{m}\right)$ and $1$. We obtain an explicit sufficient condition for the linear independence of values of the $r$ Lerch functions ${\Phi }_{1}\left(x,z\right)$, $\dots \phantom{\rule{0.3em}{0ex}}$, ${\Phi }_{r}\left(x,z\right)$ at $m$ distinct points in an algebraic number field of arbitrary finite degree without any assumptions on $r$ and $m$. When $x=0$, our result implies the linear independence of polylogarithms of distinct algebraic numbers of arbitrary degree, subject to a metric condition. We give an outline of our proof together with concrete examples of linearly independent polylogarithms.

 Dedicated to the memory of Professor Naum Ilyitch Feldman
##### Keywords
Lerch function, polylogarithms, linear independence, irrationality, Padé approximation
##### Mathematical Subject Classification 2010
Primary: 11G55, 11J72, 11J82, 11J86, 11M35
Secondary: 11D75, 11D88