[論文レビュー] Constructing a uniform plane-filling path in the ternary heptagrid of the hyperbolic plane

Maurice Margenstern|ArXiv.org|Oct 1, 2007

Cellular Automata and Applications参考文献 6被引用数 3

ひとこと要約

本稿は、縮小する台形領域と経路誘導用のマゼンタ色の三角形に基づく再帰的で階層的なタイル張り方を用いて、双曲的平面（{7,3}タイル張り）における一様な平面充填経路を構築する。この構成により、双曲的平面においても単純な平面充填性が成立することが証明され、すべての解が無限に伸びる単一の経路を生成するが、唯一の例外的な場合を除き、それは無限遠で接続可能な二つの不連続な無限経路からなる。

ABSTRACT

In this paper, we distinguish two levels for the plane-filling property. We consider a simple and a strong one. In this paper, we give the construction which proves that the simple plane-filling property also holds for the hyperbolic plane. The plane-filling property was established for the Euclidean plane by J. Kari, in 1994, in the strong version.

研究の動機と目的

• 双曲的平面、特に三進ヘプタグリッド {7,3} において一様な平面充填経路が存在することを確立すること。
• ユークリッド平面で知られているように、双曲的タイル張りにおいて単純または強い平面充填性が成立するかを調査すること。
• 双曲的タイル張りにおいて、すべてのタイルをちょうど一度ずつ通る単一の無限経路を生成する構成的技法を提供すること。
• {7,3}タイル張り上に、このような経路を無限時間にわたって構築するセルオートマトンの存在を示すこと。
• 双曲的セルオートマトンにおけるペアノ曲線のアルゴリズム的構成と決定不能性に関する結果の基礎を築くこと。

提案手法

• 境界から中心へ向かって、段階的（k次）に小さくなる台形領域に分割する再帰的で内側へ深く進む構成法を用いる。最初にヘプタゴンタイルを台形領域に分割し、その順序kを段階的に増加させる。
• 半径と辺の中央点を用いて経路要素を定義し、台形領域を横断するセグメントを形成することで、連続的な経路を構成する。
• 各再帰的段階で隣接する台形間の接続性を保証するため、経路の方向を制御するガイドタイルとして「マゼンタ色の三角形」を導入する。
• 各ステップで台形領域を4つのより小さな台形に二段階的二分法で分割する2次元の二分法プロセスを適用し、定義された入出力ポイントを通じて経路の連続性を維持する。
• 双曲的平面における無限小近傍の局所的ユークリッド的性質に依存し、経路構成が極限曲線に収束することを保証する。
• タイル張り全体にわたって段階的に経路生成プロセスを模倣するセルオートマトンを構築し、無限時間にわたって全経路を生成する。

実験結果

リサーチクエスチョン

• RQ1 双曲的平面、特に三進ヘプタグリッド {7,3} において、単純な平面充填性が成立するか？
• RQ2 与えられたタイルセットに対して、すべてのタイリングが単一の無限経路を生成するような一様な平面充填経路が双曲的平面に構築可能か？
• RQ3 経路が二つの不連続な無限経路に分かれてしまう例外的な解の性質は何か？
• RQ4 {7,3}タイル張り上に、一様な平面充填経路の構築をシミュレートするセルオートマトンは存在するか？
• RQ5 双曲的平面における再帰的で内側へ向かう経路構成は、どのように連続的かつ空間を埋め尽くす曲線に収束するのか？

主な発見

• 三進ヘプタグリッドにおける双曲的平面に一様な平面充填経路が存在し、この設定において単純な平面充填性が成立することが証明された。
• タイリング問題のすべての解が単一の無限経路を生成するが、唯一の例外的な場合を除き、それは無限遠で接続可能な二つの不連続な無限経路からなる。
• 例外的な解は、二つの経路 π₁ と π₂ が無限遠で接続可能である極限ケースとして解釈され、単一の連続的な軌跡を形成する。
• 経路構成は極限曲線 P∞ に収束し、双曲的平面のすべての点をちょうど一度ずつ通る。これはペアノ曲線に類似している。
• {7,3}タイル張り上に、無限時間にわたって一様な平面充填経路を構築するセルオートマトンが存在し、効果的なアルゴリズム的実現性を示している。
• 構成は台形領域の再帰的分割と経路誘導タイル（マゼンタ色の三角形）に依存しており、各段階で定義された入出力ポイントにより経路の連続性が保証されている。