Showing 1–13 of 13 results for author: Mahatab, K

Large values of the argument of the Riemann zeta-function and its iterates

Authors: Andrés Chirre, Kamalakshya Mahatab

Abstract: Let $S(σ,t)=\frac{1}π\argζ(σ+it)$ be the argument of the Riemann zeta-function at the point $σ+it$ in the critical strip. For $n\geq 1$ and $t>0$, we define \begin{equation*} S_{n}(σ,t) = \int_0^t S_{n-1}(σ,τ) \,dτ+ δ_{n,σ\,}, \end{equation*} where $δ_{n,σ}$ is a specific constant depending on $σ$ and $n$. Let $0\leq β<1$ be a fixed real number. Assuming the Riemann hypothesis, we establish lower… ▽ More Let $S(σ,t)=\frac{1}π\argζ(σ+it)$ be the argument of the Riemann zeta-function at the point $σ+it$ in the critical strip. For $n\geq 1$ and $t>0$, we define \begin{equation*} S_{n}(σ,t) = \int_0^t S_{n-1}(σ,τ) \,dτ+ δ_{n,σ\,}, \end{equation*} where $δ_{n,σ}$ is a specific constant depending on $σ$ and $n$. Let $0\leq β<1$ be a fixed real number. Assuming the Riemann hypothesis, we establish lower bounds for the maximum of $S_n(σ,t+h)-S_n(σ,t)$ near the critical line, on the interval $T^β\leq t \leq T$ and in a small range of $h$. This improves some results of the first author and generalizes a result of the authors on $S(t)$. We also give new omega results for $S_n(t)$, improving a result by Selberg. △ Less

Submitted 16 March, 2021; v1 submitted 7 June, 2020; originally announced June 2020.

Comments: To appear in Journal of Number Theory

MSC Class: 11M06; 11M26; 11N37

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.

Large Oscillations of the Argument of the Riemann Zeta-function

Authors: Andrés Chirre, Kamalakshya Mahatab

Abstract: Let $S(t)$ denote the argument of the Riemann zeta-function, defined as $$ S(t)=\dfrac{1}π\,\Im\logζ(1/2+it). $$ Assuming the Riemann hypothesis, we prove that $$ S(t)=Ω_{\pm}\bigg(\dfrac{\log t\log\log\log t}{\log\log t}\bigg). $$ This improves the classical omega results of Montgomery and matches with the $Ω$-result obtained by Bondarenko and Seip. Let $S(t)$ denote the argument of the Riemann zeta-function, defined as $$ S(t)=\dfrac{1}π\,\Im\logζ(1/2+it). $$ Assuming the Riemann hypothesis, we prove that $$ S(t)=Ω_{\pm}\bigg(\dfrac{\log t\log\log\log t}{\log\log t}\bigg). $$ This improves the classical omega results of Montgomery and matches with the $Ω$-result obtained by Bondarenko and Seip. △ Less

Submitted 31 May, 2021; v1 submitted 24 April, 2019; originally announced April 2019.

Comments: 9 pages. We corrected a mistake in the previous version and added Andrés Chirre as a coauthor. To appear in Bull. Lond. Math. Soc

MSC Class: 11M06

Large values of $L$-functions on $1$-line

Authors: Anup B. Dixit, Kamalakshya Mahatab

Abstract: In this paper, we study lower bounds of a general family of $L$-functions on the $1$-line. More precisely, we show that for any $F(s)$ in this family, there exists arbitrary large $t$ such that $F(1+it)\geq e^{γ_F} (\log_2 t + \log_3 t)^m + O(1)$, where $m$ is the order of the pole of $F(s)$ at $s=1$. This is a generalization of the same result of Aistleitner, Munsch and the second author for the… ▽ More In this paper, we study lower bounds of a general family of $L$-functions on the $1$-line. More precisely, we show that for any $F(s)$ in this family, there exists arbitrary large $t$ such that $F(1+it)\geq e^{γ_F} (\log_2 t + \log_3 t)^m + O(1)$, where $m$ is the order of the pole of $F(s)$ at $s=1$. This is a generalization of the same result of Aistleitner, Munsch and the second author for the Riemann zeta-function. As a consequence, we get lower bounds for large values of Dedekind zeta-functions and Rankin-Selberg $L$-functions of the type $L(s,f\times f)$ on the $1$-line. △ Less

