Showing 1–35 of 35 results for author: Waldschmidt, M

Variations on Schanuel's Conjecture for elliptic and quasi-elliptic functions I: the split case

Authors: Cristiana Bertolin, Michel Waldschmidt

Abstract: It is expected that Schanuel's Conjecture contains all ``reasonable" statements that can be made on the values of {\em the exponential function}. In particular it implies the Lindemann-Weierstrass Theorem and the Conjecture on algebraic independence of logarithms of algebraic numbers. Our goal is to state conjectures {\em à la Schanuel}, which imply conjectures {\em à la Lindemann-Weierstrass}, fo… ▽ More It is expected that Schanuel's Conjecture contains all ``reasonable" statements that can be made on the values of {\em the exponential function}. In particular it implies the Lindemann-Weierstrass Theorem and the Conjecture on algebraic independence of logarithms of algebraic numbers. Our goal is to state conjectures {\em à la Schanuel}, which imply conjectures {\em à la Lindemann-Weierstrass}, for the exponential map of an extension $G$ of an elliptic curve ${\mathcal E}$ by the multiplicative group ${\mathbb G}_m$. In the present paper we assume that the extension is split, that is $G={\mathbb G}_m\times {\mathcal E}$. In a second paper in preparation we will deal with the non-split case, namely when the extension is not a product. Here we propose the {\em split semi-elliptic Conjecture}, which involves the exponential function and the Weierstrass $\wp$ and $ζ$ functions, related with integrals of the first and second kind. In the second paper, our {\em non-split semi-elliptic Conjecture} will also involve Serre's functions, related with integrals of the third kind. We expect that our conjectures contain all ``reasonable" statements that can be made on the values of these functions. In the present paper we highlight the geometric origin of the split semi-elliptic Conjecture: it is {\em equivalent to} the Grothendieck-André generalized period Conjecture applied to the 1-motive $M=[u:\mathbb{Z} \rightarrow {\mathbb G}_m^s \times {\mathcal E}^n ]$, which is the Elliptico-Toric Conjecture of the first author. We show that our split semi-elliptic Conjecture implies three theorems of Schneider on elliptic analogs of the Hermite-Lindemann and Gel'fond-Schneider's theorems, as well as a conjecture on the Weierstrass zeta function. △ Less

Submitted 18 April, 2025; originally announced April 2025.

Comments: 20 pages

MSC Class: 11J81 11J89 14K25

Schanuel Property for Elliptic and Quasi--Elliptic Functions

Authors: Michel Waldschmidt

Abstract: For almost all tuples $(x_1,\dots,x_n)$ of complex numbers, a strong version of Schanuel's Conjecture is true: the $2n$ numbers $x_1,\dots,x_n, {\mathrm e}^{x_1},\dots, {\mathrm e}^{x_n}$ are algebraically independent. Similar statements hold when one replaces the exponential function ${\mathrm e}^z$ with algebraically independent functions. We give examples involving elliptic and quasi--elliptic… ▽ More For almost all tuples $(x_1,\dots,x_n)$ of complex numbers, a strong version of Schanuel's Conjecture is true: the $2n$ numbers $x_1,\dots,x_n, {\mathrm e}^{x_1},\dots, {\mathrm e}^{x_n}$ are algebraically independent. Similar statements hold when one replaces the exponential function ${\mathrm e}^z$ with algebraically independent functions. We give examples involving elliptic and quasi--elliptic functions, that we prove to be algebraically independent: $z$, $\wp(z)$, $ζ(z)$, $σ(z)$, exponential functions, and Serre functions related with integrals of the third kind. △ Less

Submitted 18 April, 2025; originally announced April 2025.

Comments: 26 pages

MSC Class: 11J81 11J89 14K25

Number of integers represented by families of binary forms II: binomial forms

Authors: Étienne Fouvry, Michel Waldschmidt

Abstract: We consider some families of binary binomial forms $aX^d+bY^d$, with $a$ and $b$ integers. Under suitable assumptions, we prove that every rational integer $m$ with $|m|\ge 2$ is only represented by a finite number of the forms of this family (with varying $d,a,b$). Furthermore {the number of such forms of degree $\ge d_0$ representing $m$ is bounded by $O(|m|^{(1/d_0)+ε})$} uniformly for… ▽ More We consider some families of binary binomial forms $aX^d+bY^d$, with $a$ and $b$ integers. Under suitable assumptions, we prove that every rational integer $m$ with $|m|\ge 2$ is only represented by a finite number of the forms of this family (with varying $d,a,b$). Furthermore {the number of such forms of degree $\ge d_0$ representing $m$ is bounded by $O(|m|^{(1/d_0)+ε})$} uniformly for $\vert m \vert \geq 2$. We also prove that the integers in the interval $[-N,N]$ represented by one of the form of the family with degree $d\geq d_0$ are almost all represented by some form of the family with degree $d=d_0$. In a previous {paper} we investigated the particular case where the binary binomial forms are positive definite. We now treat the general case by using a lower bound for linear forms of logarithms. △ Less

Submitted 4 June, 2023; originally announced June 2023.

MSC Class: 11E76 11D45 11D85

Lidstone interpolation I. One variable

Authors: Michel Waldschmidt

Abstract: According to Lidstone interpolation theory, an entire function of exponential type $<π$ is determined by it derivatives of even order at $0$ and $1$. This theory can be generalized to several variables. Here we survey the theory for a single variable. Complete proofs are given. This first paper of a trilogy is devoted to Univariate Lidstone interpolation; Bivariate and Multivariate Lidstone interp… ▽ More According to Lidstone interpolation theory, an entire function of exponential type $<π$ is determined by it derivatives of even order at $0$ and $1$. This theory can be generalized to several variables. Here we survey the theory for a single variable. Complete proofs are given. This first paper of a trilogy is devoted to Univariate Lidstone interpolation; Bivariate and Multivariate Lidstone interpolation will be the topic of two forthcoming papers. △ Less

