English

Transcendence of values of logarithms of $E$-functions

Number Theory 2024-09-30 v1

Abstract

Let ff be an EE-function (in Siegel's sense) not of the form eβze^{\beta z}, βQ\beta \in \overline{\mathbb{Q}}, and let log\log denote any fixed determination of the complex logarithm. We first prove that there exists a finite set S(f)S(f) such that for all ξQS(f)\xi\in \overline{\mathbb{Q}}\setminus S(f), log(f(ξ))\log(f(\xi)) is a transcendental number. We then quantify this result when ff is an EE-function in the strict sense with rational coefficients, by proving an irrationality measure of ln(f(ξ))\ln(f(\xi)) when ξQS(f)\xi\in \mathbb{Q}\setminus S(f) and f(ξ)>0f(\xi)\gt0. This measure implies that ln(f(ξ))\ln(f(\xi)) is not an ultra-Liouville number, as defined by Marques and Moreira. The proof of our first result, which is in fact more general, uses in particular a recent theorem of Delaygue. The proof of the second result, which is independent of the first one, is a consequence of a new linear independence measure for values of linearly independent EE-functions in the strict sense with rational coefficients, where emphasis is put on other parameters than on the height, contrary to the case in Shidlovskii's classical measure for instance.

Keywords

Cite

@article{arxiv.2409.18537,
  title  = {Transcendence of values of logarithms of $E$-functions},
  author = {Stéphane Fischler and Tanguy Rivoal},
  journal= {arXiv preprint arXiv:2409.18537},
  year   = {2024}
}