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.