SearcharxivSearch

arXiv subjects

Sudhir Pujahari

Publications and source records attributed to Sudhir Pujahari.

18 recordsLinked to original sources

Near Isospectrality and Spectral Rigidity for Compact Locally Symmetric Manifolds

The inverse spectral problem asks to what extent the Laplace--Beltrami spectrum determines the geometry of a Riemannian manifold. We study a natural weakening, called \emph{near isospectrality}, in which the spectra of two compact manifolds agree outside a finite set, counted with multiplicity. We prove that for compact quotients of a fixed simply connected symmetric space of nonpositive sectional curvature, near isospectrality already forces full isospectrality. We then extend this rigidity to a broad collection of compact quotients of irreducible symmetric spaces of noncompact type. In this larger setting, near isospectrality determines enough heat invariants to identify the universal cover within the class under consideration, and the fixed-cover rigidity result then implies full isospectrality. Thus, within the class studied here, eventual agreement of the Laplace spectrum already forces complete spectral agreement.

math.SP

Erdős-Kac type theorem for the number of scattering geodesics on modular surface

In 1917, Hardy and Ramanujan showed that if $ω(n)$ is the number of distinct prime factors of a randomly chosen positive integer $n,$ then the normal order of $ω(n)$ is $\log \log \, n.$ This led Erdős and Kac to prove their celebrated result showing a Gaussian behaviour for $ω(n).$ In this article we prove an Erdős-Kac kind result for the number of scattering geodesics on the modular surface with a common sojourn time.

math.NT

Prime scattering geodesic theorem

The modular surface, given by the quotient $\mathcal{M} = \Ha/\text{PSL}(2,\Z)$, can be partitioned into a compact subset $\Mm$ and an open neighborhood of the unique cusp in $\mathcal{M}$. We consider scattering geodesics in $\mathcal{M}$, first introduced by Victor Guillemin in \cite{Guillemin1976-xr} for hyperbolic surfaces with cusps. These are geodesics in $\mathcal{M}$ that lie in $\mathcal{M} \setminus \Mm$ for both large positive and negative times. Associated with such a scattering geodesic in $\mathcal{M}$, a finite \textit{sojourn time} is defined in \cite{Guillemin1976-xr}. In this article, we study the distribution of these scattering geodesics in $\mathcal{M}$ and their associated \textit{sojourn times}. In this process, we establish a connection between the counting of scattering geodesics on the modular surface and the study of positive integers whose prime divisors lie in arithmetic progression. This article is the first such result for scattering geodesics.

math.NT

Distribution of the Hessian values of Gaussian hypergeometric functions

We consider a special family of Gaussian hypergeometric functions whose entries are cubic and trivial characters over finite fields. The special values of these functions are known to give the Frobenius traces of families of Hessian elliptic curves. Using the theory of harmonic Maass forms and mock modular forms, we prove that the limiting distribution of these values is semi-circular (i.e. $SU(2)$), confirming the usual Sato-Tate distribution in this setting.

math.NT

Distribution of rational points of an algebraic surface over finite fields

The number of points on a certain one parameter family of algebraic surface over a finite field $\F_p$ can be expressed as $p^2+A_p(λ),$ where $A_p(λ)$ is a character sum and $λ$ is an element of the finite field $\F_p.$ In this paper, we study the distribution of the term $A_p(λ)$ as the surface varies over a large family of algebraic surfaces of fixed genus and growing $p.$ The power moments of $A_p$'s are weighted sums of Catalan numbers. As a consequence of these results, we obtain limiting distributions of certain families of hypergeometric functions over large finite fields.

math.NT

The bias conjecture for elliptic curves over finite fields and Hurwitz class numbers in arithmetic progressions

