eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Leibniz International Proceedings in Informatics
1868-8969
2023-08-30
36:1
36:19
10.4230/LIPIcs.ESA.2023.36
article
Robust and Space-Efficient Dual Adversary Quantum Query Algorithms
Czekanski, Michael
1
Kimmel, Shelby
2
Witter, R. Teal
3
Department of Statistics and Data Science, Cornell University, Ithaca, NY, USA
Department of Computer Science, Middlebury College, VT, USA
Department of Computer Science and Engineering, New York University, Brooklyn, NY, USA
The general adversary dual is a powerful tool in quantum computing because it gives a query-optimal bounded-error quantum algorithm for deciding any Boolean function. Unfortunately, the algorithm uses linear qubits in the worst case, and only works if the constraints of the general adversary dual are exactly satisfied. The challenge of improving the algorithm is that it is brittle to arbitrarily small errors since it relies on a reflection over a span of vectors. We overcome this challenge and build a robust dual adversary algorithm that can handle approximately satisfied constraints. As one application of our robust algorithm, we prove that for any Boolean function with polynomially many 1-valued inputs (or in fact a slightly weaker condition) there is a query-optimal algorithm that uses logarithmic qubits. As another application, we prove that numerically derived, approximate solutions to the general adversary dual give a bounded-error quantum algorithm under certain conditions. Further, we show that these conditions empirically hold with reasonable iterations for Boolean functions with small domains. We also develop several tools that may be of independent interest, including a robust approximate spectral gap lemma, a method to compress a general adversary dual solution using the Johnson-Lindenstrauss lemma, and open-source code to find solutions to the general adversary dual.
https://drops.dagstuhl.de/storage/00lipics/lipics-vol274-esa2023/LIPIcs.ESA.2023.36/LIPIcs.ESA.2023.36.pdf
Quantum Computing
Robust Quantum Algorithms
Johnson-Lindenstrauss Lemma
Span Programs
Query Complexity
Space Complexity