[論文レビュー] On the Diophantine equation $(5pn^{2}-1)^{x}+(p(p-5)n^{2}+1)^{y}=(pn)^{z}$

Elif Kızıldere Mutlu, Gökhan Soydan|arXiv (Cornell University)|Feb 26, 2020

Advanced Mathematical Theories and Applications被引用数 2

ひとこと要約

この論文は、$p > 3$ が $p \equiv 3 \pmod{4}$ を満たし、$pn \equiv \pm1 \pmod{5}$ である素数 $p$ に対して、指数型ディオファントス方程式 $(5pn^2 - 1)^x + (p(p-5)n^2 + 1)^y = (pn)^z$ が唯一の解 $(x, y, z) = (1, 1, 2)$ をもつことを証明している。ジャコビ記号の性質と対数の線形形式に対するベイカーの方法を用いて、有効な上限を確立し、MAGMA などの計算ツールを用いて有限個のケースを検証することで、提示された条件下で解の唯一性が確認された。

ABSTRACT

Let $p$ be a prime number with $p>3$, $p\equiv 3\pmod{4}$ and let $n$ be a positive integer. In this paper, we prove that the Diophantine equation $(5pn^{2}-1)^{x}+(p(p-5)n^{2}+1)^{y}=(pn)^{z}$ has only the positive integer solution $(x,y,z)=(1,1,2)$ where $pn \equiv \pm1 \pmod 5$. As an another result, we show that the Diophantine equation $(35n^{2}-1)^{x}+(14n^{2}+1)^{y}=(7n)^{z}$ has only the positive integer solution $(x,y,z)=(1,1,2)$ where $n\equiv \pm 3% \pmod{5}$ or $5\mid n$. On the proofs, we use the properties of Jacobi symbol and Baker's method.

研究の動機と目的

• 特定の数論的制約の下で、指数型ディオファントス方程式 $(5pn^2 - 1)^x + (p(p-5)n^2 + 1)^y = (pn)^z$ のすべての正の整数解を特定すること。
• 代数的数論を用いた解の構造の分析により、Pillai型方程式に関する先行研究を拡張すること。
• 対数の線形形式および $p$-進付値の技法を用いて、解に対する有効な上界を確立すること。
• 有界なパrameter範囲内での計算的検証により、$(1,1,2)$ を超える解の非存在を確認すること。
• 特別な場合 $(35n^2 - 1)^x + (14n^2 + 1)^y = (7n)^z$ に対して、$n \equiv \pm3 \pmod{5}$ または $5 \mid n$ の下で補題を証明すること。

提案手法

• 代数的数の対数の線形形式の推定を通じて、ベイカーの方法を応用し、解 $x$, $y$, $z$ の有効な上界を導出する。
• ジャコビ記号を用いて、特に $x$ が奇数で $y$ が偶数であることを示すような、$4$ および $5$ を法とする合同条件を分析する。
• ブルゴーの結果を用いた $p$-進付値の技法を用いて、代数的整数の冪を含む式の $p$-進付値を有界化する。
• 有理近似 $\log v / \log w$ の研究に帰着させ、連分数の近似分数を用いて潜在的な解を除外する。
• 元の式を $w^t - v^y = w^2 - v$ または $w^z - v^y = w^2 - v$ の形に変形し、対数不等式を適用する。
• MAGMA を用いて、導出された上限内のすべての候補解を体系的に検証し、$(1,1,2)$ を超える解は存在しないことを確認した。

実験結果

リサーチクエスチョン

• RQ1 条件 $p > 3$, $p \equiv 3 \pmod{4}$, $pn \equiv \pm1 \pmod{5}$ の下で、方程式 $(5pn^2 - 1)^x + (p(p-5)n^2 + 1)^y = (pn)^z$ は $(1,1,2)$ を超える正の整数解をもつか？
• RQ2 これらの制約下で、$p$ および $n$ の関数として $x$, $y$, $z$ の有効な上界はどのように表されるか？
• RQ3 特別な場合 $p = 7$ において、$n \equiv \pm3 \pmod{5}$ または $5 \mid n$ の下で、解 $(1,1,2)$ が唯一の解であるか？
• RQ4 ジャコビ記号および $p$-進付値の性質が、この指数型ディオファントス方程式の可能な解をどのように制約するか？
• RQ5 連分数理論および対数の線形形式の理論を、このような方程式における誤った解の除外にどの程度まで応用できるか？

主な発見

• 条件 $p > 3$, $p \equiv 3 \pmod{4}$, $pn \equiv \pm1 \pmod{5}$ の下で、方程式 $(5pn^2 - 1)^x + (p(p-5)n^2 + 1)^y = (pn)^z$ は唯一の正の整数解 $(x, y, z) = (1, 1, 2)$ をもつ。
• 対数的推定に基づき、$n \equiv 3 \pmod{4}$ の場合に $n \leq 192$、$n \equiv 1 \pmod{4}$ の場合に $n \leq 187$ という有効な上界が確立された。
• 特別な場合 $p = 7$ において、方程式 $(35n^2 - 1)^x + (14n^2 + 1)^y = (7n)^z$ は $n \equiv \pm3 \pmod{5}$ または $5 \mid n$ の下で唯一の解 $(1,1,2)$ をもつ。
• 対数的および $p$-進の境界に基づき、$n \equiv 1 \pmod{4}$ の場合に $p < 6307$、$n \equiv 3 \pmod{4}$ の場合に $p < 12610$ が導出された。
• MAGMA を用いて、導出された上限内のすべての候補解を検証した結果、$(1,1,2)$ を超える解は存在しなかった。
• 証明は、$z/y$ が $\log v / \log w$ の収束分数でなければならないことを示し、$y < 2521 \log(pn)$ のすべての $y$ に対してこの条件が成立しないことから、それ以上の解が存在しないことを示している。