arXiv++ Combinatorics

We investigate Fox's trapezoidal conjecture for alternating links. We show that it holds for diagrammatic Murasugi sums of special alternating links, where all sums involved have length less than three (which includes diagrammatic plumbing). It also holds for links containing a large twist region, which we call twist-concentrated. Furthermore, we show some weaker inequalities between consecutive coefficients of the Alexander polynomial of an alternating 3-braid closure, and extend this to arbitrary alternating links. We then study an extension of the trapezoidal conjecture due to Hirasawa and Murasugi, which states that the stable length of the Alexander polynomial of an alternating link can be bounded from above using the signature. We estabilish this and determine when equality holds for diagrammatic Murasugi sums of special alternating knots where each sum has length less than three, and also for twist-concentrated 3-braids. Finally, we study the behavior of the Hirasawa-Murasugi inequality under concordance.

We present the $CWR$ invariant, a new invariant for alternating links, which builds upon and generalizes the $WRP$ invariant. The $CWR$ invariant is an array of two-variable polynomials that provides a stronger invariant compared to the $WRP$ invariant. We compare the strength of our invariant with the classical HOMFLYPT, Kauffman $3$-variable, and Kauffman $2$-variable polynomials on specific knot examples. Additionally, we derive general recursive "skein" relations, and also specific formulas for the initial components of the $CWR$ invariant using weighted adjacency matrices of modified Tait graphs.

To every knot (or link) diagram K, we associate a cluster algebra A that contains a cluster x with the property that every cluster variable in x specializes to the Alexander polynomial of K. We call x the knot cluster of A. Furthermore, there exists a cluster automorphism of A of order two that maps the initial cluster to the cluster x. We realize this connection between knot theory and cluster algebras in two ways. In our previous work, we constructed indecomposable representations T(i) of the initial quiver Q of the cluster algebra A. Modulo the removal of 2-cycles, the quiver Q is the incidence quiver of the segments in K, and the representation T(i) of Q is built by taking successive boundaries of K cut open at the i-th segment. The relation to the Alexander polynomial stems from an isomorphism between the submodule lattice of T(i) and the lattice of Kauffman states of K relative to segment i. In the current article, we identify the knot cluster x in A via a sequence of mutations that we construct from a sequence of bigon reductions and generalized Reidemeister III moves on the diagram K. On the level of diagrams, this sequence first reduces K to the Hopf link, then reflects the Hopf link to its mirror image, and finally rebuilds (the mirror image of) K by reversing the reduction. We show that every diagram of a prime link admits such a sequence. We further prove that the cluster variables in x have the same F-polynomials as the representations T(i). This establishes the important fact that our representations T(i) do indeed correspond to cluster variables in A. But it even establishes the much stronger result that these cluster variables are all compatible, in the sense that they form a cluster. We also prove that the representations T(i) have the following symmetry property. For all vertices i,j of Q, the dimension of T(i) at j is equal to the dimension of T(j) at i.

Starting from the geometric construction of the framed braid group, we define and study the framization of several Brauer-type monoids and also the set partition monoid, all of which appear in knot theory. We introduce the concept of deframization, which is a procedure to obtain a tied monoid from a given framed monoid. Furthermore, we show in detail how this procedure works on the monoids mentioned above. We also discuss the framization and deframization of some algebras, which are deformations, respectively, of the framized and deframized monoids discussed here.

We relate invariants of torus knots to the counts of a class of lattice paths, which we call generalized Schröder paths. We determine generating functions of such paths, located in a region determined by a type of a torus knot under consideration, and show that they encode colored HOMFLY-PT polynomials of this knot. The generators of uncolored HOMFLY-PT homology correspond to a basic set of such paths. Invoking the knots-quivers correspondence, we express generating functions of such paths as quiver generating series, and also relate them to quadruply-graded knot homology. Furthermore, we determine corresponding A-polynomials, which provide algebraic equations and recursion relations for generating functions of generalized Schröder paths. The lattice paths of our interest explicitly enumerate BPS states associated to knots via brane constructions.

