维基百科

兰道问题

在1912年国际数学家大会中， 爱德蒙·兰道列出了关于素数的四个基本问题。他认为这些问题“在当前的数学认识下无法解决”，后人将这些问题称之为兰道问题。这四个问题如下：

  1. 哥德巴赫猜想：是否每一个大于2的偶数都可以写成两个素数之和？
  2. 孪生素数猜想：是否存在无穷多个素数p，使得p +2也是素数？
  3. 勒让德猜想：是否在所有连续的平方数之间至少存在一个素数？
  4. 是否有无穷多个素数p，使得p −1是一个平方数？ 换句话说：是否有无穷多个形式为n2 +1的素数？ （OEIS数列A002496）
德国数学家爱德蒙·兰道的玉照。

到2020年为止，所有四个问题都未得到解决。

解答进度

编辑

哥德巴赫猜想

编辑
主条目：哥德巴赫猜想

猜想大于5的奇数都可以表示成3个质数之和的弱哥德巴赫猜想是哥德巴赫猜想的一个结果。1937年，苏联数学家伊万·维诺格拉多夫证明了每个充分大的奇数n都可以表示成3个质数之和；[1]2013年，秘鲁数学家哈洛德·贺欧夫各特推广此结果，并完全证明了弱哥德巴赫猜想。[2][3][4]

陈氏定理是哥德巴赫猜想的另一个弱化形式，这定理指称任意大的正整数n都可表示成 的形式，其中p是质数而q是质数或半质数，[note 1] Bordignon、Johnston和Starichkova三氏[5]之后对山田[6]的结果进行修正和改进，并证明了陈氏定理的明确形式：任意大于 的偶数，都可表示成一个质数和一个至多是两个质数的乘积的自然数的和。

在假定狄利克雷L函数上的广义黎曼猜想成立的状况下，Bordignon和Starichkova两氏[7]将这下界给改进至 ；另外Johnston和Starichkova两氏在将“至多是两个质数的乘积的自然数”换成“至多是369个质数的乘积的自然数”的前提下，给出了一个对任意 都成立的版本，在广义黎曼猜想成立的状况下，可将369降至33。[8]

Montgomery（英语：Hugh Montgomery (mathematician)）和Vaughan（英语：Robert Charles Vaughan (mathematician)）两氏证明了说不能表示成两个质数的和的例外偶数的自然密度为零，但目前未能证明说这集合是有限的。[9]

目前对这例外集合大小最好的结果为对充分大的x而言，有 ，由Pintz（英语：János_Pintz）得出；[10][11]而在假定黎曼猜想成立的状况下，Goldston（英语：Daniel Goldston）证明了说 。[12]

Linnik（英语：Yuri Linnik）证明了说足够大的偶数可表示成两个质数和（某个非有效的）K个2的幂的总和。[13]在做了许多改进后，Pintz（英语：János_Pintz）和Ruzsa（英语：Imre Z. Ruzsa）两氏[14]证明了说 ，且在广义黎曼猜想成立的状况下可将之改进至 。[15][note 2]

孪生质数猜想

编辑
主条目：孪生质数猜想

2013年张益唐[16]证明了说有无限多对质数，其彼此的间隙小于七千万，之后在Polymath计划（英语：Polymath Project）的合作者努力下，这数值降至246。[17]

在广义埃利奥特–哈尔伯斯坦猜想（英语：Elliott–Halberstam conjecture）成立的状况下，可借由詹姆斯·梅纳德[18]和Goldston（英语：Daniel Goldston）、Pintz（英语：János_Pintz）和Yildirim（英语：Cem Yıldırım）三氏[19]的结果，将这数值改进至6。

1966年陈景润证明了说有无限多个质数p，使得p+2是质数或半质数。这类的质数后来被人称为陈质数。

勒让德猜想

编辑
主条目：勒让德猜想

