[论文解读] An estimate for Frobenius' diophantine problem in three dimensions

Jan‐Christoph Schlage‐Puchta|arXiv (Cornell University)|May 7, 2011

Commutative Algebra and Its Applications参考文献 3被引用 8

一句话总结

本文在三元变量中给出了弗罗贝尼乌斯数的改进上界和下界，通过使用丢番图逼近和圆法构造显式反例，推翻了贝克、爱因斯坦和扎克斯提出的猜想 $ f(a,b,c) \leq (abc)^{5/8} $。结果表明，尽管该猜想对一般三元组不成立，但对绝大多数情况仍成立。

ABSTRACT

We give upper and lower bounds for the largest integer not representable as positive linear combination of three given integers, disproving an upper bound conjectured by Beck, Einstein and Zacks.

研究动机与目标

• 研究三个互素整数 $ a $, $ b $, $ c $ 的正线性组合无法表示的最大整数的渐近行为。
• 挑战贝克、爱因斯坦和扎克斯提出的猜想：对所有满足 $ \gcd(a,b,c) = 1 $ 的三元组，有 $ f(a,b,c) \leq (abc)^{5/8} $。
• 利用模逆元和丢番图逼近技术，建立 $ f(a,b,c) $ 的精确上下界。
• 分析满足猜想界失效的三元组的密度，表明尽管存在反例，该猜想在绝大多数情况下仍成立。

提出的方法

• 定义 $ N_a(b,c) $ 为最小整数，使得模 $ a $ 的每个剩余类均可表示为 $ \nu b + \mu c \mod a $，其中 $ 0 \leq \nu, \mu \leq N_a(b,c) $。
• 利用关系式 $ f(a,b,c) \asymp (b+c) N_a(b,c) $ 和 $ f(a,b,c) \geq \min(b,c) N_a(b,c) $，通过 $ N_a(b,c) $ 来界定弗罗贝尼乌斯数。
• 应用模逆运算：若 $ \overline{b} $ 是 $ b \mod a $ 的逆元，则 $ N_a(b,c) = N_a(1, c\overline{b}) $，从而将问题简化为模 $ a $ 的单变量问题。
• 使用丢番图逼近：若 $ \left| \left\{ \frac{c\overline{b}}{a} \right\} - \frac{p}{q} \right| = \delta \leq \frac{1}{q^2} $，则 $ N_a(1, c\overline{b}) \asymp \min\left( \frac{a}{q}, \frac{1}{\delta q} \right) $，以估计 $ N_a(b,c) $。
• 应用韦伊对 Kloosterman 和的估计以及埃里克斯-图兰-科克斯马不等式，证明模 $ a $ 的逆对具有等分布性，从而确保在短区间内存在合适的 $ b, c $。
• 构造显式三元组族 $ (a,b,c) $，满足 $ a < b < c < 2a $，$ \gcd(a,b)=\gcd(a,c)=1 $，使得 $ f(a,b,c) \geq \frac{a^2}{2} $，从而违反 $ (abc)^{5/8} $ 的界限。

实验结果

研究问题

• RQ1 对所有互素整数三元组 $ a,b,c $，猜想 $ f(a,b,c) \leq (abc)^{5/8} $ 是否恒成立？
• RQ2 三元变量中弗罗贝尼乌斯数 $ f(a,b,c) $ 的真实渐近增长速率为何？
• RQ3 在满足 $ a < b < c < 2a $ 的三元组空间中，贝克-爱因斯坦-扎克斯猜想的反例有多常见？
• RQ4 基于圆法的丢番图逼近技术能否对 $ f(a,b,c) $ 给出有效界？
• RQ5 对于满足 $ a < b < c < 2a $ 且 $ \gcd(a,b,c)=1 $ 的三元组，$ f(a,b,c) $ 的最大可能值是多少？

主要发现

• 对每个整数 $ a $，存在 $ \frac{\varphi(a)}{2} $ 对 $ (b,c) $，满足 $ a < b < c < 2a $，$ \gcd(a,b)=\gcd(a,c)=1 $，使得 $ \frac{a^2}{2} \leq f(a,b,c) \leq 2a^2 $。
• 对任意 $ \alpha, \beta \in [0,1] $ 和 $ \epsilon > 0 $，存在 $ b \in [(1+\alpha)a, (1+\alpha+\epsilon)a] $，$ c \in [(1+\beta)a, (1+\beta+\epsilon)a] $，使得 $ f(a,b,c) \geq \frac{a^2}{2} $，表明该界在某些范围内是紧的。
• 满足 $ f(a,b,c) > a^{3/2 + \delta} $ 的三元组数量被限制在 $ \mathcal{O}(a^{2 - 2\delta}) $ 以内，表明此类大值较为稀少。
• 通过显式构造违反不等式的反例，证明了猜想 $ f(a,b,c) \leq (abc)^{5/8} $ 对一般三元组不成立。
• 利用丢番图逼近和模逆元的方法，可对 $ N_a(b,c) $ 给出有效界，而后者通过 $ \min(b,c) N_a(b,c) \leq f(a,b,c) \leq (b+c) N_a(b,c) $ 有效控制 $ f(a,b,c) $。
• 通过使用韦伊估计和等分布性分析，确保在短区间内存在合适的 $ b,c $ 以实现较大的弗罗贝尼乌斯数，从而证实了该猜想反例的存在性。