Questions tagged [relative-entropy]

For questions about the (quantum) relative entropy, the quantum version of the classical Kullback-Leibler divergence.

Filter by
Sorted by
Tagged with
1 vote
1 answer
53 views

Quantum relative entropy between pre- and post-measurement states

The quantum relative entropy between the states $\rho$ and $\sigma$ is defined by $$D(\rho||\sigma)= \textrm{tr}\Big(\rho \big(\log\rho - \log \sigma \big) \Big)\,,$$ as long as the support of $\rho$ ...
quantum_theo's user avatar
1 vote
0 answers
46 views

How to calculate relative entropy of coherence?

Relative entropy of coherence for a density matrix p is defined as follow $C(p)=S(p_{diag})-S(p)$ Where S is the von neumann entropy. for more info check the link (look at the section result) I know ...
reza's user avatar
  • 463
4 votes
1 answer
68 views

Clarification about inverses in sandwiched Renyi divergence

The sandwiched Renyi divergence is defined as in $$ \tilde{D}_\alpha(\rho\|\sigma):=\frac{1}{\alpha−1}\log tr[(\sigma^{\frac{1−\alpha}{2\alpha}}\rho \sigma^{\frac{1−\alpha}{2 \alpha }})^\alpha] $$ The ...
Peeveey's user avatar
  • 83
1 vote
0 answers
33 views

How can $\chi(\hat{A},\hat{B}:C) \le \chi(\hat{A},B:C)$ be true?

