[論文レビュー] The Thurston Algorithm for quadratic matings

Wolf Jung|arXiv (Cornell University)|Jun 13, 2017

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

ひとこと要約

この論文は、オーロラが (2,2,2,2) 型でない場合、射像同値類の明示的符号化を要せず、二次多項式の非修正形式のマッティングに対するサーストンアルゴリズムが幾何的マッティングに収束することを示している。セリンジャーの拡張されたティヒミュラー空間への応用と、モジュライ空間におけるパスに基づく引き戻しを活用することで、後期的臨界点の衝突を自然に扱い、スローマッティングと等ポテンシャル接合による安定的な数値計算が可能になる。

ABSTRACT

Mating is an operation to construct a rational map f from two polynomials, which are not in conjugate limbs of the Mandelbrot set. When the Thurston Algorithm for the unmodified formal mating is iterated in the case of postcritical identifications, it will diverge to the boundary of Teichmüller space, because marked points collide. Here it is shown that the colliding points converge to postcritical points of f , and the associated sequence of rational maps converges to f as well, unless the orbifold of f is of type (2, 2, 2, 2). So to compute f , it is not necessary to encode the topology of postcritical ray-equivalence classes for the modified mating, but it is enough to implement the pullback map for the formal mating. The proof combines the Selinger extension to augmented Teichmüller space with local estimates. Moreover, the Thurston Algorithm is implemented by pulling back a path in moduli space. This approach is due to Bartholdi--Nekrashevych in relation to one-dimensional moduli space maps, and to Buff--Chéritat for slow mating. Here it is shown that slow mating is equivalent to the Thurston Algorithm for the formal mating. An initialization of the path is obtained for repelling-preperiodic captures as well, which provide an alternative construction of matings.

研究の動機と目的

• 非修正形式のマッティングに対するサーストンアルゴリズムが、射像同値類のトポロジー的符号化なしに幾何的マッティングに収束することを示すこと。
• 反復処理中に後期的臨界点の衝突が生じるが、オーロラが (2,2,2,2) 型でない限り、それが正しい有理写像に自然に収束することを確立すること。
• スローマッティングと形式的マッティングにおけるサーストンアルゴリズムとの等価性を示し、より単純で安定した数値的実装を可能にすること。
• 除去可能な障害を障害ではなく収束特性とみなすことで、従来の障害ベースの修正手法に対する数値的に安定した代替手法を提供すること。
• パスに基づく引き戻しを用いたモジュライ空間における理論的枠組みにより、スローマッティング、等ポテンシャル接合、サーストンの引き戻しのアプローチを統合すること。

提案手法

• バートホルト・ネクラシェビッチおよびバフ・シェリタのインスピレーションを受けて、モジュライ空間におけるパスに基づく引き戻しを用いたサーストンアルゴリズムを用い、三角形分割やメダウサ法における不安定性を回避する。
• セリンジャーの拡張されたティヒミュラー空間への応用を適用し、発散行動を分析し、マークされた点の衝突が存在する場合でも収束を証明する。
• マークされた点および有理写像の引き戻しを、モジュライ空間内の連続的パスを用いて実装し、離散的リファインメントや刈り込みを回避する。
• 局所的推定とトポロジー的収束定理に依存し、衝突するマークされた点が極限写像の後期的臨界点に収束することを示す。
• 標準的障害とノード付きリーマン面の安定化を用いて、コアエントロピーとオーロラ型に基づき極限を特徴付ける。
• 動的レイ角またはプレキャプチャ法による初期化を提供し、ミシュリエヴィッチ型やサタライト型パrameterに対しても安定収束を可能にする。

実験結果

リサーチクエスチョン

• RQ1 非修正形式のマッティングに対するサーストンアルゴリズムは、射像同値類の符号化なしに幾何的マッティングに収束するか？
• RQ2 後期的同値が標準サーストンアルゴリズムで発散を引き起こす場合、マークされた点と有理写像はどのように振る舞うか？
• RQ3 スローマッティングは形式的マッティングにおけるサーストンアルゴリズムと等価であり、従来の手法よりもより安定に実装可能か？
• RQ4 メダウサ法は理論的には収束するが、数値的に一部のケースで失敗するのはなぜか？そして、これを回避するにはどうすればよいか？
• RQ5 オーロラ型 (2,2,2,2) が収束を妨げる条件は何か？また、これはアルゴリズムの挙動にどのように影響を与えるか？

主な発見

• オーロラが (2,2,2,2) 型でない限り、形式的マッティングに対する非修正サーストンアルゴリズムは、後期的同値が存在する状況でも幾何的マッティングに収束する。
• 反復処理中に衝突するマークされた点は、極限有理写像の後期的臨界点に収束し、トポロジー的一致性が保証される。
• スローマッティングと等ポテンシャル接合は、形式的マッティングにおけるサーストンアルゴリズムと等価であり、障害符号化なしに安定した数値計算が可能になる。
• メダウサ法は、後期的同値が存在しない場合でも数値的に不安定であることがあり、離散的三角形分割に基づく引き戻しに内在的な制限があることを示唆する。
• モジュライ空間におけるパスに基づく引き戻しは、刈り込みやリファインメントの必要を回避し、従来のスパider法やメダウサ法よりも高速かつ安定した収束を実現する。
• 動的レイ角またはプレキャプチャ法による初期化により、特にミシュリエヴィッチ写像のような臨界的前周期的多項式に対しても、強力な収束が可能になる。