Showing 1–22 of 22 results for author: Trudgian, T S

On optimal exponent pairs

Authors: Timothy S. Trudgian, Andrew Yang

Abstract: We quantify the set of known exponent pairs $(k, \ell)$ and develop a framework to compute the optimal exponent pair for an arbitrary objective function. Applying this methodology, we make progress on several open problems, including bounds of the Riemann zeta-function $ζ(s)$ in the critical strip, estimates of the moments of $ζ(1/2 + it)$ and the generalised Dirichlet divisor problem. We quantify the set of known exponent pairs $(k, \ell)$ and develop a framework to compute the optimal exponent pair for an arbitrary objective function. Applying this methodology, we make progress on several open problems, including bounds of the Riemann zeta-function $ζ(s)$ in the critical strip, estimates of the moments of $ζ(1/2 + it)$ and the generalised Dirichlet divisor problem. △ Less

Submitted 5 May, 2024; v1 submitted 8 June, 2023; originally announced June 2023.

Comments: 38 pages, 2 figures

MSC Class: 11L07; 11M06; 11T23 (Primary)

An explicit upper bound for $L(1, χ)$ when $χ$ is quadratic

Authors: D. R. Johnston, O. Ramare, T. S. Trudgian

Abstract: We consider Dirichlet $L$-functions $L(s, χ)$ where $χ$ is a non-principal quadratic character to the modulus $q$. We make explicit a result due to Pintz and Stephens by showing that $|L(1, χ)|\leq \frac{1}{2}\log q$ for all $q\geq 2\cdot 10^{23}$ and $|L(1, χ)|\leq \frac{9}{20}\log q$ for all $q\geq 5\cdot 10^{50}$. We consider Dirichlet $L$-functions $L(s, χ)$ where $χ$ is a non-principal quadratic character to the modulus $q$. We make explicit a result due to Pintz and Stephens by showing that $|L(1, χ)|\leq \frac{1}{2}\log q$ for all $q\geq 2\cdot 10^{23}$ and $|L(1, χ)|\leq \frac{9}{20}\log q$ for all $q\geq 5\cdot 10^{50}$. △ Less

Submitted 23 March, 2023; originally announced March 2023.

Comments: 17 pages

MSC Class: 11M20

Explicit zero-free regions for the Riemann zeta-function

Authors: Michael J. Mossinghoff, Timothy S. Trudgian, Andrew Yang

Abstract: We prove that the Riemann zeta-function $ζ(σ+ it)$ has no zeros in the region $σ\geq 1 - 1/(55.241(\log|t|)^{2/3} (\log\log |t|)^{1/3})$ for $|t|\geq 3$. In addition, we improve the constant in the classical zero-free region, showing that the zeta-function has no zeros in the region $σ\geq 1 - 1/(5.558691\log|t|)$ for $|t|\geq 2$. We also provide new bounds that are useful for intermediate values… ▽ More We prove that the Riemann zeta-function $ζ(σ+ it)$ has no zeros in the region $σ\geq 1 - 1/(55.241(\log|t|)^{2/3} (\log\log |t|)^{1/3})$ for $|t|\geq 3$. In addition, we improve the constant in the classical zero-free region, showing that the zeta-function has no zeros in the region $σ\geq 1 - 1/(5.558691\log|t|)$ for $|t|\geq 2$. We also provide new bounds that are useful for intermediate values of $|t|$. Combined, our results improve the largest known zero-free region within the critical strip for $3\cdot10^{12} \leq |t|\leq \exp(64.1)$ and $|t| \geq \exp(1000)$. △ Less

Submitted 13 December, 2022; originally announced December 2022.

Comments: 27 pages

MSC Class: 11M26; 42A05; 11Y35

New bounds for numbers of primes in element orders of finite groups

Authors: Chiara Bellotti, Thomas Michael Keller, Timothy S. Trudgian

Abstract: Let $ρ(n)$ denote the maximal number of different primes that may occur in the order of a finite solvable group $G$, all elements of which have orders divisible by at most $n$ distinct primes. We show that $ρ(n)\leq 5n$ for all $n\geq 1$. As an application, we improve on a recent bound by Hung and Yang for arbitrary finite groups. Let $ρ(n)$ denote the maximal number of different primes that may occur in the order of a finite solvable group $G$, all elements of which have orders divisible by at most $n$ distinct primes. We show that $ρ(n)\leq 5n$ for all $n\geq 1$. As an application, we improve on a recent bound by Hung and Yang for arbitrary finite groups. △ Less

