Researcher profile

Jesse Thorner

Jesse Thorner contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
16works
0followers
1topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

16 published item(s)

preprint2026arXiv

Exceptional zeros of $\mathrm{GL}_3\times\mathrm{GL}_3$ Rankin-Selberg $L$-functions

Let $χ$ be an idele class character over a number field $F$, and let $π,π'$ be any two cuspidal automorphic representations of $\mathrm{GL}_2(\mathbb{A}_F)$. We prove that the Rankin-Selberg $L$-function $L(s,\mathrm{Sym}^2(π)\times(\mathrm{Sym}^2 (π')\otimesχ))$ has a "standard" zero-free region with no exceptional Landau-Siegel zero except possibly when it is divisible by the $L$-function of a real idele class character. In particular, no such zero exists if $π$ is non-dihedral and $π'$ is not a twist of $π$. Until now, this was only known when $π=π'$, $π$ is self-dual, and $χ$ is trivial.

preprint2026arXiv

Tatuzawa's theorem for Rankin-Selberg $L$-functions

Let $π$ and $π'$ be unitary cuspidal automorphic representations of $\mathrm{GL}(n)$ and $\mathrm{GL}(n')$ over a number field $F$. We establish a new zero-free region for all $\mathrm{GL}(1)$-twists of the Rankin-Selberg $L$-function $L(s,π\timesπ')$, generalizing Tatuzawa's refinement of Siegel's work on Dirichlet $L$-functions. As a corollary, we show that for all $\varepsilon>0$, there exists an effectively computable constant $c>0$ depending only on $(n,n',[F:\mathbb{Q}],\varepsilon)$ such that $L(s,π\timesπ')$ has at most one zero (necessarily simple) in the region \[ \mathrm{Re}(s)\geq 1-c/(C(π)C(π')(|\mathrm{Im}(s)|+1))^{\varepsilon}, \] where $C(π)$ and $C(π')$ are the analytic conductors. A crucial component of our proof is a new standard zero-free region for any twist of $L(s,π\times\widetildeπ)$ by an idele class character $χ$ apart from a possible single exceptional zero (necessarily real and simple) that can occur only when $π\otimesχ^2=π$. This extends earlier work of Humphries and Thorner.

preprint2021arXiv

Towards a $\mathrm{GL}_n$ variant of the Hoheisel phenomenon

Let $π$ be a unitary cuspidal automorphic representation of $\mathrm{GL}_n$ over a number field, and let $\tildeπ$ be contragredient to $π$. We prove effective upper and lower bounds of the correct order in the short interval prime number theorem for the Rankin-Selberg $L$-function $L(s,π\times\tildeπ)$, extending the work of Hoheisel and Linnik. Along the way, we prove for the first time that $L(s,π\times\widetildeπ)$ has an unconditional standard zero-free region apart from a possible Landau-Siegel zero.

preprint2020arXiv

Jensen Polynomials for the Riemann Xi Function

We investigate Riemann's xi function $ξ(s):=\frac{1}{2}s(s-1)π^{-\frac{s}{2}}Γ(\frac{s}{2})ζ(s)$ (here $ζ(s)$ is the Riemann zeta function). The Riemann Hypothesis (RH) asserts that if $ξ(s)=0$, then $\mathrm{Re}(s)=\frac{1}{2}$. Pólya proved that RH is equivalent to the hyperbolicity of the Jensen polynomials $J^{d,n}(X)$ constructed from certain Taylor coefficients of $ξ(s)$. For each $d\geq 1$, recent work proves that $J^{d,n}(X)$ is hyperbolic for sufficiently large $n$. Here we make this result effective. Moreover, we show how the low-lying zeros of the derivatives $ξ^{(n)}(s)$ influence the hyperbolicity of $J^{d,n}(X)$.

preprint2019arXiv

Zeros of Rankin-Selberg $L$-functions at the edge of the critical strip

Let $π$ and $π_0$ be unitary cuspidal automorphic representations. We prove log-free zero density estimates for Rankin-Selberg $L$-functions of the form $L(s,π\timesπ_0)$, where $π$ varies in a given family and $π_0$ is fixed. These estimates are unconditional in many cases of interest; they hold in full generality assuming an average form of the generalized Ramanujan conjecture. We consider applications of these estimates related to mass equidistribution for Hecke-Maass forms, the rarity of Landau-Siegel zeros of Rankin-Selberg $L$-functions, the Chebotarev density theorem, and $\ell$-torsion in class groups of number fields.

preprint2018arXiv

A unified and improved Chebotarev density theorem

We establish an unconditional effective Chebotarev density theorem that improves uniformly over the well-known result of Lagarias and Odlyzko. As a consequence, we give a new asymptotic form of the Chebotarev density theorem that can count much smaller primes with arbitrary log-power savings, even in the case where a Landau-Siegel zero is present. Our main theorem interpolates the strongest unconditional upper bound for the least prime ideal with a given Artin symbol as well as the Chebotarev analogue of the Brun-Titchmarsh theorem proved by the authors. We also present a new application of our main result that exhibits considerable gains over earlier versions of the Chebotarev density theorem. If $f$ is a positive definite primitive binary quadratic form then we count lattice points $(u,v) \in \mathbb{Z}^2$ such that $f(u,v)$ is prime and $u, v$ have no prime factors $\leq z$ with uniformity in $z$ and the discriminant of $f$.

preprint2017arXiv

Special Values of Motivic $L$-Functions and Zeta-Polynomials for Symmetric Powers of Elliptic Curves

Let $\mathcal{M}$ be a pure motive over $\mathbb{Q}$ of odd weight $w\geq 3$, even rank $d\geq 2$, and global conductor $N$ whose $L$-function $L(s,\mathcal{M})$ coincides with the $L$-function of a self-dual algebraic tempered cuspidal symplectic representation of $\mathrm{GL}_{d}(\mathbb{A}_{\mathbb{Q}})$. We show that a certain polynomial which generates special values of $L(s,\mathcal{M})$ (including all of the critical values) has all of its zeros equidistributed on the unit circle, provided that $N$ or $w$ are sufficiently large with respect to $d$. These special values have arithmetic significance in the context of the Bloch-Kato conjecture. We focus on applications to symmetric powers of semistable elliptic curves over $\mathbb{Q}$. Using the Rodriguez-Villegas transform, we use these results to construct large classes of "zeta-polynomials" (in the sense of Manin) arising from symmetric powers of semistable elliptic curves; these polynomials have a functional equation relating $s\mapsto 1-s$, and all of their zeros on the line $\operatorname{Re}(s)=1/2$.

preprint2016arXiv

A Chebotarev variant of the Brun-Titchmarsh theorem and bounds for the Lang-Trotter conjectures

We improve the Chebotarev variant of the Brun-Titchmarsh theorem proven by Lagarias, Montgomery, and Odlyzko using the log-free zero density estimate and zero repulsion phenomenon for Hecke L-functions that were recently proved by the authors. Our result produces an improvement for the best unconditional bounds toward two conjectures of Lang and Trotter regarding the distribution of traces of Frobenius for elliptic curves and holomorphic cuspidal modular forms. We also obtain new results on the distribution of primes represented by positive-definite integral binary quadratic forms.

preprint2016arXiv

An explicit bound for the least prime ideal in the Chebotarev density theorem

We prove an explicit version of Weiss' bound on the least norm of a prime ideal in the Chebotarev density theorem, which is itself a significant improvement on the work of Lagarias, Montgomery, and Odlyzko. In order to accomplish this, we prove an explicit log-free zero density estimate and an explicit version of the zero-repulsion phenomenon for Hecke $L$-functions. As an application, we prove the first explicit nontrivial upper bound for the least prime represented by a positive-definite primitive binary quadratic form. We also present applications to the group of $\mathbb{F}_p$-rational points of an elliptic curve and congruences for the Fourier coefficients of holomorphic cuspidal modular forms.

preprint2016arXiv

The Explicit Sato-Tate Conjecture and Densities Pertaining to Lehmer-Type Questions

Let $f(z)=\sum_{n=1}^\infty a(n)q^n\in S^{\text{new}}_ k (Γ_0(N))$ be a newform with squarefree level $N$ that does not have complex multiplication. For a prime $p$, define $θ_p\in[0,π]$ to be the angle for which $a(p)=2p^{( k -1)/2}\cos θ_p $. Let $I\subset[0,π]$ be a closed subinterval, and let $dμ_{ST}=\frac{2}π\sin^2θdθ$ be the Sato-Tate measure of $I$. Assuming that the symmetric power $L$-functions of $f$ satisfy certain analytic properties (all of which follow from Langlands functoriality and the Generalized Riemann Hypothesis), we prove that if $x$ is sufficiently large, then \[ \left|\#\{p\leq x:θ_p\in I\} -μ_{ST}(I)\int_2^x\frac{dt}{\log t}\right|\ll\frac{x^{3/4}\log(N k x)}{\log x} \] with an implied constant of $3.34$. By letting $I$ be a short interval centered at $\fracπ{2}$ and counting the primes using a smooth cutoff, we compute a lower bound for the density of positive integers $n$ for which $a(n)\neq0$. In particular, if $τ$ is the Ramanujan tau function, then under the aforementioned hypotheses, we prove that \[ \lim_{x\to\infty}\frac{\#\{n\leq x:τ(n)\neq0\}}{x}>1-1.54\times10^{-13}. \] We also discuss the connection between the density of positive integers $n$ for which $a(n)\neq0$ and the number of representations of $n$ by certain positive-definite, integer-valued quadratic forms.

preprint2015arXiv

A variant of the Bombieri-Vinogradov theorem in short intervals with applications

We generalize the classical Bombieri-Vinogradov theorem to a short interval, non-abelian setting. This leads to variants of the prime number theorem for short intervals where the primes lie in arithmetic progressions that are "twisted" by a splitting condition in a Galois extension $L/K$ of number fields. Using this result in conjunction with recent work of Maynard, we prove that rational primes in short intervals with a given splitting condition in a Galois extension $L/\mathbb{Q}$ exhibit dense clusters in short intervals. We explore several arithmetic applications related to questions of Serre regarding the nonvanishing Fourier coefficients of cuspidal modular forms, including finding dense clusters of fundamental discriminants $ d $ in short intervals for which the central values of $d$-quadratic twists of modular $L$-functions are non-vanishing.

preprint2015arXiv

Bounded Gaps Between Primes in Chebotarev Sets

A new and exciting breakthrough due to Maynard establishes that there exist infinitely many pairs of distinct primes $p_1,p_2$ with $|p_1-p_2|\leq 600$ as a consequence of the Bombieri-Vinogradov Theorem. In this paper, we apply his general method to the setting of Chebotarev sets of primes. We study applications of these bounded gaps with an emphasis on ranks of prime quadratic twists of elliptic curves over $\mathbb{Q}$, congruence properties of the Fourier coefficients of normalized Hecke eigenforms, and representations of primes by binary quadratic forms.

preprint2015arXiv

Bounded Gaps Between Primes in Multidimensional Hecke Equidistribution Problems

Using Duke&#39;s large sieve inequality for Hecke Gr{ö}ssencharaktere and the new sieve methods of Maynard and Tao, we prove a general result on gaps between primes in the context of multidimensional Hecke equidistribution. As an application, for any fixed $0<ε<\frac{1}{2}$, we prove the existence of infinitely many bounded gaps between primes of the form $p=a^2+b^2$ such that $|a|<ε\sqrt{p}$. Furthermore, for certain diagonal curves $\mathcal{C}:ax^α+by^β=c$, we obtain infinitely many bounded gaps between the primes $p$ such that $|p+1-\#\mathcal{C}(\mathbb{F}_p)|<ε\sqrt{p}$.

preprint2015arXiv

The Error Term in the Sato-Tate Conjecture

Let $f(z)=\sum_{n=1}^\infty a(n)e^{2πi nz}\in S_k^{new}(Γ_0(N))$ be a newform of even weight $k\geq2$ that does not have complex multiplication. Then $a(n)\in\mathbb{R}$ for all $n$, so for any prime $p$, there exists $θ_p\in[0,π]$ such that $a(p)=2p^{(k-1)/2}\cos(θ_p)$. Let $π(x)=\#\{p\leq x\}$. For a given subinterval $I\subset[0,π]$, the now-proven Sato-Tate Conjecture tells us that as $x\to\infty$, \[ \#\{p\leq x:θ_p\in I\}\sim μ_{ST}(I)π(x),\quad μ_{ST}(I)=\int_{I} \frac{2}π\sin^2(θ)~dθ. \] Let $ε>0$. Assuming that the symmetric power $L$-functions of $f$ are automorphic, we prove that as $x\to\infty$, \[ \#\{p\leq x:θ_p\in I\}=μ_{ST}(I)π(x)+O\left(\frac{x}{(\log x)^{9/8-ε}}\right), \] where the implied constant is effectively computable and depends only on $k,N,$ and $ε$.

preprint2014arXiv

Benford&#39;s Law for Coefficients of Newforms

Let $f(z)=\sum_{n=1}^\infty λ_f(n)e^{2πi n z}\in S_{k}^{new}(Γ_0(N))$ be a normalized Hecke eigenform of even weight $k\geq2$ on $Γ_0(N)$ without complex multiplication. Let $\mathbb{P}$ denote the set of all primes. We prove that the sequence $\{λ_f(p)\}_{p\in\mathbb{P}}$ does not satisfy Benford&#39;s Law in any base $b\geq2$. However, given a base $b\geq2$ and a string of digits $S$ in base $b$, the set \[ A_{λ_f}(b,S):=\{\text{$p$ prime : the first digits of $λ_f(p)$ in base $b$ are given by $S$}\} \] has logarithmic density equal to $\log_b(1+S^{-1})$. Thus $\{λ_f(p)\}_{p\in\mathbb{P}}$ follows Benford&#39;s Law with respect to logarithmic density. Both results rely on the now-proven Sato-Tate Conjecture.