An algebraic characterization of expanding Thurston maps
Let be a postcritically finite branched covering map without periodic branch points. We give necessary and sufficient algebraic conditions for to be homotopic, relative to its postcritical set, to an expanding map .