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 条
[1]   The BQP-hardness of approximating the Jones polynomial [J].
Aharonov, Dorit ;
Arad, Itai .
NEW JOURNAL OF PHYSICS, 2011, 13
[2]   RATIONALITY IN CONFORMAL FIELD-THEORY [J].
ANDERSON, G ;
MOORE, G .
COMMUNICATIONS IN MATHEMATICAL PHYSICS, 1988, 117 (03) :441-450
[3]  
[Anonymous], 2018, J. Appl. Comput. Topol, DOI DOI 10.1007/S41468-018-0016-2
[4]   Distance and bridge position [J].
Bachman, D ;
Schleimer, S .
PACIFIC JOURNAL OF MATHEMATICS, 2005, 219 (02) :221-235
[5]   Complexity classes as mathematical axioms II [J].
Cui, Shawn X. ;
Freedman, Michael H. ;
Wang, Zhenghan .
QUANTUM TOPOLOGY, 2016, 7 (01) :185-201
[6]  
Etingof P., 2002, ARXIV
[7]   The two-eigenvalue problem and density of Jones representation of braid groups [J].
Freedman, MH ;
Larsen, MJ ;
Wang, ZH .
COMMUNICATIONS IN MATHEMATICAL PHYSICS, 2002, 228 (01) :177-199
[8]   A modular functor which is universal for quantum computation [J].
Freedman, MH ;
Larsen, M ;
Wang, ZH .
COMMUNICATIONS IN MATHEMATICAL PHYSICS, 2002, 227 (03) :605-622
[9]   Simulation of topological field theories by quantum computers [J].
Freedman, MH ;
Kiataev, A ;
Wang, ZH .
COMMUNICATIONS IN MATHEMATICAL PHYSICS, 2002, 227 (03) :587-603
[10]   Complexity classes as mathematical axioms [J].
Freedman, Michael H. .
ANNALS OF MATHEMATICS, 2009, 170 (02) :995-1002