-
Approximation measures for shifted logarithms of algebraic numbers via effective Poincare-Perron
Authors:
Noriko Hirata-Kohno,
Ryuji Muroi,
Yusuke Washio
Abstract:
In this article, we show new effective approximation measures for the shifted logarithm of algebraic numbers which belong to a number field of arbitrary degree. Our measures refine previous ones including those for usual logarithms. We adapt Pade approximants constructed by M. Kawashima and A. Poels in the rational case. Our key ingredient relies on the Poincare-Perron theorem which gives us asymp…
▽ More
In this article, we show new effective approximation measures for the shifted logarithm of algebraic numbers which belong to a number field of arbitrary degree. Our measures refine previous ones including those for usual logarithms. We adapt Pade approximants constructed by M. Kawashima and A. Poels in the rational case. Our key ingredient relies on the Poincare-Perron theorem which gives us asymptotic estimates at every archimedean place of the number field, that we apply to decide whether the shifted logarithm lies outside of the number field. We use Perron's second theorem and its modification due to M. Pituk to handle general cases.
△ Less
Submitted 10 December, 2024; v1 submitted 16 June, 2024;
originally announced June 2024.
-
$S$-unit equation in two variables and Padé approximations
Authors:
Noriko Hirata-Kohno,
Makoto Kawashima,
Anthony Poëls,
Yukiko Washio
Abstract:
In this article, we use Padé approximations constructed for binomial functions, to give a new upper bound for the number of the solutions of the $S$-unit equation. Combining explicit formulae of these Padé approximants with a simple argument relying on Mahler measure and on the local height, we refine the bound due to J.-H. Evertse.
In this article, we use Padé approximations constructed for binomial functions, to give a new upper bound for the number of the solutions of the $S$-unit equation. Combining explicit formulae of these Padé approximants with a simple argument relying on Mahler measure and on the local height, we refine the bound due to J.-H. Evertse.
△ Less
Submitted 25 November, 2022;
originally announced November 2022.
-
Generalized hypergeometric $G$-functions take linear independent values
Authors:
Sinnou David,
Noriko Hirata-Kohno,
Makoto Kawashima
Abstract:
In this article, we show a new general linear independence criterion related to values of $G$-functions, including the linear independence of values at algebraic points of contiguous hypergeometric functions, which is not known before. Let $K$ be any algebraic number field and $v$ be a place of $K$. Let $r\in\mathbb{Z}$ with $r\ge2$. Consider…
▽ More
In this article, we show a new general linear independence criterion related to values of $G$-functions, including the linear independence of values at algebraic points of contiguous hypergeometric functions, which is not known before. Let $K$ be any algebraic number field and $v$ be a place of $K$. Let $r\in\mathbb{Z}$ with $r\ge2$. Consider $a_1,\ldots,a_{r}, b_1,\ldots,b_{r-1}\in \mathbb{Q}\setminus\{0\}$ not being negative integers. Assume neither $a_k$ nor $a_k+1-b_j$ be strictly positive integers $(1\le k \le r, 1\le j \le r-1)$. Let $α_1,\ldots,α_m\in K\setminus\{0\}$ with $α_1,\ldots,α_m$ pairwise distinct. By choosing sufficiently large $β\in \mathbb{Z}$ depending on $K$ and $v$ such that the points $α_1/β,\ldots,α_m/β$ are closed enough to the origin, we prove that the $rm+1$ numbers~$:$ \begin{align*} &{}_{r}F_{r-1} \biggl(\begin{matrix} a_1,\ldots, a_r\\ b_1, \ldots, b_{r-1} \end{matrix} \biggm| \dfrac{α_i}β\biggr)\enspace, \ \ {}_{r}F_{r-1} \biggl(\begin{matrix} a_1+1,\ldots,\ldots,\ldots,a_r+1\\ b_1+1, \ldots, b_{r-s}+1,b_{r-s+1},\ldots,b_{r-1} \end{matrix} \biggm| \dfrac{α_i}β\biggr)\enspace\\ &(1\le i \le m, 1\le s \le r-1)\end{align*} and $1$ are linearly independent over $K$. The essential ingredient is our term-wise formal construction of type II of Padé approximants together with new non-vanishing argument for the generalized Wronskian.
△ Less
Submitted 28 February, 2022;
originally announced March 2022.
-
Linear independence criteria for generalized polylogarithms with distinct shifts
Authors:
Sinnou David,
Noriko Hirata-Kohno,
Makoto Kawashima
Abstract:
For a given rational number $x$ and an integer $s\geq 1$, let us consider a generalized polylogarithmic function, often called the Lerch function, defined by $$Φ_{s}(x,z)= \sum_{k=0}^{\infty}\frac{z^{k+1}}{(k+x+1)^s}\enspace.$$ We prove the linear independence over any number field $K$ of the numbers $1$ and $Φ_{s_j}(x_j,α_i)$ with any choice of distinct shifts $x_1,\ldots, x_d$ with…
▽ More
For a given rational number $x$ and an integer $s\geq 1$, let us consider a generalized polylogarithmic function, often called the Lerch function, defined by $$Φ_{s}(x,z)= \sum_{k=0}^{\infty}\frac{z^{k+1}}{(k+x+1)^s}\enspace.$$ We prove the linear independence over any number field $K$ of the numbers $1$ and $Φ_{s_j}(x_j,α_i)$ with any choice of distinct shifts $x_1,\ldots, x_d$ with $0\le x_1<\ldots<x_d<1$, as well as any choice of depths $1\leq s_1\leq r_1,\ldots, 1\leq s_d\leq r_d$, at distinct algebraic numbers $α_1,\ldots,α_m\in K$ subject to a metric condition. As is usual in the theory, the points $α_i$ need to be chosen sufficiently close to zero with respect to a given fixed place $v_0$ of $K$, Archimedean or finite.
This is the first linear independence result with distinct shifts $x_1, \ldots, x_d$ that allows values at different points for generalized polylogarithmic functions. Previous criteria were only for the functions with one fixed shift or at one point. Further, we establish another linear independence criterion for values of the generalized polylogarithmic function with cyclic coefficients. Let $q\geq 1$ be an integer and $\boldsymbol{a}=(a_1,\ldots, a_q)\in K^q$ be a $q$-tuple whose coordinates supposed to be cyclic with the period $q$. Consider the generalized polylogarithmc function with coefficients $$Φ_{\boldsymbol{a},s}(x,z)= \sum_{k=0}^{\infty}\frac{a_{k+1\bmod(q)}\cdot z^{k+1}}{(k+x+1)^s}\enspace.$$ Under suitable condition, we show that the values of these functions are linearly independent over $K$. Our key tool is a new non-vanishing property for a generalized Wronskian of Hermite type associated to our explicit constructions of Padé approximants for this family of generalized polylogarithmic function.
△ Less
Submitted 5 January, 2023; v1 submitted 28 February, 2022;
originally announced February 2022.
-
Linear Forms in Polylogarithms
Authors:
Sinnou David,
Noriko Hirata-Kohno,
Makoto Kawashima
Abstract:
Let $r, \,m$ be positive integers. Let $x$ be a rational number with $0 \le x <1$. Consider $Φ_s(x,z) =\displaystyle\sum_{k=0}^{\infty}\frac{z^{k+1}}{{(k+x+1)}^s}$ the $s$-th Lerch function with $s=1, 2, \cdots, r$. When $x=0$, this is a polylogarithmic function. Let $α_1, \cdots, α_m$ be pairwise distinct algebraic numbers of arbitrary degree over the rational number field, with…
▽ More
Let $r, \,m$ be positive integers. Let $x$ be a rational number with $0 \le x <1$. Consider $Φ_s(x,z) =\displaystyle\sum_{k=0}^{\infty}\frac{z^{k+1}}{{(k+x+1)}^s}$ the $s$-th Lerch function with $s=1, 2, \cdots, r$. When $x=0$, this is a polylogarithmic function. Let $α_1, \cdots, α_m$ be pairwise distinct algebraic numbers of arbitrary degree over the rational number field, with $0<|α_j|<1 \,\,\,(1\leq j \leq m)$. In this article, we show a criterion for the linear independence, over an algebraic number field containing $\mathbb{Q}(α_1, \cdots, α_m)$, of all the $rm+1$ numbers : $Φ_1(x,α_1)$, $Φ_2(x,α_1), $ $\cdots , Φ_r(x,α_1)$, $Φ_1(x,α_2)$, $Φ_2(x,α_2), $ $\cdots , Φ_r(x,α_2), \cdots, \cdots, Φ_1(x,α_m)$, $Φ_2(x,α_m)$, $\cdots , Φ_r(x,α_m)$ and $1$. This is the first result that gives a sufficient condition for the linear independence of values of the Lerch functions at several distinct algebraic points, not necessarily lying in the rational number field nor in quadratic imaginary fields. We give a complete proof with refinements and quantitative statements of the main theorem announced in [10], together with a proof in detail on the non-vanishing Wronskian of Hermite type.
△ Less
Submitted 4 January, 2023; v1 submitted 18 October, 2020;
originally announced October 2020.
-
Can polylogarithms at algebraic points be linearly independent?
Authors:
Sinnou David,
Noriko Hirata-Kohno,
Makoto Kawashima
Abstract:
Let $r,m$ be positive integers. Let $0\le x <1$ be a rational number. Let $Φ_s(x,z)$ be the $s$-th Lerch function $\sum_{k=0}^{\infty}\tfrac{z^{k+1}}{(k+x+1)^s}$ with $s=1,2,\ldots ,r$. When $x=0$, this is the polylogarithmic function. Let $α_1,\ldots ,α_m$ be pairwise distinct algebraic numbers with $0<|α_j|<1$ $(1 \le j \le m)$. In this article, we state a linear independence criterion over alge…
▽ More
Let $r,m$ be positive integers. Let $0\le x <1$ be a rational number. Let $Φ_s(x,z)$ be the $s$-th Lerch function $\sum_{k=0}^{\infty}\tfrac{z^{k+1}}{(k+x+1)^s}$ with $s=1,2,\ldots ,r$. When $x=0$, this is the polylogarithmic function. Let $α_1,\ldots ,α_m$ be pairwise distinct algebraic numbers with $0<|α_j|<1$ $(1 \le j \le m)$. In this article, we state a linear independence criterion over algebraic number fields of all the $rm+1$ numbers $:$ $Φ_1(x,α_1),Φ_2(x,α_1),\ldots, Φ_r(x,α_1),Φ_1(x,α_2),Φ_2(x,α_2),\ldots, Φ_r(x,α_2),\ldots,Φ_1(x,α_m),Φ_2(x,α_m),\ldots, Φ_r(x,α_m)$ and $1$. This is the first result that gives a sufficient condition for the linear independence of values of the $r$ Lerch functions $Φ_1(x,z),Φ_2(x,z),\ldots, Φ_r(x,z)$ at $m$ distinct algebraic points without any assumption for $r$ and $m$, even for the case $x=0$, the polylogarithms. We give an outline of our proof and explain basic idea.
△ Less
Submitted 4 January, 2023; v1 submitted 8 December, 2019;
originally announced December 2019.
