SearcharxivSearch

arXiv subjects

Sunil Naik

Publications and source records attributed to Sunil Naik.

7 recordsLinked to original sources

A non-abelian large sieve and Artin's primitive root conjecture

A well-known conjecture of Artin states that if $a$ is an integer not equal to $0, \pm 1$ or a perfect square, then there exist infinitely many primes $p$ such that $a$ is a primitive root $(\text{ mod } p)$. In this article, we study a generalization of the classical (abelian) large sieve inequality in non-abelian settings. Assuming the non-abelian large sieve inequality, we provide a proof of Artin's primitive root conjecture. Further, using duality techniques, we derive unconditional results towards the conjectured non-abelian large sieve inequality.

math.NT

Brun's inequality for a geometric lattice

In a seminal paper of 1915, V. Brun introduced Brun's sieve, which is based on Brun's inequality for the M\"{o}bius function and is a very powerful tool in modern number theory. The importance of the M\"{o}bius function in enumeration problems led G.-C. Rota to introduce the concept of the M\"{o}bius function to partially ordered sets. In this article, we prove Brun's inequality for geometric lattices and develop a sieve in this context. One of the main ingredients is a recent work of K. Adiprasito, J. Huh, and E. Katz on the log-concavity of absolute values of the Whitney numbers associated with matroids. We also study shifted convolutions of the Whitney numbers associated with Dowling lattices. Further, we derive an asymptotic formula for generalized Dowling numbers.

math.NT

On divisibility of Hecke eigenvalues of Ikeda lifts

In this article, we estimate the density of the set of primes $p$ such that the $p$-th Hecke eigenvalue of an Ikeda lift is divisible by a fixed positive integer. One of the main ingredients involves the study of abelian subfields of fixed fields of the kernel of Galois representations attached to elliptic Hecke eigenforms. Further, we study the distribution of Fourier coefficients of elliptic Hecke eigenforms in arithmetic progressions.

math.NT

On coprimality of consecutive elements in certain sequences

The study of finding blocks of primes in certain arithmetic sequences is one of the classical problems in number theory. It is also very interesting to study blocks of consecutive elements in such sequences that are pairwise coprime. In this context, we show that if $f$ is a twice continuously differentiable real-valued function on $[1, \infty)$ such that $f''(x) \to 0$ as $x \to \infty$ and $\limsup_{x \to \infty} f'(x) = \infty$, then there exist arbitrarily long blocks of pairwise coprime consecutive elements in the sequence $(\lfloor f(n) \rfloor)_n$. This result refines the qualitative part of a recent result by the first author, Drmota and M\"{u}llner. We also prove that there exists a subset $\mathcal{A} \subseteq \mathbb{N}$ having upper Banach density one such that for any two distinct integers $m, n \in \mathcal{A}$, the integers $\lfloor f(m) \rfloor$ and $\lfloor f(n) \rfloor$ are pairwise coprime. Further, we show that there exist arbitrarily long blocks of consecutive elements in the sequence $(\lfloor f(n) \rfloor)_n$ such that no two of them are pairwise coprime.

math.NT

Coprimality of elements in regular sequences with polynomial growth

The investigation of primes in certain arithmetic sequences is one of the fundamental problems in number theory and especially, finding blocks of distinct primes has gained a lot of attention in recent years. In this context, we prove the existence of long blocks of $k$-wise coprime elements in certain regular sequences. More precisely, we prove that for any positive integers $H \geq k \geq 2$ and for a real-valued $k$-times continuously differentiable function $f \in \mathcal{C}^k\left( [1, \infty)\right)$ satisfying $\lim_{x \to \infty} f^{(k)}(x) = 0$ and $\limsup_{x \to \infty} f^{(k-1)}(x) = \infty$, there exist infinitely many positive integers $n$ such that $$ \gcd\left( \lfloor f(n+i_1)\rfloor, \lfloor f(n+i_2)\rfloor, \cdots, \lfloor f(n+i_k)\rfloor \right) ~=~ 1 $$ for any integers $1 \leq i_1 < i_2 < \cdots < i_k \leq H$. Further, we show that there exists a subset $\mathcal{A} \subseteq \mathbb{N}$ having upper Banach density one such that $$ \gcd\left(\lfloor f(n_1) \rfloor, \lfloor f(n_2) \rfloor, \cdots, \lfloor f(n_k) \rfloor\right) ~=~ 1 $$ for any distinct integers $n_1, n_2, \cdots, n_k \in \mathcal{A}$.

math.NT

Matsuda monoids and Artin's primitive root conjecture

Let $M \subseteq \mathbb{N}_{0}$ be the additive submonoid generated by $2$ and $3$. In a recent work, Christensen, Gipson and Kulosman proved that $M$ is not a Matsuda monoid of type $2$ and type $3$ and they have raised the question of whether $M$ is a Matsuda monoid of type $\ell$ for any prime $\ell$. Assuming the generalized Riemann hypothesis, Daileda showed that $M$ is not a Matsuda monoid of type $\ell$ for any prime $\ell$. In this article, we will establish this result unconditionally using its' connection with Artin's primitive root conjecture and this resolves the question of Christensen, Gipson and Kulosman.

math.NT

A note on Fourier coefficients of Hecke eigenforms in short intervals

In this article, we investigate large prime factors of Fourier coefficients of non-CM normalized cuspidal Hecke eigenforms in short intervals. One of the new ingredients involves deriving an explicit version of Chebotarev density theorem in an interval of length $\frac{x}{(\log x)^A}$ for any $A>0$, modifying an earlier work of Balog and Ono. Furthermore, we need to strengthen a work of Rouse-Thorner to derive a lower bound for the largest prime factor of Fourier coefficients in an interval of length $x^{1/2 + \epsilon}$ for any $\epsilon >0$.

math.NT