主题
Search

孪生素数


孪生素数是 素数 形式 (p, p+2) 的对。术语“孪生素数”由 Paul Stäckel (1862-1919; Tietze 1965, p. 19) 创造。前几个孪生素数是 n+/-1 对于 n=4, 6, 12, 18, 30, 42, 60, 72, 102, 108, 138, 150, 180, 192, 198, 228, 240, 270, 282, ... (OEIS A014574)。明确地,这些是 (3, 5), (5, 7), (11, 13), (17, 19), (29, 31), (41, 43), ... (OEIS A001359A006512)。

除了 (3, 5) 之外的所有孪生素数都是 形式 6n+/-1

据推测,存在无限多个孪生素数(这是 孪生素数猜想 的一种形式),但证明这一点仍然是数论中最难以捉摸的开放问题之一。布朗定理 是关于孪生素数的重要结果,该定理指出,奇数孪生素数的倒数之和,

 B=(1/3+1/5)+(1/5+1/7)+(1/(11)+1/(13))+(1/(17)+1/(19))+...,
(1)

收敛到一个确定的数字(“布朗常数”),这表达了孪生素数的稀缺性,即使它们有无限多个 (Ribenboim 1996, p. 201)。相比之下,所有素数倒数的级数发散到无穷大,这可以从 梅尔滕斯第二定理 中得出,令 x->infty

下表给出了前几个孪生素数 (p, p, p+2)、表兄弟素数 (p, p+4)、性感素数 (p, p+6) 等的 p

OEIS第一个成员
(p, p+2)A0013593, 5, 11, 17, 29, 41, 59, 71, ...
(p, p+4)A0232003, 7, 13, 19, 37, 43, 67, 79, ...
(p, p+6)A0232015, 7, 11, 13, 17, 23, 31, 37, ...
(p, p+8)A0232023, 5, 11, 23, 29, 53, 59, 71, ...
(p, p+10)A0232033, 7, 13, 19, 31, 37, 43, 61, ...
(p, p+12)A0461335, 7, 11, 17, 19, 29, 31, 41, ...

pi_2(n) 为孪生素数 pp+2 的数量,使得 p<=n素数 (Wells 1986, p. 41; Shanks 1993) 是否有无限个这样的素数尚不清楚,但似乎几乎可以肯定是真的 (Hardy and Wright 1979, p. 5)。

J. R. Chen 已经证明存在无限多个 素数 p,使得 p+2 最多有两个因子 (Le Lionnais 1979, p. 49)。Brun 证明存在一个可计算的 整数 x_0,使得如果 x>=x_0,则

 pi_2(x)<(100x)/((lnx)^2)
(2)

(Ribenboim 1996, p. 261)。已经证明

 pi_2(x)<=cproduct_(p>2)[1-1/((p-1)^2)]x/((lnx)^2)[1+O((lnlnx)/(lnx))],
(3)

更简洁地写成

 pi_2(x)<=cPi_2x/((lnx)^2)[1+O((lnlnx)/(lnx))],
(4)

其中 Pi_2 被称为 孪生素数常数c 是另一个常数。常数 c 已被简化为 68/9 approx 7.5556 (Fouvry and Iwaniec 1983), 128/17 approx 7.5294 (Fouvry 1984), 7 (Bombieri et al. 1986), 6.9075 (Fouvry and Grupp 1986), 6.8354 (Wu 1990) 和 6.8325 (Haugland 1999)。后一个计算涉及 7 重积分的评估和三个不同参数的拟合。

Hardy 和 Littlewood (1923) 推测 c=2 (Ribenboim 1996, p. 262),并且 pi_2(x) 渐近地等于

 pi_2(x)∼2Pi_2int_2^x(dx)/((lnx)^2).
(5)

这个结果有时被称为强 孪生素数猜想,并且是 k 元组猜想 的一个特例。孪生素数猜想成立的 必要(但不是 充分)条件是 素数间隙 常数,定义为

 Delta=limsup_(n->infty)(p_(n+1)-p_n)/(p_n),
(6)

其中 p_n 是第 n 个素数,d_n=p_(n+1)-p_n素数差函数,满足 Delta=0

Wolf 指出,公式

 pi_2(x)∼2Pi_2([pi(x)]^2)/x,
(7)

(其渐近增长为 ∼Pi_2x/(lnx)^2)比 Pi_2x/(lnx)^2 更符合数值数据,但不如 Pi_2Li_2(x)

