[論文レビュー] Finer geometry of planar self-affine sets

Balázs Bárány, Antti Käenmäki+1 more|arXiv (Cornell University)|Jul 2, 2021

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

ひとこと要約

本稿は、強い分離条件の下で、平面自己同相集合のより微細な幾何的性質を検討し、アーフォルス正則性、アッソウド次元、射影、断面について考察する。支配的かつ既約な自己同相集合に対しては、アーフォルス正則性が成り立つのは、$ 0 \leq s \leq 1 $ かつ $ \mathcal{H}^s(X) \in (0, \infty) $ を満たす場合に限ることを確立し、アッソウド次元がアフィニティ次元を超えることが示され、古典的な境界を覆す。

ABSTRACT

For planar self-affine sets satisfying the strong separation condition, recent work of Bárány, Hochman, and Rapaport gives mild assumptions under which the Hausdorff dimension equals the affinity dimension. In this paper, we study dominated systems in that regime and ask which finer geometric properties can be characterized. In the range $\dim_{\mathrm{H}}(X) < 1$, we characterize Ahlfors regularity by equivalent conditions involving positivity of $\mathcal{H}^s(X)$, control of projection fibers, and the identity $\dim_{\mathrm{L}}(X)=\dim_{\mathrm{H}}(X)=\dim_{\mathrm{A}}(X)$. In the range $\dim_{\mathrm{H}}(X) \ge 1$, we identify the maximal slice dimension as $\dim_{\mathrm{A}}(X)-1$ in Furstenberg directions and provide examples showing that Marstrand-type all-slice bounds cannot hold in general. We also derive projection consequences for Assouad dimension and exhibit dominated irreducible examples with $\dim_{\mathrm{aff}}(X)<\dim_{\mathrm{A}}(X)$.

研究の動機と目的

• ハウスドフォルト次元を超える平面自己同相集合のより微細な幾何的構造を、特に射影、断面、正則性の文脈で理解すること。
• 自己同相集合がアーフォルス正則となる条件を同定し、自己相似集合に知られている古典的結果を拡張すること。
• 自己同相集合のアッソウド次元およびその射影のアッソウド次元を分析し、それがアフィニティ次元を超える可能性があることを明らかにすること。
• 断面のハウスドフォルト次元を推定し、自己同相集合における古典的なマルシュタン型定理を改善すること。

提案手法

• 強い分離条件を用い、共通の不変直線を持たない正の線形部を持つと仮定（支配的かつ既約な場合）。
• アフィニティ次元を基準として、アッソウド次元およびハウスドフォルト次元と比較する。
• 接集合解析と行列ノルムおよび角度歪度の境界を用いた射影推定を用いる。
• Furstenberg方向と記号的力学を用いて、反復における幾何的挙動を制御する。
• 平行移動ベクトルの摂動を用いて、射影および写像の差を制御できる例を構成する。
• Bárány, Hochman, Rapaport (2021) の強い分離条件下での次元の一致に関する結果を応用し、既存理論を拡張する。

実験結果

リサーチクエスチョン

• RQ1 平面自己同相集合がアーフォルス正則となる条件は何か？
• RQ2 自己同相集合のアッソウド次元がアフィニティ次元を超えることは可能か？
• RQ3 自己同相集合の射影のアッソウド次元はどのようになるか？方向によってどのように変化するか？
• RQ4 自己同相集合の断面のハウスドフォルト次元は何か？また、余剰次元の境界を満たすか？
• RQ5 自己同相集合におけるハウスドフォルト測度の正の性質を一様に特徴づけることは可能か？

主な発見

• 支配的かつ既約な仮定と強い分離条件のもとで、平面自己同相集合がアーフォルス $ s $-正則であるための必要十分条件は、$ 0 \leq s \leq 1 $ かつ $ 0 < \mathcal{H}^s(X) < \infty $ である。
• 自己同相集合のアッソウド次元はアフィニティ次元を超える可能性があり、これは古典的な直観（アフィニティ次元がアッソウド次元を上限とする）に反する。
• すべての方向 $ V \in \mathbb{RP}^1 $ に対して、射影 $ \operatorname{proj}_{V^\perp}(X) $ のアッソウド次元は $ \min\{1, \dim_A(X)\} $ 以上であり、例外的な方向ではハウスドフォルト次元がゼロである。
• 自己同相集合のすべての断面のハウスドフォルト次元は、射影の余剰次元以下であることが確認され、この文脈におけるマルシュタンの断面定理の精密化が裏付けられる。
• Furstenberg方向の集合 $ X_F $ は非可算であり、ハウスドフォルト次元が最大である。これは射影の漸近的挙動を制御するために不可欠である。
• 元の $ \mathsf{v} $ の近傍で摂動された平行移動ベクトル $ \mathsf{w} $ を構成することで、著者らは射影写像の差を小さくできることを示し、行列ノルムおよび角度の推定を用いてアッソウド次元の制御が可能になることを示した。