Abstract:Let $D>3$, $D\equiv3\;(4)$ be a prime, and let $\mathcal{C}$ be an ideal class in the field $\mathbb{Q}(\sqrt{-D})$. In this article, we give a new proof that $p(D,\mathcal{C})$, the smallest norm of a split prime $\mathfrak{p}\in\mathcal{C}$, satisfies $p(D,\mathcal{C})\ll D^L$ for some absolute constant $L$. Our proof is sieve theoretic. In particular, this allows us to avoid the use of log-free zero-density estimates (for class group $L$-functions) and the repulsion properties of exceptional zeros, two crucial inputs to previous proofs of this result.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is: for a given ideal class $C$ in a imaginary quadratic field $\mathbb{Q}(\sqrt{-D})$, find the norm $p(D, C)$ of the smallest split prime $p\in C$ such that $p(D, C)\ll D^L$, where $L$ is an absolute constant. Specifically, the author provides a new proof method that avoids using log - free zero - density estimates and the exceptional zero repulsion property. ### Background and Problem Description of the Paper The paper discusses the upper bound estimation of the norm $p(D, C)$ of the smallest split prime $p$ in a given ideal class $C$ in the imaginary quadratic field $\mathbb{Q}(\sqrt{-D})$. Here, $D$ is a prime number satisfying $D > 3$ and $D\equiv3\pmod{4}$, and $C$ is an ideal class in this field. The main goal of the paper is to prove that there exists an absolute constant $L$ such that: \[p(D, C)\ll D^L\] ### Solution and Innovation Points Traditional proof methods rely on log - free zero - density estimates and the exceptional zero repulsion property. However, these methods are complex and difficult to achieve unconditional proofs. In this paper, the author provides a new proof method through sieve theory, avoiding the above - mentioned complex zero - estimation techniques. ### Main Results The main result of the paper is Theorem 1.1, which shows that there exists an absolute constant $L > 0$ such that: \[p(D, C)\ll D^L\] And the implied constant is also absolute. This result is obtained by proving a specific analogy of Linnik's theorem, that is, studying the smallest split prime in an ideal class in an imaginary quadratic field without using the zero - density theorem and the exceptional zero repulsion results. ### Method Overview The author adopts a method similar to that used by Friedlander and Iwaniec in Chapter 24 of "Analytic Number Theory" to prove Linnik's theorem, but adjusted for the imaginary quadratic field. The main steps include: 1. **Application of Buchstab's formula**: used to handle cases with exceptional characters. 2. **Combinatorial sieve identity**: used to handle cases with non - exceptional characters. 3. **Explicit formula and large sieve inequality**: used to handle summation problems involving class group characters. Through these methods, the author successfully avoids relying on zero - density estimates and the exceptional zero repulsion property, providing a brand - new and relatively simple proof path. ### Conclusion This paper not only provides a new proof method for the problem of the smallest split prime in an imaginary quadratic field, but also demonstrates the powerful application potential of sieve theory in number theory. This provides new ideas and tools for future research.

Sifting for small split primes of an imaginary quadratic field in a given ideal class

An elementary proof of the theorem on the imaginary quadratic fields with class number 1

Imaginary quadratic number fields with class groups of small exponent

On the classical main conjecture for imaginary quadratic fields

Primality proving using elliptic curves with complex multiplication by imaginary quadratic fields of class number three

The divisibility of the class number of the imaginary quadratic fields

Principal factors and lattice minima

Bounds of ideal class numbers of real quadratic function fields

Diophantine avoidance and small-height primitive elements in ideals of number fields

On an indivisibility version of Iizuka's conjecture

Class numbers, Ono invariants and some interesting primes

Imaginary quadratic fields $F$ with $X_0(15)(F)$ finite

Some new infinite families of non-$p$-rational real quadratic fields

The divisibility of the class number of the imaginary quadratic fields $\mathbb{Q}(\sqrt{1-2m^k})$

On Primes $p$ such that $p-b$ Has a Large Power Factor and Few Other Divisors

Class Number Formulas for Certain Biquadratic Fields

Divisibility of class numbers of quadratic fields and a conjecture of Iizuka

Sifting for small primes from an arithmetic progression

Selberg's sieve of irregular density

Primes in arithmetic progressions to large moduli, and Goldbach beyond the square-root barrier

Fermat quotients and the Ankeny-Artin-Chowla conjecture