arXiv++ Combinatorics

This paper introduces a two-variable polynomial invariant for oriented twisted knots, denoted by $Q_{K}^{z}(s,t)$, refining the $Q$-polynomial of N. Kamada and S. Kamada \cite{NaoSei}. We exhibit an infinite family of twisted knots indistinguishable by the $Q$-polynomial but separated by the $Q^z$-polynomial. To prove invariance, we first determine a generating set of oriented Reidemeister moves for twisted knot diagrams, extending the result of Ali \cite{Dan} for oriented virtual knots; this result is new and of independent interest, as it provides the minimal framework needed to verify invariance of any oriented twisted knot invariant. As further applications, we derive an explicit crossing change formula, obtain lower bounds on the Gordian distance between homotopic twisted knots, examine the existence of cosmetic crossings in a twisted knot diagram, and finally prove that $Q^{z}_{K}(s,t)$ is a Vassiliev invariant of order one.

Cericola proved that every knot diagram can be transformed into an ascending unknot diagram by arc crossing changes. We refine this result for all diagrams on a fixed R1-reduced classical knot shadow with more than three crossings. Apart from at most two source diagrams, any two diagrams of the same state parity are mutually reachable. Each source diagram reaches every non-source diagram of its parity but cannot be reached from another diagram. A local five-occurrence condition on the marked Gauss word characterizes the sources and thereby determines the full directed reachability relation.

Given a decorated planar graph $(G,ω)$, where $G$ is a planar graph and $ω\in H^1(|\mathcal{Q}G|,\mathbb{Z})$ with $\mathcal{Q}G$ the directed medial graph of $G$, we call some angular functions $ω$-compatible and study two distinct but related directed graphs: $\mathcal{L}(G,ω)$, which is the directed graph of such functions, and $BMS(G,ω)$, the directed graph of BMS states which are some pairs of $ω$-compatible functions plus additional data. We give sufficient conditions for $\mathcal{L}(G,ω)$ to be a graded distributive lattice, recovering Kauffman's Clock Theorem when $G$ is a knot diagram. We also define a potential on $\mathcal{Q} G$ and associate a representation of the corresponding quiver with potential to every BMS state. Under suitable assumptions, this construction yields an isomorphism between $\mathcal{L}(G,ω)$ and the lattice of subrepresentations of a maximal representation, generalizing a result of Bazier-Matte--Schiffler.

The checkerboard coloring of knot diagrams offers a graph-theoretical approach to address topological questions. Champanerkar and Kofman defined a complex generated by the spanning trees of a graph obtained from the checkerboard coloring whose homology is the reduced Khovanov homology. Notably, the differential in their chain complex was not explicitly defined. We explicitly define the combinatorial form of the differential within the spanning tree complex. We additionally provide a description of Rasmussen's $s$-invariant within the context of the spanning tree complex. Applying our techniques, we identify a new infinite family of knots where each of them bounds a set of exotic discs within the 4-ball.

Consider a robot that remembers only the starting position and walks along a knot once on a knot diagram, switching every undercrossing it meets until it returns to the starting position. We observe that the robot produces an ascending diagram, and we provide a new combinatorial proof that every ascending or descending knot diagram can be transformed into the zero-crossing unknot diagram. Using the machinery developed from the combinatorial proof, we show that the minimal number of Reidemeister moves required for such a transformation is bounded above by (7C+1)C if the diagram has C crossings. Moreover, we provide a new alternative proof that there exist sequences of Reidemeister moves that do not increase the number of crossings and transform ascending or descending knot diagrams into zero-crossing unknot diagrams.

In 2012, Cohen, Dasbach, and Russell presented an algorithm to construct a weighted adjacency matrix for a given knot diagram. In the case of pretzel knots, it is shown that after evaluation, the determinant of the matrix recovers the Jones polynomial. Although the Jones polynomial is known to be #P-hard by Jaeger, Vertigan, and Welsh, this presents a class of knots for which the Jones polynomial can be computed in polynomial time by using the determinant. In this paper, we extend these results by recovering the Jones polynomial as the determinant of a weighted adjacency matrix for certain subfamilies of the braid group. Lastly, we compute the Kauffman polynomial of (2,q) torus knots in polynomial time using the balanced overlaid Tait graphs. This is the first known example of generalizing the methodology of Cohen to a class of quantum invariants which cannot be derived from the HOMFLYPT polynomial.

The authors studied in [Ann. Inst. Henri Poincaré D 9, 367-433, (2022)], a complex multi-matrix model with $\mathrm{U}(N)^2 \times \mathrm{O}(D)$ symmetry, and whose double scaling limit where simultaneously the large-$N$ and large-$D$ limits were taken while keeping the ratio $N/\sqrt{D}=M$ finite and fixed. In this double scaling limit, the complete recursive characterization of the Feynman graphs of arbitrary genus for the leading order grade $\ell=0$ was achieved. In this current study, we classify the higher order graphs in $\ell$. More specifically, $\ell=1$ and $\ell=2$ with arbitrary genus, in addition to a specific class of two-particle-irreducible (2PI) graphs for higher $\ell \geqslant 3$ but with genus zero. Furthermore, we demonstrate that each 2PI graph with a single $\mathrm{O}(D)$-loop with an arbitrary $\ell$ corresponds to a reduced alternating knot diagram with $\ell$ crossings as listed in the Rolfsen knot table, or a resulting alternating knot diagram obtained after performing the Tait flyping moves. We generalize to 2PR by considering the connected sum and the Reidemeister move I.

