Abstract: One of the major application areas of interest for both near-term and fault-tolerant quantum computers is the optimization of classical objective functions. In this work, we develop intuitive constructions for a large class of these algorithms based on connections to simple dynamics of quantum systems, quantum walks, and classical continuous relaxations. We focus on developing a language and tools connected with kinetic energy on a graph for understanding the physical mechanisms of success and failure to guide algorithmic improvement. This physical language, in combination with uniqueness results related to unitarity, allow us to identify some potential pitfalls from kinetic energy fundamentally opposing the goal of optimization. This is connected to effects from wavefunction confinement, phase randomization, and shadow defects lurking in the objective far away from the ideal solution. As an example, we explore the surprising deficiency of many quantum methods in solving uncoupled spin problems and how this is both predictive of performance on some more complex systems while immediately suggesting simple resolutions. Further examination of canonical problems like the Hamming ramp or bush of implications show that entanglement can be strictly detrimental to performance results from the underlying mechanism of solution in approaches like QAOA. Kinetic energy and graph Laplacian perspectives provide new insights to common initialization and optimal solutions in QAOA as well as new methods for more effective layerwise training. Connections to classical methods of continuous extensions, homotopy methods, and iterated rounding suggest new directions for research in quantum optimization. Throughout, we unveil many pitfalls and mechanisms in quantum optimization using a physical perspective, which aim to spur the development of novel quantum optimization algorithms and refinements.

Convex Optimization for Nonequilibrium Steady States on a Hybrid Quantum Processor

Hybrid algorithm simulating non-equilibrium steady states of an open quantum system

Variational Quantum Algorithms for the Steady States of Open Quantum Systems

Variational Quantum Algorithms for Steady States of Open Quantum Systems

Quantum Langevin Dynamics for Optimization

Solving non-native combinatorial optimization problems using hybrid quantum-classical algorithms

Fully differentiable optimization protocols for non-equilibrium steady states

Capturing Non-Markovian Dynamics on Near-Term Quantum Computers

Optimizing a Polynomial Function on a Quantum Processor

Efficient Optimal Control of Open Quantum Systems

On Hybrid Quantum and Classical Computing Algorithms for Mixed-Integer Programming

Designing open quantum systems with known steady states: Davies generators and beyond

Low depth mechanisms for quantum optimization

Quantum gradient descent algorithms for nonequilibrium steady states and linear algebraic systems

A Quantum Approximate Optimization Algorithm for continuous problems

Constrained Optimization via Quantum Zeno Dynamics

Quantum open system identification via global optimization: Optimally accurate Markovian models of open systems from time-series data

Quantum Algorithms for Non-smooth Non-convex Optimization

Hybrid Quantum-Classical Approach to Quantum Optimal Control.

Quantum optimization algorithm based on multistep quantum computation

Stochastic optimization algorithms for quantum applications