HHL algorithm

The Harrow–Hassidim–Lloyd (HHL) algorithm is a quantum algorithm for obtaining certain limited information about the solution to a system of linear equations, introduced by Aram Harrow, Avinatan Hassidim, and Seth Lloyd. Specifically, the algorithm estimates quadratic functions of the solution vector to a given system.

The algorithm is one of the main fundamental algorithms expected to provide a speedup over their classical counterparts, along with Shor's factoring algorithm and Grover's search algorithm. Assuming the system is sparse, has a low condition number $\kappa$, and that the user is only interested in certain information about solution vector and not the entire vector itself, the algorithm has a runtime of $O(\log (N){\kappa }^2)$, where $N$ is the number of variables. This offers an exponential speedup over the fastest classical algorithm, which runs in $O(N\kappa )$ (or $O(N\sqrt{\kappa })$ for positive semidefinite matrices).

An implementation of the HHL algorithm was first demonstrated in 2013 by three independent publications, consisting of simple systems on specially designed devices. The first demonstration of a general-purpose version of the algorithm appeared in 2018.

Overview

Given an $N\times N$ Hermitian matrix $A$ and unit vector $\overrightarrow{b}\in {ℝ}^N$, the HHL algorithms prepares the quantum state $|x⟩$ whose amplitudes are the entries of the solution $\overrightarrow{x}\in {ℝ}^N$ to the linear system $A\overrightarrow{x}=\overrightarrow{b}$. The algorithm cannot efficiently output the solution x itself, but allows one to efficiently estimate ${\overrightarrow{x}}^{T}M\overrightarrow{x}$ for a Hermitian matrix $M$.

The algorithm first prepares the quantum state $|b⟩$ whose amplitudes are equal to the entries of $\overrightarrow{b}$. Using Hamiltonian simulation, the unitary operator $e^{iAt}$ is applied to $|b⟩$ for a superposition of different times t. The algorithm then uses quantum phase estimation to decompose $|b⟩$ in the eigenbasis of $A$ and find the corresponding eigenvalues ${\lambda }_j$. The state of the system after this step is approximately

$\sum _{j=1}^N{\beta }_j|u_j⟩|{\lambda }_j⟩,$

where $u_j$ are the eigenvectors of A and ${\beta }_j$ is the j-th coefficient of b in the eigenbasis of A.

We would then like to apply the linear map taking $|{\lambda }_j⟩$ to $C{\lambda }_j^{-1}|{\lambda }_j⟩$ for some constant C. This map is not unitary and must be implemented using a quantum measurement with a nonzero probability of failure. After it succeeds, we have uncomputed the $|{\lambda }_j⟩$ register and have a state proportional to

$\sum _{i=1}^N{\beta }_i{\lambda }_j^{-1}|u_j⟩=A^{-1}|b⟩=|x⟩.$

By performing the quantum measurement corresponding to M, we get an estimate of ${\overrightarrow{x}}^{T}M\overrightarrow{x}$. One could use quantum tomography to retrieve all components of x, but this would require repeating the algorithm roughly N times.

Detailed description

Assumptions and initialization

The algorithm requires the following assumptions to hold:

1. The algorithm requires A to be Hermitian so that it can be exponentiated into a unitary operator. If A is not Hermitian, one can define a Hermitian matrix $𝐂=\left[\begin{array}{cc}0& A\\ A^{†}& 0\end{array}\right]$ and solve $Cy=\left[\begin{array}{c}b\\ 0\end{array}\right]$ to obtain $y=\left[\begin{array}{c}0\\ x\end{array}\right]$.
2. The algorithm requires an efficient procedure to prepare $|b⟩$. It is assumed that either $|b⟩$ has already been prepared or there exists some B which takes some quantum state $|\mathrm{i}\mathrm{n}\mathrm{i}\mathrm{t}\mathrm{i}\mathrm{a}\mathrm{l}⟩$ to $|b⟩$ efficiently. Any error in the preparation of $|b⟩$ is ignored.
3. The algorithm assumes that the state $|{\psi }_0⟩$ can be prepared efficiently, where $|{\psi }_0⟩:=\sqrt{2/T}\sum _{\tau =0}^{T-1}\sin \pi \left(\frac{\tau +\frac{1}{2}}{T}\right)|\tau ⟩$ for some large T. The coefficients of $|{\psi }_0⟩$ are chosen to minimize a certain quadratic loss function which induces error in the $U_{\mathrm{i}\mathrm{n}\mathrm{v}\mathrm{e}\mathrm{r}\mathrm{t}}$ subroutine described below.
4. The algorithm assumes that the unitary operator $e^{iAt}$ can be applied efficiently. This is possible using Hamiltonian simulation if A is s-sparse and efficiently row computable, meaning it has at most s nonzero entries per row which can be computed in time O(s) given a row index. One can then apply $e^{iAt}$ in time $O(\log (N)s^{2}t)$.

