24 research outputs found

    Can polylogarithms at algebraic points be linearly independent?

    Full text link
    Let r,mr,m be positive integers. Let 0x<10\le x <1 be a rational number. Let Φs(x,z)\Phi_s(x,z) be the ss-th Lerch function k=0zk+1(k+x+1)s\sum_{k=0}^{\infty}\tfrac{z^{k+1}}{(k+x+1)^s} with s=1,2,,rs=1,2,\ldots ,r. When x=0x=0, this is the polylogarithmic function. Let α1,,αm\alpha_1,\ldots ,\alpha_m be pairwise distinct algebraic numbers with 0<αj<10<|\alpha_j|<1 (1jm)(1 \le j \le m). In this article, we state a linear independence criterion over algebraic number fields of all the rm+1rm+1 numbers :: Φ1(x,α1),Φ2(x,α1),,Φr(x,α1),Φ1(x,α2),Φ2(x,α2),,Φr(x,α2),,Φ1(x,αm),Φ2(x,αm),,Φr(x,αm)\Phi_1(x,\alpha_1),\Phi_2(x,\alpha_1),\ldots, \Phi_r(x,\alpha_1),\Phi_1(x,\alpha_2),\Phi_2(x,\alpha_2),\ldots, \Phi_r(x,\alpha_2),\ldots,\Phi_1(x,\alpha_m),\Phi_2(x,\alpha_m),\ldots, \Phi_r(x,\alpha_m) and 11. This is the first result that gives a sufficient condition for the linear independence of values of the rr Lerch functions Φ1(x,z),Φ2(x,z),,Φr(x,z)\Phi_1(x,z),\Phi_2(x,z),\ldots, \Phi_r(x,z) at mm distinct algebraic points without any assumption for rr and mm, even for the case x=0x=0, the polylogarithms. We give an outline of our proof and explain basic idea

    SS-unit equation in two variables and Pad\'{e} approximations

    Full text link
    In this article, we use Pad\'{e} approximations constructed for binomial functions, to give a new upper bound for the number of the solutions of the SS-unit equation. Combining explicit formulae of these Pad\'{e} approximants with a simple argument relying on Mahler measure and on the local height, we refine the bound due to J.-H. Evertse.Comment: 13 page

    A key exchange protocol based on Diophantine equations and S-integers

    Get PDF

    ON THE NAGELL-LJUNGGREN EQUATION (Analytic Number Theory : Distribution and Approximation of Arithmetic Objects)

    Get PDF
    We show that there exists an effective upper bound for the solutions to the Nagell-Ljunggren equation of the form --=y^{q} in 4 unknowns in integers x>1, y>1, m>2, q>1, when x is a cube of an integer. Our method relies on a refined estimate of linear forms in logarithms
    corecore