Year: 2022
Type: preprint
Abstract: We show that, on the abstraction level of quantum circuit diagrams, quantum circuit algorithms belong to the species of interactive sequential algorithms that we studied in earlier work. This observation leads to a natural specification language for quantum circuit algorithms.
Source: arXiv (Cornell University)
Authors: Gurevich, Yuri, Blass, Andreas
Institution: University of Michigan
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
Funder: Army Research Office
Awards: G2169783767, G7452299184
OpenAlex ID: W4298051639
