All Questions
Tagged with information-theory trace-distance
13 questions
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
1
vote
1
answer
78
views
Is it true that $|r_i-s_i| \le 1/2$ for all $i$, where $r_i$ and $s_i$ are the eigenvalues of density matrices $\rho$ and $\sigma$?
In Nielsen and Chuang's Box 11.2: Continuity of the entropy, in the process of proving the Fannes' inequality, it says:
A moment’s thought shows that $\left|r_i − s_i\right| \le 1/2$ for all i,
The ...
- 237
2
votes
2
answers
269
views
How to show $T(\rho,\sigma)≥\sum_i|r_i − s_i|$ with $r_i,s_i$ eigenvalues of $\rho,\sigma$?
The proof of the Fannes' inequality replies on the formula $T(ρ, σ)≥\sum_i|r_i − s_i|$, where $r_i,s_i$ are the eigenvalues of $\rho,\sigma$, in the descending order.
In the proof given in Box 11.2, ...
- 851
2
votes
1
answer
168
views
How to prove the strong convexity of the trace distance?
On page $408$ of Nielsen & Chuang in the step going from equation $(9.48)$ to $(9.49)$, I don't see how:
$$\sum\limits_i (p_i - q_i)tr(P \sigma_i) \leq D(p_i, q_i)$$
I proceed as follows:
$$\sum\...
- 197
5
votes
1
answer
252
views
How many measurements are needed to distinguish two fixed density matrices?
Suppose there are two fixed density matrices $\rho_1$ and $\rho_2$ are prepared for equal probability. Can we say something about the minimum number of measurements required to distinguish the two ...
- 525
2
votes
1
answer
60
views
Does ${\rm tr}(\Pi_z\rho\Pi_z)\le p$ imply $\cal E(\rho)$ and $\cal E(\Pi_{-z}\rho\Pi_{-z})$ are close in trace distance?
Suppose I have a quantum operation $\mathcal{E}$ and a state $\rho$ such that:
$$ \operatorname{tr}(\Pi_z \rho \Pi_z) \le p $$
for some probability $p$ and some projection $\Pi_z$ onto some subspace ...
- 459
4
votes
0
answers
98
views
Minmax theorem for optimization over isometries and states
I have the following minmax problem and I am wondering if the order of the minimum and maximum can be interchanged and if yes, why?
Let $\|\cdot\|_1$ be the trace norm defined as $\|\rho\|_1 = \text{...
- 3,169
5
votes
1
answer
873
views
Trace distance between mixed state and pure state vs trace distance between their purifications
Let $\rho$ be a mixed state and $\vert\psi\rangle\langle\psi\vert$ be a pure state on some Hilbert space $H_A$ such that
$$\|\rho - \vert\psi\rangle\langle\psi\vert \|_1 \leq \varepsilon,$$
where $\|A\...
- 3,169
4
votes
1
answer
67
views
Why do probablity distribution with orthogonal suppor have maximal Kolmogorov distance?
Can anyone explain why the $l_1$ distance has the property that probability distributions $P,Q$ with orthogonal support (meaning that the product $p_iq_i$ vanishes for each value of $i$) are at a ...
- 143
5
votes
1
answer
276
views
Closeness of purifications of states
Uhlmann's theorem states that if two states $\rho_A, \sigma_A$ satisfy $F(\rho_A, \sigma_A)\geq 1 - \varepsilon$, then there for any purification $\Psi_{AR}$ of $\rho_A$, one can find a purification $\...
- 3,169
3
votes
1
answer
204
views
Quantum marginal problem - constructing a global state from reduced states
Consider a bipartite state $\rho_{AB}$ with reduced states $\rho_A = \text{Tr}_B(\rho_{AB})$ and $\rho_B = \text{Tr}_A(\rho_{AB})$.
Suppose one obtains states $\rho'_{A}$ and $\rho'_{B}$ such that $\|\...
- 3,169
6
votes
2
answers
104
views
Prove that for one-qubit unitaries $\text{Tr}|U-V|=2\max_\psi\|(U-V)|\psi\rangle\|$
Given two 1-qubit rotations $U=R_n (\theta)$ and $V=R_m(\phi)$ with $n$ and $m$ vectors defining a rotation and $\theta, \phi$ angles, define $D(U,V)=Tr(|U-V|)$ where $|U-V|=\sqrt{(U-V)^\dagger (U-V)}$...
- 555
2
votes
1
answer
253
views
Continuity bounds on $D_{\max}(\rho_{AB}\|\rho_A\otimes\rho_B)$
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