[論文レビュー] Ubiquity and a general logarithm law for geodesics

Victor Beresnevich, Sanju Velani|ArXiv.org|Jul 9, 2007

Mathematical Dynamics and Fractals参考文献 16被引用数 14

ひとこと要約

本稿では、測度論的ディオファントス近似におけるルベーグ測度とハウスドルフ測度理論を統一する簡素化された局所アンビエントフレームワークを導入し、クレイン群の極限集合における測地線の一般化対数法則を証明するために応用している。主な貢献は、スアリヴァンの対数法則のハウスドルフ測度版であり、極限集合への測地線の急速な進入集合の測度が次元 $ n(1 - \alpha) $ に正確に比例することを示しており、古典的結果を一般化している。

ABSTRACT

There are two fundamental results in the classical theory of metric Diophantine approximation: Khintchine's theorem and Jarnik's theorem. The former relates the size of the set of well approximable numbers, expressed in terms of Lebesgue measure, to the behavior of a certain volume sum. The latter is a Hausdorff measure version of the former. We start by discussing these theorems and show that they are both in fact a simple consequence of the notion of `local ubiquity'. The local ubiquity framework introduced here is a much simplified and more transparent version of that in \cite{memoirs}. Furthermore, it leads to a single local ubiquity theorem that unifies the Lebesgue and Hausdorff theories. As an application of our framework we consider the theory of metric Diophantine approximation on limit sets of Kleinian groups. In particular, we obtain a general Hausdorff measure version of Sullivan's logarithm law for geodesics -- an aspect overlooked in \cite{memoirs}.

研究の動機と目的

• 測度論的ディオファントス近似におけるルベーグ測度とハウスドルフ測度理論を、簡素化された局所アンビエントフレームワークを用いて統一すること。
• スアリヴァンの古典的測地線対数法則を、一般化されたハウスドルフ測度設定にまで拡張すること。
• クレイン群に関連する双曲多様体の尖錐的領域への測地線の進入の測度論的構造を分析すること。
• 対数的ハウスドルフ次元を用いて、極めて良い近似が可能な極限点の集合の大きさを特徴づけること。

提案手法

• ディオファントス近似における収束および発散の両ケースを包含する簡素化された局所アンビエントフレームワークを開発すること。
• 単位区間内における $ \psi $-良い近似可能な数のリムスアップ集合にフレームワークを適用すること。
• フレームワークを用いて、集合 $ W(\psi) $ に対する一般化されたハウスドルフ測度基準を導出し、ルベーグ測度とハウスドルフ測度の別々の定理の必要性を排除すること。
• 第一種の幾何的に有限なクレイン群の極限集合の幾何構造を分析すること。
• 極限集合への $ \alpha $-急速な進入を示す測地線の集合 $ \mathcal{S}_p(\alpha) $ を定義し、その $ \mathcal{H}^{n(1-\alpha)} $-測度を計算すること。
• 集合の $ \omega $-リウヴィル極限点を分析するための対数的次元関数 $ f_\epsilon(r) $ を導入し、その $ \mathcal{H}^{f_\epsilon} $-測度を計算すること。

実験結果

リサーチクエスチョン

• RQ1 測度論的ディオファントス近似におけるルベーグ測度とハウスドルフ測度の両結果を統一する単一のアンビエントフレームワークは可能か？
• RQ2 スアリヴァンの測地線対数法則は、非整数次元のハウスドルフ測度へと拡張可能か？
• RQ3 与えられたレート $ \alpha $ で極限集合への進入を示す測地線の集合の正確なハウスドルフ測度は何か？
• RQ4 対数的ハウスドルフ次元は、極めて良い近似が可能な極限点の集合をどのように特徴づけるか？

主な発見

• 局所アンビエントフレームワークにより、キンチンの定理とヤルニクの定理が統一され、ルベーグ測度とハウスドルフ測度両方の結果を一括して扱う基準が得られた。
• 任意の $ \alpha \in [0,1) $ に対して、$ \alpha $-急速な進入を示す測地線の集合 $ \mathcal{S}_p(\alpha) $ の $ \mathcal{H}^{n(1-\alpha)} $-測度は、球面 $ S^n $ 全体の $ \mathcal{H}^{n(1-\alpha)} $-測度と等しくなり、一般化対数法則が証明された。
• $ \alpha = 0 $ の場合、結果はスアリヴァンの古典的対数法則に還元され、既知のルベーグ測度ケースと整合することが確認された。
• $ \omega $-リウヴィル極限点に対しては、対数的ハウスドルフ次元が正確に $ n/\omega $ であり、臨界指数 $ s = n/\omega $ において $ \mathcal{H}^{f_s} $-測度が無限大であることが示された。
• $ \omega $-リウヴィル極限点の集合は、任意の $ s > 0 $ に対して $ s $-次元ハウスドルフ測度がゼロであるが、$ s = n/\omega $ において正の対数的ハウスドルフ測度を有する。