Linear dynamical systems over finite rings (Q1024384)

Determining whether a linear dynamical system over a finite commutative ring is a fixed point system is a difficult problem due to the lack of unique factorization of the characteristic polynomial and minimal polynomial of the system. In this paper, the authors derive an efficient algorithm which can achieve the goal in \(O(n^3\log(n\log(q)))\) time where \(n\) is the dimension of the system and \(q\) is the number of elements of the commutative ring.