Performance of QAOA on Typical Instances of Constraint Satisfaction Problems with Bounded Degree

We consider constraint satisfaction problems of bounded degree, with a good notion of "typicality", e.g. the negation of the variables in each constraint is taken independently at random. Using the quantum approximate optimization algorithm (QAOA), we show that $ \mu+\Omega(1/\sqrt{D}) $ fraction of the constraints can be satisfied for typical instances, with the assignment efficiently produced by QAOA. We do so by showing that the averaged fraction of constraints being satisfied is $ \mu+\Omega(1/\sqrt{D}) $, with small variance. Here $ \mu $ is the fraction that would be satisfied by a uniformly random assignment, and $ D $ is the number of constraints that each variable can appear. CSPs with typicality include Max-$ k $XOR and Max-$ k $SAT. We point out how it can be applied to determine the typical ground-state energy of some local Hamiltonians. We also give a similar result for instances with "no overlapping constraints", using the quantum algorithm. We sketch how the classical algorithm might achieve some partial result.

[1]  E. Farhi,et al.  A Quantum Approximate Optimization Algorithm Applied to a Bounded Occurrence Constraint Problem , 2014, 1412.6062.

[2]  Ryan O'Donnell,et al.  Analysis of Boolean Functions , 2014, ArXiv.

[3]  T. Sanders,et al.  Analysis of Boolean Functions , 2012, ArXiv.

[4]  E. Farhi,et al.  A Quantum Approximate Optimization Algorithm , 2014, 1411.4028.

[5]  Johan Håstad,et al.  On bounded occurrence constraint satisfaction , 2000, Inf. Process. Lett..

[6]  Ashley Montanaro,et al.  Extremal eigenvalues of local Hamiltonians , 2015, ArXiv.

[7]  Johan Håstad,et al.  Some optimal inapproximability results , 2001, JACM.

[8]  Prasad Raghavendra,et al.  Beating the random assignment on constraint satisfaction problems of bounded degree , 2015, Electron. Colloquium Comput. Complex..

[9]  Uriel Feige,et al.  Refuting Smoothed 3CNF Formulas , 2007, 48th Annual IEEE Symposium on Foundations of Computer Science (FOCS'07).