arXiv++ Combinatorics

We study the problem of finding the minimal (maximal) genus for a surface where a given four-valent graph with fixed opposite edge structure can be embedded into. We find several partial relations and give new reformulations in combinatorial and knot theoretic languages.

The purpose of the paper is two-fold: to introduce a multivariable creative telescoping method, and to apply it in a problem of Quantum Topology: namely the computation of the non-commutative $A$-polynomial of twist knots. Our multivariable creative telescoping method allows us to compute linear recursions for sums of the form $J(n)=\sum_k c(n,k) \hatJ (k)$ given a recursion relation for $(\hatJ(n))$ a the hypergeometric kernel $c(n,k)$. As an application of our method, we explicitly compute the non-commutative $A$-polynomial for twist knots with -8 and 11 crossings. The non-commutative $A$-polynomial of a knot encodes the monic, linear, minimal order $q$-difference equation satisfied by the sequence of colored Jones polynomials of the knot. Its specialization to $q=1$ is conjectured to be the better-known $A$-polynomial of a knot, which encodes important information about the geometry and topology of the knot complement. Unlike the case of the Jones polynomial, which is easily computable for knots with 50 crossings, the $A$-polynomial is harder to compute and already unknown for some knots with 12 crossings.

The deletion--contraction algorithm is perhaps the most popular method for computing a host of fundamental graph invariants such as the chromatic, flow, and reliability polynomials in graph theory, the Jones polynomial of an alternating link in knot theory, and the partition functions of the models of Ising, Potts, and Fortuin--Kasteleyn in statistical physics. Prior to this work, deletion--contraction was also the fastest known general-purpose algorithm for these invariants, running in time roughly proportional to the number of spanning trees in the input graph. Here, we give a substantially faster algorithm that computes the Tutte polynomial--and hence, all the aforementioned invariants and more--of an arbitrary graph in time within a polynomial factor of the number of connected vertex sets. The algorithm actually evaluates a multivariate generalization of the Tutte polynomial by making use of an identity due to Fortuin and Kasteleyn. We also provide a polynomial-space variant of the algorithm and give an analogous result for Chung and Graham's cover polynomial. An implementation of the algorithm outperforms deletion--contraction also in practice.

We define 2-decompositions of ribbon graphs, which generalise 2-sums and tensor products of graphs. We give formulae for the Bollobas-Riordan polynomial of such a 2-decomposition, and derive the classical Brylawski formula for the Tutte polynomial of a tensor product as a (very) special case. This study was initially motivated from knot theory, and we include an application of our formulae to mutation in knot diagrams.

We study the Fox coloring invariants of rational knots. We express the propagation of the colors down the twists of these knots and ultimately the determinant of them with the help of finite increasing sequences whose terms of even order are even and whose terms of odd order are odd.

For every knot K with stick number k there is a knotted polyhedral torus of knot type K with 3k vertices. We prove that at least 3k-2 vertices are necessary.

We prove that if a finite order knot invariant does not distinguish mutant knots, then the corresponding weight system depends on the intersection graph of a chord diagram rather than on the diagram itself. The converse statement is easy and well known. We discuss relationship between our results and certain Lie algebra weight systems.

