Studies have shown, in the limitless space, condition F=F~+ is the necessary but insufficient condition of the operator F∧,which is corresponding to the matrix F,being a Hermitian operator.Only when F=F~+ is satisfied and the surface term is zero, the operator F∧ is a Hermitian operator.
From Certifying Rank k Projectors To Non-Positivity, Entanglement, And Non-Hermitian Witnesses Through Traces Of Matrix Powers
We all know that a density matrix ρ is pure if and only if Trρ2=1. But is this the only way to prove the purity of ρ using the trace of its powers? Here I systematically study the necessary and sufficient conditions of the more general question of guaranteeing that all eigenvalues of a Hermitian matrix belong to a specified set through its trace of powers. More importantly, these characterization results are automatically witnesses certifying a quantum state as entangled, a Hermitian operator has least one negative eigenvalue and a linear operator as non-Hermitian. I demonstrate the effectiveness of these witnesses, analyze their performance, and study their strength, weakness together with resource requirement through numerical simulation as well as analytical work. I also discuss briefly the effects of numerical stability, uncertainty in measurement and rounding errors on these problems.
Necessary and sufficient conditions for bipartite entanglement are derived, which apply to arbitrary Hilbert spaces. Motivated by the concept of witnesses, optimized entanglement inequalities are formulated solely in terms of arbitrary Hermitian operators, which makes them useful for applications in experiments. The needed optimization procedure is based on a separability eigenvalue problem, whose analytical solutions are derived for a special class of projection operators. For general Hermitian operators, a numerical implementation of entanglement tests is proposed. It is also shown how to identify bound entangled states with positive partial transposition.