Submitted 8 March, 2023; originally announced March 2023.

Comments: 19 pages

MSC Class: 41A58 30D15

Journal ref: Proceedings of the 87th Annual Conference of the Indian Mathematical Society, December 2021. The Mathematics Student, Volume 91 (Nos. 1-2), 2022, 79-95

Number of integers represented by families of binary forms

Authors: Étienne Fouvry, Michel Waldschmidt

Abstract: We extend our previous results on the number of integers which are values of some cyclotomic form of degree larger than a given value (see \cite{FW1}), to more general families of binary forms with integer coefficients. Our main ingredient is an asymptotic upper bound for the cardinality of the set of values which are common to two non isomorphic binary forms of degree greater than $3$. We apply o… ▽ More We extend our previous results on the number of integers which are values of some cyclotomic form of degree larger than a given value (see \cite{FW1}), to more general families of binary forms with integer coefficients. Our main ingredient is an asymptotic upper bound for the cardinality of the set of values which are common to two non isomorphic binary forms of degree greater than $3$. We apply our results to some typical examples of families of binary forms. △ Less

Submitted 4 June, 2023; v1 submitted 8 June, 2022; originally announced June 2022.

Comments: Two misprints corrected - the version to appear in Acta Arithmetica is correct

MSC Class: 11E76 11D45 11D85

On entire functions of several variables with derivatives of even order taking integer values

Authors: Michel Waldschmidt

Abstract: We extend to several variables an earlier result of ours, according to which an entire function of one variable of sufficiently small exponential type, having all derivatives of even order taking integer values at two points, is a polynomial. The proof in the one dimensional case relies on Lidstone expansion of the function. For $n$ variables, we need $n+1$ points, having the property that the dif… ▽ More We extend to several variables an earlier result of ours, according to which an entire function of one variable of sufficiently small exponential type, having all derivatives of even order taking integer values at two points, is a polynomial. The proof in the one dimensional case relies on Lidstone expansion of the function. For $n$ variables, we need $n+1$ points, having the property that the differences of $n$ of them with the remaining one give a basis of ${\mathbb C}^n$. The proof is by reduction to the one variable situation. △ Less

Submitted 5 December, 2021; originally announced December 2021.

Comments: To appear in Journal of Ramanujan Society of Mathematics and Mathematical Sciences (JRSMAMS), Vol. 9, No. 1, December 2021

MSC Class: 30D15 41A58

On sets of linear forms of maximal complexity

Authors: Michael Kaminski, Igor E. Shparlinski, Michel Waldschmidt

Abstract: We present a uniform description of sets of $m$ linear forms in $n$ variables over the field of rational numbers whose computation requires $m(n - 1)$ additions. We present a uniform description of sets of $m$ linear forms in $n$ variables over the field of rational numbers whose computation requires $m(n - 1)$ additions. △ Less

Submitted 11 December, 2022; v1 submitted 9 October, 2021; originally announced October 2021.

Journal ref: Computational Complexity, Vol.32, (2023), Article 1

Integer--valued functions, Hurwitz functions and related topics: a survey

Authors: Michel Waldschmidt

Abstract: An integer--valued function is an entire function which maps the nonnegative integers $\mathbb N$ to the integers. An example is $2^z$. A Hurwitz function is an entire function having all derivatives taking integer values at $0$. An example is ${\mathrm e}^z$. Lower bound for the growth order of such functions have a rich history. Many variants have been considered: for instance, assuming that the… ▽ More An integer--valued function is an entire function which maps the nonnegative integers $\mathbb N$ to the integers. An example is $2^z$. A Hurwitz function is an entire function having all derivatives taking integer values at $0$. An example is ${\mathrm e}^z$. Lower bound for the growth order of such functions have a rich history. Many variants have been considered: for instance, assuming that the first $k$ derivatives at the integers are integers, or assuming that the derivatives at $k$ points are integers. These as well as and many other variants have been considered. We survey some of them. △ Less

Submitted 4 February, 2020; originally announced February 2020.

Comments: 24 pages

MSC Class: 30D15 11J81 13F20

On transcendental entire functions with infinitely many derivatives taking integer values at several points

Authors: Michel Waldschmidt

Abstract: Let $s_0,s_1,\dots,s_{m-1}$ be complex numbers and $r_0,\dots,r_{m-1}$ rational integers in the range $0\le r_j\le m-1$. Our first goal is to prove that if an entire function $f$ of sufficiently small exponential type satisfies $f^{(mn+r_j)}(s_j)\in{\mathbb Z}$ for $0\le j\le m-1$ and all sufficiently large $n$, then $f$ is a polynomial. Under suitable assumptions on $s_0,s_1,\dots,s_{m-1}$ and… ▽ More Let $s_0,s_1,\dots,s_{m-1}$ be complex numbers and $r_0,\dots,r_{m-1}$ rational integers in the range $0\le r_j\le m-1$. Our first goal is to prove that if an entire function $f$ of sufficiently small exponential type satisfies $f^{(mn+r_j)}(s_j)\in{\mathbb Z}$ for $0\le j\le m-1$ and all sufficiently large $n$, then $f$ is a polynomial. Under suitable assumptions on $s_0,s_1,\dots,s_{m-1}$ and $r_0,\dots,r_{m-1}$, we introduce interpolation polynomials $Λ_{nj}$, ($n\ge 0$, $0\le j\le m-1$) satisfying $$ Λ_{nj}^{(mk+r_\ell)}(s_\ell)=δ_{j\ell}δ_{nk}, \quad\hbox{for}\quad n, k\ge 0 \quad\hbox{and}\quad 0\le j, \ell\le m-1 $$ and we show that any entire function $f$ of sufficiently small exponential type has a convergent expansion $$ f(z)=\sum_{n\ge 0} \sum_{j=0}^{m-1}f^{(mn+r_j)}(s_j)Λ_{nj}(z). $$ The case $r_j=j$ for $0\le j\le m-1$ involves successive derivatives $f^{(n)}(w_n)$ of $f$ evaluated at points of a periodic sequence ${\mathbf{w}}=(w_n)_{n\ge 0}$ of complex numbers, where $w_{mh+j}=s_j$ ($h\ge 0$, $0\le j\le m$). More generally, given a bounded (not necessarily periodic) sequence ${\mathbf{w}}=(w_n)_{n\ge 0}$ of complex numbers, we consider similar interpolation formulae $$ f(z)=\sum_{n\ge 0}f^{(n)}(w_n)Ω_{\mathbf{w},n}(z) $$ involving polynomials $Ω_{\mathbf{w},n}(z)$ which were introduced by W.~Gontcharoff in 1930. Under suitable assumptions, we show that the hypothesis $f^{(n)}(w_n)\in{\mathbb Z}$ for all sufficiently large $n$ implies that $f$ is a polynomial. △ Less

