arXiv++ Combinatorics

For $\gcd(a,b)=1$, we show that the moduli space of $m$-codimensional $\Bbbk[\![T^a,T^b]\!]$-submodules of $\Bbbk[\![T]\!]^n$ is paved by affine cells, by proving that each Białynicki-Birula stratum of a closed related moduli space with respect to the natural $\mathbb{G}_m$-action is an affine bundle over the fixed point locus and that the fixed point locus is an iterated Grassmannian bundle. As an application, we determine the motive of this moduli space in the Grothendieck ring of varieties in terms of an explicit two-variable series $N_{a,b;n}(q,t)$, and use it to explicit compute the groupoid volume of the category of finite modules over $\mathbb{F}_q[\![T^a,T^b]\!]$. The series $N_{a,b;n}$ carries the conjectures we then formulate. At $n=\infty$ we conjecture a bi-infinite family of Rogers--Ramanujan type identities by specializing the $t$-variable; we identify their product side with the normalized character of a module over the $\mathcal{W}$-algebra minimal model $\mathcal{W}_a(a,a+b)$, and observe a connetion to colored Jones tails. At $n<\infty$ we conjecture that $N_{a,b;n}$ is computed by the bottom $α$-row of the trigraded $S^n$-colored HOMFLY homology of the torus knot $T(a,b)$, and that this same bottom row also computes the Quot schemes of finite codimensional $\Bbbk[\![T^a,T^b]\!]$-submoudles of $\Bbbk[\![T^a,T^b]\!]^n$ and the punctual Hilbert schemes of the non-reduced curve $(Y^a-X^b)^n=0$; the three quantities are special values at three points of the trigrading, and when $n=1$ they recover both the conjectures of Oblomkov--Rasmussen--Shende and of Kivinen--Trinh. Finally we conjecture that the one direction of the trigrading these three points do not see is a perverse filtration on the moduli spaces themselves, and we verify its prediction for a smooth germ at $n=2$ by computing the decomposition theorem for the $\mathrm{GL}_2$ spectral-curve family.

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.

Much work in knot theory has consisted of categorifying, and thereby strengthening, knot invariants. We take the opposite approach: decategorification, more commonly called combinatorics. We introduce a technique that relates the dual braid group generators, the Hecke images of pure braids, and factorization problems in reflection groups to knot invariants. We prove that the $(a,z{=}0)$-HOMFLYPT polynomial can be computed as a solution to such a problem. This technique was motivated by Coxeter--Catalan combinatorics. For example, we give a new proof of EL-shellability of the noncrossing partition lattice using the image of the full twist in the Hecke algebra; in a surprising sort of combinatorial reciprocity, its inverse computes the homotopy type. Similarly, noncrossing partitions naturally arise from our construction applied to positive powers of the full twist, while cluster complexes come from the same construction applied to negative powers. In crystallographic type, we exploit the conjugacy of all Coxeter elements to give the first reflection subword models for rational noncrossing Catalan objects. Our reciprocity gives two models: one generalizing noncrossing partitions, and one generalizing clusters. Applying the same method produces two (rational) noncrossing parking models.

We give weighted-matrix formulas for the components of the $CWR$ invariant of oriented non-split alternating links. After recalling the known trace formulas for $CWR_{2}$ and $CWR_{3}$, we give a construction uniform in $k$: attaching an independent commuting variable to each vertex of a consolidated Tait graph and extracting the squarefree part of the resulting trace isolates simple cycles from closed walks. This yields a formula for $CWR_k$ for every $k\ge 3$, a log-determinant generating polynomial for each of the two Tait graphs, and an equivalent Moebius-inversion formula over principal submatrices. Specializing the uniform formula, we obtain explicit closed weighted formulas for $CWR_{4}$ and $CWR_{5}$. We also record a bipartiteness criterion for the vanishing of all odd components and a characteristic-polynomial formula for the unweighted specialization of the first nonvanishing odd component. The graph-theoretic constructions apply to arbitrary finite simple loopless weighted graphs; the alternating-link hypothesis enters through the invariance theorem for $CWR$.

We prove unicity of $q$-rational numbers up to conjugacy, using character varieties. Despite the unicity, we exhibit a two-parameter family of deformations of rationals with a modular symmetry. We prove that there are exactly two deformations which deliver the usual $q$-integers: the original $q$-rationals defined by Morier-Genoud and Ovsienko, and another new one. Although the new family can be obtained by conjugacy from the old one, new positivity properties appear. In addition, this new family provides a direct computation of the Jones polynomial of rational knots.

