arXiv++ Combinatorics

Let $S_g$ be the closed oriented surface of genus $g \geq 2$, and let $Γ$ be a finite collection of closed curves on $S_g$ that fills, in the sense that its complement is a union of disks. The total number of double points of such a $Γ$ in minimal position is at least $2g-1$; we call $Γ$ minimally intersecting when equality holds. We prove that the number $N_g$ of mapping class group orbits of minimally intersecting filling curve systems satisfies $N_g \sim 16^g (2g)!/(64π\sqrt{2}\, g^3)$ as $g \to \infty$. We also study the single-curve subproblem, in which $Γ$ consists of a single component. Every such curve is in particular a filling system, so the corresponding count $N_g^{(1)}$ satisfies $N_g^{(1)} \leq N_g$, which improves the upper bound previously known for single filling curves. Finally, we compute $N_g$ and $N_g^{(1)}$ exactly for small genus and conjecture an asymptotic growth rate.

In this paper, we study the behavior of biquandle-based invariants of virtual knotoids under their connected sum. We first show that the fundamental biquandle of the connected sum of two virtual knotoids is the pushout of a span in the category of biquandles. By applying the Hom functor to this pushout description, we obtain the correspondence between biquandle colorings of $K_1\# K_2$ and compatible pairs of colorings of summands. This provides a categorical explanation of a known matrix product formula for biquandle counting matrices under connected sum. We then study the behavior of biquandle virtual bracket invariants under connected sum. We show that, for each coloring of the connected sum $K_1\#K_2$ corresponding to a compatible pair of colorings of the summands $K_1$ and $K_2$, the normalized biquandle virtual bracket value factors as the product of the normalized values of the summands. Building on this, we obtain connected-sum formulas for the normalized multiset invariants defined by utilizing biquandle virtual brackets. When the coefficient ring is a number ring, the normalized bracket multisets can be encoded by polynomials and matrices with polynomial entries. We introduce a product $\star$ on monomials and an induced matrix product $\odot$. We then show that the normalized biquandle virtual bracket matrices satisfy \[ \widetilde{\mathcal{M}}_X^β(K_1\#K_2) = \widetilde{\mathcal{M}}_X^β(K_1) \odot \widetilde{\mathcal{M}}_X^β(K_2). \]

Inspired by work of Gaster, Greene, and Vlamis on the chromatic number of curve graphs, we prove that every endomorphism of the total Kneser graph is an automorphism. We also show that the automorphism group of the total Kneser graph is the product of a pair of permutation groups.

Sperner's lemma guarantees a fully labeled simplex under a boundary labeling rule. We ask how many fully labeled simplices are forced by the homotopy class of the boundary map. For a geometrically triangulated convex ball, we compare this number with the least number of simplices over a target facet among representatives of the boundary class on smoothly triangulated spheres. The comparison holds in equal and consecutive dimensions, and whenever the number of fully labeled simplices is at most twice the number of colors. A pyramid construction gives a comparison with the suspended class in all dimensions. If the boundary sphere has dimension one or two greater than the target sphere, a nonzero boundary class forces at least nine fully labeled simplices. We construct geometric examples attaining nine when the difference is one. When the difference is two, we prove that the spherical minima eventually become constant as the dimensions increase. We also show that the choice of triangulation matters: the smooth Hopf minimum is nine for every nonzero Hopf invariant, whereas for convex polytopal spheres the minimum grows as the square root of its absolute value. The proofs use framed fibres, monochromatic cycles, and maps on vertex links.

We study lattice-filtered move graphs as finite-state models for knot types under a length cap. At level $N$, vertices are lattice polygons of a fixed knot type with length at most $N$, modulo orientation-preserving lattice isometries, and edges are local moves. The first level at which two initial components become connected defines a discrete merge scale; after subtracting the birth level it is an ultrapseudometric. For the standard BFACF moves on the simple cubic lattice, the theorem of Janse van Rensburg and Whittington gives connectivity without a cap; our question is the least cap connecting a prescribed pair, and explicit BFACF paths serve as finite PL isotopy certificates. We completely determine the minimal-layer merge trees of the amphichiral knots $4_1$ and $6_3$. The $152$ minimal $4_1$ classes form four components of sizes $58,58,18,18$ at $N=30$ and a single component at $N=32$, so the merge tree is $4\to1$ with barrier $2$. The $148$ minimal $6_3$ classes form twelve components at $N=40$, exchanged in pairs by reflection; at $N=42$ they merge into two mirror components, each with $74$ minimal classes and $12337$ states, and a verified path joins them at $N=44$. Hence the merge tree is $12\to2\to1$ with possible barriers $0,2,4$. Independently verified seed-to-mirror certificates realize the extremal barriers $2$ for $4_1$ and $4$ for $6_3$. Checks for the trefoil, the five-crossing prime knots and composite trefoils are included as reproducibility tests.

In this paper we define the ascending number and bridge number for virtual and welded spatial graphs. We prove that the former admits a lower bound in terms of the latter. This relationship allows us to compare different notions of unknotting virtual spatial graphs by crossing changes.

