聖塔非研究所

Commuting 細胞自動機

2026-03-18 · 工作論文 · 更新 2026/03/18 下午11:12

摘要 我們研究兩個元胞自動機可以通勤的代數條件。我們證明,如果任一規則是置換的,即在其最左邊和最右邊的輸入上是一對一的,則另一個規則可以用它來編寫;如果任一規則是群,則另一規則在群中是線性的;如果其中一個是置換且仿射的,即線性至常數,則另一個也必須是仿射的。我們也證明了關於恆等式、冪等(靜止狀態)和零(吸收狀態)存在的一些簡單結果。

本頁只刊出中文翻譯與中文說明;英文原文請見下方原文連結。

原文連結

論文資訊

  • 類型:工作論文
  • 編號:工作論文 #1124
  • 日期:2026-03-18

摘要

我們研究兩個元胞自動機可以通勤的代數條件。我們證明,如果任一規則是置換的,即在其最左邊和最右邊的輸入上是一對一的,則另一個規則可以用它來編寫;如果任一規則是群,則另一規則在群中是線性的;如果其中一個是置換且仿射的,即線性至常數,則另一個也必須是仿射的。我們也證明了關於恆等式、冪等(靜止狀態)和零(吸收狀態)存在的一些簡單結果。