[論文レビュー] A priori bounds for some infinitely renormalizable quadratics: I. Bounded primitive combinatorics

Jeremy Kahn|arXiv (Cornell University)|Sep 1, 2006

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

ひとこと要約

本稿は、有界な原始的組み合わせをもつ無限に再帰可能な二次多項式について、事前限界を確立し、再帰化された円環の極端な幅が0から一様に離れていることを証明する。標準的な重み付き弧図（WAD）と双曲幾何、および洗練された被覆補題を用いて、小さなジュリア集合の補集合におけるコア測地線の双曲的長さが制御された方法で増加することを示し、周期比の制約下でこのような写像の普遍的限界の存在を保証する。

ABSTRACT

We prove the a priori bounds for infinitely renormalizable quadratic polynomials for which we can find an infinite sequence of primitive renormalizations such that the ratios of the periods of successive renormalizations is bounded. This implies the local connectivity of the Mandelbrot set at the corresponding points.

研究の動機と目的

• 連続する周期の比が有界である無限に原始的再帰可能な二次多項式に対して、一様な事前限界を確立すること。
• 再帰化理論を、有界な原始的組み合わせの状況にまで拡張し、複素力学系における普遍的挙動の理解における空白を埋めること。
• 動的構造の位相的および幾何的性質を捉えることができる標準的な重み付き弧図（WAD）フレームワークを構築すること。
• 再帰化された円環の極端な幅が一様に下から有界であることを証明し、再帰化プロセスにおける普遍的限界の存在を保証すること。
• 無限に再帰可能な原始的型のパrameterにおけるマンデルブロ集合の局所的連結性を示す基盤を提供すること。

提案手法

• ハバードツリーと二次多項式の力学に付随する標準的な重み付き弧図（WAD）を導入し、位相的および幾何的データを符号化する。
• 双曲幾何を用いて、小さなジュリア集合の補集合におけるコア測地線の長さをWADとの交差数に関連付ける。
• フィラメント付き双曲的六角形の幾何的制御を可能にする、対称的なパンツ分解の応用により、ジュリア集合の充填集合の補集合であるリーマン面の幾何を制御する。
• 洗練された被覆補題を用いて、再帰化の過程における水平方向の重みの損失を制御し、垂直方向の重みが保存され、測定可能であることを保証する。
• 非交差原理と極端な長さの推定を用いて、重み付き弧図に基づく測地線の双曲的長さを評価する。
• ハバードツリーの拡張性と整列された弧の構造を活用し、繰り返しの各段階におけるエントロピーと重み損失を制御する。

実験結果

リサーチクエスチョン

• RQ1 有界な原始的組み合わせをもつ無限に再帰可能な二次多項式に対して、事前限界を確立できるか？
• RQ2 小さなジュリア集合の補集合におけるコア測地線の双曲的長さは、繰り返しの再帰化の下でどのように振る舞うか？
• RQ3 重み付き弧図と再帰化された円環の極端な幅の間にどのような関係があるか？
• RQ4 エントロピーと被覆の議論を用いて、再帰化の過程における水平方向の重み損失を定量的に制御できるか？
• RQ5 標準的WADにおける垂直方向の重みが下から有界である条件は何か？これにより再帰化プロセスの非退化性が保証される。

主な発見

• 本稿は、周期比が有界である無限に原始的再帰可能な二次多項式に対して、再帰化された円環の極端な幅が正の定数から一様に下界をもつことを証明する。
• 中心の小さなジュリア集合の周囲のコア測地線の双曲的長さは、$ L( au) = 2\bigl<M^{S},\tau\bigr> + O(1;\rho) $ を満たす。ここで $ M^{S} $ は標準的重み付き弧図である。
• 標準的WADは以下の5つの重要な性質を満たす：最大性、被覆下での自然な振る舞い、正しく写像された端点、支配性、および双曲的長さによる交差数の制御。
• 整列とエントロピーによる水平方向の重み損失は、洗練されたエントロピーの議論により制御され、垂直方向の重みが保存され、下から有界であることが保証される。
• 重み付き弧図の垂直部分には明確で正の重みが存在し、これが事前限界の存在を示すために不可欠である。
• 証明は対称的なパンツ分解と、直角をなす双曲的六角形に関する推定に依拠しており、$ | ext{transverse arc}| = -\text{log}(a) - \text{log}(b) + O(1) $ が成り立つ。ここで $ a,b \leq C_0 $ である。