The loop invariants of Dimofte-Garoufalidis is a formal power series with arithmetically interesting coefficients that conjecturally appears in the asymptotics of the Kashaev invariant of a knot to all orders in $1/N$. We develop methods implemented in SnapPy that compute the first 6 coefficients of the formal power series of a knot. We give examples that illustrate our method and its results.
A branched covering surface-knot over an oriented surface-knot $F$ is a surface-knot in the form of a branched covering over $F$. A branched covering surface-knot over $F$ is presented by a graph called a chart on a surface diagram of $F$. For a branched covering surface-knot, an addition of 1-handles equipped with chart loops is a simplifying operation which deforms the chart to the form of the union of free edges and 1-handles with chart loops. We investigate properties of such simplifications.
In this paper, for a Seifert loop (i.e., a knot in a Seifert three-manifold), first we give a family of an explicit function $Φ(q; N)$ whose special values at roots of unity are identified with the Witten-Reshetikhin-Turaev invariants of the Seifert loop for the integral homology sphere. Second, we show that the function $Φ(q; N)$ satisfies a $q$-difference equation whose classical limit coincides with a component of the character varieties of the Seifert loop. Third, we give an interpretation of the function $Φ(q; N)$ from the view point of the resurgent analysis.
Let $M_n$ be the topological moduli space of all parallel n-cables of long framed oriented knots in 3-space. We construct in a combinatorial way for each natural number $n>1$ a 1-cocycle $R_n$ which represents a non trivial class in $H^1(M_n; \mathbb{Z} [x_1,x_2,...,x_1^{-1},x_2^{-1},...])$, where the number of variables $x_m$ depends on $n$. To each generic point in $M_n$ we associate in a canonical way an arc {\em scan} in $M_n$, such that $R_n(scan)$ is already a polynomial knot invariant. We show that $R_3(scan)$ detects the non-invertibility of the knot $8_{17}$ in a very simple way and w…
A petal projection of a knot $K$ is a projection of a knot which consists of a single multi-crossing and non-nested loops. Since a petal projection gives a sequence of natural numbers for a given knot, the petal projection is a useful model to study knot theory. It is known that every knot has a petal projection. A petal number $p(K)$ is the minimum number of loops required to represent the knot $K$ as a petal projection. In this paper, we find the relation between a superbridge index and a petal number of an arbitrary knot. By using this relation, we find the petal number of $T_{r,s}$ as foll…
We specify the computational complexity of crosscap numbers of alternating knots by introducing an automatic computation. For an alternating knot $K$, let $\cal{E}$ be the number of edges of its diagram. Then there exists a code such that the complexity of this computation of the crosscap number of $K$ is estimated by $O(\cal{E}^3)$.
Differential expansion (DE) for a Wilson loop average in representation $R$ is built to respect degenerations of representations for small groups. At the same time it behaves nicely under some changes of the loop, e.g. of some knots in the case of $3d$ Chern-Simons theory. Especially simple is the relation between the DE for the trefoil $3_1$ and for the figure eight knot $4_1$. Since arbitrary colored HOMFLY for the trefoil are known from the Rosso-Jones formula, it is therefore enough to find their DE in order to make a conjecture for the figure eight. We fulfil this program for all rectangu…
We show some computations on representations of the fundamental group in SL(2;C) and Reidemeister torsion for a homology 3-sphere obtained by Dehn surgery along the figure-eight knot. This is the second version. We recorrected several errors in the first version.
We calculate homological blocks for a knot in Seifert manifolds when the gauge group is $SU(N)$. We obtain the homological blocks with a given representation of the gauge group from the expectation value of the Wilson loop operator by analytically continuing the Chern-Simons level. We also obtain homological blocks with the analytically continued level and representation for a knot in the Seifert integer homology spheres.
We explore a knot invariant derived from colorings of corresponding $1$-tangles with arbitrary connected quandles. When the quandle is an abelian extension of a certain type the invariant is equivalent to the quandle $2$-cocycle invariant. We construct many such abelian extensions using generalized Alexander quandles without explicitly finding $2$-cocycles. This permits the construction of many $2$-cocycle invariants without exhibiting explicit $2$-cocycles. We show that for connected generalized Alexander quandles the invariant is equivalent to Eisermann's knot coloring polynomial. Computatio…
In a recent paper, the first author and his collaborator developed a method to compute an upper bound of the dimension of instanton Floer homology via Heegaard Diagrams of 3-manifolds. For a knot inside S3, we further develop an algorithm that can compute an upper bound of the dimension of instanton knot homology from knot diagrams. We test the effectiveness of the algorithm and found that for all knots up to seven crossings, the algorithm provides sharp bounds. In the second half of the paper, we show that, if the instanton knot Floer homology of a knot has a specified form, then the knot mus…
In this report, I will start by first giving a brief introduction on knots to build some intuition before beginning the more rigorous review in the Literature Review section. There, I will define knot equivalence, the Jones polynomial invariant, braid groups, Hecke algebras, and the HOMFLY polynomial invariant. Next, I will cover some of my independent research regarding the computation of a general formula for the HOMFLY polynomial of the closure of looped coxeter braids. Lastly, I will loosely discuss how this research connects to future research regarding the universal trace in the Plan for…
The theory of Gauss diagrams and Gauss diagram formulas provides convenient ways to compute knot invariants, such as coefficients of the HOMFLYPT polynomial. In \cite{4,5}, the author uses Gauss diagram formulas to find combinatorial 1-cocycles in the moduli space of knots in the solid torus. Evaluated on canonical loops, one can then obtain new, non trivial knot invariants. In those books, the author conjectures that a new formula, based on the Vassiliev invariant $v_3$ also gives a 1-cocycle. We prove that it is in fact true by using the same methods developed by the author in those books.
A virtual knot is an equivalence class of embeddings of $ S^1 $ into thickened (closed oriented) surfaces, up to self-diffeomorphism of the surface and certain handle stabilisations. The slice genus of a virtual knot is defined diagrammatically, in direct analogy to that of a classical knot. However, it may be defined, equivalently, as follows: a representative of a virtual knot is an embedding of $ S^1 $ into a thickened surface $ Σ_g \times I $; what is the minimal genus of oriented surfaces $ S \hookrightarrow M \times I $ with the embedded $ S^1 $ as boundary, where $ M $ is an oriented $ …
We provide a diagrammatic computation for the bilinear form, which is defined as the pairing between the (relative) cup products with every local coefficients and every integral homology 2-class of every links in the 3-sphere. As a corollary, we construct bilinear forms on the twisted Alexander modules of links.
Given a homomorphism from a link group to a group, we introduce a $K_1$-class in another way, which is a generalization of the 1-variable Alexander polynomial. We compare the $K_1$-class with $K_1$-classes in \cite{Nos} and with Reidemeister torsions. As a corollary, we show a relation to Reidemeister torsions of finite cyclic covering spaces, and show reciprocity in some senses.
Given a biquandle $(X, S)$, a function $τ$ with certain compatibility and a pair of {\em non commutative cocyles} $f,h:X \times X\to G$ with values in a non necessarily commutative group $G$, we give an invariant for singular knots / links. Given $(X,S,τ)$, we also define a universal group $U_{nc}^{fh}(X)$ and universal functions governing all 2-cocycles in $X$, and exhibit examples of computations. When the target group is abelian, a notion of {\em abelian cocycle pair} is given and the "state sum" is defined for singular knots/links. Computations generalizing linking number for singular knot…
A TQFT-based Platform for Efficient Computation of Knot Invariants
Computer Science, Division of Science, New York University Abu Dhabi（计算机科学，科学学部，阿布扎比纽约大学）；Mathematics, Division of Science, New York University Abu Dhabi（数学，科学学部，阿布扎比纽约大学）；Center for Quantum and Topological Systems (CQTS), NYUAD Research Institute, New York University Abu Dhabi（量子与拓扑系统中心（CQTS），阿布扎比纽约大学研究院，阿布扎比纽约大学）；The Courant Institute for Mathematical Sciences, NYU（库朗数学科学研究所，纽约大学）
