Stephen Piddock (Oct 10 2025).
Abstract: We unconditionally prove that it is NP-hard to compute a constant multiplicative approximation to the QUANTUM MAX-CUT problem on an unweighted graph of constant bounded degree. The proof works in two stages: first we demonstrate a generic reduction to computing the optimal value of a quantum problem, from the optimal value over product states. Then we prove an approximation preserving reduction from MAX-CUT to PRODUCT-QMC the product state version of QUANTUM MAX-CUT. More precisely, in the second part, we construct a PTAS reduction from MAX-CUT
k (the rank-k constrained version of MAX-CUT) to MAX-CUT
k+1, where MAX-CUT and PRODUCT-QMC coincide with MAX-CUT
1 and MAX-CUT
3 respectively. We thus prove that Max-Cut
k is APX-complete for all constant
k.