Knuth-Bendix algorithm and the conjugacy problems in monoids

We present an algorithmic approach to the conjugacy problems in monoids, using rewriting systems. We extend the classical theory of rewriting developed by Knuth and Bendix to a rewriting that takes into account the cyclic conjugates.Comment: This is a new version of the paper 'The conjugacy problems in monoids and semigroups'. This version will appear in the journal 'Semigroup forum

On braid monodromy factorizations

We introduce and develop a language of semigroups over the braid groups for a study of braid monodromy factorizations (bmf's) of plane algebraic curves and other related objects. As an application we give a new proof of Orevkov's theorem on realization of a bmf over a disc by algebraic curves and show that the complexity of such a realization can not be bounded in terms of the types of the factors of the bmf. Besides, we prove that the type of a bmf is distinguishing Hurwitz curves with singularities of inseparable types up to $H$-isotopy and $J$-holomorphic cuspidal curves in \C P^2 up to symplectic isotopy.Comment: 52 pages, AMS-Te

Entropy in Dimension One

This paper completely classifies which numbers arise as the topological entropy associated to postcritically finite self-maps of the unit interval. Specifically, a positive real number h is the topological entropy of a postcritically finite self-map of the unit interval if and only if exp(h) is an algebraic integer that is at least as large as the absolute value of any of the conjugates of exp(h); that is, if exp(h) is a weak Perron number. The postcritically finite map may be chosen to be a polynomial all of whose critical points are in the interval (0,1). This paper also proves that the weak Perron numbers are precisely the numbers that arise as exp(h), where h is the topological entropy associated to ergodic train track representatives of outer automorphisms of a free group.Comment: 38 pages, 15 figures. This paper was completed by the author before his death, and was uploaded by Dylan Thurston. A version including endnotes by John Milnor will appear in the proceedings of the Banff conference on Frontiers in Complex Dynamic

Regular homotopy of Hurwitz curves

We prove that any two irreducible cuspidal Hurwitz curves $C_0$ and $C_1$ (or more generally, curves with A-type singularities) in the Hirzebruch surface $F_N$ with coinciding homology classes and sets of singularities are regular homotopic; and symplectically regular homotopic if $C_0$ and $C_1$ are symplectic with respect to a compatible symplectic form.Comment: 26 page