arXiv++ Combinatorics

Recent work of the first author, Negut and Rasmussen, and of Oblomkov and Rozansky in the context of Khovanov--Rozansky knot homology produces a family of polynomials in $q$ and $t$ labeled by integer sequences. These polynomials can be expressed as equivariant Euler characteristics of certain line bundles on flag Hilbert schemes. The $q,t$-Catalan numbers and their rational analogues are special cases of this construction. In this paper, we give a purely combinatorial treatment of these polynomials and show that in many cases they have nonnegative integer coefficients. For sequences of length at most 4, we prove that these coefficients enumerate subdiagrams in a certain fixed Young diagram and give an explicit symmetric chain decomposition of the set of such diagrams. This strengthens results of Lee, Li and Loehr for $(4,n)$ rational $q,t$-Catalan numbers.

A plane graph $H$ is a {\em plane minor} of a plane graph $G$ if there is a sequence of vertex and edge deletions, and edge contractions performed on the plane, that takes $G$ to $H$. Motivated by knot theory problems, it has been asked if the plane minor relation is a well-quasi-order. We settle this in the affirmative. We also prove an additional application to knot theory. If $L$ is a link and $D$ is a link diagram, write $D\leadsto L$ if there is a sequence of crossing exchanges and smoothings that takes $D$ to a diagram of $L$. We show that, for each fixed link $L$, there is a polynomial-time algorithm that takes as input a link diagram $D$ and answers whether or not $D\leadsto L$.

Let $K_{(m,p)}$ denote the family of double twist knots where $2m-1$ and $2p$ are non-zero integers denoting the number of half-twists in each region. Using a result of Takata, we prove a formula for the colored Jones polynomial of $K_{(-m,-p)}$ and $K_{(-m,p)}$. The latter case leads to new families of $q$-hypergeometric series generalizing the Kontsevich-Zagier series. We also use Bailey pairs and formulas of Walsh to find cyclotomic-like expansions for the colored Jones polynomials of $K_{(m,p)}$ and $K_{(m,-p)}$.

We construct an integer polynomial whose coefficients enumerate the Kauffman states of the two-bridge knot with Conway's notation C(n,r).

In this methodological article on experimental-yet-rigorous enumerative combinatorics, we use two instructive case studies, to show that often, just like Alexander the Great before us, the simple, "cheating" solution to a hard problem is the best. So before you spend days (and possibly years) trying to answer a mathematical question by analyzing and trying to 'understand' its structure, let your computer generate enough data, and then let it guess the answer. Often its guess can be proved by a quick 'hand-waving' (yet fully rigorous) 'meta-argument'. Since our purpose is to illustrate a methodology, we include many details, as well as Maple source-code.

In this paper, we show that Alexander polynomials for any 2-bridge knots are specializations of cluster variables. A key tool is an ancestral triangle which appeared in both quantum topology and hyperbolic geometry in different ways.

We introduce a notion of $q$-deformed rational numbers and $q$-deformed continued fractions. A $q$-deformed rational is encoded by a triangulation of a polygon and can be computed recursively. The recursive formula is analogous to the $q$-deformed Pascal identitiy for the Gaussian binomial coefficients, but the Pascal triangle is replaced by the Farey graph. The coefficients of the polynomials defining the $q$-rational count quiver subrepresentations of the maximal indecomposable representation of the graph dual to the triangulation. Several other properties, such as total positivity properties, $q$-deformation of the Farey graph, matrix presentations and $q$-continuants are given, as well as a relation to the Jones polynomial of rational knots.

