April 2024
Intermediate to advanced
400 pages
21h 1m
English
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.
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 ...