  In this paper we classify the four-qubit states that commute with$U\otimes{U}\otimes{V}\otimes{V}$, where $U$ and $V$ are arbitrary members ofthe Pauli group. We characterize the set of separable states for this class, interms of a finite number of entanglement witnesses. Equivalently, wecharacterize the two-qubit, Bell-diagonal-preserving, completely positive mapsthat are separable. These separable completely positive maps correspond toprotocols that can be implemented with stochastic local operations assisted byclassical communication (SLOCC). This allows us to derive a complete set ofSLOCC monotones for Bell-diagonal states, which, in turn, provides thenecessary and sufficient conditions for converting one two-qubit state toanother by SLOCC.
We characterize the set of separable states for this class, in terms of a finite number of entanglement witnesses. Equivalently, we characterize the two-qubit, Bell-diagonal-preserving, completely positive maps that are separable.