Quantum case statements
Abstract
This chapter initiates the studies of quantum programs with quantum control flows in the superposition-of-programs paradigm. We show that the notions of case statement, loop and recursion in classical programming split into two different versions in the quantum setting: the ones with classical control and the ones with quantum control. In this chapter, we focus on case statements with quantum control, but leave loops and recursion with quantum control for the next chapter. We first propose the notion of quantum case statement by introducing external quantum coins. A new programming language QuGCL to support programming with quantum case statements is defined. The semantics of QuGCL is carefully presented. ...
Get Foundations of Quantum Programming now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
