$Q|SI⟩$: A Quantum Programming Environment

Abstract

This paper describes a quantum programming environment, named $Q|SI⟩$. It is a platform embedded in the .Net language that supports quantum programming using a quantum extension of the $\mathbf{while}$-language. The framework of the platform includes a compiler of the quantum $\mathbf{while}$-language and a suite of tools for simulating quantum computation, optimizing quantum circuits, and analyzing and verifying quantum programs. Throughout the paper, using $Q|SI⟩$ to simulate quantum behaviors on classical platforms with a combination of components is demonstrated. The scalable framework allows the user to program customized functions on the platform. The compiler works as the core of $Q|SI⟩$ bridging the gap from quantum hardware to quantum software. The built-in decomposition algorithms enable the universal quantum computation on the present quantum hardware.

30 pages, software available at http://www.qcompiler.com

References in corpus (7)

• Elementary gates for quantum computation
• Quantum algorithm for solving linear systems of equations
• Synthesis of Quantum Logic Circuits
• Concrete Categorical Model of a Quantum Circuit Description Language with Measurement
• ScaffCC: Scalable Compilation and Analysis of Quantum Programs
• qHiPSTER: The Quantum High Performance Software Testing Environment
• A Theorem Prover for Quantum Hoare Logic and Its Applications

Cited by in corpus (2)

• Strawberry Fields: A Software Platform for Photonic Quantum Computing
• Validating Quantum-Classical Programming Models with Tensor Network Simulations