[論文レビュー] Positive integers: counterexample to W.M. Schmidt's conjecture

Nikolay Moshchevitin|arXiv (Cornell University)|Aug 22, 2011

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

ひとこと要約

本稿は、W.M. シュミットのがんが、特定の整数上線形独立な実数 α₁, α₂ に対して、近似定数を指数 σ ≈ 1.94696 よりも改善できないことを示す反例を構成している。これは、任意の ε > 0 に対して 2−ε の境界が成立しないことを否定するものであり、R³ における制御されたディオファントス的性質を有する特異ベクトルの帰納的構成によって達成されている。

ABSTRACT

We show that there exist real numbers $α_1,α_2$ linearly independent over $\mathbb{Z}$ together with 1 such that for every non-zero integer vector $(m_1,m_2)$ with $m_1\ge 0$ and $m_2\ge 0$ one has $||m_1α_1+m_2α_2|| \ge 2^{-300} (\max(m_1, m_2))^{-σ}$ with $σ= 1.94696^+$.

研究の動機と目的

• 無理数的近似における指数 2−ε が、φ ≈ 1.618 に置き換え可能であるという W.M. シュミットの予想を反証すること。
• 1 とともに ℤ 上で線形独立である明示的な実数 α₁, α₂ を構成し、線形形式 m₁α₁ + m₂α₂ が整数からある下界を保つようにすること。
• σ = 1.94696⁺ の鋭い閾値を確立し、2−ε が達成できないことを示すこと。
• R³ における制御された幾何学的・算術的性質を有する特異ベクトルと帰納的格子生成を用いた構成的証明を提供すること。

提案手法

• ユークリッドノルム Mₙ と射影 m̄ₙ = (m₁ₙ, m₂ₙ) 間の角度を制御する整数ベクトル mₙ ∈ ℤ³ の帰納的構成。
• 条件 (i)–(v) を満たす 3次元ベクトル mₙ の列の定義：線形独立性、格子の完全性、Mₙ₊₁ ≥ 2¹⁰Mₙ を用いたノルムの増大。
• 基本補題を用いて、特異ベクトル技術により関連する実数 α₁, α₂ が 1 とともに ℤ 上で線形独立であることを保証すること。
• 整数ベクトルが所望のディオファントス的境界を満たすようにするための、入れ子になった球およびアフィン部分空間の構成。
• 角度と距離の制約（例：角( m̄ₙ, ±eⱼ) ≥ 1/4）を用いて座標軸への一致を防ぎ、一様分布を保証すること。
• 方程式 x⁴ − 2x² − 4x + 1 = 0 を用いて σ = 1.94696⁺ を定義し、これが最終的な境界における臨界指数となる。

実験結果

リサーチクエスチョン

• RQ1 シュミットの定理における指数 φ ≈ 1.618 は、任意の ε > 0 に対して 2−ε に改善可能であるという予想は正しいか？
• RQ2 σ < 2 である鋭い閾値が存在するか？ すなわち、1 とともに ℤ 上で線形独立な α₁, α₂ に対して、すべての非負整数ベクトル (m₁, m₂) に対して ||m₁α₁ + m₂α₂|| ≥ C / (max(m₁, m₂))σ が成り立つのか？
• RQ3 このような距離の整数への下界をすべての非負整数ベクトルに対して一様に下から抑えられるような、最適な指数 σ は何か？
• RQ4 特異ベクトルと R³ における帰納的格子生成を用いて、このような反例を明示的に構成可能か？
• RQ5 このような反例の存在は、シュミットの元の指数 φ が最適であることを示唆するか？

主な発見

• 本稿は、すべての (m₁, m₂) ∈ ℤ² に対して m₁, m₂ ≥ 0 かつ max(m₁, m₂) ≥ 2²⁰⁰ のとき、||m₁α₁ + m₂α₂|| ≥ 1 / (2³⁰⁰ (max(m₁, m₂))σ) が成り立つような実数 α₁, α₂ を構成している。
• 指数 σ = 1.94696⁺ は方程式 x⁴ − 2x² − 4x + 1 = 0 の最大の実根であり、より小さい指数では不十分であることが示されている。
• ノルム、角度、格子の完全性を制御する整数ベクトル ℤ³ の帰納的生成に依存しており、これによりディオファントス的条件が満たされている。
• 下界は、Mₙ₊₁ ≥ 2¹⁰Mₙ および Mₙ₊₁ ≤ 2Hₙ となるベクトル列 mₙ を用いて達成され、ここで Hₙ = Mₙ^{στ−1}/2⁹ かつ τ = (1 + σ²)/(2σ) である。
• 連続する m̄ₙ の張る空間に属さない任意の整数ベクトル (m₁, m₂) に対して、|ζ| = |m₀ + m₁α₁ + m₂α₂| が M⁻σ で下から抑えられることが保証されている。
• この結果は、シュミットの元の指数 φ が 2−ε に置き換えられないことを示しており、したがって予想が否定されたことになる。