[论文解读] On the size of Diophantine m-tuples

Andrej Dujella|arXiv (Cornell University)|Feb 11, 2000

Analytic Number Theory Research参考文献 22被引用 7

一句话总结

本文建立了丢番图 $ m $-元组——即一组正整数，其中任意两个不同元素的乘积加上一个固定的非零整数 $ n $ 均为完全平方数——大小的新上界。通过丢番图逼近、间隙原理和大筛法等技术，证明当 $ |n| \leq 400 $ 时，最大大小至多为 32；当 $ |n| > 400 $ 时，大小被限制为 $ 267.81 \log|n| (\log\log|n|)^2 $，显著改进了以往的估计，并推动了关于此类集合是否在大小上普遍有界的长期开放问题的进展。

ABSTRACT

Let n be a nonzero integer and assume that a set S of positive integers has the property that xy+n is a perfect square whenever x and y are distinct elements of S. In this paper we find some upper bounds for the size of the set S. We prove that if |n| <= 400 then |S| <= 32, and if |n| > 400 then |S| < 267.81 log|n| (log log|n|)^2. The question whether there exists an absolute bound (independent on n) for |S| still remains open.

研究动机与目标

• 建立具有性质 $ D(n) $ 的丢番图 $ m $-元组最大大小的有效上界，其中 $ n $ 为固定的非零整数。
• 解决一个长期开放的问题：是否存在一个与 $ n $ 无关的绝对上界，使得此类集合的大小始终有界。
• 通过将间隙原理和大筛法应用于集合中元素相对于 $ |n| $ 的不同范围（大、小、极小）来改进现有技术。
• 通过结合丢番图逼近、椭圆曲线和筛法的结果，推导出更紧致的渐近上界，从而改进先前结果。

提出的方法

• 根据元素相对于 $ |n| $ 的大小，将集合 $ S $ 分为三部分：$ A_n $（元素 $ \geq |n|^3 $）、$ B_n $（元素在 $ (n^2, |n|^3) $ 内）和 $ C_n $（元素 $ \leq n^2 $），分别分析各范围。
• 应用贝内特关于代数数同时逼近的定理来界定 $ A_n $，得出对所有 $ n \neq 0 $，有 $ A_n \leq 21 $。
• 使用间隙原理的弱形式来界定 $ B_n $，得到 $ B_n < 0.65 \log|n| + 2.24 $。
• 采用加拉格尔的大筛法来界定 $ C_n $，得出当 $ |n| \geq 400 $ 时，$ C_n < 265.55 \log|n| (\log\log|n|)^2 + 9.01 \log\log|n| $。
• 通过 $ M_n \leq A_n + B_n + C_n $ 综合三部分的上界，对 $ |n| \leq 400 $ 的情况直接计算，此时 $ C_n \leq 5 $ 且 $ B_n \leq 6 $。
• 利用变换 $ \{a_i\} \to \{a_i c\} $ 证明 $ M = \sup M_n = C $，从而将全局问题简化为对 $ C_n $ 的有界性分析。

实验结果

研究问题

• RQ1 具有性质 $ D(n) $ 的丢番图 $ m $-元组的最大可能大小是多少？该大小是否存在一个与 $ n $ 无关的绝对上界？
• RQ2 如何通过将元素按相对于 $ |n| $ 的大小划分为大、小和极小三类，来界定 $ D(n) $-集合的大小？
• RQ3 能否有效结合丢番图逼近与筛法技术，得到 $ D(n) $-集合大小的非平凡渐近上界？
• RQ4 最小元素（即 $ \leq n^2 $ 的元素）对 $ D(n) $-集合总大小的贡献是什么？能否实现统一有界？
• RQ5 朗猜想关于一般型代数簇上的有理点是否蕴含 $ M_n $ 的有限性？该猜想能否用于指导有效上界的推导？

主要发现

• 当 $ |n| \leq 400 $ 时，具有性质 $ D(n) $ 的丢番图 $ m $-元组的最大大小至多为 32，这是通过直接计算以及对 $ B_n $ 和 $ C_n $ 的界限得出的。
• 当 $ |n| > 400 $ 时，任意 $ D(n) $-集合的大小被上界限制为 $ 267.81 \log|n| (\log\log|n|)^2 $，该结果源于对 $ C_n $ 的大筛法界限。
• 对 $ A_n $（即 $ \geq |n|^3 $ 的元素数量）的界限是统一的 $ \leq 21 $，与 $ n $ 无关，这是利用贝内特关于同时逼近的定理得出的。
• 对 $ B_n $（即中间范围 $ (n^2, |n|^3) $ 内的元素数量）的界限随 $ \log|n| $ 增长，形式为 $ < 0.65 \log|n| + 2.24 $。
• 最小元素（即 $ \leq n^2 $ 的元素）对渐近上界贡献最大，是导致 $ \log|n| (\log\log|n|)^2 $ 增长的主要原因。
• 本文表明，若能证明 $ C < \infty $（即 $ \leq n^2 $ 的元素数量有统一有界），则可推出 $ M < \infty $，从而将全局问题简化为对这一特定范围的分析。