arXiv++ Combinatorics

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.

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.

Khovanov homology for knots has generated a flurry of activity in the topology community. This paper studies the Khovanov type cohomology for graphs with a special attention to torsions. When the underlying algebra is $\mathbb{Z}[x]/(x^2)$, we determine precisely those graphs whose cohomology contains torsion. For a larger class of algebras, we show that torsion often occurs. Our investigation of torsion led to other related general results. The ideas of this paper could potentially be used to predict the Khovanov-Rozansky $sl(m)$ homology of knots (in particular $(2,n)$ torus knots). We also predict that our work is connected with Hochschild and Connes cyclic homology of algebras.

Knots and links are interpreted as homotopy classes of nanowords and nanophrases in an alphabet consisting of 4 letters. Similar results hold for curves on surfaces. We also discuss versions of the Jones link polynomial and the link quandles for nanophrases.

This paper is an exploration of simple four-regular graphs in the plane (i.e. loopless and with no more than one edge between any two nodes). Such graphs are fundamental to the theory of knots and links in three dimensional space, and their planar diagrams. We dedicate this paper to Frank Harary (1921 -- 2005) whose fascination with graphs of knots inspired this work and with whom we had the pleasure of developing this paper. We prove that for v (the number of nodes) greater than or equal to 8 there always exist such knot-graphs. Our proof gives rise to a class of "tight" graphs that do not submit to the recursive procedure that generates graphs with v+2 nodes from "admissible" graphs with v nodes. We then classify such tight graphs.

In an earlier paper the first author defined a non-commutative A-polynomial for knots in 3-space, using the colored Jones function. The idea is that the colored Jones function of a knot satisfies a non-trivial linear q-difference equation. Said differently, the colored Jones function of a knot is annihilated by a non-zero ideal of the Weyl algebra which is generalted (after localization) by the non-commutative A-polynomial of a knot. In that paper, it was conjectured that this polynomial (which has to do with representations of the quantum group U_q(SL_2)) specializes at q=1 to the better known A-polynomial of a knot, which has to do with genuine SL_2(C) representations of the knot complement. Computing the non-commutative A-polynomial of a knot is a difficult task which so far has been achieved for the two simplest knots. In the present paper, we introduce the C-polynomial of a knot, along with its non-commutative version, and give an explicit computation for all twist knots. In a forthcoming paper, we will use this information to compute the non-commutative A-polynomial of twist knots. Finally, we formulate a number of conjectures relating the A, the C-polynomial and the Alexander polynomial, all confirmed for the class of twist knots.

We define a q-chromatic function on graphs, list some of its properties and provide some formulas in the class of general chordal graphs. Then we relate the q-chromatic function to the colored Jones function of knots. This leads to a curious expression of the colored Jones function of a knot diagram as a 'defected chromatic operator' applied to a power series whose coefficients are linear combinations of chord diagrams constructed from 'flows' on the reduced knot diagram.

For each graph we construct graded cohomology groups whose graded Euler characteristic is the chromatic polynomial of the graph. We show the cohomology groups satisfy a long exact sequence which corresponds to the well-known deletion-contraction rule. This work is motivated by Khovanov's work on categorification of the Jones polynomial of knots.

The key-agreement problem (finding a private key to use for secret messages, otherwise referred to as the public-key distribution problem), was introduced by Diffie and Hellman in 1976. An approach to structuring key-agreement protocols via the use of one-way associative functions was proposed in 1993 by Rabi and Sherman. We propose here a provably strong associative one-way function based upon knot composition (answering an open problem proposed by Rabi and Sherman whether any such associative one-way functions exist). We also introduce and solve a game, exploring its relation to problems in graph and braid theory and develop a new technique for computing whether a graph is n-colorable. En route we look at estimator and prediction problems raised in Classical Probability Theory using Urn problems.

Rotors were introduced in Graph Theory by W.Tutte. The concept was adapted to Knot Theory as a generalization of mutation by Anstee, Przytycki and Rolfsen in 1987. In this paper we show that Tristram-Levine signature is preserved by orientation-preserving rotations. Moreover, we show that any link invariant obtained from the characteristic polynomial of Goeritz matrix, including Murasugi signature, is not changed by rotations. In 2001, P. Traczyk showed that the Conway polynomials of any pair of orientation-preserving rotants coincide. But it was still an open problem if an orientation-reversing rotation preserves Conway polynomial. We show that there is a pair of orientation-reversing rotants with different Conway polynomials. This provides a negative solution to the problem.

There is a natural generalization of domino tilings to tilings of a polygon by hexagons, or, dually, configurations of oriented curves that meet in triples. We show exactly when two such tilings can be connected by a series of moves analogous to the domino flip move. The triple diagrams that result have connections to Legendrian knots, cluster algebras, and planar algebras.

Chord diagrams and related enlacement graphs of alternating knots are enhanced to obtain complete invariant graphs including chirality detection. Moreover, the equivalence by common enlacement graph is specified and the neighborhood graph is defined for general purpose and for special application to knots.

