The paper presents Qwerty, a new quantum programming language that aims to address the significant barrier to entry for programmers who have not yet built up an intuition about quantum gate semantics.
Key highlights:
Qwerty introduces a novel basis type that allows programmers to manipulate qubits at a higher level of abstraction than quantum gates. This includes basis literals, basis translations, and basis-aware measurement.
Qwerty embeds classical computation within quantum code, enabling programmers to express classical logic directly rather than having to implement it as low-level quantum gates.
Qwerty is designed as a Python domain-specific language (DSL), providing easy interoperability between Python and quantum code. This makes Qwerty a robust framework for mixed quantum-classical computation.
The paper demonstrates Qwerty's expressiveness by implementing several well-known quantum algorithms, including Deutsch-Jozsa, Bernstein-Vazirani, period finding, and Simon's algorithm. Qwerty code is shown to be more concise and intuitive compared to equivalent implementations in gate-oriented quantum programming languages.
Qwerty's basis type and classical embedding features are formally defined in the appendix, proving the soundness of the language's semantics and type system.
To Another Language
from source content
arxiv.org
Głębsze pytania