Source author record

Tim Trudgian

Tim Trudgian appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.NT math.CO math.RA

Catalog footprint

What is connected

24works

3topics

4close collaborators

Actions

Connect this record

Open graph Browse works

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.

preprint2022arXiv

Primitive element pairs with a prescribed trace in the cubic extension of a finite field

We prove that for any prime power $q\notin\{3,4,5\}$, the cubic extension $\mathbb{F}_{q^3}$ of the finite field $\mathbb{F}_q$ contains a primitive element $ξ$ such that $ξ+ξ^{-1}$ is also primitive, and $\textrm{Tr}_{\mathbb{F}_{q^3}/\mathbb{F}_q}(ξ)=a$ for any prescribed $a\in\mathbb{F}_q$. This completes the proof of a conjecture of Gupta, Sharma, and Cohen concerning the analogous problem over an extension of arbitrary degree $n\ge3$.

preprint2022arXiv

Primitive elements with prescribed traces

Given a prime power $q$ and a positive integer $n$, let $\mathbb{F}_{q^{n}}$ denote the finite field with $q^n$ elements. Also let $a,b$ be arbitrary members of the ground field $\mathbb{F}_{q}$. We investigate the existence of a non-zero element $ξ\in \mathbb{F}_{q^{n}}$ such that $ξ+ ξ^{-1}$ is primitive and $T(ξ)=a, T(ξ^{-1})=b$, where $T(ξ)$ denotes the trace of $ξ$ in $\mathbb{F}_{q}$. This was a question intended to be addressed by Cao and Wang in 2014. Their work dealt instead with another problem already in the literature. Our solution deals with all values of $n \geq 5$. A related study involves the cubic extension $\mathbb{F}_{q^{3}}$ of $\mathbb{F}_{q}$. We show that if $q\geq 8\cdot 10^{12}$ then, for any $a\in \mathbb{F}_{q}$ we can find a primitive element $ξ\in \mathbb{F}_{q^{3}}$ such that $ξ+ ξ^{-1}$ is also a primitive element of $\mathbb{F}_{q^{3}}$, and for which the trace of $ξ$ is equal to $a$. The improves a result of Cohen and Gupta. Along the way we prove a hybridised lower bound on prime divisors in various residue classes, which may be of interest to related existence questions.

preprint2020arXiv

The distribution of $k$-free numbers

Let $R_k(x)$ denote the error incurred by approximating the number of $k$-free integers less than $x$ by $x/ζ(k)$. It is well known that $R_k(x)=Ω(x^{\frac{1}{2k}})$, and widely conjectured that $R_k(x)=O(x^{\frac{1}{2k}+ε})$. By establishing weak linear independence of some subsets of zeros of the Riemann zeta function, we establish an effective proof of the lower bound, with significantly larger bounds on the constant compared to those obtained in prior work. For example, we show that $R_k(x)/x^{1/2k} > 3$ infinitely often and that $R_k(x)/x^{1/2k} < -3$ infinitely often, for $k=2$, $3$, $4$, and $5$. We also investigate $R_2(x)$ and $R_3(x)$ in detail and establish that our bounds far exceed the oscillations exhibited by these functions over a long range: for $0<x\leq10^{18}$ we show that $|R_2(x)| < 1.12543x^{1/4}$ and $|R_3(x)| < 1.27417x^{1/6}$. We also present some empirical results regarding gaps between square-free numbers and between cube-free numbers.

preprint2020arXiv

The error term in the prime number theorem

We make explicit a theorem of Pintz concerning the error term in the prime number theorem. This gives an improved version of the prime number theorem with error term roughly square-root of that which was previously known. We apply this to a long-standing problem concerning an inequality studied by Ramanujan.

preprint2020arXiv

The Riemann hypothesis is true up to $3\cdot 10^{12}$

We verify numerically, in a rigorous way using interval arithmetic, that the Riemann hypothesis is true up to height $3\cdot10^{12}$. That is, all zeroes $β+ iγ$ of the Riemann zeta-function with $0<γ\leq 3\cdot 10^{12}$ have $β= 1/2$.

preprint2016arXiv

On the least square-free primitive root modulo $p$

Let $g^{\square}(p)$ denote the least square-free primitive root modulo $p$. We show that $g^{\square}(p)< p^{0.96}$ for all $p$.

preprint2016arXiv

On the sum of two squares and at most two powers of 2

We demonstrate that there are infinitely many integers that cannot be expressed as the sum of two squares of integers and up to two non-negative integer powers of 2.

preprint2015arXiv

Bounds on the number of Diophantine quintuples

We consider Diophantine quintuples $\{a, b, c, d, e\}$. These are sets of distinct positive integers, the product of any two elements of which is one less than a perfect square. It is conjectured that there are no Diophantine quintuples; we improve on current estimates to show that there are at most $1.9\cdot 10^{29}$ Diophantine quintuples.

preprint2015arXiv

Diophantine quintuples containing triples of the first kind

We consider Diophantine quintuples $\{a, b, c, d, e\}$, sets of distinct positive integers the product of any two elements of which is one less than a perfect square. Triples of the first kind are the subsets $\{a, b, d\}$ with $d> b^{5}$. We show that there are no Diophantine quintuples containing triples of the first kind.

preprint2015arXiv

Linnik's approximation to Goldbach's conjecture, and other problems

We examine the problem of writing every sufficiently large even number as the sum of two primes and at most $K$ powers of 2. We outline an approach that only just falls short of improving the current bounds on $K$. Finally, we improve the estimates in other Waring--Goldbach problems.

preprint2015arXiv

On Grosswald's conjecture on primitive roots