Wolf 扩展了 Brent 在 1974 年或 1975 年所做的搜索,寻找孪生素数的 Skewes 数 的类似物,即一个 x,使得 pi_2(x)-Pi_2Li_2(x) 改变符号。Wolf 检查了高达 2^(42) 的数字,发现超过 90000 个符号变化。根据这些数据,Wolf 推测 nu(n) 的符号变化数 x<npi_2(x)-Pi_2Li_2(x) 由下式给出

 nu(n)∼(sqrt(n))/(lnn).
(8)

证明这个猜想也将意味着无限多个孪生素数的存在。

截至 2016 年 9 月,已知的最大孪生素数对应于

 2996863034895·2^(1290000)+/-1,
(9)

每个都有 388342 位十进制数字,由 PrimeGrid 于 2011 年 12 月 25 日发现 (http://primes.utm.edu/top20/page.php?id=1#records)。

1995 年,Nicely 通过计算 824633702441824633702443 的倒数发现 Intel® PentiumTM 微处理器中的一个缺陷,这些倒数应该精确到小数点后 19 位,但从小数点后第十位开始就不正确了 (Cipra 1995, 1996; Nicely 1996)。

如果 n>=2,则 整数 nn+2 形成一对孪生素数 当且仅当

 4[(n-1)!+1]+n=0 (mod n(n+2)).
(10)

n=pp^' 其中 (p,p^') 是一对孪生素数 当且仅当

 phi(n)sigma(n)=(n-3)(n+1)
(11)

(Ribenboim 1996, p. 259)。S. M. Ruiz 发现了一个意想不到的结果,即 (n,n+2) 是孪生素数 当且仅当

 sum_(i=1)^ni^a(|_(n+2)/i_|+|_n/i_|)=2+n^a+sum_(i=1)^ni^a(|_(n+1)/i_|+|_(n-1)/i_|)
(12)

对于 a>=0,其中 |_x_|向下取整函数

pi_2(n) 的值由 Brent (1976) 发现,最高达 n=10^(11)。T. Nicely 在计算 布朗常数 时将它们计算到 10^(14)。Fry et al. (2001) 和 Sebah (2002) 独立获得了 pi_2(10^(16)),使用了分布式计算。下表给出了 pi_2(10^n) 的已知值 (OEIS A007508; Ribenboim 1996, p. 263; Nicely 1999; Sebah 2002)。

npi_2(n)
10^335
10^4205
10^51224
10^68169
10^758980
10^8440312
10^93424506
10^(10)27412679
10^(11)224376048
10^(12)1870585220
10^(13)15834664872
10^(14)135780321665
10^(15)1177209242304
10^(16)10304195697298

据推测,除了有限数量的例外,每个偶数都是一对孪生素数的和,这些例外的最初几项是 2、4、94、96、98、400、402、404、514、516、518、... (OEIS A007534; Wells 1986, p. 132)。


另请参阅

Bitwin 链, 布朗常数, 表兄弟素数, 狄波利尼亚克猜想, 素数算术级数, 素数星座, 素数间隙, 性感素数, 孪生合数, 孪生素数簇, 孪生素数猜想, 孪生素数常数

使用 Wolfram|Alpha 探索

参考文献

