The unitary $ \mathrm{U}(d)$-equivalence relation between elements of the space
P+ of mixed states of
d-dimensional quantum system defines the orbit space $ \mathfrak{P}_+/ \mathrm{U}(d)\,$ and provides its description in terms the ring
R[P+]U(d) of
U(d)-invariant polynomials. We prove that the semi-algebraic structure of $ \mathfrak{P}_+/ \mathrm{U}(d)\, $ is determined completely by two basic properties of density matrices, their semi-positivity and Hermicity. Particularly, it is shown that the Processi-Schwarz inequalities in elements of integrity basis for
R[P+]U(d) defining the orbit space, are identically satisfied for all elements of
P+.
The 7-dimensional family ℬX of the so-called mixed X-states of 2-qubits is considered. Two versions of stratifications of ℬX , i.e., its decomposition into strata according to orbit types of the adjoint actions of two groups, are described. The first stratification is due to the action of global unitary group GX ⊂ S U(4), while the second one corresponds to the action of the local unitary group LGX ⊂ GX . The equations and in-equalities in the invariants of the corresponding groups, determining each stratification component, are given.
Absolutely separable states form a special subset of the set of all separable states, as they remain separable under any global unitary transformation unlike other separable states. We consider the set of absolutely separable bipartite states and show that it is convex and compact in any arbitrary dimensional Hilbert space. Through a generic approach of construction of suitable Hermitian operators we prove the completeness of the separation axiom for identifying any separable state that is not absolutely separable. We demonstrate the action of such witness operators in different qudit systems. Examples of mixed separable systems are provided, pointing out the utility of the witness in entanglement creation using quantum gates. Decomposition of witnesses in terms of spin operators or photon polarizations facilitates their measurability for qubit states.