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

 Recent Issues Volume 12, Issue 3 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

We have not been able to recognize your IP address 18.206.48.243 as that of a subscriber to this journal.
Online access to the content of recent issues is by subscription, or purchase of single articles.

or by using our contact form.