Mortality of iterated piecewise affine functions over the integers: Decidability and complexity

Abstract

In the theory of discrete-time dynamical systems, one studies the limiting behaviour of processes defined by iterating a fixed function f over a given space. A much-studied case involves piecewise ane functions on R n . Blondel et al. (2001) studied the decidability of questions such as mortality for such functions with rational coecients. Mortality means that every trajectory includes a 0; if the iteration is seen as a loop while (x6 0) x := f(x), mortality means that the loop is guaranteed to terminate. Blondel et al. proved that the problems are undecidable when the dimension n of the state space is at least two. They assume that the variables range over the rationals; this is an essential assumption. From a program analysis (and discrete Computability) viewpoint, it would be more interesting to consider integer-valued variables. This paper establishes (un)decidability results for the integer setting. We show that also over integers, undecidability (moreover, 0 completeness) begins at two dimensions. We further investigate the eect of several restrictions on the iterated functions. Specifically, we consider bounding the size of the partition defining f, and restricting the coecients of the linear components. In the decidable cases, we give complexity results. The complexity is PTIME for ane functions, but for piecewise-ane ones it is PSPACE-complete. The undecidability proofs use some variants of the Collatz problem, which may be of independent interest. 1998 ACM Subject Classification F.1.0 Computation by abstract devices ‐ General