A celebrated result of F. Jaeger states that the Tutte polynomial of a planar graph is determined by the HOMFLY polynomial of an associated link. Here we are interested in the converse of this result. We consider the question `to what extent does the Tutte polynomial determine the HOMFLY polynomial of any knot?' We show that the HOMFLY polynomial of a knot is determined by Tutte polynomials of plane graphs associated to the knot.

It is well-known that the Jones polynomial of an alternating knot is closely related to the Tutte polynomial of a special graph obtained from a regular projection of the knot. Relying on the results of Bollobás and Riordan, we introduce a generalization of Kauffman's Tutte polynomial of signed graphs for which describing the effect of taking a signed tensor product of signed graphs is very simple. We show that this Tutte polynomial of a signed tensor product of signed graphs may be expressed in terms of the Tutte polynomials of the original signed graphs by using a simple substitution rule. Our result enables us to compute the Jones polynomials of some large non-alternating knots. The combinatorics used to prove our main result is similar to Tutte's original way of counting ``activities'' and specializes to a new, perhaps simpler proof of the known formulas for the ordinary Tutte polynomial of the tensor product of unsigned graphs or matroids.

For a knot $K$, Kakimizu introduced a simplicial complex whose vertices are all the isotopy classes of minimal genus spanning surfaces for $K$. The first purpose of this paper is to prove the 1-skeleton of this complex has diameter bounded by a function quadratic in knot genus, whenever $K$ is atoroidal. The second purpose of this paper is to prove the intersection number of two minimal genus spanning surfaces for $K$ is also bounded by a function quadratic in knot genus, whenever $K$ is atoroidal. As one application, we prove the simple connectivity of Kakimizu's complex among all atoroidal genus 1 knots.

Lueck expressed the Gromov norm of a knot complement in terms of an infinite series that can be computed from a presentation of the fundamental group of the knot complement. In this note we show that Lueck's formula, applied to torus knots, yields surprising power series expansions for the logarithm function. This generalizes an infinite series of Lehmer for the natural logarithm of 4.

We discuss a topological approach to words introduced by the author. Words on an arbitrary alphabet are approximated by Gauss words and then studied up to natural modifications inspired by the Reidemeister moves on knot diagrams. This leads us to a notion of homotopy for words. We introduce several homotopy invariants of words and give a homotopy classification of words of length five.

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.

The Jones polynomial can be expressed in terms of spanning trees of the graph obtained by checkerboard coloring a knot diagram. We show there exists a complex generated by these spanning trees whose homology is the reduced Khovanov homology. The spanning trees provide a filtration on the reduced Khovanov complex and a spectral sequence that converges to its homology. For alternating links, all differentials on the spanning tree complex are zero and the reduced Khovanov homology is determined by the Jones polynomial and signature. We prove some analogous theorems for (unreduced) Khovanov homology.

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.

For a graph G embedded in an orientable surface Σ, we consider associated links L(G) in the thickened surface Σ\times I. We relate the HOMFLY polynomial of L(G) to the recently defined Bollobas-Riordan polynomial of a ribbon graph. This generalizes celebrated results of Jaeger and Traldi. We use knot theory to prove results about graph polynomials and, after discussing questions of equivalence of the polynomials, we go on to use our formulae to prove a duality relation for the Bollobas-Riordan polynomial. We then consider the specialization to the Jones polynomial and recent results of Chmutov and Pak to relate the Bollobas-Riordan polynomials of an embedded graph and its tensor product with a cycle.

A diagonal surface in a link exterior M is a properly embedded, incompressible, boundary incompressible surface which furthermore has the same number of boundary components and same slope on each component of the boundary of M. We derive a formula for the boundary slope of a diagonal surface in the exterior of a 2-bridge link which is analogous to the formula for the boundary slope of a 2-bridge knot found by Hatcher and Thurston. Using this formula we show that the diameter of a 2-bridge link, that is, the difference between the smallest and largest finite slopes of diagonal surfaces, is equal to the crossing number.

We present an intriguing question about lattice points in triangles where Pick's formula is "almost correct". The question has its origin in knot theory, but its statement is purely combinatorial. After more than 30 years the topological question was recently solved, but the lattice point problem is still open.

In this chapter (Chapter V) we present several results which demonstrate a close connection and useful exchange of ideas between graph theory and knot theory. These disciplines were shown to be related from the time of Tait (if not Listing) but the great flow of ideas started only after Jones discoveries. The first deep relation in this new trend was demonstrated by Morwen Thistlethwaite and we describe several results by him in this Chapter. We also presentresults from two (unpublished) preprints [P-P-0,P-18].In particular, in Section 2, we sketch two generalizations of the Tutte polynomial of graphs or, more precisely, the deletion-contraction method which Tutte polynomial utilize. The first generalization considers, instead of graphs, general objects called setoids or group systems. The second one deals with completion of the expansion of a graph with respect to subgraphs. We are motivated here by finite type invariants of links developed by Vassiliev and Gusarov along the line presented in [P-9] (compare Chapter IX). The dichromatic Hopf algebra, described in Section 2, have its origin in Vassiliev-Gusarov theory mixed with work of G. Carlo-Rota and W. Schmitt. In Section 3 we describe Tait conjecture on alternating link diagrams and apply developed methods to study adequate diagrams. In Section 4 we apply 2-variable Kauffman polynomial to alternating links and prove, in particular, the second Tait conjecture. In Section 5 we analyze the Kauffman polynomial of adequate diagrams. In Section 6 we show how coefficients of Homflypt polynomial can be used to obtain new information on classical knot invariants (e.g. Morton-Franks-Williams inequality). In the last section of Chapter V we discuss almost positive links and our method uses K. Taniyama idea of ordering of knots.

We prove the vanishing of the space of 3-loop Jacobi diagrams of odd degree. This implies that no 3-loop finite-type invariant can distinguish between a knot and its inverse.