Microsoft

Large-Scale Algorithm Development

This student team worked to develop a large-scale algorithm in Q#. For this project, Microsoft took a state-of-the-art algorithm description from the literature (for example, in the field of quantum chemistry or quantum cryptanalysis). This student team worked to create a development specification which broke down the algorithm into sub components and helped to organize the project structure. For each component optimized or trade-off implementations were discussed, for example, different arithmetic building blocks. The student team also worked to contain a test plan in the development specification that described how the correctness of the operations can be guaranteed using the help of quantum simulators. This student team worked to analyze the overall algorithm using the Azure Quantum Resource Estimator to derive conclusions on the practical applicability of the algorithm in the presence of fault-tolerant quantum computers. The desired outcome this student team worked to achieve was a complete Q# implementation of the algorithm to be shared as an open source project with the quantum computing community. In addition, the student team worked to create a scientific report to shed light into interesting implementation decisions (based on the development specification) and the results of the resource estimation analysis.