Submitted 17 June, 2020; v1 submitted 30 November, 2019; originally announced December 2019.

Comments: 21 pages. To appear in the Moscow Journal of Combinatorics and Number Theory. The first version was substantially improved thanks to a contribution by Damien Roy

MSC Class: 30D15; 41A58

Journal ref: Moscow J. Comb. Number Th. 9 (2020) 371-388

On transcendental entire functions with infinitely many derivatives taking integer values at two points

Authors: Michel Waldschmidt

Abstract: Given a subset $S=\{s_0, s_1\}$ of the complex plane with two points and an infinite subset ${\mathscr S}$ of $S\times {\mathbb N}$, where ${\mathbb N}=\{0,1,2,\dots\}$ is the set of nonnegative integers, we ask for a lower bound for the order of growth of a transcendental entire function $f$ such that $f^{(n)}(s)\in{\mathbb Z}$ for all $(s,n)\in{\mathscr S}$. We first take… ▽ More Given a subset $S=\{s_0, s_1\}$ of the complex plane with two points and an infinite subset ${\mathscr S}$ of $S\times {\mathbb N}$, where ${\mathbb N}=\{0,1,2,\dots\}$ is the set of nonnegative integers, we ask for a lower bound for the order of growth of a transcendental entire function $f$ such that $f^{(n)}(s)\in{\mathbb Z}$ for all $(s,n)\in{\mathscr S}$. We first take ${\mathscr S}=\{s_0,s_1\}\times 2{\mathbb N}$, where $2{\mathbb N}=\{0,2,4,\dots\}$ is the set of nonnegative even integers. We prove that an entire function $f$ of sufficiently small exponential type such that $f^{(2n)}(s_0)\in{\mathbb Z}$ and $f^{(2n)}( s_1)\in{\mathbb Z}$ for all sufficiently large $n$ must be a polynomial. The estimate we reach is optimal, as we show by constructing a noncountable set of examples. The main tool, both for the proof of the estimate and for the construction of examples, is Lidstone polynomials. Our second example is $(\{s_0\}\times (2{\mathbb N}+1))\cup( \{ s_1\}\times 2{\mathbb N})$ (odd derivatives at $s_0$ and even derivatives at $ s_1$). We use analogs of Lidstone polynomials which have been introduced by J.M.~Whittaker and studied by I.J.~Schoenberg. Finally, using results of W.~Gontcharoff, A. J.~Macintyre and J.M.~Whittaker, we prove lower bounds for the exponential type of a transcendental entire function $f$ such that, for each sufficiently large $n$, one at least of the two numbers $f^{(n)}(s_0)$, $f^{(n)}(s_1)$ is in ${\mathbb Z}$. △ Less

Submitted 30 November, 2019; originally announced December 2019.

Comments: 28 pages

MSC Class: 30D15; 41A58

Sur la représentation des entiers par les formes cyclotomiques de grand degré

Authors: Etienne Fouvry, Michel Waldschmidt

Abstract: For each integer $d\ge 4$, we study the sequence of positive integers which are represented by one at least of the cyclotomic binary forms $Φ_n(X,Y)$, with $n$ a positive integer satisfying $\varphi(n)\ge d$. The case $d=2$ was studied in our previous work [FLW]. Our demonstration is based on a variant of a statement of [SX] concerning the common values taken by two binary forms of the same degree… ▽ More For each integer $d\ge 4$, we study the sequence of positive integers which are represented by one at least of the cyclotomic binary forms $Φ_n(X,Y)$, with $n$ a positive integer satisfying $\varphi(n)\ge d$. The case $d=2$ was studied in our previous work [FLW]. Our demonstration is based on a variant of a statement of [SX] concerning the common values taken by two binary forms of the same degree and non-zero discriminants. All constants are effectively calculable. △ Less

Submitted 4 September, 2019; originally announced September 2019.

Comments: 25 pages. En français

MSC Class: 11E76

Linear recurrence sequences and twisted binary forms

Authors: Claude Levesque, Michel Waldschmidt

Abstract: Let $ \prod_{i=1}^d (X-α_i Y) \in{\mathbb C}[X,Y]$ be a binary form and let $ε_1,\dots,ε_d$ be nonzero complex numbers. We consider the family of binary forms $ \prod_{i=1}^d (X-α_i ε_i^aY)$, $a\in {\mathbb Z}$, which we write as $$ X^d-U_1(a)X^{d-1}Y+\cdots+(-1)^{d-1} U_{d-1}(a) XY^{d-1}+(-1)^d U_d(a) Y^d.$$ In this paper we study these sequences $\bigl(U_h(a)\bigr)_{a\in {\mathbb Z}}$ which turn… ▽ More Let $ \prod_{i=1}^d (X-α_i Y) \in{\mathbb C}[X,Y]$ be a binary form and let $ε_1,\dots,ε_d$ be nonzero complex numbers. We consider the family of binary forms $ \prod_{i=1}^d (X-α_i ε_i^aY)$, $a\in {\mathbb Z}$, which we write as $$ X^d-U_1(a)X^{d-1}Y+\cdots+(-1)^{d-1} U_{d-1}(a) XY^{d-1}+(-1)^d U_d(a) Y^d.$$ In this paper we study these sequences $\bigl(U_h(a)\bigr)_{a\in {\mathbb Z}}$ which turn out to be linear recurrence sequences. △ Less

