[論文レビュー] About a new splitting for the algorithmic study of the tilings $\{p,q\}$ of the hyperbolic plane when $q$ is odd

Maurice Margenstern|ArXiv.org|Nov 20, 2009

Cellular Automata and Applications参考文献 5被引用数 4

ひとこと要約

本稿では、q が奇数である場合の双曲トーリング {p,q} を構築するための2つの新しいアルゴリズム的分割法を提案する。これにより、双曲平面の再帰的分割に基づく全域木の生成が可能になる。両手法とも、{4,5} の特別な場合を除き、タイル座標に対して正則言語を生成する。{4,5} の場合、ペンタグリッドとの双対性により、既存の座標系の適応が可能である。

ABSTRACT

In this paper, we remind previous results about the tilings $\{p,q\}$ of the hyperbolic plane. We introduce two new ways to split the hyperbolic plane in order to algorithmically construct the tilings $\{p,q\}$ when $q$ is odd.

研究の動機と目的

• q が奇数である場合の双曲トーリング {p,q} を構築するためのアルゴリズム的手法を拡張すること。これは、偶数 q よりもあまり研究が進んでいないケースである。
• 既存の分割技法の限界を克服すること。これらは奇数 q に対しては失敗するか、不規則な言語を生成する。
• 再帰的な木構造を用いた、座標割り当てとトーリング生成のための体系的なアルゴリズムフレームワークを提供すること。
• 例外的なケース {4,5} を分析し、ペンタグリッドとの双対性を用いて既存の座標系との整合性を示すこと。
• 2つの新しい分割法のタイル生成効率および構造的性質（言語の正則性）を比較すること。

提案手法

• 4.2節で提示される立方多項式に基づく分割法。双曲平面を再帰的にタイルを生成する領域に分割し、大多数のケースで3次ピゾット多項式を用いる。
• 4.3節で提示される二次多項式に基づく分割法。領域が2つだけであるため、再帰の簡略化が可能で、基礎方程式の解法が容易になる。
• タイル構造をモデル化するために再帰的木生成（フィボナッチ木）を用いる。黒いノードは2つの子を持ち、白いノードは3つの子を持つ。左端の子は常に黒いノードである。
• 親子関係と側面の向き（反時計回りに1〜5で番号付け）に基づき、タイル頂点に一対一対応の番号付けを施す。各セクタの右端の放射線上にある頂点は除く。
• {4,5} と {5,4} の双対性を活用し、ペンタグリッドの正則言語および座標系を {4,5} トーリングに移行する。
• 幾何的表現にポアンカレの円板モデルを用い、トーリング構築において双曲等長変換および反射が保持されることを保証する。

実験結果

リサーチクエスチョン

• RQ1 q が奇数である場合の双曲トーリング {p,q} のアルゴリズム的構築を、先行する分割法が十分にカバーしていないケースに一般化するにはどうすればよいか？
• RQ2 奇数 q の分割プロセスにおいて、立方多項式と二次多項式の使用に起因する構造的および計算的利点は何か？
• RQ3 {4,5} トーリングは、両分割法が正則言語を生成しない例外的なケースであるが、これはなぜであり、どのように解決できるか？
• RQ4 ペンタグリッド {5,4} の座標系を、双対トーリング {4,5} に適応可能か？正則言語の性質を維持できるか？
• RQ5 非隣接タイルの生成および距離を越えた影響が、双曲空間内での物理的または計算的システムのモデル化に与える影響は何か？

主な発見

• 提案された2つの分割法は、{4,5} を除くすべてのケースでタイル座標に対して正則言語を生成する。
• 4.2節の分割法は立方ピゾット多項式を用い、ノードあたりのタイル生成数が少ない。これは、従来の反射に基づくトーリング生成に近い。
• 4.3節の分割法はより単純な二次多項式を用い、1回の生成でより多くのタイル（非隣接タイルを含む）を生成する。これは、長距離影響をモデル化する可能性を示唆する。
• {4,5} トーリングはペンタグリッド {5,4} の双対であり、ペンタグリッドの正則なフィボナッチ木ベースの座標系を {4,5} に移行可能である。
• 4.3.1節のアルゴリズムは、{p,4} の座標系への適応により、{4,p} トーリングすべてに一般化可能である。これは、より広範な適用可能性を示唆する。
• 1回の生成で非隣接タイルが現れる現象は、古典的な「世代」の概念に挑戦するが、双曲系における非局所的影響の新たなモデル化に寄与する可能性がある。