[論文レビュー] On Loops in the Hyperbolic Locus of the Complex Hénon Map and Their Monodromies

Zin Arai|ArXiv.org|Apr 23, 2007

Mathematical Dynamics and Fractals参考文献 9被引用数 13

ひとこと要約

この論文は、複素 Hénon 写像の双曲的ホースシュー領域に、タイプ-3 パrameter（実 Hénon 写像に実動的性質を持たないが、複素写像は依然として双曲的フルホースシューであるもの）が存在することをジョン・ハバードの予想として証明している。チェーン再帰的集合の一様双曲性を検証する厳密な計算アルゴリズムを用いて、著者たちは、パrameter空間内の非自明なループを通じて無限に多くの異なるモノドロミーが存在することを示し、パrameterが複素双曲的領域にある場合、実動的性質がモノドロミーによって完全に決定されることを示している。

ABSTRACT

We prove John Hubbard's conjecture on the topological complexity of the hyperbolic horseshoe locus of the complex Hénon map. Indeed, we show that there exist several non-trivial loops in the locus which generate infinitely many mutually different monodromies. Our main tool is a rigorous computational algorithm for verifying the uniform hyperbolicity of chain recurrent sets. In addition, we show that the dynamics of the real Hénon map is completely determined by the monodromy of a certain loop, providing the parameter of the map is contained in the hyperbolic horseshoe locus of the complex Hénon map.

研究の動機と目的

• 複素 Hénon 写像における双曲的ホースシュー領域の位相的複雑性に関するジョン・ハバードの予想を解明すること。
• 実 Hénon 写像に実動的性質を持たないが、複素写像が依然として双曲的フルホースシューであるようなタイプ-3 パrameterの存在を確立すること。
• 複素双曲的領域内のループのモノドロミーが、Hénon 写像の完全な実動的性質を捉えていることを示すこと。
• パrameter空間におけるチェーン再帰的集合の一様双曲性を検証する厳密な計算アルゴリズムの開発および応用すること。

提案手法

• パrameter空間内の経路に沿って、チェーン再帰的集合の一様双曲性を検証する厳密な計算アルゴリズムが用いられている。
• ホースシュー領域内のループに沿って、トポロジカルな同相写像の平行移動によってモノドロミー準同型が構成されている。
• 記号的力学と分割に基づく符号化を用いて、Σ₂ 内の双無限列へのモノドロミー作用が計算されている。
• コンリ指数理論が適用され、インデックス対とリフシュツ固定点定理を介して、実周期点の数の下界と上界が計算されている。
• 分割アルゴリズムを用いて周期軌道を数値的に特定し、その後、立方体インデックス対を構築してその存在を証明している。
• Hₐ,ᶜⁿ の複素固定点の数は 2ⁿ（重複度を含む）で抑えられ、実固定点の数は非実固定点の数を差し引くことで抑えられる。

実験結果

リサーチクエスチョン

• RQ1 複素 Hénon 写像の双曲的ホースシュー領域に、実 Hénon 写像に実動的性質を持たないが、複素写像が依然として双曲的であるようなタイプ-3 パrameter が存在するか？
• RQ2 複素双曲的領域内の非自明なループが、無限に多くの異なるモノドロミーを生成できるか？
• RQ3 複素双曲的領域内のループのモノドロミーが、Hénon 写像の実動的性質をどの程度完全に決定するか？
• RQ4 複素 Hénon 写像のパラメータ空間におけるチェーン再帰的集合の一様双曲性を、どのように厳密に検証できるか？

主な発見

• タイプ-3 パラメータが双曲的ホースシュー領域に存在することが確認され、ハバードの予想が解決された。
• ホースシュー領域内に複数の非自明なループが存在し、それらが無限に多くの異なるモノドロミーを生成しており、領域の位相的複雑性が裏付けられた。
• パラメータが複素双曲的フルホースシュー集合に位置する場合、Hénon 写像の実動的性質は、複素双曲的領域内のループのモノドロミーによって完全に決定される。
• 実 Hénon 写像における周期点の数は、異なるパラメータ区間で変動しており（例：周期3〜7ではそれぞれ2, 8, 16, 22, 28, 44, 114）、フルシフトとは明確に異なる動的性質を示している。
• 各周期 n について、実 Hénon 写像における周期点の数は、コンリ指数と分割アルゴリズムによって正確に特定されており、すべてのテスト事例で下界と上界が一致している。
• モノドロミー作用が明示的に計算されており、ρ(γₚ)(s) が sᵢ と異なるのは、7ブロック sᵢ₋₃…sᵢ₊₃ が 0011100 または 0010100 の場合に限られ、その際は記号が反転する。