Jones polynomial ($V_L(t)$)

The Jones polynomial is obtained from the Kauffman bracket of an oriented diagram by the writhe normalization

This asks whether the Jones polynomial equal to one characterizes the unknot among knots. A zero breadth of a Laurent polynomial makes $V_K$ a monomial; the identities $V_K(1)=1$ and $V_K^{\prime }(1)=0$ then force that monomial to be one. Thus using Jones breadth as a strictly positive complexity for nontrivial knots requires this detection property. To prove the derivative identity, differentiate the Jones polynomial skein relation at one for a crossing change in a knot. Both crossed diagrams have value one, while the smoothed two-component link has value minus two by Jones polynomial evaluation at one, so $V_{K_{+}}^{\prime }(1)=V_{K_{-}}^{\prime }(1)$. Crossing changes reduce to the unknot, whose derivative is zero. The corresponding Alexander polynomial detection property is false, as nontrivial untwisted Whitehead doubles demonstrate. The Jones question is discussed in research on closed four-strand braids.

Use the Conway-normalized Alexander polynomial. Choosing $t^{1/2}=i$ in the Jones polynomial skein relation gives $V_{L_{+}}(-1)-V_{L_{-}}(-1)=-2i{V}_{L_0}(-1)$. The quantities $(-1{)}^{\ell -1}{\nabla }_L(2i)$ obey the same relation, because smoothing changes the component count by one. Their unlink values agree, so crossing-change induction proves equality for every link. For a knot, the sign is one and ${\nabla }_K(2i)={\Delta }_K(-1)$. This proves the signed identity, not only equality of knot determinants.

Reflecting a link diagram interchanges its two bracket smoothings and negates its writhe of a link diagram. This replaces $A$ by $A^{-1}$ in the normalized Kauffman bracket, hence $t$ by $t^{-1}$. A knot whose Jones polynomial differs from its reciprocal cannot be an amphichiral knot.

For a nonempty link with $\ell$ components, the Jones polynomial skein relation at $t=1$ makes a crossing change preserve the value. Crossing changes turn the link into an unlink with the same number of components. Repeated Jones polynomial of a split union gives the formula. In particular the Jones polynomial is never the zero polynomial.

Placing the two link diagrams in disjoint disks keeps all state circles separate. The reduced Kauffman bracket therefore acquires one extra loop factor $-A^2-A^{-2}$. Correcting writhe of a link diagram and setting $t=A^{-4}$ gives the displayed formula. It concerns a split link, not an arbitrary union of linked components.

For knots, matching bracket smoothing states across a connected sum of knots joins one state circle from each side. Their total circle count is therefore the sum of the two counts minus one. The reduced Kauffman bracket state weights multiply, and writhe of a link diagram adds, proving the formula.

Resolve the two crossings in a skein relation using the Kauffman bracket, then correct by the writhe of a link diagram. The other smoothing cancels, leaving the displayed coefficient of the oriented smoothing. This relation and the value one on the unknot determine the Jones polynomial: crossing changes give descending diagrams, which are unlinks, while the smoothing terms have fewer crossings.

Use the Kauffman bracket assigning the empty diagram value $1$ and a disjoint circle factor $-A^2-A^{-2}$. Correct by the writhe of a link diagram and substitute $t=A^{-4}$. Relative to the Jones polynomial normalized to be $1$ on the unknot, this unreduced invariant has an additional factor $-(t^{1/2}+t^{-1/2})$. For a nonempty $l$-component link, its value at $t=1$ is $(-2{)}^l$.