カタラン予想

カタラン予想（ -よそう、英: Catalan's conjecture）とは、1844年にベルギー人の数学者・ウジェーヌ・シャルル・カタラン（英語版）が提示した予想である。2002年にプレダ・ミハイレスクによりその完全な証明が行われた。2005年に、自身で証明を簡素化した。 次の不定方程式について、 xa − yb = 1 x, a, y, b > 1 上記を満たす自然数解の組み合わせは x = 3, a = 2, y = 2, b = 3 だけであるというものである。 この問題の歴史は、少なくともゲルソニデスにまでさかのぼる。ゲルソニデスは1343年に、この予想の特殊なケースとして (x, y) が (2, 3) または (3, 2) の場合を証明した。1850年にヴィクトル・アメデ・レベスグが b =2 の場合を扱ったのが、カタランが予想を立ててから最初の重要な進歩であった。 1976年、 ロバート・タイデマン（英語版）は超越数論のベイカーの方法を適用して a, b の境界を定め、 x, y を a, b で制限する既存の結果を用いて、 x, y, a, b の有効な上限を与えた。ミシェル・ランゲビンはこの上限を exp ⁡ exp ⁡ exp ⁡ exp ⁡ 730 ≈ 10 10 10 10 317 {\displaystyle \exp \exp \exp \exp 730\approx 10^{10^{10^{10^{317}}}}} と計算した。これにより、有限の数の場合を除いてカタラン予想が解決された。それにもかかわらず、定理を証明するために必要な有限の計算は、時間がかかりすぎるものであった。 カタラン予想は、2002年4月にプレダ・ミハイレスクによって証明され、2004年の Journal für die reine und angewandte Mathematik に掲載された。この証明は円分体とガロワ加群の理論を多用している。証明の解説は、セミネール・ブルバキのユーリ・ビルが行っている。2005年、ミハレスクは簡略化された証明を公開した。 すべての自然数 n に対して、差が n となる累乗数のペアは有限にしか存在しないと考えられている。以下のリストで、 n ≤ 64 に対する1018未満の累乗数について全ての解を示す（A076427）。最小解（ > 0）はA103953 を参照せよ。 ピライの予想（英: Pillai's conjecture）は、累乗数（オンライン整数列大辞典の数列 A001597）の一般的な違いに関するものである。これは、スバッヤ・ピライ（英語版）が最初に提示した未解決問題であり、累乗数の列の差は無限大になる傾向があるという予想である。この予想は、各正の整数が累乗数の差として有限回しか現れないと言い換えられる。より一般に、1931年に、ピライは、固定された正の整数 A, B, C に対して、方程式 A x n − B y m = C {\displaystyle Ax^{n}-By^{m}=C} は有限の数の解 (x, y, m, n) しか持たないことを予想した。ただし、解は (m, n) ≠ (2, 2) とする。ピライは、1未満の λ について、差 | A x n − B y m | ≫ x λ n {\displaystyle |Ax^{n}-By^{m}|\gg x^{\lambda n}} は m と n で均一になることを証明した。 この一般化された予想はABC予想から導かれると考えられている。 ポール・エルデシュは、いくつかの正の定数 c とすべての十分に大きな n に対して、累乗数の昇順列 ( a n ) n ∈ N {\displaystyle (a_{n})_{n\in \mathbb {N} }} が a n + 1 − a n > n c {\displaystyle a_{n+1}-a_{n}>n^{c}} を満たすと予想した[要出典]。 Ivars Peterson's MathTrek Weisstein, Eric W. "Catalan's conjecture". mathworld.wolfram.com (英語). On difference of perfect powers Jeanine Daems: A Cyclotomic Proof of Catalan's Conjecture Bilu, Yuri (2004), “Catalan's conjecture (after Mihăilescu)”, Astérisque 294: vii, 1–26, MR2111637  Catalan, Eugene (1844), “Note extraite d'une lettre adressée à l'éditeur” (フランス語), J. Reine Angew. Math. 27: 192, doi:10.1515/crll.1844.27.192, MR1578392, https://zenodo.org/record/1448842  Section D9 in Richard K. Guy, Unsolved Problems in Number Theory, 3rd edition, Springer-Verlag, 2004. Cohen, Henri (2005). Démonstration de la conjecture de Catalan [A proof of the Catalan conjecture]. Théorie algorithmique des nombres et équations diophantiennes (フランス語). Palaiseau: Éditions de l'École Polytechnique. pp. 1–83. ISBN 2-7302-1293-0。 Metsänkylä, Tauno (2003). Catalan's conjecture: another old Diophantine problem solved, Bull. (New Ser.) Amer. Math. Soc. 41 (1), 43–57. Metsänkylä, Tauno (2004), “Catalan's conjecture: another old Diophantine problem solved”, Bulletin of the American Mathematical Society 41 (1): 43–57, doi:10.1090/S0273-0979-03-00993-5, MR2015449, https://www.ams.org/journals/bull/2004-41-01/S0273-0979-03-00993-5/S0273-0979-03-00993-5.pdf  Mihăilescu, Preda (2004), “Primary Cyclotomic Units and a Proof of Catalan's Conjecture”, J. Reine Angew. Math. 2004 (572): 167–195, doi:10.1515/crll.2004.048, MR2076124  Mihăilescu, Preda (2005), “Reflection, Bernoulli numbers and the proof of Catalan's conjecture”, European Congress of Mathematics (Zurich: Eur. Math. Soc.): 325-340, MR2185753, https://www.uni-math.gwdg.de/preda/mihailescu-papers/catber.pdf  Ribenboim, Paulo (1994), Catalan's Conjecture, Boston, MA: Academic Press, Inc., ISBN 0-12-587170-8, MR1259738  Predates Mihăilescu's proof. Tijdeman, Robert (1976), “On the equation of Catalan”, Acta Arith. 29 (2): 197–209, doi:10.4064/aa-29-2-197-209, MR0404137, https://www.impan.pl/shop/publication/transaction/download/product/100989?download.pdf  T. N. Shorey and R. Tijdeman, Exponetial Diophantine Equations, Cambridge Tracts in Mathematics, 87, Cambridge University Press, 1986.