Title:The Jones polynomial: quantum algorithms and applications in quantum complexity theory

Abstract: We analyze relationships between the Jones polynomial and quantum computation. First, we present two polynomial-time quantum algorithms which give additive approximations of the Jones polynomial, in the sense of Bordewich, Freedman, Lovasz and Welsh, of any link obtained from a certain general family of closures of braids, evaluated at any primitive root of unity. This family encompasses the well-known plat and trace closures, generalizing results recently obtained by Aharonov, Jones and Landau. We base our algorithms on a local qubit implementation of the unitary Jones-Wenzl representations of the braid group which makes the underlying representation theory apparent, allowing us to provide an algorithm for approximating the HOMFLYPT two-variable polynomial of the trace closure of a braid at certain pairs of values as well. Next, we provide a self-contained proof that any quantum computation can be replaced by an additive approximation of the Jones polynomial, evaluated at almost any primitive root of unity. This theorem was originally proved by Freedman, Larsen and Wang in the context of topological quantum computation, and the necessary notion of approximation was later provided by Bordewich et al. Our proof is simpler as it uses a more natural encoding of two-qubit unitaries into the rectangular representation of the eight-strand braid group. We then give QCMA-complete and PSPACE-complete problems which are based on braids. Finally, we conclude with direct proofs that evaluating the Jones polynomial of the plat closure at most primitive roots of unity is a #P-hard problem, while learning its most significant bit is PP-hard, without taking the usual route through the Tutte polynomial and graph coloring.