[論文レビュー] The best Diophantine approximations: the phenomenon of degenerate dimension

Nikolay Moshchevitin|ArXiv.org|Nov 12, 2004

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

ひとこと要約

本稿は、高次元ディオファントス近似における退化次元現象を調査し、r ≥ 3 に対して、1 と線型独立な Q 上の r 個の実数の組が uncountably 多く存在し、それらのすべての十分に良い近似が 3 次元部分格子に含まれることを示している。これにより、十分大きな ν に対して行列式 Δν^r が消えることが示され、次元 2 を超える近似の複雑さにおける構造的崩壊が明らかになる。

ABSTRACT

This brief survey deals with multi-dimensional Diophantine approximations in sense of linear form and with simultaneous Diophantine approximations. We discuss the phenomenon of degenerate dimension of linear subspaces generated by the best Diophantine approximations. Originally most of these results have been established by the author in few years ago. Here we collect all of them together and give some new formulations.

研究の動機と目的

• r ≥ 3 の高次元における最良ディオファントス近似の幾何学的・算術的構造を分析すること。
• 予想される次元よりも低い次元の部分空間に最良近似が収束するという、退化次元現象を調査すること。
• すべての有限個を除く最良近似が ℤ^{r+1} の 3 次元部分格子に含まれる、uncountably 多くの r 個の組 (α₁,…,αᵣ) の存在を確立すること。
• この現象をヒンチンの特異系と結びつけ、連続する最良近似の挙動と関連付けること。

提案手法

• 整数ベクトルの max-ノルム M が有界である範囲で、|m₀ + m₁α₁ + … + mᵣαᵣ| の最小化により最良近似を定義する。
• ミンコフスキーの凸体定理を用いて、ζνMν+1^r ≤ 1 の境界を得ることで、近似の質の増加に関する制約を導出する。
• 連続する r+1 個の最良近似の行列式 Δν^r を導入し、近似列の線形従属性および次元性を検出する。
• ヒンチンの ψ-特異系を用いて、ζν ≤ ψ(Mν+r−1) を満たす r 個の組の uncountable 集合を構成し、Mν+1 が ζν−1−1 よりも速く増加しうることを示す。
• 有理部分空間における帰納的構成と連続性の議論を用い、連続する最良近似が凸体の境界付近に配置されることを制御する。
• 単位球 B_f^1 と照光条件を用いた漸近的方向理論を応用し、近似列の極限方向を特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 r ≥ 3 のとき、r 個の組 (α₁,…,αᵣ) の最良ディオファントス近似が ℤ^{r+1} の真部分空間に収束しうるか？
• RQ2 (α₁,…,αᵣ) にどのような条件が課されると、十分大きな ν に対して行列式 Δν^r が消えるか？
• RQ3 高次元において、Mν+1 の増加と近似の質 ζν の関係は何か？ また、Mν+1 は直前の近似誤差の逆数を上回り得るか？
• RQ4 どの閉集合が、Q-独立成分をもつ ℝ^r のある α に対して、漸近的方向の集合 Γ_f(α) として現れるか？
• RQ5 最良近似の構造はヒンチンの ψ-特異系によって制御可能か？ そして、これにより近似格子の次元性にどのような含意が生じるか？

主な発見

• r ≥ 3 のとき、すべての十分に良い近似が ℤ^{r+1} の 3 次元部分格子に含まれる r 個の組 (α₁,…,αᵣ) の uncountable 集合が存在する。
• このような r 個の組に対して、すべての ν > ν₀(α) に対して行列式 Δν^r が消えることが示され、近似列における退化次元性が裏付けられる。
• この結果は、ヒンチンの ψ-特異系を用いて得られ、ψ(y) → 0 となる減少関数 ψ に対して ζν ≤ ψ(Mν+r−1) を満たす。これにより、ζν に対して Mν+1 が制御不能に増加しうる。
• 構成により、r ≥ 3 のとき、近似ベクトルが 2 次元部分空間に閉じ込められるのではなく、3 次元に崩壊しうることが示された。
• このような α に対して漸近的方向の集合 Γ_f(α) は、正確に f-漸近的に許容可能な集合の集合であり、0 を含み、閉かつ対称な任意の集合が Γ_f(α) として実現可能である。
• 厳密に凸なノルム f に対して、任意の θ ∈ 𝒜 に対して 𝒜 ⊂ int B_f^{1+δ₁}(θ) を満たす集合 𝒜 が、任意の α に対して漸近的方向の集合として現れることはできない。