Skip to main content
Title edit was based on my first version of the question. I had already edited to say that the that version of the question was incorrect - the requirement was too strong..
Link
user1936752
  • 3.2k
  • 1
  • 9
  • 22

Does the relative entropy variance satisfy $V(\rho_{AB}\|\rho_A\otimes\rho_B) \leq V(\rho_{AB}\|\rho_A\otimes\sigma_B)$? satisfy an ordering for alldifferent $\sigma_B$?

edited title
Link
glS
  • 26.9k
  • 6
  • 35
  • 121

Relative Does the relative entropy variance quantitysatisfy $V(\rho_{AB}\|\rho_A\otimes\rho_B) \leq V(\rho_{AB}\|\rho_A\otimes\sigma_B)$? for all $\sigma_B$?

deleted 2 characters in body
Source Link
user1936752
  • 3.2k
  • 1
  • 9
  • 22

The relative entropy between two quantum states is given by $D(\rho\|\sigma) = \operatorname{Tr}(\rho\log\rho -\rho\log\sigma)$. It is known that for any bipartite state $\rho_{AB}$ with reduced states $\rho_A$ and $\rho_B$, it holds that

$$D(\rho_{AB}\|\rho_A\otimes\rho_B)\leq D(\rho_{AB}\|\rho_A\otimes\omega_B)$$

for all choices of $\omega_B$. This can be seen by expanding both sides and noting that the relative entropy is nonnegative. Now define the relative entropy variance (see this referencethis reference, page 32.16)

$$V(\rho \| \sigma):=\operatorname{Tr} [\rho(\log \rho-\log \sigma-D(\rho \| \sigma))^{2}]$$

Does this also satisfy a similar property i.e.

$$V(\rho_{AB}\|\rho_A\otimes\rho_B) \leq V(\rho_{AB}\|\rho_A\otimes\sigma_B)$$

for all $\sigma_B$?

EDIT: It seems like the last inequality is not true. But the name variance is suggestive so perhaps there is a non trivial lower bound for $V(\rho_{AB}\|\rho_A\otimes\sigma_B)$ using $V(\rho_{AB}\|\rho_A\otimes\rho_B)$?

The relative entropy between two quantum states is given by $D(\rho\|\sigma) = \operatorname{Tr}(\rho\log\rho -\rho\log\sigma)$. It is known that for any bipartite state $\rho_{AB}$ with reduced states $\rho_A$ and $\rho_B$, it holds that

$$D(\rho_{AB}\|\rho_A\otimes\rho_B)\leq D(\rho_{AB}\|\rho_A\otimes\omega_B)$$

for all choices of $\omega_B$. This can be seen by expanding both sides and noting that the relative entropy is nonnegative. Now define the relative entropy variance (see this reference, page 3)

$$V(\rho \| \sigma):=\operatorname{Tr} [\rho(\log \rho-\log \sigma-D(\rho \| \sigma))^{2}]$$

Does this also satisfy a similar property i.e.

$$V(\rho_{AB}\|\rho_A\otimes\rho_B) \leq V(\rho_{AB}\|\rho_A\otimes\sigma_B)$$

for all $\sigma_B$?

EDIT: It seems like the last inequality is not true. But the name variance is suggestive so perhaps there is a non trivial lower bound for $V(\rho_{AB}\|\rho_A\otimes\sigma_B)$ using $V(\rho_{AB}\|\rho_A\otimes\rho_B)$?

The relative entropy between two quantum states is given by $D(\rho\|\sigma) = \operatorname{Tr}(\rho\log\rho -\rho\log\sigma)$. It is known that for any bipartite state $\rho_{AB}$ with reduced states $\rho_A$ and $\rho_B$, it holds that

$$D(\rho_{AB}\|\rho_A\otimes\rho_B)\leq D(\rho_{AB}\|\rho_A\otimes\omega_B)$$

for all choices of $\omega_B$. This can be seen by expanding both sides and noting that the relative entropy is nonnegative. Now define the relative entropy variance (see this reference, 2.16)

$$V(\rho \| \sigma):=\operatorname{Tr} [\rho(\log \rho-\log \sigma-D(\rho \| \sigma))^{2}]$$

Does this also satisfy a similar property i.e.

$$V(\rho_{AB}\|\rho_A\otimes\rho_B) \leq V(\rho_{AB}\|\rho_A\otimes\sigma_B)$$

for all $\sigma_B$?

EDIT: It seems like the last inequality is not true. But the name variance is suggestive so perhaps there is a non trivial lower bound for $V(\rho_{AB}\|\rho_A\otimes\sigma_B)$ using $V(\rho_{AB}\|\rho_A\otimes\rho_B)$?

added 193 characters in body
Source Link
user1936752
  • 3.2k
  • 1
  • 9
  • 22
Loading
Post Undeleted by user1936752
Post Deleted by user1936752
Source Link
user1936752
  • 3.2k
  • 1
  • 9
  • 22
Loading