The region select game, introduced by Ayaka Shimizu, Akio Kawauchi and Kengo Kishimoto, is a game that is played on knot diagrams whose crossings are endowed with two colors. The game is based on the region crossing change moves that induce an unknotting operation on knot diagrams. We generalize the region select game to be played on a knot diagram endowed with $k$-colors at its vertices for $2 \leq k \leq \infty$.

Diaconis and Graham studied a measure of distance from the identity in the symmetric group called total displacement and showed that it is bounded below by the sum of length and reflection length. They asked for a characterization of the permutations where this bound is an equality; we call these the shallow permutations. Cornwell and McNew recently interpreted the cycle diagram of a permutation as a knot diagram and studied the set of permutations for which the corresponding link is an unlink. We show the shallow permutations are precisely the unlinked permutations. As Cornwell and McNew give a generating function counting unlinked permutations, this gives a generating function counting shallow permutations.

We establish a connection between knot theory and cluster algebras via representation theory. To every knot diagram (or link diagram), we associate a cluster algebra by constructing a quiver with potential. The rank of the cluster algebra is $2n$, where $n$ is the number of crossing points in the knot diagram. We then construct $2n$ indecomposable modules $T(i)$ over the Jacobian algebra of the quiver with potential. For each $T(i)$, we show that the submodule lattice is isomorphic to the corresponding lattice of Kauffman states. We then give a realization of the Alexander polynomial of the knot as a specialization of the $F$-polynomial of $T(i)$, for every $i$. Furthermore, we conjecture that the collection of the $T(i)$ forms a cluster in the cluster algebra whose quiver is isomorphic to the opposite of the initial quiver, and that the resulting cluster automorphism is of order two.

We obtain a simple and complete characterisation of which matchings on the Tait graph of a knot diagram induce a discrete Morse function (dMf) on $S^2$, extending a construction due to Cohen. We show these dMfs are in bijection with certain rooted spanning forests in the Tait graph. We use this to count the number of such dMfs with a closed formula involving the graph Laplacian. We then simultaneously generalise Kauffman's Clock Theorem and Kenyon-Propp-Wilson's correspondence in two different directions; we first prove that the image of the correspondence induces a bijection on perfect dMfs, then we show that all perfect matchings, subject to an admissibility condition, are related by a finite sequence of click and clock moves. Finally, we study and compare the matching and discrete Morse complexes associated to the Tait graph, in terms of partial Kauffman states, and provide some computations.

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.

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.

The presence of slipknots in configurations of proteins and DNA has been shown to affect their functionality, or alter it entirely. Historically, polymers are modeled as polygonal chains in space. As an alternative to space curves, we provide a framework for working with subknots inside of knot diagrams via knotoid diagrams. We prove using a pattern theorem for knot diagrams that not only are almost all knot diagrams slipknotted, almost all unknot diagrams are slipknotted. This proves in the random diagram model a conjecture yet unproven in random space curve models. We also discuss conjectures on the enumeration of knotoid diagrams.

A rack is a set together with a self-distributive bijective binary operation. In this paper, we give a positive answer to a question due to Heckenberger, Shareshian and Welker. Indeed, we prove that the lattice of subracks of a rack is atomic. Further, by using the atoms, we associate certain quandles to racks. We also show that the lattice of subracks of a rack is isomorphic to the lattice of subracks of a quandle. Moreover, we show that the lattice of subracks of a rack is distributive if and only if its corresponding quandle is trivial. Finally, applying our corresponding quandles, we provide a coloring of certain knot diagrams.

Let $D$ be a knot diagram, and let ${\mathcal D}$ denote the set of diagrams that can be obtained from $D$ by crossing exchanges. If $D$ has $n$ crossings, then ${\mathcal D}$ consists of $2^n$ diagrams. A folklore argument shows that at least one of these $2^n$ diagrams is unknot, from which it follows that every diagram has finite unknotting number. It is easy to see that this argument can be used to show that actually ${\mathcal D}$ has more than one unknot diagram, but it cannot yield more than $4n$ unknot diagrams. We improve this linear bound to a superpolynomial bound, by showing that at least $2^{\sqrt[3]{n}}$ of the diagrams in ${\mathcal D}$ are unknot. We also show that either all the diagrams in ${\mathcal D}$ are unknot, or there is a diagram in ${\mathcal D}$ that is a diagram of the trefoil knot.

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 random knotting by considering knot and link diagrams as decorated, (rooted) topological maps on spheres and pulling them uniformly from among sets of a given number of vertices $n$, as first established in recent work with Cantarella and Mastin. The knot diagram model is an exciting new model which captures both the random geometry of space curve models of knotting as well as the ease of computing invariants from diagrams. We prove that unknot diagrams are asymptotically exponentially rare, an analogue of Sumners and Whittington's landmark result for self-avoiding walks. Our proof uses the same key idea: We first show that knot diagrams obey a pattern theorem, which describes their fractal structure. We examine how quickly this behavior occurs in practice. As a consequence, almost all diagrams are asymmetric, simplifying sampling from this model. We conclude with experimental data on knotting in this model. This model of random knotting is similar to those studied by Diao et al., and Dunfield et al.

We use the Chebyshev knot diagram model of Koseleff and Pecker in order to introduce a random knot diagram model by assigning the crossings to be positive or negative uniformly at random. We give a formula for the probability of choosing a knot at random among all knots with bridge index at most 2. Restricted to this class, we define internal and external reduction moves that decrease the number of crossings of the diagram. We make calculations based on our formula, showing the numerics in graphs and providing evidence for our conjecture that the probability of any knot appearing in this model decays to zero as the number of crossings goes to infinity.