Questions tagged [purification]
For questions about purification of quantum states.
16 questions
1
vote
1
answer
75
views
About an inequality derived from Uhlmann's theorem
Consider two density operators $\rho, \xi \in \mathrm{D}(\mathcal{H} \otimes \mathcal{L})$ where $\mathrm{dim}(\mathcal{H}) \le \mathrm{dim}(\mathcal{L})$. Define
\begin{align*}
\epsilon := \mathrm{...
- 3,474
0
votes
1
answer
21
views
Why does an optimal collective attack correspond to a case involving purification of a biparitite state shared between Alice and Bob?
In Acin's paper (arXiv), it is mentioned that, given Eve chooses to do a collective attack (which roughly means Eve applies the same attack to each system of Alice and Bob, and that the devices with ...
- 6,623
0
votes
0
answers
31
views
Two-site mutual information for locally purified tensor network ansatz
I came across this reference for modelling the thermal ensemble $\rho_T = Tr_Q|\Psi_T\rangle \langle \Psi_T|$, where $Q$ is an auxiliary degree of freedom encoding the thermal bath. Equation 38 ...
- 3,474
0
votes
0
answers
17
views
DEJMPS and EXPEDIENT distillation protocols implementation in qiskit
I am new to Qiskit and distillation protocols. I am wondering if there is a tutorial or a link to the implementation of the DEJMPS and EXPEDIENT distillation protocols in Qiskit.
What I want to ...
2
votes
0
answers
68
views
List of inequalities for purity of a traced out bipartite system
I would like to know if there are inequalities related to the purity of the partial trace of a bipartite system.
The purity $P$ of a density matrix $\rho$ is given by
$$P(\rho) = Tr(\rho^2).$$
The ...
- 3,474
4
votes
0
answers
429
views
Prove the equality conditions in the triangle inequality $S(A,B)\ge |S(A)-S(B)|$ for the von Neumann entropy
The triangle inequality or Araki-Lieb inequality of the von Neumann entropy is
$$
S(A,B)\ge|S(A)-S(B)|
$$
this is proven by introducing a system $R$ which purifies systems $A$ and $B$. Applying ...
- 61
4
votes
2
answers
146
views
Show that all extensions of $\rho$ can be obtained as a channel applied to its purification
I am struggling with this exercise here:
Let $H:A, H_E$ and $H_{E′}$ denote complex Euclidean spaces. Consider a purification $|ψ_{AE}⟩⟨ψ_{AE}| ∈ D(H_A ⊗ H_E)$ of a quantum state $ρ_A ∈ D(H_A)$ and
a ...
glS♦
- 26.9k
1
vote
2
answers
72
views
Why is it impossible to make a mixed-state qubit into a pure-state qubit?
How is it impossible to make a mixed-state qubit (having Bloch vector of length $l < 1$) into a pure-state qubit (having Bloch vector of length $l' = 1$) via a quantum operation that is invertible?
...
- 4,614
2
votes
0
answers
98
views
Purification of classical-quantum state
For a classical-quantum state in $\mathcal{H}_{X \otimes A}$
$$
\rho = \sum_x p(x) \vert x\rangle \langle x \vert \otimes \rho^x,
$$
I can use spectral decomposition for $ \rho^x $ to get $$
\rho^x = \...
- 49
4
votes
1
answer
156
views
Closeness of unitary dilations of CPTP maps
Let $\Phi_1,\Phi_2 \colon S(\mathcal{H}) \to S(\mathcal{H})$ be CPTP maps on the same Hilbert space $\mathcal{H}$ which are $\varepsilon$-close in diamond norm, and let $U_1,U_2$ be respective unitary ...
- 2,156
1
vote
1
answer
288
views
Simple proof that entangled pure states are not separable
I am trying to understand more about the notion of separable states. For clarity, I will only use the word entangled for pure states, even if a non-separable state is sometimes called entangled too.
...
- 61.7k
1
vote
1
answer
252
views
Implementing circuits with post-selection in Stim
I want to use Stim to calculate logical error rates with circuits that involve post-selection on measurement outcomes. Is it possible to do so with Stim and if yes, how do I go about it?
To provide ...
- 42k
1
vote
0
answers
93
views
Equivalence between entanglement purification and quantum error correction
I've recently been reading the seminal paper recently (BDSW 1996), where they established the equivalence between 1-EPP (one-way classical communication) and error correction through explicit ...
glS♦
- 26.9k
2
votes
0
answers
77
views
Fidelity and Uhlmann's theorem in the context of source coding
In quantum source coding, we have an encoder $\mathcal{E}$ and a decoder $\mathcal{D}$ which are some quantum channels. Given a state $\rho_A$ on Hilbert space $\mathcal{H}_A$, we wish to encode and ...
- 3,169
2
votes
2
answers
494
views
Does the unitary freedom in choice of Kraus operators come from the freedom in the choice of purifications?
Does the unitary freedom in the choice of Kraus operators for a given quantum channel just come from the unitary freedom in choice of purification of a quantum state?
Here's what I'm thinking. If I ...
glS♦
- 26.9k
4
votes
0
answers
101
views
Uhlmann's theorem analogue for channels
Let the stabilized channel fidelity between two channels $M_{A\rightarrow B}$ and $N_{A\rightarrow B}$ be defined as
$$F(M,N) = \min\limits_{\vert\psi\rangle_{AR}} F\left((M\otimes I_R)\vert\psi\...
- 3,169