We study several related models of self-avoiding polygons in a tubular subgraph of the simple cubic lattice, with a particular interest in the asymptotics of the knotting statistics. Polygons in a tube can be characterised by a finite transfer matrix, and this allows for the derivation of pattern theorems, calculation of growth rates and exact enumeration. We also develop a static Monte Carlo method which allows us to sample polygons of a given size directly from a chosen Boltzmann distribution. Using these methods we accurately estimate the growth rates of unknotted polygons in the $2\times1\times\infty$ and $3\times1\times\infty$ tubes, and confirm that these are the same for any fixed knot-type $K$. We also confirm that the entropic exponent for unknots is the same as that of all polygons, and that the exponent for fixed knot-type $K$ depends only on the number of prime factors in the knot decomposition of $K$. For the simplest knot-types, this leads to a good approximation for the polygon size at which the probability of the given knot-type is maximized, and in some cases we are able to sample sufficiently long polygons to observe this numerically.

Stanley's symmetrized chromatic polynomial is a generalization of the ordinary chromatic polynomial to a graph invariant with values in a ring of polynomials in infnitely many variables. The ordinary chromatic polynomial is a specialization of the Stanley's one. Our goal is to extend Stanley's chromatic polynomial to embedded graphs. In contrast to well-known extensions of, say, the Tutte polynomial from abstract to embedded graphs [5], we do not treat an embedded graph as an abstract graph endowed with additional information about the embedding. Instead, we consider the binary delta-matroid associated to an embedded graph and define the extended Stanley's chromatic polynomial as an invariant of delta-matroids. We show that, similarly to Stanley's symmetrized chromatic polynomial of graphs, which satisfies 4-term relations for simple graphs and determines in this way a knot invariant, extended Stanley's chromatic polynomial of binary delta-matroids we define satisfies the 4-term relations for binary delta-matroids [10] and determines, therefore, an invariant of links.

We investigate triangulations of the two-dimensional sphere and torus with the faces properly colored white and black. We focus on matchings between white triangles and incident vertices. On the torus our objects are perfect pairings, whereas on the sphere this is only true after removing one triangle and its vertices. In the latter case, such matchings (first studied by Tutte) extend the notion of state in Kauffman's formal knot theory and we show that his Clock Theorem, in its form due to Gilmer and Litherland, also extends: the set of matchings naturally forms a distributive lattice. Here the role of state transposition is played by a simple local operation about black triangles. By contrast, on the torus, the analogous state transition graph is usually disconnected: some of its components still form distributive lattices with global maxima and minima, while other components contain directed cycles and are without local extrema.

Combinatorial two-player games have recently been applied to knot theory. Examples of this include the Knotting-Unknotting Game and the Region Unknotting Game, both of which are played on knot shadows. These are turn-based games played by two players, where each player has a separate goal to achieve in order to win the game. In this paper, we introduce the Linking-Unlinking Game which is played on two-component link shadows. We then present winning strategies for the Linking-Unlinking Game played on all shadows of two-component rational tangle closures and played on a large family of general two-component link shadows.

We compute the Kauffman bracket polynomial of the three-lead Turk's head, the chain sinnet and the figure-eight chain shadow diagrams. Each of these knots can in fact be constructed by repeatedly concatenating the same 3-tangle, respectively, then taking the closure. The bracket is then evaluated by expressing the state diagrams of the concerned 3-tangle by means of the Kauffman monoid diagram's elements.

Finite order invariants (Vassiliev invariants) of knots are expressed in terms of weight systems, that is, functions on chord diagrams satisfying the four-term relations. Weight systems have graph analogues, so-called $4$-invariants of graphs, i.e. functions on graphs that satisfy the four-term relations for graphs. Each $4$-invariant determines a weight system. The notion of weight system is naturally generalized for the case of embedded graphs with an arbitrary number of vertices. Such embedded graphs correspond to links; to each component of a link there corresponds a vertex of an embedded graph. Recently, two approaches have been suggested to extend the notion of $4$-invariants of graphs to the case of combinatorial structures corresponding to embedded graphs with an arbitrary number of vertices. The first approach is due to V.~Kleptsyn and E.~Smirnov, who considered functions on Lagrangian subspaces in a $2n$-dimensional space over $\mathbb{F}_2$ endowed with a standard symplectic form and introduced four-term relations for them. On the other hand, the second approach, the one due to Zhukov and Lando, suggests four-term relations for functions on binary delta-matroids. In this paper, we prove that the two approaches are equivalent.