In this paper, we consider a version of the bias conjecture for second moments in the setting of elliptic curves over finite fields whose trace of Frobenius lies in an arbitrary fixed arithmetic progression. Contrary to the classical setting of reductions of one-parameter families over the rationals, where it is conjectured by Steven J. Miller that the bias is always negative, we prove that in our setting the bias is positive for a positive density of arithmetic progressions and negative for a positive density of arithmetic progressions. Along the way, we obtain explicit formulas for moments of traces of Frobenius of elliptic curves over finite fields in arithmetic progressions and related moments of Hurwitz class numbers in arithmetic progressions, the distribution of which are of independent interest.

math.NT

Odd moments for the trace of Frobenius and the Sato--Tate conjecture in arithmetic progressions

In this paper, we consider the moments of the trace of Frobenius of elliptic curves if the trace is restricted to a fixed arithmetic progression. We determine the asymptotic behavior for the ratio of the $(2k+1)$-th moment to the zeroeth moment as the size of the finite field $\mathbb{F}_{p^r}$ goes to infinity. These results follow from similar asymptotic formulas relating sums and moments of Hurwitz class numbers where the sums are restricted to certain arithmetic progressions. As an application, we prove that the distribution of the trace of Frobenius in arithmetic progressions is equidistributed with respect to the Sato--Tate measure.

math.NT

Zeros of higher derivatives of Riemann zeta function

In this article, we extend the result of Conrey [5, Theorem 2] to shorter intervals for higher-order derivatives of the zeta function. That is we study the mean value of the product of two finite order derivatives of the zeta function multiplied by a mollifier in short intervals. In this process, we obtain better mollifier length in some short intervals compared to the length of mollifier implied by Conrey's result. These finer studies allow us to refine the error term of some classical results of Levinson and Montgomery [13], Ki and Lee [11] on zero density estimates of $ζ^{(k)}$. Further, we showed that almost all non-trivial zeros of Matsumoto-Tanigawa's $η_k$-function cluster near the critical line.

math.NT

A Bombieri-Vinogradov-type theorem for moduli with small radical

In this article, we extend our recent work on a Bombieri-Vinogradov-type theorem for sparse sets of prime powers $p^N\le x^{1/4-\varepsilon}$ with $p\le (\log x)^C$ to sparse sets of moduli $s\le x^{1/3-\varepsilon}$ with radical rad$(s)\le x^{9/40}$. To derive our result, we combine our previous method with a Bombieri-Vinogradov-type theorem for general moduli $s\le x^{9/40}$ obtained by Roger Baker.

math.NT

Turán inequalities for the plane partition function

Heim, Neuhauser, and Tröger recently established some inequalities for MacMahon's plane partition function $\mathrm{PL}(n)$ that generalize known results for Euler's partition function $p(n)$. They also conjectured that $\mathrm{PL}(n)$ is log-concave for all $n\geq 12.$ We prove this conjecture. Moreover, for every $d\geq 1$, we prove their speculation that $\mathrm{PL}(n)$ satisfies the degree $d$ Turán inequality for sufficiently large $n$. The case where $d=2$ is the case of log-concavity.

math.NT

Sato-Tate Distribution of $p$-adic hypergeometric functions

Recently Ono, Saad and the second author \cite{KHN} initiated a study of value distribution of certain families of Gaussian hypergeometric functions over large finite fields. They investigated two families of Gaussian hypergeometric functions and showed that they satisfy semicircular and Batman distributions. Motivated by their results we aim to study distributions of certain families of hypergeometric functions in the $p$-adic setting over large finite fields. In particular, we consider two and six parameters families of hypergeometric functions in the $p$-adic setting and obtain that their limiting distributions are semicircular over large finite fields. In the process of doing this we also express the traces of $p$th Hecke operators acting on the spaces of cusp forms of even weight $k\geq4$ and levels 4 and 8 in terms of $p$-adic hypergeometric function which is of independent interest. These results can be viewed as $p$-adic analogous of some trace formulas of \cite{ah, ah-ono, fop}.

math.NT

A Bombieri-Vinogradov-type theorem with prime power moduli

