Manuscript Oai272-A@1 · Oai272-A.tex · section · a40828a0
An entanglement witness, not a separable decomposition
Stage 3: finite witness construction under an exact support promise › An entanglement witness, not a separable decomposition · lines 1504–1509
For an entangled corner, the appropriate successor object is a separating entanglement witness. A separable decomposition of that same corner cannot be the desired output.