2
$\begingroup$

For a bipartite system, the quantum mutual information is defined via the Von Neumann entropy as follows: $$I(A:B)=S(A)+S(B)-S(AB).$$

It's always positive. Is it an entanglement measurement?

Also how can you find out if a bipartite system is separable by the use of mutual information?

$\endgroup$
2
  • $\begingroup$ are you asking specifically about "entanglement measures" (note the term as a very specific definition, see eg arxiv.org/abs/quant-ph/0504163) or more generally what the (quantum) mutual information (QMI) tells you about entanglement? $\endgroup$
    – glS
    Commented Sep 6, 2023 at 13:46
  • 1
    $\begingroup$ Squashed entanglement, which is defined via the conditional mutual information, is an entanglement monotone. $\endgroup$
    – Rammus
    Commented Sep 6, 2023 at 17:49

1 Answer 1

1
$\begingroup$

Coherent information is the measure of quantum correlations. Positivity of coherent information indicates that quantum correlations are present. But this is not an iff relation.

Coherent information is denoted as

$$I(A\rangle B) = H(B) - H(AB) = -H(A|B)\,.$$

If $I(A\rangle B)$ quantity is positive then there is quantum entanglement between system $A$ and $B$.

The relation between mutual information and coherent information is as follows:

$$I(A;B) = H(A) + I(A\rangle B) = H(B) + I(B\rangle A)\,.$$

For example, consider $$\rho_{AB} = | \Phi_+ \rangle \langle \Phi_+|\,.$$

Where $| \Phi_+ \rangle$ is a bell state. You can see that $$H(AB) =H(\rho_{AB})= 0$$ $$H(B)= H(\text{Tr}_A(\rho_{AB}) )= 1$$

Hence; $$H(A|B) = -1$$

Thus, entanglement is present between system $A$ and $B$.

TL;DR: Negative conditional entropy $H(A|B)$, i.e. Positive Coherent Information $I(A\rangle B)= -H(A|B)$ is a hallmark of quantum correlations - that is, of entanglement!

$\endgroup$
4
  • 1
    $\begingroup$ there might be some typo in the sentence relating coherent information and entanglement. For example, a maximally entangled two-qubit state has $I(A\rangle B)=1>0$. It's true that $H(B)>H(AB)$ (ie $I(A\rangle B)>0$) implies entanglement, but $H(B)< H(AB)$ doesn't imply separability. Consider eg a balanced mixture of a maximally entangled state and $I/4$. This is entangled (as you can see eg via PPT) but still $H(B)<H(AB)$. $\endgroup$
    – glS
    Commented Sep 6, 2023 at 1:56
  • $\begingroup$ @glS can u share a reference about coherent information please? $\endgroup$
    – reza
    Commented Sep 6, 2023 at 8:17
  • 1
    $\begingroup$ @reza standard references are Mark Wilde's or Watrous' books. I don't think I'd call the coherent information an "entanglement measure" though. And I don't see it as that directly related to the original question. It's generally used to discuss quantum capacity and related protocols (or at least that's what I know it for) $\endgroup$
    – glS
    Commented Sep 6, 2023 at 13:37
  • $\begingroup$ @gIS Yes, that was a typo. My bad. As I have mentioned in the third sentence, it's not an if and only if relation. $\endgroup$
    – FDGod
    Commented Sep 9, 2023 at 6:55

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.