Submitted 19 April, 2020; v1 submitted 6 January, 2019; originally announced January 2019.

MSC Class: 11M41

Composites In Semirings of Boolean Groups

Authors: Kamalakshya Mahatab

Abstract: We estimate the number of composite elements in the $n$-th grade of the group semiring of finite boolean groups. In view of this result we may conjecture that the composites in the semiring of finite groups are thinly dispersed. We estimate the number of composite elements in the $n$-th grade of the group semiring of finite boolean groups. In view of this result we may conjecture that the composites in the semiring of finite groups are thinly dispersed. △ Less

Submitted 7 August, 2018; originally announced August 2018.

Comments: 6 pages

MSC Class: 16Y60; 11N05; 20C05

Omega Theorems for The Twisted Divisor Function

Authors: Kamalakshya Mahatab, Anirban Mukhopadhyay

Abstract: For a fixed $θ\neq 0$, we define the twisted divisor function $$ τ(n, θ):=\sum_{d\mid n}d^{iθ}\ .$$ In this article we consider the error term $Δ(x)$ in the following asymptotic formula $$ \sum_{n\leq x}^*|τ(n, θ)|^2=ω_1(θ)x\log x + ω_2(θ)x\cos(θ\log x) +ω_3(θ)x + Δ(x),$$ where $ω_i(θ)$ for $i=1, 2, 3$ are constants depending only on $θ$. We obtain… ▽ More For a fixed $θ\neq 0$, we define the twisted divisor function $$ τ(n, θ):=\sum_{d\mid n}d^{iθ}\ .$$ In this article we consider the error term $Δ(x)$ in the following asymptotic formula $$ \sum_{n\leq x}^*|τ(n, θ)|^2=ω_1(θ)x\log x + ω_2(θ)x\cos(θ\log x) +ω_3(θ)x + Δ(x),$$ where $ω_i(θ)$ for $i=1, 2, 3$ are constants depending only on $θ$. We obtain $$Δ(T)=Ω\left(T^{α(T)}\right) \text{ where } α(T) =\frac{3}{8}-\frac{c}{(\log T)^{1/8}} \text{ and } c>0,$$ along with an $Ω$-bound for the Lebesgue measure of the set of points where the above estimate holds. △ Less

Submitted 26 July, 2018; originally announced July 2018.

Comments: 13 pages, This is Chapter 4 of arXiv:1512.03144 (v3). New version of 1512.03144 will not have this chapter

MSC Class: 11M41; 11N37

Large Positive and Negative Values of Hardy's $Z$-Function

Authors: Kamalakshya Mahatab

Abstract: Let $Z(t):=ζ\left(\frac{1}{2}+it\right)χ^{-\frac{1}{2}}\left(\frac{1}{2}+it\right)$ be Hardy's function, where the Riemann zeta function $ζ(s)$ has the functional equation $ζ(s)=χ(s)ζ(1-s)$. We prove that for any $ε>0$, \begin{align*} &\quad\max_{T^{3/4}\leq t\leq T} Z(t) \gg \exp\left(\left(\frac{1}{2}-ε\right)\sqrt{\frac{\log T\log\log\log T}{\log\log T}}\right)\\ \text{ and }& \max_{T^{3/4}\leq… ▽ More Let $Z(t):=ζ\left(\frac{1}{2}+it\right)χ^{-\frac{1}{2}}\left(\frac{1}{2}+it\right)$ be Hardy's function, where the Riemann zeta function $ζ(s)$ has the functional equation $ζ(s)=χ(s)ζ(1-s)$. We prove that for any $ε>0$, \begin{align*} &\quad\max_{T^{3/4}\leq t\leq T} Z(t) \gg \exp\left(\left(\frac{1}{2}-ε\right)\sqrt{\frac{\log T\log\log\log T}{\log\log T}}\right)\\ \text{ and }& \max_{T^{3/4}\leq t\leq T}- Z(t) \gg \exp\left(\left(\frac{1}{2}-ε\right)\sqrt{\frac{\log T\log\log\log T}{\log\log T}}\right). \end{align*} △ Less

Submitted 26 November, 2018; v1 submitted 23 July, 2018; originally announced July 2018.

