Khoảng cách số nguyên tố

khoảng cách số nguyên tố cho các số nguyên tố lên tới 1.6 tỷ. Các cực đại đều là bội của 6.]]
Khoảng cách số nguyên tố là khoảng cách giữa hai số nguyên tố liên tiếp. Khoảng cách thứ n, ký hiệu bởi g'n hay g(p'n) là khoảng cách giữa số nguyên tố thứ (n&nbsp;+&nbsp;1) và số nguyên tố thứ n, hay nói cách khác:

:g_n = p_{n + 1} - p_n.\

Ta có g1 = 1, g2 = g3 = 2, và g4 = 4. Dãy (g'n) của khoảng cách số nguyên tố hiện vẫn đang được nghiên cứu kỹ lưỡng, song nhiều bài toán và giả thuyết vẫn còn chưa được chứng minh.

Danh sách 60 khoảng cách số nguyên tố đầu tiên:

:1, 2, 2, 4, 2, 4, 2, 4, 6, 2, 6, 4, 2, 4, 6, 6, 2, 6, 4, 2, 6, 4, 6, 8, 4, 2, 4, 2, 4, 14, 4, 6, 2, 10, 2, 6, 6, 4, 6, 6, 2, 10, 2, 4, 2, 12, 12, 4, 2, 4, 6, 2, 10, 6, 6, 6, 2, 6, 4, 2, ... .

Theo định nghĩa của g'n, mọi số nguyên tố đều có thể viết thành

:p_{n+1} = 2 + \sum_{i=1}^n g_i.

Quan sát đầu tiên
Khoảng cách số nguyên tố nhỏ nhất và duy nhất là số lẻ là khoảng cách 1 giữa 2, số nguyên tố chẵn duy nhất, và 3, số nguyên tố lẻ đầu tiên. Mọi khoảng cách số nguyên tố khác đều là số chẵn. Chỉ có duy nhất một cặp hai khoảng cách số nguyên tố liên tục bằng 2: khoảng cách g2 và g3 giữa ba số nguyên tố 3, 5, và 7.

Vói bất kỳ số nguyên n, giá trị giai thừa n! là tích của tất cả các số nguyên dương từ 1 tới n. Sau đó, xét dãy

: n!+2, n!+3,\ldots,n!+n

Dễ nhận thấy phần tử đầu tiên chia hết cho 2, phần tử thứ hai chia hết cho 3, và tiếp tục như vậy. Do đó, đây là dãy hợp số liên tiếp, và nó phải thuộc khoảng cách giữa hai số nguyên tố có độ dài ít nhất n. Điều này có nghĩa khoảng cách số nguyên tố có thể lớn tùy ý, hay nói dưới công thức: với bất kỳ số nguyên N, tồn tại số nguyên m sao cho .

Tuy nhiên, khoảng cách số nguyên tố với độ dài n có thể xảy ra ở các số nhỏ hơn n!. Lấy ví dụ chẳng hạn, khoảng cách số nguyên tố đầu tiên có độ dài lớn hơn 14 nằm giữa 523 và 541, trong khi 15! là số cực kỳ lớn, 1307674368000.

Các kết quả số học
Thường thì tỷ lệ của g'n&8239;∕ln(p'n) được gọi là merit của khoảng cách g'n&nbsp;. , khoảng cách số nguyên tố lớn nhất với đuôi là số có thể nguyên tố có độ dài 6966714, bao gồm 208296 chữ số của số có thể nguyên tố và merit M&nbsp;=&nbsp;14.5395, được phát hiện bởi Michiel Jansen dùng phần mềm sàng phát triển bởi J. K. Andersen. Trong khi đó, khoảng cách số nguyên tố lớn nhất với đuôi là số nguyên tố đã được chứng minh có độ dài bằng 1113106 và merit = 25.90, với 18662 chữ số trong số nguyên tố, phát hiện bởi P. Cami, M. Jansen và J. K. Andersen.

, giá trị merit lớn nhất và đầu tiên lớn hơn 40, phát hiện bởi mạng Gapcoin, là 41.93878373 với số nguyên tố 87 chữ số: 293703234068022590158723766104419463425709075574811762098588798217895728858676728143227. Khoảng cách số nguyên tố của số này với số nguyên tố ngay sau đó là 8350.

Tỷ lệ Cramér–Shanks–Granville được tính bằng tỷ lệ g'n / (ln(p'n))2. Các khoảng cách tối đại khác được ghi trong , còn các số nguyên tố tương ứng p'n nằm trong , và các giá trị n nằm trong . Dãy các khoảng cách tối đại cho tới số nguyên tố thứ n được giả thuyết có khoảng 2\ln n phần tử (xem bảng dưới).

