发表机构
College of Computing, Georgia Institute of Technology（佐治亚理工学院计算学院）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
本文以Lenia的Orbium滑翔机碰撞构造INHIBIT门，实现AND-NOT链，验证其在全部输入组合下正确，但偏转信号无法路由至链外，需解决信号传输问题以推进门的组合。
AI 中文摘要
诸如Lenia这类连续细胞自动机可自发产生类似生命的自推进模式，包括Orbium滑翔机，其沿直线移动的同时会以固定呼吸周期脉动。基于碰撞的逻辑是指移动模式通过碰撞进行计算，该逻辑已在离散细胞自动机和连续物理介质中确立。在连续细胞自动机中，计算迄今是通过训练规则实现，而非从碰撞中涌现，而像Lenia这类固定规则的自动机是否能支持通用基于碰撞的计算仍是悬而未决的问题。本文通过Orbium滑翔机的碰撞构造了一个INHIBIT（抑制）门。在对四种连续CA规则类型搜索到的模式中，Orbium滑翔机是唯一在碰撞后能完整保留两个副本的模式。控制滑翔机可使信号滑翔机偏离其输出线，因此仅当无控制时输出才携带信号。该门在呼吸周期的全部24个相位以及控制的9个整数偏移量下均能实现阻断。两个此类门串联，结合一条信号线路和两个控制，可组合成一个AND-NOT链，在全部8种输入组合下均正确。相比之下，将信号路由到该单链之外的情况尚未得到验证，偏转后的信号无法恢复到固定着陆位置，且未找到用于保留滑翔机的可重复吸收器。因此，Lenia中基于碰撞的计算的直接开放问题从“是否存在门”缩小为“偏转后的信号能否被传输到下游门”，这是将门组合成单一直线链之外的下一步要求。
英文摘要
Continuous cellular automata such as Lenia spontaneously produce lifelike, self-propelling patterns, including the Orbium glider, which travels in a straight line while pulsing through a fixed breathing cycle. Collision-based logic, where moving patterns compute by colliding, is established in discrete cellular automata and continuous physical media. Within continuous cellular automata, computation has so far been trained into the rule rather than emerging from collisions, and whether a fixed-rule automaton like Lenia can support general collision-based computation remains open. This paper constructs an INHIBIT gate from collisions of the Orbium glider. Of the patterns searched across four continuous-CA rule types, the Orbium glider is the only one shown to survive a collision with both copies intact. A control glider deflects a signal glider off its output line, so the output carries a signal only when no control is present. The gate blocks across all twenty-four phases of the breathing cycle and nine integer offsets of the control. Two such gates in series, with one signal line and two controls, compose into an AND-NOT chain, correct on all eight input combinations. By contrast, routing a signal beyond that single chain is undemonstrated. A deflected signal is not restored to a fixed landing position, and no reusable absorber for the surviving gliders was found. The immediate open question for collision-based computation in Lenia therefore narrows from whether a gate exists to whether a deflected signal can be delivered to a downstream gate, the next requirement for composing the gate beyond a single straight chain.
Comments12 pages, 6 figures, 3 tables; code at github.com/ChakshuGupta13/lab
