[論文レビュー] Simultaneous approximation to values of the exponential function over the adeles

Damien Roy|arXiv (Cornell University)|May 5, 2019

Meromorphic and Entire Functions参考文献 14被引用数 1

ひとこと要約

本稿は、数体のすべてのアーチメデス的およびp進的完備化における同時有理近似を分析することにより、代数的数の指数関数的値に対するエルミートの近似がアデール枠組みにおいてほぼ最適であることを確立する。線形形式の絶対値の積が対数項を含む下界を有することを証明し、数体のアデール上の数論的幾何におけるエルミート法の近似的最適性を示している。

ABSTRACT

We show that Hermite's approximations to values of the exponential function at given algebraic numbers are nearly optimal when considered from an adelic perspective. We achieve this by taking into account the ratio of these values whenever they make sense in the various completions (Archimedean or $p$-adic) of a number field containing these algebraic numbers.

研究の動機と目的

• 数体のアデールの文脈において、代数的数の指数関数的値に対するエルミートの近似の最適性を調査すること。
• 異なる完備化（アーチメデス的およびp進的）における指数級数の収束性が、同時に近似の質に与える影響を理解すること。
• 数体のすべての場において、指数関数に関する線形形式の絶対値の積に鋭い下界を確立すること。
• エルミートの古典的近似が、数体のアデール上の数論的幾何においてほぼ最適であることを示すこと。
• 観察されたほぼ最適性が、指数関数の近似理論におけるより広範な現象を反映しているかどうかを検討すること。

提案手法

• 数体 K のすべてのアーチメデス的およびp進的完備化を同時に扱うためにアデール枠組みを用いる。
• 数体のアデール環上の数論的幾何を用い、凸体と格子を分析する。
• 指数関数のべき級数展開を用いてエルミートの古典的近似を適用し、収束する完備化における指数関数値の比に注目する。
• 整数環の構造と局所的収束条件を用いて、すべての場における |x| と |xeα − y| の積の下界を導出する。
• 特に s=2 の場合に、ヘルミート近似の再帰関係を用いて行列 An,n を計算し、連分数展開と関連付ける。
• 数論的幾何の文脈において半結果量と急上昇の理論を用い、凸体の連続最小値を評価する。

実験結果

リサーチクエスチョン

• RQ1 代数的数の指数関数的値に対するエルミートの近似は、数体のすべての場を考慮した際にほぼ最適であるか？
• RQ2 数体のすべての完備化において、指数関数に関する線形形式の絶対値の積に鋭い下界は存在するか？
• RQ3 p進的およびアーチメデス的完備化における指数級数の収束性は、同時に近似の質にどのように影響するか？
• RQ4 近似誤差の積に対する対数的下界は、数体における複数の指数関数的値へ一般化可能か？
• RQ5 エルミート法のほぼ最適性は、アデール的近似理論における指数関数のより深い構造的性質を反映しているか？

主な発見

• 数体 K が1つのアーチメデス的場しか持たず、α ∈ K が特定の局所的収束条件を満たす場合、x, y ∈ OK かつ x ≠ 0 に対して、積 |x| |xeα − y| は c(log |x|)⁻²ᵍ⁻¹ で下から押さえられる。ここで g は |α|v ≠ 1 または v がアーチメデス的であるような場の数を数える。
• e³ の場合、ℝ² における凸体 Cₙ と格子 Λₙ の連続最小値 λ₁(Cₙ, Λₙ) と λ₂(Cₙ, Λₙ) が、n に依存しない定数 c > 1 を用いて (cn²)⁻¹ ≤ λ₁ ≤ λ₂ ≤ cn² を満たすことが証明されている。
• 数値計算により、4 ≤ |x| ≤ 10⁵⁰⁰⁰⁰⁰ の範囲で |x| |xe³ − y| ≥ (3 log |x| log log |x|)⁻¹ が成り立つことが示唆されており、近似誤差の強い対数的減衰が確認されている。
• 本稿では、行列 Cₙ と An を用いた再帰的技法を提供し、e³ および e⁻³ の連分数展開を計算する。部分商は An の縮約行列分解から得られる。
• s ≥ 2 の場合、本稿では積 |x₁| |x₁e^{α₂} − x₂|⋯|x₁e^{αₛ} − xₛ| が (log |x₁|)⁻ᵍ で下から押さえられるような g > 0 が存在すると予想している。これはバーカーの定理を対数的減衰に一般化したものである。
• ヘリミート近似の再帰関係が一般化されており、s=2 かつ α₁=0、α₂=α の場合、行列 An,n が (n−1)!CₙCₙ₋₁⋯C₁ に等しいことが示されている。ここで Cᵢ は i と α に依存する 2×2 行列である。