Integrality of matrices, finiteness of matrix semigroups, and dynamics of linear cellular automata

by   Alberto Dennunzio, et al.

Let K be a finite commutative ring, and let L be a commutative K-algebra. Let A and B be two n × n-matrices over L that have the same characteristic polynomial. The main result of this paper states that the set { A^0,A^1,A^2,...} is finite if and only if the set { B^0,B^1,B^2,...} is finite. We apply this result to the theory of discrete time dynamical systems. Indeed, it gives a complete and easy-to-check characterization of sensitivity to initial conditions and equicontinuity for linear cellular automata over the alphabet K^n for K = Z/mZ, i.e. cellular automata in which the local rule is defined by n× n-matrices with elements in Z/mZ. To prove our main result, we derive an integrality criterion for matrices that is likely of independent interest. Namely, let K be any commutative ring (not necessarily finite), and let L be a commutative K-algebra. Consider any n × n-matrix A over L. Then, A ∈L^n × n is integral over K (that is, there exists a monic polynomial f ∈K[t] satisfying f(A) = 0) if and only if all coefficients of the characteristic polynomial of A are integral over K. The proof of this fact relies on a strategic use of exterior powers (a trick pioneered by Gert Almkvist).


page 1

page 2

page 3

page 4


Diddy: a Python toolbox for infinite discrete dynamical systems

We introduce Diddy, a collection of Python scripts for analyzing infinit...

Stable finiteness of twisted group rings and noisy linear cellular automata

For linear non-uniform cellular automata (NUCA) which are local perturba...

Subgroups of an abelian group, related ideals of the group ring, and quotients by those ideals

Let RG be the group ring of an abelian group G over a commutative ring R...

Skew constacyclic codes over a non-chain ring F_q[u,v]/〈 f(u),g(v), uv-vu〉

Let f(u) and g(v) be two polynomials of degree k and ℓ respectively, not...

Cellular Cohomology in Homotopy Type Theory

We present a development of cellular cohomology in homotopy type theory....

Relationship of Two Discrete Dynamical Models: One-dimensional Cellular Automata and Integral Value Transformations

Cellular Automaton (CA) and an Integral Value Transformation (IVT) are t...

Linear Programs with Polynomial Coefficients and Applications to 1D Cellular Automata

Given a matrix A and vector b with polynomial entries in d real variable...

Please sign up or login with your details

Forgot password? Click here to reset