[論文レビュー] Littlewood and Duffin--Schaeffer-type problems in diophantine approximation

Sam Chow, Niclas Technau|arXiv (Cornell University)|Oct 18, 2020

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

ひとこと要約

本稿は、測度的ディオファントス近似におけるギャラグラの定理の完全非一様版を確立し、リウヴィル型の繊維に対する鋭い閾値を証明するとともに、連分数、ボール集合、数論的幾何の道具を用いて、非単調近似関数に対する非一様ダフィン＝シュア予想を解決する。

ABSTRACT

Gallagher's theorem describes the multiplicative diophantine approximation rate of a typical vector. We establish a fully-inhomogeneous version of Gallagher's theorem, a diophantine fibre refinement, and a sharp and unexpected threshold for Liouville fibres. Along the way, we prove an inhomogeneous version of the Duffin--Schaeffer conjecture for a class of non-monotonic approximation functions.

研究の動機と目的

• 乗法的ディオファントス近似におけるギャラグラの測度的定理を、任意のシフトを許す非一様設定に拡張すること。
• 非単調近似関数のクラスに対して、非一様ダフィン＝シュア予想を解決すること。
• 非一様条件下におけるリウヴィル繊維における収束・発散遷移の鋭い閾値を同定すること。
• GCDとシフト還元の役割を分析することで、繊維的ディオファントス近似の理解を精緻化すること。
• オストロウスキー展開とボール集合を通じて、非一様近似、連分数、加法的組合せ論を結びつける枠組みを確立すること。

提案手法

• 近似集合の構造とその重なりを分析するために、オストロウスキー展開と連分数展開を用いる。
• 非一様設定における測度的重なりを局所化・推定するためにボール集合を適用し、特に小GCDの領域で有効に活用する。
• 測度論的議論とボレル＝カンテリの補題を用いて、近似の上限集合に対する発散・収束に関する命題を確立する。
• 上限集合の構成における独立性を保証するため、ペア (a, n) にシフト還元条件を導入する。
• 数論的幾何と篩法を用いて、例外集合の測度を抑え、近似誤差の成長を制御する。
• 最終シフト（有理数的、リウヴィル的、ディオファントス的）の概念を導入し、非一様設定における繊維的近似問題を分類・分析する。

実験結果

リサーチクエスチョン

• RQ1 リウヴィル型繊維における非一様乗法的ディオファントス近似の収束・発散遷移の正確な閾値は何か？
• RQ2 非単調近似関数に対するダフィン＝シュア予想は、非一様設定に拡張可能か？
• RQ3 ギャラグラの定理の非一様版は、古典的測度論的ディオファントス近似理論をどのように精緻化するか？
• RQ4 小GCDとシフト還元条件は、近似集合における測度的重なりを制御するために果たす役割は何か？
• RQ5 リウヴィル的、有理数的、またはディオファントス的第二シフトといった繊維的構造は、非一様状況下での近似集合の測度にどのように影響を与えるか？

主な発見

• 完全非一様ギャラグラの定理が確立され、ほとんどすべてのベクトルに対して、非一様乗法的近似不等式が無限回成り立つことが示された。
• リウヴィル繊維に対する鋭い閾値が証明され、収束・発散遷移が近似関数の成長に関連する臨界関数において正確に発生することが明らかになった。
• 非単調関数のクラスに対して、非一様ダフィン＝シュア予想が証明され、古典的結果が単調性の仮定を超えて拡張された。
• 局所化されたボール集合の測度の和が発散する条件のもとで、非一様近似の上限集合の測度が1（完全測度）に達することが示された。
• 著者らは、発散条件のもとで、集合 $\mathcal{E}_n^*$ の測度の和が発散することを示し、上限集合が完全測度をもつことを示した。
• 重要な技術的成果として、下界 $\sum_{n \leq X} \mu(\mathcal{E}_n^*) \gg \mu(\mathcal{I}) \sum_{n \leq X} \psi(\hat{n})(\log n)^{k-1}$ が得られ、臨界ケースにおける発散が確認された。