English
Related papers

Related papers: On algebraic cellular automata

200 papers

Let G be a semisimple group over an algebraically closed field of characteristic p>0. We give a (partly conjectural) simple, closed formula for the character of many indecomposable tilting rational G-modules, assuming that p is large.

Representation Theory · Mathematics 2015-02-18 George Lusztig , Geordie Williamson

For an arbitrary group $G$ and arbitrary set $A$, we define a monoid structure on the set of all uniformly continuous functions $A^G\to A$ and then we show that it is naturally isomorphic to the monoid of cellular automata $\mathrm{CA}(G,…

Group Theory · Mathematics 2019-01-30 M. Shahryari

Quantum cellular automata consist in arrays of identical finite-dimensional quantum systems, evolving in discrete-time steps by iterating a unitary operator G. Moreover the global evolution G is required to be causal (it propagates…

Quantum Physics · Physics 2019-09-09 Pablo Arrighi

Computational power can be measured by assigning an algebraic structure to a computational device. Here, we convert a small patch of Conway's Game of Life into a transformation semigroup. The conversion captures not only time evolution but…

Cellular Automata and Lattice Gases · Physics 2026-04-17 Attila Egri-Nagy , Chrystopher L. Nehaniv

Cellular Automata (CA) are discrete dynamical systems and an abstract model of parallel computation. The limit set of a cellular automaton is its maximal topological attractor. A well know result, due to Kari, says that all nontrivial…

Dynamical Systems · Mathematics 2009-02-10 Pietro Di Lena , Luciano Margara

Over an arbitrary commutative ring $R$, we develop a theory of quantum cellular automata. We then use algebraic K-theory to construct a space $\mathbf{Q}(X)$ of quantum cellular automata (QCA) on a given metric space $X$. In most cases of…

Algebraic Topology · Mathematics 2026-03-04 Mattie Ji , Bowen Yang

Cellular automata are a discrete dynamical system which models massively parallel computation. Much attention is devoted to computations with small time complexity for which the parallelism may provide further possibilities. In this paper,…

Formal Languages and Automata Theory · Computer Science 2012-08-15 Anaël Grandjean , Gaétan Richard , Véronique Terrier

Regular groups and fields are common generalizations of minimal and quasi-minimal groups and fields, so the conjectures that minimal or quasi-minimal fields are algebraically closed have their common generalization to the conjecture that…

Logic · Mathematics 2012-11-19 Tomasz Gogacz , Krzysztof Krupinski

In a recent paper Sutner proved that the first-order theory of the phase-space $\mathcal{S}_\mathcal{A}=(Q^\mathbb{Z}, \longrightarrow)$ of a one-dimensional cellular automaton $\mathcal{A}$ whose configurations are elements of…

Logic in Computer Science · Computer Science 2010-10-01 Olivier Finkel

Quantum cellular automata (QCA) are reviewed, including early and more recent proposals. QCA are a generalization of (classical) cellular automata (CA) and in particular of reversible CA. The latter are reviewed shortly. An overview is…

Quantum Physics · Physics 2008-08-06 K. Wiesner

We introduce tabular algebras, which are simultaneous generalizations of cellular algebras (in the sense of Graham-Lehrer) and table algebras (in the sense of Arad-Blau). We show that if a tabular algebra is equipped with a certain kind of…

Quantum Algebra · Mathematics 2007-05-23 R. M. Green

There exists algorithms to detect reversibility of cellular automaton (CA) for both finite and infinite lattices taking quadratic time. But, can we identify a $d$-state CA rule in constant time that is always reversible for every lattice…

Formal Languages and Automata Theory · Computer Science 2026-03-06 Baby C. J. , Kamalika Bhattacharjee

This talk advocates intrinsic universality as a notion to identify simple cellular automata with complex computational behavior. After an historical introduction and proper definitions of intrinsic universality, which is discussed with…

Computational Complexity · Computer Science 2009-06-18 Nicolas Ollinger

We present an intuitive formalism for implementing cellular automata on arbitrary topologies. By that means, we identify a symmetry operation in the class of elementary cellular automata. Moreover, we determine the subset of topologically…

Cellular Automata and Lattice Gases · Physics 2009-11-13 Carsten Marr , Marc-Thorsten Huett

We study implications of expansiveness and pointwise periodicity for certain groups and semigroups of transformations. Among other things we prove that every pointwise periodic finitely generated group of cellular automata is necessarily…

Dynamical Systems · Mathematics 2017-06-30 Tom Meyerovitch , Ville Salo

We introduce cellular automata whose cell spaces are left homogeneous spaces and prove a uniform as well as a topological variant of the Curtis-Hedlund-Lyndon theorem. Examples of left homogeneous spaces are spheres, Euclidean spaces, as…

Group Theory · Mathematics 2016-07-15 Simon Wacker

A Cellular Automata (CA) is a computing model of complex System using simple rule. In CA the problem space into number of cell and each cell can be one or several final state. Cells are affected by neighbours' to the simple rule. Cellular…

Cryptography and Security · Computer Science 2010-06-15 Debasis Das , Abhishek Ray

We give an automata-theoretic description of the algebraic closure of the rational function field F_q(t) over a finite field, generalizing a result of Christol. The description takes place within the Hahn-Mal'cev-Neumann field of…

Commutative Algebra · Mathematics 2007-05-23 Kiran S. Kedlaya

We consider reversible and surjective cellular automata perturbed with noise. We show that, in the presence of positive additive noise, the cellular automaton forgets all the information regarding its initial configuration exponentially…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-03-21 Siamak Taati

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…

Formal Languages and Automata Theory · Computer Science 2026-01-26 Niccolò Castronuovo , Alberto Dennunzio , Luciano Margara