Comments: 8 pages, some minor changes, To appear in Proceedings of the American Mathematical Society

MSC Class: 11M06

On large values of $L(σ,χ)$

Authors: Christoph Aistleitner, Kamalakshya Mahatab, Marc Munsch, Alexandre Peyrot

Abstract: In recent years a variant of the resonance method was developed which allowed to obtain improved $Ω$-results for the Riemann zeta function along vertical lines in the critical strip. In the present paper we show how this method can be adapted to prove the existence of large values of $|L(σ, χ)|$ in the range $σ\in (1/2,1]$, and to estimate the proportion of characters for which $|L(σ, χ)|$ is of s… ▽ More In recent years a variant of the resonance method was developed which allowed to obtain improved $Ω$-results for the Riemann zeta function along vertical lines in the critical strip. In the present paper we show how this method can be adapted to prove the existence of large values of $|L(σ, χ)|$ in the range $σ\in (1/2,1]$, and to estimate the proportion of characters for which $|L(σ, χ)|$ is of such a large order. More precisely, for every fixed $σ\in (1/2,1)$ we show that for all sufficiently large $q$ there is a non-principal character $χ$ (mod $q$) such that $\log |L(σ,χ)| \geq C(σ) (\log q)^{1-σ} (\log \log q)^{-σ}$. In the case $σ=1$ we show that there is a non-principal character $χ$ (mod $q$) for which $|L(1,χ)| \geq e^γ\left(\log_2 q + \log_3 q - C \right)$. In both cases, our results essentially match the prediction for the actual order of such extreme values, based on probabilistic models. △ Less

Submitted 19 November, 2018; v1 submitted 2 March, 2018; originally announced March 2018.

Comments: 15 pages. Version 2: This article has been merged with arXiv:1803.03836 and now also contains results for the case $σ\in (1/2,1)$. Marc Munsch has been added as a co-author of the paper. Version 3: Minor changes, taking into account the referee's recommendations. This paper will appear in Q. J. Math

MSC Class: 11M06

$6$-th Norm of a Steinhaus Chaos

Authors: Kamalakshya Mahatab

Abstract: We prove that for the Steinhaus Random Variable $z(n)$ \[\mathbb{E}\left(\left|\sum_{n\in E_{N, m}}z(n)\right|^6\right)\asymp |E_{N, m}|^3 \text{ for } m\ll(\log\log N)^{\frac{1}{3}},\] where \[E_{N, m}:=\{1\leq n:Ω(n)=m\}\] and $Ω(n)$ denotes the number of prime factors of $N$. We prove that for the Steinhaus Random Variable $z(n)$ \[\mathbb{E}\left(\left|\sum_{n\in E_{N, m}}z(n)\right|^6\right)\asymp |E_{N, m}|^3 \text{ for } m\ll(\log\log N)^{\frac{1}{3}},\] where \[E_{N, m}:=\{1\leq n:Ω(n)=m\}\] and $Ω(n)$ denotes the number of prime factors of $N$. △ Less

Submitted 27 August, 2018; v1 submitted 23 October, 2017; originally announced October 2017.

Comments: 9 pages

MSC Class: 11N60

Extreme values of the Riemann zeta function on the 1-line

Authors: Christoph Aistleitner, Kamalakshya Mahatab, Marc Munsch

Abstract: We prove that there are arbitrarily large values of $t$ such that $|ζ(1+it)| \geq e^γ (\log_2 t + \log_3 t) + \mathcal{O}(1)$. This essentially matches the prediction for the optimal lower bound in a conjecture of Granville and Soundararajan. Our proof uses a new variant of the "long resonator" method. While earlier implementations of this method crucially relied on a "sparsification" technique to… ▽ More We prove that there are arbitrarily large values of $t$ such that $|ζ(1+it)| \geq e^γ (\log_2 t + \log_3 t) + \mathcal{O}(1)$. This essentially matches the prediction for the optimal lower bound in a conjecture of Granville and Soundararajan. Our proof uses a new variant of the "long resonator" method. While earlier implementations of this method crucially relied on a "sparsification" technique to control the mean-square of the resonator function, in the present paper we exploit certain self-similarity properties of a specially designed resonator function. △ Less

Submitted 11 December, 2017; v1 submitted 24 March, 2017; originally announced March 2017.

