Exactness of the second semidefinite lifting for the complex cut polytope

Let CUT4\mathrm{CUT}^4_\infty denote the complex cut polytope and let L(B1)\mathbf{L}(\mathscr{B}_{1}) denote its second semidefinite lifting. The preceding rank-three exception concerns whether these two sets can differ.

Exactness conjecture. The second semidefinite lifting is exact for CUT4\mathrm{CUT}^4_\infty, i.e.,

L(B1)=CUT4.\mathbf{L}(\mathscr{B}_{1})=\mathrm{CUT}^4_\infty.

The authors state that they are unable to prove or disprove the existence of rank-three points witnessing strict containment; numerical tests motivate this conjecture, so its status is open.

Sources & referencesView supporting material

Primary source

Lennart Sinjorgo, Renata Sotirov and Miguel F. Anjos, “Cuts and semidefinite liftings for the complex cut polytope”, arXiv:2402.04731 (2024).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.