Search arXiv⌕ Search

arXiv · 2610.16514

An Algebraic Matching Algorithm for the Genus of Grid Diagrams

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

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

The fundamental quandle of ribbon concordances

We describe the fundamental quandle of a properly embedded surface $Σ$ (possibly with boundary) in $\mathbb{R}^{3}\times I$ and derive its presentation in terms of its motion picture. Our study is based on the topological definition of the fundamental quandle. We prove that a ribbon concordance $C$ from a classical knot $K_1$ to a classical knot $K_0$ gives rise to a quandle monomorphism $Q(K_0)\hookrightarrow Q(C)$ and a quandle epimorphism $Q(K_1)\twoheadrightarrow Q(C)$.

math.GT↗

An embedding of spherical quandles into Lie groups

We construct smooth embeddings of spherical quandles into conjugation quandles of Lie groups, where the ambient Lie groups can be chosen to be orthogonal, Spin, or Pin groups. Moreover, in dimensions $1$ and $3$, we compare our embeddings with those due to Bergman and Akita.

math.GT↗

Minima of geodesic length functions for non-uniform filling systems

Kerckhoff proved that the geodesic length function $\ell_Ω$ of a filling $Ω$ on $S_g$ attains a unique minimum in Teichmüller space. Recent work of Ernesto Girondo et al. computed these minima for uniform fillings using the algebraic machinery of dessins d'enfants and Grothendieck-Belyi surfaces. We present an elementary optimization approach for $4$-regular topological uniform fillings, bypassing this framework. Furthermore, we analyze two special classes of non-uniform $4$-regular fillings using fat graphs and optimization techniques. We explicitly compute their minima and prove that in both classes, the minimum of these length functions is attained at a triangle surface.

math.GT↗