Title:Harrow-Hassidim-Lloyd algorithm without ancilla postselection

Abstract:Harrow-Hassidim-Lloyd algorithm (HHL) allows for the exponentially faster solution of a system of linear equations. However, this algorithm requires the postselection of an ancilla qubit to obtain the solution. This postselection makes the algorithm result probabilistic. Here we show conditions when the HHL algorithm can work without postselection of ancilla qubit. We derive expressions for expectation values for an observable $M$ on the HHL outcome state when ancilla qubit is measured in 0 and 1. When a commutator of an input matrix and an observable matrix is zero, the HHL algorithm can give correct expectation values for any outcome of ancilla measurement. We demonstrate this result on a toy 2 by 2 matrix example. We further provide more general examples of matrices $A$ and observables $M$, which allow the postselection-free running of the algorithm. Our work can improve the performance of the HHL-based algorithms.