Showing 1–11 of 11 results for author: Mignotte, M

Apollonius circles and the number of irreducible factors of polynomials

Authors: Anca Iuliana Bonciocat, Nicolae Ciprian Bonciocat, Yann Bugeaud, Mihai Cipu, Maurice Mignotte

Abstract: We provide upper bounds for the sum of the multiplicities of the non-constant irreducible factors that appear in the canonical decomposition of a polynomial $f(X)\in\mathbb{Z}[X]$, in case all the roots of $f$ lie inside an Apollonius circle associated to two points on the real axis with integer abscissae $a$ and $b$, with ratio of the distances to these points depending on the admissible divisors… ▽ More We provide upper bounds for the sum of the multiplicities of the non-constant irreducible factors that appear in the canonical decomposition of a polynomial $f(X)\in\mathbb{Z}[X]$, in case all the roots of $f$ lie inside an Apollonius circle associated to two points on the real axis with integer abscissae $a$ and $b$, with ratio of the distances to these points depending on the admissible divisors of $f(a)$ and $f(b)$. In particular, we obtain such upper bounds for the case where $f(a)$ and $f(b)$ have few prime factors, and $f$ is an Eneström-Kakeya polynomial, or a Littlewood polynomial, or has a large leading coefficient. Similar results are also obtained for multivariate polynomials over arbitrary fields, in a non-Archimedean setting. △ Less

Submitted 7 March, 2023; originally announced March 2023.

Comments: 20 pages, 1 figure. arXiv admin note: text overlap with arXiv:2103.15479

MSC Class: 11R09; 11C08

A kit for linear forms in three logarithms

Authors: Maurice Mignotte, Paul Voutier

Abstract: We provide a technique to obtain explicit bounds for problems that can be reduced to linear forms in three complex logarithms of algebraic numbers. This technique can produce bounds significantly better than general results on lower bounds for linear forms in logarithms. We give worked examples to demonstrate both the use of our technique and the improvements it provides. Publicly shared code is a… ▽ More We provide a technique to obtain explicit bounds for problems that can be reduced to linear forms in three complex logarithms of algebraic numbers. This technique can produce bounds significantly better than general results on lower bounds for linear forms in logarithms. We give worked examples to demonstrate both the use of our technique and the improvements it provides. Publicly shared code is also available. △ Less

Submitted 29 September, 2023; v1 submitted 18 May, 2022; originally announced May 2022.

Comments: Version accepted by Math. Comp

MSC Class: 11J86 (Primary) 11D61; 11Y50 (Secondary)

There is no Diophantine $D(-1)$--quadruple

Authors: Nicolae Ciprian Bonciocat, Mihai Cipu, Maurice Mignotte

Abstract: A set of positive integers with the property that the product of any two of them is the successor of a perfect square is called Diophantine $D(-1)$--set. Such objects are usually studied via a system of generalized Pell equations naturally attached to the set under scrutiny. In this paper, an innovative technique is introduced in the study of Diophantine $D(-1)$--quadruples. The main novelty is th… ▽ More A set of positive integers with the property that the product of any two of them is the successor of a perfect square is called Diophantine $D(-1)$--set. Such objects are usually studied via a system of generalized Pell equations naturally attached to the set under scrutiny. In this paper, an innovative technique is introduced in the study of Diophantine $D(-1)$--quadruples. The main novelty is the uncovering of a quadratic equation relating various parameters describing a hypothetical $D(-1)$--quadruple with integer entries. In combination with extensive computations, this idea leads to the confirmation of the conjecture according to which there is no Diophantine $D(-1)$--quadruple. △ Less

Submitted 19 October, 2020; originally announced October 2020.

Comments: 29 pages, 2 figures

MSC Class: 11D09 (Primary) 11D45; 11B37; 11J68 (Secondary)

Two-parameter families of uniquely extendable Diophantine triples

Authors: Mihai Cipu, Yasutsugu Fujita, Maurice Mignotte

Abstract: Let A,K be positive integers and u=-2,-1,1 or 2. The main contribution of the paper is a proof that each of the D(u^2)-triples {K,A^2K+2uA,(A+1)^2K+2u(A+1)} has unique extension to a D(u^2)-quadruple. Let A,K be positive integers and u=-2,-1,1 or 2. The main contribution of the paper is a proof that each of the D(u^2)-triples {K,A^2K+2uA,(A+1)^2K+2u(A+1)} has unique extension to a D(u^2)-quadruple. △ Less

Submitted 25 November, 2016; originally announced November 2016.

Comments: This paper has 20 pages and has been accepted for publication in SCIENCE CHINA Mathematics

MSC Class: 11D09; 11B37; 11J68; 11J86

Shifted powers in binary recurrence sequences

