Friedlander–Iwaniec theorem

In analytic number theory the Friedlander–Iwaniec theorem states that there are infinitely many prime numbers of the form ${\displaystyle a^{2}+b^{4}}$. The first few such primes are

John Friedlander

Henryk Iwaniec

2, 5, 17, 37, 41, 97, 101, 137, 181, 197, 241, 257, 277, 281, 337, 401, 457, 577, 617, 641, 661, 677, 757, 769, 821, 857, 881, 977, … (sequence A028916 in the OEIS).

The difficulty in this statement lies in the very sparse nature of this sequence: the number of integers of the form ${\displaystyle a^{2}+b^{4}}$ less than ${\displaystyle X}$ is roughly of the order ${\displaystyle X^{3/4}}$.

History

The theorem was proved in 1997 by John Friedlander and Henryk Iwaniec.^[1][2] Iwaniec was awarded the 2001 Ostrowski Prize in part for his contributions to this work.^[3]

Refinements

The theorem was refined by D.R. Heath-Brown and Xiannan Li in 2017.^[4] In particular, they proved that the polynomial ${\displaystyle a^{2}+b^{4}}$  represents infinitely many primes when the variable ${\displaystyle b}$  is also required to be prime. Namely, if ${\displaystyle f(n)}$  is the prime numbers less than ${\displaystyle n}$  in the form ${\displaystyle a^{2}+b^{4},}$  then

${\displaystyle f(n)\sim v{\frac {x^{3/4}}{\log {x}}}}$ 

where

${\displaystyle v=2{\sqrt {\pi }}{\frac {\Gamma (5/4)}{\Gamma (7/4)}}\prod _{p\equiv 1{\bmod {4}}}{\frac {p-2}{p-1}}\prod _{p\equiv 3{\bmod {4}}}{\frac {p}{p-1}}.}$ 

In 2024, a paper by Stanley Yao Xiao ^[5] generalized the Friedlander--Iwaniec theorem and Heath-Brown--Li theorems to general binary quadratic forms, including indefinite forms. In particular one has, for ${\displaystyle f(x,y)\in \mathbb {Z} [x,y]}$  a positive definite binary quadratic form satisfying ${\displaystyle f(x,1)\not \equiv x(x+1){\pmod {2}}}$ , one has, for ${\displaystyle \lambda }$  the prime indicator function and

${\displaystyle {\mathfrak {S}}_{f}=\operatorname {Area} \{(x,y)\in \mathbb {R} ^{2}:f(x,y^{2})\leq 1\}}$ 

and

${\displaystyle \nu _{f}=\prod _{p\nmid \Delta (f)}\left(1-{\frac {\rho _{f}(p)}{p}}\right)\left(1-{\frac {1}{p}}\right)^{-1}\prod _{p|\Delta (f)}\left(1-{\frac {1}{p}}\right)^{-1},}$ 

with ${\displaystyle \rho _{f}(m)=\#\{x{\pmod {m}}:f(x,1)\equiv 0{\pmod {m}}\}}$ , the asymptotic formula:

${\displaystyle \sum _{\begin{array}{c}m,\ell \in \mathbb {Z} \\f(m,\ell ^{2})\leq X\end{array}}\lambda (f(m,\ell ^{2}))={\frac {\nu _{f}{\mathfrak {S}}_{f}X^{3/4}}{\log X}}\left(1+O\left({\frac {\log \log X}{\log X}}\right)\right)}$ 

Here ${\displaystyle \Delta (f)}$  is the discriminant of the quadratic form ${\displaystyle f}$ .

For indefinite, irreducible forms ${\displaystyle f(x,y)\in \mathbb {Z} [x,y]}$  satisfying ${\displaystyle f(x,1)\not \equiv x(x+1){\pmod {2}}}$ , put

${\displaystyle {\mathfrak {S}}_{f}=\lim _{X\rightarrow \infty }{\frac {\operatorname {Area} \{(x,y)\in \mathbb {R} ^{2}:0<f(x,y^{2})\leq X,0<y<X^{1/4}}{X^{3/4}}}.}$ 

Then one has the asymptotic formula

${\displaystyle \sum _{\begin{array}{c}m,\ell \in \mathbb {Z} \\f(m,\ell ^{2})\leq X\\0<\ell \leq X^{3/4}\end{array}}\lambda (f(m,\ell ^{2}))={\frac {\nu _{f}{\mathfrak {S}}_{f}X^{3/4}}{\log X}}\left(1+O\left({\frac {\log \log X}{\log X}}\right)\right).}$ 

Special case

When b = 1, the Friedlander–Iwaniec primes have the form ${\displaystyle a^{2}+1}$ , forming the set

2, 5, 17, 37, 101, 197, 257, 401, 577, 677, 1297, 1601, 2917, 3137, 4357, 5477, 7057, 8101, 8837, 12101, 13457, 14401, 15377, … (sequence A002496 in the OEIS).

It is conjectured (one of Landau's problems) that this set is infinite. However, this is not implied by the Friedlander–Iwaniec theorem.

References

1. Friedlander, John; Iwaniec, Henryk (1997), "Using a parity-sensitive sieve to count prime values of a polynomial", PNAS, 94 (4): 1054–1058, doi:10.2307/121034.
2. Friedlander, John; Iwaniec, Henryk (1998), "The polynomial ${\displaystyle X^{2}+Y^{4}}$  captures its primes", Annals of Mathematics, 148 (3): 945–1040, doi:10.2307/121034.
3. "Iwaniec, Sarnak, and Taylor Receive Ostrowski Prize"
4. Heath-Brown, D.R.; Li, Xiannan (2017), "Prime values of ${\displaystyle a^{2}+p^{4}}$ ", Inventiones Mathematicae, 208: 441–499, doi:10.1007/s00222-016-0694-0.
5. Xiao, Stanley Yao (2024), "Prime values of ${\displaystyle f(a,b^{2})}$  and ${\displaystyle f(a,p^{2})}$ , ${\displaystyle f}$  quadratic", Algebra and Number Theory, 18 (9): 1619–1679, arXiv:2111.04136, doi:10.2140/ant.2024.18.1619

Further reading

• Cipra, Barry Arthur (1998), "Sieving Prime Numbers From Thin Ore", Science, 279 (5347): 31, doi:10.1126/science.279.5347.31, S2CID 118322959.