Optimal decomposable witnesses without the spanning property
Remigiusz Augusiak, Gniewomir Sarbicki, Maciej Lewenstein · Physical Review A · 2011
One of the unsolved problems in the characterization of the optimal entanglement witnesses is the existence of optimal witnesses acting on bipartite Hilbert spaces ${\mathcal{H}}_{m,n}={\mathbb{C}}^{m}\ensuremath{\bigotimes}{\mathbb{C}}^{n}$ such that the product vectors obeying $\ensuremath{\langle}e,f|W|e,f\ensuremath{\rangle}=0$ do not span ${\mathcal{H}}_{m,n}$. So far, the only known examples of such witnesses were found among indecomposable witnesses, one of them being the witness corresponding to the Choi map. However, it remains an open question whether decomposable witnesses exist without the property of spanning. Here we answer this question affirmatively, providing systematic examples of such witnesses. Then, we generalize some of the recently obtained results on the characterization of $2\ensuremath{\bigotimes}n$ optimal decomposable witnesses [R. Augusiak et al., J. Phys. A 44, 212001 (2011)] to finite-dimensional Hilbert spaces ${\mathcal{H}}_{m,n}$ with $m,n\ensuremath{\ge}3$.