[論文レビュー] Abstract Geometrical Computation 8: Small Machines, Accumulations and Rationality

Florent Becker, Mathieu Chapelle+3 more|arXiv (Cornell University)|Jul 24, 2013

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

ひとこと要約

本稿は、3種の異なる速度を持つ信号マシンを用いた抽象幾何計算における蓄積を調査する。すべての速度比および距離比が有理数である場合には蓄積が不可能であることを証明するが、無理数比が存在する場合には可能であることを示し、無理数性と、ユークリッドの互除法のエミュレーションによるハイパーコンピュテーションの可能性との直接的な関連を示している。

ABSTRACT

In the context of abstract geometrical computation, computing with colored line segments, we study the possibility of having an accumulation with small signal machines, ie, signal machines having only a very limited number of distinct speeds. The cases of 2 and 4 speeds are trivial: we provide a proof that no machine can produce an accumulation in the case of 2 speeds and exhibit an accumulation with 4 speeds. The main result is the twofold case of 3 speeds. On the one hand, we prove that accumulations cannot happen when all ratios between speeds and all ratios between initial distances are rational. On the other hand, we provide examples of an accumulation in the case of an irrational ratio between 2 speeds and in the case of an irrational ratio between two distances in the initial configuration. This dichotomy is explained by the presence of a phenomenon computing Euclid's algorithm (gcd): it stops if and only if its input is commensurate (ie, of rational ratio).

研究の動機と目的

• 3速度の信号マシンが空間時間図において蓄積点を生成できる最小の条件を特定すること。
• 信号の速度と初期距離の間の有理数比と無理数比の役割が、蓄積の発生または防止に与える影響を分析すること。
• 蓄積とユークリッドのアルゴリズム（最大公約数計算）の終了動作との間の関係を確立すること。
• 有理数的初期設定に類する3速度信号マシンの動的挙動を特徴づけること。
• 幾何的信号伝播に基づく最小限のハイパーコンピュテーショナルシステムの理論的基盤を提供すること。

提案手法

• 著者たちは、定数速度で1次元連続空間を移動する色付き線分の集合として信号マシンをモデル化し、衝突時に所定の規則に従って新たな信号を生成する。
• このようなマシンが生成する空間時間図を分析し、信号が共通の蓄積点に収束するかを焦点とする。
• 主な技術的アプローチとして、任意の3速度有理数的マシンを、速度 -1, 0, ν を持つ標準形に還元することで、結果の一般化を可能にする。
• 有理数の初期距離および速度から生じる規則的で蓄積のない構成を記述するためのメッシュ形式（p,q,x₀,w,k）-メッシュを導入する。
• 証明は、有理数比がグローバルな最大公約数（gcd）構造を生じさせ、周期的で蓄積のないメッシュを強制することを示すことに依拠する。
• 理論的分析では、最大公約数（gcd）の性質と可公約性の性質を用いて、ユークリッド的プロセスが終了するかしないかを区別する。

実験結果

リサーチクエスチョン

• RQ1 すべての速度比および距離比が有理数である3速度信号マシンは、蓄積を生じさせることができるか？
• RQ2 3速度信号マシンがその空間時間図において蓄積点を生成する条件は何か？
• RQ3 速度または初期距離の間の無理数比の存在が、信号マシンのダイナミクスに与える影響は何か？
• RQ4 ユークリッドのアルゴリズムの終了と、信号マシンにおける蓄積の有無との関係は何か？
• RQ5 3速度のみを有する最小限の信号マシンは、蓄積を通じてハイパーコンピュテーションを達成できるか？

主な発見

• 2速度信号マシンは、衝突によって有限で規則的なグリッドが生成され、収束しないため、いかなる蓄積も生じない。
• 4速度信号マシンは蓄積を生じさせることができ、3速度を超える場合に蓄積が可能であることを示している。
• 3速度有理数的マシン（すべての速度比および距離比が有理数）では、蓄積は生じない。なぜなら、システムは周期的メッシュ構造に閉じ込められているからである。
• 2つの速度間に無理数比がある場合、3速度マシンでは蓄積が可能である。これは、ユークリッドのアルゴリズムが非終了的になり、無限に信号が生成されることに起因する。
• 初期距離に無理数比がある場合にも、同様に蓄積が生じる。これは、最大公約数計算プロセスが非終了的になるためである。
• 本稿では二分法的性質を確立した：蓄積は、入力比が無理数である場合に限り、非終了的ユークリッドアルゴリズムのエミュレーションを模倣する場合に生じる。