[論文レビュー] Contribution to Vojtech Jarnik

Nikolay Moshchevitin|arXiv (Cornell University)|Dec 12, 2009

Language and Culture参考文献 2被引用数 3

ひとこと要約

この論文は、3つの主要な場合（m=1,n=3；m=3,n=1；m=n=2）において、ヴォイチェフ・ヤルニクのディオファントス近似指数に関する古典的定理を改善し、個々のディオファントス指数 β(Θ) のより鋭い下界を確立している。幾何学的および格子論的手法（ミンコフスキーの凸体定理、最良近似の解析を含む）を用いて、β(Θ) ≥ α(Θ)·g(α(Θ)) を満たす新しい明示的関数 g₁(α)、g₂(α)、g₃(α) を導出し、特定の α(Θ) の範囲においてヤルニクの元の不等式を厳密に改善している。

ABSTRACT

We find new inequalities between uniform and individual Diophantine exponents for three-dimensional Diophantine approximations. Also we give a result for two linear forms in two variables. The results improves V.Jarnik's theorem (1954).

研究の動機と目的

• 多次元近似における1954年のヴォイチェフ・ヤルニクの均一および個々のディオファントス指数に関する定理を精緻化すること。
• m=1,n=3；m=3,n=1；m=n=2 の場合に、ヤルニクの不等式が最適でないという既存の境界のギャップを解消すること。
• 幾何学的および解析的技法を用いて、均一指数 α(Θ) に関して、個々のディオファントス指数 β(Θ) の新たな、改善された下界を確立すること。
• 特に m=1,n=3 の場合に α(Θ) ∈ (1/3, α₀) で、m=n=2 の場合に α(Θ) > 1 で、新しい境界がヤルニクのものよりも厳密に良いことを示すこと。
• 線形形式の複数変数への応用が可能な、最良近似とミンコフスキーの凸体定理に基づく、概略的な証明枠組みを提示すること。

提案手法

• 均一ディオファントス指数 α(Θ) を、t→∞ のとき t^γ ψ_Θ(t) が有界のままであるような γ の上限として定義する。
• 個々のディオファントス指数 β(Θ) を、t^γ ψ_Θ(t) の liminf が有限であるような γ の上限として定義する。
• 幾何的制約から導かれる特定の二次または三次方程式の解として、新しい関数 g₁(α)、g₂(α)、g₃(α) を導入する。
• 最良近似 (x_ν) とそれに対応するベクトル z_ν ∈ ℤ^{m+n} の理論を用いて、||L_j(x)|| の減衰速度を分析する。
• 2次元格子 Λ ⊂ ℤ^{d} (d = m+n) に対してミンコフスキーの凸体定理を適用し、格子の行列式と部分空間間の角 δ を用いて積 ζ_ν M_{ν+1} を評価する。
• ψ(t) = t^{-α+ε} を含む漸近的不等式を導出し、M_ν の成長率を用いて ψ(M_ν) と ζ_ν を比較することで、β(Θ) の改善された境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 ヤルニクの1954年のディオファントス指数の不等式は、m=1,n=3、m=3,n=1、m=n=2 の場合に改善可能か？
• RQ2 この3つの場合における、個々のディオファントス指数 β(Θ) の均一指数 α(Θ) に関する最適な下界は何か？
• RQ3 新しい境界は、α(Θ) のある範囲においてヤルニクの元の不等式よりも厳密に良いか？
• RQ4 最良近似の幾何的構造および格子部分空間は、||L_j(x)|| の減衰速度にどのように影響するか？
• RQ5 最良近似の手法とミンコフスキーの定理を拡張することで、これまでに知られていたものよりタイトな境界を導出可能か？

主な発見

• m=1, n=3 で 1 と整数上線形独立な3つの数を持つ場合、β(Θ) ≥ α(Θ)g₁(α(Θ)) は 1/3 < α(Θ) < α₀ の範囲でヤルニクの不等式を改善する。ここで α₀ ≈ 0.545 は方程式 x³ - x² + 2x - 1 = 0 の実根である。
• m=3, n=1 で 1 と整数上線形独立な3つの数を持つ場合、β(Θ) ≥ α(Θ)g₂(α(Θ)) はすべての α(Θ) ≥ 3 でヤルニクの不等式 (3) を改善する。ここで g₂(α) = √(α + 1/α² - 7/4) + 1/α - 1/2 である。
• m=n=2 で 1 と整数上線形独立な4つの数を持つ場合、β(Θ) ≥ α(Θ)g₃(α(Θ)) は 1 < α(Θ) < ((1+√5)/2)² ≈ 2.618 の範囲でヤルニクの不等式 (2) を改善する。ここで g₃(α) は方程式 αx² + (α-1)x - (2α² - 2α + 1) = 0 の解である。
• 新しい境界は、それぞれの範囲でヤルニクのものよりも厳密に良い。これは g₁(α) > (α²)/(1−α) が α ∈ (1/3, α₀) で成り立つこと、同様に g₂ および g₃ に対しても成り立つことから示される。
• 証明は、最良近似の列 (x_ν) 及びそれに対応するベクトル z_ν ∈ ℤ^{m+n} の分析に依拠し、2次元部分空間 π に対して格子 Λ = π ∩ ℤ^{d} のミンコフスキーの定理を適用する。
• M_ν の成長および ψ(t) = t^{-α+ε} の減衰の漸近的解析により、ζ_ν ≪ ψ(M_ν^{g(α)/h(α)}) を満たす適切な g および h が得られ、これが β(Θ) の改善された境界を示唆する。