Minimum-dimension trace maps for substitution sequences

Abstract
We construct trace maps for products of 2×2 matrices generated by arbitrary substitution sequences. The dimension of the underlying space of our trace map is the minimal possible, namely 3r-3 for an alphabet of size r≥2.