vanhees71 said:
1. Just once more for clarity in the notation you seem to prefer to the QFT-notation with creation operators: ...
That means that the subsystem consisting of photons 1 and 4 are in the reduced state
$$\hat{\rho}_{14} = \mathrm{Tr}_{23} \hat{\rho}_{1234}=\frac{1}{4} \hat{1}_{14},$$
i.e., the photons (14) are both unpolarized and uncorrelated.
2. Indeed if 2&3 are projected to the state ##|\Psi_{23}^- \rangle##, which is what you call BSM (Bell-state measurment), then for the so selected subensemble 1&4 are also in the state ##|\Psi_{14}^- \rangle##. In math it's completely clear that you do something to photons 2&3 but nothing (!!) to photons 1 and 4, i.e., when projecting 2&3 to ##|\Psi_{23}^- \rangle##, then there's nothing interacting with photons 1 and 4:
$$\mathcal{N} |\Psi' \rangle = |\Psi_{23}^{-} \rangle \langle \Psi_{23}^{-} \rangle \otimes \hat{1}_{14} |\Psi \rangle=\frac{1}{2} |\Psi_{23}^{-} \rangle \otimes |\Psi_{14}^{-1} \rangle.$$
Thus the projection to this specific Bell state occurs with probability ##(1/2)^2=1/4##, and the (renormalized) state of the subensemble is
$$|\Psi' \rangle=|\Psi_{23}^{-} \rangle \otimes |\Psi_{14}^{-} \rangle,$$
i.e., now (23) and (14) are in Bell states, but the pairs are completely uncorrelated.
The state ##|\Psi_{23}^{-} \rangle## is chosen by the experimenters, because with a polarizing beam splitter it's simply identified by the fact that only in this state both output channels register a photon (since photons are bosons and the two photons are in an odd polarization state, the momentum state must be also odd, i.e., the photons cannot exit the beam splitter in the same momentum state).
I think about these facts we agree, and I hope we also agree on the math.
3. If we agree on the math and the meaning of a projection measurement, then nothing has be done to photons 1 or 4 when projecting photons 2 and 3 to a Bell state, which is indeed a local measurement, because you have to bring these two photons together at the polarizing beam splitter and the detectors in the two exit channels of this splitter, i.e., this is something where the two photons interact with equipment in the pretty small space-time region.
4. ...if you accept the microcausality principle.
1. We are agreed as to this: 1 and 4 are initially completely uncorrelated and unentangled.
There is no subset in which they are initially entangled with each other. We know this because of... Monogamy of Entanglement.
2. We disagree here. If we happen to project 2 & 3 into the ##\psi-## state, then it is true that 1 & 4 are changed into the entangled ##\psi-## state as well.
They were previously in a completely uncorrelated and unentangled state, as we just agreed. That's the math!
And in the experiment we are discussing, the team is also able to discern the ##\psi+## state as well as the ##\psi-## state. The ##\phi+/-## states cannot be distinguished with APDs because they cannot reset fast enough using current technology to be able to count 2 photons going to the same detector in such close succession.
3. I don't know why you call the BSM a "local" measurement. It's not local to 1 or 4, and they are the ones affected because they have been projected into a Bell state that there were NOT previously in.
My assertion, which is supported by the math (which we just agreed upon):
Initial state (all cases): ##|\Psi \rangle=|\Psi_{12}^{-} \rangle \otimes |\Psi_{34}^{-} \rangle## [depending on Source type]
a. Final state (occurs 25%): ##|\Psi' \rangle=|\Psi_{14}^{-} \rangle \otimes |\Psi_{23}^{-} \rangle##
b. Final state (occurs 25%): ##|\Psi' \rangle=|\Psi_{14}^{+} \rangle \otimes |\Psi_{23}^{+} \rangle##
c. Final state (occurs 25%): ##|\Psi' \rangle=|\Phi_{14}^{-} \rangle \otimes |\Phi_{23}^{-} \rangle##
d. Final state (occurs 25%): ##|\Psi' \rangle=|\Phi_{14}^{+} \rangle \otimes |\Phi_{23}^{+} \rangle##
4. I don't, at least not as you apply it. It is contradicted by experiment, that is why we are having this debate. An action here objectively changes a state there. As we agree on the math, this should be easy... if you just ignore your wrong assumptions. So far, you haven't been able to explain how remotely created photons can violate a CHSH inequality without appealing to the (wrong) assumption that they were somehow already in that state previously. None of the 1 & 4 pairs were entangled to begin with, and there was no subset in which they were. Any more than you could take any 2 streams of photons from different sources and try to claim they are entangled.
Nullstein said:
5. Yes, we are. You deny that the full ensemble of 1&4 after the BSM is given by 𝟙𝟙141⊗1. Everyone accepts that other than you.
5. And just to dismiss
@Nullstein's ridiculous argument: In all cases, the BSM leaves 1 & 4 in one of the entangled states per a, b c, or d above. That is NOT the same state by any means as you give (a random outcome).
Or what, you won't accept and use the available data? I guess when you do a typical Bell test, you only look at Alice's results... and throw away Bob's?
Here's a shocker: if you look at ANY stream of entangled particles, which are an equal mixture of ##\psi-## and ##\psi+## pairs, they will statistically show no correlation IF you discard the available information as to their state. But guess what:
They are still entangled! It doesn't matter whether
you know it or not. I don't know what kind of scientist you are that you require information to be discarded when running an experiment. While you are busy discarding useful information, the remainder of the scientific world is working on identifying all 4 Bell states after a BSM. And I expect someone will figure that out "soon", since there have already been proofs of concept.