A Resource Estimation and Verification Workflow in Q#
Mathias Soeken, Mariia Mykhailova, Vadym Kliuchnikov, Christopher Granade and Alexander Vaschillo
Microsoft Quantum, Redmond, United States
ABSTRACT
An important branch in quantum computing involves accurate resource estimation to assess the cost of running a quantum algorithm on future quantum hardware. A comprehensive and self-contained workflow with the quantum program in its center allows programmers to build comprehensible and reproducible resource estimation projects. We show how to systematically create such workflows using the quantum programming language Q#. Our approach uses simulators for verification, debugging, and resource estimation, as well as rewrite steps for optimization.
