Rational Points Near Curves and Small Nonzero | x3y2| via Lattice Reduction

  • Noam D. Elkies
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1838)

Abstract

We give a new algorithm using linear approximation and lattice reduction to efficiently calculate all rational points of small height near a given plane curve C. For instance, when C is the Fermat cubic, we find all integer solutions of | x3 + y3 −z3| < M with 0 < xy < z < N in heuristic time ≪ (logO(1)N ) M provided MN, using only O(log N) space. Since the number of solutions should be asymptotically proportional to M log N (as long as M < N3), the computational costs are essentially as low as possible. Moreover the algorithm readily parallelizes. It not only yields new numerical examples but leads to theoretical results, difficult open questions, and natural generalizations. We also adapt our algorithm to investigate Hall’s conjecture: we find all integer solutions of 0 < |x3y2| ≪x1/2 with x < X in time O(X1/2logO(1)X). By implementing this algorithm with X = 1018 we shattered the previous record for x1/2/|x3y2|. The O(X1/2logO(1)X) bound is rigorous; its proof also yields new estimates on the distribution mod 1 of (cx)3/2 for any positive rational c.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Noam D. Elkies
    • 1
  1. 1.Department of MathematicsHarvard UniversityCambridgeUSA

Personalised recommendations