Mechanism of Efficacy in QAOA for Random k-SAT: From Adiabatic Manifold to Sublinear Parameter Optimization

TL;DR

This paper investigates the physical mechanisms behind QAOA's effectiveness on random k-SAT problems, establishing theoretical guarantees and introducing a structured parameterization strategy that improves optimization efficiency.

Contribution

It provides a formal connection between adiabatic state transfer and QAOA, and introduces the SAMP strategy for efficient parameter optimization in shallow quantum circuits.

Findings

Performance guarantee for random instances with clause density m=O(n^{1+ε}) and circuit depth Θ(n^2)

Optimal parameters remain confined to a low-dimensional adiabatic manifold in the NISQ regime

SAMP achieves sublinear optimization scaling and robust initialization for deep circuits

Abstract

The Quantum Approximate Optimization Algorithm (QAOA) is a leading candidate for demonstrating quantum advantage on near-term devices, yet the physical origins of its efficacy remain poorly understood. In this work, we study QAOA for random $k$-SAT problems within a universal-mixer $k$-local search framework, establishing a formal correspondence between adiabatic state transfer and the QAOA ansatz. This correspondence yields a rigorous performance guarantee for random instances with clause density $m=O(n^{1+\epsilon})$ and circuit depth $\Theta(n^2)$. We further investigate the NISQ regime with shallow circuits of depth $p=O(n)$. Surprisingly, the optimal parameters do not become stochastic under depth compression, but instead remain confined to a structured low-dimensional region, which we identify as a smooth adiabatic manifold. Numerical evidence indicates that this manifold persists across different circuit depths and arises from the variational suppression of adiabatic leakage. Based on this structure, we propose the smooth adiabatic-manifold parameterization (SAMP) strategy, transforming parameter optimization from an unstructured high-dimensional search into a guided refinement process. Numerical experiments on random 3-SAT instances show that SAMP achieves sublinear optimization scaling with circuit depth while providing robust zero-cost initialization for deep circuits.