Low-depth Clifford circuits approximately solve MaxCut
arXiv:2310.15022 · doi:10.1103/PhysRevResearch.6.023294
Abstract
We introduce a quantum-inspired approximation algorithm for MaxCut based on low-depth Clifford circuits. We start by showing that the solution unitaries found by the adaptive quantum approximation optimization algorithm (ADAPT-QAOA) for the MaxCut problem on weighted fully connected graphs are (almost) Clifford circuits. Motivated by this observation, we devise an approximation algorithm for MaxCut, \emph{ADAPT-Clifford}, that searches through the Clifford manifold by combining a minimal set of generating elements of the Clifford group. Our algorithm finds an approximate solution of MaxCut on an -vertex graph by building a depth Clifford circuit. The algorithm has runtime complexity and for sparse and dense graphs, respectively, and space complexity , with improved solution quality achieved at the expense of more demanding runtimes. We implement ADAPT-Clifford and characterize its performance on graphs with positive and signed weights. The case of signed weights is illustrated with the paradigmatic Sherrington-Kirkpatrick model, for which our algorithm finds solutions with ground-state mean energy density corresponding to of the Parisi value in the thermodynamic limit. The case of positive weights is investigated by comparing the cut found by ADAPT-Clifford with the cut found with the Goemans-Williamson (GW) algorithm. For both sparse and dense instances we provide copious evidence that, up to hundreds of nodes, ADAPT-Clifford finds cuts of lower energy than GW.
Revised version, several typos corrected, extended appendices
References in corpus (40)
- Quantum Computing in the NISQ era and beyond
- Mixed State Entanglement and Quantum Error Correction
- Variational Quantum Algorithms
- Ising formulations of many NP problems
- The theory of variational hybrid quantum-classical algorithms
- Noisy intermediate-scale quantum (NISQ) algorithms
- Improved Simulation of Stabilizer Circuits
- A Class of Quantum Error-Correcting Codes Saturating the Quantum Hamming Bound
- Quantum Error Correction and Orthogonal Geometry
- From the Quantum Approximate Optimization Algorithm to a Quantum Alternating Operator Ansatz
- Stabilizer Codes and Quantum Error Correction
- Quantum Zeno Effect and the Many-body Entanglement Transition
- Quantum Approximate Optimization Algorithm: Performance, Mechanism, and Implementation on Near-Term Devices
- Broken Replica Symmetry Bounds in the Mean Field Spin Glass Model
- Unitary-projective entanglement dynamics
- Quantum Optimization of Maximum Independent Set using Rydberg Atom Arrays
- A Review on Quantum Approximate Optimization Algorithm and its Variants
- Stim: a fast stabilizer circuit simulator
- Stabilizer Rényi entropy
- Warm-starting quantum optimization
- The Quantum Approximate Optimization Algorithm and the Sherrington-Kirkpatrick Model at Infinite Size
- QuantumOptics.jl: A Julia framework for simulating open quantum systems
- Quantum-inspired algorithms in practice
- Yao.jl: Extensible, Efficient Framework for Quantum Algorithm Design
- MAXCUT QAOA performance guarantees for p >1
- Parameter Transfer for Quantum Approximate Optimization of Weighted MaxCut
- The Sherrington-Kirkpatrick model: an overview
- Quantum variational optimization: The role of entanglement and problem hardness
- An improved quantum-inspired algorithm for linear regression
- Coherence requirements for quantum communication from hybrid circuit dynamics
- Disordered Systems Insights on Computational Hardness
- Hardness of the Maximum Independent Set Problem on Unit-Disk Graphs and Prospects for Quantum Speedups
- Quantum Approximate Optimization Algorithm pseudo-Boltzmann states
- Quantum computational advantage with string order parameters of 1D symmetry-protected topological order
- Mean-Field Approximate Optimization Algorithm
- Extending relax-and-round combinatorial optimization solvers with quantum correlations
- Quantum computational advantage attested by nonlocal games with the cyclic cluster state
- Entanglement phase transition with spin glass criticality
- Maximum Cut Parameterized by Crossing Number
- Information scrambling and entanglement in quantum approximate optimization algorithm circuits
Cited by in corpus (8)
- Symmetry-informed transferability of optimal parameters in the Quantum Approximate Optimization Algorithm
- Recursive Quantum Relaxation for Combinatorial Optimization Problems
- Stabilizer ground states for simulating quantum many-body physics: theory, algorithms, and applications
- Analyzing the quantum approximate optimization algorithm: ansätze, symmetries, and Lie algebras
- Generalized Probabilistic Approximate Optimization Algorithm
- Generation of quantum phases of matter and finding a maximum-weight independent set of unit-disk graphs using Rydberg atoms
- Sub-universal variational circuits for combinatorial optimization problems
- Clifford Transformations for Fermionic Quantum Systems: From Paulis to Majoranas to Fermions