[論文レビュー] Criterion for rays landing together

Jinsong Zeng|arXiv (Cornell University)|Mar 19, 2015

Mathematical Dynamics and Fractals参考文献 23被引用数 4

ひとこと要約

本稿は、局所的に連結なジュリア集合をもつ多項式において、2本の外部線が同じ点に到達する条件を確立する。2つの角度が臨界プロファイルに関して同じイタineraryを持つならば、それらの線は同じ点に到達するか、あるいは eventually シーゲル円盤へ写像されるファトウ領域の境界に収束する。この結果により、マンデルブロ集合のビーンズに沿ったコアエントロピーの単調性に対する、新しい組合的証明が得られる。

ABSTRACT

We give a criterion to determine when two external rays land at the same point for polynomials with locally connected Julia sets. As an application, we provide an elementary proof of the monotonicity of the core entropy along arbitrary veins of the Mandelbrot set.

研究の動機と目的

• 多項式の外部線がジュリア集合の同じ点に到達するかどうかを特定する、新しい組合的基準を提供すること。
• 定理1.1（ワンドリング分岐点に到達する線の数の上限）の簡素で直接的な証明を提示すること。
• 外部線の到達行動とファトウ成分の構造、特にシーゲル円盤へ至る成分との関係を確立すること。
• この基準を応用して、マンデルブロ集合の任意のビーンズに沿ったコアエントロピーの単調性を証明すること。
• 局所的に連結なジュリア集合におけるワンドリングコンチニウムの非存在を理解する寄与をすること。

提案手法

• 軌道プロファイルとワンドリング分岐点の組合的解析を用いて、定理1.1を再証明する。
• 臨界プロファイルの概念を適用し、単位円周を分割し、写像 $ m_d: \theta \mapsto d\theta \mod \mathbb{Z} $ におけるイタineraryを定義する。
• セクターマップと長さ比較の議論を用いて、線の分離と到達行動を分析する。
• 禁断領域 $ H_c $ を導入し、その前像構造を用いて、二重に到達可能な点の前向き軌道を制御する。
• 臨界プロファイルから導かれるヨコツプルックに類似した構造（ただし、これらは $ f $-不変ではない）を活用する。
• 帰納法と $ m_2 $-前像の力学的性質を用いて、同じイタineraryを持つ角度が反復写像下でも到達可能集合にとどまることを示す。

実験結果

リサーチクエスチョン

• RQ1 局所的に連結なジュリア集合をもつ多項式において、2本の外部線が同じ点に到達する条件は何か？
• RQ2 ワンドリング分岐点に到達する線の数を、どのように組合的に上限づけられるか？
• RQ3 シーゲル円盤へ写像されるファトウ成分の境界に到達する線を持つ点の力学的挙動は何か？
• RQ4 臨界プロファイルに関して角度のイタineraryが、線の到達同値性をどのように決定するか？
• RQ5 マンデルブロ集合のビーンズに沿ったコアエントロピーの単調性は、線の到達組合的性質を用いて証明可能か？

主な発見

• 同一の臨界プロファイルに関して同じイタineraryを持つ2本の外部線は、同じ点に到達するか、あるいは eventually シーゲル円盤へ写像されるファトウ領域の境界に収束する。
• 本稿は、ブロフとレヴィンによるワンドリング分岐点に到達する線の数の上限 $ \sum (v(z_i) - 2) \leq d - 2 $ に対する、新しい初等的証明を提供する。
• ワンドリングコンチニウムが局所的に連結なジュリア集合をもつ多項式のジュリア集合に存在しないことが示され、Corollary 1.3 が確認される。
• コアエントロピーは、外部線の到達基準の結果として、マンデルブロ集合の任意のビーンズに沿って単調非減少である。
• 臨界点を避ける前向き軌道を持つ二重に到達可能な点について、高次の反復写像に到達するすべての線は、$ \nu \in I_c $ に対して $ m_2^{-1}(\nu) $ に関して同じイタineraryを持つ。
• 到達可能集合 $ \text{Acc}(f_c) $ は、$ I_c $ が $ \mathbb{T}^* $ でも単一集合でもない限り、力学的写像で保存され、$ I_c = I_{c'} $ ならば $ \text{Acc}(f_c) = \text{Acc}(f_{c'}) $ である。