1: \begin{abstract}

2: The Quantum Alternating Operator Ansatz (QAOA) and its predecessor, the Quantum Approximate Optimization Algorithm, are one of the most widely used quantum algorithms for solving combinatorial optimization problems.

3: However, as there is yet no rigorous proof of convergence for the QAOA, we provide one in this paper.

4: The proof involves retracing the connection between the Quantum Adiabatic Algorithm and the QAOA, and naturally suggests a refined definition of the `phase separator' and `mixer' keywords.

5: \end{abstract}

6: