DrChinese said:
I don't follow your notation or what you what you are trying to communicate; but initially 1 and 4 are uncorrelated and therefore can be considered in a Product State as you say. I might represent that as: ##\hat{\rho}_{14}=\hat{\rho}_{1} \otimes \hat{\rho}_{4}.## But 1 is monogamously entangled with 2, and 4 is monogamously entangled with 3, so I prefer the notation: ##\hat{\rho}_{1234}=\hat{\rho}_{12} \otimes \hat{\rho}_{34}## which is more descriptive. Typically each pair is going to be in either the ##\psi+ or \phi+## Bell state, depending on the Source (i.e. Type I or Type II PDC, or whatever).
That's all right. Just once more for clarity in the notation you seem to prefer to the QFT-notation with creation operators: The notation for the Bell states of photon pairs ##(ij)## (where (ij) labels, e.g., the momentum):
$$|\Psi_{ij}^{\pm} \rangle= \frac{1}{\sqrt{2}} (|\vec{p}_i,H;\vec{p}_j, V \rangle \pm (|\vec{p}_i,V;\vec{p}_j, H \rangle,$$
$$|\Phi_{ij}^{\pm} \rangle= \frac{1}{\sqrt{2}} (|\vec{p}_i,H;\vec{p}_j, H \rangle \pm (|\vec{p}_i,V;\vec{p}_j, V \rangle.$$
The initial state is ##\hat{\rho}_{1234}=|\Psi \rangle \langle \Psi |##
$$|\Psi \rangle=|\Psi_{12}^{-} \rangle \otimes |\Psi_{34}^{-} \rangle.$$
It is a bit of work but easy to see that this is the same as
$$|\Psi \rangle=\frac{1}{2} (|\Psi_{23}^{+} \otimes |\Psi_{14}^{+} \rangle - |\Psi_{23}^{-} \otimes |\Psi_{14}^{-} \rangle -|\Phi_{23}^{+} \otimes |\Psi_{14}^{+} \rangle +|\Phi_{23}^{-} \otimes |\Psi_{14}^{-} \rangle).$$
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.
DrChinese said:
IFF the BSM occurs, each and every 1 & 4 are entangled (according to the predictions of QM). Then is new description is: ##\hat{\rho'}_{1234}=\hat{\rho}_{14} \otimes \hat{\rho}_{23}.## That can be simplified to ##\hat{\rho}_{14}## which is will be one of 4 possible Bell states. That system of 2 photons is a biphoton (Fock state = 2) and is nonseparable, therefore entangled. You can refer to the distant BSM results to learn which Bell state. Different BSMs can discern different of the Bell states, either 1 or 2 or probably soon to be all 4.
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.
DrChinese said:
I don't think anyone is any longer disputing what I say here. The only thing left to discuss is whether the distant BSM should be considered "action at a distance". Is there any other open question at this point?
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.
It is also completely irrelevant, in which temporal order you do the BSM and the measurements on photons 1 and 4. You can also perform the measurements space-like separated, so that there cannot be any actions at a distance by the BSM measurement on photons 1 and 4, if you accept the microcausality principle.
Interestingly enough it has been explicitly tested that indeed Q(F)T prevails also when tested against a type of "multisimultaneity model" (using energy-time entangled photon pairs):
https://arxiv.org/abs/quant-ph/0110117
https://doi.org/10.1103/PhysRevLett.88.120404