MathLabs
Định lýĐã chứng minh

Khoảng cách bị chặn giữa các số nguyên tố (Zhang, Maynard)

Phát biểu

lim inf⁡n→∞(pn+1−pn)<∞\displaystyle \liminf_{n\to\infty} (p_{n+1}-p_n) < \infty: tồn tại một chặn hữu hạn CC sao cho có vô hạn cặp số nguyên tố liên tiếp chênh nhau không quá CC. Chặn không điều kiện tốt nhất được biết, từ dự án Polymath8, là C=246C=246.

Vì sao đúng?

Dù khoảng cách trung bình giữa các số nguyên tố gần xx tăng như ln⁡x\ln x, định lý này cho thấy các khoảng cách không tăng vô hạn ở mọi nơi — vô hạn lần, hai số nguyên tố liên tiếp vẫn ở trong một khoảng cách bị chặn cố định, một dạng yếu của giả thuyết số nguyên tố sinh đôi vẫn còn mở (C=2C=2).

Phác thảo chứng minh

Zhang (2013) điều chỉnh sàng Goldston–Pintz–Yıldırım, kết hợp với một ước lượng phân bố đều mới cho số nguyên tố trong cấp số cộng với mô đun vượt quá đôi chút những gì định lý Bombieri–Vinogradov cho không điều kiện, để chứng minh C≤70,000,000C\le 70{,}000{,}000. Maynard, và độc lập Tao, sau đó đưa ra một sàng đa chiều linh hoạt hơn (tối ưu hóa đồng thời trên nhiều dạng tuyến tính), đơn giản hóa lập luận và hạ chặn xuống C≤600C\le600. Dự án hợp tác Polymath8 kết hợp và tối ưu hóa thêm các kỹ thuật này, đạt được C≤246C\le246 không điều kiện (và C≤6C\le6 nếu giả thuyết Elliott–Halberstam tổng quát đúng).

Người chứng minh

Chủ đề chứa định lý này

Định lý liên quan

Chứng minh từng bước

Chưa có chứng minh từng bước cho định lý này.

Tài liệu tham khảo

  1. Yitang Zhang (2014). Bounded gaps between primes · DOI:10.4007/annals.2014.179.3.7
  2. James Maynard (2015). Small gaps between primes · DOI:10.4007/annals.2015.181.1.7 · arXiv:1311.4600