A rigorous derivation based on the formalism of wave function collapse of a maximally entangled state will provide a method to test the concept of quantum nonlocality. If no detection takes place at location A, the projective measurement at location B involves the operator
acting on the initial state
and resulting in the probability of detection
after setting
and
for the projective amplitudes onto the polarization filter. Similarly, for the first detection at location A, i.e.,
.
If a first detection takes place at location A involving the projective operator
, it will result in an intermediary state for the projective amplitudes
and
, so that the reduced or collapsed wave function
becomes:
where
denotes the normalised wave function for the calculation of the detection probability at location B, conditional on a detection at location A. The normalization factor
for the collapsed wave function
corresponds to the probability of detection
for the first measurement, and after substituting for
from eq. (8) we have:
Based on the normalized state
, the probability of detection at location B following a detection at location A, becomes in this case, for a projective measurement:
This result which can be found in [13, Sec.19.5] implies that for
, regardless of the values of
, the local probability of detection could peak at unity. This theoretical outcome is easily testable experimentally for direct evidence of a quantum nonlocal effect influencing the second measurement after the wave function collapse. But this has never been done either because of the quantum Rayleigh scattering [
9] of a single-photon and/or the non-existence of such a nonlocal effect. The product of the local probabilities of eqs. (9) and (10) equals the expression of the joint probability
for simultaneous detections at both locations A and B, that is:
after inserting from Eqs. (8) and (10) in the equality (11a). The equality (11b) provides a direct calculation of the joint probability, confirming the validity of the derivation. With the conditional probability of local detection
being, mathematically, lower than, or at best, equal to the local probability of detection
in the absence of a first detection, i.e.,
, the formalism of wave function collapse gives rise to a factorization of local probabilities and imposes an upper bound on the quantum joint probability, in clear contradiction to the conventional assumption [13, p.538]. This formalism delivers average values of the ensembles rather than correlation between the sequential orders of the detections. The possibility of factorizing the quantum probability for joint events as in (11a) is identical to the classical case of joint probabilities with the second local probability being conditioned on a first detection. This strong similarity between the classical and quantum joint probabilities renders the local condition of separability [
2], [
13] irrelevant for the derivation of Bell inequalities.