Linear independence of values of polylogarithms with periodic coefficients, outside the disk of convergence

For any non-zero periodic function f,: Z $\to$ C of period N ___ 1 and any non-zero algebraic number z_0 that doesn’t lie on a half-line [e^2i$\mathrm{\ell }$$\pi$/N , e^2i$\mathrm{\ell }$$\pi$/N $\mathrm{\infty }$[, 0 ___ $\mathrm{\ell }$ ___ N -1, we give a lower bound of order sqrt{s/log(s)} on the dimension of the Q(z_0 )-vector space spanned by the numbers L(f, i, z_0 ),: sum_{m=1}^$\mathrm{\infty }$ f(m)z_0^m/m^i. This generalizes a result Fischler proved in 2026, corresponding to f identically equal to 1 and |z_0| ___ 1: in this case, the numbers L(f, i, z_0 ) = Li_i (z_0 ) are polylogarithm values. Except for a finite number of cuts in the complex plane, our result still holds when |z_0 | > 1, that is in a domain where the series definition above for the numbers L(f, i, z_0 ) doesn’t converge anymore, and we make sense of these numbers through analytic continuation. To obtain this result, we construct linear combinations of the numbers L(f, i, z_0 ) using a refined version of Siegel’s lemma, and we apply to them a linear independence criterion generalizing the one used by Fischler. To check the assumptions of this criterion, we rely on an integral representation of the polylogarithm functions and on a ‘‘Shidlovskii lemma’’.