Showing 1–9 of 9 results for author: Voutier, P M

Bounds on the number of squares in recurrence sequences: arbitrary $b$, III

Authors: Paul M Voutier

Abstract: We generalise our earlier work on the number of squares in binary recurrence sequences, $\left\{ y_{k} \right\}_{k \geq -\infty}$. In the notation of our previous papers, here we consider the case when $N_α$ is any negative integer and $y_{0}=b^{2}$ for any positive integer, $b$. We show that there are at most $4$ distinct squares with $y_{k}$ sufficiently large. This allows us to also show that t… ▽ More We generalise our earlier work on the number of squares in binary recurrence sequences, $\left\{ y_{k} \right\}_{k \geq -\infty}$. In the notation of our previous papers, here we consider the case when $N_α$ is any negative integer and $y_{0}=b^{2}$ for any positive integer, $b$. We show that there are at most $4$ distinct squares with $y_{k}$ sufficiently large. This allows us to also show that there are at most $9$ distinct squares in such sequences when $b=1,2$ or $3$, or once $d$ is sufficiently large. △ Less

Submitted 9 April, 2025; originally announced April 2025.

Comments: comments very welcome!

Bounds on the number of squares in recurrence sequences: $y_{0}=b^{2}$ (I)

Authors: Paul M Voutier

Abstract: We continue and generalise our earlier investigations of the number of squares in binary recurrence sequences. Here we consider sequences, $\left\{ y_{k} \right\}$, arising from the solutions of generalised negative Pell equations, $X^{2}-dY^{2}=c$, where $-c$ and $y_{0}$ are any positive squares. We show that there are at most $5$ distinct squares in such sequences when $y_{0}=1,4,\ldots,11^{2}$,… ▽ More We continue and generalise our earlier investigations of the number of squares in binary recurrence sequences. Here we consider sequences, $\left\{ y_{k} \right\}$, arising from the solutions of generalised negative Pell equations, $X^{2}-dY^{2}=c$, where $-c$ and $y_{0}$ are any positive squares. We show that there are at most $5$ distinct squares in such sequences when $y_{0}=1,4,\ldots,11^{2}$, or once $d$ exceeds an explicit lower bound. △ Less

Submitted 3 February, 2025; originally announced February 2025.

Comments: comments, suggestions, etc, very much welcome! arXiv admin note: text overlap with arXiv:2401.01293

$n$-defective Lehmer pairs for small $n$: Corrections and Clarifications

Authors: Paul M. Voutier

Abstract: We provide some corrections and clarifications of statements in \cite{Ab} and \cite{BHV} regarding elements in Lehmer sequences that have no primitive divisors for small $n$. We provide some corrections and clarifications of statements in \cite{Ab} and \cite{BHV} regarding elements in Lehmer sequences that have no primitive divisors for small $n$. △ Less

Submitted 27 May, 2025; v1 submitted 12 November, 2024; originally announced November 2024.

Comments: Accepted version by International J. Number Theory

MSC Class: 11B37 (Primary) 11B39 (Secondary)

A family of cyclic quartic monogenic polynomials

Authors: Paul M. Voutier

Abstract: We produce an explicit family of totally real cyclic quartic polynomials that are monogenic in many cases and, if the $abc$ conjecture holds, generate distinct monogenic quartic fields infinitely often. Additional families (also conjecturally generating infinitely many distinct fields) are provided in Section 4, including what appears to be an infinite collection of such families. We produce an explicit family of totally real cyclic quartic polynomials that are monogenic in many cases and, if the $abc$ conjecture holds, generate distinct monogenic quartic fields infinitely often. Additional families (also conjecturally generating infinitely many distinct fields) are provided in Section 4, including what appears to be an infinite collection of such families. △ Less

Submitted 9 July, 2025; v1 submitted 30 May, 2024; originally announced May 2024.

Comments: Accepted version

MSC Class: 11R16 11R32

Journal ref: Acta Arith. 219 (2025), 365--377

Bounds on the number of squares in recurrence sequences

Authors: Paul M Voutier

Abstract: We investigate the number of squares in a very broad family of binary recurrence sequences with $u_{0}=1$. We show that there are at most two distinct squares in such sequences (the best possible result), except under such very special conditions where we prove there are at most three such squares. We investigate the number of squares in a very broad family of binary recurrence sequences with $u_{0}=1$. We show that there are at most two distinct squares in such sequences (the best possible result), except under such very special conditions where we prove there are at most three such squares. △ Less

