arXiv++ Combinatorics

In the theory of finite order knot invariants, the universal $\text{sl}_2$ weight system maps the chord diagrams to polynomials in a single variable with integer coefficients. In this paper, we define a family of polynomials that generalize the Kreweras triangle (known to refine the normalized median Genocchi numbers), and we show how it appears in this weight system.

The study of knots and links from a probabilistic viewpoint provides insight into the behavior of "typical" knots, and opens avenues for new constructions of knots and other topological objects with interesting properties. The knotting of random curves arises also in applications to the natural sciences, such as in the context of the structure of polymers. We present here several known and new randomized models of knots and links. We review the main known results on the knot distribution in each model. We discuss the nature of these models and the properties of the knots they produce. Of particular interest to us are finite type invariants of random knots, and the recently studied Petaluma model. We report on rigorous results and numerical experiments concerning the asymptotic distribution of such knot invariants. Our approach raises questions of universality and classification of the various random knot models.

In this article, we define an independence system for a classical knot diagram and prove that the independence system is a knot invariant for alternating knots. We also discuss the exchange property for minimal unknotting sets. Finally, we show that there are knot diagrams where the independence system is a matroid and there are knot diagrams where it is not.

We study the relationship between rational slope Dyck paths and invariant subsets of $\mathbb Z,$ extending the work of the first two authors in the relatively prime case. We also find a bijection between $(dn,dm)$--Dyck paths and $d$-tuples of $(n,m)$-Dyck paths endowed with certain gluing data. These are the first steps towards understanding the relationship between rational slope Catalan combinatorics and the geometry of affine Springer fibers and knot invariants in the non relatively prime case.

We study random knots and links in R^3 using the Petaluma model, which is based on the petal projections developed by Adams et al. (2012). In this model we obtain a formula for the distribution of the linking number of a random two-component link. We also obtain formulas for the expectations and the higher moments of the Casson invariant and the order-3 knot invariant v3. These are the first precise formulas given for the distributions of invariants in any model for random knots or links. We also use numerical computation to compare these to other random knot and link models, such as those based on grid diagrams.

The topology of spaces of Hermitian operators in $C^n$ with non-simple spectra was studied by V.Arnold in a relation with the theory of adiabatic connections and the quantum Hall effect. The natural filtration of these spaces by the sets of operators with fixed numbers of eigenvalues defines the spectral sequence, providing interesting combinatorial and homological information on this stratification. We construct a different spectral sequence, also counting the homology groups of these spaces and based on the universal techniques of {\em topological order complexes} and resolutions of algebraic varieties, generalizing the combinatorial inclusion-exclusion formula and similar to the construction of finite degree knot invariants. This spectral sequence degenerates at the term $E_1$, is (conjecturally) multiplicative, and as $n$ grows then it converges to a stable spectral sequence counting the cohomology of the space of infinite Hermitian operators without multiple eigenvalues, all whose terms $E^{p,q}_r$ are finitely generated. It allows us to define the finite degree cohomology classes of this space, and to apply the well-known facts and methods of the topological theory of flag manifolds to the problems of geometrical combinatorics, especially concerning the continuous partially ordered sets of subspaces and flags.

We consider the construction of refined Chern-Simons torus knot invariants by M. Aganagic and S. Shakirov from the DAHA viewpoint of I. Cherednik. We give a proof of Cherednik's conjecture on the stabilization of superpolynomials, and then use the results of O. Schiffmann and E. Vasserot to relate knot invariants to the Hilbert scheme of points on the plane. Then we use the methods of the second author to compute these invariants explicitly in the uncolored case. We also propose a conjecture relating these constructions to the rational Cherednik algebra, as in the work of the first author, A. Oblomkov, J. Rasmussen and V. Shende. Among the combinatorial consequences of this work is a statement of the m/n shuffle conjecture.

For each pointed abelian group $(A,c)$, there is an associated {\em Galkin quandle} $G(A,c)$ which is an algebraic structure defined on $\Bbb Z_3\times A$ that can be used to construct knot invariants. It is known that two finite Galkin quandles are isomorphic if and only if their associated pointed abelian groups are isomorphic. In this paper we classify all finite pointed abelian groups. We show that the number of nonisomorphic pointed abelian groups of order $q^n$ ($q$ prime) is $\sum_{0\le m\le n}p(m)p(n-m)$, where $p(m)$ is the number of partitions of integer $m$.

This book is a detailed introduction to the theory of finite type (Vassiliev) knot invariants, with a stress on its combinatorial aspects. It is intended to serve both as a textbook for readers with no or little background in this area, and as a guide to some of the more advanced material. Our aim is to lead the reader to understanding by means of pictures and calculations, and for this reason we often prefer to convey the idea of the proof on an instructive example rather than give a complete argument. While we have made an effort to make the text reasonably self-contained, an advanced reader is sometimes referred to the original papers for the technical details of the proofs. Version 3: some typos and inaccuracies are corrected.

In connection with Vassiliev's knot invariants, Stoimenow (1998) introduced certain matchings, also called regular linearized chord diagrams. Bousquet-Melou et al. (2008) gave a bijection from those matchings to unlabeled (2+2)-free posets; they also showed how to encode the posets as so called ascent sequences. In this paper we present a direct encoding of Stoimenow's matchings as ascent sequences. In doing so we give the rules for recursively constructing and deconstructing such matchings.

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.

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.

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.

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.