Giả thuyết Elliott–Halberstam

Trong lý thuyết số, giả thuyết Elliott–Halberstam là giả thuyết về sự phân phối của các số nguyên tố trong cấp số cộng. Nó có nhiều ứng dụng trong lý thuyết sàng. Nó được đặt tên theo nhà toán học Peter D. T. A. Elliott và Heini Halberstam, và được phát biểu bởi họ vào năm 1968.

Để phát biểu giả thuyết cần một số ký hiệu sau:  Gọi  là hàm đếm số nguyên tố nhỏ hơn hoặc bằng .  Nếu  là số nguyên dương và  nguyên tố cùng nhau với , thì ta gọi  là số các số nguyên tố nhỏ hơn hoặc bằng  và bằng với  khi modulo . Định lý Dirichlet trên các số nguyên tố trong cấp số cộng nói với chúng ta rằng

trong đó  là hàm phi Euler.  Nếu ta định nghĩa hàm sai số

trong đó giá trị max được lấy trên tất cả giá trị  nguyên tố cùng nhau với , thì giả thuyết Elliott–Halberstam khẳng định rằng với mọi  và , tồn tại hằng số  sao cho

với mọi .

Giả thuyết mới chỉ chứng minh đúng cho mọi  và được chứng minh bởi Enrico Bombieri và A. I. Vinogradov (xem định lý Bombieri–Vinogradov, đôi khi được gọi ngắn đi là "định lý Bombieri"); kết quả này khá hữu dụng bởi nó là dạng trung bình của phỏng đoán Riemann tổng quát. Hiện người ta cũng biết giả thuyết sai tại điểm .

Giả thuyết Elliott–Halberstam có một số hệ quả sau:  Một trong những hệ quả lớn nhất là kết quả của Dan Goldston, János Pintz, và Cem Yıldırım, chứng minh rằng (nếu giả sử giả thuyết này đúng) sẽ có vô số cặp số nguyên tố sai khác nhau tối đa 16. Trong tháng 11 năm 2013, James Maynard đã chứng minh rằng khi giả định giả thuyết Elliott–Halberstam, ta có thể chứng minh sự tồn tại của vô số cặp số nguyên tố sai khác nhau tối đa 12. Trong tháng 8 năm 2014, nhóm dự án Polymath chứng minh dưới giả thuyết Elliott–Halberstam tổng quát, ta có thể chứng minh có vô số cặp số nguyên tố sai khác nhau tối đa 6. Nếu không giả định bất cứ dạng nào của giả thuyết, cận nhỏ nhất thu được là 246.

Xem thêm
Định lý Barban–Davenport–Halberstam
Số nguyên tố sexy
Định lý Siegel–Walfisz

Chú thích

Lý thuyết số giải tích
Giả thuyết về số nguyên tố
Vấn đề mở trong lý thuyết số