Lower bounds for randomized and quantum query complexity using Kolmogorov arguments

被引:16
作者
Laplante, Sophie [1 ]
Magniez, Frederic [1 ]
机构
[1] Univ Paris 11, CNRS, LRI, F-91405 Orsay, France
关键词
quantum computing; lower bounds; query complexity; adversary method; Kolmogorov complexity;
D O I
10.1137/050639090
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We prove a very general lower bound technique for quantum and randomized query complexity that is easy to prove as well as to apply. To achieve this, we introduce the use of Kolmogorov complexity to query complexity. Our technique generalizes the weighted and unweighted methods of Ambainis and the spectral method of Barnum, Saks, and Szegedy. As an immediate consequence of our main theorem, it can be shown that adversary methods can only prove lower bounds for Boolean functions f in O(min(root nC(0)(f), root nC(1)(f))), where C-0, C-1 is the certificate complexity and n is the size of the input.
引用
收藏
页码:46 / 62
页数:17
相关论文
共 22 条
[1]   Lower bounds for local search by quantum arguments [J].
Aaronson, S .
SIAM JOURNAL ON COMPUTING, 2006, 35 (04) :804-824
[2]   Polynomial degree vs. quantum query complexity [J].
Ambainis, A .
44TH ANNUAL IEEE SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS, 2003, :230-239
[3]   Quantum lower bounds by quantum arguments [J].
Ambainis, A .
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2002, 64 (04) :750-767
[4]   Stronger separations for random-self-reducibility, rounds, and advice [J].
Babai, L ;
Laplante, S .
FOURTEENTH ANNUAL IEEE CONFERENCE ON COMPUTATIONAL COMPLEXITY, PROCEEDINGS, 1999, :98-104
[5]   A lower bound on the quantum query complexity of read-once functions [J].
Barnum, H ;
Saks, M .
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2004, 69 (02) :244-258
[6]   Quantum query complexity and semi-definite programming [J].
Barnum, H ;
Saks, M ;
Szegedy, M .
18TH IEEE ANNUAL CONFERENCE ON COMPUTATIONAL COMPLEXITY, PROCEEDINGS, 2003, :179-193
[7]   Quantum lower bounds by polynomials [J].
Beals, R ;
Buhrman, H ;
Cleve, R ;
Mosca, M ;
De Wolf, R .
JOURNAL OF THE ACM, 2001, 48 (04) :778-797
[8]   Quantum complexity theory [J].
Bernstein, E ;
Vazirani, U .
SIAM JOURNAL ON COMPUTING, 1997, 26 (05) :1411-1473
[9]  
Chi-Chih Yao A., 1977, 18th Annual Symposium on Foundations of Computer Science, P222
[10]  
Cover T.M., 2006, ELEMENTS INFORM THEO, V2nd, DOI [DOI 10.1002/0471200611, 10.1002/0471200611]