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 (*).

Basic quantum subroutines: finding multiple marked elements and summing numbers

Basic quantum subroutines: finding multiple marked elements and summing numbers

Quantum Amplitude Amplification and Estimation

Fast quantum integer multiplication with zero ancillas

Quantum Subroutine Composition

Complementary-multiphase Quantum Search for All Numbers of Target Items

Optimization of a Quantum Subset Sum Oracle

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

Efficient Implementation of a Quantum Search Algorithm for Arbitrary N

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

Quantum algorithms for spectral sums

Efficient quantum measurement of Pauli operators in the presence of finite sampling error

Asymptotically Optimal Quantum Amplitude Estimation by Generalized Qubitization

Quantum block lookahead adders and the wait for magic states

Shorter quantum circuits via single-qubit gate approximation

Spectral approach to quantum searching on the interpolated Markov chains: the complete bipartite graph

Revisiting fixed-point quantum search: proof of the quasi-Chebyshev lemma

Truncated phase-based quantum arithmetic: error propagation and resource reduction

Geometrical Picture for Quantum Searching

On converses to the polynomial method

A Feasible Design of Elementary Quantum Arithmetic Logic Units for Near-Term Quantum Computers