--- author: - Eriko Hironaka and Eiko Kin bibliography: - 'math.bib' title: 'A family of pseudo-Anosov braids with small dilatation' --- Introduction ============ A braid $\beta$ on $s$ strands is <span>*pseudo-Anosov*</span> if its associated mapping class $\phi$ on $S^2$ with $s+1$ marked points is pseudo-Anosov. In this case its dilatation $\lambda(\beta)$ is defined to be the dilatation $\lambda(\phi)$ of $\phi$. For fixed $s$, the set of dilatations of pseudo-Anosov braids on $s$ strands consists of real algebraic integers greater than one with bounded degree, and hence has a well-defined minimum. The general problem of finding the least dilatation of a pseudo-Anosov braids on $s$ strands is open, and exact results are known only for $s \leq 5$. Let $\sigma_1,\dots,\sigma_{s-1}$ be the standard braid generators for braids with $s$ strands. For $s=3$, Matsuoka @Ma86 showed that the smallest dilatation is realized by $\sigma_1\sigma_2^{-1}$. Ko, Los and Song @SoKoLos02 showed that for $s=4$ the smallest dilatation is realized by $\sigma_1\sigma_2\sigma_3^{-1}$. Recently Ham and Song have announced a revised proof for the case $s=4$, and a proof that $$\begin{aligned} \label{HamSong-braid} \sigma_1\sigma_2\sigma_3\sigma_4\sigma_1\sigma_2\end{aligned}$$ has smallest dilatation for $s=5$ @HamSong05. In this paper, we study a family of generalizations of these examples to arbitrary numbers of strands. Let $\sB(D,s)$ denote the braid group on $s$ strands, where $D$ denotes the 2-dimensional disk. First consider the braids $\beta_{m,n}$ in $\sB(D,m+n+1)$ given by $$\beta_{m,n} = \sigma_1\cdots\sigma_m\sigma_{m+1}^{-1}\cdots \sigma_{m+n}^{-1}.$$ Matsuoka's example appears as $\beta_{1,1}$, and Ko, Los and Song's example as $\beta_{2,1}$. For any $m,n \ge 1$ the braids $\beta_{m,n}$ are pseudo-Anosov (see Theorem \[Bmn-classification-thm\]). The dilatations of $\beta_{m,m}$ coincide with those found by Brinkman @Brinkmann04 (see Section \[fiberedQ-section\]), who also shows that the dilatations arising in this family can be made arbitrarily close to 1. ![The braids (a) $\beta_{m,n}$ and (b) $\sigma_{m,n}$.<span data-label="SmnBmn-fig"></span>](braids.eps){height="1.5in"} It turns out that one may find smaller dilatations (or produce a reducible or periodic braid) by passing a strand of $\beta_{m,n}$ once around the remaining strands. As a particular example, we consider the braids $\sigma_{m,n}$ defined by taking the rightmost-strand of $\beta_{m,n}$ and passing it counter-clockwise once around the remaining strands. Figure \[SmnBmn-fig\] gives an illustration of $\beta_{m,n}$ and $\sigma_{m,n}$. The braid $\sigma_{1,3}$ is conjugate to Ham and Song's braid given in (\[HamSong-braid\]) (see Section \[Graphmap-section\]). For $|m-n| \leq 1$, we show that $\sigma_{m,n}$ is periodic (case $m=n$) or reducible (case $|m-n|=1$). Otherwise $\sigma_{m,n}$ is pseudo-Anosov with dilatation strictly less than the dilatation of $\beta_{m,n}$. The dilatations of $\sigma_{g-1,g+1}$ satisfy the inequality $$\begin{aligned} \label{inequality-eqn} \lambda(\sigma_{g-1,g+1})^g \leq 2 + \sqrt{3}.\end{aligned}$$ (Section \[Salem-Boyd-section\], Proposition \[min-Smn-prop\]). Let $\sM_g^s$ denote the set of isotopy classes (called <span>*mapping classes*</span>) of a closed orientable genus $g$ surface $F$ fixing $s$ points. For any subset $\Gamma \subset \sM_g^s$, define $\lambda(\Gamma)$ to be the least dilatation among pseudo-Anosov elements of $\Gamma$, and let $\delta(\Gamma)$ be the logarithm of $\lambda(\Gamma)$. For the braid group $\sB(D,s)$, and any subset $\Gamma \subset \sB(D,s)$, define $\lambda(\Gamma)$ and $\delta(\Gamma)$ in a similar way. By a result of Penner @Penner91 (see also, @McMullen:Poly), $$\begin{aligned} \label{Penner-asymp} \delta(\sM_g^0) \asymp \frac{1}{g}. \end{aligned}$$ An element of $\sM_g = \sM_g^0$ is called <span>*hyperelliptic*</span> if it commutes with an involution $\iota$ on $F$ such that the quotient of $F$ by $\iota$ is $S^2$. Let $\sM_{g,\mathrm{hyp}} \subset \sM_g$ denote the subset of <span>*hyperelliptic*</span> elements of $\sM_g=\sM_g^0$. Any pseudo-Anosov braid on $2g+1$ strands determines a hyperelliptic element of $\sM_g$ with the same dilatation (see Proposition \[spectrum-prop\]). Let $\widehat{{\sB}}^{\mathrm{lift}}_{\mathrm{pA}}(D,2g+1) \subset \sM_{g,\mathrm{hyp}}$ denote the image of these pseudo-Anosov braids in $\sM_{g,hyp}$. Then we have $$\delta(\sM_g) \leq \delta(\sM_{g,\mathrm{hyp}}) \leq \delta(\widehat{{\sB}}^{\mathrm{lift}}_{\mathrm{pA}}(D,2g+1)) = \delta(\sB(D,2g+1)).$$ Putting this together with (\[inequality-eqn\]) and (\[Penner-asymp\]) we have the following. \[asymp-thm\] For $g \ge 1$, $$\delta(\sB(D,2g+1)) \asymp \frac{1}{g}$$ and $$\delta(\sM_{g,\mathrm{hyp}}) \asymp \frac{1}{g}.$$ The paper is organized as follows. Section \[prelim-section\] reviews definitions and properties of braids, mapping classes, and spectra of pseudo-Anosov dilatations. In Section \[main-section\], we determine the Thurston-Nielsen classification of $\beta_{m,n}$ and $\sigma_{m,n}$, by finding efficient and irreducible graph maps for their monodromy actions following @BH94. We observe that the graph maps, and hence the associated train tracks have "star-like" components, and their essential forms don't depend on $m$ and $n$ (see Figures \[BmnGraph-fig\] and \[SmnGraph-fig\]). To find bounds and inequalities among the dilatations, we apply the notion of Salem-Boyd sequences @Boyd77, @Salem44, and relate the similar forms of the graph maps for $\beta_{m,n}$ and $\sigma_{m,n}$ to similar forms for characteristic polynomials of the dilatations. In particular, we show that the least dilatation that occurs among $\beta_{m,n}$ and $\sigma_{m,n}$ for $m+n = 2g$ is realized by $\sigma_{g-1,g+1}$, and find bounds for $\lambda(\sigma_{g-1,g+1})$ yielding the upper bound in (\[inequality-eqn\]). Section \[discussion-section\] discusses the problem of determining the least dilatations of special subclasses of pseudo-Anosov maps. In Section \[forcing-section\], we briefly describe the relation between the forcing relation on <span>*braid types*</span> and dilatations, and show how the $\sigma_{m,n}$ arise as the braid types of periodic orbits of the <span>*Smale-horseshoe map*</span>. In Section \[fiberedQ-section\], we consider pseudo-Anosov maps arising as the monodromy of fibered links, and relate our examples to those of Brinkmann. <span>Acknowledgements:</span> The authors thank H. Minakawa for valuable discussions, and an algebraic trick that improved our original upper bound for $\lambda(\sigma_{g-1,g+1})$. The first author thanks the J.S.P.S., Osaka University and host Makoto Sakuma for their hospitality and support during the writing of this paper. The second author is grateful for the financial support provided by the research fellowship of the 21st century COE program in Kyoto University. Preliminaries {#prelim-section} ============= In this section, we review some basic definitions and properties of braids (Section \[braids-section\]), mapping class groups (Section \[mappings-section\]), and spectra (Section \[spectrum-section\]). The results are well-known, and more complete expositions can be found in @Birman74, @CB88, @FLP, and @BH94. We include them here for the convenience of the reader. Braids {#braids-section} ------ Let $F$ be a compact orientable surface with $s$ marked points ${\sS}=\{p_1,\dots,p_s\} \subset \mathrm{int}(F)$. A <span>*braid representative*</span> $\beta$ on $F$ is the union of $s$ <span>*strands*</span>, or images of continuous maps $$f_{p_1},\dots,f_{p_s} : I \rightarrow F \times [0,1],$$ satisfying, for $i=1,\dots,s$, <span>(B1)</span> $f_{p_i} (0) = p_i$; <span>(B2)</span> $f_{p_i}(1) \in \sS$; <span>(B3)</span> $f_{p_i}(t) \in F \times \{t\}$; and <span>(B4)</span> $f_{p_i}(t) \neq f_{p_j}(t)$ for all $t$ and $i \neq j$. Define the product of two braid representatives to be their concatenation. Let $\sB(F;\sS)$ be the set of braid representatives up to ambient isotopy fixing the boundary of $F$ point-wise. The above definition of product determines a well-defined group structure on $\sB(F;\sS)$, and the group is called the <span>*braid group*</span> on $F$. For any partition $\sS = \sS_1 \cup \cdots \cup \sS_r$, let $\sB(F;\sS_1,\dots,\sS_r)$ be the subgroup of $\sB(F;\sS)$ consisting of braids $(f_{p_1},\dots,f_{p_s})$ satisfying: for all $j=1,\dots,r$ and all $p \in \sS_j$, $$f_p(1) \in \sS_j.$$ Let $F$ be either the closed disk $D$ or the 2-sphere $S^2$ and let $\sS \subset \mbox{int}(F)$ be a set of $s$ points. The braid group $\sB(F;\sS)$ has generators $\sigma_1,\dots,\sigma_{s-1}$, where $\sigma_i$ is the braid shown in Figure \[braidgen-fig\]. When $F = D$, the group $\sB(D;\sS)$ is called the <span>*Artin braid group*</span> and has finite presentation $$\langle \sigma_1,\dots,\sigma_{s-1}\ : \ \sigma_i\sigma_{i+1}\sigma_i = \sigma_{i+1}\sigma_i\sigma_{i+1} \mbox{, and } \sigma_i\sigma_j = \sigma_j\sigma_i \ \mbox{if $|i-j| \ge 2$.}\rangle.$$ ![The braid generator $\sigma_i$.<span data-label="braidgen-fig"></span>](braidgen.eps){width="1.5in"} Consider the natural map $c : D \rightarrow S^2$ given by identifying the boundary of $D$ to a point $p_\infty$ on $S^2$. By abuse of notation, we will write $\sS$ for $c(\sS)$. Then there is an induced map: $$\begin{aligned} \label{widehat-eqn} \sB(D;{\sS}) &\rightarrow&\sB(S^2;\sS,\{p_\infty\}) \\ \beta &\mapsto& \widehat{\beta}.\nonumber\end{aligned}$$ For example, $\widehat{\beta_{m,n}}$ and $\widehat{\sigma_{m,n}}$ are shown in Figure \[spherical-fig\] with the strand associated to $p_\infty$ drawn on the right. ![Images of (a) $\beta_{m,n}$ and (b) $\sigma_{m,n}$ in $\sB(S^2;\sS,\{p_\infty\})$.<span data-label="spherical-fig"></span>](spherical.eps){height="1.5in"} For $\beta \in \sB(D;{\sS})$, let $\overline{\beta} \in \sB(S^2;{\sS})$ be the image of $\widehat{\beta}$ under the forgetful map $$\begin{aligned} \label{overline-eqn} \sB(S^2;\sS,\{p_\infty\}) &\rightarrow& \sB(S^2;{\sS})\\ \widehat{\beta} &\mapsto& \overline{\beta}\nonumber \end{aligned}$$ obtained by the strand associated to $p_\infty$. The following lemma can be found in @Birman74. The map $\sB(D;\sS) \rightarrow \sB(S^2;\sS)$ given by composing the maps in (\[widehat-eqn\]) and (\[overline-eqn\]) has kernel normally generated by $$\xi=\xi_s = \sigma_1\sigma_2 \cdots \sigma_{s-1}^2\sigma_{s-2} \cdots \sigma_1.$$ For example, the braids $\beta_{m,n}$ and $\sigma_{m,n}$ shown in Figure \[SmnBmn-fig\] differ by a conjugate of $\xi$ and hence we have the following. The braids $\beta_{m,n}$ and $\sigma_{m,n}$ satisfy $$\overline{\beta_{m,n}}= \overline{\sigma_{m,n}}.$$ The final lemma of this section deals with notation. \[invariance-lem\] Let $F$ be $D$ or $S^2$. Let $\sS_1$ and $\sS_2$ be two finite subsets of $\mbox{int}(F)$ with the same cardinality, and $h : D \rightarrow D$ any homeomorphism taking $\sS_1$ to $\sS_2$. Then conjugation by $h$ defines an isomorphism $$\sB(F;\sS_1) \rightarrow \sB(F;\sS_2).$$ In light of Lemma \[invariance-lem\] if $s$ is the cardinality of $\sS$, we will also write $\sB(F,s)$ for $\sB(F;\sS)$. Mapping class groups {#mappings-section} -------------------- For any closed orientable surface $F$ and a finite subset $\sS \subset F$ of <span>*marked points*</span>, let $\sM(F;\sS)$ be the group of isotopy classes (called <span>*mapping classes*</span>) of orientation preserving homeomorphisms of $F$ set-wise preserving $\sS$. The Thurston-Nielsen classification states that any homeomorphism of a surface is isotopic to one of three types, which we describe below. A map $\Phi : F \rightarrow F$ is defined to be <span>*periodic*</span> if some power of $\Phi$ equals the identity map; and <span>*reducible*</span> if there is a $\Phi$-invariant closed $1$-submanifold whose complementary components in $F \setminus \sS$ have negative Euler characteristic. A mapping class $\phi \in \sM(F;\sS)$ is <span>*periodic*</span> (respectively, <span>*reducible*</span>) if it contains a representative that is periodic (respectively, reducible). Before defining the third type of mapping class, we will make some preliminary definitions. A <span>*singular foliation*</span> $\sF$ on a closed surface $F$ with respect to the set of marked points $\sS$ is a partition of $F$ into a union of real intervals $(-\infty,\infty)$ and $[0,\infty)$ called <span>*leaves*</span>, such that, for each point $x \in F$, the foliation $\sF$ near $x$ has (at least) one of the following types in a local chart around $x$: <span>(F1)</span> $x \in F$ is a <span>*regular point*</span> (we will also say a <span>*$2$-pronged point*</span>) of $\sF$ (Figure \[prongs-fig1\](a)); <span>(F2)</span> $x \in F$ is an <span>*$n$-pronged singularity of $\sF$*</span> (Figure \[prongs-fig1\](b) and \[prongs-fig1\](c)), where <span>(i)</span> if $x \in \sS$, $n \ge 1$, and <span>(ii)</span> if $x \in F \setminus \sS$, $n \ge 3$. Two singular foliations $\sF^{+}$ and $\sF^{-}$ with respect to $\sS$ are <span>*transverse*</span> if they have the same set of singularities and if the leaves of $\sF^{+}$ and $\sF^{-}$ intersect transversally. ![Local picture of a singular foliation.<span data-label="prongs-fig1"></span>](pA_foli1){height="1in"} A path $\alpha$ on $F$ is a <span>*transverse arc (relative to $\sF$)*</span> if $\alpha$ intersects the leaves of $\sF$ transversely. Two transverse arcs $\alpha_0$ and $\alpha_1$ are <span>*relatively homotopic (with respect to $\sF$)*</span> if there is a homotopy $\alpha: [0,1] \times [0,1] \rightarrow F$ such that $\alpha ([0,1] \times \{0\}) = \alpha_0$, $\alpha ([0,1] \times \{1\}) = \alpha_1$ and, for all $a \in [0,1]$, $\alpha(\{a\} \times [0,1])$ is contained in a leaf of ${\mathcal F}$. We say that $\mu$ is a <span>*transverse measure*</span> on a singular foliation $\sF$ with respect to $\sS$ if $\mu$ defines a non-negative Borel measure $\mu(\alpha)$ on each transverse arc $\alpha$ with the following two properties. <span>(M1)</span> If $\alpha'$ is a subarc of $\alpha$, then $\mu(\alpha')=\mu(\alpha)|_{\alpha'}$. <span>(M2)</span> If $\alpha_0$, $\alpha_1$ are arcs transverse to ${\mathcal F}$, and relatively homotopic with respect to ${\mathcal F}$, then $\mu(\alpha_0) = \mu(\alpha_1) $. A pair $({\mathcal F}, \mu)$ satisfying (M1) and (M2) is called a <span>*measured foliation*</span>. Given a measured foliation $(\sF,\mu)$ on F with respect to $\sS$ and a number $\lambda>0$, $(\sF, \lambda \mu)$ denotes the measured foliation whose leaves are the same as those of $\sF$ and such that, for all arcs $\alpha$, the measure of $\alpha$ transverse to ${\mathcal F}$ is given by $\lambda \mu(\alpha)$. For a homeomorphism $f: F \rightarrow F$ set-wise preserving $\sS$, $(\sF', \mu')= f({\mathcal F}, \mu)$ is the measured foliation whose leaves are the images of leaves of ${\mathcal F}$ under $f$, and the measure $\mu'$ on each arc $\alpha$ transverse to $\sF'$ is given by $\mu(f^{-1}(\alpha))$. The final classification type for surface homeomorphisms is defined as follows. A map $\Phi : F \rightarrow F$ is <span>*pseudo-Anosov*</span>, if there is a number $\lambda >1$ and a pair of transverse measured foliations $(\mathcal{F}^\pm, \mu_\pm)$ with respect to $\sS$ such that $\Phi(\mathcal{F}^\pm, \mu_\pm) = (\mathcal{F}^\pm, \lambda^{\pm 1} \mu_\pm)$. The number $\lambda(\Phi) = \lambda$ is called the <span>*dilatation*</span> of $\Phi$, and $\mathcal{F}^+$ and $\sF^{-1}$ are called the <span>*stable*</span> and <span>*unstable*</span> foliations or the <span>*invariant foliations*</span> associated to $\Phi$. A mapping class $\phi \in \sM(F;\sS)$ is <span>*pseudo-Anosov*</span> if $\phi$ is the isotopy class of a pseudo-Anosov map $\Phi$. In this case, the dilatation of $\phi$ is defined to be $\lambda(\phi) = \lambda(\Phi)$. \[Thurston-Nielsen Classification Theorem\] Any element $$\phi \in \sM(F;\sS)$$ is either periodic, reducible or pseudo-Anosov. Furthermore, if $\phi$ is pseudo-Anosov, then the pseudo-Anosov representative of $\phi$ is unique. As with braids, for any partition $\sS = \sS_1 \cup \cdots \cup \sS_r$, there is a subgroup $$\sM(F;\sS_1,\dots,\sS_r) \subset \sM(F;\sS)$$ that preserves each $\sS_i$ setwise. If $r > 1$, there is a natural map $$\sM(F;\sS_1,\dots,\sS_r) \rightarrow \sM(F;\sS_1,\dots,\sS_{r-1})$$ called the <span>*forgetful map*</span>. For pseudo-Anosov mapping classes $\phi$, $\log(\lambda(\phi))$ can be interpreted as the minimal topological entropy among all representatives of the class $\phi$ @FLP. We thus have the following inequality on dilatations. \[closure1-lem\] Let $\phi \in \sM(F;\sS_1,\dots,\sS_r)$ and let $\psi \in \sM(F;\sS_1,\dots,\sS_{r-1})$ be the image of $\phi$ under the forgetful map. If $\phi$ and $\psi$ are both pseudo-Anosov, then $$\lambda(\phi) \ge \lambda(\psi).$$ \[closure2-lem\] Let $\phi \in \sM(F;\sS_1,\dots,\sS_r)$ be pseudo-Anosov. Suppose that the pseudo-Anosov representative $\Phi$ of $\phi$ does not have a 1-pronged singularity at any point of $S_r$. Let $\psi \in \sM(F;\sS_1,\dots,\sS_{r-1})$ be the image of $\phi$ under the forgetful map. Then $\psi$ is pseudo-Anosov and $\lambda(\psi)= \lambda(\phi)= \lambda(\Phi)$. Let $\sF^{\pm}$ be singular foliations with respect to $\sS_1\cup\dots\cup\sS_r$, and let $(\sF^\pm,\mu_\pm)$ be a pair of transverse measured foliations associated to $\Phi$. Since $\sF^{\pm}$ does not have 1-pronged singularities at points of $S_r$, the $\sF^{\pm}$ give well-defined singular foliations with respect to $\sS_1\cup\dots\cup\sS_{r-1}$. Thus, $\Phi$ is a pseudo-Anosov representative of $\psi$ in $\sM(F;\sS)$, and hence $\lambda(\psi)= \lambda(\phi)= \lambda(\Phi)$. As in the case of braids, changing the location of the points in $\sS$ by a homeomorphism does not change the group $\sM(F;\sS)$ (cf. Lemma \[invariance-lem\]). \[invarianceM-lem\] Let $\sS_1$ and $\sS_2$ be two finite subsets of $F$ with the same cardinality and let $h : F \rightarrow F$ be any homeomorphism taking $\sS_1$ to $\sS_2$. Then conjugation by $h$ defines an isomorphism $$\sM(F;\sS_1) \rightarrow \sM(F;\sS_2).$$ If $F$ has genus $g$, and $\sS$ has cardinality $s$, we will also write $\sM_g^s = \sM(F;\sS)$. The theory of mapping class groups on closed surfaces extends to mapping class groups on surfaces with boundary. Let $F^b$ be a compact orientable surface with $b$ boundary components, and let $\sS \subset \mathrm{int}(F^b)$ be a finite set. Define $\sM(F^b;\sS)$ to be the group of isotopy classes (or <span>*mapping classes*</span>) of orientation preserving homeomorphisms of $F^b$ set-wise preserving $\sS$ and the boundary components. A <span>*singular foliation*</span> $\sF$ on $F^b$ with respect to the set of marked points $\sS$ is a partition of $F$ into a union of leaves such that each point $x \in \mbox{int}(F)$ has a local chart satisfying one of the conditions (F1), (F2) in the definition of the singular foliation on the closed surface, and each boundary component has $n$-prongs for some $n \ge 1$. Figure \[prongs-fig2\] illustrates representative leaves of a singular foliation with a 1-pronged (Figure \[prongs-fig2\](a)) and 3-pronged (Figure \[prongs-fig2\](b)) singularity. <span>*Periodic*</span>, <span>*reducible*</span> and <span>*pseudo-Anosov*</span> mapping classes in $\sM(F^b;\sS)$ are defined as for the case of closed surfaces using this definition of singular foliations. ![Leaves of a singular foliation near a boundary component. <span data-label="prongs-fig2"></span>](pA_foli2){width="2in"} Let $$\begin{aligned} \label{contraction-map} c : F^b \rightarrow \overline{F^b}\end{aligned}$$ be the continuous map where $\overline{F^b}$ is the closed surface obtained from $F^b$ by contracting the boundary components to points $q_1,\dots,q_b$. As before, we will write $\sS$ for $c(\sS)$. Let $\sQ = \{q_1,\dots,q_b\}$. The above definitions imply the following. \[boundary-lem\] The contraction map $c$ in (\[contraction-map\]), induces an isomorphism $$c_* : \sM(F;\sS) \rightarrow \sM(\overline{F^b}; \sS,\sQ),$$ which preserves the Thurston-Nielsen classification of mapping classes. Furthermore, if $\sF$ is a singular foliation defined on $F$ which is $n$-pronged along a boundary component $A$ of $F$, then the image of $\sF$ under $c_*$ has an $n$-pronged singularity at $c_*(A)$. The isomorphism $c_*$ given in Lemma \[boundary-lem\] is handy in discussing mapping classes coming from braids. Let $F$ be either the closed disk $D$ or the 2-sphere $S^2$. There is a natural homomorphism $$\begin{aligned} \label{braidmonodromy-eqn} \sB(F;\sS)& \rightarrow& \sM(F;\sS)\\ \beta &\mapsto& \phi_\beta \nonumber\end{aligned}$$ defined as follows. Let $D_1,\dots,D_{s-1} \subset \mbox{int}(D)$ be disks with $D_i \cap D_j = \emptyset$ for $i \ne j$ such that $D_i$ contains two points $p_{i}$ and $p_{i+1}$ of $\sS$ and no other points of $\sS$. The action of a generator $\sigma_i$ of $\sB(F;\sS)$ is the mapping class in $\sM(F;\sS)$ that fixes the exterior of $D_i$ and rotates a closed line segment connecting $p_{i}$ and $p_{i+1}$ in $D_i$ by $180$ degrees in the counter-clockwise direction as in Figure \[braidmap-fig\]. ![Action of $\sigma_i$ as a homeomorphism of $F$.<span data-label="braidmap-fig"></span>](braidaction.eps){width="2in"} Given a braid $\beta \in \sB(D;\sS)$, let $\widehat{\beta}$ be its image in $\sB(S^2;\sS,\{p_\infty\})$ as in (\[widehat-eqn\]). Then the isomorphism $c_*: \sM(D;\sS) \rightarrow \sM(S^2;\sS,\{p_\infty\})$ induced by the contraction map of Lemma \[boundary-lem\] satisfies $$\begin{aligned} \label{cmap-eqn} c_*(\phi_\beta) = \phi_{\widehat{\beta}}.\end{aligned}$$ The following useful lemma can be found in @Birman74. \[braidcenter-lem\] If $\sS$ has cardinality $s$, then the kernel of the map $$\sB(D;\sS) \rightarrow \sM(S^2;\sS,\{p_\infty\})$$ defined by $\beta \mapsto \phi_{\widehat{\beta}}$ is the center $Z(\sB(D;\sS))$ generated by a full twist braid $$\Delta=(\sigma_1\cdots \sigma_{s-1})^s.$$ We say that $\beta$ is <span>*periodic*</span> (respectively, <span>*reducible*</span>, <span>*pseudo-Anosov*</span>), if $\phi_{\widehat{\beta}}$ is periodic (respectively, reducible, pseudo-Anosov) as an element of $\sM(S^2;\sS,\{p_\infty\})$. In the pseudo-Anosov case, we set $\lambda(\beta) = \lambda(\widehat{\beta}) = \lambda(\phi_{\widehat{\beta}})$. Let $\overline{\beta}$ be the image of $\widehat{\beta}$ in $\sB(S^2;\sS)$ under the forgetful map (\[overline-eqn\]). Then Lemma \[closure1-lem\] implies that if $\widehat{\beta}$ and $\overline{\beta}$ are pseudo-Anosov, we have $$\begin{aligned} \label{overline-ineq} \lambda(\beta) = \lambda(\widehat{\beta}) \ge \lambda(\overline{\beta})\end{aligned}$$ and by Lemma \[closure2-lem\] equality holds if the point $p_{\infty}$ is not a $1$-pronged singularity for the invariant foliations associated to the pseudo-Anosov representative of $\phi_{\widehat{\beta}}$. The braid spectrum {#spectrum-section} ------------------ For any subset $\Gamma \in \sM_g^s$, let $\Sigma(\Gamma)$ be the set of logarithms of dilatations coming from pseudo-Anosov elements of $\Gamma$. Let $\widehat{\sB}(D,s)$ be the image of $\sB(D,s)$ in $\sM_0^{s+1}$, and ${\widehat{\sB}}_{\mathrm{pA}}(D,s)$ the pseudo-Anosov elements of $\widehat{\sB}(D,s)$. \[spectrum-prop\] For $g \ge 1$, $$\Sigma (\widehat{\sB}(D,2g+1)) \subset \Sigma(\sM_{g,\mathrm{hyp}} \subset \Sigma(\sM_g^0).$$ Let $\sS \subset D$ be a subset of $2g+1$ points, and let $\widehat{\sS} = \sS \cup \{p_\infty\}$. Let $F$ be the double cover of $S^2$ branched along $\widehat{\sS}$. Then $F$ has genus $g$. We will define a set map $$\widehat{{\sB}}_{\mathrm{pA}}(D,2g+1) \rightarrow \sM(F,0)$$ whose image consists of hyperelliptic elements, and which preserves dilatation. Let $\phi \in \widehat{{\sB}}_{\mathrm{pA}}(D,2g+1)$. Then $\phi$ has a unique pseudo-Anosov representative homeomorphism $\Phi$. Let $\Phi'$ be its lift to $F$ by the covering $F \rightarrow S^2$, with stable and unstable invariant foliations given by the lifts of the invariant foliations associated to $\Phi$. Then $\Phi'$ is pseudo-Anosov with the same dilatation as $\Phi$. Let $\phi'$ be its isotopy class. Then $\phi'$ defines a hyperelliptic, pseudo-Anosov mapping class in $\sM(F;{\widehat{\sS}}')$, where ${\widehat{\sS}}'$ is the preimage of $\widehat{\sS}$ in $F$, with the same dilatation as $\phi$. Now consider the forgetful map $\sM(F_g;\sS') \rightarrow \sM(F_g;\emptyset)$. The stable and unstable foliations associated to $\Phi'$ have prong orders at $\widehat{\sS}'$ that are divisible by the degree of the covering $F \rightarrow S^2$ Thus, the singularities of $\Phi'$ at $\widehat{\sS}'$ are all even-pronged. It follows that by Lemma \[closure2-lem\], the image of $\phi'$ under the forgetful map is pseudo-Anosov and has the same dilatations as $\phi'$.\ Proposition \[spectrum-prop\] immediately implies the following corollary. \[spectrum-cor\] $$\delta (\sM_g^0) \leq \delta (\sM_{g,\mathrm{hyp}}) \leq \delta (\sB(D,2g+1)).$$ Criterion for the pseudo-Anosov property {#Bestvina-Handel-section} ---------------------------------------- What follows is a criterion for determining when a braid $\beta \in \sB(D,s)$ is pseudo-Anosov @BH94 (see also @Penner:pA and @PH:TrainTracks). Let $G$ be a finite graph embedded on an orientable surface $F$, possibly with self-loops, but no vertices of valence $1$ or $2$. Let $\DE(G)$ be the set of directed edges of $G$. For $e \in \DE(G)$, let $s(e)$ and $t(e)$ be the initial (<span>*source*</span>) vertex and end (<span>*target*</span>) vertex respectively, and let $\overline{e}$ be the same edge with opposite orientation. An <span>*edge path*</span> $\tau$ is a directed path $\tau=e_1\cdots e_\ell$ on $G$ where $e_1,\dots,e_\ell \in \DE(G)$ satisfies $t(e_i) = s(e_{i+1})$ for $i=1,\dots,\ell-1$. ![Fat graph near a trivalent vertex.<span data-label="fatgraph-fig"></span>](fatgraph.eps){width="3in"} Let $\sF(G)$ be the <span>*fat graph*</span> of $G$ obtained by taking a regular neighborhood of the embedded graph $G$ on $F$, (see Figure \[fatgraph-fig\]). Let $\proj : \sF(G) \rightarrow G$ be the natural projection to $G$. An <span>*(embedded) edge path*</span> $\tau$ is a path on $\sF(G)$ on which $\proj$ is locally injective, and whose endpoints lie on vertices of $G$. Let $G$ and $H$ be two embedded graphs on the surface $F$. A <span>*graph map*</span> $$\g : G \rightarrow \sF(H)$$ is a map sending each edge path on $G$ to an embedded edge path on $\sF(H)$, so that if an edge path $\tau$ equals the product of edge paths $\tau_1$ and $\tau_2$ on $G$, then $\g(\tau) = \g(\tau_1)\g(\tau_2)$ is a product of embedded edge paths on $H$. Define the <span>*composition*</span> $\g\h : G \rightarrow \sF(H)$ of two graph maps $\h : G \rightarrow \sF(H)$ and $\g : H \rightarrow \sF(K)$, by $\g(\h(e)) = \g(\proj(\h(e))$. When $K=H$, write $\g^k$ for the composition of $\g$ with itself $k$ times. Consider the set of undirected edges $\sE^{\mathrm{tot}}(G)$ of $G$ and let $V^{\mathrm{tot}}(G)$ be the vector space of formal sums $$\sum_{i=1}^n a_i e_i,$$ where $a_i \in \R$ and $e_i \in \sE^{\mathrm{tot}}(G)$. Any edge path on $G$ determines an element of $V(G)$ by treating each directed edge as an undirected edge with coefficient 1, regardless of orientation. For a graph map $\g : G \rightarrow \sF(H)$, define the associated <span>*total transition matrix*</span> for $\g$ to be the transformation $$\sT_\g^{\mathrm{tot}} : V^{\mathrm{tot}}(G) \rightarrow V^{\mathrm{tot}}(H)$$ taking each $e \in \sE^{\mathrm{tot}}(G)$ to $\proj(\g(e))$ considered as an element of $V^{\mathrm{tot}}(H)$. For the rest of this section, we restrict to the case $F = D$. Let $${\sS}= \{p_1,\dots,p_s\} \subset \mbox{int}(D)$$ be a set of marked points, let $P_i$ be a small circle centered at $p_i$ whose interior disk does not contain any other points of $\sS$, and let $$P= \displaystyle\bigcup_{i=1}^s P_i.$$ Choose a finite graph $G$ embedded on $D$ that is homotopy equivalent to $D \setminus \sS$ such that each circle in $P$ is a subgraph of $G$. Given $\beta \in \sB(D,s)$, the mapping class $\phi_{\beta} \in \sM(D; \sS)$ induces a graph map $\g: G \rightarrow \sF(G)$ set-wise preserving $P$ (i.e, $\pi \g(P)=P$) and a total transition matrix $\sT_\g^{\mathrm{tot}}$. Let pre$P$ be the set of edges $e$ of $G$ such that $\g^k(e)$ is contained in $P$ for some $k \ge 1$. By the definition of $P$ and pre$P$, ${\sT}_\g^\mathrm{tot}$ has the following form: $${\sT}_\g^{\mathrm{tot}}= \left(\begin{array}{ccc}\mathcal{ P}& \mathcal{A} & \mathcal{B} \\0 & \mathcal{Z} & \mathcal{C} \\0 & 0 & \sT\end{array}\right),$$ where $\mathcal{P}$ (respectively, $\mathcal{Z}$) are the transition matrices associated to $P$ (respectively, pre$P$), and $\sT$ is the transition matrix associated to the rest of edges $\sE^{\mathrm{real}}(G)$. Let $V(G)$ be the subspace of $V^{\mathrm{tot}}(G)$ spanned by $\sE(G) = \sE^{\mathrm{real}}(G)$. The matrix $\sT$ is the restriction of ${\sT}_\g^\mathrm{tot}$ to $V(G)$ and is called the <span>*transition matrix (with respect to the real edges)*</span> of $\phi_{\beta}$, associated to $\g$. The spectral radius of $\sT$ is denoted by $\lambda(\sT)$. Given a graph map $\g : G \rightarrow \sF(G)$, define the <span>*derivative*</span> of $\g$ $$D_\g : \DE(G) \rightarrow \DE(G)$$ as follows: for $e \in \DE(G)$, write $$\proj(\g(e)) = e_1e_2 \cdots e_\ell,$$ where $e_i \in \DE(G)$, and set $D_\g(e)$ to be the initial edge $e_1$. A graph map $\g : G \rightarrow \sF(G)$ is <span>*efficient*</span> if for any $e \in \DE(G)$ and any $k \ge 0$, $$\proj(\g^k(e)) = e_1\cdots e_j$$ where $D_\g(\overline{e_i}) \neq D_\g(e_{i+1})$, for all $i=1,\dots,j-1$. We also say in this case that $\g^k$ has no <span>*back track*</span> for any $k \ge 0$. A square matrix $M$ is <span>*irreducible*</span> if for every set of indices $i,j$, there is an integer $n_{i,j} > 0 $ such that the $(i,j)$-th entry of $M^{n_{i,j}}$ is strictly positive. The following criterion for the pseudo-Anosov property can be found in @BH94. \[BH-thm\] Let $\beta \in \sB(D,s)$, and let $\g:G \rightarrow \sF(G)$ be an induced graph map for $\phi_{\beta}$. Suppose that <span>(BH:1)</span> $\g$ is efficient, and <span>(BH:2)</span> the associated transition matrix $\sT$ (with respect to the real edges) is irreducible with spectral radius greater than one. Then $\beta$ is pseudo-Anosov with dilatation equal to $\lambda(\sT)$. It is not hard to check that the criterion of Theorem \[BH-thm\] behaves well under conjugation of maps. For the case of braids, this yields the following. \[conj-lem\] Suppose $\alpha_1$ and $\alpha_2$ are conjugate braids with $\alpha_2 = \gamma \alpha_1 \gamma^{-1}$. Then $\alpha_1$ is pseudo-Anosov if and only if $\alpha_2$ is pseudo-Anosov. In this case, we have $\lambda(\alpha_1) = \lambda(\alpha_2)$ and a graph map satisfying (BH:1) and (BH:2) for $\phi_{{\alpha_2}}$ can be obtained from one for $\phi_{{\alpha_1}}$ by the homeomorphism of $D$ corresponding to $\gamma$. Let $\phi \in \sM(D;\sS)$ be a pseudo-Anosov element, and let $\g : G \rightarrow \sF(G)$ be a graph map satisfying satisfying (BH:1) and (BH:2). We construct an <span>*associated train track*</span> obtained by <span>*graph smoothing*</span> given as follows. Let $\mathcal{E}_v \subset \DE(G)$ be the set of oriented edges of $G$ emanating from a vertex $v$. For $e_1,e_2 \in \mathcal{E}_v$, $e_1$ and $e_2$ are <span>*equivalent*</span> if $D_\g^k(e_1)= D_\g^k(e_2)$ for some $k \ge 1$. A <span>*gate*</span> is an equivalence class in $\sE_v$. The train track $\tau_\g$ associated to $\g$ is constructed using the following steps: <span>Step T1:</span> Deform each pair of equivalent edges $e_1,e_2 \in \mathcal{E}_v$ in a small neighborhood of $v$ so that $e_1$ and $e_2$ are tangent at $v$, see Figure \[fig\_gate\](a). <span>Step T2:</span> Insert a small disk $N_v$ at each vertex $v$. For each gate $\gamma$, assign a point $p(\gamma)$ on the boundary of $N_v$, see Figure \[fig\_gate\](b). <span>Step T3:</span> If, for some edge $e$ of $G$ and some $k \ge 1$, $\g^k(e)$ contains consecutive edges $\overline{e_1'}e_2'$, with $e_1',e_2' \in {\mathcal E}_v$ and such that $\gamma_1= [e_1']$ and $\gamma_2= [e_2']$, then join $p(\gamma_1)$ and $p(\gamma_2)$ by a smooth arc in $N_v$ which intersects the boundary of $N_v$ transversally at $p(\gamma_1)$ and $p(\gamma_2)$, and such that no two such arcs intersect in the interior of $N_v$. For example, let $v$ be the initial point of 4 edges $e_1,\dots,e_4$. Assume there are three gates $\gamma_1=[e_1]=[e_2]$, $\gamma_2=[e_3]$ and $\gamma_3 = [e_4]$, and that there are edges $f_1$ and $f_2$ of $G$ such that $$\begin{aligned} \g^r(f_1) &=& \cdots \overline{e_2}e_4 \cdots,\\ \g^s(f_2) &=& \cdots \overline{e_3}e_4\cdots,\end{aligned}$$ for some $r,s \ge 1$. Then Figure \[fig\_gate\](a) shows Step T1 applied to the edges $e_1$ and $e_2$; Figure \[fig\_gate\](b) shows Step T2 applied to the gates $\gamma_1, \gamma_2$ and $\gamma_3$; and Figure \[fig\_gate\](c) shows Step T3, which yields arcs connecting $p(\gamma_1)$ to $p(\gamma_3)$, and $p(\gamma_2)$ to $p(\gamma_3)$. ![Example of a graph smoothing.<span data-label="fig_gate"></span>](gate){height="1.3in"} Let $v$ be a vertex of $G$. The arcs constructed in Step T3 are called <span>*infinitesimal edges*</span>, and the points $p(\gamma)$, which join two infinitesimal edges are called <span>*cusps*</span> of the train track. If $\phi \in \sM(D;\sS)$ is pseudo-Anosov, and $\g: G \rightarrow G$ is an associated graph map satisfying (BH:1) and (BH:2), then the associated train track $\tau_\g$ constructed above determines the invariant foliations $\sF^\pm$ associated to the pseudo-Anosov representative $\Phi$ of $\phi$. (An explicit construction of $\Phi$ from the train track can be found in @BH94.) In particular, the number of prongs at the singularities of $\sF^\pm$ and at the boundary of $D$ can be found in terms of the train track. Each connected component $A$ of $D \setminus \tau_\g$ is either homeomorphic to an open disk, or is a half-open annulus, whose boundary is the boundary of $D$. In the former case, the boundary of the closure of the connected component is a finite union of edges and vertices of $\tau_\g$. If two of these edges meet at a cusp, then that cusp is said to <span>*belong to*</span> $A$. In the latter case, the closure of $A$ has two boundary components. The boundary component which is not the boundary of $D$ is a finite union of edges and vertices of $\tau_\g$, and if two of these edges meet at a cusp, we call the cusp an <span>*exterior cusp*</span> of $\tau_\g$. \[prongs-lem\] There is one singularity of $\sF^\pm$ in each of the open complementary components of $\tau_\g$. If $A$ is one such component, then the singularity of $\sF^\pm$ in $A$ is $k$-pronged where $k$ is the number of cusps of $\tau_\g$ belonging to $A$. If $A$ contains the boundary of $D$, then the boundary of $D$ is $k$-pronged, where $k$ is the number of exterior cusps of $\tau_\g$. Main examples {#main-section} ============= This section contains properties of the braids $\beta_{m,n}$ and $\sigma_{m,n}$. In Section \[symmetry-section\], we show that the Thurston-Nielsen classifications of $\beta_{m,n}$ and $\sigma_{m,n}$ do not depend on the order of $m$ and $n$. In Section \[Graphmap-section\], we find the Thurston-Nielsen classification of the braids $\beta_{m,n}$ and $\sigma_{m,n}$, and in Section \[dilatations-section\], we compute their dilatations in the pseudo-Anosov cases. Section \[TT-section\] gives the train tracks for $\phi_{\beta_{m,n}}$ and $\phi_{\sigma_{m,n}}$ In Section \[Salem-Boyd-section\], we use Salem-Boyd sequences to study inequalities between and the asymptotic behavior of the dilatations of $\beta_{m,n}$ and $\sigma_{m,n}$. Symmetries of $\beta_{m,n}$ and $\sigma_{m,n}$ {#symmetry-section} ---------------------------------------------- Consider the braid $\beta_{m,n}^+ \in \sB(D;\sS,\{p\},\{q\})$ drawn in Figure \[Bmn-sym-fig\](a). ![Symmetry of $\beta_{m,n}^+$. <span data-label="Bmn-sym-fig"></span>](Bmnplus.eps){width="5in"} \[Bmnplus-conj-lem\] The braid $\beta_{n,m}^+$ is conjugate to the inverse of $\beta_{m,n}^+$. The inverse of $\beta_{m,n}^+$ is drawn in Figure \[Bmn-sym-fig\](b). Assume without loss of generality that the points $\sS \cup \{p\}\cup\{q\}$ are evenly spaced along a line $\ell$. Let $\eta \in \sB(D;\sS\cup\{p,q\})$ be the braid obtained by a half-twist of $\ell$ around the baricenter of $\sS \cup \{p\}\cup\{q\}$. Then conjugating the inverse of $\beta_{m,n}^+$ by $\eta$ in the larger group $\sB(D;\sS\cup\{p,q\})$ yields $\beta_{n,m}^+$ shown in Figure \[Bmn-sym-fig\](c). \[Bmnplus-sym-lem\] The braid $\beta_{m,n}$ is the image of $\beta_{m,n}^+$ under the forgetful map $$\sB(D;\sS,\{p\},\{q\}) \rightarrow \sB(D;\sS),$$ and hence $\beta_{n,m}$ is conjugate to $\beta_{m,n}^{-1}$. Compare Figure \[Bmn-sym-fig\](a) with Figure \[spherical-fig\](a) to get the first part of the claim. Since homomorphisms preserve inverses and conjugates, the rest follows from Lemma \[Bmnplus-conj-lem\]. \[Bmnplus-lem\] The mapping class $\phi_{\beta_{n,m}}$ is conjugate to $\phi_{\beta_{m,n}}^{-1}$. The mapping class $\phi_{\beta_{m,n}}$ is the image of $\phi_{\beta_{m,n}^+}$ under the forgetful map $$\sM(D;\sS,\{p\},\{q\}) \rightarrow \sM(D;\sS).$$ The rest follows from Lemma \[Bmnplus-sym-lem\]. \[Bmn-conj-prop\] The Thurston-Nielsen classification of $\beta_{n,m}$ is the same as that of $\beta_{m,n}$. The Thurston-Nielsen classification of a mapping class is preserved under inverses and conjugates. Thus, the claim follows from Lemma \[boundary-lem\] and Lemma \[Bmnplus-lem\]. We now turn to $\sigma_{m,n}$. Let $\widehat{\beta_{m,n}^+}$ be the spherical braid associated to $\beta_{m,n}^+$ drawn in Figure \[SphericalBmnplus-sym-fig\](a) and let $\nu \in \sB(S^2;\sS,\{p\},\{q,p_\infty\})$ be the spherical braid drawn in Figure \[ConjBraid-fig\]. ![Spherical braids (a) $\widehat{\beta_{m,n}^+}$ and (b) $\widehat{\sigma_{m,n}}$. <span data-label="SphericalBmnplus-sym-fig"></span>](SphericalBmnplus.eps){height="1.25in"} \[BmnSmn-lem\] The spherical braid $\widehat{\sigma_{m,n}}$ is the image of $\nu\widehat{\beta_{m,n}^+}\nu^{-1}$ under the forgetful map $$\sB(S^2;\sS,\{p\},\{q\},\{p_\infty\}) \rightarrow \sB(S^2;\sS,\{p_\infty\}),$$ and hence $\widehat{\sigma_{n,m}}$ is conjugate to $\widehat{\sigma_{m,n}}^{-1}$. Compare Figures \[SphericalBmnplus-sym-fig\](a) and \[SphericalBmnplus-sym-fig\](b). In the statement of Lemma \[BmnSmn-lem\], $\nu$ could be replaced by any braid which is the identity on $p$ and $\sS$, and interchanges $q$ and $p_\infty$. ![Switching the roles of $p_\infty$ and $q$. <span data-label="ConjBraid-fig"></span>](ConjBraid.eps){height="0.75in"} \[BmnSmn-cor\] The mapping class $\phi_{\sigma_{n,m}}$ is conjugate to $\phi_{\sigma_{m,n}}^{-1}$. The mapping class $\phi_{\widehat{\sigma_{m,n}}}$ is the image of $\phi_\nu \phi_{\widehat{\beta_{m,n}^+}} \phi_\nu^{-1}$ under the forgetful map $$\sM(S^2;\sS,\{p\},\{q\},\{p_\infty\})\rightarrow \sM(S^2;\sS,\{p_\infty\}),$$ and hence $\phi_{\widehat{\sigma_{n,m}}}$ is conjugate to $\phi_{\widehat{\sigma_{m,n}}}^{-1}$. Since the contraction map $c$ defined in Equation (\[contraction-map\]) induces an isomorphism on mapping class groups the claim follows. \[Smn-sym-prop\] The Thurston-Nielsen classification of $\sigma_{m,n}$ is the same as that for $\sigma_{n,m}$. By Lemma \[boundary-lem\], the Thurston-Nielsen classification for $\phi_{\sigma_{m,n}}$ is the same as that for $\phi_{\widehat{\sigma_{m,n}}}$. The rest of the proof is similar to that of Proposition \[Bmn-conj-prop\]. Graph maps {#Graphmap-section} ---------- In this section, we determine the Thurston-Nielsen classifications of the braids $\beta_{m,n}$ and $\sigma_{m,n}$. \[Bmn-classification-thm\] The braid $\beta_{m,n}$ is pseudo-Anosov for all $m,n \ge 1$, and $$\lambda(\beta_{m,n}) = \lambda(\beta_{n,m}).$$ Consider the graph map $\g= \g_{m,n} : G_{m,n} \rightarrow \sF(G_{m,n})$ given in Figure \[BmnGraph-fig\], where the ordering of the loop edges of the graph $G_{m,n}$ corresponds to the left-to-right ordering of $\beta_{m,n}$. Given a graph and a pair of vertices $a$ and $b$, let $e(a,b)$ denote the edge from vertex $a$ to vertex $b$. ![Graph map $\g_{m,n}$ for $\phi_{\beta_{m,n}}$.<span data-label="BmnGraph-fig"></span>](BmnGraph.eps){width="5in"} \[BmnGraph-prop\] The graph map $\g_{m,n} : G_{m,n} \rightarrow \sF(G_{m,n})$ is a graph map for $\phi_{\beta_{m,n}}$ satisfying (BH:1) and (BH:2). As shown in Figure \[BmnGraph-fig\], any back track must occur at $e(p,m)$, that is, if $\g^k$ back tracks, and $k$ is chosen minimally, then there is an edge $e \in \DE(G_{m,n})$ such that $$\begin{aligned} \label{badedge-eqn} \g^{k-1}(e) = \cdots \overline{e_1}\cdot e_2 \cdots\end{aligned}$$ where $$D_\g(e_1) = D_\g(e_2) = e(m,p).$$ This implies that $\overline{e_1} = e(p,m+1)$ and $e_2 = e(m+1,q)$ (or $\overline{e_1}=e(q,m+1)$ and $e_2=e(m+1,p)$). As can be seen by Figure \[BmnGraph-fig\], one can verify that there can be no edge of the form given in (\[badedge-eqn\]). This proves (BH:1). To prove (BH:2), it suffices to note that $\g^{m+n}(e(q,m+1))$ crosses all non-loop edges of $G_{m,n}$ in either direction, and for any non-loop edge $e$ of $G_{m,n}$, $\g^k(e)$ crosses $e(q,m+1)$ in either direction for some $k \leq \max\{m+1,n\}$. <span>**Proof of Theorem \[Bmn-classification-thm\].**</span> By Proposition \[BmnGraph-prop\], the braids $\beta_{m,n}$ are pseudo-Anosov for all $m,n \ge 1$. The claim now follows from Proposition \[Bmn-conj-prop\]. We now turn to $\sigma_{m,n}$. ![Braid $\tau_{a,b} \in \sB(S^2;\sS,\{p_\infty\})$.<span data-label="wrapbraid-fig"></span>](wrapbraid.eps){height="1.25in"} \[Smn-classification-thm\] The braid $\sigma_{m,n}$ is pseudo-Anosov for all $m,n \ge 1$ satisfying $|m-n| \ge 2$. In these cases $$\lambda(\sigma_{m,n}) = \lambda(\sigma_{n,m}).$$ For any $m \ge 1$, $\sigma_{m,m}$ is periodic, and $\sigma_{m,m+1}$ and $\sigma_{m+1,m}$ are reducible. In light of Proposition \[Smn-sym-prop\], we will consider only $\sigma_{m,n}$ where $n \ge m \ge 1$. To prove Theorem \[Smn-classification-thm\], we first redraw the braid $\sigma_{m,n}$ in a conjugate form using induction. Let $\tau_{a,b}$ be the spherical braid drawn in Figure \[wrapbraid-fig\]. Roughly speaking, conjugation by the braid $\tau_{a,b}$ on $\sigma_{m,n}$ is the same as passing a strand counterclockwise around the other strands, and then compensating below after a shift of indices. ![Conjugating $\widehat{\sigma_{m,n}}$: initial step.<span data-label="firstwrap-fig"></span>](firstwrap.eps){width="4in"} Let ${\widehat{\sigma_{m,n}}}^{(0)} = \widehat{\sigma_{m,n}}$ be the image of $\sigma_{m,n}$ in $\sB(S^2;\sS,\{p_\infty\})$ as drawn in Figure \[SphericalBmnplus-sym-fig\](b). Let $${\widehat{\sigma_{m,n}}}^{(1)} = \tau_{1,m+1} \widehat{\sigma_{m,n}} \tau_{1,m+1}^{-1},$$ shown in Figure \[firstwrap-fig\]. The inductive step is illustrated in Figure \[inductive-fig\]. The $k$th braid $\widehat{\sigma_{m,n}}^{(k)}$ is constructed from the $k-1$st braid by conjugating by $\tau_{2k+1,m+k+1}$, for $k=1,\dots,m-1$. ![Induction step.<span data-label="inductive-fig"></span>](inductivewrap.eps){width="4.75in"} The resulting braid $\widehat{\sigma_{m,n}}^{(m-1)}$ takes one of three forms: Figure \[interbraid-fig\] (a) shows the general case when $n \ge m+2$, Figure \[interbraid-fig\](b) shows the case when $n=m$, and Figure \[interbraid-fig\](c) shows the case when $n=m+1$. ![After $m-1$ inductive steps: (a) $n \ge m+2$, (b) $n = m+1$, (c) $n=m$ .<span data-label="interbraid-fig"></span>](interbraid.eps){height="1.4in"} ![Reducible and periodic cases.<span data-label="perred-fig"></span>](perred.eps){height="1.4in"} \[reducible-prop\] When $n=m+1$, $\sigma_{m,n}$ is a reducible braid. By applying one more conjugation by $\tau_{2m+1,2m+1}$, we obtain the right-hand braid in Figure \[perred-fig\](a). One sees that there is a collection of disjoint disks enclosing pairs of marked points in $S^2$ whose boundaries are left invariant by $\phi_{\widehat{\sigma_{m,n}}}$. The claim now follows from Lemma \[boundary-lem\]. \[periodic-prop\] When $n=m$, $\sigma_{m,n}$ is a periodic braid. Figure \[perred-fig\](b) shows an equivalence of spherical braids. It is not hard to see that the right-hand braid is periodic in $\sB(S^2;\sS,\{p_\infty\})$. The rest follows from Lemma \[boundary-lem\]. The general case, when $n \ge m+2$, is shown in Figure \[pA-fig\]. The transition from Figure \[pA-fig\](a) to \[pA-fig\](b) is given by doing successive conjugations by $\tau_{2m+k,2m+k}$ for $k=1,\dots,n-m$. ![General case.<span data-label="pA-fig"></span>](pA.eps){width="4.5in"} Now consider the graph map $h_{m,n} : H_{m,n} \rightarrow \sF(H_{m,n})$ drawn in Figure \[SmnGraph-fig\] associated to the preimage of the braid in Figure \[pA-fig\](c) under the contraction map of Lemma \[boundary-lem\]. The unusual numbering comes from the left-to-right ordering of the strands (excluding $p_\infty$) of $\widehat{\sigma_{m,n}}$ shown in Figure \[spherical-fig\](b) (cf. end of Section \[TT-section\]). This ordering proves useful for comparing the transition matrices of $\phi_{\beta_{m,n}}$ and $\phi_{\sigma_{m,n}}$ (see Section \[Salem-Boyd-section\]). ![Graph map $\h_{m,n}$ for $\phi_{\sigma_{m,n}}$.<span data-label="SmnGraph-fig"></span>](SmnGraph.eps){width="5in"} \[SmnGraph-prop\] For $n \ge m+2$, the graph map $\h_{m,n} : H_{m,n} \rightarrow \sF(H_{m,n})$ is a graph map for a conjugate of $\phi_{\sigma_{m,n}}$ satisfying (BH:1) and (BH:2). One can see that $\h_{m,n}$ is a graph map for $\phi_{\sigma_{m,n}}$ by looking at the conjugate form of $\widehat{\sigma_{m,n}}$ given in Figure \[pA-fig\] (c). The proof that $\h_{m,n}$ satisfies (BH:1) and (BH:2) is similar to that of Proposition \[BmnGraph-prop\]. <span>**Proof of Theorem \[Smn-classification-thm\].**</span> By Proposition \[Smn-sym-prop\], it suffices to classify the braids $\sigma_{m,n}$ with $n \ge m \ge 1$. By Proposition \[reducible-prop\], $\sigma_{m,n}$ is reducible if $n = m+1$, and by Proposition \[periodic-prop\] $\sigma_{m,n}$ is periodic if $n=m$. In all other cases, Proposition \[SmnGraph-prop\] and Proposition \[Smn-sym-prop\] imply that $\sigma_{m,n}$ is pseudo-Anosov and satisfies $\lambda(\sigma_{m,n}) = \lambda(\sigma_{n,m})$. Train tracks {#TT-section} ------------ In this section, we find train tracks for $\phi_{\beta_{m,n}}$ and $\phi_{\sigma_{m,n}}$, and derive properties of these mapping classes. The train track for $\phi_{\beta_{m,n}}$ associated to $\g_{m,n}$ is given in Figure \[Bmn-TT\]. ![Train track for $\phi_{\beta_{m,n}}$.<span data-label="Bmn-TT"></span>](b-train_track){height="1.5in"} \[Bmn-prongs-lem\] The invariant foliations associated to the pseudo-Anosov representative of $\phi_{\widehat{\beta_{m,n}}} \in \sM(S^2; \sS,\{p_\infty\})$ have 1-pronged singularities at $p_\infty$ and marked points, and an $(m+1)$- (respectively, $(n+1)$-) pronged singularity at the fixed point $p$ (respectively, fixed point $q$). Apply Lemma \[prongs-lem\] to the train track in Figure \[Bmn-TT\]. The train track for $\phi_{\sigma_{m,n}}$ associated to $\h_{m,n}$ is given in Figure \[Smn-TT\]. ![Train track for $\phi_{\sigma_{m,n}}$.<span data-label="Smn-TT"></span>](s-train_track){height="1.5in"} \[Smn-prongs-lem\] For $n \ge m+2$, the invariant foliations associated to the pseudo-Anosov representative of $\phi_{\widehat{\sigma_{m,n}}} \in \sM(S^2; \sS, \{p_{\infty}\})$ have 1-pronged singularities at the marked points, an $(m+1)$-pronged singularity at the fixed point $p$, and an $n$-pronged singularity at $p_{\infty}$. Apply Lemma \[prongs-lem\] to the train track in Figure \[Smn-TT\]. By Lemmas \[closure2-lem\] and \[Smn-prongs-lem\], we have the following. \[Overline-Smn-lem\] For $n \ge m+2$, $\overline{\sigma_{m,n}}$ is pseudo-Anosov, and $$\lambda(\sigma_{m,n}) = \lambda(\overline{\sigma_{m,n}}).$$ A pseudo-Anosov map is said to be <span>*orientable*</span> if its stable and unstable foliations have only even order prongs. \[Bmn-lift-prop\] Let $m+n=2g$. If both $m$ and $n$ are odd, there is a pseudo-Anosov element of $\sM_g^0$ whose pseudo-Anosov representative is orientable with the same dilatation as $\beta_{m,n}$. Let $\Phi_{\widehat{\beta_{m,n}}}$ be the pseudo-Anosov representative of $\phi_{\widehat{\beta_{m,n}}}$, and let $\Phi'_{\widehat{\beta_{m,n}}}$ be its lift to the double branched covering $F_g$ of $S^2$ branched along $\sS \cup \{p_\infty\}$. By Lemma \[Bmn-prongs-lem\], $\Phi_{\widehat{\beta_{m,n}}}'$ is a pseudo-Anosov map on $F_g$ with invariant foliations having two $m+1$- (respectively, $n+1$-) pronged singularities above $p$ (respectively, $q$). \[Smn-lift-prop\] There is a pseudo-Anosov element of $\sM_g^0$ whose pseudo-Anosov representative is orientable with the same dilatation as $\sigma_{m,n}$, for each $m,n \ge 1$ with $m+n=2g$ and $|m-n| \ge 2$. By Proposition \[Smn-sym-prop\], we can assume $n \ge m+2$. Since $m$ and $n$ have the same parity, Lemma \[Smn-prongs-lem\] implies that for the invariant foliations associated to the pseudo-Anosov representative $\Phi_{\widehat{\sigma_{m,n}}}$ of $\phi_{\widehat{\sigma_{m,n}}}$, the number of prongs $n_p$ (respectively, $n_\infty$) at $p$ (respectively $p_\infty$) have opposite parity. Let $F_g$ be the branched covering of $S^2$ branched along $\sS$ and either $p$ if $n_p$ is odd, or $p_\infty$ if $n_\infty$ is odd. Let $\Phi_{\widehat{\sigma_{m,n}}}'$ be the lift of $\Phi_{\widehat{\sigma_{m,n}}}$ to $F_g$. Then $\Phi_{\widehat{\sigma_{m,n}}}'$ is pseudo-Anosov with dilatation equal that of $\Phi_{\widehat{\sigma_{m,n}}}$. Furthermore, by our choice of branch points, the invariant foliations have only even order prongs, and hence are orientable. We conclude this section by relating the graph maps of $\phi_{\beta_{m,n}}$ and $\phi_{\sigma_{m,n}}$ in a way that is compatible with the conjugations used in Section \[symmetry-section\]. ![Graph map $g_{m,n}'$ for $\phi_{m,n}$.<span data-label="BmnGraphNew-fig"></span>](BmnGraphNew.eps){width="5in"} Let $\Phi_{\beta_{m,n}}$ be the pseudo-Anosov representative of $\phi_{\beta_{m,n}}$. Since $q$ is a fixed point for $\Phi_{\beta_{m,n}}$, $\Phi_{\beta_{m,n}}$ defines a mapping class $\phi_{m,n} = [\Phi_{\beta_{m,n}}]$ in $\sM(S^2;\sS,\{q\}, \{p_\infty\})$. Identify $g_{m,n}$ with the graph map on $S^2$ for $\phi_{m,n}$ obtained by pushed forward by the contraction map in Lemma \[boundary-lem\]. Let $$\g_{m,n}' : G_{m,n}' \rightarrow G_{m,n}'$$ be the graph map obtained from $g_{m,n}$ after puncturing the sphere at the fixed point $q$ for $\g_{m,n}$ as in Figure \[BmnGraphNew-fig\]. ![Exchanging the roles of $q$ and $p_\infty$ for $g_{m,n}'$.<span data-label="wrap-fig"></span>](wrap.eps){width="5in"} Exchanging the roles of $q$ and $p_\infty$ (i.e., bringing $p_\infty$ into the visual plane) yields the graph map shown in Figure \[wrap-fig\], which is equivalent to $g_{m,n}'$. Now remove the marking at $p_\infty$ and consider the graph map $$\begin{aligned} \label{graphmap-map} \f_{m,n} : G_{m,n}' \rightarrow \mathcal{F}(H_{m,n})\end{aligned}$$ obtained by a natural identification of edges shown in Figure \[wrap-fig\]. Figure \[identify-fig\] shows the projection map $\pi$ applied to the image of $\f_{m,n}$. The graph map $\h_{m,n} : H_{m,n} \rightarrow \sF(H_{m,n})$ in Figure \[SmnGraph-fig\] is the one induced by pushing forward $\g_{m,n}'$ by the map $\f_{m,n}$. ![Identifying edges on $G_{m,n}'$.<span data-label="identify-fig"></span>](identify.eps){width="5in"} Characteristic equations for dilatation {#dilatations-section} --------------------------------------- Consider the graph map $\r_m : \Gamma_m \rightarrow \sF(\Gamma_m)$, shown in Figure \[RmnGraph-fig\]. As seen in Figures \[BmnGraph-fig\] and \[SmnGraph-fig\], the graph maps for $\phi_{\beta_{m,n}}$ and $\phi_{\sigma_{m,n}}$ "contain" $\r_m$ as the action on a subgraph. ![The graph map $\r_m : L_m \rightarrow \sF(L_m)$.<span data-label="RmnGraph-fig"></span>](RmnGraph.eps){height="0.9in"} The transition matrix for $\r_m$ has the following form with respect to the basis of edges $e(p,1), \dots, e(p,m+1)$: $$\sR_m = \left[ \begin{array}{cccccc} 0 & 1 & 0 & \dots&0 & 0\\ 0 & 0 & 1 & \dots &0& 0\\ \dots\\ 0 &0 &0& \dots & 1 & 0\\ 0 &0 & 0 & \dots & 0& 2\\ 1 &0 &0& \dots & 0 & 1\\ \end{array} \right ].$$ The characteristic polynomial for $\sR_m$ is $R_m(t) = t^m(t-1) - 2$. As we will see in the proof of Theorem \[CharEq-thm\] given below, the appearance of $\sR_m$ within the transition matrices of $\phi_{\beta_{m,n}}$ and $\phi_{\sigma_{m,n}}$ gives rise to a similar form for their characteristic equations. Given a polynomial $f(x)$ of degree $d$, let $f_*(t) = t^df(1/t)$. \[CharEq-thm\] The dilatations of $\beta_{m,n}$ and $\sigma_{m,n}$ are as follows: <span>(1)</span> For $m,n \ge 1$, the dilatation $\lambda(\beta_{m,n})$ is the largest root of the polynomial $$T_{m,n}(t) = t^{n+1} R_m(t) + (R_m)_*(t).$$ <span>(2)</span> For $m,n\ge 1$ and $|m-n| \ge 2$, the dilatation $\lambda(\sigma_{m,n})$ is the largest root of the polynomial $$S_{m,n}(t) = t^{n+1} R_m(t) - (R_m)_*(t).$$ In the discussion at the end of Section \[TT-section\], we saw that, up to isotopy, $\g_{m,n}'$ is a graph map for a pseudo-Anosov representative of $\phi_{\beta_{m,n}}$, and by Proposition \[SmnGraph-prop\] $\h_{m,n}$ is a graph map for a pseudo-Anosov representative of $\phi_{\sigma_{m,n}}$. Thus, to find characteristic polynomials for $\lambda(\beta_{m,n})$ and $\lambda(\sigma_{m,n})$, it is enough to compute the transition matrices for $\g_{m,n}'$ and $\h_{m,n}$. Consider the basis for $V(G_{m,n}')$: $$\begin{aligned} v_k &=& e(p,k),\quad k=1,\dots,m, \\ v_{m+1} &=& e(p,m+n+1), \\ v_{m+1+k} &=& e(m+k,m+k+1), \quad k=1,\dots,n, \\ v_{m+n+2} &=& e(p,m+1).\end{aligned}$$ The corresponding transition matrix for $g_{m,n}'$ is given by $$\sT'_{m,n} = \left [ \begin{array}{cccccc|cccccc} 0 & 1 & 0 & \dots & 0 & 0 &0&0&\dots&&0\\ 0 & 0 & 1 & \dots & 0 & 0&0&0& \dots &&0\\ &&&\dots&&&&&\dots&&\\ 0 &0 &0&\dots&1&0&0&0&\dots&&0\\ 0 & 0 & 0 & \dots & 0 & 2 &1&0& \dots&&(1)_b\\ 1 & 0 & 0 & \dots & 0 & 1 &2 & 0 &\dots &&0\\ \hline 0 &0& \dots &&0&0 &0&1&0&\dots &0\\ 0 &0& \dots &&0&0&0&0&1&\dots &0\\ &&\dots&&&&&&\dots&\\ 0 &0& \dots &&0&0&0&0&\dots &1&0\\ 0 &0& \dots &&0&(1)_{ab}&0&0&\dots &0&0\\ 0&0&\dots &&0&0&(-1)_b&0&\dots &0&(0)_a\\ \end{array} \right ]$$ We will show that the characteristic polynomial for $\sT'_{m,n}$ is given by $$T_{m,n}(t) = t^n R_m(t) + (R_m)_*(t).$$ The upper left block matrix of $\sT'_{m,n}$ corresponding to the vectors $v_1,\dots,v_{m+1}$ is identical to $\mathcal{R}_m$. Multiplying the characteristic polynomials of the upper left and lower right diagonal blocks gives $t^{n+1}R_m$. The rest of the characteristic polynomial has two nonzero summands. One corresponds to the matrix entries marked $a$, and is given by $$t(-1)^{n+1} \left | \begin{array} {ccccc} -1&0&\cdots&0&0\\ t&-1&\cdots&0&0\\ &&\cdots&&\\ 0&0&\cdots&t&-1\\ \end{array} \right |_{(n-1)\times (n-1)} \left | \begin{array}{cccccc} t&-1&\cdots&0&0\\ 0&t&\cdots&0&0\\ &&\cdots&&\\ 0&0&\cdots&t&-1\\ -1&0&\cdots&0&-2 \end{array} \right |_{(m+1)\times (m+1)},$$ which yields $-t(2t^m +1)$. The other summand corresponds to the matrix entries marked $b$ and is given by $$(-1)^{n+1} \left | \begin{array} {ccccc} -1&0&\cdots&0&0\\ t&-1&\cdots&0&0\\ &&\cdots&&\\ 0&0&\cdots&t&-1\\ \end{array} \right |_{(n-2)\times (n-2)} \left | \begin{array}{cccccc} t&-1&0&\cdots&0&0\\ 0&t&-1&\cdots&0&0\\ &&&\cdots&&\\ 0&0&0&\cdots&t&-1\\ -1&0&0&\cdots&0&0\\ \end{array} \right |_{m \times m},$$ which yields $1$. This completes the proof of (1). Let $\sS_{m,n}$ be the transition matrix for $\h_{m,n}: H_{m,n} \rightarrow \sF(H_{m,n}) $. We will pull back $\sS_{m,n}$ to an invertible linear transformation on $V(G_{m,n}')$ using the map $\f_{m,n}$ given in (\[graphmap-map\]). Let $\h_{m,n}' (v_i)$ be the image of $\g_{m,n}'(v_i)$ under the identification defined by $\f_{m,n}$. Then the transition matrix $\sS_{m,n}'$ for $\h_{m,n}': G_{m,n}' \rightarrow F(H_{m,n})$ is the same as $\sT_{m,n}'$ except at the vector $v_{m+n+1}$. As can be seen in Figure \[wrap-fig\], we have $$\sS_{m,n}'(v_{m+n+1}) = \sT_{m,n}'(v_{m+1}) - 2v_{m+n+1}$$ Thus, $\sS_{m,n}'$ differs from $\sT_{m,n}'$ only by changing the entry labeled by both $a$ and $b$ from $1$ to $-1$. Recall that the sign of the entry marked both $a$ and $b$ in $\sT_{m,n}$ determines the sign of in front of $(R_{m})_*$. Since this sign is the only difference between $\sS_{m,n}'$ and $\sT_{m,n}$, the characteristic polynomial for $\sS'_{m,n}$ is given by $$S_{m,n}(t) = t^nR_m(t) - (R_m)_*(t).$$ To finish the proof of (2) we have left to check that $\lambda(\sigma_{m,n})$ is the largest root of $S_{m,n}$. Thus (2) follows if we can show that the extra eigenvalue of $\sS_{m,n}'$ has absolute value $1$. We will show below that the extra eigenvalue equals $1$. From Figure \[identify-fig\], we see that the kernel of the linear map induced by $\f_{m,n}$ is spanned by $$w = 2(v_1 + \cdots + v_m) + v_{m+1} - (v_{m+2} + \cdots + v_{m+n+1}) + v_{m+n+2}.$$ Under the map $\h_{m,n}'$, we have $$\begin{aligned} 2(v_1+ \cdots v_m) &\mapsto& 2(v_{m+1} + v_1 + \cdots + v_{m-1}),\\ v_{m+1} &\mapsto& 2v_m + v_{m+1} - v_{m+n+1},\\ v_{m+2} + \cdots +v_{m+n+1} &\mapsto& v_{m} + 2 v_{m+1} + v_{m+2} + \cdots + v_{m+n} - v_{m+n+2},\\ v_{m+n+2} &\mapsto& v_{m},\end{aligned}$$ and hence, $\h_{m,n}'(w) = w$. Thus, the characteristic polynomial for $\sS_{m,n}'$ differs from that for $\sS_{m,n}$ by a factor of $(t-1)$. Hiroyuki Minakawa independently discovered the pseudo-Anosov maps on $F_g$ constructed in the proof of Proposition \[Smn-lift-prop\], for the case when $(m,n) = (g-1,g+1)$, using a beautiful new method for constructing orientable pseudo-Anosov maps on genus $g$ surfaces. He also directly computes their dilatation using different techniques from ours. Dilatations and Salem-Boyd sequences {#Salem-Boyd-section} ------------------------------------ In this section, we apply properties of Salem-Boyd sequences to find the least dilatations among $ \lambda(\sigma_{m,n})$ and $\lambda(\beta_{m,n})$ for $m+n = 2g$ fixing $g$. We also give bounds on these dilatations. Given a polynomial $f(t)$ of degree $d$, the <span>*reciprocal*</span> of $f(t)$ is $f_*(t) = t^df(1/t)$. The polynomial $f$ satisfying $f=f_*$ (respectively, $f=-f_*$) is a <span>*reciprocal polynomial*</span> (respectively, <span>*anti-reciprocal polynomial*</span>). For a monic integer polynomial $P(t)$ of degree $d$, the sequence $$Q^\pm_n(t) = t^n P(t) \pm P_*(t)$$ is called the <span>*Salem-Boyd sequence*</span> associated to $P$. \[Salem-Boyd-theorem\] Let $Q_n$ be a Salem-Boyd sequence associated to $P$. Then $Q_n$ is a reciprocal or an anti-reciprocal polynomial, and the set of roots of $Q_n$ outside the unit circle converge to those of $P$ as $n$ goes to infinity. Theorem \[Salem-Boyd-theorem\] is a consequence of Rouché's Theorem applied to the sum $$\frac{P(t)}{t^d} \pm \frac{P_*(t)}{t^{n+d}}$$ considered as a holomorphic function on the Riemann sphere minus the unit disk. For a monic integer polynomial $f(t)$, let $N(f)$ be the number of roots of $f$ outside the unit circle, $\lambda(f)$ the maximum norm of roots of $f$, and $M(f)$ the product of the norms of roots outside the unit circle, which is called the <span>*Mahler measure*</span> of $f$. \[Salem-Boyd-cor\] Let $Q_n$ be a Salem-Boyd sequence associated to $P$. Then <span>(1)</span> $\lim_{n\rightarrow \infty} M(Q_n) = M(P)$, and <span>(2)</span> $\lim_{n\rightarrow \infty} \lambda(Q_n) = \lambda(P)$. Any algebraic integer on the unit circle has a (anti-)reciprocal minimal polynomial. Suppose $$P(t) = P_0(t) R(t),$$ where $R$ is (anti-)reciprocal and $P_0$ has no roots on the unit circle. Then $$Q_n(t) = R(t) (t^nP_0(t) \pm (P_0)_*(t)).$$ We have thus shown the following. All roots of $P$ on the unit circle are also roots of $Q_n$ for all $n$. The following theorem can be proved by first restricting to the case when $P$ has no roots on the unit circle, and then by defining a natural deformation of the roots of $P(t)$ to those of $Q_n(t)$, which don't cross the unit circle (see @Boyd77). \[number-of-roots-theorem\] Let $Q_n$ be a Salem-Boyd sequence associated to $P$. Then $$N(Q_n) \leq N(P)$$ for all $n$. We now apply the above results to the Salem-Boyd sequences $S_{m,n}$ and $T_{m,n}$ of Theorem \[CharEq-thm\]. To do this we first study the polynomials $R_m$. \[MRm-lem\] For all $m$, $M(R_m) = 2$. For $|t| < 1$ we have $$|t^m(t-1)| < 2,$$ and hence $R_m$ has no roots strictly within the unit circle. Therefore, the Mahler measure of $R_m$ must equal the absolute value of the constant coefficient, namely 2. \[asymp-cor\] Fixing $m$ and letting $n$ increase, the Mahler measures of $T_{m,n}$ and $S_{m,n}$ converge to 2. Apply Corollary \[Salem-Boyd-cor\]. \[Rm-lem\] The polynomial $R_m$ has one real root outside the unit circle. This root is simple and greater than 1. Taking the derivative $$R_m'(t) = (m+1)t^m - mt^{m-1}$$ we see that $R_m$ is increasing for $t > \frac{m}{m+1}$, and hence also for $t \ge 1$. Since $R_m(1) = -2 < 0$ and $R_m(2) > 0$, it follows that $R_m$ has a simple root $\mu_m$ with $1 < \mu_m < 2$. Similarly we can show that, for $t < 0$, $R_m$ has no roots for $m$ even, and one root if $m$ is odd. In the odd case, $R_m(-1) = 0$, so $R_m$ has no real roots strictly less than $-1$. \[Rm2-lem\] The sequence $\lambda(R_m)$ converges monotonically to 1 from above. Since $M(R_m) = 2$, we know that $\mu_m = \lambda(R_m) > 1$. Take any $\epsilon > 0$. Let $D_\epsilon$ be the disk of radius $1+\epsilon$ around the origin in
{'source': 'arXiv_out/math0507012_extract_braidfamily_submit'}