Showing 1–11 of 11 results for author: Levesque, C

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

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