Submitted 14 February, 2018; originally announced February 2018.

Comments: Proceedings of the International Conference on Pure and Applied Mathematics ICPAM-GOROKA 2014, "Contemporary Developments in the Mathematical Sciences as Tools for Scientific and Technological Transformation of Papua New Guinea"

MSC Class: 11B37 05A15 11D61 33B10 39A10 65Q30

Journal ref: South Pacific Journal of Pure & Applied Mathematics, vol. 2, No 3 (2015), 65-83

Representation of integers by cyclotomic binary forms

Authors: Etienne Fouvry, Claude Levesque, Michel Waldschmidt

Abstract: The homogeneous form $Φ_n(X,Y)$ of degree $\varphi(n)$ which is associated with the cyclotomic polynomial $φ_n(X)$ is dubbed a {\it cyclotomic binary form}. A positive integer $m\ge 1$ is said to be {\it representable by a cyclotomic binary form} if there exist integers $n,x,y$ with $n\ge 3$ and $\max\{|x|, |y|\}\ge 2$ such that $Φ_n(x,y)=m$. We prove that the number $a_m$ of such representations… ▽ More The homogeneous form $Φ_n(X,Y)$ of degree $\varphi(n)$ which is associated with the cyclotomic polynomial $φ_n(X)$ is dubbed a {\it cyclotomic binary form}. A positive integer $m\ge 1$ is said to be {\it representable by a cyclotomic binary form} if there exist integers $n,x,y$ with $n\ge 3$ and $\max\{|x|, |y|\}\ge 2$ such that $Φ_n(x,y)=m$. We prove that the number $a_m$ of such representations of $m$ by a cyclotomic binary form is finite. More precisely, we have $\,\varphi(n) \le ({2}/ {\log 3})\log m\, $ and $\, \max\{|x|,|y|\} \le ({2}/{\sqrt{3}})\, m^{1/\varphi(n)}.\,$ We give a description of the asymptotic cardinality of the set of values taken by the forms for $n\geq 3$. This will imply that the set of integers $m$ such that $a_m\neq 0$ has natural density 0. We will deduce that the average value of the integers $a_m$ among the nonzero values of $a_m$ grows like $\sqrt{\log \, m}$. △ Less

Submitted 25 December, 2017; originally announced December 2017.

Comments: Acta Arithmetica, to appear

MSC Class: 11E76 12E10

Parametric geometry of numbers in function fields

Authors: Damien Roy, Michel Waldschmidt

Abstract: Parametric geometry of numbers is a new theory, recently created by Schmidt and Summerer, which unifies and simplifies many aspects of classical Diophantine approximations, providing a handle on problems which previously seemed out of reach. Our goal is to transpose this theory to fields of rational functions in one variable and to analyze in that context the problem of simultaneous approximation… ▽ More Parametric geometry of numbers is a new theory, recently created by Schmidt and Summerer, which unifies and simplifies many aspects of classical Diophantine approximations, providing a handle on problems which previously seemed out of reach. Our goal is to transpose this theory to fields of rational functions in one variable and to analyze in that context the problem of simultaneous approximation to exponential functions. △ Less

Submitted 25 September, 2017; v1 submitted 2 April, 2017; originally announced April 2017.

Comments: 20 pages, the proof of a central lemma is simplified and the main construction is shown to be universal. This paper will appear in Mathematika

MSC Class: 11J13 (Primary); 41A20; 41A21; 13J05; 11H06 (Secondary)

Journal ref: Mathematika 63 (2017) 1114-1135

Families of Thue equations associated with a rank one subgroup of the unit group of a number field

Authors: Claude Levesque, Michel Waldschmidt

Abstract: Twisting a binary form $F_0(X,Y)\in{\mathbb{Z}}[X,Y]$ of degree $d\ge 3$ by powers $\upsilon^a$ ($a\in{\mathbb{Z}}$) of an algebraic unit $\upsilon$ gives rise to a binary form $F_a(X,Y)\in{\mathbb{Z}}[X,Y]$. More precisely, when $K$ is a number field of degree $d$, $σ_1,σ_2,\dots,σ_d$ the embeddings of $K$ into $\mathbb{C}$, $α$ a nonzero element in $K$, $a_0\in{\mathbb{Z}}$, $a_0>0$ and… ▽ More Twisting a binary form $F_0(X,Y)\in{\mathbb{Z}}[X,Y]$ of degree $d\ge 3$ by powers $\upsilon^a$ ($a\in{\mathbb{Z}}$) of an algebraic unit $\upsilon$ gives rise to a binary form $F_a(X,Y)\in{\mathbb{Z}}[X,Y]$. More precisely, when $K$ is a number field of degree $d$, $σ_1,σ_2,\dots,σ_d$ the embeddings of $K$ into $\mathbb{C}$, $α$ a nonzero element in $K$, $a_0\in{\mathbb{Z}}$, $a_0>0$ and $$ F_0(X,Y)=a_0\displaystyle\prod_{i=1}^d (X-σ_i(α) Y), $$ then for $a\in{\mathbb{Z}}$ we set $$ F_a(X,Y)=\displaystyle a_0\prod_{i=1}^d (X-σ_i(α\upsilon^a) Y). $$ Given $m\ge 0$, our main result is an effective upper bound for the solutions $(x,y,a)\in{\mathbb{Z}}^3$ of the Diophantine inequalities $$ 0<|F_a(x,y)|\le m $$ for which $xy\not=0$ and ${\mathbb{Q}}(α\upsilon^a)=K$. Our estimate involves an effectively computable constant depending only on $d$; it is explicit in terms of $m$, in terms of the heights of $F_0$ and of $\upsilon$, and in terms of the regulator of the number field $K$. △ Less