Authors: Michael A. Bennett, Sander R. Dahmen, Maurice Mignotte, Samir Siksek

Abstract: Let $u_k$ be a Lucas sequence. A standard technique for determining the perfect powers in the sequence $u_k$ combines bounds coming from linear forms in logarithms with local information obtained via Frey curves and modularity. The key to this approach is the fact that the equation $u_k=x^n$ can be translated into a ternary equation of the form $a y^2=b x^{2n}+c$ (with $a$, $b$,… ▽ More Let $u_k$ be a Lucas sequence. A standard technique for determining the perfect powers in the sequence $u_k$ combines bounds coming from linear forms in logarithms with local information obtained via Frey curves and modularity. The key to this approach is the fact that the equation $u_k=x^n$ can be translated into a ternary equation of the form $a y^2=b x^{2n}+c$ (with $a$, $b$, $c \in \mathbb{Z}$) for which Frey curves are available. In this paper we consider shifted powers in Lucas sequences, and consequently equations of the form $u_k=x^n+c$ which do not typically correspond to ternary equations with rational unknowns. However, they do, under certain hypotheses, lead to ternary equations with unknowns in totally real fields, allowing us to employ Frey curves over those fields instead of Frey curves defined over $\mathbb{Q}$. We illustrate this approach by showing that the quaternary Diophantine equation $x^{2n} \pm 6 x^n+1=8 y^2$ has no solutions in positive integers $x$, $y$, $n$ with $x$, $n>1$. △ Less

Submitted 7 August, 2014; originally announced August 2014.

Comments: 24 pages

MSC Class: 11D61 (Primary); 11D41 (Secondary); 11F80; 11F41

Journal ref: Math. Proc. Camb. Phil. Soc. 158 (2015) 305-329

On $px^2 + q^{2n}= y^p$ and related Diophantine equations

Authors: A. Laradji, M. Mignotte, N. Tzanakis

Abstract: The title equation, where $p>3$ is a prime number $\not\equiv 7 \pmod 8$, $q$ is an odd prime number and $x,y,n$ are positive integers with $x,y$ relatively prime, is studied. When $p\equiv 3\pmod 8$, we prove (Theorem 2.3) that there are no solutions. For $p\not\equiv 3\pmod 8$ the treatment of the equation turns out to be a difficult task. We focus our attention to $p=5$, by reason of an article… ▽ More The title equation, where $p>3$ is a prime number $\not\equiv 7 \pmod 8$, $q$ is an odd prime number and $x,y,n$ are positive integers with $x,y$ relatively prime, is studied. When $p\equiv 3\pmod 8$, we prove (Theorem 2.3) that there are no solutions. For $p\not\equiv 3\pmod 8$ the treatment of the equation turns out to be a difficult task. We focus our attention to $p=5$, by reason of an article by F. Abu Muriefah, published in this journal, vol. 128 (2008), 1670-1675. Our main result concerning this special equation is Theorem 1.1, whose proof is based on results around the Diophantine equation $5x^2-4=y^n$ (integer solutions), interesting in themselves, which are exposed in Sections 3 and 4. These last results are obtained by using tools such as Linear Forms in Two Logarithms and Hypergeometric Series. △ Less

Submitted 26 August, 2021; v1 submitted 4 February, 2010; originally announced February 2010.

Comments: 22 pages. In this version, Theorem 3.2 is corrected and relevant remarks are added. A few misprints are also corrected

MSC Class: 11D41; 11D61; 11J86;

Journal ref: Journal of Number Theory 131 (2011), 1575-1596

Elementary Trigonometric Sums related to Quadratic Residues

Authors: A. Laradji, M. Mignotte, N. Tzanakis

Abstract: Let p be a prime = 3 (mod 4). A number of elegant number-theoretical properties of the sums T(p) = \sqrt{p}sum_{n=1}^{(p-1)/2} tan(n^2π/p) and C(p) = \sqrt{p}sum_{n=1}^{(p-1)/2} cot(n^2π/p) are proved. For example, T(p) equals p times the excess of the odd quadratic residues over the even ones in the set {1,2,...,p-1}; this number is positive if p = 3 (mod 8) and negative if p = 7 (mod 8). In this… ▽ More Let p be a prime = 3 (mod 4). A number of elegant number-theoretical properties of the sums T(p) = \sqrt{p}sum_{n=1}^{(p-1)/2} tan(n^2π/p) and C(p) = \sqrt{p}sum_{n=1}^{(p-1)/2} cot(n^2π/p) are proved. For example, T(p) equals p times the excess of the odd quadratic residues over the even ones in the set {1,2,...,p-1}; this number is positive if p = 3 (mod 8) and negative if p = 7 (mod 8). In this revised version the connection of these sums with the class-number h(-p) is also discussed. For example, a very simple formula expressing h(-p) by means of the aforementioned excess is proved. The bibliography has been considerably enriched. This article is of an expository nature. △ Less

Submitted 18 May, 2012; v1 submitted 15 January, 2010; originally announced January 2010.

Comments: A number of misprints have been corrected and one or two improvements have been done to the previous version of the paper with same title. The paper will appear to Elem. der Math

MSC Class: 11L03; 11A15; 11L05

On a conjecture on exponential Diophantine equations

Authors: Mihai Cipu, Maurice Mignotte

Abstract: We study the solutions of a Diophantine equation of the form $a^x+b^y=c^z$, where $a\equiv 2 \pmod 4$, $b\equiv 3 \pmod 4$ and $\gcd (a,b,c)=1$. The main result is that if there exists a solution $(x,y,z)=(2,2,r)$ with $r>1$ odd then this is the only solution in integers greater than 1, with the possible exception of finitely many values $(c,r)$. We also prove the uniqueness of such a solution i… ▽ More We study the solutions of a Diophantine equation of the form $a^x+b^y=c^z$, where $a\equiv 2 \pmod 4$, $b\equiv 3 \pmod 4$ and $\gcd (a,b,c)=1$. The main result is that if there exists a solution $(x,y,z)=(2,2,r)$ with $r>1$ odd then this is the only solution in integers greater than 1, with the possible exception of finitely many values $(c,r)$. We also prove the uniqueness of such a solution if any of $a$, $b$, $c$ is a prime power. In a different vein, we obtain various inequalities that must be satisfied by the components of a putative second solution. △ Less

Submitted 2 December, 2008; originally announced December 2008.

MSC Class: 11D09; 11D45; 11J20; 11J86

Integral Points on Hyperelliptic Curves

Authors: Y. Bugeaud, M. Mignotte, S. Siksek, M. Stoll, Sz. Tengely

Abstract: We give a completely explicit upper bound for integral points on (standard) affine models of hyperelliptic curves, provided we know at least one rational point and a Mordell-Weil basis of the Jacobian. We also explain a powerful refinement of the Mordell--Weil sieve which, combined with the upper bound, is capable of determining all the integral points. Our method is illustrated by determining t… ▽ More We give a completely explicit upper bound for integral points on (standard) affine models of hyperelliptic curves, provided we know at least one rational point and a Mordell-Weil basis of the Jacobian. We also explain a powerful refinement of the Mordell--Weil sieve which, combined with the upper bound, is capable of determining all the integral points. Our method is illustrated by determining the integral points on a two genus 2 hyperelliptic curves with Mordell--Weil Jacobian ranks of 3 and 6. △ Less

Submitted 16 March, 2010; v1 submitted 29 January, 2008; originally announced January 2008.

MSC Class: 11G30; 11J86

Journal ref: Algebra & Number Theory 2 (2008), No. 8, 859-885.

Classical and modular approaches to exponential Diophantine equations II. The Lebesgue-Nagell equation

Authors: Yann Bugeaud, Maurice Mignotte, Samir Siksek

Abstract: We solve completely the Lebesgue-Nagell equation x^2+D=y^n, in integers x, y, n>2, for D in the range 1 =< D =< 100. We solve completely the Lebesgue-Nagell equation x^2+D=y^n, in integers x, y, n>2, for D in the range 1 =< D =< 100. △ Less

Submitted 12 May, 2004; originally announced May 2004.

Comments: 49 pages

MSC Class: 11D61; 11J86; 11D59; 11Y50

Classical and modular approaches to exponential Diophantine equations. I. Fibonacci and Lucas perfect powers

Authors: Yann Bugeaud, Maurice Mignotte, Samir Siksek

Abstract: This is the first in a series of papers whereby we combine the classical approach to exponential Diophantine equations (linear forms in logarithms, Thue equations, etc.) with a modular approach based on some of the ideas of the proof of Fermat's Last Theorem. In this paper we give new improved bounds for linear forms in three logarithms. We also apply a combination of classical techniques with t… ▽ More This is the first in a series of papers whereby we combine the classical approach to exponential Diophantine equations (linear forms in logarithms, Thue equations, etc.) with a modular approach based on some of the ideas of the proof of Fermat's Last Theorem. In this paper we give new improved bounds for linear forms in three logarithms. We also apply a combination of classical techniques with the modular approach to show that the only perfect powers in the Fibonacci sequence are 0, 1, 8, 144 and the only perfect powers in the Lucas sequence are 1, 4. △ Less

Submitted 2 March, 2004; originally announced March 2004.

MSC Class: 11D61; 11B39; 11J86; 11D59