Quartic Rational Diophantine Quadruples and the Euler Surface

Abstract: We prove that there exist infinitely many quartic rational Diophantine quadruples, that is, sets of four pairwise distinct nonzero rational numbers whose pairwise products increased by 1 are fourth powers in Q. To the best of our knowledge, no examples of such quadruples were previously known. Our construction is motivated by computer experiments and leads naturally to the classical Euler surface E:X^4+Y^4=Z^4+W^4. We show that every rational point on a suitable Zariski-open subset of E yields a quartic rational Diophantine quadruple, thereby obtaining a rational map from the Euler surface to the parameter space of quartic quadruples. In particular, Euler's classical parametrization produces the first explicit infinite family of quartic rational Diophantine quadruples. We also explain that the same mechanism extends to arbitrary exponents k>1, with the Euler surface replaced by the Fermat--Euler surface E_k:X^k+Y^k=Z^k+W^k. For even k, every rational point on a suitable open subset of E_k gives rise to a kth power rational Diophantine quadruple, while for odd k one obtains such quadruples on the locus where W/Z is a square.

• The paper establishes the existence of infinite quartic rational Diophantine quadruple families via explicit parametrizations on the Euler surface.
• It employs extensive computer search and algebraic manipulations to derive rational maps linking Euler surface points to the quadruple elements.
• The methodology generalizes to arbitrary exponents, offering deep insights into the arithmetic of higher-degree Fermat–Euler surfaces.

Quartic Rational Diophantine Quadruples and the Euler Surface: A Technical Analysis

Introduction and Motivation

The paper "Quartic Rational Diophantine Quadruples and the Euler Surface" (2604.19140) addresses the existence of rational Diophantine quadruples for higher exponents, focusing primarily on the quartic case. Specifically, it seeks to construct explicit infinite families of rational quadruples $\{a, b, c, d\} \subset \mathbb{Q}$ such that every pairwise product $a_i a_j + 1$ is a nonzero rational fourth power. This represents a nontrivial generalization of the classical Diophantine $m$-tuple problem, which historically considers the quadratic ($k=2$) case.

The existence and parametrization of such higher-power rational tuples have seen sporadic progress, with cubic and lower-dimensional quartic triples appearing previously but without explicit infinite families of quartic quadruples. The study provides both theoretical framework and effective construction, linking the problem naturally to the geometry of the Euler surface:

$E: X^4 + Y^4 = Z^4 + W^4,$

which is a K3 surface of central algebraic geometric and arithmetic interest.

Theoretical Framework: From Experimental Search to Structured Parametrization

Definitions and Prior Work

A $k$th power rational Diophantine $m$-tuple is defined as a set of $m$ pairwise distinct nonzero rational numbers for which every distinct product $a_i a_j + 1$ is a $k$th power in $a_i a_j + 1$0. For $a_i a_j + 1$1, the classical case, rich families and deep connections with the arithmetic of elliptic curves have been documented.

For higher $a_i a_j + 1$2, the structure is less understood and more rigid arithmetically. Previous work established the scarcity of integer solutions for large $a_i a_j + 1$3 and extended some results to cubic rational quadruples but left the quartic case unexplored in terms of explicit infinite families.

Computational Approach and Discovery

The authors initiated the study with extensive computer searches, structurally generating and filtering candidate pairs $a_i a_j + 1$4 and testing for the existence of suitable $a_i a_j + 1$5 and $a_i a_j + 1$6 such that all pairwise products yield fourth powers. The search leveraged reductions to genus one curves for various compatibility relations, with experimental data suggesting additional algebraic symmetries among prospective solutions.

