Is there any simple mathematical proof that measurement destroys entanglement?

Is there a simple mathematical way to prove that measurement destroys entanglement?

I can see that this is indeed true if I just take a specific measurement on an entangled state. What I am looking for is a mathematical proof that this is true in general.

• This may help Oct 7 '21 at 18:50
• Sorry, but which part says measurement destroys entanglement?
– user18492
Oct 7 '21 at 18:57
• Not sure if there is a simple proof, but one approach would be to convince yourself that measurement is a certain type of quantum channel and the outputs of this type of channel cannot be entangled. Oct 7 '21 at 18:59
• As currently stated, the claim isn't true. For example, measuring a Bell state in the Bell basis does not destroy entanglement. In fact, measurement may create entanglement as is the case when measuring a computational basis state in the Bell basis. Oct 7 '21 at 19:16

It is not true in general that measurement destroys entanglement. However, if the measurement basis consists of unentangled states then this is indeed the case. Also, measurement on a subsystem destroys its entanglement with other subsystems.

Projective measurement on a full system

Projective measurement can be described by a basis $$|\psi_k\rangle$$ labelled by a set of outcomes $$k=1,\dots,d$$ where $$d$$ is the dimension of the underlying Hilbert space. When the measurement is performed on the state $$|\phi\rangle$$ then the outcome $$k$$ occurs with the probability $$|\langle\phi|\psi_k\rangle|^2$$ and the post-measurement state is $$|\psi_k\rangle$$.

Thus, the post-measurement state is one of the elements of the basis describing the measurement. Consequently, measurement destroys entanglement if and only if the basis state $$|\psi_k\rangle$$ corresponding to the observed outcome $$k$$ is unentangled. In particular, measurement is guaranteed to destroy entanglement if all the basis states $$|\psi_k\rangle$$ are unentangled.

Projective measurement on a subsystem

Even though the subsystems $$A$$ and $$B$$ of a composite system $$AB$$ in a pure state $$|\psi_{AB}\rangle$$ may be entangled with each other, the system $$AB$$ in a pure state is never entangled with a third system $$C$$. Moreover, by arguments above, the post-measurement state is a pure state. Therefore, measurement destroys entanglement of a system being measured with other systems.

In summary, measurement may destroy, preserve or create entanglement between subsystems that are jointly measured and destroys entanglement of the system with other systems not included in the measurement.

Example

Suppose that three subsystems $$ABC$$ are in a state where $$A$$ is not entangled with the other subsystems and $$B$$ and $$C$$ are entangled with each other, e.g. $$|0_A\rangle\otimes(|0_B0_C\rangle+|1_B1_C\rangle)/\sqrt{2}$$. If we measure the subsystems $$AB$$ in the Bell basis, then we create entanglement between $$A$$ and $$B$$ and destroy the entanglement between $$B$$ and $$C$$. Indeed, the post-measurement state of $$AB$$ is a Bell state and the post-measurement state of $$C$$ is a computational basis state.

• That makes sense thanks !!
– user18492
Oct 7 '21 at 20:02
• One extra question though, can you give an example of basis states which are entangled or rather, a measurement where after measurement, the entangled state remains entangled?
– user18492
Oct 7 '21 at 20:03
• A good example is the Bell basis. Measurement in this basis will create (or preserve) entanglement since all states in the basis are (maximally) entangled. Oct 7 '21 at 20:19
• So basically if you measure in a bell basis the resulting states would be one of the basis and since this basis itself is entangled the resulting state would be entangled. Thanks a tonne :)
– user18492
Oct 7 '21 at 20:28
• Exactly! You're welcome :-) Oct 7 '21 at 20:34

The question is not completely well-defined as stated, because the answer depends on what precisely you mean with "measurement", and what you assume the post-measurement states to be.

A possible interpretation is: consider a bipartite state $$\rho$$, and suppose some kind of measurement is performed on one part of it (and leaving the other untouched). The most general way to describe the process of performing some measurement, after which the state becomes something else conditionally to the measurement outcome, is via an entanglement breaking channel. For a proof that these always destroy entanglement, see this post.

I will assume that you refer to measuring a state in the computational basis. Let us consider a state made of two quantum registers (not necessarily entangled). Without loss of generality, and assuming this state is pure for simplicity's sake, this state can be written as: $$\sum_{x,y}\alpha_{x,y}|x\rangle|y\rangle$$ with $$\sum_{x,y}\left|\alpha_{x,y}\right|^2=1$$. Without loss of generality, let us assume that you measure the first register and got the state $$|x\rangle$$. This means that the state collapsed to: $$\frac{1}{\sum\limits_y\left\|\alpha_{x,y}\right\|^2}\sum_y\alpha_{x,y}|x\rangle|y\rangle$$ In particular, you can write this state as: $$|x\rangle\otimes\left(\frac{1}{\sum\limits_y\left\|\alpha_{x,y}\right\|^2}\sum_y\alpha_{x,y}|y\rangle\right)$$ Thus, it is necessarily not entangled since it can be written as a tensor product between these two registers. Generally, it is even a common practice to ignore the registers that have been measured: as long as we know that the measurement on the first register yielded $$x$$, writing this state as: $$\frac{1}{\sum\limits_y\left\|\alpha_{x,y}\right\|^2}\sum_y\alpha_{x,y}|y\rangle$$ carries as much information as the previous equation. All in all, whatever the starting state is, measuring one of its registers destroys the entanglement on this register. Note however that this only applies to the register you've measured! For instance, let us consider the state: $$\frac{|000\rangle+|011\rangle+|110\rangle+|101\rangle}{2}$$ All these registers are entangled, but measuring the first register will yield either $$\frac{|00\rangle+|11\rangle}{\sqrt{2}}$$ or $$\frac{|10\rangle+|01\rangle}{\sqrt{2}}$$ In particular, the two remaining registers are still entangled with each other, though they are not entangled anymore with the first one.