Tunnel-number-one knot exteriors in $S^3$ disjoint from proper power curves

Abstract: As one of the background papers of the classification project of hyperbolic primitive/Seifert knots in $S^3$ whose complete list is given in [BK20], this paper classifies all possible R-R diagrams of two disjoint simple closed curves $R$ and $\beta$ lying in the boundary of a genus two handlebody $H$ up to equivalence such that $\beta$ is a proper power curve and a 2-handle addition $H[R]$ along $R$ embeds in $S^3$ so that $H[R]$ is the exterior of a tunnel-number-one knot. As a consequence, if $R$ is a nonseparating simple closed curve on the boundary of a genus two handlebody such that $H[R]$ embeds in $S^3$, then there exists a proper power curve disjoint from $R$ if and only if $H[R]$ is the exterior of the unknot, a torus knot, or a tunnel-number-one cable of a torus knot. The results of this paper will be mainly used in proving the hyperbolicity of P/SF knots and in classifying P/SF knots in once-punctured tori in $S^3$, which is one of the types of P/SF knots in [BK20]. Together with these results, the preliminary of this paper which consists of three parts: the three diagrams which are Heegaard diagrams, R-R diagrams, and hybrid diagrams, `the Culling Lemma', and locating waves into an R-R diagrams, will also be used in the classification of hyperbolic primitive/Seifert knots in $S^3$.