生命的最终命运并非共享
The Ultimate Fate of Life Is Not Shared
浏览论文内容
中文总结 AI 辅助
本研究证明康威生命游戏极限集中存在两个固定有限图案可各自出现但永不共存，即空间平移作用非拓扑传递，通过持久标记迫使周期通道相交并产生矛盾，辅以计算机验证。
中文摘要 AI 辅助
康威生命游戏的极限集收集了在任意晚时刻仍可能出现的构型：那些具有任意有限深度前驱的构型。回答Salo和Törmä（ICALP 2022）的问题，我们证明两个固定的有限图案可以各自出现在极限集中，却永远无法在其中的任何单一构型中同时出现，无论相对位置如何；等价地，极限集上的空间平移作用不是拓扑传递的。我们的方法是让一个持久标记迫使周期通道在足够深的前驱中增长，直到两条垂直通道被迫相交并在公共细胞处规定不兼容的值。该论证使用两个计算机验证的局部蕴含。
英文摘要
The limit set of Conway's Game of Life collects the configurations that can still appear at arbitrarily late times: those admitting predecessors of every finite depth. Answering a question of Salo and Törmä (ICALP 2022), we prove that two fixed finite patterns can each occur in the limit set, yet can never be found together in a single configuration of it, at any relative position; equivalently, the spatial translation action on the limit set is not topologically transitive. Our method is to make a persistent marker force a periodic lane to grow in sufficiently deep predecessors, until two perpendicular lanes are forced to intersect and prescribe incompatible values at a common cell. The argument uses two computer-verified local implications.
发表机构
- Xi’an Jiaotong University（西安交通大学）
- OrnisResearch（奥尼斯研究）
- University of Connecticut（康涅狄格大学）
机构由 AI 辅助整理，请以论文原文为准。