Submitted 10 November, 2022; originally announced November 2022.

Comments: 6 pages

MSC Class: 20D60; 20E34; 20C15; 11N05

On the Montgomery-Odlyzko method regarding gaps between zeros of the zeta-function

Authors: Daniel A. Goldston, Timothy S. Trudgian, Caroline L. Turnage-Butterbaugh

Abstract: Assuming the Riemann Hypothesis, it is known that there are infinitely many consecutive pairs of zeros of the Riemann zeta-function within 0.515396 times the average spacing. This is obtained using the method of Montgomery and Odlyzko. We prove that this method can never find infinitely many pairs of consecutive zeros within 0.5042 times the average spacing. Assuming the Riemann Hypothesis, it is known that there are infinitely many consecutive pairs of zeros of the Riemann zeta-function within 0.515396 times the average spacing. This is obtained using the method of Montgomery and Odlyzko. We prove that this method can never find infinitely many pairs of consecutive zeros within 0.5042 times the average spacing. △ Less

Submitted 29 March, 2023; v1 submitted 25 January, 2022; originally announced January 2022.

Comments: 6 pages, V2 contains changes to the exposition, clarification of the evaluation of S_1 on page 2, and corrections made to the choice of constants at the end of the proof

MSC Class: 11M26

Fake Mu's

Authors: Greg Martin, Michael J. Mossinghoff, Timothy S. Trudgian

Abstract: Let $f(n)$ denote a multiplicative function with range $\{-1,0,1\}$, and let $F(x) = \sum_{n\leq x} f(n)$. Then $F(x)/\sqrt{x} = a\sqrt{x} + b + E(x)$, where $a$ and $b$ are constants and $E(x)$ is an error term that either tends to $0$ in the limit, or is expected to oscillate about $0$ in a roughly balanced manner. We say $F(x)$ has persistent bias $b$ (at the scale of $\sqrt{x}$) in the first c… ▽ More Let $f(n)$ denote a multiplicative function with range $\{-1,0,1\}$, and let $F(x) = \sum_{n\leq x} f(n)$. Then $F(x)/\sqrt{x} = a\sqrt{x} + b + E(x)$, where $a$ and $b$ are constants and $E(x)$ is an error term that either tends to $0$ in the limit, or is expected to oscillate about $0$ in a roughly balanced manner. We say $F(x)$ has persistent bias $b$ (at the scale of $\sqrt{x}$) in the first case, and apparent bias $b$ in the latter. For example, if $f(n)=μ(n)$, the Möbius function, then $F(x) = \sum_{n\leq x} μ(n)$ has $b=0$ so exhibits no persistent or apparent bias, while if $f(n)=λ(n)$, the Liouville function, then $F(x) = \sum_{n\leq x} λ(n)$ has apparent bias $b=1/ζ(1/2)$. We study the bias when $f(p^k)$ is independent of the prime $p$, and call such functions fake $μ's$. We investigate the conditions required for such a function to exhibit a persistent or apparent bias, determine the functions in this family with maximal and minimal bias of each type, and characterize the functions with no bias of either type. For such a function $F(x)$ with apparent bias $b$, we also show that $F(x)/\sqrt{x}-a\sqrt{x}-b$ changes sign infinitely often. △ Less

Submitted 9 December, 2021; originally announced December 2021.

MSC Class: 11N37; 11A25; 11M20; 11M26; 11Y70

Explicit lower bounds on $|L(1, χ)|$

Authors: Michael J. Mossinghoff, Valeriia V. Starichkova, Timothy S. Trudgian

