[論文レビュー] Diophantine approximation, Khintchine's theorem, torus geometry and Hausdorff dimension

M. M. Dodson|ArXiv.org|Oct 23, 2007

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

ひとこと要約

本稿は、普遍性理論とトーラス幾何学を用いて、$mn$次元トーラスにおける$ψ$-近似可能点のハウスドルフ次元を確立し、1次元のJarník-Besicovitch定理を高次元に拡張する。$ψ(q) = q^{-v}$のとき、次元は$\min\left\{mn, (m-1)n + \frac{m+n}{v+1}\right\}$であり、臨界閾値は$v = m/n$である。これは、測度的ディオファントス近似における古典的結果の一般化である。

ABSTRACT

A general form of the Borel-Cantelli Lemma and its connection with the proof of Khintchine's Theorem on Diophantine approximation and the more general Khintchine-Groshev theorem are discussed. The torus geometry in the planar case allows a relatively direct proof of the planar Groshev theorem for the set of $ψ$-approximable points in the plane. The construction and use of Haudsorff measure and dimension are explained and the notion of ubiquity, which is effective in estimating the lower bound of the Hausdorff dimension for quite general lim sup sets, is described. An application is made to obtain the Hausdorff dimension of the set of approximable points in the plane when $ψ(q)=q^{-v}$, $v>0$, corresponding to the planar Jarnik-Besicovich theorem.

研究の動機と目的

• 与えられた近似関数$ψ(q) = q^{-v}$に対して、$mn$次元トーラスにおける$ψ$-近似可能点の集合のハウスドルフ次元を特定すること。
• 1次元ディオファントス近似から高次元の一次形式系への古典的Jarník-Besicovitch定理の拡張すること。
• ハウスドルフ次元の下界を推定するために、測度的ディオファントス近似における普遍性の概念をlim sup集合に応用すること。

提案手法

• ディオファントス近似から生じるlim sup集合の測度論的性質を分析するために、一般形のボレル＝カンテリの補題を用いる。
• 平面上のトーラス幾何学を適用して、平面グロシェフ定理の直接的証明を導出する。
• $\mathbb{T}^{mn}$における共振集合$R_{{\mathbf{q}}}$に対して普遍性の概念を導入し、$\tilde{\rho}(N) = 2N^{-1-m/n}\log N$に関して、族$\mathcal{R}$が普遍的であることを確立する。
• 公式$\dim \Lambda(\widetilde{\psi}) \geq \dim \mathcal{R} + \gamma \cdot \operatorname{codim} \mathcal{R}$を用いて、lim sup集合$\Lambda(\widetilde{\psi})$のハウスドルフ次元の下界を導出する。ここで$\gamma = \min\left\{1, \frac{1 + m/n}{1 + v}\right\}$である。
• 標準的近似関数と比較して$\widetilde{\psi}(N) = N^{-v-1}/m$を用いることで、$\Lambda(\widetilde{\psi}) \subset W_v$を示し、正確な次元公式を導出する。
• ベレスネビッチとヴェラーニのフレームワークを用いて、キンチンの定理における級数の収束・発散に関する既知の結果をハウスドルフ測度へと拡張する。

実験結果

リサーチクエスチョン

• RQ1 近似関数$ψ(q) = q^{-v}$のとき、$mn$次元トーラスにおける$ψ$-近似可能点の集合のハウスドルフ次元は何か？
• RQ2 $\mathbb{T}^{mn}$における共振集合の普遍性は、測度的ディオファントス近似におけるlim sup集合の次元とどのように関係するか？
• RQ3 普遍性とハウスドルフ次元の枠組みを用いて、Jarník-Besicovitch定理を高次元の一次形式系へ一般化できるか？
• RQ4 集合の$ψ$-近似可能点の次元が$(m-1)n + \frac{m+n}{v+1}$から$mn$に変化する臨界指数$v$は何か？
• RQ5 共振集合$R_{{\mathbf{q}}}$の余次元と位相次元は、$W_v$のハウスドルフ次元にどの程度依存するか？

主な発見

• 近似関数$ψ(q) = q^{-v}$のとき、$\mathbb{T}^{mn}$における$ψ$-近似可能点の集合$W_v$のハウスドルフ次元は$\min\left\{mn, (m-1)n + \frac{m+n}{v+1}\right\}$である。
• $v \leq m/n$のとき、次元は$mn$となり、集合が完全次元を示す。
• $v > m/n$のとき、次元は$mn$未満であり、$(m-1)n + \frac{m+n}{v+1}$で与えられ、近似速度の影響が反映される。
• 本結果は、1次元のJarník-Besicovitch定理を高次元の一次形式系へ一般化する。
• 一般条件の下で、$\tilde{\rho}(N) = 2N^{-1-m/n}\log N$に関して、共振集合の普遍性が確立され、次元推定が可能になる。
• フレームワークにより、次元の遷移が発生する臨界閾値が$v = m/n$で正確に特定され、lim sup集合の挙動が変化することが確認される。