[论文解读] An implementation of Runge's method for Diophantine equations

Frits Beukers, Sz. Tengely|ArXiv.org|Dec 17, 2005

Algebraic Geometry and Number Theory参考文献 4被引用 7

一句话总结

本文提出了一种Runge方法在满足Runge条件时求解丢番图方程 $F(x,y) = 0$ 的实用算法实现，避免使用Puiseux级数，完全在 $ackslash mathbb extigackslash{Q}$ 上进行。该方法利用加权次数、牛顿多边形和结式，有效界定并计算所有整数解，成功求解了三个非平凡例子，包括一个在 $x=2, y=3$ 处有解的例子。该方法适用于中等次数和系数大小的多项式。

ABSTRACT

In this paper we suggest an implementation of Runge's method for solving Diophantine equations satisfying Runge's condition. In this implementation we avoid the use of Puiseux series and algebraic coefficients.

研究动机与目标

• 开发一种基于Runge方法的实用、可计算机实现的算法，用于在满足Runge条件时求解丢番图方程 $F(x,y) = 0$。
• 避免依赖Puiseux级数和代数系数，转而使用截断幂级数和有理数运算。
• 提供一种有效方法，用于计算当牛顿多边形满足Runge条件时的所有整数解。
• 在具有中等次数和系数大小的非平凡例子上，展示该算法的有效性。

提出的方法

• 使用牛顿多边形的斜率定义的加权次数，分析无穷远处的行为。
• 将多项式 $F$ 的首项形式 $F_E$ 分解为两个互素因子 $G_0$ 和 $H_0$，分别对应无穷远处的不同分支。
• 通过截断级数展开的Hensel提升，构造在无穷远处特定分支上消失的多项式 $P_i(x,y)$。
• 使用 $F$ 与 $P_i \pm k$ 的结式，界定可能存在整数解的 $x$-值范围。
• 对于每个有界的 $x$-范围，直接求解 $F(x,y) = 0$ 以获得整数 $y$-解。
• 对每类分支递归应用该方法，通过有效界确保所有潜在解均被捕捉。

实验结果

研究问题

• RQ1 Runge方法能否被实现为一种实用算法，用于求解丢番图方程而不使用Puiseux级数？
• RQ2 如何系统地利用加权次数和牛顿多边形构造在无穷远处分支上消失的多项式？
• RQ3 当满足Runge条件时，整数解的有效界是什么？该界如何通过算法计算？
• RQ4 该方法能否应用于具有多个分支及首项形式非平凡分解的方程？
• RQ5 该算法对于中等次数和系数大小的多项式是否具有计算可行性？

主要发现

• 该算法成功计算出三个测试方程的所有整数解，包括一个在 $x=2, y=3$ 处有解的例子。
• 对于第一个例子，不存在整数解，该方法通过在有界 $x$-范围内进行穷举搜索确认了这一点。
• 在第二个例子中，该算法识别出四个整数解：$(-1, -4), (-1, -1), (-1, 1), (-1, 2)$。
• 对于第三个例子，该方法将 $x$-值范围限定在 $-1 \leq x \leq 36$，并找到了解 $x=2, y=3$。
• 该方法避免使用Puiseux级数，完全在 $\mathbb{Q}$ 上进行，因此适合在计算机代数系统中实现。
• 通过使用结式和截断级数，该方法在不依赖于不切实际的大理论上界的情况下，有效界定了解集。