Latest Results and News

Behavior of Analog Quantum Algorithms

Feedback-based quantum optimization

We have shown the electronic structure problem is QMA-hard without magnetic field but restricted to a fixed orbital basis. Our main result shows consider electronic structure Hamiltonians restricted to a fixed number of electrons and projected into a fixed single-particle basis. We conclusively demonstrate that these properties do not add enough structure to enable the…

We develop a digital quantum algorithm that simulates interaction with an environment using a small number of ancilla qubits. By combining periodic modulation of the ancilla energies, or spectral combing, with periodic reset operations, we are able to mimic interaction with a large environment and generate thermal states of interacting many-body systems.  Modeling the dynamics…

We propose a novel error mitigation method that exponentially  suppresses errors with a fixed number of qubits. Our method is feasible for the quantum advantage regime. Error mitigation will be necessary for practical quantum advantage. Most error mitigation methods do not provide exponential suppression of errors. An exception is virtual distillation, but its large qubit…

Improved strong simulation of qubit quantum circuits

We introduce Prove-It, a Python-based general-purpose interactive theorem-proving assistant designed with the goal of making formal theorem proving as easy and natural as informal theorem proving. Prove-It uses a highly-flexible Jupyter notebook-based user interface that documents interactions and proof steps using LaTeX. Prove-It is a theorem-proving assistant that is designed with flexibility and expressivity in…