We present a "myopic" Tutte polynomial for graphs on $\mathbb{R}P^2$ which takes only nullhomologous spanning subgraphs as input. It recovers the generalized Krushkal polynomial and Drobotukhina's analogue of the Jones polynomial for alternating, nullhomologous links in $\mathbb{R}P^3$. We use this myopic Tutte polynomial to prove an analogue of the Kauffman-Murasugi-Thistlethwaite Theorem, relating the Jones polynomial of an alternating link to certain refinements of the crossing number. Finally, we construct a spanning tree model for the Khovanov homology of nullhomologous links, mirroring work by Champanerkar-Kofman and Wehrli for links in $S^3$. For alternating links, we use our model to prove that the Khovanov homology in $\mathbb{Z}/2\mathbb{Z}$ coefficients is determined entirely by the Jones polynomial and signatures of the link.

We investigate a family of $4$-regular graphs constructed to test for the presence of combinatorial structure in a sequence of distinct real numbers. We show that the graphs constructed from the Kronecker sequence can be embedded into the torus, while the graphs constructed from the binary van der Corput sequence can be embedded into the Chamanara surface, in both cases with the possible removal of one edge. These results generalize to embeddings of sequence graphs coming from interval exchange transformations into associated translation surfaces.

We build a large family of hyperbolic links with an explicit decomposition of the complement into right-angled hyperbolic polytopes of finite volume. Namely, in a series of papers A.D.Mednykn and A.Yu.Vesnin introduced a construction that for a given right-angled polytope $P$ in geometry $\mathbb L^3$, $\mathbb R^3$, $\mathbb S^3$, $\mathbb L^2\times \mathbb R$, $\mathbb S^2\times \mathbb R$ and a Hamiltonian cycle, theta-subgraph or $K_4$-subgraph $Γ$ in the $1$-skeleton of $P$ builds a geometric $3$-manifold $N(P,Γ)$ with an involution $τ$ such that $N(P,Γ)/\langleτ\rangle\simeq S^3$. The brach set of the corresponding $2$-sheeted branched covering $N(P,Γ)\to S^3$ is a link $C_Γ\subset S^3$ consisting of trivially embedded circles. This construction reformulated in the language of toric topology works for such a subgraph $Γ$ in any simple $3$-polytope $P$ and gives a topological $3$-manifold $N(P,Γ)$. We give a criterion when $S^3\setminus C_Γ$ has a complete hyperbolic structure of finite volume and generalize this criterion to similar links in $3$-manifolds different from $S^3$. We prove that hyperbolic links $C_Γ$ are parametrized by nonselfcrossing Eulerian cycles, Eulerian theta-subgraphs and Eulerian $K_4$-subgraphs in hyperbolic right-angled $3$-polytopes of finite volume in $\mathbb L^3$ with $0$, $2$ or $4$ finite vertices. The complement $S^3\setminus C_Γ$ is glued of $4$, $8$ or $16$ copies of the corresponding right-angled polytope. We give a criterion when the link $C_Γ$ consists of mutually unlinked circles and prove that if such a link is nontrivial, then it contains the Borromean rings. The latter problem is motivated by the Efimov effect in quantum mechanics. We consider higher-dimensional analogues of hyperbolic links $C_Γ$.

We prove log-concavity for the determinant-weighted external semi-activity polynomials of all real flat arrangements, strengthening their known trapezoidality. In fact, we establish a quadratic coefficient inequality that, in rank at least two, implies power concavity with an explicit rank-dependent exponent. The proof uses a new mixed-volume representation of the coefficients and the Alexandrov--Fenchel inequality. A more general formula gives a factorization and log-concavity for related mixed-volume sequences. As applications, we establish the conjectured log-concavity for spanning-tree polynomials of Eulerian digraphs, extend it to positive circulation weights, and strengthen the coefficient inequalities for Alexander polynomials of special alternating links.

A meander is a configuration of two simple plane curves intersecting transversely. The orders of their intersection points define a permutation that determines the configuration. When tangencies are allowed, however, different configurations can share the same permutation. We study the combinatorial and algebraic structures arising from this non-uniqueness. We give a realization criterion and show that the realizations of each realizable permutation form an affine space over the two-element field. We describe this space using an associated graph, called the component spine. We prove that the component spine of every permutation is a cactus. We also introduce the tangency polynomial, which counts realizations by their number of tangencies, investigate its properties, and prove that it factors over the cycles and bridges of the component spine. We derive a central limit theorem for tangency counts and obtain asymptotic formulas for the number of distinct tangency polynomials.

We derive new formulas for the Jones polynomial and the Kauffman bracket polynomial of a rational link represented by a standard diagram that is not necessarily alternating. These formulas generalize the results of Qazaqzeh, Yasein, and Abu-Qamar for the Tutte polynomial of the Tait graph of an alternating diagram of a rational link, as well as the matrix formulas of Lawrence and Rosenstein for the Jones polynomial of a rational link. Our approach uses the colored version of Brylawski's tensor product formula for Tutte polynomials of colored graphs, due to Diao, Hetyei, and Hinson. Furthermore, generalizing the formulas of Qazaqzeh, Yasein, and Abu-Qamar, we present a finite automaton that computes the crossing signs, thereby enabling the calculation of the writhe of a standard diagram of a rational link.

