Approximate counting and quantum computation

被引:28
作者
Bordewich, M
Freedman, M
Lovász, L
Welsh, D
机构
[1] Univ Oxford, Inst Math, Oxford, England
[2] Microsoft Res, Redmond, WA 98052 USA
关键词
D O I
10.1017/S0963548305007005
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Motivated by the result that an 'approximate' evaluation of the Jones polynomial of a braid at a 5th root of unity can be used to simulate the quantum part of any algorithm in the quantum complexity class BQP, and results relating BQP to the counting class GapP, we introduce a form of additive approximation which can be used to simulate a function in BQP. We show that all functions in the classes #P and GapP have such an approximation scheme under certain natural normalizations. However, we are unable to determine whether the particular functions we are motivated by, such as the above evaluation of the Jones polynomial, can be approximated in this way. We close with some open problems motivated by this work.
引用
收藏
页码:737 / 754
页数:18
相关论文
共 19 条
[1]   Quantum computability [J].
Adleman, LM ;
Demarrais, J ;
Huang, MDA .
SIAM JOURNAL ON COMPUTING, 1997, 26 (05) :1524-1540
[2]  
BORDEWICH M, 2003, THESIS OXFORD U NEW
[3]   PP-lowness and a simple definition of AWPP [J].
Fenner, SA .
THEORY OF COMPUTING SYSTEMS, 2003, 36 (02) :199-212
[4]  
Fortnow L, 1999, J COMPUT SYST SCI, V59, P240, DOI 10.1006/jess.1999.1651
[5]  
Freedman MH, 2003, B AM MATH SOC, V40, P31
[6]   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
[7]   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
[8]   Simulation of topological field theories by quantum computers [J].
Freedman, MH ;
Kiataev, A ;
Wang, ZH .
COMMUNICATIONS IN MATHEMATICAL PHYSICS, 2002, 227 (03) :587-603
[9]  
Jackson B., 1993, COMB PROBAB COMPUT, V2, P325, DOI DOI 10.1017/S0963548300000705
[10]   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