In 2002, D. Hrencecin and L.H. Kauffman defined a filamentation invariant on oriented chord diagrams that may determine whether the corresponding flat virtual knot diagrams are non-trivial. A virtual knot diagram is non-classical if its related flat virtual knot diagram is non-trivial. Hence filamentations can be used to detect non-classical virtual knots. We extend these filamentation techniques to virtual links with more than one component. We also give examples of virtual links that they can detect as non-classical.

We present a conjecture for the power-law exponent in the asymptotic number of types of plane curves as the number of self-intersections goes to infinity. In view of the description of prime alternating links as flype equivalence classes of plane curves, a similar conjecture is made for the asymptotic number of prime alternating knots. The rationale leading to these conjectures is given by quantum field theory. Plane curves are viewed as configurations of loops on a random planar lattices, that are in turn interpreted as a model of 2d quantum gravity with matter. The identification of the universality class of this model yields the conjecture. Since approximate counting or sampling planar curves with more than a few dozens of intersections is an open problem, direct confrontation with numerical data yields no convincing indication on the correctness of our conjectures. However, our physical approach yields a more general conjecture about connected systems of curves. We take advantage of this to design an original and feasible numerical test, based on recent perfect samplers for large planar maps. The numerical datas strongly support our identification with a conformal field theory recently described by Read and Saleur.

We introduce and study so-called self-indexed graphs. These are (oriented) finite graphs endowed with a map from the set of edges to the set of vertices. Such graphs naturally arise from classical knot and link diagrams. In fact, the graphs resulting from link diagrams have an additional structure, an integral flow. We call a self-indexed graph with integral flow a comte. The analogy with links allows us to define transformations of comtes generalizing the Reidemeister moves on link diagrams. We show that many invariants of links can be generalized to comtes, most notably the linking number, the Alexander polynomials, the link group, etc. We also discuss finite type invariants and quandle cocycle invariants of comtes.

This is the third paper in a series devoted to enumerating the prime alternating knots and links. This paper establishes a method for enumerating the prime alternating links. It is shown that one may choose any prime alternating link diagram of a given minimal crossing size and by applications of just two operators (T and OTS, introduced in the first paper in the series, Enumerating the Prime Alternating Knots, Part I) to the selected seed link, one obtains all prime alternating link diagrams of the desired minimal crossing size.

This is the second of a part series devoted to enumerating prime alternating knots and links. In Part I, we introduced four operators on knots and showed that if these operators are applied to the set of all prime alternating knots of n crossings, the set of all prime alternating knots of n+1 crossings is obtained. In this paper, we explain how to actually implement the operators in an efficient manner. This relies on a complete invariant that we have introduced, called the master array for a prime alternating knot. By December 1, 1999, we had successfully run an early implementation of the algorithms described in Part II on the UWO Compaq ES-40 48 node beowulf cluster to produce the 40,619,385 prime alternating knots of 19 crossings. At that time, we did not utilize memory very efficiently, and we were not able to continue further, since the number of prime alternating knots is increasing roughly by a factor of 5 with each increase in crossing size at these levels. We have subsequently made very big improvements both in memory utilization and in the amount of work that must be done.

This is the first in a series of four papers wherein we enumerate all prime alternating knots and links. In this first paper, we introduce four operators on knots and show that, when used according to very simple rules on the prime alternating knots of n crossings, the set of all prime alternating knots of n+1 crossings is obtained. The second paper (Part II) explains how to actually implement the operators in an efficient manner, although that is in a sense secondary to introduction of a complete invariant for prime alternating knots, called the master array of a prime alternating knot. The third paper in the series establishes a method for enumerating the prime alternating links. It is shown that one may choose any prime alternating link diagram of a given minimal crossing size and by applications of just two operators (namely T and OTS) to the selected seed link, one obtains all prime alternating link diagrams of the desired minimal crossing size. The fourth paper introduces the analogue of the master array for prime alternating links.

We describe rational knots with any of the possible combinations of the properties (a)chirality, (non-)positivity, (non-)fiberedness, and unknotting number one (or higher), and determine exactly their number for a given number of crossings in terms of their generating functions. We show in particular how Fibonacci numbers occur in the enumeration of fibered achiral and unknotting number one rational knots. Then we show how to enumerate rational knots by crossing number and genus and/or signature. This allows to determine the distribution of these invariants among rational knots. We give also an application to the enumeration of lens spaces.

It is an open question whether there are Vassiliev invariants that can distinguish an oriented knot from its inverse, i.e., the knot with the opposite orientation. In this article, an example is given for a first order Vassiliev invariant that takes different values on a virtual knot and its inverse. The Vassiliev invariant is derived from the Conway polynomial for virtual knots. Furthermore, it is shown that the zeroth order Vassiliev invariant coming from the Conway polynomial cannot distinguish a virtual link from its inverse and that it vanishes for virtual knots.