We collect statistics which consist of the coefficients in the expansion of the generating polynomials that count the Kauffman states associated with certain classes of pretzel knots having n tangles, of r half-twists respectively.

We give criteria for oriented links to be periodic of prime order using the quantum $\mathrm{SL}(N)$-invariant. The criteria are based upon an observation on the linking number between a periodic knot and its axis of the rotation.

We study collections of planar curves that yield diagrams for all knots. In particular, we show that a very special class called potholder curves carries all knots. This has implications for realizing all knots and links as special types of meanders and braids. We also introduce and apply a method to compare the efficiency of various classes of curves that represent all knots.

The interior polynomial is an invariant of (signed) bipartite graphs, and the interior polynomial of a plane bipartite graph is equal to a part of the HOMFLY polynomial of a naturally associated link. The HOMFLY polynomial $P_L(v,z)$ is a famous link invariant with many known properties. For example, the HOMFLY polynomial of the mirror image of $L$ is given by $P_{L}(-v^{-1},z)$. This implies a property of the interior polynomial in the planar case. We prove that the same property holds for any bipartite graph. The proof relies on Ehrhart reciprocity applied to the so called root polytope. We also establish formulas for the interior polynomial inspired by the knot theoretical notions of flyping and mutation.

Given a class of objects, a pattern theorem is a powerful result describing their structure. We show that alternating knots exhibit a pattern theorem, and use this result to prove a long-standing conjecture that alternating knots grow rare. This is currently the best possible analogue of a pair of theorems on alternating links of Sundberg and Thistlethwaite in 1998 and Thistlethwaite in 1998, given the current obstructions to an exact enumeration of knot diagrams. We also discuss implications of this pattern theorem for subknots and slipknots in minimal alternating knot diagrams and types, partially answering a conjecture of Millett and Jablan.

A plane curve is a knot diagram in which each crossing is replaced by a 4-valent vertex, and so are dual to a subset of planar quadrangulations. The aim of this paper is to introduce a new tool for sampling diagrams via sampling of plane curves. At present the most efficient method for sampling diagrams is rejection sampling, however that method is inefficient at even modest sizes. We introduce Markov chains that sample from the space of plane curves using local moves based on Reidemeister moves. By then mapping vertices on those curves to crossings we produce random knot diagrams. Combining this chain with flat histogram methods we achieve an efficient sampler of plane curves and knot diagrams. By analysing data from this chain we are able to estimate the number of knot diagrams of a given size and also compute knotting probabilities and so investigate their asymptotic behaviour.

Using a lattice model of polymers in a tube, we define one way to characterise different configurations of a given knot as either "local" or "non-local" and, for several ring polymer models, we provide both theoretical and numerical evidence that, at equilibrium, the non-local configurations are more likely than the local ones. These characterisations are based on a standard approach for measuring the "size" of a knot within a knotted polymer chain. The method involves associating knot-types to subarcs of the chain, and then identifying a knotted subarc with minimal arclength; this arclength is then the knot-size. If the resulting knot-size is small relative to the whole length of the chain, then the knot is considered to be localised or "local". If on the other hand the knot-size is comparable to the length of the chain, then the knot is considered to be "non-local". Using this definition, we establish that all but exponentially few sufficiently long self-avoiding polygons (closed chains) in a tubular sublattice of the simple cubic lattice are "non-locally" knotted. This is shown to also hold for the case when the same polygons are subject to an external tensile force, as well as in the extreme case when they are as compact as possible (no empty lattice sites). We also provide numerical evidence for small tube sizes that at equilibrium non-local knotting is more likely than local knotting, regardless of the strength of the stretching or compressing force. We note however that because of the tube confinement, the occurrence of non-local knotting in walks (open chains) is significantly different than for polygons. The relevance of these results to recent experiments involving DNA knots in solid-state nanopores is also discussed.