The HOMFLY polynomial of the $(m,n)$ torus knot $T_{m,n}$ can be extracted from the doubly graded character of the finite-dimensional representation $\mathrm{L}_{\frac{m}{n}}$ of the type $A_{n-1}$ rational Cherednik algebra as observed by Gorsky, Oblomkov, Rasmussen and Shende. It is furthermore conjectured that one can obtain the triply-graded Khovanov-Rozansky homology of $T_{m,n}$ by considering a certain filtration on $\mathrm{L}_{\frac{m}{n}}$. In this paper, we show that two of the proposed candidates, the algebraic filtration and the inductive filtration, are equal.

Weight systems are functions on chord diagrams satisfying so-called Vassiliev's $4$-term relations. They are closely related to finite type knot invariants introduced by Vassiliev. Certain weight systems can be derived from graph invariants. Another main source of weight systems are Lie algebras. In recent papers, the weight systems associated to Lie algebras ${\mathfrak gl}(N)$ were unified in a universal ${\mathfrak gl}$-weight system, which takes values in the ring of polynomials in infinitely many variables. The unification has been achieved by extending the ${\mathfrak gl}(N)$-weight systems from chord diagrams to arbitrary permutations. A natural question then arises, namely, which already known weight systems can be obtained from the universal ${\mathfrak gl}$ weight system. In addition to understanding the internal relationship between weight systems, knowing that a given weight system can be induced from the ${\mathfrak gl}$-weight system would immediately lead to extending the former to arbitrary permutations. To each chord diagram, one can associate a graph, called the intersection graph of the chord diagram. Certain weight systems are completely determined by the intersection graphs. In general, the relationship between Lie algebra weight systems and polynomial graph invariants looks rather complicated. Our main result in the present paper consists in showing that the well-known graph and delta-matroid invariant, the interlace polynomial, can be induced from the universal ${\mathfrak gl}$-weight system. We provide an explicit substitution making the ${\mathfrak gl}$-weight system into the interlace polynomial for chord diagrams and their intersection graphs.

The plucking polynomial is an invariant of rooted trees with connections to knot theory. The polynomial was constructed in 2014 as a tool to analyze lattice crossings after taking the quotient by the Kauffman bracket skein relations. In this paper we study the plucking polynomial and the plucking polynomial with delay function. We present a formula for the plucking polynomial of hedgehog rooted trees and explore the unimodality of this polynomial. In particular, we consider an anti-unimodal delay function and a delay function with a specific image set. Furthermore, we present a number of interesting examples and make some speculations on the unimodality of plucking polynomials with delay functions of hedgehog rooted trees.

We prove that the Alexander polynomials of certain families of alternating 4-braid knots satisfy Fox's Trapezoidal Conjecture. Moreover, we give explicit formulas for the signature and for the first 4 coefficients of the Alexander polynomial for a large family of alternating $n$-braid links and we verify that these 4 coefficients form a log-concave sequence.

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.

We consider countable linear orders and study the quasi-order of convex embeddability and its induced equivalence relation. We obtain both combinatorial and descriptive set-theoretic results, and further extend our research to the case of circular orders. These results are then applied to the study of arcs and knots, establishing combinatorial properties and lower bounds (in terms of Borel reducibility) for the complexity of some natural relations between these geometrical objects.

Extending a proposal of Defant and Kravitz [Discrete Mathematics, \textbf{1}, 347 (2024)], we define Hitomezashi patterns and loops on a torus and provide several structural results for such loops. For a given pattern, our main theorems give optimal residual information regarding the Hitomezashi loop length, loop count, as well as possible homology classes of such loops. Special attention is paid to toroidal Hitomezashi patterns that are symmetric with respect to the diagonal $x = y$, where we establish a novel connection between Hitomezashi and knot theory.

This is a survey article on some connections between cluster algebras and link invariants, written for the Notices of the AMS.

We define monotone links on a torus, obtained as projections of curves in the plane whose coordinates are monotone increasing. Using the work of Morton-Samuelson, to each monotone link we associate elements in the double affine Hecke algebra and the elliptic Hall algebra. In the case of torus knots (when the curve is a straight line), we recover symmetric function operators appearing in the rational shuffle conjecture. We show that the class of monotone links viewed as links in $\mathbb R^3$ coincides with the class of Coxeter links, studied by Oblomkov-Rozansky in the setting of the flag Hilbert scheme. When the curve satisfies a convexity condition, we recover positroid links that we previously studied. In the convex case, we conjecture that the associated symmetric functions are Schur positive, extending a recent conjecture of Blasiak-Haiman-Morse-Pun-Seelinger, and we speculate on the relation to Khovanov-Rozansky homology. Our constructions satisfy a skein recurrence where the base case consists of piecewise almost linear curves. We show that convex piecewise almost linear curves give rise to algebraic links.

