Qwerty: A Basis-Oriented Quantum Programming Language

TL;DR

Qwerty is a high-level quantum programming language designed to simplify quantum algorithm development by providing basis-oriented abstractions and seamless Python integration, reducing the need for low-level quantum gate reasoning.

Contribution

The paper introduces Qwerty, a novel quantum programming language that offers basis-oriented abstractions and improved usability over existing low-level quantum languages.

Findings

Enables manipulation of qubits at a higher level than gates

Allows tracing of quantum programs without bra-ket notation

Interoperates easily with Python for quantum-classical computation

Abstract

Quantum computers have leaped from the theoretical realm into a race to large-scale implementations. This is due to the promise of revolutionary speedups, where achieving such speedup requires designing an algorithm that harnesses the structure of a problem using quantum mechanics. Yet many quantum programming languages today require programmers to reason at a low level of physics notation and quantum gate circuitry. This presents a significant barrier to entry for programmers who have not yet built up an intuition about quantum gate semantics, and it can prove to be tedious even for those who have. In this paper, we present Qwerty, a new quantum programming language that allows programmers to manipulate qubits more expressively than gates and trace programs without bra-ket notation. Due to its novel basis type and easy interoperability with Python, Qwerty is a powerful framework for high-level quantum-classical computation.