A polynomial quantum algorithm for approximating the Jones polynomial

ABSTRACT

The Jones polynomial, discovered in 1984 [18], is an important knot invariant in topology. Among its many connections to various mathematical and physical areas, it is known (due to Witten [32]) to be intimately connected to Topological Quantum Field Theory (TQFT). The works of Freedman, Kitaev, Larsen and Wang [13, 14] provide an efficient simulation of TQFT by a quantum computer, and vice versa. These results implicitly imply the existence of an efficient quantum algorithm that provides a certain additive approximation of the Jones polynomial at the fifth root of unity, e²π i/5, and moreover, that this problem is BQP-complete. Unfortunately, this important algorithm was never explicitly formulated. Moreover, the results in [13, 14] are heavily based on TQFT, which makes the algorithm essentially inaccessible to computer scientists.We provide an explicit and simple polynomial quantum algorithm to approximate the Jones polynomial of an n strands braid with m crossings at any primitive root of unity e^{2π i/k}, where the running time of the algorithm is polynomial in m,n and k. Our algorithm is based, rather than on TQFT, on well known mathematical results (specifically, the path model representation of the braid group and the uniqueness of the Markov trace for the Temperly Lieb algebra). By the results of [14], our algorithm solves a BQP complete problem.The algorithm we provide exhibits a structure which we hope is generalizable to other quantum algorithmic problems. Candidates of particular interest are the approximations of other downwards self-reducible P-hard problems, most notably, the Potts model.

References

1. Aharonov D. and Arad I., On the BQP-hardness of Approximating the Jones Polynomial, preprint, 2006
2. Alexander, J. W. Topological invariants of knots and links. Trans. Amer. Math. Soc. 30 (1928), no. 2, 275--306.
3. Artin, E. (1947). Theory of braids. Annals of Mathematics, 48 101--126.
4. Bernstein E and Vazirani U, Quantum complexity theory, SIAM Journal of Computation 26 5 pp 1411--1473 October, 1997
5. Birman, J. (1974). Braids, links and mapping class groups. Annals of Mathematical Studies, 82.
6. D. Bisch and V. Jones, Algebras associated to intermediate subfactors, Invent. Math. 128 (1997), 89--157.
7. Bordewich M, Freedman M, Lovasz L, and Welsh D., Approximate counting and Quantum computation, Combinatorics, Probability and Computing, 14, Issue 5-6, pp: 737 -- 754, 2005
8. A. Childs and R. Cleve and E. Deotto and E. Farhi and S. Gutmann and D. Spielman, Exponential algorithmic speedup by quantum walk, STOC 2003
9. J.H. Conway An enumeration of knots and links,and some of their algebraic properties. Computational Problems in Abstract Algebra (Proc. Conf., Oxford, 1967) (1970) 329--358
10. W. van Dam and S. Hallgren, Efficient quantum algorithms for shifted quadratic character problems. In quant-ph/0011067.
11. B. Ewing and K.C. Millett, A load balanced algorithm for the calculation of the polynomial knot and link invariants. The mathematical heritage of C. F. Gauss, 225--266, World Sci. Publishing, River Edge, NJ, 1991.
12. M. Freedman, P/NP and the quantum field computer, Proc. Natl. Acad. Sci., USA, 95, (1998), 98--101
13. M. Freedman, A.Kitaev, M. Larsen, Z. Wang, Topological quantum computation. Mathematical challenges of the 21st century (Los Angeles, CA, 2000). Bull. Amer. Math. Soc. (N.S.) 40 (2003), no. 1, 31--38
14. M. H. Freedman, A. Kitaev, Z. Wang Simulation of topological field theories by quantum computers Commun.Math.Phys. 227 (2002) 587--603
15. M. H. Freedman, M. Larsen, Z. Wang A modular Functor which is universal for quantum computation Commun.Math.Phys. 227 (2002) no. 3, 605--622
16. F.M. Goodman, P. de la Harpe, and V.F.R. Jones, Coxeter graphs and towers of algebras, Springer-Verlag,1989.
17. S. Hallgren, Polynomial-time quantum algorithms for Pell's Equation and the principal ideal problem. STOC 2002, pp. 653--658.
18. Jaeger, F.; Vertigan, D. L.; Welsh, D. J. A. On the computational complexity of the Jones and Tutte polynomials. Math. Proc. Cambridge Philos. Soc. 108 (1990), no. 1, 35--53.
19. Mark Jerrum, Alistair Sinclair and Eric Vigoda, A polynomial-time approximation algorithm for the permanent of a matrix with non-negative entries, STOC 2001, 712--721.
20. V.F.R Jones, A polynomial invariant for knots via von Neumann algebras. Bull. Amer. Math. Soc. 12 (1985), no. 1 103--111.
21. V.F.R. Jones, Index for subfactors, Invent. Math 72 (1983), 1--25.
22. V.F.R. Jones, Braid groups, Hecke Algebras and type II factors, in Geometric methods in Operator Algebras, Pitman Research Notes in Math., 123 (1986), 242--273
23. L.Kauffman, State models and the Jones polynomial. Topology 26,(1987),395--407.
24. L. Kauffman, Quantum computing and the Jones polynomial. Quantum computation and information Contemp. Math. 305, 101--137.
25. G. Kuperberg, A subexponential-time quantum algorithm for the dihedral hidden subgroup problem, arXiv:quant-ph/0302112.
26. Markov, A. (1935). Über de freie Aquivalenz geschlossener Zöpfe. Rossiiskaya Akademiya Nauk, Matematicheskii Sbornik, 1, 73--78.
27. Neilsen, Chuang, Quantum Computation and Quantum Information, Cambridge press, 2000
28. A. Podtelezhnikov, N. Cozzarelli, A. Vologodskii, Equilibrium distributions of topological states in circular DNA: interplay of supercoiling and knotting. Proc. Natl. Acad. Sci. USA 96 (1999), no. 23, 12974--12979.
29. Preskill J., Topological quantum computation, Lecture notes for Caltech course 219 in Physics, http://www.theory.caltech.edu/~preskill/ph229/#lecture
30. V. Subramaniam, P. Ramadevi, Quantum Computation of Jones' Polynomials, quant-ph/0210095
31. Simon D, On the power of quantum computation, SIAM J. Comp., 26, No. 5, pp 1474--1483, October 1997
32. P. W. Shor: Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM J. Comput. 26(5) 1997, pp. 1484--1509.
33. P. Vogel, representation of links by braids: A new algorithm, In Comment. math. Helvetici, 65 (1) pp. 104--113, 1990
34. J. Watrous, Quantum algorithms for solvable groups. STOC 2001, pp. 60--67.
35. D. J. A. Welsh, "The Computational Complexity of Some Classical Problems from Statistical Physics," Disorder in Physical Systems, Clarendon Press, Oxford, 1990, pp. 307--321.
36. E. Witten, Quantum field theory and the Jones polynomial. Comm. Math. Phys. 121 (1989), no. 3, 351--399.
37. F. Y. Wu, Knot Theory and statistical mechanics, Rev. Mod. Phys. 64, No. 4., October 1992

Index Terms

• Theory of computation

  • Design and analysis of algorithms