[論文レビュー] Mass transference principle from rectangles to rectangles in Diophantine approximation

Baowei Wang, Jun Wu|arXiv (Cornell University)|Sep 3, 2019

Mathematical Dynamics and Fractals参考文献 40被引用数 9

ひとこと要約

本稿は、ディオファントス近似におけるlimsup集合について、大きな長方形から定義される集合から、より小さい縮小する長方形によって定義される集合へ、完全なハウスドルフ測度および次元の性質を転送する質量転送原理を確立する。長方形に基づくアンビエントフレームワークを導入することで、古典的な球に対する転送原理を長方形へ拡張し、同時近似および線形形式近似のための測度論を完成させるとともに、従来の手法が失敗する乗法的ディオファントス近似において新たな結果を得ることを可能にする。

ABSTRACT

By introducing a ubiquity property for rectangles, we prove the mass transference principle from rectangles to rectangles, i.e., if a sequence of rectangles forms a ubiquity system (a full measure property), then the limsup set defined by shrinking these rectangles to smaller rectangles has full Hausdorff measure or to say transfer a full measure property to a full Hausdorff measure property for brevity. The limsup sets generated by balls or generated by rectangles appear at the most fundamental level in Diophantine approximation: one follows from Dirichlet's theorem, the other follows from Minkowski's theorem. So the result sets up a general principle for the Hausdorff measure theory for high dimensional Diophantine approximation which, together with the landmark work of Beresnevich & Velani in 2006 where a transference principle from balls to balls is established, gives a coherent Hausdorff measure theory for metric Diophantine approximation. The dimensional theory for limsup sets generated by rectangles also underpins the dimensional theory in multiplicative Diophantine approximation where unexpected phenomenon occurs and the usually used methods or even their generalizations fail to work.

研究の動機と目的

• ディオファントス近似における長方形によって定義されるlimsup集合のための一般化された質量転送原理を開発すること。
• 球に基づく集合とは対照的に、長方形に基づくlimsup集合のための未解決な測度論的理論を解決すること。
• ミンコフスキーの定理と長方形に基づくアンビエント理論を統合することで、ディオファントス近似のハウスドルフ理論を統一的かつ拡張すること。
• 従来の手法が失敗する乗法的ディオファントス近似における次元の問題を解消すること。

提案手法

• 空間内における長方形の分布を特徴付けるために、『長方形のためのアンビエント』という新しい概念を導入する。
• 大きな長方形によって定義されるlimsup集合から、縮小する長方形によって定義される対応する集合へ、完全なハウスドルフ測度／次元を転送する質量転送原理を確立する。
• アンビエント仮定の有無にかかわらず、2つの状況において原理を適用し、広範な適用可能性を保証する。
• 被覆補題およびスライシング補題を含む、幾何学的および測度論的技法を用いて、limsup集合の次元を分析する。
• 原理を応用し、同時近似、線形形式、および縮小ターゲット問題における正確なハウスドルフ次元を導出する。
• 非一様に縮小する長方形によって定義される集合の次元を計算するために、変分的アプローチを採用する。特に、乗法的ディオファントス近似において有効である。

実験結果

リサーチクエスチョン

• RQ1 ディオファントス近似において、大きな長方形から定義されるlimsup集合の完全なハウスドルフ測度および次元を、より小さい長方形へ転送する質量転送原理を確立できるか？
• RQ2 長方形のためのアンビエント性質は、測度論における古典的な球のためのアンビエント性質をどのように一般化するか？
• RQ3 乗法的ディオファントス近似において、非一様に縮小する長方形によって定義されるlimsup集合の正確なハウスドルフ次元は何か？
• RQ4 この原理は、同時近似および線形形式近似における既知の結果を回復または拡張するために適用可能か？
• RQ5 長方形によって定義されるlimsup集合の次元が、標準的な被覆またはスライシング補題によって得られる境界を超えるのはどのような条件下か？

主な発見

• 本稿は、アンビエントおよび非アンビエントの両仮定のもとで、完全な質量転送原理を長方形から長方形へ確立し、完全なハウスドルフ測度および次元を転送することに成功した。
• 乗法的ディオファントス近似における集合 $ M_c(t) $ の正確なハウスドルフ次元は、対数的項を含む超越方程式を満たす臨界パラメータ $ ilde{t}_2 $ における変分公式によって決定される。
• $ a > b $ の場合、$ M_c(t) $ の次元は、被覆およびスライシング補題によって予測される境界を厳密に上回り、これらの手法だけでは不十分であることを示している。
• 次元関数 $ f(t_2) $ は一意に $ ilde{t}_2 eq 0, t $ で最大値をとり、正確な次元は $ ext{dim}_{ ext{H}} M_c(t) = f( ilde{t}_2) $ で与えられ、これは両端点における $ ext{dim}_{ ext{H}} M_c(t-t_2, t_2) $ よりも厳密に大きい。
• 非増加関数 $ au $ に対して $ M_c( au) $ の次元は、$ -rac{ ext{log} au(n)}{n} $ の下限極限によって決定され、非定数の縮小率への次元結果の一般化を達成している。
• この原理は、標準的手法が非等方的縮小のため失敗する乗法的ディオファントス近似において、特に長方形によって定義されるlimsup集合の次元理論における長年のギャップを解消した。