Abstract: The fundamental quandle is a complete invariant for unoriented tame knots \cite{JO, Ma} and non-split links \cite{FR}. The proof involves proving a relationship between the components of the fundamental quandle and the cosets of the peripheral subgroup(s) in the fundamental group of the knot or link. We extend these relationships to spatial graphs, and to N-quandles of links and spatial graphs. As an application, we are able to give a complete list of links with finite N-quandles, proving a conjecture from \cite{MS}, and a partial list of spatial graphs with finite N-quandles.
Abstract: The topological symmetry group of an embedding $\Gamma$ of an abstract graph $\gamma$ in $S^3$ is the group of automorphisms of $\gamma$ which can be realized by homeomorphisms of the pair $(S^3, \Gamma)$. These groups are motivated by questions about the symmetries of molecules in space. In this paper, we find all the groups which can be realized as topological symmetry groups for each of the graphs in the Heawood family. This is an important collection of spatial graphs, containing the only intrinsically knotted graphs with 21 or fewer edges. As a consequence, we discover that the graphs in this family are all intrinsically chiral.
Abstract: The fundamental quandle is a powerful invariant of knots, links and spatial graphs, but it is often difficult to determine whether two quandles are isomorphic. One approach is to look at quotients of the quandle, such as the $n$-quandle defined by Joyce \cite{JO}; in particular, Hoste and Shanahan \cite{HS2} classified the knots and links with finite $n$-quandles. Mellor and Smith \cite{MS} introduced the $N$-quandle of a link as a generalization of Joyce's $n$-quandle, and proposed a classification of the links with finite $N$-quandles. We generalize the $N$-quandle to spatial graphs, and investigate which spatial graphs have finite $N$-quandles. We prove basic results about $N$-quandles for spatial graphs, and conjecture a classification of spatial graphs with finite $N$-quandles, extending the conjecture for links in \cite{MS}. We verify the conjecture in several cases, and also present a possible counterexample.
Abstract: The topological symmetry group of an embedding $\Gamma$ of an abstract graph $\gamma$ in $S^3$ is the group of automorphisms of $\gamma$ which can be realized by homeomorphisms of the pair $(S^3, \Gamma)$. These groups are motivated by questions about the symmetries of molecules in space. The Petersen family of graphs is an important family of graphs for many problems in low dimensional topology, so it is desirable to understand the possible groups of symmetries of their embeddings in space. In this paper, we find all the groups which can be realized as topological symmetry groups for each of the graphs in the Petersen Family. Along the way, we also complete the classification of the realizable topological symmetry groups for $K_{3,3}$.
Abstract: To better understand the fundamental quandle of a knot or link, it can be useful to look at finite quotients of the quandle. One such quotient is the $n$-quandle (or, when $n=2$, the {\em involutory} quandle). Hoste and Shanahan \cite{HS2} gave a complete list of the links which have finite $n$-quandles; it remained to give explicit descriptions of these quandles. This has been done for several cases in \cite{CHMS} and \cite{HS1}; in the current work we continue this project and explicitly describe the Cayley graphs for the finite involutory quandles of two-bridge links with an axis.
Abstract: The fundamental quandle is a powerful invariant of knots and links, but it is difficult to describe in detail. It is often useful to look at quotients of the quandle, especially finite quotients. One natural quotient introduced by Joyce \cite{JO} is the $n$-quandle. Hoste and Shanahan \cite{HS2} gave a complete list of the knots and links which have finite $n$-quandles for some $n$. We introduce a generalization of $n$-quandles for links, denoted $N$-quandles (for a link with $k$ components, $N$ is a $k$-tuple of positive integers). We conjecture a classification of the links with finite $N$-quandles for some $N$, and we prove one direction of the classification.
Abstract: This is a brief survey article on invariants of spatial graphs, including the fundamental group and Alexander polynomial, the fundamental quandle, and the Yamada polynomial.
Abstract: We use Kauffman's bracket polynomial to define a complex-valued invariant of virtual rational tangles that generalizes the well-known fraction invariant for classical rational tangles. We provide a recursive formula for computing the invariant, and use it to compute several examples.
Abstract: We study {\em generalized graph splines,} introduced by Gilbert, Viel, and the last author. For a large class of rings, we characterize the graphs that only admit constant splines. To do this, we prove that if a graph has a particular type of cutset (e.g., a bridge), then the space of splines naturally decomposes as a certain direct sum of submodules. As an application, we use these results to describe splines on a triangulation studied by Zhou and Lai, but over a different ring than they used.
Abstract: We compute Cayley graphs and automorphism groups for all finite $n$-quandles of two-bridge and torus knots and links, as well as torus links with an axis.
Abstract: This article presents a survey of some recent results in the theory of spatial graphs. In particular, we highlight results related to intrinsic knotting and linking and results about symmetries of spatial graphs. In both cases we consider spatial graphs in $S^3$ as well as in other 3-manifolds.
Abstract: We define a family of virtual knots generalizing the classical twist knots. We develop a recursive formula for the Alexander polynomial $\Delta_0$ (as defined by Silver and Williams \cite{sw}) of these virtual twist knots. These results are applied to provide evidence for a conjecture that the odd writhe of a virtual knot can be obtained from $\Delta_0$.
Abstract: We give a new interpretation of the Alexander polynomial $\Delta_0$ for virtual knots due to Sawollek and Silver and Williams, and use it to show that, for any virtual knot, $\Delta_0$ determines the writhe polynomial of Cheng and Gao (equivalently, Kauffman's affine index polynomial). We also use it to define a second-order writhe polynomial, and give some applications.
Abstract: A {\em balanced} spatial graph has an integer weight on each edge, so that the directed sum of the weights at each vertex is zero. We describe the Alexander module and polynomial for balanced spatial graphs (originally due to Kinoshita \cite{ki}), and examine their behavior under some common operations on the graph. We use the Alexander module to define the determinant and $p$-colorings of a balanced spatial graph, and provide examples. We show that the determinant of a spatial graph determines for which $p$ the graph is $p$-colorable, and that a $p$-coloring of a graph corresponds to a representation of the fundamental group of its complement into a metacyclic group $\Gamma(p,m,k)$. We finish by proving some properties of the Alexander polynomial.
Abstract: The symmetries of complex molecular structures can be modeled by the topological symmetry group of the underlying embedded graph. It is therefore important to understand which topological symmetry groups can be realized by particular abstract graphs. This question has been answered for complete graphs; it is natural next to consider complete bipartite graphs. In previous work we classified the complete bipartite graphs that can realize topological symmetry groups isomorphic to $A_4$, $S_4$ or $A_5$; in this paper we determine which complete bipartite graphs have an embedding in $S^3$ whose topological symmetry group is isomorphic to $\mathbb{Z}_m$, $D_m$, $\mathbb{Z}_r \times \mathbb{Z}_s$ or $(\mathbb{Z}_r \times \mathbb{Z}_s) \ltimes \mathbb{Z}_2$.
Abstract: Every classical or virtual knot is equivalent to the unknot via a sequence of extended Reidemeister moves and the so-called forbidden moves. The minimum number of forbidden moves necessary to unknot a given knot is a new invariant we call the forbidden number. We relate the forbidden number to several known invariants, and calculate bounds for some classes of virtual knots.
Abstract: We determine for which $n$, the complete graph $K_{n,n}$ has an embedding in $S^3$ whose topological symmetry group is isomorphic to one of the polyhedral groups: $A_4$, $A_5$, or $S_4$.
Abstract: We characterize which automorphisms of an arbitrary complete bipartite graph $K_{n,m}$ can be induced by a homeomorphism of some embedding of the graph in $S^3$.
Abstract: In this paper we complete the classification of topological symmetry groups for complete graphs $K_n$ by characterizing which $K_n$ can have a cyclic group, a dihedral group, or a subgroup of $D_m \times D_m$ where $m$ is odd, as its topological symmetry group.
Abstract: We investigate the minimal number of links and knots in complete partite graphs. We provide exact values or bounds on the minimal number of links for all complete partite graphs with all but 4 vertices in one partition, or with 9 vertices in total. In particular, we find that the minimal number of links for $K_{4,4,1}$ is 74. We also provide exact values or bounds on the minimal number of knots for all complete partite graphs with 8 vertices.The calculations in this paper made use of the program Gordian, which is available on my Gordian page.
Abstract: Tilings of the plane, especially periodic tilings, can be used as the basis for flat bead weaving patterns called angle weaves. We describe specific ways to create intricate and beautiful angle weaves from periodic tilings, by placing beads on or near the vertices or edges of a tiling and weaving them together with thread. We also introduce the notion of star tilings and their associated angle weaves. We organize the angle weaves that we create into several classes, and explore some of the relationships among them. We then use the results to design graphic illustrations of many layered patterns. Finally, we prove that every normal tiling induces an angle weave, providing many opportunities for further exploration.
Abstract: It is shown that for any locally knotted edge of a 3-connected graph in $S^3$, there is a ball that contains all of the local knots of that edge and is unique up to an isotopy setwise fixing the graph. This result is applied to the study of topological symmetry groups of graphs embedded in $S^3$.
Abstract: We determine for which $m$, the complete graph $K_m$ has an embedding in $S^3$ whose topological symmetry group is isomorphic to one of the polyhedral groups: $A_4$, $A_5$, or $S_4$.
Abstract: Experiments with a common physical model of the hyperbolic plane presented the authors with surprising difficulties in drawing a large triangle. Understanding these difficulties led to an intriguing exploration of the geometry of the Thurston model of the hyperbolic plane. In this exploration we encountered topics ranging from combinatorics and Pick’s Theorem to differential geometry and the Gauss-Bonnet Theorem.
Abstract: We find the minimal number of links in an embedding of any complete k-partite graph on 7 vertices (including $K_7$, which has at least 21 links). We give either exact values or upper and lower bounds for the minimal number of links for all complete k-partite graphs on 8 vertices. We also look at larger complete bipartite graphs, and state a conjecture relating minimal linking embeddings with minimal book embeddings.
Abstract: We show that, given any $n$ and $\alpha$, every embedding of any sufficiently large complete graph in $\mathbb{R}^3$ contains an oriented link with components $Q_1$, ..., $Q_n$ such that for every $i\not =j$, $|\lk(Q_i,Q_j)|\geq\alpha$ and $|a_2(Q_i)|\geq\alpha$, where $a_{2}(Q_i)$ denotes the second coefficient of the Conway polynomial of $Q_i$.
Abstract: In previous work, we defined the intersection graph of a chord diagram associated with a string link (as in the theory of finite type invariants). In this paper, we look at the case when this graph is a tree, and we show that in many cases these trees determine the chord diagram (modulo the usual 1-term and 4-term relations).
Abstract: We use Polyak's skein relation to give a new proof that Milnor's string link homotopy invariants are finite type invariants, and to develop a recursive relation for their associated weight systems. We show that the obstruction to the triviality of these weight systems is the presence of a certain kind of spanning tree in the intersection graph of a chord diagram.
Abstract: Two natural generalizations of knot theory are the study of spatially embedded graphs, and Kauffman's theory of virtual knots. In this paper we combine these approaches to begin the study of virtual spatial graphs.
Abstract: Beaded beads are clusters of beads woven together (usually around one or more large holes). Their groups of symmetries are classified by the three-dimensional finite point groups, i.e. the finite subgroups of the orthogonal group of degree three, O(3). The question we answer is whether every finite subgroup of O(3) can be realized as the group of symmetries of a beaded bead. We show that this is possible, and we describe general weaving techniques we used to accomplish this feat, as well as examples of a beaded bead realizing each finite subgroup of O(3) or, in the case of the seven infinite classes of finite subgroups, at least one representative beaded bead for each class.
Abstract: Two natural generalizations of knot theory are the study of spatial graphs and virtual knots. Our goal is to unify these two approaches into the study of virtual spatial graphs. This paper is a survey, and does not contain any new results. We state the definitions, provide some examples, and survey the known results. We hope that this paper will help lead to rapid development of the area.
Abstract: We introduce a notion of intrinsic linking and knotting for virtual spatial graphs. Our theory gives two filtrations of the set of all graphs, allowing us to measure, in a sense, how intrinsically linked or knotted a graph is; we show that these filtrations are descending and non-terminating. We also provide several examples of intrinsically virtually linked and knotted graphs. As a byproduct, we introduce the {\it virtual unknotting number} of a knot, and show that any knot with non-trivial Jones polynomial has virtual unknotting number at least 2.
Abstract: In previous work, the author defined the intersection graph of a chord diagram associated with a string link (as in the theory of finite type invariants). In this paper, we classify the trees which can be obtained as intersection graphs of string link diagrams.
Abstract: We prove that a graph is intrinsically linked in an arbitrary 3-manifold M if and only if it is intrinsically linked in S3. Also, assuming the Poincare Conjecture, a graph is intrinsically knotted in M if and only if it is intrinsically knotted in S3.
Abstract: We extend the notion of intersection graphs for knots in the theory of finite type invariants to string links. We use our definition to develop weight systems for string links via the adjacency matrix of the intersection graphs, and show that these weight systems are related to the weight systems induced by the Conway and Homfly polynomials.
Abstract: We derive formulas for counting the number of strands in a variety of knotwork designs inspired by traditional Celtic designs, including rectangular panels, circular borders, rectangular borders, and half frames.
Abstract: We give a geometric interpretation of Milnor's invariants $\bar{\mu}(ijk)$ in terms of triple intersection points of Seifert surfaces for the three link components. This generalizes ideas of Cochran to links which are not algebraically split.
Abstract: We show that the adjacency matrices of the intersection graphs of chord diagrams satisfy the 2-term relations of Bar-Natan and Garoufalides, and hence give rise to weight systems. Among these weight systems are those associated with the Conway and HOMFLYPT polynomials. We extend these ideas to looking at a space of marked chord diagrams modulo an extended set of 2-term relations, define a set of generators for this space, and again derive weight systems from the adjacency matrices of the (marked) intersection graphs. Among these weight systems are those associated with the Kauffman polynomial.
Abstract: We show that for links with at most 5 components, the only finite type homotopy invariants are products of the linking numbers. In contrast, we show that for links with at least 9 components, there must exist finite type homotopy invariants which are not products of the linking numbers. This corrects previous errors of the first author.
Abstract: We define a notion of finite type invariants for links with a fixed linking matrix. We show that Milnor's triple link homotopy invariant is a finite type invariant, of type 1, in this sense. We also generalize the approach to Milnor's higher order homotopy invariants and show that they are also, in a sense, of finite type. Finally, we compare our approach to another approach for defining finite type invariants within linking classes.
Abstract: This paper is a generalization of the author's previous work on link homotopy to link concordance. We show that the only real-valued finite type link concordance invariants are the linking numbers of the components. (Note: This main result later turned out to be false - see "On the existence of finite type link homotopy invariants")
Abstract: Vassiliev invariants can be studied by studying the spaces of chord diagrams associated with singular knots. To these chord diagrams are associated the intersection graphs of the chords. We extend results of Chmutov, Duzhin and Lando to show that these graphs determine the chord diagram if the graph has at most one loop. We also compute the size of the subalgebra generated by these "loop diagrams."
Abstract: Bar-Natan used Chinese characters to show that finite type invariants classify string links up to homotopy. In this paper, I construct the correct spaces of chord diagrams and Chinese characters for links up to homotopy. I use these spaces to show that the only rational finite type invariants of link homotopy are the pairwise linking numbers of the components. (Note: This main result later turned out to be false - see "On the existence of finite type link homotopy invariants")
Abstract: Chord diagrams on circles and their intersection graphs (also known as circle graphs) have been intensively studied, and have many applications to the study of knots and knot invariants, among others. However, chord diagrams on more general graphs have not been studied, and are potentially equally valuable in the study of spatial graphs. We will define chord diagrams for planar embeddings of planar graphs and their intersection graphs, and prove some basic results. Then, as an application, we will introduce Gauss codes for immersions of graphs in the plane and give algorithms to determine whether a particular crossing sequence is realizable as the Gauss code of an immersed graph.
For more papers on finite type invariants, check out the bibliography maintained by Sergei Duzhin.
Most of my papers are posted on the mathematics arXiv. A list of my papers on the arXiv is here.
Return to Research.
Return to Blake's Homepage.