[論文レビュー] On localization in Kronecker's diophantine theorem

Michel Weber|arXiv (Cornell University)|Jun 24, 2008

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

ひとこと要約

本稿は、Kroneckerのディオファントス近似定理の確率的修正を提供し、任意のターゲット値 $ \beta_1, \dots, \beta_N $ に対して、$ \|t\lambda_j - \beta_j\| \leq 1/\omega $ を満たす実数 $ t \in [d, d+T] $ が存在するような最小の区間長 $ T $ に対する明示的な上界を確立する。ここで $ \lambda_1, \dots, \lambda_N $ は $ \mathbb{Q} $-線形独立である。この上界は、非ゼロの最小線形形式 $ \Xi $ と $ N $、$ \omega $ の対数項に依存し、重み付き和と小偏差確率を用いた新規な確率的枠組みにより、先行研究の推定値を改善する。

ABSTRACT

We study the localization problem appearing in Kronecker's diophantine theorem. We introduce a probabilistic approach allowing to extend for general $\Q$-linearly independent sequences a result of Túran concerning the sequence $ (\log p_\ell)$, $p_\ell$ being the $\ell$-th prime.

研究の動機と目的

• 区間 $[d, d+T]$ の最小長 $ T $ を定量的に推定すること。ここで、Kroneckerの定理により、$ N $ 個の実数 $ \lambda_j $ が $ 1/\omega $ の精度で同時に近似可能であることが保証される。
• Turánの結果 $ \lambda_\ell = \log p_\ell $ を、一般の $ \mathbb{Q} $-線形独立な列に、確率的手法を用いて拡張すること。
• 特に重み付き和の小偏差の文脈において、先行研究で不足していた $ t $-範囲の明示的推定を埋めること。
• ディオファントス近似と確率論における小偏差確率の間の関係を確立すること。
• $ \omega $、$ N $、および整数係数が有界な $ \lambda_k $ の線形結合の非ゼロ最小値 $ \Xi $ に依存する、$ T $ の鋭い明示的上限を導出すること。

提案手法

• 近似が成立する集合の測度を推定するために、密度が $ G^2(t) $ に比例する確率変数 $ U $ を用いた $ \left| \frac{\sin \pi T U}{U} \right| $ の期待値に基づく確率的枠組みを導入する。
• 積分表現 $ \int_{\mathbb{R}} G^2(t) dt $ を用い、Hölderの不等式を適用して期待値を評価し、確率変数 $ V $ に対する $ \mathbf{E}[|V|^{r-1}] $ を含む重要な推定式を導出する。
• $ \Xi = \min \left| \sum \lambda_k u_k \right| $ を、$ |u_k| \leq 6\omega \log(N\omega/C_0) $ を満たす非ゼロ整数ベクトル $ u_k $ の範囲で定義し、線形独立性の強度を定量化する。
• 近似条件を満たす $ t \in [d, d+T] $ の存在を保証するための境界 $ T > \frac{3}{\pi \Xi} \left( \frac{2\sqrt{3}\, \omega}{C_0} \sqrt{\log(N\omega/C_0)} \right)^N $ を導出する。
• $ \omega $、$ \Xi $、区間長 $ T $ の間の変換を適用し、$ T \Xi \sim \left( \frac{4\omega}{C_0} \sqrt{\log(N\omega/C_0)} \right)^N $ であることを示す。
• Chenの結果 $ \sum \|t\lambda_n - \alpha_n\| \leq \varepsilon $ と比較し、$ \omega $ が $ N $ に対してあまり大きくない場合に新しい境界 $ T_W \ll T_C $ が成り立つことを示す。

実験結果

リサーチクエスチョン

• RQ1 $ \mathbb{Q} $-線形独立な $ \lambda_j $ が与えられたとき、確率的手法を用いて、$ \|t\lambda_j - \beta_j\| \leq 1/\omega $ を満たす $ t \in [d, d+T] $ が存在するような区間長 $ T $ の明示的上界が得られるか。
• RQ2 有界整数係数を持つ線形結合 $ \sum \lambda_k u_k $ の非ゼロ最小値 $ \Xi $ が、必要な区間長 $ T $ にどのように影響を与えるか。
• RQ3 新しい境界 $ T_W $ が、特に $ \ell^1 $-ノルムと最大ノルム近似を比較した際に、どの範囲で Chen の境界 $ T_C $ を上回るか。
• RQ4 重み付き i.i.d. 和の小偏差確率は、ディオファントス近似問題にどの程度情報を与えるか。
• RQ5 $ \lambda_n $ にどのような条件が課されれば、小偏差の鋭い推定が可能になるか。また、算術的性質と確率的ツールの相互作用はどのようなものか。

主な発見

• 任意の $ N, \omega \in \mathbb{N} $ に対して、ある普遍定数 $ C_0 $ が存在し、条件 (1.6) を満たす $ \lambda_1, \dots, \lambda_N $ に対して、任意の $ d, \beta_1, \dots, \beta_N $ に対して、$ \sup_j \|t\lambda_j - \beta_j\| \leq 1/\omega $ を満たす $ t \in [d, d+T] $ が存在する。ただし、$ T > \frac{3}{\pi \Xi} \left( \frac{2\sqrt{3}\, \omega}{C_0} \sqrt{\log(N\omega/C_0)} \right)^N $ である。
• $ T $ の境界は、$ \Xi $ を用いて明示的に与えられ、$ \Xi $ は整数係数 $ u_k $ が $ 6\omega \log(N\omega/C_0) $ 以下である範囲での $ \left| \sum \lambda_k u_k \right| $ の非ゼロ最小値である。
• $ \lambda_\ell = \log p_\ell $ の場合、境界は $ N $ が十分大きいとき $ T > e^{(1+2\varepsilon)\omega N \log(N\omega/C_0) \log N} $ を満たし、$ \omega $ が大きくない場合に Turán の推定値を改善する。
• $ (\omega/N)^{1/2} \log(N\omega) = o(1) $ の範囲では、新しい境界 $ T_W $ は Chen の $ T_C $ より顕著に小さくなるため、より強い局在化結果が得られる。
• 確率的手法により、重み付き和の小偏差確率は本質的に算術的性質を有しており、純粋に確率論的手法での推定は不可能であることが明らかになった。
• $ N $ が十分大きいとき、$ \Xi \geq e^{-(1+\varepsilon)\omega N \log(N\omega/C_0) \log N} $ が成り立つ。この不等式と主境界を組み合わせることで、$ T $ に対する指数的推定が得られる。