Abstract:An important tool in algorithm design is the ability to build algorithms from other algorithms that run as subroutines. In the case of quantum algorithms, a subroutine may be called on a superposition of different inputs, which complicates things. For example, a classical algorithm that calls a subroutine $Q$ times, where the average probability of querying the subroutine on input $i$ is $p_i$, and the cost of the subroutine on input $i$ is $T_i$, incurs expected cost $Q\sum_i p_i E[T_i]$ from all subroutine queries. While this statement is obvious for classical algorithms, for quantum algorithms, it is much less so, since naively, if we run a quantum subroutine on a superposition of inputs, we need to wait for all branches of the superposition to terminate before we can apply the next operation. We nonetheless show an analogous quantum statement (*): If $q_i$ is the average query weight on $i$ over all queries, the cost from all quantum subroutine queries is $Q\sum_i q_i E[T_i]$. Here the query weight on $i$ for a particular query is the probability of measuring $i$ in the input register if we were to measure right before the query. We prove this result using the technique of multidimensional quantum walks, recently introduced in <a class="link-https" data-arxiv-id="2208.13492" href="https://arxiv.org/abs/2208.13492">arXiv:2208.13492</a>. We present a more general version of their quantum walk edge composition result, which yields variable-time quantum walks, generalizing variable-time quantum search, by, for example, replacing the update cost with $\sqrt{\sum_{u,v}\pi_u P_{u,v} E[T_{u,v}^2]}$, where $T_{u,v}$ is the cost to move from vertex $u$ to vertex $v$. The same technique that allows us to compose quantum subroutines in quantum walks can also be used to compose in any quantum algorithm, which is how we prove (*).

Derandomization of quantum algorithm for triangle finding

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

Randomized Algorithms and Lower Bounds for Quantum Simulation

Quantum algorithm for approximating the expected value of a random-exist quantified oracle

Halving the Cost of Quantum Algorithms with Randomization

Quantum Speedup for Some Geometric 3SUM-Hard Problems and Beyond

Quantum algorithms for spectral sums

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

Quantum algorithms for hypergraph simplex finding

Time and Query Optimal Quantum Algorithms Based on Decision Trees

Toward Computing Bounds for Ramsey Numbers Using Quantum Annealing

New quantum algorithms and quantum lower bounds

Faster Quantum Algorithms with "Fractional''-Truncated Series

Quantum Algorithm for Unsupervised Anomaly Detection

Quantum Subroutine Composition

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

Quantum advantage and lower bounds in parallel query complexity

On the approximability of random-hypergraph MAX-3-XORSAT problems with quantum algorithms

Distributed Quantum Advantage for Local Problems