Grosswald's conjecture is that $g(p)$, the least primitive root modulo $p$, satisfies $g(p) \leq \sqrt{p} - 2$ for all $p>409$. We make progress towards this conjecture by proving that $g(p) \leq \sqrt{p} -2$ for all $409<p< 2.5\times 10^{15}$ and for all $p>3.67\times 10^{71}$.

preprint2015arXiv

Resolving Grosswald's conjecture on GRH

In this paper we examine Grosswald's conjecture on $g(p)$, the least primitive root modulo $p$. Assuming the Generalized Riemann Hypothesis (GRH), and building on previous work by Cohen, Oliveira e Silva and Trudgian, we resolve Grosswald's conjecture by showing that $g(p)< \sqrt{p} - 2$ for all $p>409$. Our method also shows that under GRH we have $\hat{g}(p)< \sqrt{p}-2$ for all $p>2791$, where $\hat{g}(p)$ is the least prime primitive root modulo $p$.

preprint2015arXiv

Searching for Diophantine quintuples

preprint2014arXiv

A proof of the conjecture of Cohen and Mullen on sums of primitive roots

We prove that for all $q>61$, every non-zero element in the finite field $\mathbb{F}_{q}$ can be written as a linear combination of two primitive roots of $\mathbb{F}_{q}$. This resolves a conjecture posed by Cohen and Mullen.

preprint2014arXiv

A short extension of two of Spira's results

Two inequalities concerning the symmetry of the zeta-function and the Ramanujan $τ$-function are improved through the use of some elementary considerations.

preprint2014arXiv

An improved explicit bound on $|ζ(1/2 + it)|$

This article proves the bound $|ζ(\frac{1}{2} + it)|\leq 0.732 t^{\frac{1}{6}} \log t$ for $t \geq 2$, which improves on a result by Cheng and Graham. We also show that $|ζ(\frac{1}{2}+it)|\leq 0.732 |3.3081+it|^{\frac{1}{6}} \log |3.3081+it|$ for all $t$.

preprint2014arXiv

Improvements to Turing's Method II

Turing's method uses explicit bounds on $|\int_{t_{1}}^{t_{2}} S(t)\, dt|$, where $πS(t)$ is the argument of the Riemann zeta-function. This article improves the bound on $|\int_{t_{1}}^{t_{2}} S(t)\, dt|$ given in an earlier paper by the author.

preprint2014arXiv

Linear relations of zeroes of the zeta-function

This article considers linear relations between the non-trivial zeroes of the Riemann zeta-function. The main application is an alternative disproof to Mertens' conjecture. We show that $\limsup M(x)x^{-1/2} \geq 1.6383$ and that $\liminf M(x)x^{-1/2}\leq -1.6383$.

preprint2014arXiv

On the first sign change of $θ(x) - x$

Let $θ(x) = \sum_{p\leq x} \log p$. We show that $θ(x)<x$ for $2<x< 1.39\cdot 10^{17}$. We also show that there is an $x<\exp(727.951332668)$ for which $θ(x) >x.$

preprint2014arXiv

The $T_{4}$ and $G_{4}$ constructions of Costas arrays

We examine two particular constructions of Costas arrays known as the Taylor variant of the Lempel construction, or the $T_{4}$ construction, and the variant of the Golomb construction, or the $G_{4}$ construction. We connect these constructions with the concept of Fibonacci primitive roots, and show that under the Extended Riemann Hypothesis the $T_{4}$ and $G_{4}$ constructions are valid infinitely often.

preprint2014arXiv

The sum of the unitary divisor function

This article establishes a new upper bound on the function $σ^{*}(n)$, the sum of all coprime divisors of $n$. The article concludes with two questions concerning this function.

preprint2014arXiv

Updating the error term in the prime number theorem

An improved estimate is given for $|θ(x) -x|$, where $θ(x) = \sum_{p\leq x} \log p$. Three applications are given: the first to arithmetic progressions that have points in common, the second to primes in short intervals, and the third to a conjecture by C. Pomerance.

preprint2013arXiv

An incomplete variant of Wilson's congruence

This article examines the nontrivial solutions of the congruence \[ (p-1)\cdots(p-r) \equiv -1 \pmod p. \] We discuss heuristics for the proportion of primes $p$ that have exactly $N$ solutions to this congruence. We supply numerical evidence in favour of these conjectures, and discuss the algorithms used in our calculations.

preprint2013arXiv

There are no socialist primes less than 10^9

There are no primes $p$ with $5<p<10^{9}$ for which $2!, 3!, \ldots, (p-1)!$ are all distinct modulo $p$; it is conjectured that there are no such primes.

Tim Trudgian

What is connected

Connect this record

See the researcher in context

Building this map preview

24 published item(s)

Primitive element pairs with a prescribed trace in the cubic extension of a finite field

Primitive elements with prescribed traces

The distribution of $k$-free numbers

The error term in the prime number theorem

The Riemann hypothesis is true up to $3\cdot 10^{12}$

On the least square-free primitive root modulo $p$

On the sum of two squares and at most two powers of 2

Bounds on the number of Diophantine quintuples

Diophantine quintuples containing triples of the first kind

Linnik's approximation to Goldbach's conjecture, and other problems

On Grosswald's conjecture on primitive roots

Resolving Grosswald's conjecture on GRH

Searching for Diophantine quintuples

A proof of the conjecture of Cohen and Mullen on sums of primitive roots

A short extension of two of Spira's results

An improved explicit bound on $|ζ(1/2 + it)|$

Improvements to Turing's Method II

Linear relations of zeroes of the zeta-function

On the first sign change of $θ(x) - x$

The $T_{4}$ and $G_{4}$ constructions of Costas arrays

The sum of the unitary divisor function

Updating the error term in the prime number theorem

An incomplete variant of Wilson's congruence

There are no socialist primes less than 10^9