Giả thuyết Polignac

Trong lý thuyết số, Giả thuyết Polignac được đề xuất bởi Alphonse de Polignac trong 1849 và được phát biểu như sau:^[1]

Cho bất kỳ số chẵn n, có vô số khoảng cách số nguyên tố kích thước n. Nói cách khác: có vô số cặp số nguyên tố có khoảng cách giữa chúng bằng với n.^[2]

Mặc dù giả thuyết chưa được chứng minh hay phản chứng cho một giá trị n cụ thể, nhưng trong 2013, đã có tiến bộ lớn trong quá trình chứng minh. Trong năm đó, Zhang Yitang đã chứng minh có vô số khoảng cách số nguyên tố có kích thước n cho một số n < 70,000,000.^[3][4] Trong cùng năm đó và sau Zhang, James Maynard thông báo kết quả mới chứng minh rằng có vô số khoảng cách số nguyên tố nhỏ hơn hoặc bằng với.^[5]Vào ngày 14 tháng tư năm 2014, một năm sau kết quả của Zhang, theo wiki của dự án Polymath, n đã rút gọn còn 246.^[6] Hơn nữa, nếu giả định giả thuyết Elliott–Halberstam và dạng tổng quát của nó, thì trang wiki của dự án Polymath nói rằng n sẽ rút gọn chỉ còn 12 và 6, tương ứng.^[7]

Đối với n = 2, nó là giả thuyết số nguyên tố sinh đôi. Đối với n = 4, nó là giả thuyết có vô số số nguyên tố họ hàng (p, p + 4). Đối với n = 6, nó là giả thuyết có vô số số nguyên tố sexy (p, p + 6) và không có số nguyên tố nằm giữa p và p + 6.

Giả thuyết Dickson tổng quát hóa giả thuyết Polignac cho mọi tổ hợp tuyến tính của số nguyên tố.

Phỏng đoán mật độ

Đặt ${\displaystyle \pi _{n}(x)}$ cho n chẵn là số khoảng cách số nguyên tố kích thước n và nằm dưới x.

Giả thuyết Hardy–Littlewood đầu tiên phát biểu rằng mật độ tiệm cận của nó có dạng

${\displaystyle \pi _{n}(x)\sim 2C_{n}{\frac {x}{(\ln x)^{2}}}\sim 2C_{n}\int _{2}^{x}{dt \over (\ln t)^{2}}}$

trong đó C_n là hàm của n, và ${\displaystyle \sim }$ nghĩa là thương của hai biểu thức tiến dần đến 1 khi x tiến đến vô cực.^[8]

C₂ là hằng số của số nguyên tố sinh đôi

${\displaystyle C_{2}=\prod _{p\geq 3}{\frac {p(p-2)}{(p-1)^{2}}}\approx 0.660161815846869573927812110014\dots }$

trong đó tích này tiếp tục mở rộng trên tất các số nguyên tố p ≥ 3.

C_n là tích của C₂ và một số khác dựa trên các ước nguyên tố lẻ q của n:

${\displaystyle C_{n}=C_{2}\prod _{q|n}{\frac {q-1}{q-2}}.}$

Ví dụ chẳng hạn, C₄ = C₂ và C₆ = 2C₂. Số nguyên tố sinh đôi có cùng mật độ theo phỏng đoán với số nguyên tố họ hàng, và bằng một nửa của mật độ của các số nguyên tố sexy.

Chú thích

1. de Polignac, A. (1849). “Recherches nouvelles sur les nombres premiers” [New research on prime numbers]. Comptes rendus (bằng tiếng French). 29: 397–401. From p. 400: "1^er Théorème. Tout nombre pair est égal à la différence de deux nombres premiers consécutifs d'une infinité de manières … " (1st Theorem. Every even number is equal to the difference of two consecutive prime numbers in an infinite number of ways … )
2. Tattersall, J.J. (2005), Elementary number theory in nine chapters, Cambridge University Press, ISBN 978-0-521-85014-8, p. 112
3. Zhang, Yitang (2014). “Bounded gaps between primes”. Annals of Mathematics. 179 (3): 1121–1174. doi:10.4007/annals.2014.179.3.7. MR 3171761. Zbl 1290.11128. (cần đăng ký mua)
4. Klarreich, Erica (19 tháng 5 năm 2013). “Unheralded Mathematician Bridges the Prime Gap”. Simons Science News. Truy cập ngày 21 tháng 5 năm 2013.
5. Augereau, Benjamin (15 tháng 1 năm 2014). “An old mathematical puzzle soon to be unraveled?”. Phys.org. Truy cập ngày 10 tháng 2 năm 2014.
6. “Bounded gaps between primes”. Polymath. Truy cập ngày 27 tháng 3 năm 2014.
7. “Bounded gaps between primes”. Polymath. Truy cập ngày 21 tháng 2 năm 2014.
8. Bateman, Paul T.; Diamond, Harold G. (2004), Analytic Number Theory, World Scientific, tr. 313, ISBN 981-256-080-7, Zbl 1074.11001.

Tham khảo

• Alphonse de Polignac, Recherches nouvelles sur les nombres premiers. Comptes Rendus des Séances de l'Académie des Sciences (1849)
• Weisstein, Eric W., "de Polignac's Conjecture" từ MathWorld.
• Weisstein, Eric W., "k-Tuple Conjecture" từ MathWorld.