Submitted 30 July, 2024; v1 submitted 2 January, 2024; originally announced January 2024.

Comments: Accepted version for J. Number Theory

MSC Class: 11B37; 11B39; 11J82

Sharp bounds on the number of squares in recurrence sequences and solutions of $X^{2}-\left( a^{2}+b \right) Y^{4}=-b$

Authors: Paul M Voutier

Abstract: We obtain best possible results for the number of coprime positive integer solutions of the equation in the title when $a$ is a positive integer, $b=p^{m}$, $2p^{m}$ or $4p^{m}$, where $m$ is a non-negative integer, $p$ is prime, $a^{2}+b$ is not a square and $X^{2}- \left( a^{2}+b \right) Y^{2}=-4$ has a solution in positive integers. We prove our results by bounding the number of distinct square… ▽ More We obtain best possible results for the number of coprime positive integer solutions of the equation in the title when $a$ is a positive integer, $b=p^{m}$, $2p^{m}$ or $4p^{m}$, where $m$ is a non-negative integer, $p$ is prime, $a^{2}+b$ is not a square and $X^{2}- \left( a^{2}+b \right) Y^{2}=-4$ has a solution in positive integers. We prove our results by bounding the number of distinct squares in certain binary recurrence sequences, including those associated with such equations. △ Less

Submitted 12 December, 2024; v1 submitted 11 July, 2018; originally announced July 2018.

Comments: Accepted. Comments welcome!

MSC Class: 11D25; 11J82

Primitive divisors of Lucas and Lehmer sequences

Authors: Paul M Voutier

Abstract: Stewart reduced the problem of determining all Lucas and Lehmer sequences whose $n$-th element does not have a primitive divisor to solving certain Thue equations. Using the method of Tzanakis and de Weger for solving Thue equations, we determine such sequences for $n \leq 30$. Further computations lead us to conjecture that, for $n > 30$, the $n$-th element of such sequences always has a primitiv… ▽ More Stewart reduced the problem of determining all Lucas and Lehmer sequences whose $n$-th element does not have a primitive divisor to solving certain Thue equations. Using the method of Tzanakis and de Weger for solving Thue equations, we determine such sequences for $n \leq 30$. Further computations lead us to conjecture that, for $n > 30$, the $n$-th element of such sequences always has a primitive divisor. △ Less

Submitted 31 January, 2012; originally announced January 2012.

MSC Class: 11D61

Journal ref: Math. Comp. 64 (1995), 869-888

A New Approximation to the Normal Distribution Quantile Function

Authors: Paul M. Voutier

Abstract: We present a new approximation to the normal distribution quantile function. It has a similar form to the approximation of Beasley and Springer [3], providing a maximum absolute error of less than $2.5 \cdot 10^{-5}$. This is less accurate than [3], but still sufficient for many applications. However it is faster than [3]. This is its primary benefit, which can be crucial to many applications, i… ▽ More We present a new approximation to the normal distribution quantile function. It has a similar form to the approximation of Beasley and Springer [3], providing a maximum absolute error of less than $2.5 \cdot 10^{-5}$. This is less accurate than [3], but still sufficient for many applications. However it is faster than [3]. This is its primary benefit, which can be crucial to many applications, including in financial markets. △ Less

Submitted 3 February, 2010; v1 submitted 2 February, 2010; originally announced February 2010.

Comments: added contact details

Rational approximations to $\sqrt[3]{2}$ and other algebraic numbers revisited

Authors: P. M. Voutier

Abstract: In this paper, we establish improved effective irrationality measures for certain numbers of the form $\sqrt[3]{n}$, using approximations obtained from hypergeometric functions. These results are very close to the best possible using this method. We are able to obtain these results by determining very precise arithmetic information about the denominators of the coefficients of these hypergeometr… ▽ More In this paper, we establish improved effective irrationality measures for certain numbers of the form $\sqrt[3]{n}$, using approximations obtained from hypergeometric functions. These results are very close to the best possible using this method. We are able to obtain these results by determining very precise arithmetic information about the denominators of the coefficients of these hypergeometric functions. Improved bounds for $θ(k,l;x)$ and $ψ(k,l;x)$ for $k=1,3,4,6$ are also presented. △ Less

Submitted 9 February, 2008; originally announced February 2008.

Comments: published version, but with some small changes, including typo in statement of Lemma 5.1(b), leading to simpler proof of Theorem 2.1

MSC Class: 11J68; 33C05

Journal ref: Journal de Théorie des Nombres de Bordeaux 19 (2007), 265-288