Related papers: On rack colorings for surface-knot diagrams withou…
We investigate Fox colorings of knots that are 17-colorable. Precisely, we prove that any 17-colorable knot has a diagram such that exactly 6 among the seventeen colors are assigned to the arcs of the diagram.
This paper continues the study of a new variant of graph coloring with a connectivity constraint recently introduced by Hsieh et al. [COCOON 2024]. A path in a vertex-colored graph is called conflict-free if there is a color that appears…
Ng constructed an invariant of knots in ${\mathbb{R}}^3$, a combinatorial knot contact homology. Extending his study, we construct an invariant of surface-knots in ${\mathbb{R}}^4$ using marked graph diagrams.
We give a new proof of rationality of stable commutator length (scl) of certain elements in surface groups: those represented by curves that do not fill the surface. Such elements always admit extremal surfaces for scl. These results also…
We define an invariant of tangles and framed tangles given a finite crossed module and a pair of functions, called a Reidemeister pair, satisfying natural properties. We give several examples of Reidemeister pairs derived from racks,…
We obtain some results on symmetries of sub-Riemannian surfaces. In case of contact sub-Riemannian surface we base on invariants found by Hughen \cite{Hughen}. Using these invariants, we find conditions under which a sub-Riemannian surface…
We analyze surface patches with a corner that is rounded in the sense that the partial derivatives at that point are antiparallel. Sufficient conditions for $G^1$ smoothness are given, which, up to a certain degenerate case, are also…
Given a surface with boundary and some points on its boundary, a polygon diagram is a way to connect those points as vertices of non-overlapping polygons on the surface. Such polygon diagrams represent non-crossing permutations on a surface…
We initiate the homotopical study of racks and quandles, two algebraic structures that govern knot theory and related braided structures in algebra and geometry. We prove analogs of Milnor's theorem on free groups for these theories and…
We describe a normal surface algorithm that decides whether a knot, with known degree of the colored Jones polynomial, satisfies the Strong Slope Conjecture. We also discuss possible simplifications of our algorithm and state related open…
A birack is an algebraic structure with axioms encoding the blackboard-framed Reidemeister moves, incorporating quandles, racks, strong biquandles and semiquandles as special cases. In this paper we extend the counting invariant for finite…
We introduce a new construction of surfaces in $D^2 \times B^2$, called knitted surfaces or BMW surfaces, which are described as the trace of deformations of knits. Here, knits are tangles obtained from classical braids from splicing at…
The set consisting of all rotations of the Euclidean plane is equipped with a quandle structure. We show that a knot is colorable by this quandle if and only if its Alexander polynomial has a root on the unit circle in $\mathbb{C}$. Further…
In the preprint of V. Bardakov, T. Kozlovskaya, D. Talalaev (Self-distributive bialgebras, arXiv:2501.19152) it was formulated a problem of classification of self-distributive bialgebras and was given classification of two-dimensional…
In this paper, we introduce the notion of 2-boundary planar graphs. A graph is 2-boundary planar if it has an embedding in the plane so that all vertices lie on the boundary of at most two faces and no edges are crossed. A proper coloring…
The combinatorial approach to knot theory treats knots as diagrams modulo Reidemeister moves. Many constructions of knot invariants (e.g., index polynomials, quandle colorings, etc.) use elements of diagrams such as arcs and crossings by…
We resolve an open problem by showing that the Yoshikawa's fifth oriented move in his list cannot be reproduced by any finite sequence of the other nine moves and planar isotopies. Our proof introduces a link-type semi-invariant that…
Racks and quandles are rich algebraic structures that are strong enough to classify knots. Here we develop several fundamental categorical aspects of the theories of racks and quandles and their relation to the theory of permutations. In…
The interest in rigid vector bundles (with respect to determinant preserving deformations) stems from various sources. From a geometric point of view, non-K\"ahler manifolds are of particular interest with respect to this problem. In this…
We define an invariant of tangles and framed tangles given a finite crossed module and a pair of functions, called a Reidemeister pair, satisfying natural properties. We give several examples of Reidemeister pairs derived from racks,…