Topological Quantum Computation is Hyperbolic

被引:0
作者
Samperton, Eric [1 ]
机构
[1] Purdue Univ, Dept Math & Comp Sci, 150 N Univ St, W Lafayette, IN 47907 USA
基金
美国国家科学基金会;
关键词
JONES POLYNOMIALS; CLASSICAL CONJECTURES; COMPLEXITY CLASSES; KNOT; CLASSIFICATION; DISTANCE; SURFACES; VOLUME;
D O I
10.1007/s00220-023-04713-w
中图分类号
O4 [物理学];
学科分类号
0702 ;
摘要
We show that a topological quantum computer based on the evaluation of a Witten-Reshetikhin-Turaev TQFT invariant of knots can always be arranged so that the knot diagrams with which one computes are diagrams of hyperbolic knots. The diagrams can even be arranged to have additional nice properties, such as being alternating with minimal crossing number. Moreover, the reduction is polynomially uniform in the self-braiding exponent of the coloring object. Various complexity-theoretic hardness results regarding the calculation of quantum invariants of knots follow as corollaries. In particular, we argue that the hyperbolic geometry of knots is unlikely to be useful for topological quantum computation.
引用
收藏
页码:79 / 96
页数:18
相关论文
共 29 条
[11]  
Ham S.L., 2021, ARXIV
[12]   ON THE COMPUTATIONAL-COMPLEXITY OF THE JONES AND TUTTE POLYNOMIALS [J].
JAEGER, F ;
VERTIGAN, DL ;
WELSH, DJA .
MATHEMATICAL PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, 1990, 108 :35-53
[13]   Bridge distance and plat projections [J].
Johnson, Jesse ;
Moriah, Yoav .
Algebraic and Geometric Topology, 2016, 16 (06) :3361-3384
[14]  
KAUFFMAN LH, 1987, TOPOLOGY, V26, P395
[15]   A LINK INVARIANT FROM QUANTUM DILOGARITHM [J].
KSHAEV, RM .
MODERN PHYSICS LETTERS A, 1995, 10 (19) :1409-1418
[16]   How hard is it to approximate the jones polynomial? [J].
Kuperberg, Greg .
Theory of Computing, 2015, 11 :183-219
[17]   Coloring invariants of knots and links are often intractable [J].
Kuperberg, Greg ;
Samperton, Eric .
ALGEBRAIC AND GEOMETRIC TOPOLOGY, 2021, 21 (03) :1479-1510
[18]   The volume of hyperbolic alternating link complements [J].
Lackenby, M ;
Agol, I ;
Thurston, D .
PROCEEDINGS OF THE LONDON MATHEMATICAL SOCIETY, 2004, 88 :204-224
[19]   The computational complexity of knot genus in a fixed 3-manifold [J].
Lackenby, Marc ;
Yazdi, Mehdi .
PROCEEDINGS OF THE LONDON MATHEMATICAL SOCIETY, 2023, 126 (03) :837-879
[20]   THE CLASSIFICATION OF ALTERNATING LINKS [J].
MENASCO, W ;
THISTLETHWAITE, M .
ANNALS OF MATHEMATICS, 1993, 138 (01) :113-171