Abstract:Control flow of quantum programs is often divided into two different classes: classical and quantum. Quantum programs with classical control flow have their conditional branching determined by the classical outcome of measurements, and these collapse quantum data. Conversely, quantum control flow is coherent, i.e. it does not perturb quantum data; quantum walk-based algorithms are practical examples where coherent quantum feedback plays a major role. This dissertation has two main contributions: (i) a categorical study of coherent quantum iteration and (ii) the introduction of weak while loops. (i) The objective is to endow categories of quantum processes with a traced monoidal structure capable of modelling iterative quantum loops. To this end, the trace of a morphism is calculated via the execution formula, which adds up the contribution of all possible paths of the control flow. Haghverdi's unique decomposition categories are generalised to admit additive inverses and equipped with convergence criteria using basic topology. In this setting, it is possible to prove the validity of the execution formula as a categorical trace on certain categories of quantum processes. (ii) A weak while loop is a classical control flow primitive that offers a trade-off between the collapse caused on each iteration and the amount of information gained. The trade-off may be adjusted by tuning a parameter and, in certain situations, it is possible to set its value so that we may control the algorithm without sacrificing its quantum speed-up. As an example, it is shown that Grover's search problem can be implemented using a weak while loop, maintaining the same time complexity as the standard Grover's algorithm (as previously shown by Mizel).

Grover's Quantum Search Algorithm of Causal Multiloop Feynman Integrals

From Feynman integrals to quantum algorithms: the Loop-Tree Duality connection

Quantum querying based on multicontrolled Toffoli gates for causal Feynman loop configurations and directed acyclic graphs

Geometrical causality: casting Feynman integrals into quantum algorithms

Variational quantum eigensolver for causal loop Feynman diagrams and directed acyclic graphs

Loop Feynman integration on a quantum computer

Tackling Feynman integrals with quantum minimization algorithms

Quantum multi-programming for Grover's search

Unbounded loops in quantum programs: categories and weak while loops

Quantum Loop Programs

Implementation of Grover's Iterator for Quantum Searching With an Arbitrary Number of Qubits

Simulating the quantum Fourier transform, Grover's algorithm, and the quantum counting algorithm with limited entanglement using tensor-networks

Simulating Grover's Quantum Search in a Classical Computer

Analysis and Simulation of Grover’s Search Algorithm

Statistics of Charge Fluctuations in Chaotic Cavities

Geometrical approach to causality in multi-loop amplitudes

Multi-self-loop Lackadaisical Quantum Walk with Partial Phase Inversion

Description of the Grover algorithm based on geometric considerations

Better-than-classical Grover search via quantum error detection and suppression

Universal Euler-Cartan Circuits for Quantum Field Theories