[論文レビュー] Exponents of Diophantine approximation

Yann Bugeaud, Laurent Michel|ArXiv.org|Nov 12, 2006

Mathematical Dynamics and Fractals被引用数 5

ひとこと要約

本稿は、ディオファントス近似の指数、特に同時近似および線形形式近似のための均一および非均一指数を調査する。これらの指数の鋭い下界を確立し、連分数構成を用いてそのスペクトルを特徴づけ、均一指数 $ \hat{w}_2$ および $ \hat{\lambda}_2$ のスペクトルがそれぞれ $[2, (3+\sqrt{5})/2]$ および $[1/2, (√{5}-1)/2]$ に稠密であることを証明し、フィボナッチ型連分数を用いて非可算に多くの値が達成されることを示す。

ABSTRACT

The paper is mostly a survey on recent results in Diophantine approximation, with emphasis on properties of exponents measuring various notions of Diophantine

研究の動機と目的

• 実行列のフルランクに関する均一および非均一ディオファントス近似指数 $\\hat{w}_{n,m}$ および $\\hat{\lambda}_{n,m}$ のスペクトルを特徴づけること。
• ジャーニクおよびアプフェルベックの古典的結果を拡張し、$\\omega_{n,m}(A)$ および $\\hat{\omega}_{n,m}(A)$ の下界をその転置行列に対応するもので明示すること。
• 連分数展開を用いて、$\\hat{w}_2(\xi)$ および $\\hat{\lambda}_2(\xi)$ の所望の値を持つ非可算個の実数 $\xi$ を構成すること。
• $\\hat{w}_2$ および $\\hat{\lambda}_2$ のスペクトルの構造を調査し、特にそれが稠密であるか、孤立点を含むかを検討すること。
• 未解決のスペクトルの性質に関する問題を解決し、それが特定の区間で稠密であり、区間 $[2, (3+\\sqrt{5})/2]$ 全体とは一致しないことを示すこと。

提案手法

• 連分数展開 $[0; s_k, s_{k-1}, \dots, s_1]$ の形を用いて、制御された近似指数を持つ実数 $\xi$ を構成する。
• 行列の再帰的乗算 $S_n = \begin{pmatrix} a & 1 \\ 1 & 0 \end{pmatrix}$ を用いて、同時近似不等式を満たす列 $x_0^{(n)}, x_1^{(n)}, x_2^{(n)}$ を生成する。
• 分母の成長を評価するための再帰的関係 $Q_n \approx Q_{n-1}^{(1+\sqrt{5})/2}$ を用いる。
• 近似の質を推定するための鍵となる不等式 $\kappa_n \asymp \kappa_{n-1}^{-1/\gamma}$ を導出する。ここで $\gamma = (1+\sqrt{5})/2$ である。
• 行列 $A$ とその転置 ${}^tA$ の間の双対性原理 $\omega_{n,m}(A)$ と $\omega_{m,n}({}^tA)$ を適用し、均一指数へと拡張する。
• ボレル＝カンテリの補題を用いて、ほとんどすべての行列 $A$ に対して $\\hat{\omega}_{n,m}(A) = m/n$ が成り立つことを示し、極値性の基準を確立する。

実験結果

リサーチクエスチョン

• RQ1 実数 $\xi$ に対する均一指数 $\\hat{w}_2(\xi)$ のスペクトルの構造は何か？
• RQ2 $\\hat{w}_2$ および $\\hat{\lambda}_2$ のスペクトルは、それぞれ $[2, (3+\sqrt{5})/2]$ および $[1/2, (√{5}-1)/2]$ に稠密か？
• RQ3 フィボナッチ型連分数法を用いて、非可算に多くの $\\hat{w}_2(\xi)$ および $\\hat{\lambda}_2(\xi)$ の値を明示的に構成可能か？
• RQ4 大きな $\\hat{\omega}_{n,m}(A)$ に対して、不等式 $\\omega_{n,m}(A) \geq \\hat{\omega}_{n,m}(A)^{m/(m-1)} - 3\\hat{\omega}_{n,m}(A)$ は鋭いか？
• RQ5 $\\hat{w}_2$ のスペクトルに孤立点は含まれるか、それとも $[2, (3+\sqrt{5})/2]$ 全体で稠密か？

主な発見

• $\\hat{w}_2$ のスペクトルは $[2, (3+\sqrt{5})/2]$ に稠密であり、$\\hat{\lambda}_2$ のスペクトルは $[1/2, (√{5}-1)/2]$ に稠密である。これはフィボナッチ型の $\xi$ を可算個構成することで示された。
• 任意の有界列 $(s_j)$ に対して、$\\hat{w}_2(\xi) = 2 + \sigma$ および $\\hat{\lambda}_2(\xi) = (1+\sigma)/(2+\sigma)$ を満たす実数 $\xi$ が存在する。ここで $\sigma = \liminf_k [0; s_k, \dots, s_1]$ である。これにより、非可算に多くの値が達成されることを示した。
• 構成された $\xi$ に対して、関係式 $\lambda_2(\xi) = \frac{w_2(\xi)(\hat{w}_2(\xi)-1)}{w_2(\xi)+\hat{w}_2(\xi)}$ が成り立つ。これは定理7の双対性境界における等号を示している。
• $(3+\sqrt{5})/2 \approx 2.618$ は $\\hat{w}_2$ のスペクトルにおいて孤立点ではなく、Fischlerの結果により上端付近で可算個の交わりが存在することから、スペクトルは区間 $[2, (3+\sqrt{5})/2]$ 全体ではない。
• $\\hat{w}_2$ および $\\hat{\lambda}_2$ のスペクトルのハウスドルフ次元は1であり、豊かで複雑な構造を持つことを示している。
• 本稿では、フィボナッチ再帰と $Q_n$ の成長推定に基づき、$\xi = \xi_{a,b}$ に対して $\\hat{\lambda}_2(\xi) \geq (√{5}-1)/2 \approx 0.618$ が成り立つことを証明した。