In 2020, Roger Baker \cite{Bak} proved a result on the exceptional set of moduli in the prime number theorem for arithmetic progressions of the following kind. Let $\mathcal{S}$ be a set of pairwise coprime moduli $q\le x^{9/40}$. Then the primes $l\le x$ distribute as expected in arithmetic progressions mod $q$, except for a subset of $\mathcal{S}$ whose cardinality is bounded by a power of $\log x$. We use a $p$-adic variant Harman's sieve to extend Baker's range to $q\le x^{1/4-\varepsilon}$ if $\mathcal{S}$ is restricted to prime powers $p^N$, where $p\le (\log x)^C$ for some fixed but arbitrary $C>0$. For large enough $C$, we thus get an almost all result. Previously, an asymptotic estimate for $π(x;p^N,a)$ of the expected kind, with $p$ being an odd prime, was established in the wider range $p^N\le x^{3/8-\varepsilon}$ by Barban, Linnik and Chudakov \cite{BLC}. Gallagher \cite{Gal} extended this range to $p^N\le x^{2/5-\varepsilon}$ and Huxley \cite{Hux2} improved Gallagher's exponent to $5/12$. A lower bound of the correct order of magnitude was recently established by Banks and Shparlinski \cite{BaS} for the even wider range $p^N\le x^{0.4736}$. However, all these results hold for {\it fixed} primes $p$, and the $O$-constants in the relevant estimates depend on $p$. Therefore, they do not contain our result. In a part of our article, we describe how our method relates to these results.

math.NT

Distribution of moments of Hurwitz class numbers in arithmetic progressions and holomorphic projection

In this paper, we study moments of Hurwitz class numbers associated to imaginary quadratic orders restricted into fixed arithmetic progressions. In particular, we fix $t$ in an arithmetic progression $t\equiv m\pmod{M}$ and consider the ratio of the $2k$-th moment to the zeroeth moment for $H(4n-t^2)$ as one varies $n$. The special case $n=p^r$ yields as a consequence asymptotic formulas for moments of the trace $t\equiv m\pmod{M}$ of Frobenius on elliptic curves over finite fields with $p^r$ elements.

math.NT

Distinguishing pure representations by normalized traces

Given two pure representations of the absolute Galois group of an $\ell$-adic number field with coefficients in $\overline{\mathbb{Q}}_p$ (with $\ell\neq p$), we show that the Frobenius-semisimplifications of the associated Weil--Deligne representations are twists of each other by an integral power of certain unramified character if they have equal normalized traces. This is an analogue of a recent result of Patankar and Rajan in the context of local Galois representations.

math.NT

Effective joint distribution of eigenvalues of Hecke operators

In 1997, Serre proved that the eigenvalues of normalised $p$-th Hecke operator $T^{'}_p$ acting on the space of cusp forms of weight $k$ and level $N$ are equidistributed in $[-2,2]$ with respect to a measure that converge to the Sato-Tate measure, whenever $N+k \to \infty$. In 2009, Murty and Sinha proved the effective version of Serre's theorem. In 2011, using Kuznetsov trace formula, Lau and Wang derived the effective joint distribution of eigenvalues of normalized Hecke operators acting on the space of primitive cusp forms of weight $k$ and level $1$. In this paper, we extend the result of Lau and Wang to space of cusp forms of higher level. Here we use Eichler-Selberg trace formula instead of Kuznetsov trace formula to deduce our result.

math.NT

Distribution of gaps between eigenangles of Hecke operators

In 1931, Van der Corput showed that if for each positive integer $s$, the sequence $\{x_{n+s}-x_n\}$ is uniformly distributed (mod 1), then the sequence $x_n$ is uniformly distributed (mod 1). The converse of above result is surprisingly not true. The distribution of consecutive gaps of an equidistributed sequence has been studied widely in the literature. In this paper, we have studied the distribution of gaps between one or more equidistributed sequences. Under certain conditions, we could study the distribution effectively. As applications, we study the equidistribution of gaps between eigenangles of Hecke operators acting on space of cusp forms of weight $k$ and level $N$, primitive Maass forms. We also have studied the distribution of gaps between corresponding angles of Satake parameters of $GL_2$ with prescribed local representations.

math.NT