Demystifier said:
Some papers on foundations of quantum mechanics distinguish the notions of locality and separability (or non-locality and non-separability). Can someone explain to me what is the difference between locality and separability? Or can someone point to a reference where this difference is explained?
I think you know that this area has been sliced and diced a lot. There are those who point to Bell's paper as the starting point (or the ending point) for the discussion. Unfortunately, as much as I am enamored of the Bell paper for its science: I think some of the terminology and structure of the argument has been something of a breeding ground for some confusion. So while I don't see there as being much debate on the conclusion itself, there is a lot of debate on the explicit and implied elements of the argument.
Fundamentally, I see the separability requirement as a denial of 2 particle state entanglement. So Bell's (2) is a statement of the EPR implied position that entanglement cannot exist for space-like separated particles. That position, in turn, assumes locality, i.e. that there do not exist physical connections (exceeding c) between any 2 particles.
You are asking whether separability and locality are the same. In your non-local view, there is no locality as ALL particles influenced (and are influenced by) all other particles. But that view does not mean that all particles are entangled; clearly you still have that special behavior that is a result of shining a laser into a PDC crystal - which creates entangled photon pairs. If you believe that those pairs are sharing a wave state, you believe in entanglement and deny separability. ON THE OTHER HAND: I don't yet share your non-local view and yet I share your denial of separability.
So I would say that locality and separability are NOT the same thing. If you can picture a alternative universe in which there are non-local forces but there is no entanglement of particle states (hardly something that is a direct deduction from non-locality), then they must not be the same thing.
How are they related? Is one a subset of the other? In my mind, entanglement is contained within QM. On the other hand, locality is not. So I see Bell as proving: separability (denial of entanglement) is NOT possible if QM is correct. But at the same time, he ALSO proves the more important result that local realism is not possible if QM is correct. Bell had to assume realism (see his 14 to 15) to prove that separability is incompatible with QM.
Seen another way: I assume that you can at least acknowledge the possibility that we could live in a time-symmetric universe in which locality is otherwise respected. Then we could have locality without separability (or realism) - so again they must not be the same thing. I wouldn't imagine that you could find a definitive discussion of this subject, because everyone has a certain historical twist on the matter. References you might be interested in:
1. More from Peres, Quantum Theory: Concepts and Methods (2002, see page 160 of 464): http://www.fisica.net/quantica/Peres%20-%20Quantum%20Theory%20Concepts%20and%20Methods.pdf
"The title of Bell’s second paper is 'On the Einstein Podolsky Rosen paradox,' but, contrary to the EPR argument, Bell’s is not about quantum mechanics. Rather, it is a general proof, independent of any specific physical theory, that there is an upper limit to the correlation of distant events, if one just assumes the validity of the principle of local causes. This principle (also called Einstein locality, but conjectured well before Einstein) asserts that events occurring in a given spacetime region are independent of external parameters that may be controlled, at the same moment, by agents located in distant spacetime regions."
2. From Marinescu & Marinescu, Quantum Information and Error Correction From Classical to Quantum Concepts(2009, page 139 of 702): http://www.eecs.ucf.edu/~dcm/QCV2.pdf
"Bell's inequality is derived using a very simple model of a physical system that makes only two common sense assumptions: physical properties are independent on observations, the realism principle, and the measurement of different physical properties of different objects carried out by different observers at distinct locations cannot influence each other, the locality principle."
3. Norsen has written on this, of course, and I assume you are already familiar with his work on that - such as:
http://arxiv.org/abs/0707.0401 or
http://arxiv.org/abs/quant-ph/0601205 (and keeping in mind that I think Norsen is wrong on much of the history and semantics of this issue):
"Bell Locality then entails the following: once we specify a complete description of the pre-measurement state of the particle pair, the probability for Alice to obtain a certain outcome A for a measurement along a certain direction ˆa is independent of the setting (ˆb) and outcome (B) of Bob’s experiment. In particular, the probability in question does not change depending on whether we do or do not specify this information about Bob’s experiment."
So Norsen sees Bell locality as equivalent to a kind of statistical independence, as expressed by the separability formula. I say that should be called Bell separability instead, so as to clarify that violation of separability does not require that there is spooky action at a distance. Norsen sees action at a distance as essentially being a deduction from a Bell Inequality violation, whereas this conclusion is nearly universally rejected elsewhere.