|

|

|}

Các kết quả khác

Cận trên
Theo định đề Bertrand được chứng minh vào năm 1852, luôn có số nguyên tố nằm giữa k và 2k, tức là p'n&hairsp;+1&nbsp;n, đồng thời nghĩa là g'n&nbsp;n&hairsp;.

Định lý số nguyên tố được chứng minh trong 1896, phát biểu rằng độ dài trung bình của khoảng cách giữa số nguyên tố p và số nguyên tố tiếp theo sẽ tiến dần theo tiệm cận tới ln(p) (lôgarit tự nhiên của số p) cho số nguyên tố p đủ lớn. Độ dài thực tế của khoảng cách có thể lớn hơn hoặc nhỏ hơn giá trị này. Song, ta vẫn có thể suy ra từ định lý số nguyên tố cận trên của độ dài khoảng cách số nguyên tố.

Cho mọi \epsilon > 0, tồn tại số tự nhiên N sao cho với mọi n > N
:g_n .

Ta có thể suy ra khoảng cách số nguyên tố sẽ nhỏ dần đi tuỳ ý tương xứng với các số nguyên tố: tức là thương
:\lim_{n\to\infty}\frac{g_n}{p_n}=0.

Hoheisel (1930) là người đầu tiên tìm ra rằng tồn tại hằng số θ \pi(x + x^\theta) - \pi(x) \sim \frac{x^\theta}{\log(x)} \text{ khi } x \to \infty,

do đó chứng minh được rằng

:g_n

cho n đủ lớn.

Hoheisel thu về được kết quả khả thi 32999/33000 cho θ. Sau được cải tiến thành 249/250 bởi Heilbronn, và thành θ = 3/4 + ε, cho bất kỳ ε > 0, bởi Chudakov.

Một cải tiến lớn được đưa bởi Ingham, người chứng minh rằng cho một số hằng số dương c,

:Nếu \zeta(1/2 + it) = O(t^c) thì \pi(x + x^\theta) - \pi(x) \sim \frac{x^\theta}{\log(x)} cho bất kỳ \theta > (1 + 4c)/(2 + 4c).

Ở đây, O là ký hiệu O lớn, ζ ký hiệu hàm zeta Riemann và π là hàm đếm số nguyên tố. Bởi vì có thể chấp nhận bất kỳ c > 1/6, ta sẽ thu được θ là một số nào đó lớn hơn 5/8.

Một hệ quả trực tiếp từ kết quả của Ingham là sẽ luôn có số nguyên tố nằm giữa n3 và (n&nbsp;+&thinsp;1)3, nếu n đủ lớn. Phỏng đoán Lindelöf sẽ suy ra công thức của Ingham thoả mãn với mọi c dương: song thế này chưa đủ để chứng minh luôn có số nguyên tố nằm giữa n2 và (n&nbsp;+&thinsp;1)2 cho n đủ lớn (xem giả thuyết Legendre). Để kiểm chứng điều này, ta cần một kết quả mạnh hơn như giả thuyết Cramér chẳng hạn.

Huxley trong 1972 đã chứng minh ta có thể chọn θ = 7/12 = 0.58(3).

Một kết quả khác từ Baker, Harman và Pintz trong 2001, đã chứng minh θ có thể là 0.525.

Trong 2005, Daniel Goldston, János Pintz và Cem Yıldırım đã chứng minh rằng
:\liminf_{n\to\infty}\frac{g_n}{\log p_n} = 0

và sau 2 năm cải thiện nó thành to
:\liminf_{n\to\infty}\frac{g_n}{\sqrt{\log p_n}(\log\log p_n)^2}

Trong 2013, Yitang Zhang đã chứng minh rằng
:\liminf_{n\to\infty} g_n

nghĩa là có vô số khoảng cách có độ dài không quá 70 triệu. Đến ngày 20 tháng 7 năm 2013, dự án Polymath đã nỗ lực hợp tác và tối ưu hoá rút cận trên của Zhang về 4680. Trong tháng 11 năm 2013, James Maynard giới thiệu phương pháp mịn hoá mới cho sàng GPY, cho phép ông rút gọn cận trên về 600 và chứng minh rằng cho bất kỳ m, tồn tại khoảng bị chặn có vô hạn số tịnh tiến mà mỗi cái trong đó có m số nguyên tố. Sử dụng các ý tưởng của Maynard, dự án Polymath đã cải tiến cận trên về 246; và nếu giả định giả thuyết Elliott–Halberstam hoặc dạng tổng quát của nó đúng, thì cận trên sẽ rút gọn về 12 hoặc 6, tương ứng.

Xem thêm
Bất đẳng thức Bonse

Tham khảo