Submitted 5 January, 2017; originally announced January 2017.

Comments: Submitted. 22 pages

MSC Class: 11D61; 11D41; 11D59

Journal ref: Mathematika 63 (2017) 1060-1080

A family of Thue equations involving powers of units of the simplest cubic fields

Authors: Claude Levesque, Michel Waldschmidt

Abstract: E. Thomas was one of the first to solve an infinite family of Thue equations, when he considered the forms $F_n(X, Y )= X^3 -(n-1)X^2Y -(n+2)XY^2 -Y^3$ and the family of equations $F_n(X, Y )=\pm 1$, $n\in {\mathbf N}$. This family is associated to the family of the simplest cubic fields ${\mathbf Q}(λ)$ of D. Shanks, $λ$ being a root of $F_n(X,1)$. We introduce in this family a second parameter b… ▽ More E. Thomas was one of the first to solve an infinite family of Thue equations, when he considered the forms $F_n(X, Y )= X^3 -(n-1)X^2Y -(n+2)XY^2 -Y^3$ and the family of equations $F_n(X, Y )=\pm 1$, $n\in {\mathbf N}$. This family is associated to the family of the simplest cubic fields ${\mathbf Q}(λ)$ of D. Shanks, $λ$ being a root of $F_n(X,1)$. We introduce in this family a second parameter by replacing the roots of the minimal polynomial $F_n(X, 1) $ of $λ$ by the $a$-th powers of the roots and we effectively solve the family of Thue equations that we obtain and which depends now on the two parameters $n$ and $a$. △ Less

Submitted 25 May, 2015; originally announced May 2015.

Comments: Expanded version (31p) of a paper to appear in the Journal de Théorie des Nombres de Bordeaux

MSC Class: 11D61; 11D41; 11D59

Familles d'équations de Thue associées à un sous-groupe de rang 1 d'unités totalement réelles d'un corps de nombres

Authors: Claude Levesque, Michel Waldschmidt

Abstract: Let $F$ be an irreducible binary form attached to a number field $K$ of degree $\geq 3$. Let $ε\not\in \{-1, 1\}$ be a totally real unit of $K$. By twisting $F$ with the powers $ε^a$ of $ε$, ($a\in{\mathbf Z}$), we obtain an infinite family $F_a$ of binary forms. Let $m\in{\mathbf Z}$. We give an effective bound for $\max\{|a|, \log|x|, \log|y|\}$ when $a,x,y$ are rational integers satisfying… ▽ More Let $F$ be an irreducible binary form attached to a number field $K$ of degree $\geq 3$. Let $ε\not\in \{-1, 1\}$ be a totally real unit of $K$. By twisting $F$ with the powers $ε^a$ of $ε$, ($a\in{\mathbf Z}$), we obtain an infinite family $F_a$ of binary forms. Let $m\in{\mathbf Z}$. We give an effective bound for $\max\{|a|, \log|x|, \log|y|\}$ when $a,x,y$ are rational integers satisfying $F_a(x,y)=m$ with $xy\not=0$. △ Less

Submitted 25 May, 2015; originally announced May 2015.

Comments: in French, CRM collection "Contemporary Mathematics", AMS, to appear

MSC Class: 11D61; 11D25; 11D41; 11D59

Solving simultaneously Thue equations in the almost totally imaginary case

Authors: Claude Levesque, Michel Waldschmidt

Abstract: Let $α$ be an algebraic number of degree $d\ge 3$ having at most one real conjugate and let $K$ be the algebraic number field ${\mathbf Q}(α)$. For any unit $ε$ of $K$ such that ${\mathbf Q}(αε)=K$, we consider the irreducible polynomial $f_ε(X)\in{\mathbf Z}[X]$ such that $f_ε(αε)=0$. Let $F_ε(X,Y)\ = Y^df_ε(X/Y)\in{\mathbf Z}[X,Y]$ be the associated binary form. For each positive integer $m$, we… ▽ More Let $α$ be an algebraic number of degree $d\ge 3$ having at most one real conjugate and let $K$ be the algebraic number field ${\mathbf Q}(α)$. For any unit $ε$ of $K$ such that ${\mathbf Q}(αε)=K$, we consider the irreducible polynomial $f_ε(X)\in{\mathbf Z}[X]$ such that $f_ε(αε)=0$. Let $F_ε(X,Y)\ = Y^df_ε(X/Y)\in{\mathbf Z}[X,Y]$ be the associated binary form. For each positive integer $m$, we exhibit an effectively computable bound for the solutions $(x,y,ε)$ of the diophantine equation $|F_ε(x,y)|\leq m$. △ Less

Submitted 25 May, 2015; originally announced May 2015.

Comments: Proceedings of the International Meeting on Number Theory HRI 2011, in honor of R. Balasubramanian. To appear

MSC Class: 11D61; 11D25; 11D41; 11D59

Solving effectively some families of Thue Diophantine equations

Authors: Claude Levesque, Michel Waldschmidt