Bombieri, E.; Friedlander, J. B.; and Iwaniec, H. "Primes in Arithmetic Progression to Large Moduli." Acta Math. 156, 203-251, 1986.Bradley, C. J. "The Location of Twin Primes." Math. Gaz. 67, 292-294, 1983.Brent, R. P. "Irregularities in the Distribution of Primes and Twin Primes." Math. Comput. 29, 43-56, 1975.Brent, R. P. "UMT 4." Math. Comput. 29, 221, 1975.Brent, R. P. "Tables Concerning Irregularities in the Distribution of Primes and Twin Primes to 10^(11)." Math. Comput. 30, 379, 1976.Caldwell, C. http://primes.utm.edu/top20/page.php?id=1.Caldwell, C. K. "The Top Twenty: Twin Primes." http://www.utm.edu/research/primes/lists/top20/twin.html.Cipra, B. "How Number Theory Got the Best of the Pentium Chip." Science 267, 175, 1995.Cipra, B. "Divide and Conquer." What's Happening in the Mathematical Sciences, 1995-1996, Vol. 3. Providence, RI: Amer. Math. Soc., pp. 38-47, 1996.Fouvry, É. "Autour du théorème de Bombieri-Vinogradov." Acta Math. 152, 219-244, 1984.Fouvry, É. and Grupp, F. "On the Switching Principle in Sieve Theory." J. reine angew. Math. 370, 101-126, 1986.Fouvry, É. and Iwaniec, H. "Primes in Arithmetic Progressions." Acta Arith. 42, 197-218, 1983.Fry, P.; Nesheiwat, J.; and Szymanski, B. K. "Experiences with Distributed Computation of Twin Primes Distribution." In Progress in Computer Research, Vol. 2. (Ed. F. Columbus). Commack, NY: Nova Science Pub., pp. 187-203, 2001.Gardner, M. "Patterns in Primes are a Clue to the Strong Law of Small Numbers." Sci. Amer. 243, 18-28, Dec. 1980.Gourdon, X. and Sebah, P. "Introduction to Twin Primes and Brun's Constant Computation." http://numbers.computation.free.fr/Constants/Primes/twin.html.Guy, R. K. "Gaps between Primes. Twin Primes." §A8 in Unsolved Problems in Number Theory, 2nd ed. New York: Springer-Verlag, pp. 19-23, 1994.Hardy, G. H. and Wright, E. M. An Introduction to the Theory of Numbers, 5th ed. Oxford, England: Clarendon Press, 1979.Haugland, J. K. Application of Sieve Methods to Prime Numbers. Ph.D. thesis. Oxford, England: Oxford University, 1999.Indlekofer, K. H. and Járai, A. "Largest Known Twin Primes." Math. Comput. 65, 427-428, 1996.Indlekofer, K. H. and Járai, A. "Largest Known Twin Primes and Sophie Germain Primes." Math. Comput. 68, 1317-1324, 1999.Le Lionnais, F. Les nombres remarquables. Paris: Hermann, p. 46, 1979.Nicely, T. R. "The Pentium Bug." http://www.trnicely.net/pentbug/pentbug.html.Nicely, T. R. "Enumeration to 10^(14) of the Twin Primes and Brun's Constant." Virginia J. Sci. 46, 195-204, 1996. http://www.trnicely.net/twins/twins.html.Nicely, T. R. "New Maximal Prime Gaps and First Occurrences." Math. Comput. 68, 1311-1315, 1999.Nyman, B. and Nicely, T. R. "New Prime Gaps Between 10^(15) and 5×10^(16)." J. Int. Seq. 6, 1-6, 2003.Parady, B. K.; Smith, J. F.; and Zarantonello, S. E. "Largest Known Twin Primes." Math. Comput. 55, 381-382, 1990.Ribenboim, P. "Twin Primes." §4.3 in The New Book of Prime Number Records. New York: Springer-Verlag, pp. 259-265, 1996.Sebah, P. "Counting Twin Primes and Brun's Constant New Computation" 22 Aug 2002. http://listserv.nodak.edu/scripts/wa.exe?A2=ind0208&L=nmbrthry&P=1968.Shanks, D. Solved and Unsolved Problems in Number Theory, 4th ed. New York: Chelsea, p. 30, 1993.Sloane, N. J. A. Sequences A001359/M2476, A006512/M3763, A007508/M1855, A007534, and A014574 in "The On-Line Encyclopedia of Integer Sequences."Tietze, H. "Prime Numbers and Prime Twins." Ch. 1 in Famous Problems of Mathematics: Solved and Unsolved Mathematics Problems from Antiquity to Modern Times. New York: Graylock Press, pp. 1-20, 1965.Weintraub, S. "A Prime Gap of 864." J. Recr. Math. 25, 42-43, 1993.Wells, D. The Penguin Dictionary of Curious and Interesting Numbers. Middlesex, England: Penguin Books, p. 41, 1986.Wolf, M. "On Twin and Cousin Primes." http://www.ift.uni.wroc.pl/~mwolf/.Wolf, M. "Some Conjectures on the Gaps Between Consecutive Primes." http://www.ift.uni.wroc.pl/~mwolf/.Wu, J. "Sur la suite des nombres premiers jumeaux." Acta. Arith. 55, 365-394, 1990.

在 Wolfram|Alpha 上被引用

孪生素数

请引用为

Weisstein, Eric W. “孪生素数。”来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/TwinPrimes.html

主题分类