Showing 1–9 of 9 results for author: Leong, N

Explicit estimates for the logarithmic derivative and the reciprocal of the Riemann zeta-function

Authors: Nicol Leong

Abstract: In this article, we improve on two explicit bounds of order $\log t$ for $σ$ close to $1$: $|ζ'(σ+it)/ζ(σ+it)|$ and $|1/ζ(σ+it)|$. Our method provides marked improvements in the constants, especially with regards to the latter. These savings come from replacing a lemma of Borel and Carathédory, with a Jensen-type one of Heath-Brown's. Using an argument involving the trigonometric polynomial, we ad… ▽ More In this article, we improve on two explicit bounds of order $\log t$ for $σ$ close to $1$: $|ζ'(σ+it)/ζ(σ+it)|$ and $|1/ζ(σ+it)|$. Our method provides marked improvements in the constants, especially with regards to the latter. These savings come from replacing a lemma of Borel and Carathédory, with a Jensen-type one of Heath-Brown's. Using an argument involving the trigonometric polynomial, we additionally provide a slight asymptotic improvement: $1/ζ(σ+it) \ll (\log t)^{11/12}$. △ Less

Submitted 24 May, 2024; v1 submitted 8 May, 2024; originally announced May 2024.

Comments: 33 pages

MSC Class: 11M06

A note on trigonometric polynomials for lower bounds of $ζ(s)$

Authors: Nicol Leong, Michael J. Mossinghoff

Abstract: Non-negative trigonometric polynomials satisfying certain properties are employed when studying a number of aspects of the Riemann zeta function. When establishing zero-free regions in the critical strip, the classical polynomial $3+4\cos(θ)+\cos(2θ)$ used by de la Vallée Poussin has since been replaced by more beneficial polynomials with larger degree. The classical polynomial was also employed b… ▽ More Non-negative trigonometric polynomials satisfying certain properties are employed when studying a number of aspects of the Riemann zeta function. When establishing zero-free regions in the critical strip, the classical polynomial $3+4\cos(θ)+\cos(2θ)$ used by de la Vallée Poussin has since been replaced by more beneficial polynomials with larger degree. The classical polynomial was also employed by Titchmarsh to provide a lower bound on $|ζ(σ+it)|$ when $σ>1$. We show that this polynomial is optimal for this purpose. △ Less

Submitted 9 April, 2024; v1 submitted 8 April, 2024; originally announced April 2024.

Comments: 7 pages

MSC Class: Primary: 11M06; 42A05. Secondary: 11L03; 26D05

Explicit estimates for the Riemann zeta function close to the $1$-line

Authors: Michaela Cully-Hugill, Nicol Leong

Abstract: We provide explicit upper bounds of the order $\log t/\log\log t$ for $|ζ'(s)/ζ(s)|$ and $|1/ζ(s)|$ when $σ$ is close to $1$. These improve existing bounds for $ζ(s)$ on the $1$-line. We provide explicit upper bounds of the order $\log t/\log\log t$ for $|ζ'(s)/ζ(s)|$ and $|1/ζ(s)|$ when $σ$ is close to $1$. These improve existing bounds for $ζ(s)$ on the $1$-line. △ Less

Submitted 25 June, 2024; v1 submitted 14 December, 2023; originally announced December 2023.

MSC Class: 11M06

Explicit bounds for the Riemann zeta-function on the 1-line

Authors: Ghaith A. Hiary, Nicol Leong, Andrew Yang

Abstract: Explicit estimates for the Riemann zeta-function on the $1$-line are derived using various methods, in particular van der Corput lemmas of high order and a theorem of Borel and Carathéodory. Explicit estimates for the Riemann zeta-function on the $1$-line are derived using various methods, in particular van der Corput lemmas of high order and a theorem of Borel and Carathéodory. △ Less

Submitted 11 July, 2024; v1 submitted 23 June, 2023; originally announced June 2023.

Comments: 31 pages

MSC Class: 11L07; 11M06

Explicit bounds on the summatory function of the Möbius function using the Perron formula

Authors: Ethan S. Lee, Nicol Leong

