Source author record

Timothy S. Trudgian

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

ResearcherUnclaimed source record

math.NT

Catalog footprint

Research overview

6works

1topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Wolstenholme and Vandiver primes

A prime $p$ is a Wolstenholme prime if $\binom{2p}{p}\equiv2$ mod $p^4$ , or, equivalently, if $p$ divides the numerator of the Bernoulli number $B_{p-3}$ ; a Vandiver prime $p$ is one that divides the Euler number $E_{p-3}$ . Only two Wolstenholme primes and eight Vandiver primes are known. We increase the search range in the first case by a factor of $10$ , and show that no additional Wolstenholme primes exist up to $10^{11}$ , and in the second case by a factor of $20$ , proving that no additional Vandiver primes occur up to this same bound. To facilitate this, we develop a number of new congruences for Bernoulli and Euler numbers mod $p$ that are favorable for computation, and we implement some highly parallel searches using GPUs.

preprint2020arXiv

A tale of two omegas

We consider $ω(n)$ and $Ω(n)$ , which respectively count the number of distinct and total prime factors of $n$ . We survey a number of similarities and differences between these two functions, and study the summatory functions $L(x)=\sum_{n\leq x} (-1)^{Ω(n)}$ and $H(x)=\sum_{n\leq x} (-1)^{ω(n)}$ in particular. Questions about oscillations in both of these functions are connected to the Riemann hypothesis and other questions concerning the Riemann zeta function. We show that even though $ω(n)$ and $Ω(n)$ have the same parity approximately 73.5\% of the time, these summatory functions exhibit quite different behaviors: $L(x)$ is biased toward negative values, while $H(x)$ is unbiased. We also prove that $H(x)>1.7\sqrt{x}$ for infinitely many integers $x$ , and $H(x)<-1.7\sqrt{x}$ infinitely often as well. These statements complement results on oscillations for $L(x)$ .

preprint2020arXiv

The mean square of the error term in the prime number theorem

We show that, on the Riemann hypothesis, $\limsup_{X\to\infty}I(X)/X^{2} \leq 0.8603$ , where $I(X) = \int_X^{2X} (ψ(x)-x)^2\,dx.$ This proves (and improves on) a claim by Pintz from 1982. We also show unconditionally that $\frac{1}{5\,374}\leq I(X)/X^2$ for sufficiently large $X$ , and that the $I(X)/X^{2}$ has no limit as $X\rightarrow\infty$ .

preprint2020arXiv

The size of oscillations in the Goldbach conjecture

Let $R(n) = \sum_{a+b=n} Λ(a)Λ(b)$ , where $Λ(\cdot)$ is the von Mangoldt function. The function $R(n)$ is often studied in connection with Goldbach's conjecture. On the Riemann hypothesis (RH) it is known that $\sum_{n\leq x} R(n) = x^2/2 - 4x^{3/2} G(x) + O(x^{1+ε})$ , where $G(x)=\Re \sum_{γ>0} \frac{x^{iγ}}{(\frac{1}{2} + iγ)(\frac{3}{2} + iγ)}$ and the sum is over the ordinates of the nontrivial zeros of the Riemann zeta function in the upper half-plane. We prove (on RH) that each of the inequalities $G(x) < -0.02093$ and $G(x)> 0.02092$ hold infinitely often, and establish improved bounds under an assumption of linearly independence for zeros of the zeta function. We also show that the bounds we obtain are very close to optimal.

preprint2014arXiv

A log-free zero-density estimate and small gaps in coefficients of $L$ -functions

Let $L(s, π\timesπ^\prime)$ be the Rankin--Selberg $L$ -function attached to automorphic representations $π$ and $π^\prime$ . Let $\tildeπ$ and $\tildeπ^\prime$ denote the contragredient representations associated to $π$ and $π^\prime$ . Under the assumption of certain upper bounds for coefficients of the logarithmic derivatives of $L(s, π\times\tildeπ)$ and $L(s, π^\prime\times\tildeπ^\prime)$ , we prove a log-free zero-density estimate for $L(s, π\timesπ^\prime)$ which generalises a result due to Fogels in the context of Dirichlet $L$ -functions. We then employ this log-free estimate in studying the distribution of the Fourier coefficients of an automorphic representation $π$ . As an application we examine the non-lacunarity of the Fourier coefficients $b_f(p)$ of a modular newform $f(z)=\sum_{n=1}^{\infty} b_f(n) e^{2πi n z}$ of weight $k$ , level $N$ , and character $χ$ . More precisely for $f(z)$ and a prime $p$ , set $j_f(p):=\max_{x;~x> p} J_{f} (p, x)$ , where $J_{f} (p, x):=\#\{{\rm prime}~q;~a_π(q)=0~{\rm for~all~}p<q\leq x\}.$ We prove that $j_f(p)\ll_{f, θ} p^θ$ for some $0<θ<1$ .

preprint2014arXiv

Nonnegative trigonometric polynomials and a zero-free region for the Riemann zeta-function

We prove that the Riemann zeta-function $ζ(σ+ it)$ has no zeros in the region $σ\geq 1 - 1/(5.573412 \log|t|)$ for $|t|\geq 2$ . This represents the largest known zero-free region within the critical strip for $3.06\cdot10^{10} < |t|<\exp(10151.5)$ . Our improvements result from determining some favorable trigonometric polynomials having particular properties, and from analyzing the error term in the method of Kadiri. We also improve an upper bound in a question of Landau regarding nonnegative trigonometric polynomials.

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.

Timothy S. Trudgian

Research overview

Is this your work?

6 publications

Wolstenholme and Vandiver primes

A tale of two omegas

The mean square of the error term in the prime number theorem

The size of oscillations in the Goldbach conjecture

A log-free zero-density estimate and small gaps in coefficients of $L$ -functions

Nonnegative trigonometric polynomials and a zero-free region for the Riemann zeta-function

See the researcher in context

Building this map preview

Timothy S. Trudgian

Research overview

Is this your work?

6 publications

Wolstenholme and Vandiver primes

A tale of two omegas

The mean square of the error term in the prime number theorem

The size of oscillations in the Goldbach conjecture

A log-free zero-density estimate and small gaps in coefficients of LLL-functions

Nonnegative trigonometric polynomials and a zero-free region for the Riemann zeta-function

See the researcher in context

Building this map preview

A log-free zero-density estimate and small gaps in coefficients of $L$ -functions