U_invert subroutine

The key subroutine to the algorithm, denoted $U_{\mathrm{i}\mathrm{n}\mathrm{v}\mathrm{e}\mathrm{r}\mathrm{t}}$, is defined as follows using phase estimation:

1. Prepare $|{\psi }_0{⟩}^C$ on register C
2. Apply the conditional Hamiltonian evolution (sum)
3. Apply the Fourier transform to the register C. Denote the resulting basis states with $|k⟩$ for k = 0, ..., T − 1. Define ${\lambda }_k:=2\pi k/t_0$.
4. Adjoin a three-dimensional register S in the state

$|h({\lambda }_k){⟩}^S:=\sqrt{1-f({\lambda }_k{)}^2-g({\lambda }_k{)}^2}|\mathrm{n}\mathrm{o}\mathrm{t}\mathrm{h}\mathrm{i}\mathrm{n}\mathrm{g}{⟩}^S+f({\lambda }_k)|\mathrm{w}\mathrm{e}\mathrm{l}\mathrm{l}{⟩}^S+g({\lambda }_k)|\mathrm{i}\mathrm{l}\mathrm{l}{⟩}^S,$

1. Reverse steps 1–3, uncomputing any garbage produced along the way.

The phase estimation procedure in steps 1-3 estimates the eigenvalues of A up to error $ϵ$.

The ancilla register in step 4 is needed to construct a state with inverted eigenvalues corresponding to the diagonalized inverse of A. The states 'nothing', 'well' and 'ill' are used to direct the loop body; 'nothing' indicates that the matrix inversion has not yet taken place, 'well' indicates that it has and the loop should halt, and 'ill' indicates that part of $|b⟩$ is in the ill-conditioned subspace of A and the algorithm cannot produce the desired inversion. Producing a state proportional to the inverse of A requires 'well' to be measured, after which the overall state collapses to the desired output.

Main loop

The main loop follows amplitude amplification: starting with $U_{\mathrm{i}\mathrm{n}\mathrm{v}\mathrm{e}\mathrm{r}\mathrm{t}}B|\mathrm{i}\mathrm{n}\mathrm{i}\mathrm{t}\mathrm{i}\mathrm{a}\mathrm{l}⟩$, repeatedly apply

$U_{\mathrm{i}\mathrm{n}\mathrm{v}\mathrm{e}\mathrm{r}\mathrm{t}}B(I-2|\mathrm{i}\mathrm{n}\mathrm{i}\mathrm{t}\mathrm{i}\mathrm{a}\mathrm{l}⟩⟨\mathrm{i}\mathrm{n}\mathrm{i}\mathrm{t}\mathrm{i}\mathrm{a}\mathrm{l}|)B^{†}{U}_{\mathrm{i}\mathrm{n}\mathrm{v}\mathrm{e}\mathrm{r}\mathrm{t}}^{†}(I-2|\mathrm{w}\mathrm{e}\mathrm{l}\mathrm{l}⟩⟨\mathrm{w}\mathrm{e}\mathrm{l}\mathrm{l}|).$

After each iteration, $S$ is measured and will produce a value of 'nothing', 'well', or 'ill.' The loop is repeated until 'well' is measured, which occurs with some probability $p$. Using amplitude amplification achieves a given error using $O(1/\sqrt{p})$ queries, as opposed to $1/p$ using naive repetition.

After successfully measuring 'well' on $S$ the system will be in a state proportional to

$\sum _{i=1}^N{\beta }_i{\lambda }_j^{-1}|u_j⟩=A^{-1}|b⟩=|x⟩.$

