Chapter 12: Quantum recursion
Abstract
In this chapter, we introduce the notion of quantum recursion, i.e. recursion with quantum control flow, based on quantum case statement and quantum choice studied in the last chapter. Its semantics is defined using the second quantisation method. The issue of solving recursive equations in Fock spaces is discussed.
Keywords
Recursive equation; Quantum recursion; Second quantisation; Symmetrisation; Fock spaces; Creation operator; Annihilation operator; Semantics; Fixed points
Recursion is one of the central ideas of computer science. Most modern programming languages support recursion or at least a special form of recursion such as while-loop. A quantum extension of while-loop was already introduced in Section ...
Get Foundations of Quantum Programming, 2nd Edition 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.
