Source author record

Tim Trudgian

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

ResearcherUnclaimed source record

Catalog footprint

Research overview

24works
3topics
4close collaborators

Published work

24 publications

preprint2022arXiv

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

We prove that for any prime power q∉{3,4,5}q\notin\{3,4,5\}, the cubic extension Fq3\mathbb{F}_{q^3} of the finite field Fq\mathbb{F}_q contains a primitive element ξξ such that ξ+ξ−1ξ+ξ^{-1} is also primitive, and TrFq3/Fq(ξ)=a\textrm{Tr}_{\mathbb{F}_{q^3}/\mathbb{F}_q}(ξ)=a for any prescribed a∈Fqa\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≥3n\ge3.

preprint2022arXiv

Primitive elements with prescribed traces

Given a prime power qq and a positive integer nn, let Fqn\mathbb{F}_{q^{n}} denote the finite field with qnq^n elements. Also let a,ba,b be arbitrary members of the ground field Fq\mathbb{F}_{q}. We investigate the existence of a non-zero element ξ∈Fqnξ\in \mathbb{F}_{q^{n}} such that ξ+ξ−1ξ+ ξ^{-1} is primitive and T(ξ)=a,T(ξ−1)=bT(ξ)=a, T(ξ^{-1})=b, where T(ξ)T(ξ) denotes the trace of ξξ in Fq\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≥5n \geq 5. A related study involves the cubic extension Fq3\mathbb{F}_{q^{3}} of Fq\mathbb{F}_{q}. We show that if q≥8⋅1012q\geq 8\cdot 10^{12} then, for any a∈Fqa\in \mathbb{F}_{q} we can find a primitive element ξ∈Fq3ξ\in \mathbb{F}_{q^{3}} such that ξ+ξ−1ξ+ ξ^{-1} is also a primitive element of Fq3\mathbb{F}_{q^{3}}, and for which the trace of ξξ is equal to aa. 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 kk-free numbers

Let Rk(x)R_k(x) denote the error incurred by approximating the number of kk-free integers less than xx by x/ζ(k)x/ζ(k). It is well known that Rk(x)=Ω(x12k)R_k(x)=Ω(x^{\frac{1}{2k}}), and widely conjectured that Rk(x)=O(x12k+ε)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 Rk(x)/x1/2k>3R_k(x)/x^{1/2k} > 3 infinitely often and that Rk(x)/x1/2k<−3R_k(x)/x^{1/2k} < -3 infinitely often, for k=2k=2, 33, 44, and 55. We also investigate R2(x)R_2(x) and R3(x)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≤10180<x\leq10^{18} we show that ∣R2(x)∣<1.12543x1/4|R_2(x)| < 1.12543x^{1/4} and ∣R3(x)∣<1.27417x1/6|R_3(x)| < 1.27417x^{1/6}. We also present some empirical results regarding gaps between square-free numbers and between cube-free numbers.

preprint2015arXiv

Resolving Grosswald's conjecture on GRH

In this paper we examine Grosswald's conjecture on g(p)g(p), the least primitive root modulo pp. 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)<p−2g(p)< \sqrt{p} - 2 for all p>409p>409. Our method also shows that under GRH we have g^(p)<p−2\hat{g}(p)< \sqrt{p}-2 for all p>2791p>2791, where g^(p)\hat{g}(p) is the least prime primitive root modulo pp.

preprint2014arXiv

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

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

preprint2014arXiv

The T4T_{4} and G4G_{4} constructions of Costas arrays

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

Research graph

See the researcher in context

Open full explorer

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.