The Jordan Canonical Form for a Class of Zero–One Matrices

Let f:N→N be a function. Let An=(aij) be the n×n matrix defined by aij=1 if i=f(j) for some i and j and aij=0 otherwise. We describe the Jordan canonical form of the matrix An in terms of the directed graph for which An is the adjacency matrix. We discuss several examples including a connection with the Collatz 3n+1 conjecture.