Abstract: Let $α$ be an algebraic number of degree $d\ge 3$ and let $K$ be the algebraic number field $\Q(α)$. When $\varepsilon$ is a unit of $K$ such that $\Q(α\varepsilon)=K$, we consider the irreducible polynomial $f_\varepsilon(X) \in \Z[X]$ such that $f_\varepsilon(α\varepsilon)=0$. Let $F_\varepsilon(X,Y)$ be the irrreducible binary form of degree $d$ associated to $f_{\varepsilon}(X) $ under the con… ▽ More Let $α$ be an algebraic number of degree $d\ge 3$ and let $K$ be the algebraic number field $\Q(α)$. When $\varepsilon$ is a unit of $K$ such that $\Q(α\varepsilon)=K$, we consider the irreducible polynomial $f_\varepsilon(X) \in \Z[X]$ such that $f_\varepsilon(α\varepsilon)=0$. Let $F_\varepsilon(X,Y)$ be the irrreducible binary form of degree $d$ associated to $f_{\varepsilon}(X) $ under the condition $F_{\varepsilon}(X,1)=f_{\varepsilon}(X)$. For each positive integer $m$, we want to exhibit an effective upper bound for the solutions $(x,y,\varepsilon)$ of the diophantine inequation $|F_\varepsilon(x,y)|\le m$. We achieve this goal by restricting ourselves to a subset of units $\varepsilon$ which we prove to be sufficiently large as soon as the degree of $K$ is $\geq 4$. △ Less

Submitted 27 December, 2013; originally announced December 2013.

Comments: Moscow Journal of Combinatorics and Number Theory, to appear

MSC Class: 11D61 11D41 11D59

Families of cubic Thue equations with effective bounds for the solutions

Authors: Claude Levesque, Michel Waldschmidt

Abstract: To each non totally real cubic extension $K$ of $\Q$ and to each generator $α$ of the cubic field $K$, we attach a family of cubic Thue equations, indexed by the units of $K$, and we prove that this family of cubic Thue equations has only a finite number of integer solutions, by giving an effective upper bound for these solutions. To each non totally real cubic extension $K$ of $\Q$ and to each generator $α$ of the cubic field $K$, we attach a family of cubic Thue equations, indexed by the units of $K$, and we prove that this family of cubic Thue equations has only a finite number of integer solutions, by giving an effective upper bound for these solutions. △ Less

Submitted 27 December, 2013; originally announced December 2013.

MSC Class: 11D59 11D25 11D61

Journal ref: J.M. Borwein et al. (eds.), Number Theory and Related Fields: Springer Proceedings in Mathematics & Statistics 43 (2013) 229-243

Approximation of an algebraic number by products of rational numbers and units

Authors: Claude Levesque, Michel Waldschmidt

Abstract: We relate a previous result of ours on families of Diophantine equations having only trivial solutions with a result on the approximation of an algebraic number by products of rational numbers and units. We compare this approximation with a Liouville type estimate, and with an estimate arising from a lower bound for a linear combination of logarithms. We relate a previous result of ours on families of Diophantine equations having only trivial solutions with a result on the approximation of an algebraic number by products of rational numbers and units. We compare this approximation with a Liouville type estimate, and with an estimate arising from a lower bound for a linear combination of logarithms. △ Less

Submitted 27 December, 2013; originally announced December 2013.

MSC Class: 11D59 11D61 11J68

Journal ref: Journal of the Australian Mathematical Society, 2013, volume 93, issue 1-2, pp. 121-131

Familles d'equations de Thue-Mahler n'ayant que des solutions triviales

Authors: Claude Levesque, Michel Waldschmidt

Abstract: Let $K$ be a number field, let $S$ be a finite set of places of $K$ containing the archimedean places and let $μ$, $α_1,α_2,α_3$ be non--zero elements in $K$. Denote by $\OS$ the ring of $S$--integers in $K$ and by $\OS^\times$ the group of $S$--units. Then the set of equivalence classes (namely, up to multiplication by $S$--units) of the solutions… ▽ More Let $K$ be a number field, let $S$ be a finite set of places of $K$ containing the archimedean places and let $μ$, $α_1,α_2,α_3$ be non--zero elements in $K$. Denote by $\OS$ the ring of $S$--integers in $K$ and by $\OS^\times$ the group of $S$--units. Then the set of equivalence classes (namely, up to multiplication by $S$--units) of the solutions $(x,y,z,\varepsilon_1, \varepsilon_2,\varepsilon_3,\varepsilon)\in\OS^3\times(\OS^\times)^4$ of the diophantine equation $$ (X-α_1 E_1 Y) (X-α_2E_2 Y) (X-α_3E_3 Y)Z=μE, $$ satisfying $\Card\{α_1\varepsilon_1,α_2\varepsilon_2,α_3\varepsilon_3\}= 3$, is finite. With the help of this last result, we exhibit new families of Thue-Mahler equations having only trivial solutions. Furthermore, we produce an effective upper bound for the number of these solutions. The proofs of this paper rest heavily on Schmidt's subspace theorem. △ Less

Submitted 27 December, 2013; originally announced December 2013.

MSC Class: 11D59 11D25 11D45 11D61 11J87

Journal ref: Acta Arithmetica, 155 (2012), 117-138

Some remarks on diophantine equations and diophantine approximation

Authors: Claude Levesque, Michel Waldschmidt

Abstract: We first recall the connection, going back to A. Thue, between rational approximation to algebraic numbers and integer solutions of some Diophantine equations. Next we recall the equivalence between several finiteness results on various Diophantine equations. We also give many equivalent statements of Mahler's generalization of the fundamental theorem of Thue. In particular, we show that the theor… ▽ More We first recall the connection, going back to A. Thue, between rational approximation to algebraic numbers and integer solutions of some Diophantine equations. Next we recall the equivalence between several finiteness results on various Diophantine equations. We also give many equivalent statements of Mahler's generalization of the fundamental theorem of Thue. In particular, we show that the theorem of Thue--Mahler for degree $3$ implies the theorem of Thue--Mahler for arbitrary degree $\ge3$, and we relate it with a theorem of Siegel on the rational integral points of the projective line $¶^1(K)$ minus $3$ points. Finally we extend our study to higher dimensional spaces in connection with Schmidt's Subspace Theorem. △ Less

Submitted 27 December, 2013; originally announced December 2013.

MSC Class: 11D59 11D25 11J87

Journal ref: Vietnam Journal of Mathematics, 39:3 (2011) 343-368

