arXiv subjects
Publications and source records attributed to Hugh Howards.
We prove that all $1$-vertex spatial graphs with adequate diagrams have minimal crossing number, and that spatial graph diagrams obtained by replacing vertices and edges of a planar embedded graph by minimal crossing link or spatial graph diagrams have minimal crossing number. Finally, we give an example in answer to a question of Adams et al. about minimal crossing diagrams of rigid vertex graphs.
Howards and Kobin give a sharp upper bound for crossing number of knots on rectangular mosaics. Here we extend the proof to create a new bound for hexagonal mosaics in all three natural settings and shorten the proof in the rectangular setting.
All checkerboard surfaces for a given knot in $S^3$ are related by isotopy and "kinking" and "unkinking" moves, which change the surfaces' Goeritz matrices like this: $G\leftrightarrow G\oplus [\pm1]=\left[\begin{smallmatrix} G&\mathbf{0}\\ \mathbf{0}^T&\pm1 \end{smallmatrix}\right]$. We call two symmetric integer matrices "kink-equivalent" if they are related by "kinking'' and "unkinking'' moves $G\leftrightarrow G\oplus [\pm1]$ and unimodular congruence. We prove constructively that every nonsingular symmetric integer matrix is kink-equivalent to a positive-definite matrix and to a negative-definite matrix, and we give bounds on the number of moves required. This has several implications, e.g. every knot in $S^3$ is "alternating up to fake unkinking moves" and every simply connected, closed, topological 4-manifold with nonsingular intersection pairing has a positive blow-up that is homeomorphic to a negative blow-up of a positive-definite, simply connected, closed, topological 4-manifold.
Menasco proved the surprising result that if $G$ is a reduced, alternating, connected projection of a link $L$ and $G$ is prime then $L$ is prime. This result has been generalized to other classes of links, tangles, and spatial graphs. We draw attention to some issues with previous splitting results about tangles and spatial graphs, and obtain new more general results for tangles and spatial graphs.
We give an infinite family of knots such that for any given $r \geq 3$, the family contains a knot which can be embedded on a hexagonal $r$-mosaic, but cannot fit on a hexagonal $r$-mosaic in an embedding that achieves its crossing number. This extends the rectangular mosaic result of Ludwig, Evans, and Paat. We also introduce a new tool for systematically finding all possible flypes for the diagram of any link thus making it easier to find all possible minimal crossing embeddings of prime, alternating knots.
We prove the perhaps surprising result that given any three polygonal unknots in $\R^3$, then we may form the Borromean rings out of them through rigid motions of $\R^3$ applied to the individual components together with possible scaling of the components. We also prove that if at least two of the unknots are planar, then we do not need scaling. This is true even for a set of three polygonal unknots that are arbitrarily close to three circles, which themselves cannot be usedfigure to form the Borromean Rings.
The main result of this paper is that for every closed, connected, orientable, irreducible 3-manifold $M$, there is an integer $ n_M$ such that any abstract graph with no automorphism of order 2 which has a 3-connected minor whose genus is more than $n_M$ has no achiral embedding in $M$. By contrast, the paper also proves that for every graph $\gamma$, there are infinitely many closed, connected, orientable, irreducible 3-manifolds $M$ such that some embedding of $\gamma$ in $M$ is pointwise fixed by an orientation reversing involution of $M$.
Knot mosaics are used to model physical quantum states. The mosaic number of a knot is the smallest integer $m$ such that the knot can be represented as a knot $m$-mosaic. In this paper we establish an upper bound for the crossing number of a knot in terms of the mosaic number. Given an $m$-mosaic and any knot $K$ that is represented on the mosaic, its crossing number $c$ is bounded above by $(m - 2)^{2} - 2$ if $m$ is odd, and $(m - 2)^{2} - (m - 3)$ if $m$ is even.
This paper proves that convex Brunnian links exist for every dimension $n \geq 3$ by constructing explicit examples. These examples are three-component links which are higher-dimensional generalizations of the Borromean rings.
In contrast with knots, whose properties depend only on their extrinsic topology in $S^3$, there is a rich interplay between the intrinsic structure of a graph and the extrinsic topology of all embeddings of the graph in $S^3$ . For example, it was shown in [2] that every embedding of the complete graph $K_7$ in $S^3$ contains a non-trivial knot. Later in it was shown that for every $m \in N$, there is a complete graph $K_n$ such that every embedding of $K_n$ in $S_3$ contains a knot $Q$ whose minimal crossing number is at least $m$. Thus there are arbitrarily complicated knots in every embedding of a sufficiently large complete graph in $S^3$. We prove here the contrasting result that every graph has an embedding in $S^3$ such that every non-trivial knot in that embedding is hyperbolic. Our theorem implies that every graph has an embedding in $S^3$ which contains no composite or satellite knots.
We prove that a graph is intrinsically linked in an arbitrary 3-manifold M if and only if it is intrinsically linked in S^3. Also, assuming the Poincare Conjecture, we prove that a graph is intrinsically knotted in M if and only if it is intrinsically knotted in S^3.
We unify the notions of thin position for knots and for 3-manifolds and survey recent work concerning these notions.
A knot k is called ``strongly (n-1)-trivial.'' if there exists a projection of k, such that one can choose n crossings of the projection with the property that making the crossing changes corresponding to any of the $2^{n}-1$ nontrivial combinations of the selected crossings turns the original knot into the unknot. We prove that given any non-trivial knot k of genus g, k fails to be strongly n-trivial for all $n, n \geq 3g-1$.
An incompressible surface $F$ on the boundary of a compact orientable 3-manifold $M$ is arc-extendible if there is an arc $\gamma$ on $\partial M - $ Int $F$ such that $F \cup N(\gamma)$ is incompressible, where $N(\gamma)$ is a regular neighborhood of $\gamma$ in $\partial M$. Suppose for simplicity that $M$ is irreducible, and $F$ has no disk components. If $M$ is a product $F\times I$, or if $\partial M - F$ is a set of annuli, then clearly $F$ is not arc-extendible. The main theorem of this paper shows that these are the only obstructions for $F$ to be arc-extendible.