The holevo information of $\rho_{ABC}$ w.r.t to measurements on A and B (for the sake of this we'll assume local measurements suffice), is given by $$\chi(\hat{A},\hat{B}:C)$$ where $\hat{A}$ and $\...
GaussStrife's user avatar
  • 1,115
1 vote
0 answers
23 views

Which quantum entropies are meaningful with respect to continuous distributions of states?

When using a quantum channel to transmit classical information, we consider an ensemble $\mathcal{E} = \{(\rho_x, p(x))\}$ consisting of states $\rho_x$ labelled with a symbol $x$ from a finite ...
forky40's user avatar
  • 6,358
1 vote
1 answer
133 views

Calculation of $\frac{d}{dt} I_t(A,X)$ in proving the convexity of the relative entropy via Lieb's theorem

In Page 520, Entropy and information, Quantum Computation and Quantum Information by Nielsen and Chuang, it is given that The relative entropy $S(ρ||σ)$ is jointly convex in its arguments, where $S(ρ|...
Sooraj S's user avatar
  • 791
1 vote
0 answers
29 views

Find the minimal and maximal of $\widehat{S}_f (\rho \| U^* \sigma U)$

I have been study the minimal (maximal) of a $f-$divergence. Fumio Hiai introduced the $\widehat{S}_f (\rho \| \sigma)$ divergence in his article. $$\widehat{S}_f (\rho \| \sigma) := \text{Tr} \sigma^{...
Minh's user avatar
  • 111
1 vote
1 answer
91 views

Quantum Relative entropy- the math and intuition

I am new to quantum information theory and have been reading Mark Wilde's notes on quantum relative entropy. http://www.markwilde.com/teaching/2015-fall-qit/lectures/lecture-19.pdf I have three basic ...
Newuser7's user avatar
4 votes
0 answers
42 views

Does the quantum relative entropy have a direct operational interpretation?

Consider the quantum relative entropy, defined as $$D(\rho\|\sigma) = \operatorname{tr}(\rho\log\rho)-\operatorname{tr}(\rho\log\sigma),$$ for all $\rho,\sigma\ge0$ such that $\operatorname{im}(\rho)\...
glS's user avatar
  • 23.9k
1 vote
1 answer
221 views

Conditional entropy as relative entropy between probability distributions

Find the expression for the conditional entropy $H(Y|X)$ as a relative entropy between two probability distributions. Use this expression to deduce that $H(Y |X)≥0$, and to find the equality ...
Sooraj S's user avatar
  • 791
7 votes
1 answer
714 views

How to derive the quantum Fisher information from the relative entropy?

The quantum relative entropy (QRE) between two states $\rho$ and $\sigma$ is given by $$ S(\rho\|\sigma)=\operatorname{Tr}(\rho\ln\rho)-\operatorname{Tr}(\rho\ln\sigma) $$ Now if $\rho$ and $\sigma$ ...
m1rohit's user avatar
  • 93
2 votes
1 answer
157 views

What is the quantum relative entropy between pure states?

Given two pure quantum state $\rho=|\psi_\rho\rangle\langle\psi_\rho\mid$ and $\sigma=\mid\psi_\sigma\rangle\langle\psi_\sigma\mid$ ($\rho\neq\sigma$). We know that the fidelity between quantum ...
m1rohit's user avatar
  • 93
1 vote
1 answer
127 views

In what sense is the "conditional min-entropy" a conditional entropy?

$\newcommand{\H}{\mathsf{H}}\newcommand{\Hmin}{\H_{\rm min}}\newcommand{\D}{\mathsf{D}}\newcommand{\Dmax}{\D_{\rm max}}$Consider the conditional min-entropy $\Hmin(A|B)_\rho$, discussed e.g. in this ...
glS's user avatar
  • 23.9k
2 votes
2 answers
417 views

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

The conditional min-entropy, discussed e.g. in these notes by Watrous, as well as in this other post, can be defined as $$\mathsf{H}_{\rm min }(\mathsf{X} \mid \mathsf{Y})_{\rho}\equiv -\inf _{\sigma \...
glS's user avatar
  • 23.9k
4 votes
1 answer
151 views

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

Consider the single qubit quantum depolarizing channel, given by $$T(\rho) = (1- p)\rho + p \frac{\mathbb{I}}{2}. $$ For an $n$ qubit state $\rho$, according to Definition 6.1 of this paper, the ...
BlackHat18's user avatar
  • 1,293
3 votes
1 answer
63 views

Quasi concavity of max-relative entropy?

The max-relative entropy between two states is defined as $$D_{\max }(\rho \| \sigma):=\log \min \{\lambda: \rho \leq \lambda \sigma\}.$$ It is known that the max-relative entropy is quasi-convex. ...
user1936752's user avatar
  • 2,785
2 votes
1 answer
44 views

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

Having some trouble showing that $S(\rho_{XB}||\sigma_{XB})=\sum_{x}p(x)D(\rho_{B}^{x}||\sigma_{B}^{x})$ for $\rho_{XB}=\sum_{x}p(x)|x\rangle\langle x|\otimes\rho_{B}^{x}$ and $\sigma_{XB}=\sum_{x}p(x)...
GaussStrife's user avatar
  • 1,115
1 vote
1 answer
65 views

How to take the limits of the sandwiched Renyi divergences?

The sandwiched Renyi divergence is defined as $$\begin{equation} \tilde{D}_{\alpha}(\rho \| \sigma):=\frac{1}{\alpha-1} \log \operatorname{tr}\left[\left(\sigma^{\frac{1-\alpha}{2 \alpha}} \rho \...
Horatio's user avatar
  • 11
2 votes
1 answer
120 views

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

Taking $\rho_{AB}=\rho_{A}\otimes \rho_{B}$, where $S(\rho_{A})$ and $S(\rho_{B})$ aren't 0, it's easy to see that $$S(\rho_{AB}||I \otimes \rho_{B})=-S(\rho_{A})-S(\rho_{B})+S(\rho_{B})=-S(\rho_{A}).$...
GaussStrife's user avatar
  • 1,115
2 votes
1 answer
92 views

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

The max-relative entropy between two states is defined as $D_{\max}(\rho\|\sigma) = \log\lambda$, where $\lambda$ is the smallest real number that satisfies $\rho\leq \lambda\sigma$, where $A\leq B$ ...
user1936752's user avatar
  • 2,785
5 votes
1 answer
161 views

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))$?

In John Watrous' lectures, he defines the quantum min-relative entropy as $$D_{\min}(\rho\|\sigma) = -\log(F(\rho, \sigma)^2),$$ where $F(\rho,\sigma) = tr(\sqrt{\rho\sigma})$. Here, I use this ...
James's user avatar
  • 51
4 votes
1 answer
147 views

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

The max-relative entropy between two states is defined as $$D_{\max }(\rho \| \sigma):=\log \min \{\lambda: \rho \leq \lambda \sigma\},$$ where $\rho\leq \sigma$ should be read as $\sigma - \rho$ is ...
user1936752's user avatar
  • 2,785
5 votes
1 answer
408 views

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

I am trying to formulate the calculation of conditional min-entropy as a semidefinite program. However, so far I have not been able to do so. Different sources formulate it differently. For example, ...
QuestionEverything's user avatar