The quantum approximate optimization algorithm - perspectives of analog compilation and incoherent evolution

Abstract

The current challenges of quantum computing development pertain to mitigating the effect of noise on the device. The problems of this era, in which Noisy Intermediate-Scale Quantum (NISQ) computers must be used in the absence of error-correcting schemes, are the focus of this thesis. In one theme of the thesis, we investigate the drop in performance incurred by Quantum Approximate Optimization Algorithm (QAOA) applied to constraint optimization problems Max-kSAT and Max-kXOR, finding that significant changes in performance occur for increasing the number of literals k per constraint. We also investigate the use of annealing-inspired schedules for QAOA, demonstrating that linear schedules outperform those of Trotterized Quantum Annealing. A second theme of the thesis concerns the co-design of devices for QAOA. Firstly, we consider the tradeoffs in the decomposition of ZZ-generated gates into CZ- and CNOT- gates, with depolarizing and coherent errors affecting each decomposition differently. We find analytical and numerical evidence that both decompositions attain comparable gate fidelities for low noise. We investigate QAOA in the digital-analog scheme, in which individual control of two-qubit gates is relinquished in favor of a global interaction, with device control occurring only via single-qubit gates. We demonstrate that QAOA in this scheme produces the same results as its digital counterpart for fast single-qubit gates.

In der aktuellen Entwicklung des Quantencomputings geht es darum das Rauschen auf der Hardware zu minimieren. Die Probleme dieser Ära, in der Noisy Intermediate-Scale Quantum (NISQ) Computer ohne Fehlerkorrekturverfahren verwendet werden, stehen im Fokus dieser Arbeit. In einem Schwerpunkt der Arbeit untersuchen wir den Leistungsabfall vom Quantum Approximate Optimization Algorithm (QAOA) für die Optimierungsprobleme Max-kSAT und Max-kXOR. Dabei stellen wir fest, dass signifikante Veränderungen in der Leistung auftreten, wenn die Anzahl der Literale k zunimmt. Des Weiteren untersuchen wir die annealing-inspirierten Initialisierungen für QAOA und zeigen, dass lineare Initialisierungen das Trotterized Quantum Annealing übertreffen. Ein zweiter Schwerpunkt der Arbeit ist das Co-Design von Hardware für den QAOA. Zunächst betrachten wir ZZ-generierte Gatter in CZ- und CNOT-Gatter Zerlegung, wobei depolarisierende und kohärente Fehler die einzelnen Zerlegungen unterschiedlich beeinflussen. Wir finden analytische und numerische Hinweise darauf, dass beide Zerlegungen vergleichbare Gattertreue bei geringem Rauschen erreichen. Des Weiteren untersuchen wir den QAOA im digital-analogen Ansatz, bei dem die individuelle Steuerung von Zwei-Qubit Gattern zugunsten einer globalen Interaktion aufgegeben wird und die Hardware-Steuerung nur über Ein-Qubit Gatter erfolgt. Wir zeigen, dass der QAOA in diesem Ansatz für schnelle Ein-Qubit Gatter vergleichbare Ergebnisse erzielt wie seine digitale Ausführung.