For positive integers $n,d$, let $λ(n,d)$ be the minimal number of vertices of a triangulation of the $n$-sphere which admits a degree $d$ simplicial map onto the boundary of the $(n+1)$-simplex. We show that for $h=\lfloor\frac{n+1}2\rfloor$, the function $λ(n,d)^h$ has linear order of growth in $d$, answering a question of O. Musin. All triangulations we obtained are isomorphic to boundaries of convex polytopes in $\mathbb{R}^{n+1}$.

For type $A$ braid varieties, including Richardson varieties and positroid varieties, we prove that the standard torus has a dense orbit exactly when the associated link is smoothly slice. More generally, we relate the smooth slice genus to the codimension of a generic standard-torus orbit. For knots, this codimension equals twice the slice genus. We also characterize algebraic tori among open affine Richardson varieties and positroid patches by 2-crown avoidance in their Bruhat intervals. Finally, positroid links have equal Seifert and slice genera, so a positroid link is smoothly slice exactly when it is an unlink.

We prove uniqueness of $q$-rational numbers up to conjugacy, using character varieties. Despite the uniqueness, 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.

We prove the sign-isotypic components of the coinvariant rings $R_n^{(2,1)}$ and $R_n^{(2,0)} \otimes R_n^{(0,1)}$ are isomorphic and show that the triply-graded multiplicity of this sign character is the Schröder polynomial $S_n(q,t,a)$, divided by $1+a$. This settles the sign-character component of a conjecture of Zabrocki (2019) on a module for the Delta theorem and proves a conjecture of F. Bergeron (2020) on the multiplicity of the sign character of $R_n^{(2,1)}$. Finally, using a result of Hogancamp (2017), we enhance a recent result of Gorsky--Mellit (2026) which relates the Khovanov--Rozansky homology of the $(n,n+1)$-torus knot to $R_n^{(2,0)} \otimes R_n^{(0,1)}$, by showing that the associated Poincaré series for this knot can be computed from the sign component of $R_n^{(2,1)}$.

We present a $6$-dimensional centrally symmetric simplicial polytope for which the antipodal quotient of its boundary forms a $24$-vertex triangulation of the $5$-dimensional real projective space. This $6$-polytope is highly symmetric with an automorphism group of order $192$, and is of independent interest. We conjecture that our construction uses the fewest number of vertices among all triangulations of $\mathbb{R}P^5$. Our method also produces two triangulations of $\mathbb{R}P^6$ on $45$ and $49$ vertices; both improve the previously best known construction in dimension $6$ that used $53$ vertices.

We introduce a combinatorial definition of chromatic symmetric functions for annular webs. We prove their symmetry by constructing a web analogue of the Shareshian--Wachs involution and show that they coincide with the symmetric functions associated to annular webs via Turaev's isomorphism. We then derive explicit formulas for their hook Schur coefficients. We also introduce web LLT functions, whose hook Schur coefficients admit positive Laurent-polynomial formulas. These formulas yield a combinatorial expression for the coefficients of the HOMFLY--PT polynomial of an annular web.

We prove that the integral Chow groups $CH^i$ and mixed Hodge degree $H^{2i, (i, i)}$ cohomology groups of really full rank (RFR) sink-recurrent cluster varieties vanish for $i > 0$. In particular this applies to braid varieties and open Richardson varieties in any Lie type. Our main tool is the construction of a stratification of any RFR sink-recurrent cluster variety $\mathcal{A}(Σ)$ into (affine spaces times) RFR sink-recurrent cluster varieties of seeds with fewer mutable vertices than $Σ$. We employ the theory of Voevodsky motives, and towards this end we prove that the cycle class maps are isomorphisms onto the lowest-weight part of rational Borel-Moore homology for any mixed Tate variety over a number field. We then show that RFR sink-recurrent cluster varieties have mixed Tate and, in fact, split motives. Finally, we use our results to deduce vanishing theorems about the Khovanov-Rozansky homology groups of closures of positive braids and generation properties of the cohomology of closed Richardson, projected Richardson, and brick varieties.

A topological line arrangement is an arrangement of embedded spheres in the complex projective plane that topologically generalizes a complex line arrangement. In this paper, we establish foundational results on the topology of the complement of topological line arrangements. First, we prove that the cohomology ring of the complement is isomorphic to the Orlik-Solomon algebra, as for classical complex line arrangements. We then study the homotopy type of the complement. We prove that the complement of a symplectic line arrangement has the homotopy type of a minimal CW complex. In contrast, every combinatorial type realizable by a topological line arrangement admits a realization with a non-minimal complement. Moreover, every such combinatorial type admits infinitely many realizations whose complements are pairwise non-homotopy equivalent.