Questions tagged [relative-entropy]
For questions about the (quantum) relative entropy, the quantum version of the classical Kullback-Leibler divergence.
22
questions
6
votes
1
answer
371
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$ ...
- 83
5
votes
1
answer
142
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 ...
- 51
5
votes
1
answer
372
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, ...
- 1,725
4
votes
1
answer
133
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 ...
- 2,367
4
votes
1
answer
112
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 ...
- 1,119
3
votes
1
answer
55
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. ...
- 2,367
3
votes
1
answer
62
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 ...
- 31
3
votes
0
answers
21
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♦
- 21.7k
2
votes
2
answers
223
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♦
- 21.7k
2
votes
1
answer
89
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}).$...
- 1,097
2
votes
1
answer
34
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)...
- 1,097
2
votes
1
answer
82
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$ ...
- 2,367
2
votes
1
answer
89
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 ...
- 83
1
vote
1
answer
44
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 ...
- 13
1
vote
1
answer
52
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 \...
- 11
1
vote
1
answer
106
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(ρ|...
- 721
1
vote
1
answer
133
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 ...
- 721
1
vote
1
answer
62
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♦
- 21.7k
1
vote
0
answers
31
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 ...
- 181
1
vote
0
answers
32
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 $\...
- 1,097
1
vote
0
answers
17
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 ...
- 5,760
1
vote
0
answers
28
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^{...
- 111