Comments: 7 pages. Versions 2: several minor changes. The paper will appear in IMRN

MSC Class: 11M06

Measure Theoretic Aspects Of Error Terms

Authors: Kamalakshya Mahatab

Abstract: This thesis investigates on measure theoretic aspects of fluctuations of error terms appearing in various asymptotic formulas. This thesis investigates on measure theoretic aspects of fluctuations of error terms appearing in various asymptotic formulas. △ Less

Submitted 6 May, 2016; originally announced May 2016.

Comments: This is a Ph.D. thesis submitted to Homi Bhabha National Institute

Measure Theoretic Aspects of Oscillations of Error Terms

Authors: Kamalakshya Mahatab, Anirban Mukhopadhyay

Abstract: We consider fluctuations of error terms $Δ(x)$ appearing in the asymptotic formula for a summatory function of coefficients of the Dirichlet series. These are quantified via $Ω$ and $Ω_{\pm}$ estimates. We obtain $Ω$ bounds for Lebesgue measure of the sets $$\{T\leq x \leq 2T: Δ(x)>λx^α\} \text{ and } \{T\leq x \leq 2T: Δ(x)< -λx^α\}$$ for some $α, λ>0$. Primary aim of this article is to develop a… ▽ More We consider fluctuations of error terms $Δ(x)$ appearing in the asymptotic formula for a summatory function of coefficients of the Dirichlet series. These are quantified via $Ω$ and $Ω_{\pm}$ estimates. We obtain $Ω$ bounds for Lebesgue measure of the sets $$\{T\leq x \leq 2T: Δ(x)>λx^α\} \text{ and } \{T\leq x \leq 2T: Δ(x)< -λx^α\}$$ for some $α, λ>0$. Primary aim of this article is to develop a general framework to approach these problems. We rediscover several classical results in general setting with weak assumptions. Moreover, several applications of these methods have been discussed and new results have been obtained for some Dirichlet series. △ Less

Submitted 26 July, 2018; v1 submitted 10 December, 2015; originally announced December 2015.

Comments: 19 pages, 3 figures. To appear in Acta Arithmetica

MSC Class: 11N37; 11M06

Chinese Remainder Theorem for Cyclotomic Polynomials in $\mathbf{Z}[X]$

Authors: Kamalakshya Mahatab, Kannappan Sampath

Abstract: By the Chinese remainder theorem, the canonical map \[Ψ_n: R[X]/(X^n-1)\to \oplus_{d|n} R[X]/Φ_d(X)\] is an isomorphism when $R$ is a field whose characteristic does not divide $n$ and $Φ_d$ is the $d$th cyclotomic polynomial. When $R$ is the ring $\mathbf{Z}$ of rational integers, this map is injective but not surjective. In this paper, we give an explicit formula for the elementary divisors of t… ▽ More By the Chinese remainder theorem, the canonical map \[Ψ_n: R[X]/(X^n-1)\to \oplus_{d|n} R[X]/Φ_d(X)\] is an isomorphism when $R$ is a field whose characteristic does not divide $n$ and $Φ_d$ is the $d$th cyclotomic polynomial. When $R$ is the ring $\mathbf{Z}$ of rational integers, this map is injective but not surjective. In this paper, we give an explicit formula for the elementary divisors of the cokernel of $Ψ_n$(when $R=\mathbb{Z}$) using the prime factorisation of $n$. We also give a pictorial algorithm using Young Tableaux that takes $O(n^{3+ε})$ bit operations for any $ε> 0$ to determine a basis of Smith vectors (see Definition 3.1) for the codomain of $Ψ_n$. In general when $R$ is an integral domain, we prove that the determinant of $Ψ: R[X]/(\prod_j f_j) \to \bigoplus_j R[X]/(f_j)$ written with respect to the standard basis is $\prod_{1 \leqslant i < j \leqslant n} \mathcal{R}(f_j, f_i)$, where $f_i$'s are pairwise relatively prime monic polynomials and $\mathcal{R}(f_j, f_i)$ is the resultant of $f_j$ and $f_i$. △ Less

Submitted 17 April, 2015; v1 submitted 29 January, 2014; originally announced January 2014.

Comments: 33 pages, 7 figures

MSC Class: 11T22; 13P15; 11Y16

Journal ref: J.Algebra 435 (2015) 223-262