The Jones polynomial: quantum algorithms and applications in quantum complexity theory
arXiv:quant-ph/0603069
Abstract
We analyze relationships between quantum computation and a family of generalizations of the Jones polynomial. Extending recent work by Aharonov et al., we give efficient quantum circuits for implementing the unitary Jones-Wenzl representations of the braid group. We use these to provide new quantum algorithms for approximately evaluating a family of specializations of the HOMFLYPT two-variable polynomial of trace closures of braids. We also give algorithms for approximating the Jones polynomial of a general class of closures of braids at roots of unity. Next we provide a self-contained proof of a result of Freedman et al. that any quantum computation can be replaced by an additive approximation of the Jones polynomial, evaluated at almost any primitive root of unity. Our proof encodes 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. 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, circumventing the usual route through the Tutte polynomial and graph coloring.
34 pages. Substantial revision. Increased emphasis on HOMFLYPT, greatly simplified arguments and improved organization
References in corpus (1)
Cited by in corpus (8)
- The BQP-hardness of approximating the Jones Polynomial
- Trading inverses for an irrep in the Solovay-Kitaev theorem
- Topological Quantum Computing and the Jones Polynomial
- BQP-complete Problems Concerning Mixing Properties of Classical Random Walks on Sparse Graphs
- - Deformed Spin Networks, Knot Polynomials and Anyonic Topological Quantum Computation
- Computing the Tutte Polynomial of Lattice Path Matroids Using Determinantal Circuits
- Estimating diagonal entries of powers of sparse symmetric matrices is BQP-complete
- An efficient quantum algorithm for colored Jones polynomials