# Are entanglement witness operators together with delayed entanglement swapping a violation of the non-communication theorem?

An entanglement witness operator lets you measure a system (let us say two particles) and determine if it was entangled or not. A delayed entanglement swapping allows to delay the decision to entangle the particles to be delayed as much as we want. Why then could this effects not violate the non-communication theorem? In principle you could have a guy, Victor, who sends a pair of photons to Bob, and he can decided is the photons are entangled at any time he wants. Then Bob measures if the photons are entangled or not which in principle allows to send faster than light information: entangled=1, non entangled=0.

What is it wrong with this reasoning?

• can you reference the delayed entanglement swapping protocol you are thinking of? does the ent. swapping scheme involves measuring some "intermediate" dofs (say B and C) to make A,D entangled? If yes, the answer is probably that when you measure A,D without touching B,C (thus when the entanglement has not been transferred) then the state of A,D is a mixture of the entanglement you would have doing the swapping, and some other non-entangled state, and the whole thing is not entangled. Having a specific protocol at hand would help to make this more precise though
– glS
Mar 23, 2020 at 20:09
• I'm sure there are about 100 questions on this site like that. In short: Entangling remote parties requires classical communication or postselection. Mar 23, 2020 at 20:28
• @glS I do not know about entanglement protocols, all I could understand from the articles is that it is possible to do.
– user65081
Mar 23, 2020 at 23:03
• @NorbertSchuch it would be great if you can send me some link
– user65081
Mar 23, 2020 at 23:04
• I tried to avoid questions related to this whole erasure and delayed whatever stuff when possible (it is hard!), since it is always the same story. --- In any case: Why don't you go ahead and work out & post a clear calculation. (Right now you basically just claim things.) If it still allows for faster-than-light signalling, I might have a look. Mar 23, 2020 at 23:18

To answer this, I first go through via an example why normal entanglement does not allow faster-than-light communication, look at how the entanglement swapping scenario is similar to the normal case, see how witnesses work, and why a witness unfortunately cannot help in faster-than-light communication. I confess I write it this way to ensure it is clear to me first, so feel free to skip the first section if it is obvious.

Everywhere, we have two parties Alice (sorry, Victor) and Bob, where Alice is trying to signal to Bob.

# An example: Why normal entanglement does not allow faster than light communication

Consider the following entangled state shared between Alice and Bob: $$E = \frac{|0_A0_B\rangle + |1_A1_B\rangle}{\sqrt 2}$$

Let $$\sigma$$ be the density matrix formulation of the above state.

Bob's subsystem is: $$\sigma^B = \frac{|0\rangle_B\langle0| + |1\rangle _B\langle 1|}{2} \tag{1x}\label{1x}$$

Now, assume Alice measures her state,but does not see the value of the measurement. The complete state is now:

$$\sigma' = \frac{|0_A0_B\rangle\langle0_A0_B| + |1_A1_B\rangle \langle 1_A1_B|}{2}$$

Bob's subsystem still remains: $$\sigma'^B = \frac{|0 \rangle_B\langle 0| + |1\rangle _B\langle 1|}{2} \tag{1y}\label{1y}$$

What is the difference between \eqref{1x} and \eqref{1y}? In \eqref{1x}, the full system had not been measured at all, so \eqref{1x} was the best we know about the subsystem. We know the whole state is in a quantum vector, and the uncertainty of which state it will collapse in will not allow us to have any more information about the subsystem. However, in the second case, the system has been measured, and it is definitely in state $$|00\rangle$$ or $$|11\rangle$$. Bob could have known what state it was in if Alice told him, but the lack of classical information does causes \eqref{1y} to be the best he knows.

The two density matrices remaining the same mean that on performing several measurements, statistically, Bob would get 50% $$|0\rangle$$ and 50% $$|1\rangle$$ irrespective of whether Alice had measured or not. Even though in both these cases, the complete system is in a different state, there is no way for Bob to know, and hence, no way for Alice to signal.

# The entanglement swapping scenario

Let us run through a small example of what you have in mind, and then find where faster-than-light communication fails.

