Solution of SAT Problems with the Adaptive-Bias Quantum Approximate Optimization Algorithm

Abstract

The quantum approximate optimization algorithm (QAOA) is a promising method for solving certain classical combinatorial optimization problems on near-term quantum devices. When employing the QAOA to 3-SAT and Max-3-SAT problems, the quantum cost exhibits an easy-hard-easy or easy-hard pattern respectively as the clause density is changed. The quantum resources needed in the hard-region problems are out of reach for current NISQ devices. We show by numerical simulations with up to 14 variables and analytical arguments that the adaptive-bias QAOA (ab-QAOA) greatly improves performance in the hard region of the 3-SAT problems and hard region of the Max-3-SAT problems. For similar accuracy, on average, ab-QAOA needs 3 levels for 10-variable 3-SAT problems as compared to 22 for QAOA. For 10-variable Max-3-SAT problems, the numbers are 7 levels and 62 levels. The improvement comes from a more targeted and more limited generation of entanglement during the evolution. We demonstrate that classical optimization is not strictly necessary in the ab-QAOA since local fields are used to guide the evolution. This leads us to propose an optimization-free ab-QAOA that can solve the hard-region 3-SAT and Max-3-SAT problems effectively with significantly fewer quantum gates as compared to the original ab-QAOA. Our work paves the way for realizing quantum advantages for optimization problems on NISQ devices.

arXiv comment18 pages, 15 figures

References in corpus (42)

• Quantum Computing in the NISQ era and beyond
• Supplementary information for "Quantum supremacy using a programmable superconducting processor"
• A variational eigenvalue solver on a quantum processor
• Variational Quantum Algorithms
• Ising formulations of many NP problems
• Barren plateaus in quantum neural network training landscapes
• The theory of variational hybrid quantum-classical algorithms
• Noisy intermediate-scale quantum (NISQ) algorithms
• Adiabatic Quantum Computing
• Strong quantum computational advantage using a superconducting quantum processor
• Shortcuts to adiabaticity: concepts, methods, and applications
• Noise-Induced Barren Plateaus in Variational Quantum Algorithms
• From the Quantum Approximate Optimization Algorithm to a Quantum Alternating Operator Ansatz
• Quantum Approximate Optimization Algorithm: Performance, Mechanism, and Implementation on Near-Term Devices
• Connecting ansatz expressibility to gradient magnitudes and barren plateaus
• Demonstration of multi-qubit entanglement and algorithms on a programmable neutral atom quantum computer
• Quantum Approximate Optimization of Non-Planar Graph Problems on a Planar Superconducting Processor
• Quantum Optimization of Maximum Independent Set using Rydberg Atom Arrays
• Quantum Approximate Optimization Algorithm for MaxCut: A Fermionic View
• Obstacles to State Preparation and Variational Optimization from Symmetry Protection
• Warm-starting quantum optimization
• Effect of barren plateaus on gradient-free optimization
• Improving Variational Quantum Optimization using CVaR
• Quantum annealing initialization of the quantum approximate optimization algorithm
• Reachability Deficits in Quantum Approximate Optimization
• Entanglement Devised Barren Plateau Mitigation
• Barren plateaus preclude learning scramblers
• Avoiding barren plateaus using classical shadows
• Counterdiabaticity and the quantum approximate optimization algorithm
• MAXCUT QAOA performance guarantees for p >1
• Training A Quantum Optimizer
• Classical variational simulation of the Quantum Approximate Optimization Algorithm
• Reinforcement Learning for Many-Body Ground-State Preparation Inspired by Counterdiabatic Driving
• Quantum annealing with longitudinal bias fields
• Quantum optimization via four-body Rydberg gates
• Quantum Approximate Optimization Algorithm with Adaptive Bias Fields
• Quantum Computational Phase Transition in Combinatorial Problems
• Steering random spin systems to speed up the quantum adiabatic algorithm
• Reachability Deficits in Quantum Approximate Optimization of Graph Problems
• Quantum variational learning for quantum error-correcting codes
• Mitigating algorithmic errors in quantum optimization through energy extrapolation
• Speedup of the Quantum Adiabatic Algorithm using Delocalization Catalysis

Cited by in corpus (4)

• PCA and t-SNE analysis in the study of QAOA entangled and non-entangled mixing operators
• Grover-QAOA for 3-SAT: Quadratic Speedup, Fair-Sampling, and Parameter Clustering
• Warm Start Adaptive-Bias Quantum Approximate Optimization Algorithm
• Exploiting many-body localization for scalable variational quantum simulation