Many quantum machine learning (QML) algorithms that claim speed-up over their classical counterparts only generate quantum states as solutions instead of their final classical description. The additional step to decode quantum states into classical vectors normally will destroy the quantum advantage in most scenarios because all existing tomographic methods require runtime that is polynomial with respect to the state dimension. In this Letter, we present an efficient readout protocol that yields the classical vector form of the generated state, so it will achieve the end-to-end advantage for those quantum algorithms. Our protocol suits the case that the output state lies in the row space of the input matrix, of rank
r, that is stored in the quantum random access memory. The quantum resources for decoding the state in
ℓ2-norm with
ϵ error require
poly(r,1/ϵ) copies of the output state and
poly(r,κr,1/ϵ) queries to the input oracles, where
κ is the condition number of the input matrix. With our read-out protocol, we completely characterise the end-to-end resources for quantum linear equation solvers and quantum singular value decomposition. One of our technical tools is an efficient quantum algorithm for performing the Gram-Schmidt orthonormal procedure, which we believe, will be of independent interest.
Along with the development of quantum technology, finding useful applications of quantum computers has been a central pursuit. Despite various quantum algorithms have been developed, many of them often require strong input assumptions, which is hardware demanding. In particular, recent advances on dequantization have revealed that the quantum advantage is more of a mere artifact of strong input assumptions. In this work, we propose a variant of these algorithms, leveraging both classical and quantum resources. Provided the classical knowledge (the entries) of the matrix/vector of interest, a classical procedure is used to pre-process this information. Then they are fed into a quantum circuit which is shown to be a block encoding of the matrix of interest. From this block-encoding, we show how to use it to tackle a wide range of problems, including principal component analysis, linear equation solving, Hamiltonian simulation, preparing ground state, and data fitting. We also analyze our protocol, showing that both the classical and quantum procedure can achieve logarithmic complexity in the input dimension, thus implying its potential for near term realization. We then discuss several implications and corollaries of our result. First,, our results suggest there are certain matrices/Hamiltonians where our method can provide exponential improvement compared to the existing ones with respect to the sparsity. Regarding dense linear systems, our method achieves exponential speed-up with respect to the inverse of error tolerance, compared to the best previously known quantum algorithm for dense systems. Last, and most importantly, regarding quantum data fitting, we show how the output of our quantum algorithms can be leveraged to predict unseen data. Thus, it provides an end-to-end application, which has been an open aspect of the previous quantum data fitting algorithm.
Vector set orthogonal normalization and matrix QR decomposition are fundamental problems in matrix analysis with important applications in many fields. We know that the Gram-Schmidt process is a widely used method to solve these two problems. However, existing methods, including the Gram-Schmidt process, have problems of high complexity, scaling
O(N3) in the system dimension
N, which leads to difficulties when calculating large-scale or ill-conditioned problems. With the development of quantum information processing, a series of quantum algorithms have been proposed, providing advantages and speedups over classical algorithms in many fields. In this paper we propose quantum algorithms to solve these two problems based on the idea of the Gram-Schmidt process and quantum phase estimation. The complexity of proposed quantum algorithms is theoretically and numerically analyzed. We find that our algorithms provide polynomial acceleration over the best-known quantum algorithms and a potential polynomial acceleration over the best-known classical algorithms on these two problems, scaling
O(N2poly(logN)) in the dimension
N of the system when ignoring the complexity of state readout or
O(N2poly(logN)) when considering the complexity of state readout.
Solving linear systems of equations is a frequently encountered problem in machine learning and optimization. Given a matrix
A and a vector
b the task is to find the vector
x such that
Ax=b. We describe a quantum algorithm that achieves a sparsity-independent runtime scaling of $\mathcal{O}\mathbf{(}{\ensuremath{\kappa}}^{2}\sqrt{n}\text{polylog}(n)/\ensuremath{\epsilon}\mathbf{)}$ for an $n\ifmmode\times\else\texttimes\fi{}n$ dimensional
A with bounded spectral norm, where $\ensuremath{\kappa}$ denotes the condition number of
A, and $\ensuremath{\epsilon}$ is the desired precision parameter. This amounts to a polynomial improvement over known quantum linear system algorithms when applied to dense matrices, and poses a new state of the art for solving dense linear systems on a quantum computer. Furthermore, an exponential improvement is achievable if the rank of
A is polylogarithmic in the matrix dimension. Our algorithm is built upon a singular value estimation subroutine, which makes use of a memory architecture that allows for efficient preparation of quantum states that correspond to the rows of
A and the vector of Euclidean norms of the rows of
A.
Demonstrating quantum advantage has been a pressing challenge in the field. Most claimed quantum speedups rely on a subroutine in which classical information can be accessed in a coherent quantum manner, which imposes a crucial constraint on the implementability of these quantum algorithms. It has even been shown that without such an access, the quantum computer cannot be stronger than the classical counterparts. Thus, whether a quantum computer can be useful for practical applications is still open. In this work, we develop several variants of quantum algorithms. Our key framework employs a classical preprocessing step and a quantum procedure to perform gradient descent. We then translate such algorithm into an algorithm for solving linear systems, performing least-square fitting, building a support vector machine, performing supervised cluster assignment, training neural network, and solving for ground-state/excited-state energy, performing principle component analysis, with end-to-end applications of quantum algorithms. The classical preprocessing and the quantum procedure of our framework are shown to have logarithmic complexity in the dimension of input data, and quantum coherent access to input data is not required. Thus, our framework suggests an alternatively efficient route for quantum computers to handle real-world problems.
Most quantum algorithms offering speedups over classical algorithms are based on the three techniques of phase estimation, amplitude estimation and Hamiltonian simulation. In spite of the linear algebraic nature of the postulates of quantum mechanics, until recent work by Lloyd and coauthors cite{LMR13, LMR13a, LMR13b} no quantum algorithms achieving speedups for linear algebra or machine learning had been proposed. A quantum machine learning algorithm must address three issues: encoding of classical data into a succinct quantum representation, processing the quantum representation and extraction of classically useful information from the processed quantum state. In this dissertation, we make progress on all three aspects of the quantum machine learning problem and obtain quantum algorithms for low rank approximation and regularized least squares. The oracle
QRAM, the standard model studied in quantum query complexity, requires time
O(sqrtn) to encode vectors
vinRn into quantum states. We propose simple hardware augmentations to the oracle
QRAM, that enable vectors
vinRn to be encoded in time
O(logn), with pre-processing. The augmented
QRAM incurs minimal hardware overheads, the pre-processing can be parallelized and is a flexible model that allows storage of multiple vectors and matrices. It provides a framework for designing quantum algorithms for linear algebra and machine learning. Using the augmented
QRAM for vector state preparation, we present two different algorithms for singular value estimation where given singular vector
ketv for
AinRmtimesn, the singular value
sigmai is estimated within additive error
epsilonnormAF. The first algorithm requires time
wt1/epsilon3 and uses the approach for simulating
e−irho in cite{LMR13}. However, the analysis cite{LMR13} does not establish the coherence of outputs, we provide a qualitatively different analysis that uses the quantum Zeno effect to establish coherence and reveals the probabilistic nature of the simulation technique. The second algorithm has a running time
wt1/epsilon and uses Jordan's lemma from linear algebra and the augmented
QRAM to implement reflections. We use quantum singular value estimation to obtain algorithms for low rank approximation by column selection, the algorithms are based on importance sampling from the leverage score distribution. We obtain quadratic speedups for a large class of linear algebra algorithms that rely on importance sampling from the leverage score distribution including approximate least squares and
CX and
CUR decompositions. Classical algorithms for these problems require time
O(mnlogn+poly(1/epsilon)), the quantum algorithms have running time
O(sqrtmpoly(1/epsilon,k,Delta)) where
k,Delta are the rank and spectral gap. The running time of the quantum
CX decomposition algorithm does not depend on
m, it is polynomial in problem parameters. We also provide quantum algorithms for
ell2 regularized regression problems, the quantum ridge regression algorithm requires time
wt1/mu2delta to output a quantum state that is
delta close to the solution, where
mu is the regularization parameter.