[论文解读] Towards a Noether-like conservation law theorem for one dimensional reversible cellular automata

Tim Boykett|ArXiv.org|Dec 1, 2003

Cellular Automata and Applications参考文献 2被引用 6

一句话总结

本文為一維可逆細胞自動機（1D RCA）提出了一個類諾特定理，表明加法性守恆定律恰好對應於其底層半中心雙群胚結構中的指數為2的最大同餘。利用Hattori與Takesue關於守恆定律的研究成果，作者證明在低階1D RCA中所觀察到的所有守恆定律均具有{0,1}-基，進而提出猜想：此類守恆定律可完全由這些同餘所表徵——類比於連續系統中的諾特定理，但其基礎為代數同餘而非對稱性。

ABSTRACT

Evidence and results suggesting that a Noether--like theorem for conservation laws in 1D RCA can be obtained. Unlike Noether's theorem, the connection here is to the maximal congruences rather than the automorphisms of the local dynamics. We take the results of Takesue and Hattori (1992) on the space of additive conservation laws in one dimensional cellular automata. In reversible automata, we show that conservation laws correspond to the null spaces of certain well-structured matrices. It is shown that a class of conservation laws exist that correspond to the maximal congruences of index 2. In all examples investigated, this is all the conservation laws. Thus we conjecture that there is an equality here, corresponding to a Noether--like theorem.

研究动机与目标

• 探討一維可逆細胞自動機（1D RCA）中加法性守恆定律的代數結構。
• 確定1D RCA中的守恆定律是否可完全由其局部代數結構中的指數2最大同餘所表徵。
• 建立守恆定律與透過最大同餘對長方形結構進行分解之間的對應關係。
• 探討1D RCA中所有加法性守恆定律是否皆源自於此類同餘，從而將諾特定理推廣至離散且可逆的系統。

提出的方法

• 使用Hattori-Takesue框架分析具有二元局部規則的1D RCA中的加法性守恆定律。
• 將1D RCA的全局動態表示為具有特定恆等元與長方形結構性質的半中心雙群胚（A, ⋅, o）。
• 將守恆定律表徵為從雙群胚到二元半中心雙群胚的同態，特別是將其映射至{0,1}，並由定律值定義的二元運算所決定。
• 識別出每一個具有{0,1}-基的守恆定律皆對應於代數結構中的一個指數2最大同餘。
• 運用守恆定律方程的矩陣表示來分析零空間，顯示在所有測試案例中，所有此類守恆定律皆源自於這些同餘。
• 利用長方形結構與正交分劃的組合性質，將代數結構與守恆定律的存在性聯結起來。

实验结果

研究问题

• RQ1 所有一維可逆細胞自動機中的加法性守恆定律是否皆源自於其底層半中心雙群胚中的指數2最大同餘？
• RQ2 守恆定律空間的基與代數結構中大小為2的最大同餘之間是否存在一一對應關係？
• RQ3 1D RCA中的守恆定律空間是否可完全由來自局部規則的結構化矩陣的零空間所描述？
• RQ4 1D RCA中的每一個守恆定律是否都具有{0,1}-基，從而暗示與二元商代數的直接關聯？
• RQ5 如同餘基所建議的那樣，守恆定律向量空間的維數是否與域的選擇無關？

主要发现

• 在階數≤9的1D RCA中所觀察到的所有加法性守恆定律均具有{0,1}-基，暗示其具有普遍的代數來源。
• 每一項此類守恆定律皆對應於從半中心雙群胚到二元半中心雙群胚的同態，這等價於指數2的最大同餘。
• 作者提出猜想：非平凡守恆定律基與代數結構中的指數2最大同餘之間存在一一對應關係。
• 在所有測試案例中，守恆定律矩陣的零空間均由{0,1}-取值函數張成，顯示所有守恆定律皆由此類同餘生成。
• 當且僅當雙群胚具有指數2的最大同餘時，其長方形結構才可被分劃，從而將幾何性質與代數性質聯結起來。
• 本研究表明，1D RCA中的守恆定律本質上與透過同餘對代數結構進行分解有關，而非如諾特定理原始形式中所依賴的自同構或對稱性。