ゴールドバッハの予想

ゴールドバッハの予想(ゴールドバッハのよそう、英語:Goldbach's conjecture)とは、次のような加法整数論上の未解決問題の1つである。ゴールドバッハ予想ゴルドバッハの予想とも[1]

全ての 3 よりも大きな偶数は2つの素数の和として表すことができる[2]
4 から 28 までの偶数を 2つの素数の和としてあらわした。ゴールドバッハは全ての 2よりも大きい偶数が少なくとも一通りで 2つの素数の和として表すことができることを予想した。
偶数を二つの素数で表す方法が何通りあるか表したグラフ。

この予想は、ウェアリングの問題などと共に古くから知られている。4 × 1018 まで成立することが証明[3]されていて、一般に正しいと想定されているが、多くの努力にもかかわらず未だに証明されていない。

概要

1742年6月7日の日付のゴルドバッハからオイラーに宛てた(ラテン語とドイツ語で書かれた)手紙[4]

予想には、ほとんど同値ないくつかの述べ方があり、次のように述べることが多い:

4以上の全ての偶数は、二つの素数の和で表すことができる。
6以上の全ての偶数は、二つの奇素数の和で表すことができる。(4=2+2:偶素数同士の和)

このとき、同じ素数を2度使っても良いものとする。

例えば、20までの偶数を奇素数の和で表す場合は、

 6 = 3 + 3
 8 = 3 + 5
10 = 7 + 3 = 5 + 5
12 = 5 + 7
14 = 3 + 11 = 7 + 7
16 = 3 + 13 = 5 + 11
18 = 5 + 13 = 7 + 11
20 = 3 + 17 = 7 + 13

のように、二つの奇素数の和で表すことができている。2012年現在、4×1018までの全ての偶数について成り立つことが、コンピュータによって確かめられている。[5]

ゴールドバッハの名を冠するのは、上と同値な次のような予想を、クリスティアン・ゴールドバッハ(Christian Goldbach, 1690年 - 1764年)がレオンハルト・オイラーへの書簡(1742年)で述べたことによる[6]

5より大きな任意の自然数は、三つの素数の和で表せる。

これから上が導けるのは、偶数を三つの素数の和で表すと素数の一つは 2 になっているからである(奇数+奇数+奇数=奇数になる。和が偶数になるには、奇数+奇数+偶数か、偶数+偶数+偶数しかない)。

多くの数学者は、素数分布の確率に関する統計学的な観察から、この予想は正しいと考えている(偶数が大きければ大きいほど、二つの素数の和で表されるというのはより"ありそうな"ことなのである)。

類似の予想として、「弱いゴールドバッハ予想」というものがある。これは5より大きい奇数は三つの素数の和で表せるという予想である。4より大きい偶数が二つの奇素数の和で表せるという「強いゴールドバッハ予想」が正しいならば、弱いゴールドバッハ予想も真である。これは

ならば

であることから明らかである。ここでp1およびp2は奇素数である。

また、一般化されたリーマン予想が正しいならば、弱いゴールドバッハ予想が導かれることが知られている[7]

現在までの主な進歩

  • ノルウェーの数学者ブルンは1920年頃(いくつかの論文に分かれているため曖昧)、エラトステネスの篩を発展させた新しい篩法(sieve method)を用いて、十分大きなすべての偶数は、高々9つの素数の積であるような数の二つの和であることを証明した。
  • ハーディリトルウッドは1923年に、L関数に対する一般化されたリーマン予想(の若干弱い形を)を仮定して、全ての奇数 n ≧ n0 が3個の素数の和となるような下限 n0 が存在することを証明し、またその表現の個数の漸近公式を得た。また同様の仮定のもとにほとんどすべての偶数が二つの奇素数で表されること、すなわち例外的な数全体は零集合であることを証明。しかし偶数を二つの奇素数で表す仕方の数の漸近公式については予想するにとどまった。
  • 1930年ソビエトの数学者シュニレルマンは、2個の素数の和で表される数と0, 1からなる集合は正のシュニレルマン密度を持つことをブルンの篩を用いて初等的に示し、シュニレルマンの定理から、すべての自然数が高々 k 個の素数の和であるような、k が存在することを示した。
  • 1937年ソビエトの数学者ヴィノグラードフは三素数の問題に関して、三角和の方法を用いて、一般化されたリーマン予想を仮定することなしに、上記のような定数 n0 (現在、具体的にわかっている。(Borozdin,1939)さらに良い評価として(Liu Ming-Chit and Wang Tian-Ze,2002))の存在を証明した。(ヴィノグラードフの定理参照)
  • 1938年頃、イギリスのエスターマン、ソビエトの数学者チュダコフ、オランダの数学者ヴァン・デア・コルプトらは、それぞれ独立に、なんらの仮定もせずにほとんどすべての偶数は二つの奇素数の和であることを証明した。
  • 1947年ハンガリーの数学者レーニ大きな篩いという新しい方法を用いて、すべての自然数を、素数と高々 k 個の素数の積である数との和で表すことのできるような、k が存在することを証明した。
  • 中国の数学者陳景潤1978年までに、十分大きなすべての偶数は、素数と高々二つの素数の積であるような数との和で表されることを証明した。下界が山田智宏により与えられている。[8]
  • 1995年、フランスの数学者ラマレはすべての偶数が高々6個の素数の和として表せることを証明した。
  • 2002年ヒース=ブラウンシュラーゲ=プフタは十分大きなすべての偶数は2個の素数と13個の2の冪の和で表され、一般化されたリーマン予想が正しいならば、十分大きなすべての偶数は2個の素数と7個の2の冪の和で表されることを示した。
  • 2009年、ゴールドバッハの予想に関する分散コンピューティングプロジェクト(BOINC)でGoldbach's Conjecture Projectが開始された。

ヒューリスティックな正当化

偶数 n (4 n 1,000) を二つの素数の和に分解する方法の数, オンライン整数列大辞典の数列 A002375
偶数 n (4 n 1,000,000) を二つの素数の和に分解する方法の数

素数の確率分布に焦点を当てた統計的考察から、十分大きな整数における本予想(強い予想および弱い予想)の成立が示唆される。一般に大きな数であるほど二つ三つの数の和に分解する方法も多くなるので、そのような和の中に一つは全て素数のものがあったとしても不思議ではない。

強い予想についてのヒューリスティックかつ確率論的な議論は、大まかには次のようなものである。素数定理によれば、無作為に選択した整数 m が素数である確率は 1/ln m である。故に十分大きな偶数 n に対し m3 m n/2 を満たすとき、mn m が共に素数である確率は 1/(ln m ln(n m)) となる。このことから、十分大きな偶数 n を二つの素数の和に分解する方法の数は概ね

であると計算できる。この値は n の増大につれて無限大に発散するので、恐らく任意の巨大な偶数は二つの素数の和に分解できるどころか、そのような方法は幾通りも存在するであろうと予想できる。

この議論は実際にはやや不正確である。理由は mn m が素数であるという二つの事象に統計的独立性を仮定しているためである。例えば m が奇数ならば n m もまた奇数、m が偶数ならば n m もまた偶数となるが、2 を除く整数は奇数のときしか素数となりえないため、これは二つの事象の間の非自明な関係となる。同様に n が 3 の倍数、m が 3 でない素数のとき、n m は 3 と互いに素となる可能性があり、その分素数である確率も若干高くなる。1923年、ハーディリトルウッドはこのような解析をより注意深く行い、次のように予想した。

予想 (ハーディ・リトルウッド予想の一部)  任意の固定された c 2 に対し、十分大きな整数 nc 個の素数の和 n = p1 + + pc (p1 pc) として表現する方法の数は、次に漸近的に等しい。

ただし式中の積は素数全体 p に渡って行い、γc,p(n)合同式 n = q1 + + qc mod p (q1, ,qc 0 mod p) の解の個数を表す。

この予想は c 3 において正しいことがヴィノグラードフにより厳密に証明されているが、c = 2 の場合は未だ証明されていない。c = 2 のとき上式は、n が奇数のとき 0 、n が偶数のとき

と単純化される。ただし Π2 はハーディ・リトルウッドの双子素数定数

である。

この予想は「拡張ゴールドバッハ予想(: Extended Goldbach conjecture)」と呼ばれることもある。実際、強いゴールドバッハ予想は双子素数予想にとても良く似ており、これら二つの予想の難しさは概ね同程度であると考えられている。

記事中のゴールドバッハの分配函数をヒストグラムにすることで、上述の式をより見やすく描写することもできる。ゴールドバッハの彗星を参照。

厳密な結果

強いゴールドバッハ予想は、さらに非常に難しい。ヴィノグラードフ(Vinogradov)の方法を使い、チュダコフ(Chudakov)[9] や、ヴァン・デル・コルプト(Van der Corput)[10]エスターマン(Estermann)[11] は、ほとんど全ての偶数が 2つの素数の和として表すことができることを示した(この意味は、そのように書くことのできる偶数の確率が 1 に近づく傾向にあるという意味である)。1930年、レフ・シュニレルマン(Lev Schnirelmann)は[12][13]で、任意の 1 より大きな自然数は C 個よりも多くない素数の和として書き表すことができることを証明した。ここに C は有効に計算可能な定数である。シュニレルマン密度を参照。シュニレルマンの定数(Schnirelmann's constant)は、この性質を持つ最も小さな数であり、シュニレルマン自身は C < 800000 を得た。この結果は多くの人々により拡張されている。オリバー・ラマレ(Olivier Ramaré)は、1995年に全ての偶数 n   4 は、多くとも6つの素数の和であることを示した。ハラルド・ヘルフゴットは、2013年に弱いゴールドバッハ予想を証明したとする論文を発表した[14][15][16][17]が、これが正しいとすると、その帰結として全ての偶数 n   4 は多くとも4つの素数の和であることになる。[18]

陳景潤(Chen Jingrun)は、1973年に篩法を使い、全ての十分に大きな偶数は 2つの素数の和として書き表されるか、もしくは一つの素数と半素数(2つの素数の積)の和として書き表すことができることを示した。[19]例を上げると、100 = 23 + 7·11 チェンの定理を参照。

1975年、ヒュー・モンゴメリ(Hugh Montgomery)とロバート・チャールズ・ヴォーン(Robert Charles Vaughan)は、「ほとんど」全ての偶数は 2つの素数の和として表すことができることを示した。詳しくは、正の数 c と C が存在して、全ての十分に大きな数 N に対して、N よりも小さな数は 2つの素数の和であることを、彼らは示した。この例外は、多くとも である。特に、2つの素数の和であらわされない偶数の集合は自然密度(natural density)ゼロである。

ユーリ・リニック(Yuri Linnik)は、1951年、全ての十分に大きな偶数が 2つの素数と 2 の 高々 K 乗との和として表せるような K が存在することを証明した。ロジャー・ヒースブラウン(Roger Heath-Brown)とジャン・クリストフ・シュラージ・プクタ(Jan-Christoph Schlage-Puchta)は、2002年に、K = 13 であることを発見した。[20] これは、2003年にヤノス・ピンツ(János Pintz)とイムル・ルッツァ(Imre Z. Ruzsa)により K=8 と改善された。[21]

数学の多くの有名な予想と同じように、ゴールドバッハ予想を解いたと主張する多くの「証明」があるが、数学の学会では受け入れられていない。

類似した問題

素数を、例えば平方数のような他の特別な数の集合に置き換えると、同じような問題を考えることができる。

  • ジョゼフ=ルイ・ラグランジュ (Joseph Louis Lagrange) により、すべての正の整数は高々4つの平方数の和であることが証明されている。素数の冪の和に関しては、ウェアリングの問題や、関連するウェアリング・ゴルドバッハの問題を参照。
  • ハーディ (Hardy) とリトルウッド (Littlewood) は彼らの予想 I として「全ての大きな奇数 (n > 5) は1つの素数と1つの素数の2倍の和である」ことを載せた(Mathematics Magazine, 66.1 (1993): 45-47.)。この予想は、レモワーヌの予想(Lemoine's conjecture)(あるいは、レヴィ予想)として知られている。
  • プラクティカル数(practical number)[22]に対するゴールドバッハ予想は、1984年にマルゲンスターン(Margenstern)により提示され[23]、1996年にジュゼッペ・メルフィ(Giuseppe Melfi)により証明された。すなわち、全ての偶数は 2つのプラクティカル数の和である。
  • 「4以上の偶数は2個の幸運数の和として表せる」という問題は、未解決である。

また整数環 Z と同じく一意分解整域である多項式環 Z[x] に対して同じような問題を考えると、これは証明することができる。Hayes (1965) 参照。

脚注

  1. デジタル大辞泉 ゴールドバッハの予想”. コトバンク. 2017年12月30日閲覧。
  2. Weisstein, Eric W. "Goldbach Number". MathWorld (英語).
  3. “Goldbach conjecture verification"
  4. Correspondance mathématique et physique de quelques célèbres géomètres du XVIIIème siècle (Band 1), St.-Pétersbourg 1843, S. 125–129
  5. Tomás Oliveira e Silva, Goldbach conjecture verification
  6. Goldbach, Christian (7 June 1742), letter to Leonhard Euler (letter XLIII), http://www.math.dartmouth.edu/~euler/correspondence/letters/OO0765.pdf
  7. Deshouillers, J.-M.; Effinger, G.; te Riele, H. & Zinoviev, D. (1997), “A complete Vinogradov 3-primes theorem under the Riemann hypothesis”, Electron. Res. Announc. Amer. Math. Soc. 3: 99–104, doi:10.1090/S1079-6762-97-00031-0, http://www.ams.org/era/1997-03-15/S1079-6762-97-00031-0/S1079-6762-97-00031-0.pdf
  8. Yamada, Tomohiro (11 November 2015). "Explicit Chen's theorem". arXiv:1511.03409 [math.NT]。
  9. Chudakov, Nikolai G. (1937). “О проблеме Гольдбаха [On the Goldbach problem]”. Doklady Akademii Nauk SSSR 17: 335–338.
  10. Van der Corput, J. G. (1938). Sur l'hypothèse de Goldbach”. Proc. Akad. Wet. Amsterdam 41: 76–80.
  11. Estermann, T. (1938). “On G 1 oldbach's problem: proof that almost all even positive integers are sums of two primes”. Proc. London Math. Soc.. 2 44: 307–314. doi:10.1112/plms/s2-44.4.307.
  12. Schnirelmann, L.G. (1930). "On the additive properties of numbers", first published in "Proceedings of the Don Polytechnic Institute in Novocherkassk" (in Russian), vol XIV (1930), pp. 3-27, and reprinted in "Uspekhi Matematicheskikh Nauk" (in Russian), 1939, no. 6, 9–25.
  13. Schnirelmann, L.G. (1933). First published as "Über additive Eigenschaften von Zahlen" in "Mathematische Annalen" (in German), vol 107 (1933), 649-690, and reprinted as "On the additive properties of numbers" in "Uspekhi Matematicheskikh Nauk" (in Russian), 1940, no. 7, 7–46.
  14. Helfgott, H.A. (2013). "Major arcs for Goldbach's theorem". arXiv:1305.2897 [math.NT]。
  15. Helfgott, H.A. (2012). "Minor arcs for Goldbach's problem". arXiv:1205.5252 [math.NT]。
  16. http://www.truthiscool.com/prime-numbers-the-271-year-old-puzzle-resolved
  17. Proof that an infinite number of primes are paired - physics-math - 14 May 2013. New Scientist. Retrieved on 2014-05-11.
  18. Sinisalo, Matti K. (Oct., 1993). “Checking the Goldbach Conjecture up to 4 1011”. Mathematics of Computation 61 (204): 931–934. doi:10.2307/2153264.
  19. Chen, J. R. (1973). “On the representation of a larger even integer as the sum of a prime and the product of at most two primes”. Sci. Sinica 16: 157–176.
  20. Heath-Brown, D. R.; Puchta, J. C. (2002). “Integers represented as a sum of primes and powers of two”. Asian Journal of Mathematics 6 (3): 535–565. arXiv:math.NT/0201299.
  21. Pintz, J.; Ruzsa, I. Z. (2003). “On Linnik's approximation to Goldbach's problem, I”. Acta Arithmetica 109 (2): 169–194. doi:10.4064/aa109-2-6.
  22. ある正の数 n について、1 以上 n 未満の数のいずれもが n の異なる約数の和で表されるとき、その n をプラクティカル数という。例えば、12 の約数は、1, 2, 3, 4, 6 であり、11 以下の正の整数は、5=3+2, 7=6+1, 8=6+2, 9=6+3, 10=6+3+1, 11=6+3+2 で表されるので、12 はプラクティカル数である。プラクティカル数の列は、
    1, 2, 4, 6, 8, 12, 16, 18, 20, 24, 28, 30, 32, 36, 40, 42, 48, 54, ....
    となる。
  23. Margenstern, M. (1984). “Results and conjectures about practical numbers”. Comptes-Rendus de l'Académie des Sciences Paris 299: 895–898.

参考文献

  • 本橋洋一,解析的整数論 I -- 素数分布論 --,朝倉書店,東京 2009 (第2刷 2012:加筆含む)ISBN 978-4-254-11821-6
  • 本橋洋一,'篩法'概観,日本数学会「数学」57 (2005), 138-163.
  • 日本数学会市民講演 “素数の翼に乗って” http://mathsoc.jp/publication/tushin/1001/motohashi.pdf
  • 徐遅『ゴルドバッハの予想』外文出版社北京、1979年(日本語)。
  • 末綱恕一「ごるどばっはノ問題」『岩波講座数学 第9』第2巻、岩波書店編、岩波書店、1933-1935年。
  • アポストロス・ドキアディスペトロス伯父と「ゴールドバッハの予想」酒井武志訳、早川書房、2001年3月9日。ISBN 4-15-208336-0。 - 「ゴールドバッハの予想」の証明に一生を捧げた架空の数学者の物語。
  • Ramaré, O. "On Snirel'man's Constant." Ann. Scuola Norm. Sup. Pisa Cl. Sci. 22(1995), 645--706.
  • L. G. Schnirelmann, Über additive Eigenschaften von Zahlen, Math. Ann. 107 (1932/33), 649–-690.
  • Hayes, D. R. (1965), “A Goldbach theorem for polynomials with integral coefficients”, Amer. Math. Monthly 72: 45–46, doi:10.2307/2312999
  • Heath-Brown, D. R.; Puchta, J. C. (2002), “Integers represented as a sum of primes and powers of two”, Asian Journal of Mathematics 6 (3): 535–565, arXiv:math.NT/0201299

関連項目

外部リンク

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.