Source author record

Steven Jin

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

2works
2topics
4close collaborators

Published work

2 publications

preprint2022arXiv

An unconditional explicit bound on the error term in the Sato-Tate conjecture

Let f(z)=∑n=1∞af(n)qnf(z) = \sum_{n=1}^\infty a_f(n)q^n be a holomorphic cuspidal newform with even integral weight k≥2k\geq 2, level NN, trivial nebentypus, and no complex multiplication (CM). For all primes pp, we may define θp∈[0,π]θ_p\in [0,π] such that af(p)=2p(k−1)/2cos⁡θpa_f(p) = 2p^{(k-1)/2}\cos θ_p. The Sato-Tate conjecture states that the angles θpθ_p are equidistributed with respect to the probability measure μST(I)=2π∫Isin⁡2θ  dθμ_{\textrm{ST}}(I) = \frac{2}π\int_I \sin^2 θ\; dθ, where I⊆[0,π]I\subseteq [0,π]. Using recent results on the automorphy of symmetric-power LL-functions due to Newton and Thorne, we explicitly bound the error term in the Sato-Tate conjecture when ff corresponds to an elliptic curve over Q\mathbb{Q} of arbitrary conductor or when ff has squarefree level. In these cases, if πf,I(x):=#{p≤x:p∤N,θp∈I}π_{f,I}(x) := \#\{ p \leq x : p \nmid N, θ_p\in I\}, and π(x):=#{p≤x}π(x) := \# \{ p \leq x \}, we prove the following bound: ∣πf,I(x)π(x)−μST(I)∣≤58.1log⁡((k−1)Nlog⁡x)log⁡xforx≥3.\left| \frac{π_{f,I}(x)}{π(x)} - μ_{\textrm{ST}}(I)\right| \leq 58.1\frac{\log((k-1)N \log{x})}{\sqrt{\log{x}}} \qquad \text{for} \quad x \geq 3. As an application, we give an explicit bound for the number of primes up to xx that violate the Atkin-Serre conjecture for ff.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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