Separability of quantum states and the violation of Bell-type inequalities

In contrast to the widespread opinion that any separable quantum state satisfies every classical probabilistic constraint, we present a simple example where separable quantum state does not satisfy the original Bell inequality although the latter inequality, in its perfect correlation form, is valid for all joint classical measurements. In a very general setting, we discuss inequalities for joint experiments upon a bipartite quantum system. For any separable quantum state, we derive quantum analogs of the original Bell inequality and specify the conditions sufficient for a separable state to satisfy the original Bell inequality. We introduce the extended Clauser-Horne-Shimony-Holt inequality and prove that, for any separable quantum state, this inequality holds for a variety of linear combinations.