[論文レビュー] 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

ひとこと要約

本稿は、1次元可逆セルオートマトン（1D RCA）に対してネーターに類似した定理を提案し、加法的保存則が基礎となる半中心ビグループォイド構造におけるインデックス2の最大合同関係と完全に一致することを示している。服部と竹江の保存則に関する結果を用いて、低次の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.

研究の動機と目的

• 1次元可逆セルオートマトン（1D RCA）における加法的保存則の背後にある代数的構造を調査すること。
• 1D RCAにおける保存則が、局所代数的構造におけるインデックス2の最大合同関係によって完全に特徴づけられるかどうかを特定すること。
• 保存則と最大合同関係による長方形構造の因子分解との間の対応を確立すること。
• 1D RCAにおけるすべての加法的保存則がこのような合同関係から生じるかどうかを検討し、連続系におけるネーターの定理を離散的・可逆的系へ一般化すること。

提案手法

• 2値局所規則を有する1D RCAにおける加法的保存則を分析するため、服部＝竹江フレームワークを用いる。
• 1D RCAのグローバルなダイナミクスを、特定の同一元と長方形構造の性質を持つ半中心ビグループォイド（A, ⋅, o）として表現する。
• 保存則をビグループォイドから2要素の半中心ビグループォイドへの準同型写像として特徴づけ、特に法則の値によって定義される2項演算の下で{0,1}への写像として扱う。
• 各{0,1}-基底を持つ保存則が、代数的構造におけるインデックス2の最大合同関係に対応することを同定する。
• 保存則方程式の行列表現を用いて核空間を分析し、テストされたすべてのケースで、このような保存則がすべてこれらの合同関係から生じることを示す。
• 長方形構造の組合せ的性質と直交分割を用いて、代数的構造と保存則の存在を結びつける。

実験結果

リサーチクエスチョン

• RQ1 1次元可逆セルオートマトンにおけるすべての加法的保存則は、基礎となる半中心ビグループォイドにおけるインデックス2の最大合同関係から生じるか。
• RQ2 保存則空間の基底と代数的構造におけるサイズ2の最大合同関係との間に一対一対応が存在するか。
• RQ3 1D RCAにおける保存則空間は、局所規則から導かれる構造化された行列の核空間によって完全に記述可能か。
• RQ4 1D RCAにおけるすべての保存則は{0,1}-基底を持つとみなし、2進剰余代数と直接的な関係があるとみるべきか。
• RQ5 合同関係に基づく基底によって示唆されるように、保存則ベクトル空間の次元は体の選択に依存しないか。

主な発見

• 1D RCAの次数≤9で観察されたすべての加法的保存則は{0,1}-基底を持つことが判明し、普遍的な代数的起源を示唆している。
• 各保存則は、半中心ビグループォイドから2要素の半中心ビグループォイドへの準同型写像として表現され、これはインデックス2の最大合同関係と同値である。
• 著者らは、非自明な保存則基底と代数的構造におけるインデックス2の最大合同関係との間の一対一対応が存在すると仮説を立てる。
• テストされたすべてのケースにおいて、保存則行列の核空間は{0,1}-値関数によって張られ、すべての保存則がこのような合同関係から生成されることを示している。
• ビグループォイドの長方形構造が分割可能であることは、かつはインデックス2の最大合同関係を許容することと同値であり、幾何的性質と代数的性質を結びつける。
• 本研究は、1D RCAにおける保存則が、元来のネーターの定理における自己同型や対称性ではなく、合同関係による構造の因子分解に根本的に関係していると示唆している。