Liouville Numbers and Schanuel's Conjecture

Authors: K. Senthil Kumar, R. Thangadurai, M. Waldschmidt

Abstract: In this paper, using an argument of P. Erdos, K. Alniacik and E. Saias, we extend earlier results on Liouville numbers, due to P. Erdos, G.J. Rieger, W. Schwarz, K. Alniacik, E. Saias, E.B. Burger. We also produce new results of algebraic independence related with Liouville numbers and Schanuel's Conjecture, in the framework of G delta-subsets. In this paper, using an argument of P. Erdos, K. Alniacik and E. Saias, we extend earlier results on Liouville numbers, due to P. Erdos, G.J. Rieger, W. Schwarz, K. Alniacik, E. Saias, E.B. Burger. We also produce new results of algebraic independence related with Liouville numbers and Schanuel's Conjecture, in the framework of G delta-subsets. △ Less

Submitted 26 December, 2013; originally announced December 2013.

Comments: Archiv der Math., to appear

MSC Class: 11J81

Liouville numbers, Liouville sets and Liouville fields

Authors: K. Senthil Kumar, R. Thangadurai, M. Waldschmidt

Abstract: Following earlier work by E.Maillet 100 years ago, we introduce the definition of a Liouville set, which extends the definition of a Liouville number. We also define a Liouville field, which is a field generated by a Liouville set. Any Liouville number belongs to a Liouville set S having the power of continuum and such that the union of S with the rational number field is a Liouville field. Following earlier work by E.Maillet 100 years ago, we introduce the definition of a Liouville set, which extends the definition of a Liouville number. We also define a Liouville field, which is a field generated by a Liouville set. Any Liouville number belongs to a Liouville set S having the power of continuum and such that the union of S with the rational number field is a Liouville field. △ Less

Submitted 26 December, 2013; originally announced December 2013.

Comments: Proceedings of the American Mathematical Society, to appear

MSC Class: 11J81

On the $p$-adic closure of a subgroup of rational points on an Abelian variety

Authors: Michel Waldschmidt

Abstract: In 2007, B. Poonen (unpublished) studied the $p$--adic closure of a subgroup of rational points on a commutative algebraic group. More recently, J. Bellaïche asked the same question for the special case of Abelian varieties. These problems are $p$--adic analogues of a question raised earlier by B. Mazur on the density of rational points for the real topology. For a simple Abelian variety over the… ▽ More In 2007, B. Poonen (unpublished) studied the $p$--adic closure of a subgroup of rational points on a commutative algebraic group. More recently, J. Bellaïche asked the same question for the special case of Abelian varieties. These problems are $p$--adic analogues of a question raised earlier by B. Mazur on the density of rational points for the real topology. For a simple Abelian variety over the field of rational numbers, we show that the actual $p$--adic rank is at least the third of the expected value. △ Less

Submitted 21 December, 2010; originally announced December 2010.

MSC Class: 11J81

Words and Transcendence

Authors: Michel Waldschmidt

Abstract: Is it possible to distinguish algebraic from transcendental real numbers by considering the $b$-ary expansion in some base $b\ge2$? In 1950, É. Borel suggested that the answer is no and that for any real irrational algebraic number $x$ and for any base $g\ge2$, the $g$-ary expansion of $x$ should satisfy some of the laws that are shared by almost all numbers. There is no explicitly known example… ▽ More Is it possible to distinguish algebraic from transcendental real numbers by considering the $b$-ary expansion in some base $b\ge2$? In 1950, É. Borel suggested that the answer is no and that for any real irrational algebraic number $x$ and for any base $g\ge2$, the $g$-ary expansion of $x$ should satisfy some of the laws that are shared by almost all numbers. There is no explicitly known example of a triple $(g,a,x)$, where $g\ge3$ is an integer, $a$ a digit in $\{0,...,g-1\}$ and $x$ a real irrational algebraic number, for which one can claim that the digit $a$ occurs infinitely often in the $g$-ary expansion of $x$. However, some progress has been made recently, thanks mainly to clever use of Schmidt's subspace theorem. We review some of these results. △ Less

Submitted 27 August, 2009; originally announced August 2009.

MSC Class: 11K16 (Primary); 37A45; 37B10 (Secondary)

Journal ref: "Analytic Number Theory, Essays in Honour of Klaus Roth", edited by W.W.L. Chen, W.T. Gowers, H. Halbertstam, W.M. Schmidt and R.C. Vaughan. Cambridge University Press (2009), Section 31, p. 449--470

Perfect Powers: Pillai's works and their developments

Authors: Michel Waldschmidt

Abstract: After a short introduction to Pillai's work on Diophantine questions, we quote some later developments and we discuss related open problems. After a short introduction to Pillai's work on Diophantine questions, we quote some later developments and we discuss related open problems. △ Less

Submitted 27 August, 2009; originally announced August 2009.

Comments: Submitted for publication in Pillai's collected papers

MSC Class: 10D61

Auxiliary functions in transcendence proofs

Authors: Michel Waldschmidt

Abstract: We discuss the role of auxiliary functions in the development of transcendental number theory. We discuss the role of auxiliary functions in the development of transcendental number theory. △ Less

Submitted 27 August, 2009; originally announced August 2009.

MSC Class: 11J81 (Primary) 30B70; 30D20; 32A15; 33C60; 41A05 (Secondary)

Report on some recent advances in Diophantine approximation

Authors: Michel Waldschmidt

Abstract: A basic question of Diophantine approximation, which is the first issue we discuss, is to investigate the rational approximations to a single real number. Next, we consider the algebraic or polynomial approximations to a single complex number, as well as the simultaneous approximation of powers of a real number by rational numbers with the same denominator. Finally we study generalisations of th… ▽ More A basic question of Diophantine approximation, which is the first issue we discuss, is to investigate the rational approximations to a single real number. Next, we consider the algebraic or polynomial approximations to a single complex number, as well as the simultaneous approximation of powers of a real number by rational numbers with the same denominator. Finally we study generalisations of these questions to higher dimensions. Several recent advances have been made by B. Adamczewski, Y. Bugeaud, S. Fischler, M. Laurent, T. Rivoal, D. Roy and W.M. Schmidt, among others. We review some of these works. △ Less

