arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.16514

An Algebraic Matching Algorithm for the Genus of Grid Diagrams

Jun Wang·Shasha Yang
View original source ↗Read source document ↗Export metadata ↓

Abstract

Grid diagrams encode knots and links combinatorially through an (n,n) winding matrix W(G). A fundamental invariant of the grid diagram is its genus g(G), which records essential topological information about the underlying knot. We give an algebraic algorithm that computes g(G) directly from W(G). The method repurposes the Hungarian algorithm ,after a column normalization that makes the matrix non-negative, it applies row-column reductions and minimum-vertex-cover corrections until the zero entries admit a perfect matching, equivalently until the minimum marking number equals n. By Konig's theorem the resulting permutation defines a distinguished grid state, and g(G) is then read from this matrix via the classical grid homology formula (Ozsvath-Stipsicz-Szabo). The novelty of this paper is the algorithm and its strongly polynomial analysis; the underlying invariant is known grid-homology theory. We illustrate the method on the trefoil and additional examples, and discuss extensions to (m,n) matrices and grid-move navigation toward the knot genus g(K).

Explore related subjects

math.GT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Jun Wang, Shasha Yang. 2026-10-12. An Algebraic Matching Algorithm for the Genus of Grid Diagrams. https://arxiv.org/abs/2610.16514

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Maps between circle bundles: Fiber-preserving, Finiteness and Realization of mapping degree sets

Let $E_i$ be an oriented circle bundle over a closed oriented $n$-manifold $M_i$ with $i=1,2$ and assume that $M_2$ is aspherical. We prove the following geometric realization result, which extends the classical result for maps between circle bundles over surfaces to all dimensions $\geq 2$. Let $f\colon E_1\to E_2$ be a map. If the induced homomorphism $f_*$ on $π_1$ sends the fiber subgroup of $π_1(E_1)$ to the fiber subgroup of $π_1(E_2)$, then there is a fiber-preserving map in the homotopy class of $f$. Using the above result and a computation of the mapping degree set of fiber-preserving maps between $E_1$ and $E_2$, we obtain the following results on the finiteness and the realization problems of mapping degree sets. ($\mathcal F$) The mapping degree set $D(E_1, E_2)$ is finite if $M_2$ is hyperbolic and the Euler class of $E_2$ is not torsion. ($\mathcal R$) For any finite set $A$ of integers containing $0$ and any $n>2$, $A$ is the mapping degree set $D(M,N)$ for some closed oriented $n$-manifolds $M$ and $N$. Item ($\mathcal F$) extends the previously known $3$-dimensional case to all dimensions $\geq 3$. Item ($\mathcal R$) gives a complete answer to the realization problem on finite sets of integers (containing 0) in all dimensions, including in particular the previously unknown cases in dimensions $ 4$ and $5$.

math.GT↗
arXiv2026

Triple-cup product forms of 3-manifolds and Heegaard diagrams

The triple-cup product form $μ$ is a classical invariant of $3$-manifolds, determining the cohomology ring up to torsion. Given a closed, connected, oriented $3$-manifold $M$, we describe an explicit formula for computing $μ$ from a Heegaard diagram of $M$. Then, we show that the triple-cup product form $μ$ can be recovered as a reduction of Turaev's homotopy intersection form $η$ of the Heegaard surface.

math.GT↗
arXiv2026

A topological interpretation of numbers

We survey recent advancements on the realisation problem for mapping degree sets. In particular, we explain that any finite set containing zero is the mapping degree set between some $n$-manifolds, for each $n\geq3$. Our building factors for the construction of the realising manifolds will be aspherical manifolds. Thus, along the way, we review a couple of open questions related to maps of non-zero degree for aspherical manifolds.

math.GT↗