Generation by lazy and invertible cellular automata over the Klein four-group
Let $G=C_2\times C_2$ and $A=\{0,1\}$. We characterize the submonoid of $\text{CA}(G;A)$ generated by lazy and invertible cellular automata. A cellular automaton belongs to this submonoid if and only if, whenever it maps the two free $G$-orbits onto the same free orbit, it maps both constant configurations and some two-point orbit to the same constant. The proof gives a factorization using elementary orbit collapses and three two-cell lazy maps. The criterion yields the cardinality $59\,712$ and identifies the maps missed by a weaker constant-separation invariant. Adjoining one idempotent…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.20329
curl -X POST /api/v1/records/arxiv/2610.20329/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.20329/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'