Abstract:Quantum 8, 1352 (2024). https://doi.org/10.22331/q-2024-05-22-1352 The Quantum Max Cut (QMC) problem has emerged as a test-problem for designing approximation algorithms for local Hamiltonian problems. In this paper we attack this problem using the algebraic structure of QMC, in particular the relationship between the quantum max cut Hamiltonian and the representation theory of the symmetric group. The first major contribution of this paper is an extension of non-commutative Sum of Squares (ncSoS) optimization techniques to give a new hierarchy of relaxations to Quantum Max Cut. The hierarchy we present is based on optimizations over polynomials in the qubit swap operators. This is in contrast to the "standard" quantum Lasserre Hierarchy, which is based on polynomials expressed in terms of the Pauli matrices. To prove correctness of this hierarchy, we exploit a finite presentation of the algebra generated by the qubit swap operators. This presentation allows for the use of computer algebraic techniques to manipulate and simplify polynomials written in terms of the swap operators, and may be of independent interest. Surprisingly, we find that level-2 of this new hierarchy is numerically exact (up to tolerance ) on all QMC instances with uniform edge weights on graphs with at most 8 vertices. The second major contribution of this paper is a polynomial-time algorithm that computes (in exact arithmetic) the maximum eigenvalue of the QMC Hamiltonian for certain graphs, including graphs that can be "decomposed" as a signed combination of cliques. A special case of the latter are complete bipartite graphs with uniform edge-weights, for which exact solutions are known from the work of Lieb and Mattis [33]. Our methods, which use representation theory of the symmetric group, can be seen as a generalization of the Lieb-Mattis result.

An improved Quantum Max Cut approximation via matching

An Improved Approximation Algorithm for Quantum Max-Cut

Approximation Algorithms for Quantum Max-$d$-Cut

An Optimal Product-State Approximation for 2-Local Quantum Hamiltonians with Positive Terms

A Quantum Approximate Optimization Algorithm for Local Hamiltonian Problems

A quantum advantage over classical for local max cut

Quantum Approximate Optimization Algorithms for Maxmimum Cut on Low-Girth Graphs

A Variational Qubit-Efficient MaxCut Heuristic Algorithm

The Quantum Approximate Optimization Algorithm performance with low entanglement and high circuit depth

The classical limit of Quantum Max-Cut

Relaxations and Exact Solutions to Quantum Max Cut via the Algebraic Structure of Swap Operators

Hybrid Quantum-Classical Multilevel Approach for Maximum Cuts on Graphs

QAOA with fewer qubits: a coupling framework to solve larger-scale Max-Cut problem

Recursive QAOA outperforms the original QAOA for the MAX-CUT problem on complete graphs

Automorphism-Assisted Quantum Approximate Optimization Algorithm for efficient graph optimization

Hybrid Quantum-HPC Solutions for Max-Cut: Bridging Classical and Quantum Algorithms

Revisiting Majumdar-Ghosh spin chain model and Max-cut problem using variational quantum algorithms

Entanglement perspective on the quantum approximate optimization algorithm

Performance of the Quantum Approximate Optimization Algorithm on the Maximum Cut Problem

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