1: \begin{abstract}

2: %Simulation of many-electron systems on quantum computers has a potentially exponential advantage over calculations on classical computers.  However, existing algorithms have limitations; variational quantum eigensolvers (VQE) are dependent upon approximate wave function ans{\"a}tze without a guaranteed convergence of the Schr{\"o}dinger equation while quantum phase estimation (QPE) algorithms are intractable on current hardware.  In this Article we show that we can design quantum algorithms that generate verifiably exact solutions of the many-electron Schr{\"o}dinger equation from its contraction over all electrons except two, known as the contracted Schr{\"o}dinger equation (CSE).  We only need two-body-based non-unitary transformations to solve the CSE, but because solutions of the CSE have a one-to-one correspondence with those of the Schr{\"o}dinger equation, these transformations provide an exact parametrization of the many-electron wave function.  Moreover, we find that the CSE's ansatz can be prepared at polynomial cost on quantum devices, and hence, provides a potentially exponential advantage over exact computations on classical devices.  Finally, because the satisfaction of the CSE can be tested by a single two-body transformation, we can employ the proposed algorithm to verify the exactness of solutions from not only the present algorithm but also any quantum algorithm.  To demonstrate, we solve molecular H$_{2}$ and H$_{4}$ on a superconducting-qubit quantum computer and a simulator, respectively.  The CSE algorithm, or contracted quantum eigensolver (CQE), has potential applications on NISQ as well as fault-tolerant computers for verifiably accurate but scalable molecular simulations.

3: %\end{abstract}

4: