Software science view on quantum circuit algorithms

2022/09/27 by Gurevich, Yuri, Blass, Andreas · 1 citation
#FOS: Computer and information sciences #FOS: Physical sciences #Logic in Computer Science (cs.LO) #Mathematical Physics (math-ph) #Quantum Physics (quant-ph) #Software Engineering (cs.SE)

paper · doi:10.48550/arxiv.2209.13731

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.

Cited by

• Basic interactive algorithms: Preview

Related

• Quantum abstract machines without circuits: the need for higher algorithmic expressiveness
• QuECT: A New Quantum Programming Paradigm
• Quantum Circuit Ansatz: Patterns of Abstraction and Reuse of Quantum Algorithm Design
• Towards a Pattern Language for Quantum Algorithms
• Quantum Circuits Are Just a Phase