Submitted 27 August, 2009; originally announced August 2009.

Comments: to be published by Springer Verlag, Special volume in honor of Serge Lang, ed. Dorian Goldfeld, Jay Jorgensen, Dinakar Ramakrishnan, Ken Ribet and John Tate

MSC Class: 11J04 (Primary) 11J13; 11J68; 11J72; 11J83 (Secondary)

Transcendance de périodes: état des connaissances

Authors: Michel Waldschmidt

Abstract: Les nombres réels ou complexes forment un ensemble ayant la puissance du continu. Parmi eux, ceux qui sont intéressants, qui apparaissent naturellement, qui méritent notre attention, forment un ensemble dénombrable. Dans cet état d'esprit nous nous intéressons aux périodes au sens de Kontsevich et Zagier. Nous faisons le point sur l'état de nos connaissances concernant la nature arithmétique de… ▽ More Les nombres réels ou complexes forment un ensemble ayant la puissance du continu. Parmi eux, ceux qui sont intéressants, qui apparaissent naturellement, qui méritent notre attention, forment un ensemble dénombrable. Dans cet état d'esprit nous nous intéressons aux périodes au sens de Kontsevich et Zagier. Nous faisons le point sur l'état de nos connaissances concernant la nature arithmétique de ces nombres: décider si une période est un nombre rationnel, algébrique irrationnel ou au contraire transcendant est l'objet de quelques théorèmes et de beaucoup de conjectures. Nous précisons aussi ce qui est connu sur l'approximation diophantienne de tels nombres, par des nombres rationnels ou algébriques. △ Less

Submitted 28 February, 2005; originally announced February 2005.

Comments: Proceedings of the 11th symposium of the Tunisian Mathematical Society held in Tunis, Tunisia -- March 15-18, 2004. http://www.african-j-math.org/ http://www.math.jussieu.fr/~miw/articles/pdf/MahdiaPeriodes.pdf

MSC Class: 11J81; 11J86; 11J89

Journal ref: Advances in Mathematics, Vol. 1 (2006), No. 2 African Diaspora Journal of Mathematics

Open Diophantine Problems

Authors: Michel Waldschmidt

Abstract: We collect a number of open questions concerning Diophantine equations, Diophantine Approximation and transcendental numbers. Revised version: corrected typos and added references. We collect a number of open questions concerning Diophantine equations, Diophantine Approximation and transcendental numbers. Revised version: corrected typos and added references. △ Less

Submitted 24 January, 2004; v1 submitted 24 December, 2003; originally announced December 2003.

Comments: 58 pages. to appear in the Moscow Mathematical Journal vo. 4 N.1 (2004) dedicated to Pierre Cartier

MSC Class: 11J

Diophantine approximation by conjugate algebraic integers

Authors: Damien Roy, Michel Waldschmidt

Abstract: Building on work of Davenport and Schmidt, we mainly prove two results. The first one is a version of Gel'fond's transcendence criterion which provides a sufficient condition for a complex or $p$-adic number $ξ$ to be algebraic in terms of the existence of polynomials of bounded degree taking small values at $ξ$ together with most of their derivatives. The second one, which follows from this cri… ▽ More Building on work of Davenport and Schmidt, we mainly prove two results. The first one is a version of Gel'fond's transcendence criterion which provides a sufficient condition for a complex or $p$-adic number $ξ$ to be algebraic in terms of the existence of polynomials of bounded degree taking small values at $ξ$ together with most of their derivatives. The second one, which follows from this criterion by an argument of duality, is a result of simultaneous approximation by conjugate algebraic integers for a fixed number $ξ$ that is either transcendental or algebraic of sufficiently large degree. We also present several constructions showing that these results are essentially optimal. △ Less

Submitted 4 June, 2003; v1 submitted 12 July, 2002; originally announced July 2002.

Comments: The section 4 of this new version has been rewritten to simplify the proof of the main result. Other results in Sections 9 and 10 have been improved. To appear in Compositio Math

MSC Class: 11J13

Journal ref: Compositio Math. 140 (2004), 593--612.

On the approximation of the values of exponential function and logarithm by algebraic numbers

Authors: Yu. Nesterenko, M. Waldschmidt

Abstract: A sharp explicit estimate is proved for the difference $e^β-α$ when $α$ and $β$ are nonzero algebraic numbers. A sharp explicit estimate is proved for the difference $e^β-α$ when $α$ and $β$ are nonzero algebraic numbers. △ Less

Submitted 7 February, 2000; originally announced February 2000.

Comments: 17 pages. See also http://www.math.jussieu.fr/~miw/articles/ps/Nesterenko.ps and http://www.math.jussieu.fr/~nesteren/

MSC Class: 11J82

Journal ref: Mat. Zapiski, 2, Diophantine approximations, Moscow (1996), 23--42

On a Problem of Mahler Concerning the Approximation of Exponentials and Logarithms

Authors: Michel Waldschmidt

Abstract: We first propose two conjectural estimates on Diophantine approximation of logarithms of algebraic numbers. Next we discuss the state of the art and we give further partial results on this topic. We first propose two conjectural estimates on Diophantine approximation of logarithms of algebraic numbers. Next we discuss the state of the art and we give further partial results on this topic. △ Less

Submitted 27 January, 2000; originally announced January 2000.

Comments: 20 pages. To appear in Publ. Math. Debrecen, 56, 3-4 (2000) See also http://www.math.jussieu.fr/~miw/articles/Debrecen.html

MSC Class: 11J82