Quartic Rational Diophantine Quadruples and the Euler Surface

1. Problem Statement

The paper addresses the existence of $k$-th power rational Diophantine $m$-tuples.

• Definition: A set of $m$ distinct nonzero rational numbers $\{a_1, \dots, a_m\}$ is a $k$-th power rational Diophantine $m$-tuple if for every pair $i < j$, the product $a_i a_j + 1$ is a perfect $k$-th power in $\mathbb{Q}$.
• Context:
  • For $k=2$ (classical case), the theory is well-developed: Euler proved the existence of infinitely many rational Diophantine quintuples, and sextuples are known.
  • For $k \ge 3$ (higher powers), the situation is sparse. While infinite families of triples exist for any $k$, and infinite families of cubic ($k=3$) quadruples were recently found by Batta, Szikszai, and Tengely, no examples of quartic ($k=4$) rational Diophantine quadruples were known prior to this work.
• Goal: To prove the existence of infinitely many quartic rational Diophantine quadruples and generalize the construction to arbitrary exponents $k \ge 2$.

2. Methodology

The authors employ a combination of computational experimentation and algebraic geometry to derive their results.

A. Computational Search

• The authors conducted a brute-force search for "almost quadruples" (triples that could potentially be extended) with a height bound $B = 100,000$.
• They examined over 219 million pairs $(a, b)$ where $ab+1$ is a fourth power.
• Key Observation: The search yielded several "almost quadruples" where the parameters satisfied a specific structural relation: $v=0$ (where $bd+1=v^4$) and $ru = tw$ (where $r, s, t, u, v, w$ are the fourth roots of the pairwise products plus one).
• This observation suggested restricting the problem to a specific locus where these relations hold, simplifying the system of equations.

B. Algebraic Reduction to the Euler Surface

By imposing the conditions $v=0$ and $ru=tw$, the complex system of Diophantine equations reduces to a single geometric condition.

• Let $r = \kappa w$ and $t = \kappa u$. The compatibility conditions collapse to the equation:
  $$u^4 + w^4 = 1 + \frac{1}{\kappa^4}$$
• Homogenizing this equation yields the Euler Surface ($E$):
  $$X^4 + Y^4 = Z^4 + W^4$$
• The authors establish a rational map from the rational points on $E$ to the parameter space of quartic Diophantine quadruples. Specifically, a rational point $(X:Y:Z:W)$ on $E$ generates a quadruple $\{a, b, c, d\}$ via explicit rational functions.

C. Generalization to Arbitrary Exponents

The authors extend the logic to any integer $k \ge 2$, replacing the Euler surface with the Fermat–Euler surface:
$$E_k: X^k + Y^k = Z^k + W^k$$

• Even $k$: Rational points on a suitable open subset of $E_k$ directly yield $k$-th power Diophantine quadruples.
• Odd $k$: Rational points yield such quadruples only if the ratio $W/Z$ is a square in $\mathbb{Q}$ (to satisfy the necessary square condition for the construction).

3. Key Contributions and Results

A. First Proof of Existence (Theorem 1.2)

The paper proves that infinitely many quartic rational Diophantine quadruples exist. This resolves a long-standing open problem, as no such examples were previously known in the literature.

B. Explicit Parametric Family

Using Euler's classical parametrization of the surface $X^4 + Y^4 = Z^4 + W^4$, the authors construct an explicit infinite family of such quadruples.

• By specializing Euler's parameters to $(\alpha, \beta) = (1, t)$, they derive rational functions $a(t), b(t), c(t), d(t)$ such that for almost all $t \in \mathbb{Q}$, the set $\{a(t), b(t), c(t), d(t)\}$ is a quartic Diophantine quadruple.
• This places the problem within the geometry of a classical K3 surface (the Euler surface), which has a Picard number of 20 and contains 48 lines.

C. Generalization to $k$-th Powers (Theorem 3.1)

The paper provides a unified framework for $k$-th power Diophantine quadruples:

• Even $k$: Points on $E_k$ generate solutions.
• Odd $k$: Points on $E_k$ where $W/Z$ is a square generate solutions.
• Recovery of Known Results: For $k=3$, this construction recovers the cubic family previously found by Batta, Szikszai, and Tengely, demonstrating the generality of the method.

D. Non-Degeneracy Conditions

The authors provide precise algebraic conditions (Proposition 1.3 and Theorem 3.1) under which the generated numbers are pairwise distinct and nonzero. These conditions generally require that the coordinates of the point on the surface do not vanish and do not satisfy specific equalities (e.g., $X^k \neq Y^k$).

4. Significance and Future Directions

• Resolution of a Gap: The work fills a critical gap in the theory of higher-power Diophantine tuples, moving from the known existence of triples to the existence of quadruples for $k=4$.
• Geometric Insight: It demonstrates that the arithmetic of Diophantine tuples is deeply linked to the rational points on specific algebraic surfaces (Euler and Fermat-Euler surfaces).
• Constraints for Higher $k$: The authors discuss the difficulty of extending this to $k > 4$. Since $E_k$ for $k \ge 5$ is a surface of general type, the Bombieri–Lang conjecture suggests that rational points are not Zariski dense. This implies that finding infinite families for $k > 4$ will be significantly harder and likely requires finding specific rational or elliptic curves on these surfaces.
• Computational Evidence: The paper notes that for $k=6$, no nontrivial integer solutions to $a^6+b^6=c^6+d^6$ have been found below $7.25 \times 10^{24}$, suggesting that rational points on $E_6$ may be scarce, making the existence of infinite families for $k=6$ an open and difficult challenge.

Conclusion

Andrašek, Kazalicki, and Vlah successfully prove the existence of infinitely many quartic rational Diophantine quadruples by linking the problem to the arithmetic of the Euler surface. Their method provides a constructive, parametric family of solutions and offers a general framework for $k$-th power tuples, recovering known cubic results while highlighting the increasing arithmetic rigidity of the problem as the exponent $k$ increases.