Source author record

Paul Voutier

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.NT math.CA

Catalog footprint

Research overview

12works

2topics

3close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2024arXiv

Near-squares in binary recurrence sequences

We call an integer a \emph{near-square} if its absolute value is a square or a prime times a square. We investigate such near-squares in the binary recurrence sequences defined for integers $a \geq 3$ by $u_{0}(a)=0$ , $u_{1}(a)=1$ and $u_{n+2}(a)=au_{n+1}(a)-u_{n}(a)$ for $n \geq 0$ . We show that for a given $a \geq 3$ , there is at most one $n \geq 5$ such that $u_{n}(a)$ is a near-square. With the exceptions of $u_{6}(3)=12^{2}$ and $u_{7}(6)=239 \cdot 13^{2}$ , any such $u_{n}(a)$ can only be a near-square if $a \equiv 2 \bmod 4$ , $n \equiv 3 \bmod 4$ is prime and $n \geq 19$ . This is part of a more general phenomenon regarding near-squares in non-degenerate recurrence sequences defined for integers $a$ and $b=-b_{1}^{2}$ by $u_{0}(a,b)=0$ , $u_{1}(a,b)=1$ and $u_{n+2}(a,b)=au_{n+1}(a,b)+bu_{n}(a,b)$ for $n \geq 0$ (see our Conjecture 1.1). It arises from a new Aurifeuillean-like factorization of elements of recurrence sequences that we have discovered (see relation (1.1)).

preprint2022arXiv

Improved Constants for Effective Irrationality Measures from Hypergeometric Functions

In this paper, we simplify and improve the constant, $c$ , that appears in effective irrationality measures, $|(a/b)^{m/n}-p/q|>c|q|^{-(κ+1)}$ , obtained from the hypergeometric method for $a/b$ near $1$ . The dependence of $c$ on $|a|$ in our result is best possible (as is the dependence on $n$ in many cases). For some applications, the dependence of this constant on $|a|$ becomes important. We also establish some new inequalities for hypergeometric functions that are useful in other diophantine settings.

preprint2016arXiv

Families of periodic Jacobi-Perron algorithms for all period lengths

For all integers $m \geq n \geq 2$ , we exhibit infinite families of purely periodic Jacobi-Perron Algorithm (JPA) expansions of dimension $n$ with period length equal to $m$ along with the associated Hasse-Bernstein units. Some observations on the units of Levesque-Rhin as well as the periodicity of the JPA expansion of $\left( m^{1/3}, m^{2/3} \right)$ are also made.

preprint2016arXiv

Lang's conjecture and sharp height estimates for the elliptic curves $y^{2}=x^{3}+b$

For $E_{b}: y^{2}=x^{3}+b$ , we establish Lang's conjecture on a lower bound for the canonical height of non-torsion points along with upper and lower bounds for the difference between the canonical and logarithmic height. In many cases, our results are actually best-possible.

preprint2014arXiv

Modules with many non-associates and norm form equations with many families of solutions

For every number field $\mathbb{K}$ , with $[\mathbb{K}:\mathbb{Q}] \geq 3$ , we show that the number of non-associates of the same norm in a full module in $\mathbb{K}$ does not depend only on $\mathbb{K}$ , but can also depend on the module itself. As a corollary, the same can be true for the number of families of solutions of degenerate norm form equations. So the uniform bound obtained by Schmidt for the number of solutions in the non-degenerate case does not always hold in the degenerate case. For three-variable norm forms not arising from full modules, we do obtain a Schmidt-type bound for the number of families of solutions that, together with the above result, completes this aspect of the study of three-variable norm forms.

preprint2013arXiv

Lang's Conjecture and Sharp Height Estimates for the elliptic curves $y^{2}=x^{3}+ax$

For elliptic curves given by the equation $E_{a}: y^{2}=x^{3}+ax$ , we establish the best-possible version of Lang's conjecture on the lower bound of the canonical height of non-torsion points along with best-possible upper and lower bounds for the difference between the canonical and logarithmic height.

preprint2012arXiv

Primitive divisors of Lucas and Lehmer sequences, II

Let $\al$ and $\be$ be conjugate complex algebraic integers which generate Lucas or Lehmer sequences. We present an algorithm to search for elements of such sequences which have no primitive divisors. We use this algorithm to prove that for all $\al$ and $\be$ with $\hgt(\be/\al) \leq 4$, the $n$ -th element of these sequences has a primitive divisor for $n > 30$ . In the course of proving this result, we give an improvement of a result of Stewart concerning more general sequences.

