エルデシュ＝シュトラウス予想

エルデシュ＝シュトラウス予想とは、数論上の未解決問題のひとつである。予想 は、2以上の全ての整数 n}} に対し、 を満たす正の整数 x}}、y}}、z}} が存在するというものである。 すなわち、4///n//}} という数が3つの単位分数の和として表せるかどうかということである。

エルデシュ＝シュトラウス予想という名称は1948年にこの予想を提唱したポール・エルデシュとエルンスト・G・シュトラウスに由来するが、その内容はより古い時代の数学と関連する。予想のような単位分数の和はエジプト数学で用いられたことから、エジプト式分数として知られる。エルデシュ＝シュトラウス予想はポール・エルデシュによる予想の一覧のひとつであり、またディオファントス方程式に関する数学上の多くの未解決問題のひとつでもある。

全ての n}} に対しての解が知られているわけではないものの、ある無限等比数列の無限の多くの値には解の簡単な公式があり、これらの既知の値をスキップすることで反例の探索を高速化することが可能である。さらに、すべての合成数の反例はその素因数により小さな反例を持つはずであるから、n}} が素数の場合についてのみ議論すればよい。計算機を用いた探索により、少なくとも //n// ≤ 1017}} までは予想が成り立つことが知られている。

予想を負の単位分数まで拡張すれば成立することが知られている。また、分子が5以上となる分数に対する一般化についても研究されている。

1. 背景と歴史
--------

有理数を単位分数の和に展開したものをエジプト式分数と呼ぶ。この表記法は、分数を現代的な //a//という形式ではなく、単位分数の和で表したエジプト数学に由来する。エジプト人は、リンド数学パピルス分数表などのような、単位分数に2をかけた数に対応するエジプト式分数の表を作成していた。これらの表において、ほとんどの展開は2つか3つの項を用いていたGraham。当時のエジプト数学では分数の展開項がすべて異なることが求められており、自明な展開 2 = 1 + 1 が認められていなかったため、このような表が必要とされた。この条件はしばしばエルデシュ＝シュトラウス予想にも付け加えられるが、//n// > 2}} において、同じ単位分数が含まれるような 4 = 1 + 1 + 1 の解はすべて相異なる項をもつものに変換できることが知られており、そのような条件付けは深い意味を持たない。

エジプト人は必ずしもできるだけ少ない項数の展開を求めなかったものの、後世の数学者たちは展開に必要な最小項数に興味を持った。//a// で表される分数は高々 a}} 個の項の展開をもつから、2 は高々2個、3 は高々3個、4 は高々4個の項を持つ。2 は絶対に2個の項が必要であるが、3 は2項で表現できる場合と3項が必要な場合が存在する。しかしながら、4 の場合においては、すべての n}} に対して3項のみで展開できるのか、あるいは4項が必要な n}} が存在するのかは知られておらず、これがエルデシュ＝シュトラウス予想の内容となっている。それゆえ、予想はより一般化された問いの最初の未知な場合であるGraham。

短い展開を探す方法として、1202年にフィボナッチが『算盤の書』で発表したエジプト式分数の貪欲法が挙げられる。このアルゴリズムは各回の操作ごとに展開の和が対象の数より大きくならないような最大の単位分数を与える。各操作の後、まだ展開されていない分数の分子が小さくなるため、操作の総数は開始時の分子より大きくはなりえないがGraham、小さくなることはある。例えば、3 に対してこのアルゴリズムを適用すると、n}} が3を法として2と合同な際に2項を用いる展開を与えるが、実際には n}} の因数に3を法として2と合同なものが存在するという2項での展開が必ず存在する。4 という形式の場合、貪欲法は n}} が4を法として1と合同な際に4項の展開を与え、それ以外の場合は3項での展開を与えるEppstein。それゆえ、エルデシュ＝シュトラウス予想は 4 をエジプト式分数で表す際に、貪欲法より少ない項数で表す方法があるのかという問いに言い換えられるGraham。

エルデシュ＝シュトラウス予想はポール・エルデシュとエルンスト・G・シュトラウスによって1948年に提唱され、Erdős で発表された。オブラート・リバールドもまた、予想に関する初期の研究結果を1948年に執筆し、1950年に発表した論文内で述べている。その中で彼はシュトラウスとHarold N. Shapiroによる既存の計算結果を拡張し、//n// ≤ 105}} の場合において予想内容を検証している。

2. 定式化
------

予想は整数 //n// ≥ 2}} に対して、 を満たす正の整数 x}}、y}}、z}} が存在すると主張している。例えば、//n// =}} 5}} の場合には、という2つの解が存在する。

方程式 4 = 1 + 1 + 1 の両辺に nxyz}} をかけると、問いと同値な多項式 1=4//xyz// = //n//}} が得られる。

2.1. 相異なる単位分数
-------------

