[論文レビュー] Topological transitivity of group cellular automata is decidable

Niccolò Castronuovo, Alberto Dennunzio+1 more|arXiv (Cornell University)|Jan 22, 2026

Cellular Automata and Applications被引用数 0

ひとこと要約

要約: 本論文は、群セルラー automata における位相的遍在性が任意の次数・任意の有限群に対して決定可能であることを示し、関連する力学的性質の決定可能性を導出する。

ABSTRACT

Topological transitivity is a fundamental notion in topological dynamics and is widely regarded as a basic indicator of global dynamical complexity. For general cellular automata, topological transitivity is known to be undecidable. By contrast, positive decidability results have been established for one-dimensional group cellular automata over abelian groups, while the extension to higher dimensions and to non-abelian groups has remained an open problem. In this work, we settle this problem by proving that topological transitivity is decidable for the class of $d$-dimensional ($d\geq 1$) group cellular automata over arbitrary finite groups. Our approach combines a decomposition technique for group cellular automata, reducing the problem to the analysis of simpler components, with an extension of several results from the existing literature in the one-dimensional setting. As a consequence of our results, and exploiting known equivalences among dynamical properties for group cellular automata, we also obtain the decidability of several related notions, including total transitivity, topological mixing and weak mixing, weak and strong ergodic mixing, and ergodicity.

研究の動機と目的

• セルラーオートマタにおけるグローバルな動的複雑性の指標として、位相的遍在性を動機づける。
• 言葉の陪集 subgroup を用いた分解技法を開発し、位相的遍在性を保存する。
• アベリアンおよび非アベリアンの GCA に対する位相的遍在性の決定手続きを提供する。
• 位相的遍在性が GCA 内のいくつかの関連する動力特性を含意することを示す。
• 任意の有限群上の GCA に対して位相的遍在性を決定する明示的アルゴリズムを確立する。

提案手法

• VerbalDecomposition を導入し、言葉の subgroup を商により GCAs を分割する。
• 分解をまたいで遍在性が保存されることを証明する（定理1）。
• 可換の場合を多変数のローラン多項式による行列表現で扱い、特性多項式を分析する（定理2–3）。
• 非可換な単純ケースを、最小成分と単射性を分析して扱う（定理4）。
• 結果を組み合わせて、任意の有限群上の GCAs に対する完全な決定アルゴリズム IsTransitive を得る（定理5）。

実験結果

リサーチクエスチョン

• RQ1 1 次元の可換設定を超える GCAs に対して位相的遍在性を決定できるか。
• RQ2 言葉の subgroup による分解が遍在性を保存し、より簡単な成分への還元を可能にするか。
• RQ3 同型な単純群の直積上の GCA に対して、可換・非可換の両ケースで遍在性が決定可能か。
• RQ4 動力学的性質の既知の同値性をどう活用して、GCAs の混合性・エルゴード性等の関連性を決定できるか。
• RQ5 任意の有限群上の GCA に対して遍在性を決定する明示的アルゴリズムは何か。

主な発見

• d次元の GCA が任意の有限群上で位相的遍在性を決定可能である。
• Verbal-decomposition 技術により、非自明な verbal subgroups を含まない成分へと GCA を分解できる。
• 可換の場合、遍在性は全射性と特性多項式の gcd 条件により特徴づけられる。
• 非可換の単純ケースでは、全射かつ最小な GCA に対して、置換順序の算術条件によって遍在性が決定可能である。
• 全体の決定手続き IsTransitive は、分解と各成分の決定可能性を組み合わせて得られる。