せきゅーん: 存在性が好きだから、ABC予想もいくらでも説明のしようがありそうなもんだけど、無理矢理「お助け素因数」の「存在性」として語ってみたりもした。
ところで、ABC予想の応用で私が好きなものに「非ヴィーフェリッヒ素数の無限性」がある。ヴィーフェリッヒ素数は知っているかい?
ラムネ: とでしょ?
せきゅーん: それらは確かにヴィーフェリッヒ素数だ。有名なフェルマーの小定理を思い出すと、奇素数に対して必ず合同式
が成り立つのだった。一方、
は成り立つもあれば成り立たないもある。が成り立つ奇素数をヴィーフェリッヒ素数といい、成り立たない素数を非ヴィーフェリッヒ素数という。詳しくは1093と3511について - INTEGERSなどを見て欲しい。
ヴィーフェリッヒ素数の探索については、の2つが知られているのみで、他にあるのかないのか、ヴィーフェリッヒ素数は有限個しかないのか無限個存在するのかは未解決問題だ。私のようにheuristicな議論をもとに無限個存在するだろうと信じている人もいて、やはり数値例だけでは有限性や無限性は語れないこともわかる。
これはとても難しい問題だが、実はそれよりはるかに簡単そうに聞こえる「非ヴィーフェリッヒ素数が無限に存在すること」も全く簡単ではない。
ラムネ: としかヴィーフェリッヒ素数が知られていないということは、有限範囲での数値的なデータとしては殆どが非ヴィーフェリッヒ素数なんだよね。なのに、無限性を証明することは難しいのか。
せきゅーん: そうなんだ。そして、シルヴァーマンがなんとABC予想を使って非ヴィーフェリッヒ素数の無限性を証明した。「〜素数の無限性」なんて私が最も好きな数学の主張の型といっても過言ではないぐらい好きな存在性定理であるが、ABC予想の応用のポテンシャルは「有限性定理」に対してだけではなかったんだ。
ラムネ: ほえ〜〜。すごいなABC予想。一体どうやってABC予想をこの問題に使うんだ?
せきゅーん: ほれ: 非Wieferich素数の無限性とABC予想 - INTEGERS
ラムネ: う、もう書いていたか。さすがだな。
せきゅーん: でも実はABC予想から非ヴィーフェリッヒ素数の無限性を導出する方法はシルヴァーマンとは違った方法もあるんだよ。また後日(=おまけ)聴いて欲しい。
ラムネ: 是非とも。
せきゅーん: これで疑問は解消されたかな?
ラムネ: 聞こうと思ってて今思い出した疑問が1つと、今日の話を聴いて生じた疑問が1つある。
せきゅーん: どうぞ。
ラムネ: ABC予想ってのときにに関する主張が成り立てば、に関する主張も成り立つんだよね?
せきゅーん: そうだね、 を睨むとよい。さっき、 に限定した議論をしたときの限定していい理由とも言える。
ラムネ: すると、が大きければ大きいほど証明が簡単になるかもしれない。ヨビノリさんの動画だと億のときに例外的ABCトリプルが有限個でもびっくりしないという旨のことを述べておられる。で、質問としては億に対するABC予想だったら簡単に証明できるのだろうか。
せきゅーん: うーん。証明となると難しいんじゃない?
5億って人間的には大きい数かもしれないけれど、無数のABCトリプルを相手にすると5億なんて特に大きくはない。実際、StwertとTijdemanは鳩の巣原理を使う議論をしたやつと同じ論文で、ある定数が存在して全てのABCトリプルに対して
が成り立つことを証明しているんだ。もし、億の場合が簡単に証明できるんだったら上の評価は全く無価値ということになってしまう。
ラムネ: 証明の概略だけでも教えてもらえると嬉しい。
せきゅーん: をABCトリプルとして、が成立することを示したい。今回はをの素因数として現れる素数を小さい順に並べたものとし、の素因数のうち最大のものがであるとしよう。すると、を非負整数として
と素因数分解される。このときの指数の最大値をとおこう。
すると、
なので、
と評価できる。ここで、に注意。今我々はをの式で上から押さえたい気持ちになっているが、この評価をもとにしようと考えれば、をの式で上から評価できればいいことになる。
ラムネ: ふむふむ。そのようなことは可能なのか?
せきゅーん: 進ベイカー理論を使う。超越数論におけるゲルフォント・シュナイダーの定理の一般化としてのベイカーの定理については証明をこのブログで紹介したことがある: ベイカーの定理の証明 - INTEGERS
実際はベイカーの対数一次形式の理論にはeffectivityが備わっていて、極めて強力な応用性がある。例えば、虚二次体の類数の問題に応用できる: ベイカーの定理と類数1の虚二次体の決定 - tsujimotterのノートブック
ここではWikipediaの記事の系5に注目して欲しい。これの進版として、StwertとTijdemanは次の形の定理を利用している:
を素数、を以上の整数、, とする。このとき、でない絶対値が以下であるような整数と絶対値が以下の整数に対して
または
が成り立つ。
ラムネ: なるほど、これはどうやって示すの?
せきゅーん: 先ほど「概略」と要求されたので、こちらは割愛させていただく。
さて、の中にその素因数分解において指数にを実現するものが存在する。そのようなものの1つ(のいずれか)をとしよう。となるような番号が存在するが、そのようなを1つとってとおこう。
また、ABCトリプルの関係性を適当に書き直せば
という形の関係が成り立つ(はのうちを除く残りの2つの倍)。このとき、はと互いに素なのででは割り切れないため、
の形の等式が成立する。ここで、は整数であり、の素因数分解の設定からどれも絶対値は以下である。
上述の進ベイカーの定理を、, 上記の および , , , , に対して適用しよう。すると、
とに関する評価が得られる。これを解析していこう。
ラムネ: すごい!これまでの議論でABC予想に肉薄するためには「」という構造に真剣に向き合う必要があって、唯一行った議論が確率的解釈だったわけだけど、ここでは進付値の議論が見事にマッチしている。
ちなみに、, がでないと進ベイカーの定理を応用できないけれど、これらの条件が満たされないケースは例外として処理すれば今の所望の不等式を示すにあたっては問題ないね。
せきゅーん: 以下、は絶対定数とする。番目の素数をと表す。これは既にという記号を使ってしまったからだ。とにかく、が成り立つが、ロッサーの有名な定理
を使うと、
と評価できる。についてはスターリングの公式より
と評価する。また、アーベルの総和公式によって
なので、
と評価できる。この2つを合わせると
が得られる。
なので、
を得る(は好きなだけ大きくとっていいことに注意しておく)。特に なので、例えば
と評価でき、
となる。明らかに
なので、により
にを代入することにより、
を得る。
より
とでき、すなわち とできるため、より
と所望の評価式に到達した。