古代エジプトのそれと同じように、整数 x}}、y}}、z}} が全て異なるという条件を付け加える研究者がいる一方で、それらが等しくてもかまわないとする研究者も存在するGraham。//n// ≥ 3}} の場合、同じ単位分数が含まれるような解はすべて相異なる項をもつものに変換できることが知られており、x}}、y}}、z}} が全て異なるかどうかは問題ではない。これは、2つの等しい単位分数が以下の2つの方法のどちらかによって置き換えることが可能だからである。 この置き換えは、重複する分数がなくなるまで繰り返し実行できる。しかしながら、1=//n// = 2}} の場合、4 = 1 + 1 + 1 およびそれを並びかえたもののみが解となるGraham。

2.2. 負数解
--------

エルデシュ＝シュトラウス予想では、x}}、y}}、z}} のいずれもが正でなければならない。この条件は問題の難易度にとって不可欠なものとなっている。この条件がある場合でも、エルデシュ＝シュトラウス予想が困難なのは n}} が奇数の場合のみであり、もし負の解が認められれば、全ての奇数 n}} に対して以下の式が解となる。

3. 計算結果
-------

もし予想が偽ならば、単に3項で展開できない 4 を見つけるだけで偽であると示せる。このことを確かめるため、多くの研究者が力まかせ探索によって予想の反例を探そうと試みてきた。この類の探索によって、1017}} までの n}} において予想が成り立つことが知られているSalez。

このような探索においては、n}} が素数であるような 4 のみを対象とすれば良い。なぜならば、4 が3項解を持つ時、全ての正の整数 m}} に対して 4 も同様に解が存在するからである。4 の解を見つける時は、4 の解を以下のように m}} で割ることで求められる。

合成数 n}} に対し、もし 4 が予想の反例ならば、その任意の素因数 p}} もまた反例 4 を与える。それゆえ、合成数解を確かめることは不必要であり、探索において無視できる。その上、予想に対する既知の合同恒等式を用いることで、解を持つことが知られている値を飛ばし、探索をより効率化できる。例えば、貪欲法によって n}} が4を法として1と合同でない場合、4 は高々3項で展開できることが知られているため、4を法として1と合同な場合についてのみ検証すれば良い。この予想の解決に向けた取り組みの一つとして、より多くの合同算術上の特徴を調べ、研究者がより少ない試行でより高い限界まで探索できるようにすることが挙げられる。

4 問題の相異なる解の数も研究者によって n}} が小さい場合について調べられており、それによれば n}} が大きくなるにつれてやや不規則な増大を見せる。//n// =}} 3}} の場合から数え始めると、分母が互いに異なる解の数は

1, 1, 2, 5, 5, 6, 4, 9, 7, 15, 4, 14, 33, 22, 4, 21, 9, …}}となる。たとえ n}} がより大きい場合であっても、解の数が比較的少なくなることがある。例えば 1=//n// = 73}} の時、わずか7個の解しか存在しない。

4. 理論結果
-------

整数の変数を持つ代数方程式 1=4//xyz// = //n//}} の形において、エルデシュ＝シュトラウス予想はディオファントス方程式の一例である。局所大域原理はこれらの方程式の研究には合同算術が必要であることを示唆している。もし代数方程式が整数解をもつならば、任意の整数 q}} に対して法 q}} を取れば、法 q}} の際の解が得られる。逆に、もし方程式が全ての素数冪 q}} に対して法 q}} 上での解を持つ場合、中国の剰余定理に関連した手法を用いてそれらの合同算術解をつなぎ合わせ整数解を得られる。与えられた問題が局所大域原理によって解くことができるかどうかはマニンの障害によって制限されるが、エルデシュ＝シュトラウス予想の場合にはこの制限は存在しないBright。

それにもかかわらず、この原理はエルデシュ＝シュトラウス予想の解決にはほとんど役に立たない。すべての n}} に対し、方程式 1=4//xyz// = //n//}} は任意の素数を法として容易に解くことができるが、これらの解をつなぎ合わせ、正整数解を得るのは不可能だと考えられている。しかしながら、合同算術およびそれを基にした恒等式はこの予想の研究において極めて重要な道具であることが示されているElsholtz。

4.1. 合同恒等式
----------

特定の合同関係を満たす n}} の値に対し、4 の展開は多項恒等式の例として即座に見つけられる。例えば、n}} が3を法として2と合同な際、4 は と展開できる。この時、3つの分母 n}}、 / 3}}、//n//  / 3}} はそれぞれ n}} の多項式であり、n}} が3を法として2と合同な限り整数となる。エジプト式分数の貪欲法によって n}} が24を法として1または17と合同な場合以外において常に3項以下の展開が得られ、また24を法として17と合同な場合においては3を法として2と合同な際の関係で補完できるため、これら2つの方法で3項以下の展開を得られない n}} は、24を法として1と合同となるような値のみであるIonascu。

Mordell によって列記された合同恒等式は、n}} が以下の条件のうちいずれかを満たす場合の3項でのエジプト式分数による 4 の展開を与える。

