Table of Contents
Fetching ...

New formulas for the Jones polynomial of a rational link

Yuanan Diao, Gábor Hetyei

Abstract

We derive new formulas for the Jones polynomial and the Kauffman bracket polynomial of a rational link represented by a standard diagram that is not necessarily alternating. These formulas generalize the results of Qazaqzeh, Yasein, and Abu-Qamar for the Tutte polynomial of the Tait graph of an alternating diagram of a rational link, as well as the matrix formulas of Lawrence and Rosenstein for the Jones polynomial of a rational link. Our approach uses the colored version of Brylawski's tensor product formula for Tutte polynomials of colored graphs, due to Diao, Hetyei, and Hinson. Furthermore, generalizing the formulas of Qazaqzeh, Yasein, and Abu-Qamar, we present a finite automaton that computes the crossing signs, thereby enabling the calculation of the writhe of a standard diagram of a rational link.

New formulas for the Jones polynomial of a rational link

Abstract

We derive new formulas for the Jones polynomial and the Kauffman bracket polynomial of a rational link represented by a standard diagram that is not necessarily alternating. These formulas generalize the results of Qazaqzeh, Yasein, and Abu-Qamar for the Tutte polynomial of the Tait graph of an alternating diagram of a rational link, as well as the matrix formulas of Lawrence and Rosenstein for the Jones polynomial of a rational link. Our approach uses the colored version of Brylawski's tensor product formula for Tutte polynomials of colored graphs, due to Diao, Hetyei, and Hinson. Furthermore, generalizing the formulas of Qazaqzeh, Yasein, and Abu-Qamar, we present a finite automaton that computes the crossing signs, thereby enabling the calculation of the writhe of a standard diagram of a rational link.
Paper Structure (14 sections, 31 theorems, 208 equations, 10 figures, 1 table)

This paper contains 14 sections, 31 theorems, 208 equations, 10 figures, 1 table.

Key Result

Theorem 1.2

Let $I$ be an ideal of $\mathbb Z[\Lambda]$. The image of $T(G)$ in $\mathbb Z[\Lambda]/I$ is independent of the edge labeling of $G$ if and only if, for all $\lambda,\mu,\nu\in\Lambda$, the differences and belong to $I$.

Figures (10)

  • Figure 1: The twist sign convention used to define the standard form of an unoriented rational link; the role of the arrow will be explained in Section \ref{['sec:writhe']}.
  • Figure 2: Left: the shading sign with respect to the checkerboard shading; Right: the crossing sign with respect to the orientation of the link.
  • Figure 3: An unoriented rational link diagram with an odd number of twist boxes and its associated Tait graph.
  • Figure 4: An unoriented rational link diagram with an even number of twist boxes and its associated Tait graph.
  • Figure 5: The core graphs $G_{2n+1}$ and $G_{2n}$.
  • ...and 5 more figures

Theorems & Definitions (63)

  • Remark 1.1
  • Theorem 1.2: Bollobás--Riordan
  • Definition 1.3
  • Definition 1.4
  • Definition 1.5
  • Theorem 1.6: Diao--Hetyei--Hinson DHH2
  • Theorem 1.7
  • Corollary 1.8
  • Lemma 2.1
  • Corollary 2.2
  • ...and 53 more