arXiv++ Combinatorics

We produce a facial state sum on plane diagrams of a knot or a link which admits an invariant specialization under Polyak's recent set of generating of 4 Reidemeister moves. Thus an isotopy invariant of framed links is obtained. Each state is a complete coloring of the faces of the diagram into white and black faces so that no two black faces share an edge. Each state induces a monomial in a ring of 16 variables. The sum of the states, properly specialized defines the new invariant. In despite of its simplicity it complements Jones invariant in distinguishing mirror pairs of links. In particular it proves that $9_{42}$ is distinct from its mirror image. For this pair of knots both the Jones Polynomial and Kauffman 2-variable polynomial fail.

Kauffman's bracket is an invariant of regular isotopy of knots and links which since its discovery in 1985 it has been used in many different directions: (a) it implies an easy proof of the invariance of (in fact, it is equivalent to) the Jones polynomial; (b) it is the basic ingredient in a completely combinatorial construction for quantum 3-manifold invariants; (c) by its fundamental character it plays an important role in some theories in Physics; it has been used in the context of virtual links; it has connections with many objects other objects in Mathematics and Physics. I show in this note that, surprisingly enough, the same idea that produces the bracket can be slightly modified to produce algebraically stronger regular isotopy and ambient isotopy invariants living in the quotient ring $R/I$, where the ring $R$ and the ideal $I$ are: \begin{center} $R=\Z[α,β,δ]$, $I=< p_1, p_2 >$, with $p_1=α^2 δ+ 2 αβδ^2 -δ^2+β^2 δ, p_2=αβδ ^3+α^2 δ^2+β ^2 δ^2+αβ δ-δ.$ \end{center} It is easy to prove that any pair of links distinguished by the usual bracket is also distinguishable by the new invariant. The contrary is not necessarily true. However, a explicit example of a pair of knots not distinguished by the bracket and distinguished by this new invariant is an open problem.

The state sum regular isotopy invariant of links which I introduce in this work is a generalization of the Jones Polynomial. So it distinguishes any pair of links which are distinguishable by Jones'. This new invariant, denoted {\em VSE-invariant} is strictly stronger than Jones': I detected a pair of links which are not distinguished by Jones' but are distinguished by the new invariant. The full VSE-invariant has $3^n$ states. However, there are useful specializations of it parametrized by an integer k, having $O(n^k)=\sum_{\ell=0}^k {n \choose \ell} 2^\ell $ states. The link with more crossings of the pair which was distinguished by the VSE-invariant has 20 crossings. The specialization which is enough to distinguish corresponds to k=2 and has only 801 states, as opposed to the $2^{20} = 1,048,576$ states of the Jones polynomial of the same link. The full VSE-invariant of it has $3^{20} = 3,486,784,401$ states. The VSE-invariant is a good alternative for the Jones polynomial when the number of crossings makes the computation of this polynomial impossible. For instance, for $k=2$ the specialization of the VSE-invariant of a link with $n=500$ crossings can be computed in a few minutes, since it has only $2 n^2+1 = 500,001$ states.

This paper has been withdrawn because there is a fundamental error in the computations; with the right computational scheme it seems to be just a version of the Jones polynomial

This work studies certain aspects of graphs embedded on surfaces. Initially, a colored graph model for a map of a graph on a surface is developed. Then, a concept analogous to (and extending) planar graph is introduced in the same spirit as planar abstract duality, and is characterized topologically. An extension of the Gauss code problem treating together the cases in which the surface involved is the plane or the real projective plane is established. The problem of finding a minimum transversal of orientation-reversing circuits in graphs on arbitrary surfaces is proved to be NP-complete and is algorithmically solved for the special case where the surface is the real projective plane.

If a graph $G_M$ is embedded into a closed surface $S$ such that $S \backslash G_M$ is a collection of disjoint open discs, then $M=(G_M,S)$ is called a {\em map}. A {\em zigzag} in a map $M$ is a closed path which alternates choosing, at each star of a vertex, the leftmost and the rightmost possibilities for its next edge. If a map has a single zigzag we show that the cyclic ordering of the edges along it induces linear transformations, $c_P$ and $c_{P^\sim}$ whose images and kernels are respectively the cycle and bond spaces (over GF(2)) of $G_M$ and $G_D$, where $D=(G_D,S)$ is the dual map of $M$. We prove that $Im(c_P \circ c_{P^\sim})$ is the intersection of the cycle spaces of $G_M$ and $G_D$, and that the dimension of this subspace is connectivity of $S$. Finally, if $M$ has also a single face, this face induces a linear transformation $c_D$ which is invertible: we show that $c_D^{-1} = c_{P^\sim}$.

Let $\bar{P}$ be a sequence of length $2n$ in which each element of $\{1,2,...,n\}$ occurs twice. Let $P'$ be a closed curve in a closed surface $S$ having $n$ points of simple auto-intersections, inducing a 4-regular graph embedded in $S$ which is 2-face colorable. If the sequence of auto-intersections along $P'$ is given by $\bar{P}$, we say that is a {\em $P'$ 2-face colorable solution for the Gauss Code $\bar{P}$ on surface $S$} or a {\em lacet for $\bar{P}$ on $S$}. In this paper we present a necessary and sufficient condition yielding these solutions when $S$ is Klein bottle. The condition take the form of a system of $m$ linear equations in $2n$ variables over $\Z_2$, where $m \le n(n-1)/2$. Our solution generalize solutions for the projective plane and on the sphere. In a strong way, the Klein bottle is an extremal case admitting an affine linear solution: we show that the similar problem on the torus and on surfaces of higher connectivity are modelled by a quadratic system of equations.