Local Hamiltonians with topological quantum order exhibit highly entangled ground states that cannot be prepared by shallow quantum circuits. Here, we show that this property may extend to all low-energy states in the presence of an on-site $\mathbb{Z}_2$ symmetry. This proves a version of the No Low-Energy Trivial States (NLTS) conjecture for a family of local Hamiltonians with symmetry protected topological order. A surprising consequence of this result is that the Goemans-Williamson algorithm outperforms the Quantum Approximate Optimization Algorithm (QAOA) for certain instances of MaxCut, at any constant level. We argue that the locality and symmetry of QAOA severely limits its performance. To overcome these limitations, we propose a non-local version of QAOA, and give numerical evidence that it significantly outperforms standard QAOA for frustrated Ising models on random 3-regular graphs.

Main ideas

NLTS conjecture – no low energy trivial states (i.e. cannot compute simply), is true for a family of local hamiltonians with topological Z2 symmetry

This means SDP outperforms QAOA at constant p for certain instances of MaxCut

Proposes a nonlocal QAOA that improves on QAOA (Recursive QAOA), each recursion eliminates one variable from the cost function

The NLTS result uses a fact that shallow quantum circuits cannot assign non-negligible probability across bitstrings with large Hamming distances.

Recursive QAOA runs QAOA, then finds the best correlation \(\langle Z_i Z_j \rangle\), and makes this a constraint in the Hamiltonian. Then recurses (with 1 fewer variable each time) until its small enough to solve via brute force.