Inspired by the notion of tricolorability of knots, we introduce the concept of lean coloring for hypergraphs and the associated lean number of a hypergraph. Lean coloring often involves very few colors, yet still requires the methods of usual graph coloring, forcing the overall complexity to be NP-Hard. We provide two alternative formulations of the lean coloring problem that involve a type of coloring on abstract simplicial complexes and a partial coloring on bipartite graphs. We then provide bounds for the lean numbers of hypergraphs that are $k$-uniform, $k$-partite, wide-path connected, or $r$-complete. Python-like script is included to allow the implementation and study of a lean coloring algorithm. We conclude with some directions for future work and present the lean numbers of $130$ knots and links.

We introduce lattice-filtered move graphs as finite-state experimental models for knot types. At level N, vertices are lattice-polygon representatives of a fixed knot type with lattice length at most N, modulo orientation-preserving lattice isometries, and edges are prescribed local moves. Connected components of these graphs are discrete analogues of admissible components in ropelength-filtered knot spaces. The first level at which two initial components become connected defines a discrete merge scale; after subtracting the birth level, the resulting function is an ultrapseudometric whenever the relevant initial components eventually merge. The general framework is move-system independent. We then specialize to the simple cubic lattice and BFACF-type moves, treating BFACF as a chosen local move system rather than as a complete lattice-isotopy calculus. The main seed-generated computation uses a 30-edge simple cubic lattice seed for the figure-eight knot and its reflected mirror seed. With mirror symmetries not identified, the two BFACF components are separated at N=30 and merge at N=32. We also extract an explicit merge certificate: a 21-state, 20-move BFACF path through a 32-edge connecting state. Thus, relative to the supplied seeds and the BFACF move system, the seed-generated merge scale is 32. The result is seed-specific and move-system-specific, not a claim about the global merge matrix of the full minimal lattice layer.

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.

We propose a log-concavity conjecture for BPS invariants arising in the enumerative geometry of planar curve singularities, identified with the local Euler obstructions of Severi strata in their versal deformations. We further extend this conjecture to ruling polynomials of Legendrian links and to E-polynomials of character varieties. We establish these conjectures for irreducible weighted-homogeneous singularities (torus knots) and for ADE singularities, and prove a multiplicative property for ruling polynomials compatible with log-concavity.

Grid diagrams are special representations of knots in the three-sphere that are used to define a combinatorial version of knot Floer homology. Paolo Ghiggini and Yi Ni showed that knot Floer homology detects fibered knots. Their results imply, in particular, that grid diagrams with a unique grid state whose Alexander grading is maximal only exist for fibered knots. Whether every fibered knot admits such a diagram remains an open question. Here, we investigate the existence of such special grid diagrams for fibered knots. We develop an efficient method for deciding whether a given grid diagram meets the even stricter condition of having a unique grid state that realizes an upper bound for the Alexander function. By implementing this method in a Python package, we find suitable grid diagrams for 5385 of the 5397 fibered prime knots with crossing number at most 13.

We construct an explicit isomorphism between the HOMFLY-PT homology of $(n,n+1)$ torus knots and the direct sum of hook isotypic components of the space of diagonal coinvariants. As a consequence, we compute the action of tautological classes in HOMFLY-PT homology of $(n,n+1)$ torus knots and prove that it extends to an action of the Lie algebra of Hamiltonian vector fields on the plane. We also compute the action of differentials $d_N$ in Rasmussen spectral sequences from HOMLFY-PT to $\mathfrak{gl}(N)$ homology of $(n,n+1)$ torus knots.

We develop a purely combinatorial framework for the systematic enumeration of knot and link diagrams supported on the thickened torus $T^2\times I$. Using the theory of maps on surfaces, cellular $4$--regular torus projections are encoded by permutation pairs $(α,σ)$, and unsensed projection classes are enumerated completely and without duplication via canonical representatives. For a fixed projection, crossing assignments are encoded by bit data, and an immediate Reidemeister~II reduction supported by a bigon face is characterized directly in terms of these bits. The genus-one generalized Kauffman-type bracket is then evaluated as a state sum entirely within the permutation model, without drawing diagrams in a fundamental polygon. The implementation is validated against published genus-one classifications for $N\le 5$ under explicit comparison conventions, with remaining discrepancies explained at the level of global conventions. Beyond the published range, we compute projection and diagram data for crossing numbers up to $N=8$ and provide a public reference implementation together with machine-readable datasets. Via the standard correspondence between virtual knots and knots in thickened surfaces, this yields a canonical and fully reproducible genus-one framework for virtual knot tabulation.

