Abstract:Quantum algorithms for tasks such as factorization, search, and simulation rely on control flow such as branching and iteration that depends on the value of data in superposition. High-level programming abstractions for control flow, such as switches, loops, and higher-order functions, are ubiquitous in classical languages. By contrast, many quantum languages do not provide high-level abstractions for control flow in superposition, and instead require the use of hardware-level logic gates to implement such control flow. The reason for this gap is that whereas a classical computer supports control flow using a program counter that can depend on data, the typical architecture of a quantum computer does not provide a program counter that can depend on data in superposition. As a result, the complete set of control flow abstractions that can be correctly realized on a quantum computer has not yet been established. In this work, we provide a complete characterization of the properties of control flow abstractions that are correctly realizable on a quantum computer. First, we prove that even on a quantum computer whose program counter exists in superposition, one cannot correctly realize control flow in quantum algorithms by lifting the classical conditional jump instruction to work in superposition. This theorem denies the ability to directly lift general abstractions for control flow such as the $\lambda$-calculus from classical to quantum programming. In response, we present the necessary and sufficient conditions for control flow to be correctly realizable on a quantum computer. We introduce the quantum control machine, an instruction set architecture featuring a conditional jump that is restricted to satisfy these conditions. We show how this design enables a developer to correctly express control flow in quantum algorithms using a program counter in place of logic gates.

Quantum abstract machines without circuits: the need for higher algorithmic expressiveness

An Abstraction Hierarchy Toward Productive Quantum Programming

The Quantum Abstract Machine

Modeling Quantum Programs: Challenges, Initial Results, and Research Directions.

Software science view on quantum circuit algorithms

Semantic embedding for quantum algorithms

Quantum Plug N' Play: Modular Computation in the Quantum Regime

Algebraic Language for the Efficient Representation and Optimization of Quantum Circuits

Quantum Programming Paradigms and Description Languages

New Abstractions for Quantum Computing

AQM: A Refresh of the Abstract Qubit Model for Quantum Computing Co-design

From Digital computers to quantum computers based on biological paradigms and progress in particle physics

Computable and noncomputable in the quantum domain: statements and conjectures

Towards the Notion of an Abstract Quantum Automaton

Quantum Circuit Synthesis and Compilation Optimization: Overview and Prospects

Quantum Circuit Ansatz: Patterns of Abstraction and Reuse of Quantum Algorithm Design

A non-algorithmic approach to "programming" quantum computers via machine learning

Quantum Control Machine: The Limits of Control Flow in Quantum Programming

Quantum Algorithms for Compositional Text Processing

A typology of quantum algorithms

Quantum programming languages