A critical observation was that empirically successful quadruples satisfied additional constraints $a_i a_j + 1$7 and $a_i a_j + 1$8 (in the paper's notation for auxiliary parameters), suggesting a geometric structure underpinning these exceptional quadruples.

Central Results: The Euler Surface Construction

Canonical Mapping and Main Theorem

Through detailed algebraic manipulations and the extraction of these additional symmetries, the construction was reduced to identifying rational points on the classical Euler surface $a_i a_j + 1$9 under certain nondegeneracy constraints.

The core result is formalized in Theorem 1: There exist infinitely many quartic rational Diophantine quadruples, explicitly parametrized via rational points on a Zariski-open subset of $m$0.

An explicit rational map is constructed from points $m$1 with $m$2 on $m$3 to quadruples $m$4: $m$5 All necessary fourth power identities of pairwise products follow directly via syzygies induced by the geometry of $m$6.

The paper further leverages Euler's classical parametrization to obtain explicit infinite families of quartic quadruples, verifying that for generic $m$7, the associated quadruple satisfies all requisite properties and is nondegenerate if $m$8.

Extension to Arbitrary Exponents

The construction is proved to generalize for arbitrary $m$9. For even $k=2$0, any rational point on the degree $k=2$1 Fermat–Euler surface

$k=2$2

with $k=2$3 yields a $k=2$4th power rational quadruple using analogous mappings, and for odd $k=2$5, the additional restriction $k=2$6 is a square is imposed. The parameterization thus recovers previously known cubic quadruple families as specializations and provides an explicit procedural path for the study of higher exponents.

Numerical Results and Explicit Examples

The computational investigations, which processed over 219 million candidate pairs, produced hundreds of legitimate triples and several almost-quadruples, whose patterns guided the final algebraic formulation. The explicit rational parametrization in terms of $k=2$7 now allows direct computation of quartic rational quadruples, which had not been previously recorded in the literature. Notably:

• The solutions are intrinsically nontrivial, as witnessed by complex rational expressions in terms of $k=2$8.
• The families constructed are genuinely infinite, due to the density of rational points on the relevant Zariski open subsets of the Euler surface.

Arithmetic Geometry Context and Implications

The link to the Euler surface equips the problem with a robust geometric perspective. Being a singular K3 surface, $k=2$9 has well-studied rational and geometric properties, and rational curves on $E: X^4 + Y^4 = Z^4 + W^4,$0 correspond to infinite families of quartic quadruples. The literature cited also confirms the wealth of parametrizations—Bremner’s work indicates at least 86 nontrivial parameterizations at degree $E: X^4 + Y^4 = Z^4 + W^4,$150.

For higher $E: X^4 + Y^4 = Z^4 + W^4,$2, the Fermat–Euler surfaces become of general type at $E: X^4 + Y^4 = Z^4 + W^4,$3. Under the Bombieri–Lang conjecture, rational points outside genus 0 or 1 loci are expected to be non-dense, suggesting that infinite families for large $E: X^4 + Y^4 = Z^4 + W^4,$4 likely result only from special subfamilies corresponding to rational or elliptic curves, rendering the quartic and cubic cases uniquely rich.

Future Directions and Theoretical Considerations

• For $E: X^4 + Y^4 = Z^4 + W^4,$5 and beyond, effective searches for rational points on $E: X^4 + Y^4 = Z^4 + W^4,$6 are rendered increasingly challenging by arithmetic rigidity. Computational evidence suggests nonexistence or extreme rarity for nontrivial integer solutions.
• Study of the moduli of K3 and general type surfaces associated to higher power Diophantine tuples offers an intersection with lattice theory, modular forms, and Noether–Lefschetz loci in the context of rational solutions.
• The methods present an avenue to explore rational points induced by low genus curves on $E: X^4 + Y^4 = Z^4 + W^4,$7, forming a bridge between explicit construction and conjectural arithmetic geometry.

Conclusion

This work resolves the longstanding question of existence for infinite families of quartic rational Diophantine quadruples, providing explicit constructions and a clear connection to the Euler surface. The algebraic and geometric techniques not only yield strong results for the quartic case but also unify the construction for all $E: X^4 + Y^4 = Z^4 + W^4,$8, situating the problem at the crossroads of computational number theory and arithmetic geometry. The implications for higher-degree surfaces reinforce the depth and rigidity of rational Diophantine $E: X^4 + Y^4 = Z^4 + W^4,$9-tuple problems and point to rich, unexplored territories in the arithmetic of rational points on higher-degree surfaces.