Exactness of the second semidefinite lifting for the complex cut polytope
Exactness conjecture. The second semidefinite lifting is exact for CUT∞4\mathrm{CUT}^4_\inftyCUT∞4, i.e.,