Cyclically ordered graphs, or cogs, sit between abstract graphs and cellularly embedded graphs. They arise naturally in topological graph theory, knot theory, and mathematical biology. We develop a formal theory of cogs and establish a number of invariants of cogs. In particular we detail several ways to present cogs and detail how these descriptions can be used to construct cog invariants by adapting the matching, transition and Yamada polynomials.

The hydrophobic-polar (HP) model represents proteins as binary strings embedded in lattices, with fold quality measured by an energy score. We prove that the optimal fold energy is not monotonic under concatenation for several standard lattices, including the 2D and 3D rectangular, hexagonal, and triangular lattices. In other words, concatenating two polymers can produce a fold with strictly worse optimal energy than one of the polymers alone. For closed chains, we show that under the levels-of-hydrophobicity model of Agarwala et al. (1997), proper links can arise as uniquely optimal folds, revealing an unexpected connection between HP models and knot/link theory.

We study a quantum version of the $n$-dimer model from statistical mechanics, based on the formalism from quantum topology developed by Reshetikhin and Turaev (the latter which, in particular, can be used to construct the Jones polynomial of a knot in $\mathbb{R}^3$). We apply this machinery to construct an isotopy invariant polynomial for knotted bipartite ribbon graphs in $\mathbb{R}^3$, giving, in the planar setting, a quantum $n$-dimer partition function. As one application, we compute the expected number of loops in the (classical) double dimer model for planar bipartite graphs.

In this paper, we generalize the \textit{Clock Theorem} of Formal Knot Theory to knotoids in $S^2$. The clock theorem implies that clock states of a knotoid diagram form a lattice under transpositions. These states form the basis of many invariants of knotoids and linkoids including the Alexander polynomial, Mock Alexander polynomial and the Jones polynomial.

The Links--Gould invariant $\mathrm{LG}(L ; t_0, t_1)$ of a link $L$ is a two-variable quantum generalization of the Alexander--Conway polynomial $Δ_L(t)$ and has been shown to share some of its most geometric features in several recent works. Here we suggest that $\mathrm{LG}$ likely shares another of the Alexander polynomial's most distinctive - and mysterious - properties: for alternating links, the coefficients of the Links-Gould polynomial alternate and appear to form a log-concave two-indexed sequence with no internal zeros. The former was observed by Ishii for knots with up to 10 crossings. We further conjecture that they satisfy a bidimensional property of unimodality, thereby replicating a long-standing conjecture of Fox (1962) regarding the Alexander polynomial, and a subsequent refinement by Stoimenow. We also point out that the Stoimenow conjecture reflects a more structural phenomenon: after a suitable normalization, the Alexander polynomial of an alternating link appears to be a Lorentzian polynomial. We give compelling experimental and computational evidence for these different properties.

Motivated by Vassiliev's knot invariants, Stoimenow introduced a special class of matchings, now known as Stoimenow matchings. These matchings have since been linked to various combinatorial structures enumerated by the Fishburn numbers. In a recent paper, a problem posed by Bevan et al. was addressed concerning the identification of subsets of Stoimenow matchings counted by the Catalan numbers. Five such subsets were presented, each defined by the avoidance of a single pattern, referred to as a Catalan pattern, within Stoimenow matchings. In the present paper, we extend this line of research by enumerating all cases of simultaneous avoidance of sets of Catalan patterns in Stoimenow matchings. This comprehensive analysis reveals connections to nine integer sequences listed in the OEIS.

In connection with Vassiliev's knot invariants, Stoimenow introduced in 1998 a class of matchings, also known as regular linearized chord diagrams. These matchings are linked to various combinatorial structures, all of which are associated with the Fishburn numbers. In this paper, we address a problem posed by Bevan et~al.\ concerning the identification of subsets of Stoimenow matchings that are counted by the Catalan numbers. We present five solutions in terms of pattern-avoiding matchings. We also consider four infinite families of patterns that generalize four of the five forbidden patterns appearing in the solution to the problem we solved and prove that the matchings avoiding them are equinumerous. Finally, we establish numerous results on distributions and joint equidistribution of statistics over Catalan-counted subsets of Fishburn structures, namely Stoimenow matchings, $(2+2)$-free posets, ascent sequences, and Fishburn permutations, notably expressing some of them in terms of Narayana numbers and others in terms of ballot numbers.