F. Beukers,Sz. Tengely
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.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: **Develop an effective method to solve Diophantine equations satisfying the Runge condition**. Specifically, in the paper, the authors Beukers and Tengely proposed an algorithm to implement the Runge method for solving a specific type of Diophantine equation \(F(x, y) = 0\), and avoid using Puiseux series and algebraic coefficients.
### Background and Problem Description
1. **Form of Diophantine Equations**:
- Consider Diophantine equations of the form \(F(x, y) = 0\), where \(F\) is a polynomial with integer coefficients, and assume that \(F\) is irreducible over the complex field.
- The equation \(F = 0\) represents a geometrically irreducible algebraic curve \(C\) with genus \(g\) and the number of branches at infinity \(s\).
2. **Known Results**:
- According to Siegel's theorem, if \(s + 2g - 2>0\), then the integer solutions of the equation \(F(x, y) = 0\) are finite.
- Despite these theoretical results, no algorithm for actually solving the general equation \(F(x, y) = 0\) has been provided.
3. **Runge Condition**:
- The Runge condition means that the highest - degree part \(F_0\) can be factored into two non - constant and relatively prime factors \(G_0\) and \(H_0\).
- An equation satisfying the Runge condition can construct a polynomial \(P(x, y)\) such that when approaching infinity along a certain branch, \(P(x, y)\to0\).
### Main Contributions of the Paper
- **Algorithm Implementation**: By introducing the concept of Newton polygons, the authors transform Runge's idea into a specific algorithm that can be implemented on a computer.
- **Avoidance of Complex Tools**: Unlike traditional methods, this algorithm does not rely on Puiseux series or algebraic coefficients, but calculates in the field of rational numbers \(\mathbb{Q}\).
- **Practical Application**: For polynomials \(F\) whose coefficients and degrees are not particularly large, this algorithm can effectively find all integer solutions.
### Conclusion
The main objective of this paper is to provide a practical algorithm for solving Diophantine equations \(F(x, y) = 0\) satisfying the Runge condition, and demonstrate the effectiveness of this algorithm through specific examples. This method not only has theoretical breakthroughs but also has important significance in practical applications.