[論文レビュー] On the communication between cells of a cellular automaton on the penta- and heptagrids of the hyperbolic plane

Maurice Margenstern|arXiv (Cornell University)|Jun 2, 2006

Cellular Automata and Applications参考文献 13被引用数 7

ひとこと要約

本稿は、五角形格子およびヘプタグリッドにおけるセルオートマトンのための、木構造座標系を活用した新規ソフトウェアレベル通信プロトコルを提案する。この手法により、測地線ルーティングが可能となり、経路長に比例または二次関数的に増加する時間計算量で、デッドロックを回避する効率的なメッセージ送信が実現される。従来の絶対座標系に比べて効率性が向上するとともに、ハードウェアレベルの互換性を維持する。

ABSTRACT

This contribution belongs to a combinatorial approach to hyperbolic geometry and it is aimed at possible applications to computer simulations. It is based on the splitting method which was introduced by the author and which is reminded in the second section of the paper. Then we sketchily remind the application to the classical case of the pentagrid, i.e. the tiling of the hyperbolic plane which is generated by reflections of the regular rectangular pentagon in its sides and, recursively, of its images in their sides. From this application, we derived a system of coordinates to locate the tiles, allowing an implementation of cellular automata. At the software level, cells exchange messages thanks to a new representation which improves the speed of contacts between cells. In the new setting, communications are exchanged along actual geodesics and the contribution of the cellular automaton is also linear in the coordinates of the cells.

研究の動機と目的

• 双曲的グリッドにおけるセルオートマトンのための効率的で測地線に基づく通信メカニズムの開発。
• 絶対座標の代わりに木構造座標系を採用することで、双曲的セルオートマトンにおけるメッセージ送信速度と信頼性の向上。
• 大規模な双曲的ネットワークにおける伝送遅延を最小限に抑える一方で、デッドロックのないメッセージルーティングを保証。
• アドレス計算とメッセージリレーの複雑さが常に有界かつ予測可能である、ハードウェア互換性のあるシステムの構築。

提案手法

• 分割法と組合せタイル理論を採用し、五角形およびヘプタグリッドに対してフィボナッチ木に基づく木構造座標系を定義する。
• スタックを用いたメカニズムにより、実際の測地線経路に沿ってメッセージをルーティングし、正しく効率的に届ける。
• タイリングとp個のフィボナッチ木の和集合に加え中央セルを対応付ける一対一対応（バイジェクション）を用いることで、一意なメッセージ配送を保証する。
• 新しい座標系を用いることで、アドレス計算は経路長に線形的に依存し、メッセージリレーのコストはメッセージ長と距離に比例する。
• 一貫したルーティング経路を維持し、経路再構築に決定的スタックメカニズムを用いることで、デッドロックを回避する。
• ハードウェアレベルの演算を最適化し、アドレス計算とスタック管理のスケーリングが経路長の2乗に比例するようにし、従来の絶対座標系と同等の複雑さを維持する。

実験結果

リサーチクエスチョン

• RQ1 双曲的五角形およびヘプタグリッドにおけるセルオートマトンは、どのように効率的で測地線に基づく通信を実現できるか？
• RQ2 木構造座標系を用いた双曲的セルオートマトンにおけるメッセージルーティングの計算量は何か？
• RQ3 双曲的グリッドにおいて、デッドロックを回避する通信プロトコルを設計することは可能か？
• RQ4 新しいプロトコルは、既存の絶対座標に基づくシステムと比較して、どのように複雑さが異なるか？
• RQ5 メッセージ長と距離が、提案されたシステムにおける総伝送コストに与える影響は何か？

主な発見

• 新しい通信プロトコルにより、タイリングとp個のフィボナッチ木に中央セルを加えた和集合との間の一対一対応により、すべてのメッセージが正確に一度だけ宛先に到達することが保証される。
• メッセージ伝送の複雑さは、dist(c, d)(1 + ρM + ρdist(c, d)) で有界であり、ここでMはメッセージ長、ρは基本的なハードウェア演算のコストを表す。
• 測地線経路に沿って一意にルーティングされ、決定的スタックメカニズムを用いることで、システムはデッドロックのない通信を保証する。
• アドレス計算は経路長に線形に依存し、スタック管理は経路長の2乗に比例する。これは、従来の絶対座標系と同等の複雑さである。
• 遠距離通信の確率は指数関数的に抑制されるため、遅延はまれでかつ有界であり、モデルの実用性を裏付ける。
• ハードウェア互換性を維持しつつ、測地線ルーティングと木構造座標系を用いることで、ソフトウェアレベルの効率性が向上する。