DocumentCode :
2653507
Title :
A Strong Direct Product Theorem for Quantum Query Complexity
Author :
Lee, Troy ; Roland, Jérémie
fYear :
2012
fDate :
26-29 June 2012
Firstpage :
236
Lastpage :
246
Abstract :
We show that quantum query complexity satisfies a strong direct product theorem. This means that computing k copies of a function with less than k times the quantum queries needed to compute one copy of the function implies that the overall success probability will be exponentially small in k. For a boolean function f we also show an XOR lemma-computing the parity of k copies of f with less than k times the queries needed for one copy implies that the advantage over random guessing will be exponentially small. We do this by showing that the multiplicative adversary method, which inherently satisfies a strong direct product theorem, characterizes bounded-error quantum query complexity. In particular, we show that the multiplicative adversary bound is always at least as large as the additive adversary bound, which is known to characterize bounded-error quantum query complexity.
Keywords :
Boolean functions; computational complexity; probability; quantum computing; query processing; Boolean function; XOR lemma; additive adversary bound; bounded-error quantum query complexity; function copy computation; multiplicative adversary bound; multiplicative adversary method; overall success probability; strong direct product theorem; Additives; Boolean functions; Complexity theory; Probability distribution; Quantum computing; Quantum mechanics; Registers; XOR lemma; direct product theorem; quantum computing; query complexity;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computational Complexity (CCC), 2012 IEEE 27th Annual Conference on
Conference_Location :
Porto
ISSN :
1093-0159
Print_ISBN :
978-1-4673-1663-7
Type :
conf
DOI :
10.1109/CCC.2012.17
Filename :
6243400
Link To Document :
بازگشت