TY - JOUR
T1 - Quantum property testing for bounded-degree graphs
JF - Proc. RANDOM
Y1 - 2010
A1 - Andris Ambainis
A1 - Andrew M. Childs
A1 - Yi-Kai Liu
AB - We study quantum algorithms for testing bipartiteness and expansion of bounded-degree graphs. We give quantum algorithms that solve these problems in time O(N^(1/3)), beating the Omega(sqrt(N)) classical lower bound. For testing expansion, we also prove an Omega(N^(1/4)) quantum query lower bound, thus ruling out the possibility of an exponential quantum speedup. Our quantum algorithms follow from a combination of classical property testing techniques due to Goldreich and Ron, derandomization, and the quantum algorithm for element distinctness. The quantum lower bound is obtained by the polynomial method, using novel algebraic techniques and combinatorial analysis to accommodate the graph structure.
U4 - 365-376
UR - http://arxiv.org/abs/1012.3174v3
J1 - Proceedings of RANDOM 2011
U5 - 10.1007/978-3-642-22935-0_31
ER -
TY - JOUR
T1 - The quantum query complexity of certification
Y1 - 2009
A1 - Andris Ambainis
A1 - Andrew M. Childs
A1 - François Le Gall
A1 - Seiichiro Tani
AB - We study the quantum query complexity of finding a certificate for a d-regular, k-level balanced NAND formula. Up to logarithmic factors, we show that the query complexity is Theta(d^{(k+1)/2}) for 0-certificates, and Theta(d^{k/2}) for 1-certificates. In particular, this shows that the zero-error quantum query complexity of evaluating such formulas is O(d^{(k+1)/2}) (again neglecting a logarithmic factor). Our lower bound relies on the fact that the quantum adversary method obeys a direct sum theorem.
UR - http://arxiv.org/abs/0903.1291v2
J1 - Quantum Information and Computation 10
ER -