今回の記事は、素数がたくさん登場する多項式
に関連する話題です。今回は私がこの式について考えているうちに、思いついて実施してみた独自研究について紹介したいと思います。どこかの本に書いてある話ではないので、誤りを含んでいる可能性も大いにあるかと思います。また、十分な調査ができているわけではないので、独自性もはっきりとしていません。その点をご了承の上で読んでください。
tsujimotter.hatenablog.com
今回は論文を意識したフォーマットで書いているため、普段のブログ記事より内容が難しく、堅めの書き振りになっている点をご了承ください。また、虚2次体に関する基本的な知識を前提とします。
やはりといいますか、当然と言いますか、先行研究として類似のアイデアの研究はありました。勉強も兼ねてブログにまとめていますので、次の記事もぜひご参照ください:
tsujimotter.hatenablog.com
追記:2020.01.22
Proposition 1.の証明におきまして、 の場合を適切に考慮し忘れていたため、その点を修正しました。Proposition 2. の証明に影響はありません。
1. Introduction
1772年、EulerはBernoulliに宛てた手紙の中で、素数を生成する2次多項式について述べている。すなわち、素数 に対し、
と定義すると、素数 に対し
に整数
を代入した値がすべて素数になることを発見した。これをオイラーの素数生成多項式という。
Rabinovitch (1913)は が素数生成多項式である条件と、対応する虚2次体の類数が1である条件の間の同値性を示した。すなわち、
を任意の素数であるとき、
が
においてすべて素数になるための必要十分条件は、虚2次体
の類数が1であることである。
さらに、Baker (1966)やStark (1967)により、類数が1である虚2次体が独立に決定されており、その系として上記の条件を満たす は
のときに限られる。
ここで、任意の素数 に対し、2次多項式
を考えて
とする。 を素数生成確率と呼ぶことにする。名前の通り、
に対して
が素数になる割合を表す。
また、虚2次体 に対しその判別式を
としたとき、対応する類数を
と表すことにする。このとき、Rabinovitchの定理は次のように言い換えられる。
上記の定理は類数1と が同値という主張であるが、類数が2以上については
が成り立つ以上のことは言及されていない。先行研究においても、このような観点に基づく研究はないように思える。
そこで本研究では、計算機により虚2次体 の類数
を計算し、特に類数
以上のケースにおける
の振る舞いを観察する。
が類数
に反比例するというヒューリスティックな仮定に基づいて分析したところ、少なくとも
においては
は予想より素数になりやすいという「バイアス」が存在することを発見した。
2. Prime generationg polynomials
素数生成多項式と類数の関係について、関連する研究について述べたい。
[1] によれば、Hardy and Littlewoodは1923年の論文で、2次形式が表現する素数の分布について、次の発見的な公式を予想として与えている。
この予想を、正の整数 に対し
なる特別な場合に適用したものが、次の予想である:
によって与えられる.ここで
とする.
Shanksは1975年に なることを決定し、FungとWilliamsは1990年にさまざまな
に対して、
と
を具体的に計算している。今まで計算された
の値の中で最大のものは、2003年にJacobsonとWilliamsが発表した70桁のある整数
に対する
である。
以上の結果は、一般の なる整数
についての、
における素数の分布についてである。一方で、
の範囲を
に限定させたとき、その素数分布がどのようになっているか明らかではない。本研究ではこのような問題を扱いたい。
なお、素数生成多項式としては、Frobenius (1912)とHendy (1974)によってEulerの と異なるものが3つ得られている [1]。
を素数として
また、
を定義する。このとき、次が得られる:
ここで、 は虚2次体
の判別式である。
同様に、以下のような事実が示されている。
・ を
なる任意の素数とすると、次が成り立つ(Frobenius (1912), Hendy (1974)):
3. Experimental
代表的な素数生成多項式である と
において、対応する虚2次体の類数
と素数生成確率
について観察したい。
まず、実験前の簡単な分析として、素数生成多項式の値が素数であることと、その素数を分解した素イデアルの関係について、2つの命題を述べたい。これらの命題の証明は記事末尾で述べる。
このとき, が
を割り切る素数ならば
は
で惰性しない.
このとき,次が成立:
Proposition 1より、 の素因数
は
と素イデアル分解される。 は
の共役である。
このときProposition 2は、 が素数であることと、
が単項イデアルであることが同値であることを主張している。したがって、
に対して
が素数になる確率
は、対応する素イデアル
が単項イデアル類に属する確率と一致することになる。すなわち、素数生成確率は
の単項イデアルになりやすさを表しているといえる。
ここで、ヒューリスティックな仮定:「 がイデアル類群
の各類に入るのは同様に確からしい」を置く。すなわち
であると考えたい。
がどのイデアル類に入りやすいかということについて、特段の性質は知られていないため、このような仮定は一定程度妥当であると予想される。以下では、実際にそのようなヒューリスティックな仮定がどの程度妥当なのかを、実際に虚2次体の類数および素数生成確率を計算することで検証したい。
4. Results & Discussion
なる素数
に対して、
が平方因子を持たない場合について、虚2次体
の類数
と対応する
を計算する。その結果を散布図にまとめたものがFig. 1である。横軸は
、縦軸は
であり、青色の点が実際の実験結果、オレンジ色の点が
を表している:
![f:id:tsujimotter:20210119192542p:plain:w600](https://cdn-ak.f.st-hatena.com/images/fotolife/t/tsujimotter/20210119/20210119192542.png)
Fig 1. Relation between prime density of
のケースにおいては、図からみて分かるように、
を
が大きく上回る傾向があるということがわかる。すなわち、
の最小の素因数
を分解して得られる素イデアル
は、当初予想していた以上に単項イデアルに入りやすい傾向があるということである。
実際、 となったのは、
においては
のケースのみであって、残りはすべて
となっている。
また、同様に なる素数
に対して、虚2次体
の類数
と対応する
を計算する。その結果を散布図にまとめたものがFig. 2である(横軸は
、縦軸は
):
![f:id:tsujimotter:20210119192603p:plain:w600](https://cdn-ak.f.st-hatena.com/images/fotolife/t/tsujimotter/20210119/20210119192603.png)
Fig 2. Relation between prime density of
Fig 2.のケースにおいても、同様の傾向が見られる。すなわち、 となったのは、
においては
のケースのみであることがわかった。残りはすべて
である。
今回の結果およびProposition 2を合わせて考えると、 の範囲で
を割る最小の素因数
は、虚2次体
で分解されたときに単項イデアルになりやすいということである。これは各イデアル類に入る確率が同様に確からしいという予想に反しており、非自明な事実であると考えられる。
ここで議論が必要なのは、単項イデアルは特別入りやすいのか否かという点である。実際、分解された素イデアル の分布が偏っており、多く入る類とそうでない類が存在し、結果として相対的に単項イデアルに入る確率が上がっているという可能性も考えられる。
これについても、実際、分解された素イデアル がどの類に入るのかを調べる実験を行った。
における結果を次に示す:
-7, [1] -11, [2] -19, [4] -43, [10] -51, [4, 8] -67, [16] -91, [10, 12] -115, [13, 15] -123, [14, 16] -163, [40] -187, [26, 20] -211, [19, 33/2, 33/2] -235, [34, 24] -267, [36, 30] -283, [28, 21, 21] -291, [18, 27/2, 27, 27/2] -331, [34, 24, 24] -355, [27, 19, 23, 19] -403, [68, 32] -411, [16, 17, 15/2, 37, 15/2, 17] -427, [71, 35] -435, [30, 42, 14, 22] -451, [23, 29/2, 49/2, 11, 49/2, 29/2] -523, [37, 20, 53/2, 53/2, 20] -547, [67, 69/2, 69/2] -555, [44, 53, 15, 26] -595, [54, 40, 25, 29] -627, [54, 21, 21, 60] -651, [26, 8, 47/2, 15/2, 10, 56, 47/2, 15/2] -667, [65, 71/2, 30, 71/2] -691, [50, 41, 20, 20, 41] -715, [70, 29, 30, 49] -723, [68, 23, 66, 23] -763, [79, 71/2, 40, 71/2] -771, [43, 61/2, 21/2, 67, 21/2, 61/2] -787, [60, 57/2, 79/2, 79/2, 57/2] -795, [70, 75, 19, 34] -843, [52, 15, 51/2, 77, 51/2, 15] -907, [132, 47, 47] -915, [38, 80, 43/2, 25/2, 8, 34, 43/2, 25/2] -955, [100, 81/2, 57, 81/2] -1003, [111, 95/2, 44, 95/2] -1027, [114, 109/2, 33, 109/2] -1051, [84, 51/2, 127/2, 127/2, 51/2] -1123, [105, 34, 107/2, 107/2, 34] -1131, [49, 16, 85/2, 23/2, 11, 98, 85/2, 23/2] -1171, [67, 68, 41/2, 24, 24, 41/2, 68]
1列目が を表し、2列目で
の
個の
に対し、その最小の素因数
を割り切る素イデアル
が、
個のイデアル類に属する回数を表している。
個のうち一番左のデータが単項イデアル類に入った回数である。
1つの に対し、素イデアルは
と分解されるが、
が同じイデアル類に入る場合と、異なるイデアル類に入る場合がある。後者の場合、
を選ぶか
を選ぶかはまったく任意であるため、恣意的な偏りを作ることができてしまう。そこで、上の結果では、
が入った類に対して、それぞれ
を加算するようにしている。この場合、
が同じイデアル類に属する場合は、
となる。
結果を見ると、最初の10数個はほとんど偏りがないように見えるが、それ以降の については分布は確かに偏っているように見える。しかしながら、これはあくまで主観的な判断であり、この偏りを説明するための分析手法が必要である。
5. Conclusion
本研究では、オイラーの素数生成多項式 が
の範囲で素数を生成する確率について、虚2次体
の類数
に関連づけて分析を行った。
ヒューリスティックな議論により、素数生成確率 はおよそ類数
の逆数に一致すると予想されたが、実際の
は
より高い傾向にあることがわかった。特に、
の範囲においては、
となるのは
の場合のみであった。このような
が素数を生成しやすいという「バイアス」は従来の研究では知られていないと思われる。
のみならず、
においても同様の傾向は見られており、同様の素数生成多項式についてもこのようなバイアスの存在は示唆される。
本研究においては、このようなバイアスが存在するためのメカニズムを明らかにするには至らなかったが、今後の課題としたい。発見された例外ケース( なる
)は小さいものに限られていたため、有限個の
を除いて
が言えるどうかについても気になるところである。また、
を割り切る素イデアル
が属するイデアル類に偏りがあるかどうかも今後調査が必要である。今回の評価は例外ケースを除いて下からの評価を与えているように思えるが、上からの評価を与えることはできるかどうかも考えたい。
References
[1] P. Ribenboim著, 吾郷孝視 訳編, "素数の世界 その探索と発見(第2版)", 共立出版株式会社 (2001).
上記には載せていませんが "partial prime dense" というキーワードの研究があるそうで、本研究に関連しそうですが、著者の調査不足によりまだ把握できておりません。
Acknowledgements
nishimura(@icqk3)さんには、Proposition 2'.の (Proposition 2. の
の対偶)証明のアイデアをいただきました。また、2020年5月30日開催のロマンティック数学ナイト@オンラインにおいて、聴講者の方(@simizut22 さん)から質問をいただき、この質問が本研究の着想のきっかけとなりました。
素数と2次体の整数論の勉強会(#ゆるにじたい)メンバーの皆様にも感謝申し上げます。皆様との議論のおかげで、特にProposition 1, 2の証明について、論理立てて整理することができました。
Appendix: Proof of Proposition 1 & 2
前述したProposition 1およびProposition 2について証明する。 命題を次の通り再掲する:
このとき, が
を割り切る素数ならば
は
で惰性しない.
(Proof)
かつ
は平方因子を持たないことより、
は
の整数環である。よって、虚2次体
における、有理素数
の素イデアル分解法則を考える。
である場合と
である場合に分けて考える。
の場合:
であるため、
であるならば
は偶数である。このとき、
の判別式は
である。素イデアル分解法則より、
は
で分解する(惰性しない)。
の場合:
仮定より、 である。両辺を
倍して
であるが、移項して
である。ゆえに、 または
である。
したがって素イデアル分解法則より、 は
で惰性しない。
また、Proposition 2については、対偶をとった次の命題を示すことにする。
このとき,次が成立:
(Proof)
の証明:
仮定より、 は合成数であるから
より
以上の整数
を用いて
と表せる。 の最小性
と
の単調性および
より
である。すなわち、 が成立する。
一方、 において
を割り切る素イデアルを
とすると、Proposition 1. より
の共役
を用いて
と表せる。もし、
が単項イデアルだと仮定すると
なる有理整数 が存在する。
もし、 だとすると、
となり
が素数であることに反するので不合理。ゆえに
である。
このとき
であるから、 より
である。すなわち
が成立する。
これを 倍して
および
を用いると
が得られる。移項して
となるが、 より右辺は
以上の整数となる。ゆえに
が成立する。これを満たす は存在しない。
したがって、 が単項イデアルという仮定が誤りであった。
の証明:
Proposition 1. より は惰性しない素イデアルだから、
は原始的イデアル。よって、
とすると、
は標準基底を用いて
と表せる。ここで、 であり、整数
は
の範囲で一意的。
より
であり、一方で標準基底の置き方より
でもある。したがって、
である。
また、 がイデアルであるための必要十分条件は
であるから、 と
の一意性より
である。
したがって、 と表せることがわかった。また、
でもある。
一方で、単項イデアル は明らかに
であるが、
は単項イデアルではないという仮定より
である。
また、 より
であるが、特に
より
は
の非自明な約数である。
より、
は合成数であることが示された。
*1: が偶数になってはいけないなら、
の定義がおかしいのでは?
2020.01.21追記:
これについては、「
は双方とも偶数ではない整数とする」を「「
は双方とも偶数」ではない整数とする」とすれば問題なさそうだというご指摘をいただきました。つまり、少なくともどちらか一方は奇数である、という仮定です。確かにこれであれば
の定義とも整合的です。