[論文レビュー] Outer Billiards, Arithmetic Graphs, and the Octagon

Richard Evan Schwartz|arXiv (Cornell University)|Jun 14, 2010

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

ひとこと要約

本稿では、正八角形における外的ビリヤードの研究に幾何的道具として算術的グラフを導入する。特に、R⁴内に存在するフラクタル的ループを明らかにし、その射影として2種類のフラクタル（雪の結晶型（コッホ型）とカーペット型（シェルピンスキー型））が得られることを示す。また、奇数周期軌道からのスケーリング極限によって生じる、自然で対称性を保つ連続写像が、それらのフラクタルの間で確立される。

ABSTRACT

Outer Billiards is a geometrically inspired dynamical system based on a convex shape in the plane. When the shape is a polygon, the system has a combinatorial flavor. In the polygonal case, there is a natural acceleration of the map, a first return map to a certain strip in the plane. The arithmetic graph is a geometric encoding of the symbolic dynamics of this first return map. In the case of the regular octagon, the case we study, the arithmetic graphs associated to periodic orbits are polygonal paths in R^8. We are interested in the asymptotic shapes of these polygonal paths, as the period tends to infinity. We show that the rescaled limit of essentially any sequence of these graphs converges to a fractal curve that simultaneously projects one way onto a variant of the Koch snowflake and another way onto a variant of the Sierpinski carpet. In a sense, this gives a complete description of the asymptotic behavior of the symbolic dynamics of the first return map. What makes all our proofs work is an efficient (and basically well known) renormalization scheme for the dynamics.

研究の動機と目的

• 外的ビリヤード、特に多角形外的ビリヤードにおける記号的力学の幾何的符号化として算術的グラフを発展させること。
• 算術的グラフとそのスケーリング極限を用いて、正八角形における外的ビリヤードの力学を分析すること。
• 具体的には、R⁴内に存在するフラクタル的ループという隠れたフラクタル構造を解明し、その平面射影としてコッホの雪の結晶とシェルピンスキーのカーペットが得られることを明らかにすること。
• 奇数周期軌道の力学から自然に生じる、雪の結晶フラクタルからカーペットフラクタルへの、標準的で対称性を保つ連続写像を確立すること。
• 算術的グラフの分析を通じて、既知の有界ケースを超えた非有界な力学的振る舞いを明らかにし、外的ビリヤードの理解を拡張すること。

提案手法

• 無限の帯領域への最初の帰還写像としてピンホイール力学を定義し、外的ビリヤード写像を加速することで、軌道解析を簡略化する。
• ピンホイール写像の記号的力学を符号化するRⁿ内に多角形パスとして算術的グラフΓ(P, p)を構成する。
• 奇数周期軌道に関連する算術的グラフのスケーリング極限を用いて、R⁴内に極限フラクタル的ループΓを抽出する。
• ΓをR²に射影することで、2種類の異なるフラクタルが得られる：π₃による射影は雪の結晶型、π₂による射影はカーペット型であり、両者とも同一の幾何的対象から生じる。
• 算術的グラフ内の最小パターン間の組合せ的同型と、三角形と四角形間の形状の同一写像を用いて、雪の結晶からカーペットへの標準的写像φを確立する。
• Hausdorff収束と帰納的対称性の議論を用いて、射影されたグラフ間の離散写像ψₙが極限写像φに収束することを証明する。

実験結果

リサーチクエスチョン

• RQ1 正八角形における外的ビリヤードの算術的グラフが、奇数周期軌道の極限においてどのような幾何的構造を示すか？
• RQ2 正八角形における外的ビリヤードの文脈で、雪の結晶とシェルピンスキーのカーペットという2つのフラクタルはどのように関係しているか？
• RQ3 同一の力学系から生じる、見た目には無関係に思える2つのフラクタルの間に、自然に定義された連続的で対称性を保つ写像を定義できるか？
• RQ4 算術的グラフは、外的ビリヤードにおける非有界軌道や隠れたフラクタル的対称性をどのように明らかにするか？
• RQ5 算術的グラフ内の最小構成の組合せ的パターンは、極限において元の幾何的対称性をどの程度反映しているか？

主な発見

• 正八角形における奇数周期軌道に関連する算術的グラフのスケーリング極限は、R⁴内にフラクタル的ループΓを生成する。
• 平面射影π₃(Γ)は、自己相似構造と無限の長さを持つコッホの雪の結晶に同型なフラクタル的ループである。
• 別の平面射影π₂(Γ)は、再帰的かつ多孔質な構造を示すシェルピンスキーのカーペットに同型なフラクタル集合である。
• 雪の結晶フラクタルからカーペットフラクタルへの、標準的で連続的かつ対称性を保つ全射写像が、力学的性質から自然に生じる。
• 射影されたグラフ間の離散写像ψₙがHausdorff位相で極限写像φに収束することが確立され、極限写像の存在が裏付けられる。
• 証明は、三角形と四角形の最小パターン間の形状同一写像Φに依存しており、すべての奇数nにおいて帰納的対称性と組合せ的同型が保たれる。