🌀 nonlinear sciences

Collision-based logic in Lenia and its composition boundary

本文通过展示利用 Lenia 中 Orbium 飞行器（gliders）的碰撞来构建一个功能性 INHIBIT 门和一个两级 AND-NOT 链，证明了基于碰撞的逻辑在连续细胞自动机中是可能的，同时也强调了将偏转信号可靠地路由至下游门电路所面临的剩余挑战。

原作者： Chakshu Gupta

发布于 2026-09-02

📖 1 分钟阅读☕ 轻松阅读

CC BY 4.0

原作者： Chakshu Gupta

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

在广袤的计算领域中，存在着一个静谧的角落，那里的机器并不依赖硅芯片或电线，而是依赖于模式简单的、自组织的行为。想象一个由细胞组成的网格，每个细胞都持有一个可以随时间变化的数值，就像屏幕上的像素根据其邻居而变亮或变暗一样。在一种被称为连续细胞自动机（continuous cellular automaton）的特定数字宇宙中，这些细胞不仅仅是简单的开关切换；它们像流体一样流动，创造出移动、呼吸并能自我修复的形状。在这些形状中，存在着滑翔机（gliders），即一种微小的、自我推进的结构，它们在穿越网格时保持着直线行驶，并伴随着内在的节奏进行脉动。几十年来，科学家们一直在思考，这些移动的模式是否不仅仅只是存在而已；他们追问，这些滑翔机是否可以通过彼此碰撞来进行计算，从而充当一种计算机的构建模块，其中信息是通过模式的运动来传递的。这种理念被称为碰撞计算（collision-based computing），它已在其他数字系统甚至现实世界的化学反应中得到证实，但在 Lenia 这个流动的、连续的世界中，这种计算是否能自然涌现，仍然是一个悬而未决的问题。

一位佐治亚理工学院的研究人员着手回答这个问题，他将 Lenia 网格视为一个逻辑实验室。其目标是观察两个这样的移动滑翔机是否能在撞击在一起时产生可预测的结果，从而有效地创建一个能够开启或关闭信号的开关。这位科学家专注于一种名为 Orbium 的特定滑翔机，这是一种稳定的、具有呼吸感的形状，沿直线移动。通过精心安排第二个滑翔机横穿第一个滑翔机的路径，研究人员测试了碰撞是否可以阻断信号或让信号通过。实验涉及模拟数千次碰撞，改变了碰撞的精确时机以及滑翔机相遇的角度。结果表明，利用这些碰撞确实可以构建出一个逻辑门，即计算的基本组件。具体而言，研究人员构建了一个抑制门（INHIBIT gate），这种设备允许信号仅在第二个控制信号不存在时通过。当控制滑翔机存在时，它会将信号滑翔机从原定轨道上偏转，使其无法到达目的地。当控制信号不存在时，信号滑翔机会继续直线前进，成功到达输出端。

然而，这一成功伴随着特定的、狭窄的限制条件。碰撞必须极其精确；控制滑翔机必须撞击在距离信号中心非常特定的距离处，其误差范围仅为约四个像素。此外，无论碰撞发生在滑翔机呼吸周期的哪个精确时刻，逻辑门都必须能够正常工作。研究人员发现，该逻辑门在九个不同的位置以及滑ло翔机 24 步呼吸节奏的每一个相位下都能保持稳定，证明了该逻辑对于移动模式的自然波动具有鲁棒性。为了测试这种逻辑能走多远，研究人员将两个这样的逻辑门串联起来，创建了一个链条，使得信号可以被两个控制信号中的任何一个所阻断。这个链条运行完美，正确处理了所有可能的输入组合。然而，这一成功也揭示了该系统的局限性。虽然逻辑门可以进行直线连接，但该系统目前还无法排列成复杂的电路。主要的障碍在于，当滑翔机被碰撞偏转时，它并不会落在可预测的位置，也不会以可预测的方向行进。在一个完整的计算机中，信号必须能够转弯并精确地传递到下一个逻辑门，但在该模拟中，被偏转的滑翔机会发生漂移，其最终的位置和角度变化过大，以至于无法被下游设备可靠地捕捉。

该研究还调查了这些幸存的滑翔机在碰撞后是否可以被“清理”干净，这是在复杂电路中重复使用空间所必需的一步。研究人员寻找了一种能够吸收碰撞后剩余滑翔机的方法，试图寻找一种可以充当“垃圾收集器”的模式。在测试了各种形状和碰撞角度后，并未发现可重复使用的吸收器。有些碰撞确实破坏了滑翔机，但仅在非常特定且脆弱的时序条件下才会发生，一旦时序发生轻微偏移，这些条件就会失效。其他的碰撞则仅仅无法移除多余的质量。由于缺乏一种可靠的方法来清除路径上的幸存者，或者缺乏一种引导偏转信号回到固定轨道的方法，利用这些碰撞构建通用计算机的梦想仍然难以实现。论文结论指出，虽然基础构建模块已经存在，但将它们连接成更大系统的机械装置仍然缺失。问题已经从“这种逻辑门是否存在”（这已得到证实）转向了“能否将偏转后的信号以所需的精度传递到下一个逻辑门，从而构成一个工作的电路”。在找到一种方法来恢复转弯滑翔机的位姿与方向，或者吸收其幸存者之前，完全由碰撞、呼吸着的模式构建计算机的梦想，仍是一个尚未实现的可能。

技术摘要：Lenia 中的基于碰撞的逻辑及其组合边界

