[論文レビュー] Sharp dimension bounds for Furstenberg-type sets

Ursula Molter, Ezequiel Rela|arXiv (Cornell University)|Jun 24, 2010

Mathematical Approximation and Integration参考文献 18被引用数 3

ひとこと要約

本稿は、Furstenberg型集合の次元に関する鋭い上限を確立する。具体的には、$F_\alpha$ に属する集合を構成し、正確な Hausdorff 測度の減衰を示すことで、先行研究の上限を改善し、零次元のゲージ関数 $\log^{-\gamma}(1/x)$, $\gamma > 0$ と関連する Furstenberg 集合の Hausdorff 次元の下限が $1/2$ であることを証明する。この構成は、従来の手法を精緻化することで、最適な次元推定に到達する。

ABSTRACT

For $\alpha$ in $(0,1]$, a subset $E$ of $\RR$ is called Furstenberg set of type $\alpha$ or $F_\alpha$-set if for each direction $e$ in the unit circle there is a line segment $\ell_e$ in the direction of $e$ such that the Hausdorff dimension of the set $E\cap\ell_e$ is greater or equal than $\alpha$. In this paper we show that if $\alpha > 0$, there exists a set $E\in F_\alpha$ such that $\HH{g}(E)=0$ for $g(x)=x^{1/2+3/2\alpha}\log^{- heta}(\frac{1}{x})$, $ heta>\frac{1+3\alpha}{2}$, which improves on the the previously known bound, that $H^{\beta}(E) = 0$ for $\beta>1/2+3/2\alpha$. Further, by refining the argument in a subtle way, we are able to obtain a sharp dimension estimate for a whole class of zero-dimensional Furstenberg type sets. Namely, for $\h_\gamma(x)=\log^{-\gamma}(\frac{1}{x})$, $\gamma>0$, we construct a set $E_\gamma\in F_{\h_\gamma}$ of Hausdorff dimension not greater than 1/2. Since in a previous work we showed that 1/2 is a lower bound for the Hausdorff dimension of any $E\in F_{\h_\gamma}$, with the present construction, the value 1/2 is sharp for the whole class of Furstenberg sets associated to the zero dimensional functions $\h_\gamma$.

研究の動機と目的

• Furstenberg 型集合の $\alpha$ 型における Hausdorff 測度の減衰に関する既知の上界を改善すること。
• 零次元のゲージ関数 $\log^{-\gamma}(1/x)$ と関連する Furstenberg 集合の Hausdorff 次元の鋭い下界を特定すること。
• このようなゲージ関数に対して次元の上限が $1/2$ に達する $F_\alpha$-集合の明示的例を構成すること。
• 既存の幾何的測度論的手法を精緻化し、Furstenberg 型集合の文脈で鋭い次元推定を達成すること。

提案手法

• $\theta > (1 + 3\alpha)/2$ のもとで、$g(x) = x^{1/2 + 3/2\alpha} \log^{-\theta}(1/x)$ に対して $\HH{g}(E) = 0$ を満たす $E \in F_\alpha$ の集合の構成により、先行研究の上限を改善する。
• 零次元のゲージ関数 $\h_\gamma(x) = \log^{-\gamma}(1/x)$ の臨界ケースを扱うために、幾何的・測度論的議論を精緻化する。
• 任意の方向に対して、線分との交差の Hausdorff 次元が少なくとも $\alpha$ 以上になるように保証する一方で、集合全体の次元を制御する、新規の反復的または平均化的構成を用いる。
• 精密なゲージ関数の推定を適用し、構成された集合 $E_\gamma$ が Hausdorff 次元において $1/2$ 以下であることを示す。
• 次元が $1/2$ よりも小さい集合が存在しえないことを証明することで、鋭さを確立し、次元推定のギャップを閉じる。

実験結果

リサーチクエスチョン

• RQ1 Furstenberg 型集合の $\alpha$ 型における Hausdorff 測度の最適な減衰率は何か？
• RQ2 既に知られている $F_\alpha$-集合の次元に関する上界 $1/2 + 3/2\alpha$ を改善できるか？
• RQ3 零次元のゲージ関数 $\log^{-\gamma}(1/x)$ と関連する Furstenberg 集合の Hausdorff 次元の下限が $1/2$ であるか？
• RQ4 零次元のゲージ関数に対して、$F_\alpha$-集合の構成をどのように精緻化すれば、次元を正確に $1/2$ にできるか？
• RQ5 ゲージ関数 $\h_\gamma$ と $F_{\h_\gamma}$-集合の最小可能な次元との正確な関係は何か？

主な発見

• 本稿は、$\theta > (1 + 3\alpha)/2$ のもとで、$g(x) = x^{1/2 + 3/2\alpha} \log^{-\theta}(1/x)$ に対して $\HH{g}(E) = 0$ を満たす $E \in F_\alpha$ を構成し、先行研究の $H^\beta(E) = 0$（$\beta > 1/2 + 3/2\alpha$）という上限を改善する。
• $\gamma > 0$ のもとで、$\h_\gamma(x) = \log^{-\gamma}(1/x)$ に対して、Hausdorff 次元が $1/2$ 以下の $E_\gamma \in F_{\h_\gamma}$ を構成する。
• $1/2$ が任意の $E \in F_{\h_\gamma}$ の Hausdorff 次元の鋭い下界であることが証明され、構成された集合は最小可能な次元に達している。
• 精緻化された構成法により、任意の方向における直線との交差の次元を正確に制御でき、$F_{\h_\gamma}$-集合の条件を満たす。
• 本結果により、零次元のゲージ関数 $\h_\gamma$ と関連する全 Furstenberg 集合クラスに対して $1/2$ が鋭い次元境界であることが確立され、分野における長年の未解決問題が解決された。