可以验证说，p的质数间隙小于 。利用最大质数间隙表，可知此猜想对至少大到 的质数成立。[20]一个接近如此大小的反例，其质数间隙至少是平均间隙的一亿倍。

在改进Heath-Brown[21]和Matomäki[22]结果的基础下，Järviniemi[23]证明了说至多只有 个例外质数，会出现在大于 的质数间隙之后；特别地，以下关系式成立：

 

从艾伯特·英厄姆（英语：Albert Ingham）对质数间隙的结果可得出，对于足够大的 而言，在完全立方数 及 之间总有一个质数。[24]

X²+1质数

编辑
主条目：X²+1素数

兰道的第四个问题问的是，若n是整数，是否有无限多个形如 的质数。（A002496列出了有如此形式的质数）这猜想可由诸如布尼亚科夫斯基猜想和Bateman–Horn猜想（英语：Bateman–Horn conjecture）等数论猜想立即推出。截至2024年 (2024-Missing required parameter 1=month!)为止，这问题依旧开放。

一个有如此形式质数的例子是费马质数；另外亨里克·伊万尼兹证明了有无限多个形如 的数，有至多两个质因数。[25][26]

Ankeny（英语：Nesmith Ankeny）[27]和Kubilius（英语：Jonas Kubilius）[28]两氏证明，在对赫克特征（英语：Hecke character）的L函数的扩展黎曼猜想成立的状况下，会有无限多形如 且 的质数。兰道的猜想问的是更强的 的情况；而目前最好的无条件结果由Harman和Lewis两氏所证明[29]，其中 。

在改进前人结果的基础下，[30][31][32][33][34]Merikoski[35]证明了说有无限多个形如 的数，其最大的质因数的大小至少为 。[note 3]将指数项改进为2即可证明兰道的猜想。

弗里兰-伊万尼兹定理（英语：Friedlander–Iwaniec theorem）指出有无限多的质数可表成 的形式。[36]

Baier和赵两氏[37]证明说有无限多形如 的质数，其中 。在广义黎曼猜想成立的状况下，a指数项的部分可改进至 ，且在特定类似埃利奥特–哈尔伯斯坦猜想（英语：Elliott–Halberstam conjecture）的猜想成立的状况下可改进至 。

利用布朗筛法可得出说形如 的质数的密度的上界：对于不大于 的数而言，至多有 形如X²+1的质数。因此几乎所有形如X²+1的数都是合成数。

参见

编辑

注解

编辑
  1. ^ 而半质数是一种作为两个质数的乘积的自然数。
  2. ^ 对此可参看János Pintz, Approximations to the Goldbach and twin prime problem and gaps between consecutive primes, Probability and Number Theory (Kanazawa, 2005), Advanced Studies in Pure Mathematics 49, pp. 323–365. Math. Soc. Japan, Tokyo, 2007.一文以得到更多相关讯息
  3. ^ Merikoski另外给出了两个猜想，分别可将指数项给改进为1.286和1.312。

参考资料