Abstract: We use Perron formula arguments to establish explicit versions of $M(x) \ll x$ and $M(x) \ll x\exp(-c_2\sqrt{\log{x}})$, where $M(x)$ is the Mertens function. Moreover, we use these bounds in a method from Schoenfeld to refine estimates of the form $M(x) \ll x/(\log{x})^{k}$. In particular, we establish $|M(x)| \leq 1.52159\,x/(\log{x})^{2}$ for $x>1$, which is sharp. We use Perron formula arguments to establish explicit versions of $M(x) \ll x$ and $M(x) \ll x\exp(-c_2\sqrt{\log{x}})$, where $M(x)$ is the Mertens function. Moreover, we use these bounds in a method from Schoenfeld to refine estimates of the form $M(x) \ll x/(\log{x})^{k}$. In particular, we establish $|M(x)| \leq 1.52159\,x/(\log{x})^{2}$ for $x>1$, which is sharp. △ Less

Submitted 31 May, 2023; v1 submitted 12 August, 2022; originally announced August 2022.

Comments: Some technical ingredients which we cited to prove our results have been found to contain errors, which negatively impacted our results to a great degree. We are working to use a similar method (which still has merit) with updated ingredients and some more new ideas to update the paper; if all goes well, then the update will be uploaded as a separate submission in the not-too-distant future!

MSC Class: 11Y35; 11Y60; 11A25

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

Authors: Andrew R. Booker, Stephen D. Cohen, Nicol Leong, Tim Trudgian

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

Submitted 1 February, 2022; originally announced February 2022.

Comments: 4 pages

MSC Class: 11T23; 11T30; 12E20

Primitive elements with prescribed traces

Authors: Andrew R. Booker, Stephen D. Cohen, Nicol Leong, Tim Trudgian

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

Submitted 27 March, 2022; v1 submitted 19 December, 2021; originally announced December 2021.

Comments: 13 pages; revised version

MSC Class: 11T23; 11T30; 12E20

Toolbox Spotter: A Computer Vision System for Real World Situational Awareness in Heavy Industries

Authors: Stuart Eiffert, Alexander Wendel, Peter Colborne-Veel, Nicholas Leong, John Gardenier, Nathan Kirchner

Abstract: The majority of fatalities and traumatic injuries in heavy industries involve mobile plant and vehicles, often resulting from a lapse of attention or communication. Existing approaches to hazard identification include the use of human spotters, passive reversing cameras, non-differentiating proximity sensors and tag based systems. These approaches either suffer from problems of worker attention or… ▽ More The majority of fatalities and traumatic injuries in heavy industries involve mobile plant and vehicles, often resulting from a lapse of attention or communication. Existing approaches to hazard identification include the use of human spotters, passive reversing cameras, non-differentiating proximity sensors and tag based systems. These approaches either suffer from problems of worker attention or require the use of additional devices on all workers and obstacles. Whilst computer vision detection systems have previously been deployed in structured applications such as manufacturing and on-road vehicles, there does not yet exist a robust and portable solution for use in unstructured environments like construction that effectively communicates risks to relevant workers. To address these limitations, our solution, the Toolbox Spotter (TBS), acts to improve worker safety and reduce preventable incidents by employing an embedded robotic perception and distributed HMI alert system to augment both detection and communication of hazards in safety critical environments. In this paper we outline the TBS safety system and evaluate its performance based on data from real world implementations, demonstrating the suitability of the Toolbox Spotter for applications in heavy industries. △ Less

Submitted 22 May, 2021; originally announced May 2021.

Comments: Published in the 37th International Symposium on Automation and Robotics in Construction (ISARC 2020)

Sums of reciprocals and the three distance theorem

Authors: Victor Beresnevich, Nicol Leong

Abstract: In this paper we investigate the sums of reciprocals to an arithmetic progression taken modulo one, that is sums of $\{nα-γ\}^{-1}$, where $α$ and $γ$ are real parameters and $\{\,\cdot\,\}$ is the fractional part of a real number. Bounds for these sums have been studied for a long while in connection with various applications. In this paper we develop an alternative technique for obtaining upper… ▽ More In this paper we investigate the sums of reciprocals to an arithmetic progression taken modulo one, that is sums of $\{nα-γ\}^{-1}$, where $α$ and $γ$ are real parameters and $\{\,\cdot\,\}$ is the fractional part of a real number. Bounds for these sums have been studied for a long while in connection with various applications. In this paper we develop an alternative technique for obtaining upper bounds for the sums and obtain new efficient and fully explicit results. The technique uses the so-called three distance theorem. △ Less

Submitted 11 December, 2017; originally announced December 2017.

Comments: 15 pages

MSC Class: 11J13