3 votes
Accepted

Quasi concavity of max-relative entropy?

No, this is not possible. Consider $\rho_1 = \sigma_2 = \vert 0\rangle\langle 0 \vert$ and $\rho_2 = \sigma_1 = \vert 1\rangle\langle 1 \vert$. Then, $$D_{\max}(\rho_i\|\sigma_i) = \infty\quad \text{...
  • 518
3 votes

Is the quantum min-relative entropy $D_{\min}(\rho\|\sigma)=-\log(F(\rho, \sigma)^2)$ or $D_{\min}(\rho\|\sigma)=-\log(tr(\Pi_\rho\sigma))$?

As @rnva points out these are not the same quantities. To give some clarity as to why they are both referred to as $D_{\min}$ it is best to look at the as limiting cases of $\alpha$-R'enyi divergences....
  • 4,252
3 votes
Accepted

What can be said about the non-negativity of the relative entropy of $S(\rho_{AB}||\rho_{B})$?

Source of the problem The purported contradiction arises due to the use of incorrect assumptions for Klein equality $$ S(\rho||\sigma) \ge 0. $$ The inequality does not require any particular ...
  • 14.7k
2 votes
Accepted

When can the max relative entropy be written as $D_{\max}(\rho\|\sigma) = \|\sigma^{-1/2}\rho\sigma^{-1/2}\|_{\infty}$?

There is a problem in the derivation you presented, since $\rho \leq \lambda \sigma$ is only equivalent to $\sigma^{-1/2} \rho \sigma^{-1/2} \leq \lambda I$ when $\sigma$ is invertible (or at least ...
  • 116
2 votes
Accepted

Questions about the relation between max-relative entropy $D_{\max}(\rho||\sigma)$ and max-information

Can someone provide an example of a state $\rho_{AB}$ for which $\sigma^\star_B \neq \rho_B$? Why not start very easily, with a separable state such as $$ \rho_{AB}=\left(p_0|0\rangle\langle 0|\...
  • 48.1k
2 votes

How to calculate the conditional min-entropy via a semidefinite program?

I think I have an answer. The following should be the CVX code for one of the formulations found in this link. ...
2 votes
Accepted

Showing that $S(\rho_{XB}||\sigma_{XB})=\sum_{x}p(x)D(\rho_{B}^{x}||\sigma_{B}^{x})$ for classical-quantum states

As you say, $$ \mathrm{Tr}[\rho_{XB} \log \rho_{XB}] = -S(X) + \sum_{x} p(x) \mathrm{Tr}[\rho_{B}^x \log \rho_B^x]. $$ But if you can prove the above statement, then the exact same derivation gives ...
  • 4,252
2 votes

How to take the limits of the sandwiched Renyi divergences?

Both limits are dealt with in a fair amount of detail in the work that originally defined the sandwiched entropies: On quantum Renyi entropies: a new generalization and some properties. In particular, ...
  • 4,252
2 votes
Accepted

What is the conditional min-entropy for diagonal ("classical") matrices?

Long story short: taking $\sigma_B = \rho_B$ is equivalent to taking the worst case min-entropy $$ \hat{H}_{\min}(A|B) = - \log \max_{a,b} P(A=a|B=b)\,, $$ and optimizing over $\sigma_B$ is equivalent ...
  • 4,252
1 vote

Data processing inequality for relative entropy in the presence of an amplitude damping channel

An easy (but perhaps cheating) answer: The relative entropy $S(A||B)$diverges when $A$ has support over the kernel of $B$ (e.g., wikipedia). Now, the kernel of $B=|0\rangle^{\otimes n}\langle 0|^{\...

Only top scored, non community-wiki answers of a minimum length are eligible