[論文レビュー] On Diophantine approximations with positive integers: a remark to W.M.Schmidt's theorem

Nikolay Moshchevitin|arXiv (Cornell University)|Apr 13, 2009

Mathematical Dynamics and Fractals参考文献 2被引用数 4

ひとこと要約

この論文は、W.M. シュミットのディオファントス近似定理を一般化し、正の整数 x₁, x₂ を用いた線形形式 α₁x₁ + α₂x₂ に対する精密化された指数を確立する。ディオファントス条件のもとで、近似誤差が関数 g(γ) によって制御されるレートで減少する無限個の正の整数対が存在することを示し、古典的指数 τ = (1+√5)/2 を改善する。

ABSTRACT

We prove a generalization of W.M. Schmidt's theorem related to the Diophantine approximations for a linear form of the type $α_1x_1+α_2x_2 +y$ with {\it positive} integers $x_1,x_2$.

研究の動機と目的

• 正の整数 x₁, x₂ を用いた線形形式 α₁x₁ + α₂x₂ のディオファントス近似に関する W.M. シュミットの定理を拡張すること。
• ディオファントス条件の下で、古典的指数 τ = (1+√5)/2 を超える近似レートの指数を改善すること。
• ディオファントス指数 γ に依存する関数 g(γ) を用いて、近似誤差の定量的評価を確立すること。
• 最良近似と格子幾何の分析を通じた構成的証明を提示し、鋭い減少率を導出すること。

提案手法

• τ = (1+√5)/2 とし、g(γ) = τ + (2τ − 2)/(τ²γ − 2) を導入。γ が 2 から ∞ に増加するにつれ、g(γ) は τ と 2 の間を滑らかに補間する。
• ディオファントス条件を課す：すべての非ゼロ整数ベクトル (m₁,m₂) に対して ||α₁m₁ + α₂m₂|| ≥ Γ / (max{|m₁|,|m₂|})^γ を満たし、Γ ∈ (0,1) かつ γ ≥ 2 とする。
• 3次元における最良近似の理論を用い、max{|m₁|,|m₂|} が有界な範囲で ||m₀ + α₁m₁ + α₂m₂|| を最小化する整数ベクトル (m₀, m₁, m₂) の列を定義する。
• ミンコフスキーの凸体定理を適用し、近似の質に関する境界を導出し、特に ||ζ(ν)||M_{ν+1}² ≤ 1 を得る。
• 格子幾何と連続する最良近似ベクトルが張る平面におけるベクトル分解を用い、新たな正の整数解を特定する。
• 連続する近似誤差の相対的大きさに応じて、新たな正の整数対 (x₁⁰, x₂⁰) を導く2通りの代替的構成法 (i) および (ii) を提示する。

実験結果

リサーチクエスチョン

• RQ1 シュミットの定理における指数 τ は、α₁x₁ + α₂x₂ ≈ 0 mod 1 に対する正の整数解において改善可能か？
• RQ2 ディオファントス指数 γ を用いた下界条件のもとで、max{x₁,x₂} → ∞ のとき ||α₁x₁ + α₂x₂|| の最適な減少率は何か？
• RQ3 下界条件におけるディオファントス定数 Γ と指数 γ は、近似の質にどのように影響するか？
• RQ4 無限個の正の整数解において、||α₁x₁ + α₂x₂|| · (max{x₁,x₂})^{g(γ)} の一様な上界を確立できるか？
• RQ5 最良近似ベクトルにどのような条件下で、制御されたサイズ範囲内に新たな小さな値の解が存在するか？

主な発見

• 任意の γ ≥ 2 および Γ ∈ (0,1) に対して、すべての非ゼロ (m₁,m₂) で ||α₁m₁ + α₂m₂|| ≥ Γ / (max{|m₁|,|m₂|})^γ を満たす場合、||α₁x₁(i) + α₂x₂(i)|| · (max{x₁(i),x₂(i)})^{g(γ)} ≤ C(Γ) を満たす無限個の正の整数対 (x₁(i), x₂(i)) が存在することが確立された。
• 関数 g(γ) は厳密に単調減少であり、g(2) = 2 かつ lim_{γ→∞} g(γ) = τ = (1+√5)/2 であるため、古典的指数 2 とシュミットの元の τ の間を滑らかに補間する。
• 定数 C(Γ) は明示的に C(Γ) = 2^{18} Γ^{(τ−τ²)/(τ²γ−2)} として与えられ、Γ と γ に依存し、さらに小さくできる可能性がある。
• 証明は連続する最良近似の分析に依拠し、(i) のように小さなサイズ範囲内に良い近似が存在するか、(ii) のように制御されたサイズと減少率を持つより良い近似が存在することを示している。
• M_ν → ∞ の極限においてシュミットの元の定理が回復され、γ → ∞ のとき指数 τ に近づくことが示唆される。
• 非退化条件 (3) を満たす無限個の ν の存在が保証されるため、構成法は無限回にわたり適用可能であり、必要な無限個の解の列が得られる。