Heinera wrote:
The standard formulation of QM is already local in the sense of Einstein's special relativity, because there is no possibility of super-luminal communication in QM (the no-communication theorem).
This is correct. Orthodox quantum mechanics harbors no-signaling non-locality only, and therefore it remains compatible with special relativity.
Heinera wrote:
Even HV-formulations of QM (like Bohmian mechanics) is local in this sense.
This is only partly correct. Bohmian mechanics violates "parameter independence" and therefore it is not compatible with special-relativistic locality.
Heinera wrote:
Locality in the sense of Bell is different from locality in the sense of special relativity.
This is essentially correct. Locality in the sense of Bell can be split up into two distinct parts: (1) parameter independence, and (2) outcome independence. It is very easy to understand these to senses of locality in terms of Bell's measurement functions, which are defined as A(a, h) and B(b, h), where a and b are freely chosen experimental parameters and the "hidden variable" h is a randomness shared between Alice and Bob. Then "parameter independence" is the fact that A(a, h) is independent of b, and likewise B(b, h) is independent of a. A violation of parameter independence thus violates special-relativistic locality. On the other hand, "outcome independence" is the fact that A(a, h) is independent of the outcome B --- and likewise B(b, h) is independent of the outcome A. Consequently, violation of "outcome independence" would be a violation of non-signaling locality that remains compatible with special relativity.
Nota bene: Orthodox quantum mechanics violates "outcome independence" but preserves "parameter independence" (thereby remaining compatible with special relativity).
***