Here’s an irreducible train track map whose transition matrix has characteristic polynomial
x^12 - x^7 - x^6 - x^5 + 1
It represents an outer automorphism of a free group of rank 10, which is a good deal higher than the theoretical minimum of 6. Maybe we cannot go lower, which would surprise me!