We prove that the partial-dual genus polynomial considered as a function on chord diagrams satisfies the four-term relation. Thus it is a weight system from the theory of Vassiliev knot invariants.

In this paper, we study alternating links in thickened surfaces in terms of the lattices of integer flows on their Tait graphs. We use this approach to give a short proof of the first two generalised Tait conjectures. We also prove that the flow lattice is an invariant of alternating links in thickened surfaces and is further invariant under disc mutation. For classical links, the flow lattice and $d$-invariants are complete invariants of the mutation class of an alternating link. For links in thickened surfaces, we show that this is no longer the case by finding a stronger mutation invariant, namely the Gordon-Litherland linking form. In particular, we find alternating knots in thickened surfaces which have isometric flow lattices but with non-isomorphic linking forms.

Let $\mathbf{D}_{3}$ be a bigraded 3-decorated disk with an arc system $\mathbf{A}$. We associate a bigraded simple closed arc $\widehatη_{\frac{r}{s}}$ on $\mathbf{D}_{3}$ to any rational number $\frac{r}{s}\in\overline{\mathbb{Q}}=\mathbb{Q}\cup\{\infty\}$. We show that the right (resp. left) $q$-deformed rational numbers associated to $\frac{r}{s}$, in the sense of Morier-Genoud-Ovsienko (resp. Bapat-Becker-Licata) can be naturally calculated by the $\mathfrak{q}$-intersection between $\widehatη_{\frac{r}{s}}$ and $\mathbf{A}$ (resp. dual arc system $\mathbf{A}^*$). The Jones polynomials of rational knots can be also given by such intersections. Moreover, the categorification of $\widehatη_{\frac{r}{s}}$ is given by the spherical object $X_{\frac{r}{s}}$ in the Calabi-Yau-$\mathbb{X}$ category of Ginzburg dga of type $A_2$. Reduce to CY-2 case, we recover result of Bapat-Becker-Licata with a slight improvement.

In this paper, we compute special values of certain combinatorial zeta functions counting geodesic paths in the (n-1)-skeleton of a triangulation of a n-dimensional manifold. We show that they carry a topological meaning. As such, we recover the first Betti number and L2-Betti number of compact manifolds, and the linking number of pairs of null-homologous knots in a 3-manifold. The tool to relate the two sides (counting geodesics/topological invariants) are random walks on higher dimensional skeleta of the triangulation.

We establish a relationship between the Jones polynomial of generalized weaving knots of type $W(3,n,m)$ and the Chebyshev polynomial of the first kind. Consequently, we prove that the coefficients of the Jones polynomial of weaving knots are basically the Whitney numbers of Lucas lattices. Furthermore, we give an explicit formula for the Alexander polynomial of weaving knots $W(3,n)$ and we prove that it satisfies Fox's trapezoidal conjecture.

The central question of knot theory is that of distinguishing links up to isotopy. The first polynomial invariant of links devised to help answer this question was the Alexander polynomial (1928). Almost a century after its introduction, it still presents us with tantalizing questions such as Fox's conjecture (1962) that the absolute values of the coefficients of the Alexander polynomial $Δ_L(t)$ of an alternating link $L$ are unimodal. Fox's conjecture remains open in general, with special cases settled by Hartley (1979) for two-bridged knots, by Murasugi (1985) for a family of alternating algebraic links, and by Ozsváth and Szabó (2003) for the case of genus $2$ alternating knots, among others. We settle Fox's conjecture for special alternating links. We do so by proving that a certain multivariate generalization of the Alexander polynomial of special alternating links is Lorentzian. As a consequence, we obtain that the absolute values of the coefficients of $Δ_L(t)$, where $L$ is a special alternating link, form a log-concave sequence with no internal zeros. In particular, they are unimodal.