Let's say you currently have Alice and Bob, sufficiently space-like separated, sharing two entangled states as follows: Shared system: $$S = \left(\frac{|0_A0_B\rangle + |1_A1_B\rangle}{\sqrt 2}\right) \left(\frac{|0_{A'}0_{B'}\rangle + |1_{A'}1_{B'}\rangle}{\sqrt 2}\right)$$

Let $$\rho$$ be the density matrix of $$S$$.

Writing this in density matrix form, and tracing out Alice's system to find Bob's subsystem, we have:

$$\rho^B = \left(\frac{|0\rangle _B\langle 0| + |1\rangle _B \langle 1|}{2}\right) \left(\frac{|0\rangle _{B'}\langle 0| + |1\rangle _{B'} \langle 1|}{2}\right) \tag{2x} \label{2x}$$

which is the maximally mixed state and is not entangled. This is similar to \eqref{1x} where the uncertainty on Bob's end is because Alice has not done any measurement.

Now, Alice wants to perform entanglement swapping and entangle Bob's state. To do so, she measures her state in the Bell basis. After measurement, the state $$S'$$ is now: $$S' = \frac{\phi_{AA'}^+\phi_{BB'}^+ + \phi_{AA'}^-\phi_{BB'}^- + \psi_{AA'}^+\psi_{BB'}^+ + \psi_{AA'}^-\psi_{BB'}^-}{2}$$ Let the density matrix of $$S'$$ be $$\rho'$$.

If one would now try to find Bob's subsystem (trace out Alice's part in the above equation), just like before, it would remain exactly the same as \eqref{2x}.

$$\rho'^B = \left(\frac{|0\rangle _B\langle 0| + |1\rangle _B \langle 1|}{2}\right) \left(\frac{|0\rangle _{B'}\langle 0| + |1\rangle _{B'} \langle 1|}{2}\right) \tag{2y} \label{2y}$$

In other words, as described above, Bob's state truly is in one of the entangled states, but because Alice didn't tell him, he doesn't know which one. \eqref{2y} represents uncertainty due to lack of classical knowledge, but Bob can't differentiate between \eqref{2x} and \eqref{2y} because all he can do is run the experiment multiple times and take measurement statistics, which turn out to be exactly the same in both cases.

# Can a witness help?

Assume we had a mechanism (I'm calling it a mechanism because witnesses do not work this way), that could take one state as input and return as output if the state was entangled or not. Then Bob can immediately input his state, and checking whether it was entangled or not would convey information about whether Alice performed the swap or not!

Essentially, such a machine would differentiate between cases \eqref{2x} and \eqref{2y} which was impossible till now!

Unfortunately, witnesses do not work this way. The class of separable states has a non-linear boundary while an entanglement witness describes a linear function. Therefore, it can never perfectly recognise all entangled states.

An entanglement witness is a Hermitian operator, whose expectation value when a state is measured in it turns out to be negative for atleast one entangled state and non-negative for all separable states.

It can be verified that this can be written as: $$Tr(WX) < 0$$ for atleast one entangled state, and $$Tr(WX) \geq 0$$ for all separable states where $$W$$ is the witness (a Hermitian operator) and $$X$$ is the state. The way $$Tr(WX)$$ is found is by measuring $$X$$ in $$W$$ several times and finding the expectation value of the eigenvalue obtained.

Now, let's get back to our scenario. Bob wants to know whether his state is entangled or not, so he and Alice share several such pairs of states. Each time Bob measures his state in the witness and notes down the eigenvalue, and finally finds the expected eigenvalue.

In case \eqref{2x}, Bob essentially calculates expectation value = $$Tr(W\frac{I}{4})$$

($$\rho^B$$ is the maximally mixed state $$\frac{I}{4}$$.)

In case \eqref{2y}, in each instance of the experiment, Bob has $$\phi^+$$, $$\phi^-$$, $$\psi^-$$, $$\psi^+$$ with equal probability, so assume he has each of these states a quarter of the time.

Therefore, he calculates expectation value = $$\frac{1}{4}Tr(W\phi^+) + \frac{1}{4}Tr(W\phi^-) + \frac{1}{4}Tr(W\psi^+) + \frac{1}{4}Tr(W\psi^-)$$, which is equal to $$Tr(W\frac{I}{4})$$, which is the same value as when Alice had not performed the swap.

Note that this was because of the witness's inability to identify all the entangled states, it possibly was only able to give a negative value for one or two of them, and because the experiment had to be run several times, with each time the possible state that Bob has changing, he really couldn't do anything about it.

Therefore, we have shown (for this shared pair of states atleast), that a witness cannot help in signalling.

• "why a witness unfortunately cannot help in faster-than-light communication" --- Why "unfortunately"? Mar 25, 2020 at 11:07
• @NorbertSchuch, we were attempting to find a way in which signalling was possible, and we show here that it isn't, so it is unfortunate in that sense. Not in terms of not having faster-than-light signalling, the implications of which I do not know! Mar 25, 2020 at 11:18