[論文レビュー] 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

ひとこと要約

本稿は、ディオファントス近似と円法を用いた明示的反例の構成により、Beck, Einstein, Zacksの予想 $ f(a,b,c) \leq (abc)^{5/8} $ を反証し、3変数におけるフロベニウス数の改善された上界および下界を提示する。結果として、一般の三つ組に対しては予想が成り立たないが、大多数の場合は成立することが示される。

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.

研究の動機と目的

• 3つの互いに素な整数 $ a, b, c $ の正の線形結合として表せない最大の整数の漸近的挙動を調査すること。
• すべての三つ組 $ \gcd(a,b,c) = 1 $ に対して $ f(a,b,c) \leq (abc)^{5/8} $ が成り立つという、Beck, Einstein, Zacksの予想に挑戦すること。
• モジュラー逆数とディオファントス近似の技術を用いて、$ f(a,b,c) $ の鋭い上界および下界を確立すること。
• 予想された境界が破綻する三つ組の密度を分析し、反例が存在するにもかかわらず、大多数のケースで予想が成立することを示すこと。

提案手法

• 各整数 $ a $ に対して、$ \nu b + \mu c \mod a $ がすべての剰余類を $ 0 \leq \nu, \mu \leq N_a(b,c) $ の範囲ですべて表せるような最小の整数 $ 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) $ の推定が可能になる。
• WeilのKloosterman和の推定とErdős–Turán–Koksmaの不等式を用いて、$ a $ を法とする逆数対の等分布性を示し、短区間内に適切な $ b, c $ が存在することを保証する。
• $ a < b < c < 2a $、$ \gcd(a,b)=\gcd(a,c)=1 $ を満たす三つ組 $ (a,b,c) $ の明示的族を構成し、$ 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 3変数におけるフロベニウス数 $ f(a,b,c) $ の真の漸近的成長率は何か？
• RQ3 三つ組 $ a < b < c < 2a $ の空間において、Beck-Einstein-Zacksの予想の反例はどれほど一般的か？
• RQ4 円法に基づくディオファントス近似技術は、$ f(a,b,c) $ の有効な境界を導くことができるか？
• RQ5 三つ組 $ a < b < c < 2a $ および $ \gcd(a,b,c)=1 $ を満たす場合に、$ f(a,b,c) $ の最大値はどれほどか？

主な発見

• 任意の整数 $ a $ に対して、$ a < b < c < 2a $、$ \gcd(a,b)=\gcd(a,c)=1 $ を満たす三つ組 $ (b,c) $ が $ \frac{\varphi(a)}{2} $ 個存在し、そのすべてで $ \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) $ が制御可能であることが示された。
• Weilの推定と等分布性の性質により、大きなフロベニウス数を達成できる適切な $ b,c $ が短区間内に存在することが保証され、予想の反例が実際に存在することを確認した。