Bài toán mở, Số học và Lý thuyết số, nêu năm 1912
Số nguyên tố dạng n² + 1 (bài toán thứ tư của Landau)
Có tồn tại vô hạn số nguyên tố có dạng , trong đó là số nguyên dương hay không?
Tính đến năm 2026, bài toán thứ tư của Landau vẫn còn để ngỏ: chưa một đa thức một biến bậc nào được chứng minh là biểu diễn vô hạn số nguyên tố. Dãy chỉ có phần tử dưới mốc , thưa hơn rất nhiều so với bất kỳ khoảng ngắn nào hiện tiếp cận được, và các phương pháp sàng cổ điển bị rào cản chẵn lẻ chặn không cho phân biệt số nguyên tố () với tích của hai số nguyên tố (). Kết quả vô điều kiện mang tính cột mốc vẫn là định lý năm 1978 của Henryk Iwaniec rằng là số hầu nguyên tố vô hạn lần, với . Hướng tấn công thứ hai tìm chặn dưới cho ước nguyên tố lớn nhất : nếu chứng minh được vô hạn lần thì chính phải là số nguyên tố; Jori Merikoski (2023, arXiv:1908.08816) đã đẩy số mũ này lên vô hạn lần (và lên trong công trình tiếp theo). Với các đa thức hai biến có mật độ hoặc , rào cản chẵn lẻ đã bị phá vỡ: Friedlander và Iwaniec (1998) chứng minh có vô hạn số nguyên tố dạng , và Heath-Brown (2001) chứng minh điều tương tự cho .
Kết quả tốt nhất đã biết
- Có vô hạn số nguyên dương sao cho có tối đa hai ước nguyên tố, với (Iwaniec, 1978).
- Ước nguyên tố lớn nhất vượt quá vô hạn lần (Merikoski, 2023, arXiv:1908.08816), và sau đó được đẩy lên .
- Với các đa thức hai biến thưa, có vô hạn số nguyên tố dạng (Friedlander–Iwaniec, 1998) và dạng (Heath-Brown, 2001).
Công cụ và chỗ dừng
| Công cụ | Đạt được | Chỗ dừng |
|---|---|---|
| Sàng tuyến tính với số hạng sai số song tuyến tính (Iwaniec) | Khai thác sự phân bố đều của các nghiệm của qua tổng Kloosterman để mở rộng mức phân bố của dãy vượt qua lên , qua đó chứng minh vô hạn lần. | Bị chặn bởi rào cản chẵn lẻ của lý thuyết sàng: khi thiếu thông tin song tuyến tính Loại II trên các tích có hai thừa số cỡ tương đương nhau, sàng không thể tách số nguyên tố khỏi nửa nguyên tố . |
| Sàng tiệm cận trên vành số nguyên Gauss (Friedlander–Iwaniec) | Phân tích trong và dùng biến phụ để thu được sự triệt tiêu Loại II qua ký hiệu Jacobi–Kubota, chứng minh có vô hạn số nguyên tố dạng . | Đòi hỏi phải lấy trung bình theo biến thứ hai ; khi cố định (tức bài toán ), tổng phụ tạo ra sự triệt tiêu song tuyến tính Loại II không còn nữa. |
Câu hỏi còn mở
- Liệu có thể chứng minh có vô hạn số nguyên tố dạng , hay tổng quát hơn là với , đẩy phương pháp Friedlander–Iwaniec tiến gần hơn tới độ thưa của hay không?
- Liệu số mũ của ước nguyên tố lớn nhất của có thể được đẩy vượt mốc , hay xa hơn là tiến tới hẳn (qua đó giải quyết bài toán thứ tư của Landau)?
Tài liệu tham khảo
- 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
- Henryk Iwaniec (1978). Almost-primes represented by quadratic polynomials · DOI:10.1007/bf01578070
- John Friedlander, Henryk Iwaniec (1998). The polynomial captures its primes · arXiv:math/9811185
- Jori Merikoski (2023). On the largest prime factor of · arXiv:1908.08816