问题陈述
连续细胞自动机（CA），如 Lenia，能自发生成具有生命感的、自我推进的模式，例如 Orbium 滑翔机（glider）。虽然碰撞计算（即通过移动的局部化特征之间的相互作用来处理信息）在离散 CA（如 Rule 110）和连续物理介质（如 Belousov–Zhabotinsky 反应）中已得到证实，但在具有固定更新规则的连续 CA 中尚未得到证明。以往在神经 CA 中的研究是通过梯度下降将逻辑训练进更新规则中，而本文研究的是通用的碰撞计算是否能从固定规则的相互作用中涌现。核心问题在于：像 Lenia 这样具有固定规则的自动机是否可以支持由碰撞滑翔机形成的逻辑门，以及如果可以，这些逻辑门是否可以组合成复杂的电路。

方法论
本研究使用标准的 Lenia 基质，并以 Orbium 滑翔机作为信号载体。研究方法包括：

模拟： 在周期性方格网上进行双精度模拟，演化实值场 $A \in [0, 1]$ 。更新规则涉及将场与径向核 $K$ 进行卷积以生成势能 $U$ ，应用增长函数 $G(U)$ ，并对结果进行裁剪。
逻辑编码： 通过特定轨迹上是否存在（1）或不存在（0）滑翔机来编码逻辑位。逻辑门由一个“信号”滑翔机（ $S$ ）和一个“控制”滑翔机（ $C$ ）的碰撞形成。控制滑翔机是信号滑翔机的 $D_4$ 对称图像（旋转/反射）。
碰撞分析： 根据最终的场质量和连接“斑块”（ $A > 0.10$ 的区域）的数量对碰撞结果进行分类。结果包括湮灭、爆炸、合并、生存或错过。
逻辑门构建： 作者寻找一种几何结构，使控制滑翔机能够将信号滑翔机从其输出轨道上偏转出去，而不破坏两者。输出是在信号原始轨迹上的固定窗口处读取的。
鲁棒性测试： 系统在 Orbium 滑翔机所有 24 个呼吸周期的相位下进行了测试，并针对各种整数碰撞参数（ $b$ ）进行了测试，以确保相位稳定性。
组合与前提条件测试： 作者测试了逻辑门的串联组合，并调查了四种不同的连续 CA 规则类型（标准 Lenia、渐近 Lenia、SmoothLife、Glaberish），以确定“偏转前提条件”（在两个滑翔机都保持完好的情况下存活下来的碰撞）是通用的还是 Orbium 特有的。

主要贡献与结果

构建了抑制门（INHIBIT Gate）： 本文成功利用 Orbium 滑翔机构建了一个抑制门（ $out = S \land \neg C$ ）。在这种配置中，控制滑翔机垂直穿过信号路径。如果控制滑翔机存在，它会将信号偏转出输出轨道（输出 0）；如果不存在，信号则直接通过（输出 1）。
相位鲁棒性： 该逻辑门在滑翔机 24 个呼吸周期的所有相位下都是鲁棒的。它在九个整数碰撞偏移量（ $b = 0$ 到 $8 $）下都能正常工作。在测试的$ b=0 $到$ 13$ 范围内，该逻辑门在 89% 的测试点上能有效阻断信号，尽管更精细的扫描显示在非整数偏移量处存在泄漏。
串联组合： 两个此类逻辑门可以串联组合，形成一个 AND-NOT 链（ $out = S \land \neg C_1 \land \neg C_2$ ）。该链条对所有八种输入组合都能产生正确的输出。至关重要的是，这种特定的组合之所以有效，是因为该链条仅在没有任何控制滑翔机存在时才输出“1”，这意味着链条内部不需要处理任何“存活的偏转滑翔机”。
组合边界： 本文确定了在单个直线链之外组合这些逻辑门的硬性限制。实现通用电路所需的两项能力尚未得到证实：
1. 传输（Delivery）： 被偏转的信号无法被恢复到固定的位置或航向。其退出航向的圆周标准差为 8–14°，且在下游 70 像素距离内的着陆点扩散约 16 像素。研究中未发现能够纠正此现象的“恢复装置”（反射器或波导）。
2. 处置（Disposal）： 未发现可重复使用的吸收器来清除那些会造成通用电路混乱的存活偏转滑翔机。对“相互湮灭吃子”和“静态静止型”的搜索均未产生具有相位鲁棒性或可重复使用的解决方案。
偏转前提条件的通用性： 对四种连续 CA 规则类型和十种其他 Lenia 物种的调查显示，Orbium 是唯一被证明能在两个拷贝都保持完好的情况下存活下来的模式。其他物种要么失去相干性，要么无法形成孤立的滑翔机，或者产生不可重复的碰撞（例如 Glaberish）。

意义与主张
本文声称，虽然 Lenia 中存在功能性的逻辑门，但该系统目前尚无法支持通用的碰撞计算。这项工作的意义在于缩小了开放性问题的范围：存在逻辑门已不再是障碍；真正的障碍在于传输（将偏转后的信号传送到下游门）以及处置（吸收碰撞后的存活者）。

作者明确表示，他们并不声称构建了一台工作的计算机，也没有证明 Lenia 不可能承载计算机。相反，他们证明了眼前的障碍是缺乏纠正偏转信号的位置/航向以及吸收存活者的机制。本文的结论是，虽然“编码”（滑翔机的存在）是有效的，但“路由”（在相互作用后将数值保持在已知路径上）在自由空间 Lenia 中仍未得到证实，这将其与其他将信号限制在固定路径中或进行主动恢复的基质区分开来。

技术摘要：Lenia 中的基于碰撞的逻辑及其组合边界

类似论文