← Back to papers
Software science view on quantum circuit algorithms
Y. Gurevich, A. Blass·September 27, 2022·DOI: 10.48550/arXiv.2209.13731
Computer SciencePhysicsMathematics
AI Breakdown
Get a structured breakdown of this paper — what it's about, the core idea, and key takeaways for the field.
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.