The quantum measurement corresponding to M then gives an estimate of ${\overrightarrow{x}}^{T}M\overrightarrow{x}$.

Analysis

Classical efficiency

The best classical algorithm which produces the actual solution vector $\overrightarrow{x}$ is Gaussian elimination, which runs in $O(N^3)$ time.

If A is s-sparse and positive semi-definite, then the Conjugate Gradient method can be used to find the solution vector $\overrightarrow{x}$, which can be found in $O(Ns\kappa )$ time by minimizing the quadratic function $\Vert A\overrightarrow{x}-\overrightarrow{b}{\Vert }^2$.

When only a summary statistic of the solution vector $\overrightarrow{x}$ is needed, as is the case for the quantum algorithm for linear systems of equations, a classical computer can find an estimate of ${\overrightarrow{x}}^{†}M\overrightarrow{x}$ in $O(N\sqrt{\kappa })$.

Quantum efficiency

The runtime of the quantum algorithm for solving systems of linear equations originally proposed by Harrow et al. was shown to be $O({\kappa }^2\log N/\epsilon )$, where $\epsilon >0$ is the error parameter and $\kappa$ is the condition number of $A$. This was subsequently improved to $O(\kappa {\log }^3\kappa \log N/{\epsilon }^3)$ by Andris Ambainis and to $O(\kappa \log N/\epsilon )$ for large condition number cases by Peniel Tsemo et al, and a quantum algorithm with runtime polynomial in $\log (1/\epsilon )$ was developed by Childs et al. Since the HHL algorithm maintains its logarithmic scaling in $N$ only for sparse or low rank matrices, Wossnig et al. extended the HHL algorithm based on a quantum singular value estimation technique and provided a linear system algorithm for dense matrices which runs in $O(\sqrt{N}\log N{\kappa }^2)$ time compared to the $O(N\log N{\kappa }^2)$ of the standard HHL algorithm.

Optimality

The performance of the matrix inversion algorithm depends on the condition number $\kappa$ of A, which is the ratio of the largest and smallest eigenvalues. As $\kappa$ increases A becomes closer to non-invertible, so the solution vector becomes less stable and the performance of gradient descent methods decreases. The HHL algorithm assumes that all singular values of $A$ lie in $[1/\kappa ,1]$, in which case the runtime is proportional to ${\kappa }^2$, improving the speedup further when $\kappa$ is $\mathrm{p}\mathrm{o}\mathrm{l}\mathrm{y}(\log (N))$.

A quantum algorithm for linear systems with poly-logarithmic runtime in $\kappa$ would imply that BQP is equal to PSPACE, which is believed to be false.

Error analysis

The dominant source of error is the application of $e^{iAt}$ using Hamiltonian simulation. If $A$ is s-sparse this can be done with error bounded by some constant $\epsilon$, which will result in an additive error in the output state $|x⟩$.

The phase estimation step errs by $O(1/t_0)$ in estimating $\lambda$, which results in a relative error of $O((\lambda t_0{)}^{-1})$ in $1/\lambda$. If $\lambda \ge 1/\kappa$, taking $t_0=O(\kappa \epsilon )$ induces a final error of $\epsilon$. This requires the overall runtime to be increased proportional to $O(1/\epsilon )$ in order to minimize error.

Experimental realization

While a general-purpose quantum computer does not yet exist, one can still try to execute a proof of concept implementation of the HHL algorithm. This remained a challenge for years, until three groups independently did so in 2013.

On February 5, 2013, a group led by Stefanie Barz reported an implementation of the HHL algorithm on a photonic quantum computer. The implementation used two consecutive entangling gates on the same pair of polarization-encoded qubits. Two separately controlled NOT gates were realized where the successful operation of the first was heralded by a measurement of two ancillary photons. Experimental measurements of the fidelity in the obtained output state ranged from 64.7% to 98.1% due to the influence of higher-order emissions from spontaneous parametric down-conversion.

On February 8, 2013, Pan et al. reported a proof-of-concept experimental demonstration of the quantum algorithm using a 4-qubit NMR quantum computer. The implementation was tested using linear systems of 2 variables. Across three experiments, the solution vector was obtained with over 96% fidelity.