编辑
  1. ^ Vinogradow, I. M. Representation of an odd number as a sum of three primes. The Goldbach Conjecture. Series in Pure Mathematics 4. World Scientific. November 2002: 61–64. ISBN 978-981-238-159-0. doi:10.1142/9789812776600_0003 （英语）. 
  2. ^ Helfgott, H.A. Major arcs for Goldbach's theorem. 2013. arXiv:1305.2897   [math.NT]. 
  3. ^ Helfgott, H.A. Minor arcs for Goldbach's problem. 2012. arXiv:1205.5252   [math.NT]. 
  4. ^ Helfgott, H.A. The ternary Goldbach conjecture is true. 2013. arXiv:1312.7748   [math.NT]. 
  5. ^ Bordignon, Matteo; Johnston, Daniel R.; Starichkova, Valeriia. An explicit version of Chen's theorem. 2022. arXiv:2207.09452   [math.NT]. 
  6. ^ Yamada, Tomohiro. Explicit Chen's theorem. 2015-11-11. arXiv:1511.03409   [math.NT]. 
  7. ^ Bordignon, Matteo; Starichkova, Valeriia. An explicit version of Chen's theorem assuming the Generalized Riemann Hypothesis. 2022. arXiv:2211.08844   [math.NT]. 
  8. ^ Johnston, Daniel R.; Starichkova, Valeriia V. Some explicit results on the sum of a prime and an almost prime. 2022. arXiv:2208.01229   [math.NT]. 
  9. ^ Montgomery, H. L.; Vaughan, R. C. The exceptional set in Goldbach's problem (PDF). Acta Arithmetica. 1975, 27: 353–370 [2025-02-17]. doi:10.4064/aa-27-1-353-370  . （原始内容存档 (PDF)于2024-09-17）. 
  10. ^ Pintz, Janos. A new explicit formula in the additive theory of primes with applications II. The exceptional set in Goldbach's problem. 2018. arXiv:1804.09084   [math.NT]. 
  11. ^ Pintz, János. An Approximate Formula for Goldbach's Problem with Applications (PDF). mtak.hu. [2025-02-17]. （原始内容存档 (PDF)于2024-12-02）. 
  12. ^ Goldston, D.A. On Hardy and Littlewood's contribution to the Goldbach conjecture. Proceedings of the Amalfi Conference on Analytic Number Theory (Maiori, 1989). Università di Salerno: 115–155. 1992. 
  13. ^ Yu V Linnik, Prime numbers and powers of two, Trudy Matematicheskogo Instituta imeni VA Steklova 38 (1951), pp. 152-169.
  14. ^ Pintz, J.; Ruzsa, I. Z. On Linnik's approximation to Goldbach's problem. II (PDF). Acta Mathematica Hungarica. July 2020, 161 (2): 569–582 [2025-02-17]. S2CID 225457520. doi:10.1007/s10474-020-01077-8. （原始内容存档 (PDF)于2025-01-12）. 
  15. ^ Heath-Brown, D.R.; Puchta, J.-C. Integers Represented as a Sum of Primes and Powers of Two. 2002. arXiv:math/0201299  . 
  16. ^ Zhang, Yitang. Bounded gaps between primes. Annals of Mathematics. May 2014, 179 (3): 1121–1174. ISSN 0003-486X. doi:10.4007/annals.2014.179.3.7 （英语）. 
  17. ^ D.H.J. Polymath. Variants of the Selberg sieve, and bounded intervals containing many primes. Research in the Mathematical Sciences. 2014, 1 (12): 12. MR 3373710. S2CID 119699189. arXiv:1407.4897  . doi:10.1186/s40687-014-0012-7  . 
  18. ^ James, Maynard. Small gaps between primes. 2013. arXiv:1311.4600   [math.NT]. 
  19. ^ Alan Goldston, Daniel; Motohashi, Yoichi; Pintz, János; Yalçın Yıldırım, Cem. Small Gaps between Primes Exist. Proceedings of the Japan Academy, Series A. 2006, 82 (4): 61–65 [2025-02-17]. S2CID 18847478. arXiv:math/0505300  . doi:10.3792/pjaa.82.61. （原始内容存档于2009-03-27）. 
  20. ^ Nicely, Thomas R. First occurrence prime gaps. University of Lynchburg. [2024-09-11]. （原始内容存档于2019-12-11）. 
  21. ^ Heath-Brown, Roger. The Differences Between Consecutive Primes, V. International Mathematics Research Notices. October 2020, 2021 (22): 17514–17562. arXiv:1906.09555  . doi:10.1093/imrn/rnz295  . 
  22. ^ Matomaki, K. Large differences between consecutive primes. The Quarterly Journal of Mathematics. 2007, 58 (4): 489–518. ISSN 0033-5606. doi:10.1093/qmath/ham021 （英语）. .
  23. ^ Järviniemi, Olli. On large differences between consecutive primes. 2022. arXiv:2212.10965   [math.NT]. 
  24. ^ Ingham, A. E. On the difference between consecutive primes. Quarterly Journal of Mathematics. 1937, 8 (1): 255–266. Bibcode:1937QJMat...8..255I. doi:10.1093/qmath/os-8.1.255. 
  25. ^ Iwaniec, Henryk. Almost-primes represented by quadratic polynomials. Inventiones Mathematicae. 1978, 47 (2): 171–188. Bibcode:1978InMat..47..171I. ISSN 0020-9910. S2CID 122656097. doi:10.1007/BF01578070 （英语）. 
  26. ^ Lemke Oliver, Robert J. Almost-primes represented by quadratic polynomials (PDF). Acta Arithmetica. 2012, 151 (3): 241–261. ISSN 0065-1036. doi:10.4064/aa151-3-2 （英语）. [失效链接]
  27. ^ Ankeny, N. C. Representations of Primes by Quadratic Forms. American Journal of Mathematics. October 1952, 74 (4): 913–919. JSTOR 2372233. doi:10.2307/2372233. 
  28. ^ Kubilius, J.P. On a problem in the n-dimensional analytic theory of numbers. Viliniaus Valst. Univ. Mokslo dardai Chem. Moksly, Ser. 1955, 4: 5–43. 
  29. ^ Harman, G.; Lewis, P. Gaussian primes in narrow sectors. Mathematika. 2001, 48 (1–2): 119–135. S2CID 119730332. doi:10.1112/S0025579300014388. 
  30. ^ de la Bretèche, Régis; Drappeau, Sary. Niveau de répartition des polynômes quadratiques et crible majorant pour les entiers friables. Journal of the European Mathematical Society. 2020, 22 (5): 1577–1624. ISSN 1435-9855. S2CID 146808221. arXiv:1703.03197  . doi:10.4171/jems/951. 
  31. ^ Jean-Marc Deshouillers and Henryk Iwaniec, On the greatest prime factor of   （页面存档备份，存于互联网档案馆）, Annales de l'Institut Fourier 32:4 (1982), pp. 1–11.
  32. ^ Hooley, Christopher. On the greatest prime factor of a quadratic polynomial. Acta Mathematica. July 1967, 117: 281–299. doi:10.1007/BF02395047  . 
  33. ^ Todd, John. A Problem on Arc Tangent Relations. The American Mathematical Monthly. 1949, 56 (8): 517–528. JSTOR 2305526. doi:10.2307/2305526. 
  34. ^ J. Ivanov, Uber die Primteiler der Zahlen vonder Form A+x^2, Bull. Acad. Sci. St. Petersburg 3 (1895), 361–367.
  35. ^ Merikoski, Jori. Largest prime factor of  . Journal of the European Mathematical Society. 2022, 25 (4): 1253–1284. ISSN 1435-9855. arXiv:1908.08816  . doi:10.4171/jems/1216  . 
  36. ^ Friedlander, John; Iwaniec, Henryk. Using a parity-sensitive sieve to count prime values of a polynomial. Proceedings of the National Academy of Sciences. 1997, 94 (4): 1054–1058. Bibcode:1997PNAS...94.1054F. ISSN 0027-8424. PMC 19742  . PMID 11038598. doi:10.1073/pnas.94.4.1054   （英语）. .
  37. ^ Baier, Stephan; Zhao, Liangyi. Bombieri–Vinogradov type theorems for sparse sets of moduli. Acta Arithmetica. 2006, 125 (2): 187–201. Bibcode:2006AcAri.125..187B. ISSN 0065-1036. arXiv:math/0602116  . doi:10.4064/aa125-2-5 （英语）. 

外部链接

编辑
检索自“https://zh.wikipedia.org/w/index.php?title=兰道问题&oldid=86951800”