Complexity classes as mathematical axioms. II (Q259630)

In knot theory, the Jones polynomial is a knot polynomial that is an invariant of an oriented knot or link which assigns to each oriented knot or link a Laurent polynomial in the variable with integer coefficients. In Part I [\textit{M. H. Freedman}, Ann. Math. (2) 170, No. 2, 995--1002 (2009; Zbl 1178.03069)], it was shown how the classical complexity separation conjectures cannot produce exponential simplifications of link diagrams. In the present paper, it is shown that quantum complexity separation conjectures cannot produce exponential simplifications of link diagrams of the Jones polynomial.