10.1 Distribution of primes in arithmetic progressions

Primes in arithmetic progressions are a key focus in number theory. This topic explores how prime numbers are distributed within sequences of numbers with constant differences, leading to fascinating patterns and theorems.

Dirichlet's theorem states there are infinitely many primes in certain progressions. The Prime Number Theorem for Arithmetic Progressions extends this, estimating how these primes are spread out. These ideas form the foundation for deeper explorations in the field.

Arithmetic Progressions and Prime Numbers

Understanding Arithmetic Progressions and Their Relation to Primes

• Arithmetic progression consists of a sequence of numbers with a constant difference between consecutive terms
• General form of an arithmetic progression expressed as $a_n = a + (n-1)d$, where $a$ is the first term, $d$ is the common difference, and $n$ is the term number
• Prime numbers can occur within arithmetic progressions, leading to interesting patterns and distributions
• Dirichlet's theorem on arithmetic progressions states that for coprime integers $a$ and $q$, there are infinitely many primes in the progression $a + nq$ (where $n = 0, 1, 2, ...$)

Prime Number Theorem for Arithmetic Progressions

• Extends the classical prime number theorem to arithmetic progressions
• Estimates the distribution of primes in arithmetic progressions
• States that for coprime $a$ and $q$, the number of primes $\leq x$ in the progression $a \bmod q$ approaches $\frac{\pi(x)}{\phi(q)}$ as $x$ approaches infinity
• $\pi(x; q, a)$ denotes the counting function for primes in the progression $a \bmod q$ up to $x$
• Asymptotic formula: $\pi(x; q, a) \sim \frac{\pi(x)}{\phi(q)}$ as $x \to \infty$
• Provides insights into the uniform distribution of primes among different residue classes modulo $q$

Least Prime in Arithmetic Progressions

• Focuses on finding the smallest prime number in a given arithmetic progression
• Linnik's theorem addresses this problem, providing an upper bound for the least prime
• States that for coprime $a$ and $q$, the least prime $p \equiv a \pmod{q}$ satisfies $p \ll q^L$ for some absolute constant $L$
• Current best known value for $L$ is approximately 5, though improvements are ongoing
• Heath-Brown's theorem improves on Linnik's result for certain cases, showing that $L \leq 5.5$ for all but at most two exceptional moduli $q$

Density Measures

Dirichlet Density and Its Applications

• Dirichlet density measures the relative frequency of primes in arithmetic progressions
• Defined as the limit $\lim_{s \to 1^+} \frac{\sum_{p \equiv a \bmod q} p^{-s}}{\sum_p p^{-s}}$, where $p$ runs over primes
• Provides a way to compare the "sizes" of infinite sets of primes
• Dirichlet density of primes in an arithmetic progression $a \bmod q$ (with $\gcd(a,q) = 1$) equals $\frac{1}{\phi(q)}$
• Useful in studying the distribution of primes in various number-theoretic contexts (quadratic residues, primitive roots)

Relative Density and Comparative Analysis

• Relative density compares the occurrence of primes in different arithmetic progressions
• Defined as the ratio of Dirichlet densities of two sets of primes
• Helps in analyzing the distribution of primes across different residue classes
• Can be used to study phenomena like Chebyshev's bias, which suggests a tendency for primes to be distributed unevenly among different residue classes
• Relative density of primes $\equiv a \bmod q$ to primes $\equiv b \bmod q$ (for $\gcd(a,q) = \gcd(b,q) = 1$) is 1, indicating asymptotic equality in distribution

Theorems on Primes in Arithmetic Progressions

Siegel-Walfisz Theorem and Its Implications

• Provides an estimate for the distribution of primes in arithmetic progressions for large moduli
• States that for any $A > 0$, there exists $C(A)$ such that $|\pi(x; q, a) - \frac{\text{li}(x)}{\phi(q)}| \leq \frac{x}{(\log x)^A}$ for $q \leq (\log x)^C$
• Extends the range of validity of the prime number theorem for arithmetic progressions
• Allows for more precise analysis of prime distributions in various number-theoretic problems
• Applications include studying the distribution of primes represented by quadratic forms

Bombieri-Vinogradov Theorem and Error Term Estimates

• Provides an average error estimate for the distribution of primes in arithmetic progressions
• States that for any $A > 0$, there exists $B = B(A)$ such that $\sum_{q \leq Q} \max_{y \leq x} \max_{\gcd(a,q)=1} |\pi(y; q, a) - \frac{\text{li}(y)}{\phi(q)}| \ll \frac{x}{(\log x)^A}$
• Holds for $Q \leq x^{1/2}/(\log x)^B$
• Considered a type of "average" Riemann Hypothesis over arithmetic progressions
• Crucial in many applications, including sieve methods and the study of almost-primes
• Improves upon the Siegel-Walfisz theorem by allowing for a wider range of moduli $q$