Abstract: Let $χ$ denote a primitive, non-quadratic Dirichlet character with conductor $q$, and let $L(s, χ)$ denote its associated Dirichlet $L$-function. We show that $|L(1, χ)| \geq 1/(9.12255 \log(q/π))$ for sufficiently large $q$, and that $|L(1, χ)| \geq 1/(9.69030 \log(q/π))$ for all $q\geq2$, improving some results of Louboutin. The improvements stem principally from the construction, via simulated… ▽ More Let $χ$ denote a primitive, non-quadratic Dirichlet character with conductor $q$, and let $L(s, χ)$ denote its associated Dirichlet $L$-function. We show that $|L(1, χ)| \geq 1/(9.12255 \log(q/π))$ for sufficiently large $q$, and that $|L(1, χ)| \geq 1/(9.69030 \log(q/π))$ for all $q\geq2$, improving some results of Louboutin. The improvements stem principally from the construction, via simulated annealing, of some real trigonometric polynomials having particularly favorable properties. △ Less

Submitted 19 July, 2021; originally announced July 2021.

Comments: 13 pages

MSC Class: 11M02; 11Y35; 42A05

Wolstenholme and Vandiver primes

Authors: Andrew R. Booker, Shehzad Hathi, Michael J. Mossinghoff, Timothy S. Trudgian

Abstract: 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 p… ▽ More 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. △ Less

Submitted 27 March, 2022; v1 submitted 26 January, 2021; originally announced January 2021.

Comments: 26 pages; to appear in Ramanujan J

MSC Class: 11B68; 11Y40; 11A41

Uniform effective estimates for $\vert L(1,χ)\vert$

Authors: Alessandro Languasco, Timothy S. Trudgian

Abstract: Let $L(s,χ)$ be the Dirichlet $L$-function associated to a non-principal primitive Dirichlet character $χ$ defined modulo $q$, where $q\ge 3$. We prove, under the assumption of the Generalised Riemann Hypothesis, the validity of estimates given by Lamzouri, Li, and Soundararajan on $\vert L(1,χ) \vert$. As a corollary, we have that similar estimates hold for the class number of the imaginary quadr… ▽ More Let $L(s,χ)$ be the Dirichlet $L$-function associated to a non-principal primitive Dirichlet character $χ$ defined modulo $q$, where $q\ge 3$. We prove, under the assumption of the Generalised Riemann Hypothesis, the validity of estimates given by Lamzouri, Li, and Soundararajan on $\vert L(1,χ) \vert$. As a corollary, we have that similar estimates hold for the class number of the imaginary quadratic field $\mathbb{Q}(\sqrt{-q})$, $q\ge 5$. △ Less

Submitted 16 November, 2020; originally announced November 2020.

MSC Class: 11M20; 33-04; 11Y16; 11Y99; 33B15

Accurate estimation of sums over zeros of the Riemann zeta-function

Authors: Richard P. Brent, David J. Platt, Timothy S. Trudgian

Abstract: We consider sums of the form $\sum φ(γ)$, where $φ$ is a given function, and $γ$ ranges over the ordinates of nontrivial zeros of the Riemann zeta-function in a given interval. We show how the numerical estimation of such sums can be accelerated by a simple device, and give examples involving both convergent and divergent infinite sums. We consider sums of the form $\sum φ(γ)$, where $φ$ is a given function, and $γ$ ranges over the ordinates of nontrivial zeros of the Riemann zeta-function in a given interval. We show how the numerical estimation of such sums can be accelerated by a simple device, and give examples involving both convergent and divergent infinite sums. △ Less

Submitted 29 September, 2020; originally announced September 2020.

MSC Class: 11M06; 11M26

Journal ref: Mathematics of Computation 90 (2021), 2923-2935

A harmonic sum over nontrivial zeros of the Riemann zeta-function

Authors: Richard P. Brent, David J. Platt, Timothy S. Trudgian

Abstract: We consider the sum $\sum 1/γ$, where $γ$ ranges over the ordinates of nontrivial zeros of the Riemann zeta-function in an interval $(0,T]$, and consider the behaviour of the sum as $T \to\infty$. We show that, after subtracting a smooth approximation $\frac{1}{4π} \log^2(T/2π),$ the sum tends to a limit $H \approx -0.0171594$ which can be expressed as an integral. We calculate $H$ to high accurac… ▽ More We consider the sum $\sum 1/γ$, where $γ$ ranges over the ordinates of nontrivial zeros of the Riemann zeta-function in an interval $(0,T]$, and consider the behaviour of the sum as $T \to\infty$. We show that, after subtracting a smooth approximation $\frac{1}{4π} \log^2(T/2π),$ the sum tends to a limit $H \approx -0.0171594$ which can be expressed as an integral. We calculate $H$ to high accuracy, using a method which has error $O((\log T)/T^2)$. Our results improve on earlier results by Hassani and other authors. △ Less

