Based on the general form of entanglement witnesses constructed from separable states, we first show a sufficient condition of violating the structural physical approximation (SPA) conjecture [Phys. Rev. A 78, 062105 (2008)]. Then we discuss the SPA
conjecture for decomposable entanglement witnesses. Moreover, we make geometric illustrations of the connection between entanglement witnesses and the sets of quantum states, separable states, and entangled states comparing with planes and vectors in Euclidean space.
We demonstrate a general procedure to construct entanglement witnesses for any entangled state. This procedure is based on the trace inequality and a general form of entanglement witnesses, which is in the form $W=rho-c_{rho} I$, where $rho$ is a den
sity matrix, $c_{rho}$ is a non-negative number related to $rho$, and $I$ is the identity matrix. The general form of entanglement witnesses is deduced from Choi-Jamio{l}kowski isomorphism, that can be reinterpreted as that all quantum states can be obtained by a maximally quantum entangled state pass through certain completely positive maps. Furthermore, we provide the necessary and sufficient condition of the entanglement witness $W=rho-c_{rho}I$ in operation, as well as in theory.
