[論文レビュー] Hausdorff dimension of unions of affine subspaces and of Furstenberg-type sets

Kornélia Héra, T Keleti+1 more|arXiv (Cornell University)|Jan 9, 2017

Mathematical Dynamics and Fractals参考文献 10被引用数 7

ひとこと要約

本稿では、$ℝ^n$ 内の $k$ 次元アフィン部分空間の $s$ 次元族（$s \leq 1$）の合併のハウスドルフ次元が、正確に $k + s$ に等しいことを確立する。これはフールステンベルク型推定を一般化し、各点を中心に回転された単位立方体の $k$-スケルトンを含む集合、あるいは各点から固定された正の距離にある $k$-平面上の集合が、ハウスドルフ次元が $k+1$ 以上でなければならないことを証明し、このような構成に関して長年の幾何的測度論の問題を解決する。

ABSTRACT

We prove that for any $1 \le k

研究の動機と目的

• $ℝ^n$ 内の $k$ 次元アフィン部分空間の族がハウスドルフ次元 $s \leq 1$ を持つとき、その合併の正確なハウスドルフ次元を特定すること。
• 非コンパクトまたは非解析的族に対しても成り立つように、フールステンベルク型推定を一般化し、$\alpha$-フールステンベルク集合の次元が $2\alpha$ 以上であることを示すこと。
• $\mathbb{R}^n$ 内の任意の集合が、各点を中心に回転された単位立方体の $k$-スケルトンを含むならば、そのハウスドルフ次元は $k+1$ 以上でなければならないことを証明すること。
• $\mathbb{R}^n$ 内の各点から固定された正の距離にある $k$-次元アフィン部分空間を含む集合の次元に対する鋭い下界を確立すること。
• オーバーリン、ファルカーラーおよびマティラの結果を統合・拡張し、部分空間族に対する可測性の仮定を排除すること。

提案手法

• $\delta$-チューブを用いた被覆議論により、部分空間の $\delta$-近傍の $n$ 次元ルベーグ測度を推定すること。
• 異なる部分空間からの $\delta$-チューブの重複を制御するための2次形式型 $L^2$-推定の適用。
• パラメータ空間 $\widetilde{E}$ を、部分空間間の距離 $\rho(P, P')$ に基づいて dyadic アニュラスに分解し、交差測度の積分を抑え込むこと。
• $\widetilde{E}$ 上にフロストマン型測度 $\mu$ を用いて、スケール $\delta$ での集合の大きさを制御し、交差部分の $\mathcal{H}^\alpha_\infty$-正則性を活用すること。
• 各 $P \in \widetilde{E}$ に対して $\mathcal{H}^\alpha_\infty(\widetilde{P})$ の下界を確立し、これにより合併の $\delta$-近傍測度の下界を導出すること。
• $\mathcal{L}^n(F_\delta)$ の下界と、チューブ交差の重積分の上界を組み合わせることで、最終的な次元推定を導出すること。

実験結果

リサーチクエスチョン

• RQ1 非空の $s$ 次元族（$s \leq 1$）の $k$ 次元アフィン部分空間の合併のハウスドルフ次元は何か、$ℝ^n$ 内で？
• RQ2 $\alpha$-フールステンベルク集合に対して $\dim F \geq 2\alpha$ であるというフールステンベルク型推定は、線や平面の族がコンパクトまたは解析的でない場合にも一般化可能か？
• RQ3 $\mathbb{R}^n$ 内の集合が、各点を中心に回転された単位立方体の $k$-スケルトンを含むならば、そのハウスドルフ次元は $k+1$ 以上でなければならないか？
• RQ4 $\mathbb{R}^n$ 内の各点から固定された正の距離にある $k$-次元アフィン部分空間を含む集合の最小ハウスドルフ次元は何か？
• RQ5 各 $k$-平面が次元 $\alpha \leq k$ の部分集合を寄与する場合に、$k$-平面の合併の次元推定を、$s$ 次元族（$s \leq 1$）に拡張できるか？

主な発見

• $1 \leq k < n$ かつ $s \leq 1$ のとき、$ℝ^n$ 内の任意の非空な $s$ 次元族の $k$ 次元アフィン部分空間の合併のハウスドルフ次元は、正確に $k + s$ に等しい。
• $0 < \alpha \leq k$ に対して、$s \leq 1$ の族に属する各 $k$ 次元部分空間が集合 $B$ と交差する部分の次元が $\alpha$ 以上であるならば、$\dim B \geq 2\alpha - k + \min(\dim E, 1)$ が成り立つ。
• 古典的フールステンベルク推定が一般化される：$ℝ^2$ 内の任意の $\alpha$-フールステンベルク集合のハウスドルフ次元は $2\alpha$ 以上であり、線の族がコンパクトまたは解析的でない場合でも成り立つ。
• $A \subset \mathbb{R}^n$ が、各点を中心に回転された単位立方体の $k$-スケルトンを含むならば、$\dim A \geq k + 1$ であり、これはファルカーラーおよびマティラの結果を強化する。
• $A \subset \mathbb{R}^n$ が、各点から固定された正の距離にある $k$-次元アフィン部分空間を含むならば、$\dim A \geq k + 1$ であり、この下界は鋭い。
• 本稿では、$s$ 次元族内の $k$-平面の $\alpha$-次元部分集合の合併の次元に対する鋭い下界を確立し、次元が $2\alpha - k + s$ 以上であることを示している（$s \leq 1$）。