MathLabs

Open problem, Arithmetic and number theory, posed 1912

Primes of the form n² + 1 (Landau's fourth problem)

OpenLandau #4

Are there infinitely many prime numbers of the form p=n2+1p = n^2 + 1, where nn is a positive integer?

Research frontier as of 2026

As of 2026 Landau's fourth problem remains open: no single-variable polynomial of degree ≥2\ge 2 has been proved to represent infinitely many primes. The sequence {n2+1:n≤x}\{n^2 + 1 : n \le x\} has only x\sqrt{x} elements up to xx, which is far sparser than any short interval [x,x+xθ][x, x + x^\theta] currently accessible, and classical sieve methods are blocked by the parity barrier from distinguishing primes (P1P_1) from products of two primes (P2P_2). The landmark unconditional result remains Henryk Iwaniec's 1978 theorem that n2+1n^2 + 1 is a P2P_2 almost-prime infinitely often, with #{n≤x:n2+1∈P2}≫x/log⁡x\#\{n \le x : n^2 + 1 \in P_2\} \gg x / \log x. A second line of attack bounds the largest prime factor P+(n2+1)P^+(n^2 + 1): if one could reach P+(n2+1)>n2P^+(n^2 + 1) > n^2 infinitely often, n2+1n^2 + 1 would itself be prime; Jori Merikoski (2023, arXiv:1908.08816) pushed this exponent to P+(n2+1)≥n1.279P^+(n^2 + 1) \ge n^{1.279} infinitely often (and to 1.3121.312 in subsequent work). For two-variable polynomials of density x3/4x^{3/4} or x2/3x^{2/3}, the parity barrier has been broken: Friedlander and Iwaniec (1998) proved there are infinitely many primes of the form a2+b4a^2 + b^4, and Heath-Brown (2001) proved the same for a3+2b3a^3 + 2b^3.

Best known results

  • There are infinitely many positive integers nn such that n2+1n^2 + 1 has at most two prime factors, with #{n≤x:n2+1∈P2}≫x/log⁡x\#\{n \le x : n^2 + 1 \in P_2\} \gg x / \log x (Iwaniec, 1978).
  • The largest prime factor P+(n2+1)P^+(n^2 + 1) exceeds n1.279n^{1.279} infinitely often (Merikoski, 2023, arXiv:1908.08816), subsequently pushed to n1.312n^{1.312}.
  • For thin two-variable polynomials, there are infinitely many primes of the form a2+b4a^2 + b^4 (Friedlander–Iwaniec, 1998) and a3+2b3a^3 + 2b^3 (Heath-Brown, 2001).

Tools and where they stop

ToolAchievedWhere it stops
Linear sieve with bilinear error term (Iwaniec)Exploits equidistribution of roots of ν2+1≡0(modd)\nu^2 + 1 \equiv 0 \pmod{d} via Kloosterman sums to extend the level of distribution of {n2+1}\{n^2 + 1\} past x1/2x^{1/2} to x9/17x^{9/17}, proving n2+1∈P2n^2 + 1 \in P_2 infinitely often.Blocked by the parity barrier of sieve theory: without Type II bilinear information on products ab=n2+1ab = n^2 + 1 with both factors comparable in size, the sieve cannot separate P1P_1 primes from P2P_2 semiprimes.
Asymptotic sieve on Gaussian integers (Friedlander–Iwaniec)Factors a2+b4=(a+ib2)(a−ib2)a^2 + b^4 = (a + ib^2)(a - ib^2) in Z[i]\mathbb{Z}[i] and uses the extra variable bb to obtain Type II cancellation via Jacobi–Kubota symbols, proving infinitely many primes of the form a2+b4a^2 + b^4.Requires averaging over the second variable bb; setting b=1b = 1 (which gives a2+1a^2 + 1) removes the extra summation that produces the Type II bilinear cancellation.

Open questions

  • Can one prove there are infinitely many primes of the form a2+b6a^2 + b^6, or more generally a2+b2ka^2 + b^{2k} for k≥3k \ge 3, pushing the Friedlander–Iwaniec method closer to the thinness of n2+1n^2 + 1?
  • Can the largest-prime-factor exponent for n2+1n^2 + 1 be pushed above 3/23/2, or eventually all the way to 22 (which would settle Landau's fourth problem)?

References

  1. Godfrey H. Hardy, John E. Littlewood (1923). Some problems of 'Partitio numerorum'; III: On the expression of a number as a sum of primes · DOI:10.1007/bf02403921
  2. Henryk Iwaniec (1978). Almost-primes represented by quadratic polynomials · DOI:10.1007/bf01578070
  3. John Friedlander, Henryk Iwaniec (1998). The polynomial X2+Y4X^2 + Y^4 captures its primes · arXiv:math/9811185
  4. Jori Merikoski (2023). On the largest prime factor of n2+1n^2 + 1 · arXiv:1908.08816