We give a definition of an integer-valued function [Formula: see text] derived from arrow diagrams for the ambient isotopy classes of oriented spherical curves. Then, we introduce certain elements of the free [Formula: see text]-module generated by the arrow diagrams with at most [Formula: see text] arrows, called relators of Type ([Formula: see text]) (([Formula: see text]), ([Formula: see text]), ([Formula: see text]) or ([Formula: see text]), respectively), and introduce another function [Formula: see text] to obtain [Formula: see text]. One of the main results shows that if [Formula: see text] vanishes on finitely many relators of Type ([Formula: see text]) (([Formula: see text]), ([Formula: see text]), ([Formula: see text]) or ([Formula: see text]), respectively), then [Formula: see text] is invariant under the deformation of type RI (strong RI[Formula: see text]I, weak RI[Formula: see text]I, strong RI[Formula: see text]I[Formula: see text]I or weak RI[Formula: see text]I[Formula: see text]I, respectively). The other main result is that we obtain new functions of arrow diagrams with up to six arrows explicitly. This computation is done with the aid of computers.
Although it is known that the dimension of the Vassiliev invariants of degree three of long virtual knots is seven, the complete list of seven distinct Gauss diagram formulas has been unknown explicitly, where only one known formula was revised without proof. In this paper, we give seven Gauss diagram formulas to present the seven invariants of the degree three (Proposition 4). We further give [Formula: see text] Gauss diagram formulas of classical knots (Proposition 5). In particular, the Polyak–Viro Gauss diagram formula [M. Polyak and O. Viro, Gauss diagram formulas for Vassiliev invariants, Int. Math. Res. Not. 1994 (1994) 445–453] is not a long virtual knot invariant; however, it is included in the list of [Formula: see text] formulas. It has been unknown whether this formula would be available by arrow diagram calculus automatically. In consequence, as it relates to the conjecture of Goussarov-Polyak-Viro [Finite-type invariants of classical and virtual knots, Topology 39 (2000) 1045–1068, Conjecture 3.C], for all the degree three finite type long virtual knot invariants, each Gauss diagram formula is represented as those of Vassiliev invariants of classical knots (Theorem 1).
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.