-
On the Second Hardy-Littlewood Conjecture
Authors:
Bittu Chahal,
Ertan Elma,
Nic Fellini,
Akshaa Vatwani,
Do Nhat Tan Vo
Abstract:
The second Hardy-Littlewood conjecture asserts that the prime counting function $π(x)$ satisfies the subadditive inequality
\begin{align*}
π(x+y)\leqslant π(x)+π(y)
\end{align*} for all integers $x,y\geqslant 2$. By linking the subadditivity of $π(x)$ to the error term in the Prime Number Theorem, we obtain unconditional improvements on the range of $y$ for which $π(x)$ is known to be subadd…
▽ More
The second Hardy-Littlewood conjecture asserts that the prime counting function $π(x)$ satisfies the subadditive inequality
\begin{align*}
π(x+y)\leqslant π(x)+π(y)
\end{align*} for all integers $x,y\geqslant 2$. By linking the subadditivity of $π(x)$ to the error term in the Prime Number Theorem, we obtain unconditional improvements on the range of $y$ for which $π(x)$ is known to be subadditive. Moreover, assuming the Riemann Hypothesis, we show that for all $ε>0$, there exists $x_ε \geqslant 2$ such that for all $x\geqslant x_ε$ and $y$ in the range \begin{align*}
\frac{(2+ε)\sqrt{x}\log^2x}{8π}\leqslant y\leqslant x, \end{align*} the inequality $π(x+y)\leqslant π(x) + π(y)$ holds.
△ Less
Submitted 4 March, 2025;
originally announced March 2025.
-
Voronoi summation formula for the generalized divisor function $σ_{z}^{(k)}(n)$
Authors:
Atul Dixit,
Bibekananda Maji,
Akshaa Vatwani
Abstract:
For a fixed $z\in\mathbb{C}$ and a fixed $k\in\mathbb{N}$, let $σ_{z}^{(k)}(n)$ denote the sum of $z$-th powers of those divisors $d$ of $n$ whose $k$-th powers also divide $n$. This arithmetic function is a simultaneous generalization of the well-known divisor function $σ_z(n)$ as well as the divisor function $d^{(k)}(n)$ first studied by Wigert. The Dirichlet series of $σ_{z}^{(k)}(n)$ does not…
▽ More
For a fixed $z\in\mathbb{C}$ and a fixed $k\in\mathbb{N}$, let $σ_{z}^{(k)}(n)$ denote the sum of $z$-th powers of those divisors $d$ of $n$ whose $k$-th powers also divide $n$. This arithmetic function is a simultaneous generalization of the well-known divisor function $σ_z(n)$ as well as the divisor function $d^{(k)}(n)$ first studied by Wigert. The Dirichlet series of $σ_{z}^{(k)}(n)$ does not fall under the purview of Chandrasekharan and Narasimhan's fundamental work on Hecke's functional equation with multiple gamma factors. Nevertheless, as we show here, an explicit and elegant Vorono\"{\dotlessi} summation formula exists for this function. As its corollaries, some transformations of Wigert are generalized. The kernel $H_{z}^{(k)}(x)$ of the associated integral transform is a new generalization of the Bessel kernel. Several properties of this kernel such as its differential equation, asymptotic behavior and its special values are derived. A crucial relation between $H_{z}^{(k)}(x)$ and an associated integral $K_{z}^{(k)}(x)$ is obtained, the proof of which is deep, and employs the uniqueness theorem of linear differential equations and the properties of Stirling numbers of the second kind and elementary symmetric polynomials.
△ Less
Submitted 17 March, 2023;
originally announced March 2023.
-
Riesz type criteria for $L$-functions in the Selberg class
Authors:
Shivajee Gupta,
Akshaa Vatwani
Abstract:
We formulate a generalization of Riesz-type criteria in the setting of $L$-functions belonging to the Selberg class. We obtain a criterion which is sufficient for the Grand Riemann Hypothesis (GRH) for $L$-functions satisfying axioms of the Selberg class without imposing the Ramanujan hypothesis on their coefficients. We also construct a subclass of the Selberg class and prove a necessary criterio…
▽ More
We formulate a generalization of Riesz-type criteria in the setting of $L$-functions belonging to the Selberg class. We obtain a criterion which is sufficient for the Grand Riemann Hypothesis (GRH) for $L$-functions satisfying axioms of the Selberg class without imposing the Ramanujan hypothesis on their coefficients. We also construct a subclass of the Selberg class and prove a necessary criterion for GRH for $L$-functions in this subclass. Identities of Ramanujan-Hardy-Littlewood type are also established in this setting, specific cases of which yield new transformation formulas involving special values of the Meijer $G$-function of the type $G^{n \ 0}_{0 \ n}$.
△ Less
Submitted 5 November, 2022;
originally announced November 2022.
-
A modular relation involving non-trivial zeros of the Dedekind zeta function, and the Generalized Riemann Hypothesis
Authors:
Atul Dixit,
Shivajee Gupta,
Akshaa Vatwani
Abstract:
We give a number field analogue of a result of Ramanujan, Hardy and Littlewood, thereby obtaining a modular relation involving the non-trivial zeros of the Dedekind zeta function. We also provide a Riesz-type criterion for the Generalized Riemann Hypothesis for $ζ_K(s)$. New elegant transformations are obtained when $K$ is a quadratic extension, one of which involves the modified Bessel function o…
▽ More
We give a number field analogue of a result of Ramanujan, Hardy and Littlewood, thereby obtaining a modular relation involving the non-trivial zeros of the Dedekind zeta function. We also provide a Riesz-type criterion for the Generalized Riemann Hypothesis for $ζ_K(s)$. New elegant transformations are obtained when $K$ is a quadratic extension, one of which involves the modified Bessel function of the second kind.
△ Less
Submitted 18 June, 2022;
originally announced June 2022.
-
Joint Extreme values of $L$-functions
Authors:
Kamalakshya Mahatab,
Łukasz Pańkowski,
Akshaa Vatwani
Abstract:
We consider $L$-functions $L_1,\ldots,L_k$ from the Selberg class which have polynomial Euler product and satisfy Selberg's orthonormality condition. We show that on every vertical line $s=σ+it$ with $σ\in(1/2,1)$, these $L$-functions simultaneously take large values of size $\exp\left(c\frac{(\log t)^{1-σ}}{\log\log t}\right)$ inside a small neighborhood.
We consider $L$-functions $L_1,\ldots,L_k$ from the Selberg class which have polynomial Euler product and satisfy Selberg's orthonormality condition. We show that on every vertical line $s=σ+it$ with $σ\in(1/2,1)$, these $L$-functions simultaneously take large values of size $\exp\left(c\frac{(\log t)^{1-σ}}{\log\log t}\right)$ inside a small neighborhood.
△ Less
Submitted 25 January, 2020;
originally announced January 2020.
-
Zeros of Dirichlet polynomials
Authors:
Arindam Roy,
Akshaa Vatwani
Abstract:
We consider a certain class of multiplicative functions $f: \mathbb N \rightarrow \mathbb C$ and study the distribution of zeros of Dirichlet polynomials $F_N(s)= \sum_{n\le N} f(n)n^{-s}$ corresponding to these functions. We prove that the known non-trivial zero-free half plane for Dirichlet polynomials associated to this class of multiplicative functions is optimal. We also introduce a character…
▽ More
We consider a certain class of multiplicative functions $f: \mathbb N \rightarrow \mathbb C$ and study the distribution of zeros of Dirichlet polynomials $F_N(s)= \sum_{n\le N} f(n)n^{-s}$ corresponding to these functions. We prove that the known non-trivial zero-free half plane for Dirichlet polynomials associated to this class of multiplicative functions is optimal. We also introduce a characterization of elements in this class based on a new parameter depending on the Dirichlet series $F(s) = \sum_{n=1}^\infty f(n) n^{-s}$. In this context, we obtain non-trivial regions in which the associated Dirichlet polynomials do have zeros.
△ Less
Submitted 8 December, 2019;
originally announced December 2019.
-
Zeros of partial sums of $L$-functions
Authors:
Arindam Roy,
Akshaa Vatwani
Abstract:
We consider a certain class of multiplicative functions $f: \mathbb N \rightarrow \mathbb C$. Let $F(s)= \sum_{n=1}^\infty f(n)n^{-s}$ be the associated Dirichlet series and $F_N(s)= \sum_{n\le N} f(n)n^{-s}$ be the truncated Dirichlet series. In this setting, we obtain new Halász-type results for the logarithmic mean value of $f$. More precisely, we prove estimates for the sum…
▽ More
We consider a certain class of multiplicative functions $f: \mathbb N \rightarrow \mathbb C$. Let $F(s)= \sum_{n=1}^\infty f(n)n^{-s}$ be the associated Dirichlet series and $F_N(s)= \sum_{n\le N} f(n)n^{-s}$ be the truncated Dirichlet series. In this setting, we obtain new Halász-type results for the logarithmic mean value of $f$. More precisely, we prove estimates for the sum $\sum_{n=1}^x f(n)/n$ in terms of the size of $|F(1+1/\log x)|$ and show that these estimates are sharp. As a consequence of our mean value estimates, we establish non-trivial zero-free regions for these partial sums $F_N(s)$.
In particular, we study the zero distribution of partial sums of the Dedekind zeta function of a number field $K$. More precisely, we give some improved results for the number of zeros up to height $T$ as well as new zero density results for the number of zeros up to height $T$, lying to the right of $\Re(s) =σ$, where $σ> 1/2$.
△ Less
Submitted 29 July, 2018;
originally announced July 2018.