preprint2012arXiv

Primitive divisors of Lucas and Lehmer sequences, III

In this paper we prove that if $n > 30,030$ then the $n$ -th element of any Lucas or Lehmer sequence has a primitive divisor.

preprint2011arXiv

Primitive Divisors of Certain Elliptic Divisibility Sequences

Let $P$ be a non-torsion point on the elliptic curve $E_{a}: y^{2}=x^{3}+ax$ . We show that if $a$ is fourth-power-free and either $n>2$ is even or $n>1$ is odd with $x(P)<0$ or $x(P)$ a perfect square, then the $n$ -th element of the elliptic divisibility sequence generated by $P$ always has a primitive divisor.

preprint2010arXiv

Approximation diophantienne et approximants de Hermite-Padé de type I de fonctions exponentielles

En utilisant des approximants de Hermite-Padé de fonctions exponentielles, ainsi que des déterminants d'interpolation de Laurent, nous minorons la distance entre un nombre algébrique et l'exponentielle d'un nombre algébrique non nul. ----- We use Hermite-Padé approximants of exponential functions along with Laurent's interpolation determinants to obtain lower bounds for the distance between an algebraic number and the exponential of another non-zero algebraic number.

preprint2010arXiv

Effective Irrationality Measures and Approximation by Algebraic Conjugates

In this paper, we present a result on using algebraic conjugates to form a sequence of approximations to an algebraic number, and in this way obtain effective irrationality measures for related algebraic numbers. From this result, we are able to generalise Thue's Fundamentaltheorem.

preprint2010arXiv

Thue's Fundamentaltheorem, I: The General Case

In this paper, Thue's Fundamentaltheorem is analysed. We show that it includes, and often strengthens, known effective irrationality measures obtained via the so-called hypergeometric method as well as showing that it can be applied to previously unconsidered families of algebraic numbers. Furthermore, we extend the method to also cover approximation by algebraic numbers in imaginary quadratic number fields.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Paul Voutier

Research overview

Is this your work?

12 publications

Near-squares in binary recurrence sequences

Improved Constants for Effective Irrationality Measures from Hypergeometric Functions

Families of periodic Jacobi-Perron algorithms for all period lengths

Lang's conjecture and sharp height estimates for the elliptic curves $y^{2}=x^{3}+b$

Modules with many non-associates and norm form equations with many families of solutions

Lang's Conjecture and Sharp Height Estimates for the elliptic curves $y^{2}=x^{3}+ax$

Primitive divisors of Lucas and Lehmer sequences, II

Primitive divisors of Lucas and Lehmer sequences, III

Primitive Divisors of Certain Elliptic Divisibility Sequences

Approximation diophantienne et approximants de Hermite-Padé de type I de fonctions exponentielles

Effective Irrationality Measures and Approximation by Algebraic Conjugates

Thue's Fundamentaltheorem, I: The General Case

See the researcher in context

Building this map preview

Paul Voutier

Research overview

Is this your work?

12 publications

Near-squares in binary recurrence sequences

Improved Constants for Effective Irrationality Measures from Hypergeometric Functions

Families of periodic Jacobi-Perron algorithms for all period lengths

Lang's conjecture and sharp height estimates for the elliptic curves y2=x3+by^{2}=x^{3}+by2=x3+b

Modules with many non-associates and norm form equations with many families of solutions

Lang's Conjecture and Sharp Height Estimates for the elliptic curves y2=x3+axy^{2}=x^{3}+axy2=x3+ax

Primitive divisors of Lucas and Lehmer sequences, II

Primitive divisors of Lucas and Lehmer sequences, III

Primitive Divisors of Certain Elliptic Divisibility Sequences

Approximation diophantienne et approximants de Hermite-Padé de type I de fonctions exponentielles

Effective Irrationality Measures and Approximation by Algebraic Conjugates

Thue's Fundamentaltheorem, I: The General Case

See the researcher in context

Building this map preview

Lang's conjecture and sharp height estimates for the elliptic curves $y^{2}=x^{3}+b$

Lang's Conjecture and Sharp Height Estimates for the elliptic curves $y^{2}=x^{3}+ax$