[论文解读] 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

一句话总结

本文研究了在具有三种不同速度的信号机器中，抽象几何计算下的累积现象。研究证明，当所有速度比与距离比均为有理数时，累积是不可能的；但当存在无理数比时，累积则成为可能——这直接建立了无理性与通过模拟欧几里得算法实现超计算之间的联系。

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).

研究动机与目标

• 确定具有三种速度的信号机器在时空图中产生累积点的最小条件。
• 分析信号速度与初始距离之间有理比与无理比在促进或阻止累积中的作用。
• 建立累积与欧几里得算法（最大公约数计算）终止行为之间的联系。
• 描述具有有理型初始配置的三速度信号机器的动力学行为。
• 为基于几何信号传播的最小超计算系统提供理论基础。

提出的方法

• 作者将信号机器建模为在连续一维空间中以恒定速度移动的彩色线段系统，碰撞根据预定义规则生成新信号。
• 他们分析此类机器生成的时空图，重点关注信号是否收敛至共同的累积点。
• 关键技术是将任意三速度有理型机器简化为速度为 -1、0 和 ν 的规范形式，从而实现结果的普遍化。
• 引入基于网格的形式化方法（p,q,x₀,w,k）-mesh，以描述由有理初始距离与速度产生的规则且不发生累积的配置。
• 证明依赖于有理比导致全局最大公约数（gcd）结构，从而强制形成周期性且不累积的网格。
• 理论分析利用最大公约数（gcd）与可公度性的性质，区分欧几里得型过程的终止与非终止。

实验结果

研究问题

• RQ1 当所有速度比与距离比均为有理数时，三速度信号机器能否产生累积？
• RQ2 在何种条件下，三速度信号机器会在其时空图中生成累积点？
• RQ3 速度或初始距离之间存在无理比时，如何影响信号机器的动力学行为？
• RQ4 欧几里得算法的终止与信号机器中累积的有无之间存在何种关系？
• RQ5 仅具有三种速度的最小信号机器能否通过累积实现超计算？

主要发现

• 两速度信号机器无法产生任何累积，因为碰撞导致有限且规则的网格，不会发生收敛。
• 四速度信号机器可以产生累积，表明当速度超过三种时，累积是可能的。
• 在三速度有理型机器中——即所有速度与距离比均为有理数时——不会发生累积，因为系统被限制在周期性网格结构中。
• 当两个速度之间存在无理比时，三速度机器中可能发生累积，这导致欧几里得算法非终止并产生无限多信号。
• 当初始距离具有无理比时，累积也会发生，原因同样是最大公约数计算过程的非终止性。
• 本文建立了二元划分：当且仅当系统模拟了欧几里得算法的非终止实例时，才会发生累积，而这恰好发生在输入比为无理数时。