[論文レビュー] On the intermediate dimensions of Bedford-McMullen carpets

István Kolossváry|arXiv (Cornell University)|Jun 25, 2020

Mathematical Dynamics and Fractals被引用数 2

ひとこと要約

本稿では、Hausdorff次元とボックス次元が異なる Bedford–McMullenカーペットについて、上位中間次元がすべての θ < 1 に対してボックス次元より厳密に小さいことを、二つの極端なスケール（δ¹ᐟᶿ と δ）を用いた洗練された被覆戦略を用いて確立している。これにより、従来の上界が改善され、一般には中間次元が凹型でも凸型でもないことが示され、θ → 0 の際の最適被覆の構造的性質にも影響を及ぼす。

ABSTRACT

The intermediate dimensions of a set $\Lambda$, elsewhere denoted by $\dim_{ heta}\Lambda$, interpolates between its Hausdorff and box dimensions using the parameter $ heta\in[0,1]$. Determining a precise formula for $\dim_{ heta}\Lambda$ is particularly challenging when $\Lambda$ is a Bedford-McMullen carpet with distinct Hausdorff and box dimension. In this direction, answering a question of Fraser, we show that $\dim_{ heta}\Lambda$ is strictly less than the box dimension of $\Lambda$ for every $ heta<1$, moreover, the derivative of the upper bound is strictly positive at $ heta=1$. We also improve on the lower bound obtained by Falconer, Fraser and Kempton.

研究の動機と目的

• Hausdorff次元とボックス次元が異なる Bedford–McMullenカーペットの中間次元の正確な挙動を特定すること。
• Fraserが提起した疑問、すなわち θ < 1 の場合に上位中間次元がボックス次元より厳密に小さいかどうかを解明すること。
• 特に θ が小さい場合に、中間次元の既存の上界および下界を改善すること。
• 最適被覆の構造的複雑性を調査し、θ → 0 の際には2つ以上のスケールが必要となる可能性を示すこと。

提案手法

• 直径が δ¹ᐟᶿ および δ である二スケール被覆戦略を用いて、上位中間次元を評価する。
• 繊維分布に基づいて近似正方形を「良い」集合と「悪い」集合に分割し、被覆のコストを制御する。
• 補題3.1を用いて指数的減衰推定を適用し、各分割における集合の数を制御し、総コストを管理する。
• レベル K および K/θ における和の漸近的解析を用いて、被覆コストの収束条件を導出する。
• ∆₀(θ)、∆₁、∆₂ のパラメータを導入し、境界を洗練させ、従来の結果を上回ることを示す。
• 背理法およびコスト効率の議論を用いて、θ が減少するに従い、最適被覆には2つ以上のスケールが必要となる可能性を示唆する。

実験結果

リサーチクエスチョン

• RQ1 θ < 1 のすべての値に対して、Bedford–McMullenカーペットの上位中間次元はボックス次元より厳密に小さいか？
• RQ2 二スケール（δ¹ᐟᶿ および δ）でのみ使用する場合、上位中間次元は自明なボックス次元の上界を超えて改善可能か？
• RQ3 θ ∈ [0, 1] の範囲で中間次元関数 dimθ Λ は非凹型または非凸型の挙動を示すか？
• RQ4 θ → 0 の際、被覆戦略に最適なスケールの数はいくつであり、それは中間次元にどのように影響するか？
• RQ5 logₙ m の整数乗における dimθ Λ に段階的転移（phase transitions）が存在するか？

主な発見

• Bedford–McMullenカーペットの上位中間次元は、すべての θ < 1 に対してボックス次元より厳密に小さいことが示され、Fraserの疑問に答えている。
• 近似正方形の「GoodK」と「BadK」への洗練された分割を用いることで、上界が改善され、Lemma 3.1による集合数のより厳密な制御が可能になった。
• 指数 s が s > dimB Λ − ∆₀(θ)/log n ⋅ (1 − θ) を満たす場合、K → ∞ のとき被覆コストは0に収束する。ここで ∆₀(θ) > 0 である。
• 中間次元は一般に凹型でも凸型でもないことが、m = 10、M = 10 および n = 12 または n = 10⁵ の数値例により示された。
• 二スケールに制限しても上界は最適でないため、θ → 0 の際には2つ以上のスケールが必要となることが示唆された。
• 上界の θ = 1 における微分係数は正であるため、中間次元は θ = 1 の近傍で滑らかに増加することが示された。