Submitted 11 September, 2020; originally announced September 2020.

MSC Class: 11M26; 11Y30

Journal ref: Bulletin of the Australian Mathematical Society 104 (2021), 59-65

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

Authors: Richard P. Brent, David J. Platt, Timothy S. Trudgian

Abstract: 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$. 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$. △ Less

Submitted 13 August, 2020; originally announced August 2020.

Comments: 23 pages

MSC Class: 11M06; 11M26; 11N05

Oscillations in weighted arithmetic sums

Authors: Michael J. Mossinghoff, Timothy S. Trudgian

Abstract: We examine oscillations in a number of sums of arithmetic functions involving $Ω(n)$, the total number of prime factors of $n$, and $ω(n)$, the number of distinct prime factors of $n$. In particular, we examine oscillations in $S_α(x) = \sum_{n\leq x} (-1)^{n - Ω(n)}/n^α$ and in $H_α(x) = \sum_{n\leq x} (-1)^{ω(n)}/n^α$ for $α\in[0,1]$, and in $W(x)=\sum_{n\leq x} (-2)^{Ω(n)}$. We show for example… ▽ More We examine oscillations in a number of sums of arithmetic functions involving $Ω(n)$, the total number of prime factors of $n$, and $ω(n)$, the number of distinct prime factors of $n$. In particular, we examine oscillations in $S_α(x) = \sum_{n\leq x} (-1)^{n - Ω(n)}/n^α$ and in $H_α(x) = \sum_{n\leq x} (-1)^{ω(n)}/n^α$ for $α\in[0,1]$, and in $W(x)=\sum_{n\leq x} (-2)^{Ω(n)}$. We show for example that each of the inequalities $S_0(x)<0$, $S_0(x)>3.3\sqrt{x}$, $S_1(x)>0$, and $S_1(x)\sqrt{x}<-3.3$ is true infinitely often, disproving some hypotheses of Sun. △ Less

Submitted 13 December, 2020; v1 submitted 28 July, 2020; originally announced July 2020.

Comments: To appear in Int. J. Number Theory

MSC Class: 11M26; 11N64; 11Y35; 11Y70

The size of oscillations in the Goldbach conjecture

Authors: Michael J. Mossinghoff, Timothy S. Trudgian

Abstract: 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 nontrivia… ▽ More 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. △ Less

Submitted 25 June, 2020; originally announced June 2020.

Comments: 11 pages

MSC Class: 11P32; 11J20; 11M26; 11Y35

A tale of two omegas

Authors: Michael J. Mossinghoff, Timothy S. Trudgian

Abstract: 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 hyp… ▽ More 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)$. △ Less

Submitted 24 June, 2020; v1 submitted 6 June, 2019; originally announced June 2019.

Comments: 22 pages, submitted: v2 slightly revised

MSC Class: 11M26; 11N64; 11Y35; 11Y70

Zeroes of partial sums of the zeta-function

Authors: David J. Platt, Timothy S. Trudgian

Abstract: This article considers the positive integers $N$ for which $ζ_{N}(s) = \sum_{n=1}^{N} n^{-s}$ has zeroes in the half-plane $\Re(s)>1$. Building on earlier results, we show that there are no zeroes for $1\leq N\leq 18$ and for $N=20, 21, 28$. For all other $N$ there are infinitely many zeroes. This article considers the positive integers $N$ for which $ζ_{N}(s) = \sum_{n=1}^{N} n^{-s}$ has zeroes in the half-plane $\Re(s)>1$. Building on earlier results, we show that there are no zeroes for $1\leq N\leq 18$ and for $N=20, 21, 28$. For all other $N$ there are infinitely many zeroes. △ Less

Submitted 15 December, 2015; v1 submitted 6 July, 2015; originally announced July 2015.

Comments: 5 Pages - Final Version will appear in LMS JCM

MSC Class: 11M06 (primary); 11Y35 (secondary)

