All Questions
Tagged with information-theory relative-entropy
22 questions
4
votes
1
answer
124
views
Subsystem dimension bound for the quantum relative entropy
I'm curious as to whether a statement of the following form can be proven:
$$
D(\rho_{AB} || \tau_{AB}) \leq D(\rho_{A}|| \tau_{A}) + |B|
$$
Where $D(\cdot || \cdot )$ is the standard quantum relative ...
- 73
2
votes
1
answer
151
views
What are non-standard ways to describe the distance between states?
I understand that when comparing two arbitrary quantum states, one may use various measures to encapsulate the difference between states such as trace distance, fidelity or relative quantum entropy. I ...
- 39
3
votes
0
answers
63
views
Proof that the relative entropy satisfies $S(\rho\|\sigma)=S(T\rho\|T\sigma)$ iff $\hat TT\rho=\rho$, $\hat TT\sigma=\sigma$ for some $\hat T$
To prove the saturation condition for the strong subadditivity of the von Neumann entropy, the authors of [HJPW2004] make use of the following characterisation of when the monotonicity of the ...
glS♦
- 26.9k
3
votes
0
answers
53
views
What are examples of states saturating the strong subadditivity of the von Neumann entropy?
A well-known property of classical distribution is that they satisfy strong subadditivity, meaning that for any tripartite joint probability distribution $p(x,y,z)$, we have the inequality
$$H(AB)+H(...
glS♦
- 26.9k
1
vote
1
answer
81
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$ ...
- 55
4
votes
2
answers
86
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 ...
- 93
1
vote
0
answers
36
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,222
3
votes
1
answer
43
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 ...
- 7,646
1
vote
1
answer
184
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
4
votes
1
answer
95
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♦
- 26.9k
8
votes
1
answer
1k
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$ ...
- 103
2
votes
1
answer
315
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 ...
- 103
1
vote
1
answer
281
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♦
- 26.9k
3
votes
2
answers
660
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♦
- 26.9k
4
votes
1
answer
216
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,515
3
votes
1
answer
75
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. ...
- 3,169
2
votes
1
answer
96
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 \...
- 21
2
votes
1
answer
148
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,222
2
votes
2
answers
134
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$ ...
- 3,169
5
votes
1
answer
179
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
184
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 ...
- 3,169
5
votes
1
answer
432
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,785