On Gaussian primes in sparse sets

Jori Merikoski
2024-09-24
Abstract:We show that there exists some $\delta > 0$ such that, for any set of integers $B$ with $B\cap[1,Y]\gg Y^{1-\delta}$ for all $Y \gg 1$, there are infinitely many primes of the form $a^2+b^2$ with $b\in B$. We prove a quasi-explicit formula for the number of primes of the form $a^2+b^2 \leq X$ with $b \in B$ for any $|B|=X^{1/2-\delta}$ with $\delta < 1/10$ and $B \subseteq [\eta X^{1/2},(1-\eta)X^{1/2}] \cap \mathbb{Z}$, in terms of zeros of Hecke $L$-functions on $\mathbb{Q}(i)$. We obtain the expected asymptotic formula for the number of such primes provided that the set $B$ does not have a large subset which consists of multiples of a fixed large integer. In particular, we get an asymptotic formula if $B$ is a sparse subset of primes. For an arbitrary $B$ we obtain a lower bound for the number of primes with a weaker range for $\delta$, by bounding the contribution from potential exceptional characters.
Number Theory
What problem does this paper attempt to address?
### Problems the paper attempts to solve This paper mainly focuses on the problem of finding the distribution of Gaussian primes in sparse sets. Specifically, the author attempts to prove that for some sparse sets \(B\), there are infinitely many primes of the form \(a^{2}+b^{2}\), where \(b\in B\). #### Main contributions 1. **Existence of infinitely many Gaussian primes**: The author proves that if the set \(B\) satisfies \(|B\cap[0,Y]|\gg Y^{1 - \delta}\) for all sufficiently large \(Y\), then there are infinitely many primes of the form \(a^{2}+b^{2}\), where \(b\in B\). Here, \(\delta> 0\) is a small computable constant. 2. **Quasi - explicit formula**: The author also gives a quasi - explicit formula for estimating the number of Gaussian primes that satisfy the condition within a given range. This formula involves the zeros of Hecke L - functions, and when \(B\) does not contain large subsets of large integer multiples, the expected asymptotic formula can be obtained. 3. **Handling arbitrary sparse sets**: An important feature of this paper is that it is not limited to sparse sets \(B\) with a specific structure, but can handle arbitrary sparse sets. This makes the results more general and widely applicable. #### Mathematical expressions - \(\delta>0\): A small positive number. - \(B\): An integer set satisfying \(|B\cap[0,Y]|\gg Y^{1-\delta}\). - \(a^{2}+b^{2}\): The form of Gaussian primes. - \(\sum_{p = a^{2}+b^{2}\leq X}1_{B}(b)\): Represents the number of Gaussian primes with \(b\in B\) within the range of \(X\). #### Markdown format of formulas ```markdown \[ \delta>0 \] \[ B \text{ is an integer set satisfying } |B\cap[0,Y]|\gg Y^{1-\delta} \] \[ a^{2}+b^{2} \text{ is the form of Gaussian primes} \] \[ \sum_{p = a^{2}+b^{2}\leq X}1_{B}(b) \] ``` Through these contributions, the author provides new insights and methods for the problem of the distribution of Gaussian primes in sparse sets in analytic number theory.