Journal ref: LMS J. Comput. Math. 19 (2016) 37-41

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

Authors: Michael J. Mossinghoff, Timothy S. Trudgian

Abstract: 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 th… ▽ More 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. △ Less

Submitted 15 October, 2014; originally announced October 2014.

Comments: 17 pages, 2 figures, 5 tables

MSC Class: 11M26; 42A05; 11Y35

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

Authors: Amir Akbary, Timothy S. Trudgian

Abstract: 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 p… ▽ More 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$. △ Less

Submitted 6 April, 2014; v1 submitted 20 December, 2013; originally announced December 2013.

MSC Class: 11M41; 11F30

A poor man's improvement on Zhang's result: there are infinitely many prime gaps less than 60 million

Authors: T. S. Trudgian

Abstract: Taking the easy option I prove that one can lower Zhang's bound on prime gaps from 70 million to 60 million. A poor man's improvement indeed! Taking the easy option I prove that one can lower Zhang's bound on prime gaps from 70 million to 60 million. A poor man's improvement indeed! △ Less

Submitted 4 June, 2013; v1 submitted 28 May, 2013; originally announced May 2013.

Comments: 2 pages, 1 table. In version 2 I have included some some references to recent developments

MSC Class: 11N32; 11P32

An improved upper bound for the argument of the Riemann zeta-function on the critical line II

Authors: T. S. Trudgian

Abstract: This paper improves the bound on $|S(T)|$. The main result is to show that $|S(T)|\leq 0.111\log T + 0.275\log\log T + 2.450$, which is valid for all $T\geq e$. This paper improves the bound on $|S(T)|$. The main result is to show that $|S(T)|\leq 0.111\log T + 0.275\log\log T + 2.450$, which is valid for all $T\geq e$. △ Less

Submitted 5 September, 2012; v1 submitted 29 August, 2012; originally announced August 2012.

Comments: 10 pages, two tables: this is the second version of this article in which I have made some minor alterations and corrections

MSC Class: 11M06; 11M26

Journal ref: 2014, J. Number Theory, vol. 134, pp. 280-292

An improved upper bound for the error in the zero-counting formulae for Dirichlet $L$-functions and Dedekind zeta-functions

Authors: T. S. Trudgian

Abstract: This paper contains new explicit upper bounds for the number of zeroes of Dirichlet L-functions and Dedekind zeta-functions in rectangles. This paper contains new explicit upper bounds for the number of zeroes of Dirichlet L-functions and Dedekind zeta-functions in rectangles. △ Less

Submitted 4 December, 2013; v1 submitted 8 June, 2012; originally announced June 2012.

Comments: 13 pages, 2 tables. To appear in Math. Comp

MSC Class: 11M06; 11M41; 11R42

Journal ref: Math. Comp., 2015 vol. 84, no. 294, pp. 2047-2058

Between the conjectures of Pólya and Turán

Authors: T. S. Trudgian

Abstract: This paper is concerned with the constancy in the sign of $L(X, α) = \sum_{1}^{X} \frac{λ(n)}{n^α}$, where $λ(n)$ the Liouville function. The non-positivity of $L(X, 0)$ is the Pólya conjecture, and the non-negativity of $L(X, 1)$ is the Turán conjecture --- both of which are false. By constructing an auxiliary function, evidence is provided that $L(X, \frac{1}{2})$ is the best contender for const… ▽ More This paper is concerned with the constancy in the sign of $L(X, α) = \sum_{1}^{X} \frac{λ(n)}{n^α}$, where $λ(n)$ the Liouville function. The non-positivity of $L(X, 0)$ is the Pólya conjecture, and the non-negativity of $L(X, 1)$ is the Turán conjecture --- both of which are false. By constructing an auxiliary function, evidence is provided that $L(X, \frac{1}{2})$ is the best contender for constancy in sign. The core of this paper is the conjecture that $L(X, \frac{1}{2}) \leq 0$ for all $X\geq 17$: this has been verified for $X\leq 300,001$. △ Less

Submitted 4 August, 2010; originally announced August 2010.

Comments: 5 pages

Journal ref: 2012, J. Austral. Math. Soc., vol. 93, iss. 1-2, pp. 157-171