2 mod 3 
3 mod 4
2 または 3 mod 5
3, 5, あるいは 6 mod 7
5 mod 8モーデルの恒等式を組み合わせることで、1, 121, 169, 289, 361, 529 mod 840 の場合以外のすべての n}} について 4 が展開可能である。この恒等式の対象外となる最小の素数は1009である。より大きな類の合同恒等式を組み合わせることで、Webbらは予想の反例候補の自然密度が0であると示した。変数 N}} が無限大に向かうと、区間 1, //N//}} における反例候補の割合が極限において 0 に収束する傾向にある。

4.2. 恒等式の不在
-----------

もし、上記のような解が十分異なる剰余について見つけられ、合同性の完全な被覆系を形成できれば、問題は解決される。しかし、Mordell が示したように、r}} mod p}} に合同な n}} の値に対して解を与える恒等多項式は、r}} が p}} のsquare moduloに合同でないときだけ存在しうる。例えば、2は3の平方でない剰余であるから、モーデルの結果によれば2 mod 3と合同な n}} に対して恒等式が存在しうる。しかしながら、1は3の平方剰余であるから、1 mod 3と合同な「すべての」n}} に対して類似する恒等式は存在しえない。より一般的に、1が //n// > 1}} となるすべての n}} に対して平方剰余となる以上、1が常に含まれないため合同恒等式の完全な被覆系は存在しえないMordell。

モーデルの結果がこの問題に対する合同恒等式の形式を限定しているにもかかわらず、依然として合同恒等式を用いたエルデシュ＝シュトラウス予想解決の可能性が残されている。素数は立体数ではないため、ハッセ・ミンコフスキーの定理より、p}} が素数ならば、p}} が q}} の平方剰余とならないような、より大きな素数 q}} が存在する。証明を解決するための可能性あるアプローチのひとつとして、任意の素数 p}} に対してより大きな素数 q}} を探し、p}} と q}} に関して合同な、4 問題の解となる n}} を見つけるというものがある。もしそのような例が見つかれば、全ての素数 p}} は予想の反例とならなくなり、したがって予想が正しいことになるIonascu。

4.3. 解の個数
---------

4 問題に対する解の個数の平均は上界 で対数多項関数であると Elsholtz によって示されている。他のディオファントス方程式に関する問題のうちいくつかに関して、解の存在は解の個数に関する漸近下界 によって示すことができるが、これは少なくとも解の個数が最低でも多項的増大を見せる時にうまく機能するもので、エルショルツとタオの結果からこの形の証明が成り立つ可能性は低いことがわかる。エルショルツとタオは解を x}}、y}}、z}} のうち1つか2つが n}} によって割り切れるかどうかによって分類している。n}} が素数の場合は、これらが唯一の可能性だが、n}} が合成数の場合は他の形をとる。彼らの証明はボンビエリ＝ヴィノグラドフの定理、ブルン＝ティッチマーシュの定理、および合同恒等式の仕組みを用いている。例えば //a// =}} //b// =}} 1}} とおくと、n}} が4を法として3と合同な時に有効なモーデルの恒等式の1つが得られる。

5. 一般化
------

4 型の分数と同様に、すべての 5 型分数が3つの正単位分数の和として表せられるだろうと予想されている。一般化された予想では、任意の正なる k}} に対して、有限個の例外を除いたすべての分数 //k// が3つの正単位分数の和として表せられると主張している。5 型に対する予想はヴァツワフ・シェルピニスキが1956年に論文で提唱し、その後彼の弟子であるアンジェイ・シンツェルによって完全な予想に発展した。

たとえ一般化された予想が任意の固定された値 k}} に対して偽であったとしても、1から N}} の間にある n}} に対して三項展開を持たないような //k// の数は N}} の函数として劣線形的にしか増大しない。特にエルデシュ＝シュトラウス予想が偽だったとして、その反例の個数は劣線形的にしか増大しない。より強力に、任意の定数 k}} に対して、エジプト式分数で展開する際3以上の項が必要な n}} の個数は劣線形的にすぎない。一般化された予想の内容は展開不可能な分数の個数は劣線形的だけでなく有界であることと等しい。

n}} が奇数のとき、エジプト式分数に対する奇数貪欲法からの類推で //k// = 1 + 1 + 1 の解を求められる。この方程式の解は //k// =}} 3}} の時常に存在することが知られている。

6. 脚注
-----

6.1. 注釈
-------

6.2. 出典
-------

7. 参考文献
-------

last1 = Ahmadi .
last = Bernstein .
last1 = Bright .
last = Elsholtz .
last1 = Elsholtz .
last = Eppstein . See in particular the [1] section
last = Erdős .
authorlink = :en:Richard K. Guy .
last = Hagedorn .
last1 = Hofmeister .
last1 = Ionascu .
last = Jaroma .
last = Jollensten .
last = Kiss .
last = Kotsireas .
last = Li .
last = Mordell .
last = Obláth .
last = Rosati .
last = Sander .
last = Schinzel .
last = Sierpiński . Reprinted with additional annotations in last = Sierpiński .
last1 = Suryanarayana .
last = Terzi .
last = Webb .
last = Yamamoto .
last = Yang .

8. 関連項目
-------