On February 18, 2013, Cai et al. reported an experimental demonstration solving 2-by-2 linear systems. The quantum circuit was optimized and compiled into a linear optical network with four photonic qubits and four controlled logic gates, which were used to coherently implement the subroutines of the HHL algorithm. For various input vectors, the realization gave solutions with fidelities ranging from 0.825 to 0.993.

Another experimental demonstration using NMR for solving an 8*8 system was reported by Wen et al. in 2018 using the algorithm developed by Subaşı et al.

Proposed applications

Several concrete applications of the HHL algorithm have been proposed, which analyze the algorithm's input assumptions and output guarantees for particular problems.

Electromagnetic scattering

Clader et al. gave a version of the HHL algorithm which allows a preconditioner to be included, which can be used improve the dependence on the condition number. The algorithm was applied to solving for the radar cross-section of a complex shape, which was one of the first examples of an application of the HHL algorithm to a concrete problem.

Solving linear differential equations

Berry proposed an algorithm for solving linear, time-dependent initial value problems using the HHL algorithm.

Solving nonlinear differential equations

Two groups proposed efficient algorithms for numerically integrating dissipative nonlinear ordinary differential equations. Liu et al. utilized Carleman linearization for second order equations and Lloyd et al. used a mean field linearization method inspired by the nonlinear Schrödinger equation for general order nonlinearities. The resulting linear equations are solved using quantum algorithms for linear differential equations.

Finite element method

The finite element method approximates linear partial differential equations using large systems of linear equations. Montanaro and Pallister demonstrate that the HHL algorithm can achieve a polynomial quantum speedup for the resulting linear systems. Exponential speedups are not expected for problems in a fixed dimension or for which the solution meets certain smoothness conditions, such as certain high-order problems in many-body dynamics, or some problems in computational finance.

Least-squares fitting

Wiebe et al. gave a quantum algorithm to determine the quality of a least-squares fit. The optimal coefficients cannot be calculated directly from the output of the quantum algorithm, but the algorithm still outputs the optimal least-squares error.

Machine learning

Main article: Quantum machine learning

Many quantum machine learning algorithms have been developed, a large number of which use the HHL algorithm as a subroutine. The runtime of certain classical algorithms is often polynomial in the size and dimension of a dataset, while the HHL algorithm can give an exponential speedup in some cases. However, a line work initiated by Ewin Tang has found that for most quantum machine learning algorithms, there are classical algorithms giving the same exponential speedups with similar input assumptions.

Finance

Proposals for using HHL in finance include solving partial differential equations for the Black–Scholes equation and determining portfolio optimization via a Markowitz solution.

Quantum chemistry

The linearized coupled cluster method in quantum chemistry can be recast as a system of linear equations. In 2023, Baskaran et al. proposed the use of HHL algorithm to solve the resulting linear systems. The number of state register qubits in the quantum algorithm is the logarithm of the number of excitations, offering an exponential reduction in the number of required qubits when compared to using the variational quantum eigensolver or quantum phase estimation.

Implementation difficulties

Recognizing the importance of the HHL algorithm in the field of quantum machine learning, Scott Aaronson analyzes the caveats and factors that could limit the actual quantum advantage of the algorithm.

1. the solution vector, $|b⟩$, has to be efficiently prepared in the quantum state. If the vector is not close to uniform, the state preparation is likely to be costly, and if it takes $O(n^c)$ steps the exponential advantage of HHL would vanish.
2. the QPE phases calls for the generation of the unitary $e^{iAt}$, and its controlled application. The efficiency of this step depends on the $A$ matrix being sparse and 'well conditioned' (low $\kappa$). Otherwise, the application of $e^{iAt}$ would grow as $O(n^c)$ and once again, the algorithm's quantum advantage would vanish.
3. lastly, the vector, $|x⟩$, is not readily accessible. The HHL algorithm enables learning a 'summary' of the vector, namely the result of measuring the expectation of an operator $⟨x|M|x⟩$. If actual values of $\overrightarrow{x}$ are needed, then HHL would need to be repeated $O(n)$ times, killing the exponential speed-up. However, three ways of avoiding getting the actual values have been proposed: first, if only some properties of the solution are needed; second, if the results are needed only to feed downstream matrix operations; third, if only a sample of the solution is needed.

See also

• Differentiable programming