Skip to content
DraconiticResearch
Search Sources API
197,785 studies31 sourcesUpdated 24 min ago
PreprintarXiv licencearXiv

A characterization of the reversibility of linear cellular automata

Abstract

Let G be a group, let 𝕂 be a field, and let V be a 𝕂-vector space. We prove that there exists a bijective linear cellular automaton VGβ†’ VG whose inverse is not a cellular automaton if and only if G is not locally finite and dim𝕂V β‰₯ |𝕂|β„΅0. In particular, |𝕂|β„΅0 is the exact dimension threshold for non-reversibility. This answers an open problem proposed by T. Ceccherini-Silberstein and M. Coornaert.

Related

  1. Generalized linear cellular automata in groups and difference Galois theory II
    David BlΓ‘zquez-Sanz, Mario Alejandro Vergara Tapiero
    arXivPreprintarXiv licenceFull textAlgebra & number theoryDynamical systemsarXiv
  2. Gardens of Eden and amenability on cellular automata
    Laurent Bartholdi
    Journal of the European Mathematical SocietyPeer-reviewedLicence not statedFull text28 citedAlgebra & number theoryHAL
  3. Random Cellular Automata and deBruijn Graphs
    Janko Gravner, Travis Kulhanek
    arXivPreprintarXiv licenceFull textProbabilityStatistical & nonlinear physicsarXiv
  4. When do lazy and invertible cellular automata generate all cellular automata?
    Edgar AlcalΓ‘-Arroyo, Alonso Castillo-Ramirez
    arXivPreprintarXiv licenceFull textAlgebra & number theoryDynamical systemsarXiv
  5. Elementary cellular automata: spectral properties of Koopman operator for finite periodic realizations
    Qingying Zhu, Serge Richard
    arXivPreprintCC BY 4.0Full textAnalysis & PDEsarXiv
BibTeX
@misc{castilloramirez2026characterization,
  title = {{A characterization of the reversibility of linear cellular automata}},
  author = {Alonso Castillo-Ramirez},
  howpublished = {arXiv},
  year = {2026},
  month = oct,
  doi = {10.48550/arxiv.2608.20600},
  eprint = {2608.20600},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2608.20600},
}
RIS
TY  - UNPB
TI  - A characterization of the reversibility of linear cellular automata
AU  - Alonso Castillo-Ramirez
PY  - 2026
DA  - 2026/10/26
PB  - arXiv
DO  - 10.48550/arxiv.2608.20600
UR  - https://arxiv.org/abs/2608.20600
AB  - Let G be a group, let 𝕂 be a field, and let V be a 𝕂-vector space. We prove that there exists a bijective linear cellular automaton V^Gβ†’ V^G whose inverse is not a cellular automaton if and only if G is not locally finite and dim_𝕂V β‰₯ |𝕂|^β„΅_0. In particular, |𝕂|^β„΅_0 is the exact dimension threshold for non-reversibility. This answers an open problem proposed by T. Ceccherini-Silberstein and M. Coornaert.
ER  -