Abstract:Understanding and approximating extremal energy states of local Hamiltonians is a central problem in quantum physics and complexity theory. Recent work has focused on developing approximation algorithms for local Hamiltonians, and in particular the ``Quantum Max Cut'' (QMax-Cut) problem, which is closely related to the antiferromagnetic Heisenberg model. In this work, we introduce a family of semidefinite programming (SDP) relaxations based on the Navascues-Pironio-Acin (NPA) hierarchy which is tailored for QMaxCut by taking into account its SU(2) symmetry. We show that the hierarchy converges to the optimal QMaxCut value at a finite level, which is based on a new characterization of the algebra of SWAP operators. We give several analytic proofs and computational results showing exactness/inexactness of our hierarchy at the lowest level on several important families of graphs. We also discuss relationships between SDP approaches for QMaxCut and frustration-freeness in condensed matter physics and numerically demonstrate that the SDP-solvability practically becomes an efficiently-computable generalization of frustration-freeness. Furthermore, by numerical demonstration we show the potential of SDP algorithms to perform as an approximate method to compute physical quantities and capture physical features of some Heisenberg-type statistical mechanics models even away from the frustration-free regions.

A novel formulation of the max-cut problem and related algorithm

On relaxations of the max $k$-cut problem formulations

A New Global Algorithm for Max-Cut Problem with Chordal Sparsity

A simple algorithm for Max Cut

An SU(2)-symmetric Semidefinite Programming Hierarchy for Quantum Max Cut

Improved Approximation Algorithms for MAX

Eigenvalue, Quadratic Programming, and Semidefinite Programming Bounds for a Cut Minimization Problem

MADAM: A parallel exact solver for Max-Cut based on semidefinite programming and ADMM

A discrete filled function algorithm embedded with continuous approximation for solving max-cut problems

Improved Approximation Algorithms for MAX \frac{n}2 -DIRECTED-BISECTION and MAX \frac{n}2 -DENSE-SUBGRAPH

On Integrality in Semidefinite Programming for Discrete Optimization

Canonical Dual Approach to Solving the Maximum Cut Problem

An optimal algorithm to compute maximal relaxations in parallel

Improved Approximation Algorithms for MAX \(\frac{n}{{\text{2}}}\) -DIRECTED-BISECTION and MAX \(\frac{n}{{\text{2}}}\) -DENSE-SUBGRAPH

Improved Approximation Algorithms for MAX n/2 -DIRECTED-BISECTION and MAX n/2 -DENSE-SUBGRAPH

A Simple Iterative Algorithm for Maxcut

O C ] 1 7 M ar 2 01 8 A simple algorithm for Max Cut

Improving the Performance of MIQP Solvers for Quadratic Programs with Cardinality and Minimum Threshold Constraints: A Semidefinite Program Approach.

A Discrete Filled Function Algorithm for Approximate Global Solutions of Max-Cut Problems

An entropy based central cutting plane algorithm for convex min-max semi-infinite programming problems