Abstract:It is well known that quantum, randomized and deterministic (sequential) query complexities are polynomially related for total boolean functions. We find that significantly larger separations between the parallel generalizations of these measures are possible. In particular, (1) We employ the cheatsheet framework to obtain an unbounded parallel quantum query advantage over its randomized analogue for a total function, falsifying a conjecture of Jeffery et al. 2017 (<a class="link-https" data-arxiv-id="1309.6116" href="https://arxiv.org/abs/1309.6116">arXiv:1309.6116</a>). (2) We strengthen (1) by constructing a total function which exhibits an unbounded parallel quantum query advantage despite having no sequential advantage, suggesting that genuine quantum advantage could occur entirely due to parallelism. (3) We construct a total function that exhibits a polynomial separation between 2-round quantum and randomized query complexities, contrasting a result of Montanaro in 2010 (<a class="link-https" data-arxiv-id="1001.0018" href="https://arxiv.org/abs/1001.0018">arXiv:1001.0018</a>) that there is at most a constant separation for 1-round (nonadaptive) algorithms. (4) We develop a new technique for deriving parallel quantum lower bounds from sequential upper bounds. We employ this technique to give lower bounds for Boolean symmetric functions and read-once formulas, ruling out large parallel query advantages for them. We also provide separations between randomized and deterministic parallel query complexities analogous to items (1)-(3).

Randomized decision tree complexity of Deutsch–Jozsa problem and a generalization

Revisiting Deutsch-Jozsa algorithm

Quantum Algorithm for Generalized Deutsch-Jozsa Problem

Optimal Direct Sum Results for Deterministic and Randomized Decision Tree Complexity

Complexity-Theoretic Limitations on Quantum Algorithms for Topological Data Analysis

Time and Query Optimal Quantum Algorithms Based on Decision Trees

Graph Entropy and Quantum Sorting Problems.

Derandomization of quantum algorithm for triangle finding

A quantum algorithm for solving 0-1 Knapsack problems

Polynomial representation of general partial Boolean functions with a single quantum query

Aaronson-Ambainis Conjecture Is True For Random Restrictions

Distributed exact quantum algorithms for Deutsch-Jozsa problem

Graph Properties and Circular Functions: How Low Can Quantum Query Complexity Go?

Quantum Algorithm for Optimization and Polynomial System Solving over Finite Field and Application to Cryptanalysis

Adiabatic Quantum Computation and Deutsch's Algorithm

Exponential Complexity of the Quantum Adiabatic Algorithm for certain Satisfiability Problems

Practical, optimal preparation of general quantum state with exponentially improved robustness

Recovering the original simplicity: succinct and deterministic quantum algorithm for the welded tree problem

Quantum advantage and lower bounds in parallel query complexity

An in-principle super-polynomial quantum advantage for approximating combinatorial optimization problems via computational learning theory

Unconditional correctness of recent quantum algorithms for factoring and computing discrete logarithms